diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-02 13:50:24 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-02 13:50:24 +0200 |
commit | db8e35c6abf58c82853b94f416aa76b33efc1f65 (patch) | |
tree | dcd1a758de6234817c9947e9898c1bc87937e597 /backend/Unusedglob.v | |
parent | 75d50c12ee220fecf955b1626c78b78636cbca92 (diff) | |
download | compcert-db8e35c6abf58c82853b94f416aa76b33efc1f65.tar.gz compcert-db8e35c6abf58c82853b94f416aa76b33efc1f65.zip |
Added builtin for dcbtls
THis commit adds a builtin function for the dcbtls instruction.
Additionaly it changes the printing of the dcbt and dcbtst instruction to
embedded mode and adds support for different address variants.
Diffstat (limited to 'backend/Unusedglob.v')
0 files changed, 0 insertions, 0 deletions