From b66aaf2d1b90ff51f54bcd2a344a6ab50ac6fe86 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 7 Apr 2010 08:31:55 +0000
Subject: Static initialization of structs with bitfields

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1311 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/Results/bitfields2 |  3 +++
 test/regression/bitfields2.c       | 32 ++++++++++++++++++++++++++++++++
 2 files changed, 35 insertions(+)
 create mode 100644 test/regression/Results/bitfields2
 create mode 100644 test/regression/bitfields2.c

(limited to 'test')

diff --git a/test/regression/Results/bitfields2 b/test/regression/Results/bitfields2
new file mode 100644
index 00000000..0ab7773f
--- /dev/null
+++ b/test/regression/Results/bitfields2
@@ -0,0 +1,3 @@
+x = { a = 1, b = 2 }
+y = { c = 3, d = 0; e = 5 }
+z = { f = 6, g = 7; h = 8 }
diff --git a/test/regression/bitfields2.c b/test/regression/bitfields2.c
new file mode 100644
index 00000000..b555f1eb
--- /dev/null
+++ b/test/regression/bitfields2.c
@@ -0,0 +1,32 @@
+#include <stdio.h>
+
+struct s {
+  signed char a: 6;
+  unsigned int b: 2;
+};
+
+struct t {
+  unsigned int c: 16;
+  unsigned int d: 1;
+  short e: 8;
+};
+
+struct u {
+  unsigned int f: 18;
+  unsigned int g: 24;
+  char h;
+};
+
+struct s x = { 1, 2 };
+
+struct t y = { 3, 4, 5 };
+
+struct u z = { 6, 7, 8 };
+
+int main()
+{
+  printf("x = { a = %d, b = %d }\n", x.a, x.b);
+  printf("y = { c = %d, d = %d; e = %d }\n", y.c, y.d, y.e);
+  printf("z = { f = %d, g = %d; h = %d }\n", z.f, z.g, z.h);
+}
+
-- 
cgit