diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-30 13:23:42 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-30 13:23:42 +0200 |
commit | ef508dae3e880bdd30e9d57ca2a8b3e257b1203b (patch) | |
tree | 0cb08c27aeef48ca154525378419f5b129793b2b /test/regression/Results/bitfields10 | |
parent | dbada6c41e51a03848b14260576ba825c3102313 (diff) | |
parent | 539b81a1a8823fb4aac64a9493bf0bafea2f2560 (diff) | |
download | compcert-kvx-ef508dae3e880bdd30e9d57ca2a8b3e257b1203b.tar.gz compcert-kvx-ef508dae3e880bdd30e9d57ca2a8b3e257b1203b.zip |
Merge branch 'towards_2.10' of ../towards_3.10 into kvx-work
Diffstat (limited to 'test/regression/Results/bitfields10')
-rw-r--r-- | test/regression/Results/bitfields10 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/regression/Results/bitfields10 b/test/regression/Results/bitfields10 new file mode 100644 index 00000000..9dc00daf --- /dev/null +++ b/test/regression/Results/bitfields10 @@ -0,0 +1,14 @@ +loc_s = { a = 11, b = 2 } +loc_t = { c = 11, d = 1, e = 2 } +loc_u_u = { u = -5 } +loc_u_v = { v = 3 } +compound_s = { a = 2, b = 3 } +compound_t = { c = 2, d = 1, e = -11 } +compound_u = { u = 2 } +loc_s = { a = 7, b = 2 } +loc_t = { c = 7, d = 1, e = 50 } +loc_u_u = { u = 7 } +loc_u_v = { v = 2 } +compound_s = { a = -14, b = 3 } +compound_t = { c = 50, d = 1, e = -7 } +compound_u = { u = 2 } |