diff options
| author | Michael Schmidt <github@mschmidt.me> | 2017-12-14 10:19:03 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2017-12-14 10:19:03 +0100 |
| commit | a753f08de8382141aec2b4517fb87ad4e5fcc512 (patch) | |
| tree | 31f10308942740b8b661c1a83017c3d6d1af3138 /arm/AsmToJSON.ml | |
| parent | d2ae46db53df8b5cbdff682451e58e4c3e64b4db (diff) | |
| download | compcert-kvx-a753f08de8382141aec2b4517fb87ad4e5fcc512.tar.gz compcert-kvx-a753f08de8382141aec2b4517fb87ad4e5fcc512.zip | |
Use instructions with immediate operands that don't need replacement by the assembler (add ra, rb, #-1 --> sub ra, rb, #1)
Diffstat (limited to 'arm/AsmToJSON.ml')
0 files changed, 0 insertions, 0 deletions