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 /common | |
parent | ba235b5d841528ac87b5c8cca79df3734a4a8976 (diff) | |
download | compcert-30ebbcd0731f680d1d283afb99318fb9d6e9cead.tar.gz compcert-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 'common')
0 files changed, 0 insertions, 0 deletions