diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-29 10:29:00 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-29 10:29:00 +0200 |
commit | cd3642815d4260a9e7868fce3fb6a4a8a8ea8746 (patch) | |
tree | 668ebaa8c884ae4bbf75186f3c1788555ddf535f /test/monniaux/bitfields | |
parent | 28312ed4869e3f63b0a113095d3344c0055ee2c5 (diff) | |
download | compcert-kvx-cd3642815d4260a9e7868fce3fb6a4a8a8ea8746.tar.gz compcert-kvx-cd3642815d4260a9e7868fce3fb6a4a8a8ea8746.zip |
Srsd / Srsw
Diffstat (limited to 'test/monniaux/bitfields')
-rw-r--r-- | test/monniaux/bitfields/bitfields.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/monniaux/bitfields/bitfields.c b/test/monniaux/bitfields/bitfields.c index f9e84399..16ad5a61 100644 --- a/test/monniaux/bitfields/bitfields.c +++ b/test/monniaux/bitfields/bitfields.c @@ -4,8 +4,18 @@ struct fields { unsigned f0 : 3; unsigned f1 : 5; signed f2 : 3; + unsigned toto1: 16; + unsigned toto2: 16; }; +unsigned get_toto1(struct fields x) { + return x.toto1; +} + +unsigned get_toto2(struct fields x) { + return x.toto2; +} + int get_f1(struct fields x) { return x.f1; } |