aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2017-06-20 12:48:26 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2017-06-20 12:48:26 +0200
commit66ba0d63b25bab2a682c92c5a277c190b6c4c847 (patch)
tree17581ec7a49d498b1d004f90b77ab4ca0860fdd8 /.gitignore
parente89538bf48f86f088e2ad0ad37ca34cc29cb6024 (diff)
downloadcompcert-kvx-66ba0d63b25bab2a682c92c5a277c190b6c4c847.tar.gz
compcert-kvx-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 '.gitignore')
0 files changed, 0 insertions, 0 deletions