diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-07 09:40:24 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-07 09:40:24 +0200 |
commit | a168d6a141e77a5fa98017b23ab2aadc5748fe94 (patch) | |
tree | 95dc6301836fbd445094f5070c35eb9f1e4ab62f /checklink/ELF_printers.ml | |
parent | 47d0e5256ab79b402faae14260fa2fabc1d24dcb (diff) | |
download | compcert-a168d6a141e77a5fa98017b23ab2aadc5748fe94.tar.gz compcert-a168d6a141e77a5fa98017b23ab2aadc5748fe94.zip |
Simplified generation of builtins for cache instructions.
The cache instructions need no special constraint on the address
argument. Therefore also the generation of the address is no longer
needed.
Diffstat (limited to 'checklink/ELF_printers.ml')
0 files changed, 0 insertions, 0 deletions