Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work

1 files changed, 36 insertions, 0 deletions

diff --git a/test/monniaux/bitfields/bitfields.c b/test/monniaux/bitfields/bitfields.c
new file mode 100644
index 00000000..16ad5a61
--- /dev/null
+++ b/test/monniaux/bitfields/bitfields.c
@@ -0,0 +1,36 @@
+#include <stdio.h>
+
+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;
+}
+
+int get_f2(struct fields x) {
+  return x.f2;
+}
+
+void set_f1(struct fields *x, unsigned v) {
+  x->f1 = v;
+}
+
+int main() {
+  struct fields x = {1, 2, -1};
+  printf("%d %d\n", get_f1(x), get_f2(x));
+  set_f1(&x, 4);
+  printf("%d %d\n", get_f1(x), get_f2(x));
+}