diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-28 11:21:59 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-28 11:21:59 +0200 |
commit | b04bb783badb9051c62b26fb1858f916d0e4ccd0 (patch) | |
tree | c102a6ccdcfad8b4b3a76cffc2019742232a7cb3 /test/regression/Results | |
parent | 3c6f5343e0e64b273658b6b3508a8dd6c29b8cef (diff) | |
download | compcert-b04bb783badb9051c62b26fb1858f916d0e4ccd0.tar.gz compcert-b04bb783badb9051c62b26fb1858f916d0e4ccd0.zip |
Extended inline asm: handle missing cases.
Bitfields: better translation of initializers and compound literals; run this pass before unblocking.
Transform.stmt: extend with ability to treat unblocked code.
test/regression: more bitfield tests.
Diffstat (limited to 'test/regression/Results')
-rw-r--r-- | test/regression/Results/bitfields9 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/regression/Results/bitfields9 b/test/regression/Results/bitfields9 new file mode 100644 index 00000000..ca74f1f4 --- /dev/null +++ b/test/regression/Results/bitfields9 @@ -0,0 +1,10 @@ +glob_s = { a = -12, b = 1 } +glob_t = { c = 123, d = 0, e = -45 } +loc_s = { a = 11, b = 2 } +loc_t = { c = 11, d = 1, e = 2 } +compound_s = { a = 2, b = 3 } +compound_t = { c = 2, d = 0, e = -11 } +loc_s = { a = 7, b = 2 } +loc_t = { c = 7, d = 1, e = 50 } +compound_s = { a = -14, b = 3 } +compound_t = { c = 50, d = 0, e = -7 } |