diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-02 15:56:42 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-02 15:56:42 +0200 |
| commit | 30ebbcd0731f680d1d283afb99318fb9d6e9cead (patch) | |
| tree | a831b811de8502b0742f392cd3716ef1cd280336 /powerpc/Asm.v | |
| parent | ba235b5d841528ac87b5c8cca79df3734a4a8976 (diff) | |
| download | compcert-kvx-30ebbcd0731f680d1d283afb99318fb9d6e9cead.tar.gz compcert-kvx-30ebbcd0731f680d1d283afb99318fb9d6e9cead.zip | |
Allow only CT values of 0 and 2 in dcbtls instruction.
The dcbtls instruction allows only the values 0 and 2 according to
the PPC Isa.
Diffstat (limited to 'powerpc/Asm.v')
0 files changed, 0 insertions, 0 deletions