diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-06-20 12:48:26 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-06-20 12:48:26 +0200 |
commit | 66ba0d63b25bab2a682c92c5a277c190b6c4c847 (patch) | |
tree | 17581ec7a49d498b1d004f90b77ab4ca0860fdd8 /doc/index.html | |
parent | e89538bf48f86f088e2ad0ad37ca34cc29cb6024 (diff) | |
download | compcert-66ba0d63b25bab2a682c92c5a277c190b6c4c847.tar.gz compcert-66ba0d63b25bab2a682c92c5a277c190b6c4c847.zip |
Added pseudo instruction for inline asm.
The inline assembler instructions are numbered with consecutives
id's per compilation unit.
Bug 21689
Diffstat (limited to 'doc/index.html')
0 files changed, 0 insertions, 0 deletions