summaryrefslogtreecommitdiff
path: root/test/regression
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-03-28 08:20:14 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-03-28 08:20:14 +0000
commitc677f108ff340c5bca67b428aa6e56b47f62da8c (patch)
treef75acecc7abe80cf06cfe01a938bdc56620137c6 /test/regression
parentf37a87e35850e57febba0a39ce3cb526e7886c10 (diff)
C: Support array initializers that are too short + default init for remainder.
Elab: Handle C99 designated initializers. C2C, Initializers: more precise intermediate AST for initializers. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2439 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/regression')
-rw-r--r--test/regression/Makefile7
-rw-r--r--test/regression/Results/initializers1
-rw-r--r--test/regression/Results/initializers212
-rw-r--r--test/regression/Results/initializers311
-rw-r--r--test/regression/initializers.c5
-rw-r--r--test/regression/initializers2.c74
-rw-r--r--test/regression/initializers3.c90
7 files changed, 197 insertions, 3 deletions
diff --git a/test/regression/Makefile b/test/regression/Makefile
index 4d9683c..57d5db3 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -9,7 +9,8 @@ LIBS=$(LIBMATH)
# and have reference output in Results
TESTS=int32 int64 floats floats-basics \
- expr1 expr6 funptr2 initializers volatile1 volatile2 volatile3 \
+ expr1 expr6 funptr2 initializers initializers2 initializers3 \
+ volatile1 volatile2 volatile3 \
funct3 expr5 struct7 struct8 struct11 casts1 casts2 char1 \
sizeof1 sizeof2 binops bool for1
@@ -27,8 +28,8 @@ TESTS_DIFF=NaNs
# Other tests: should compile to .s without errors (but expect warnings)
-EXTRAS=annot1 commaprec expr2 expr3 expr4 extern1 funct2 funptr1 init1 \
- init2 init3 init4 pragmas ptrs1 ptrs2 struct1 struct2 struct3 \
+EXTRAS=annot1 commaprec expr2 expr3 expr4 extern1 funct2 funptr1 \
+ pragmas ptrs1 ptrs2 struct1 struct2 struct3 \
struct4 struct5 struct6 struct9 struct10 types1 seqops
# Test known to fail
diff --git a/test/regression/Results/initializers b/test/regression/Results/initializers
index 7474148..a263012 100644
--- a/test/regression/Results/initializers
+++ b/test/regression/Results/initializers
@@ -21,3 +21,4 @@ x19 = { "Hello", "world!" }
x20 = { 'H', 'e', 'l', }
x21 = { 'H', 'e', 'l', 'l', 'o', '!', 0, 0, 0, 0, }
x22 ok
+x23 = { hd = 8, tl = ok }
diff --git a/test/regression/Results/initializers2 b/test/regression/Results/initializers2
new file mode 100644
index 0000000..9ba5232
--- /dev/null
+++ b/test/regression/Results/initializers2
@@ -0,0 +1,12 @@
+a1 = { 0, 3, 100, 0, 0 }
+a2 = { 10, 0, -2, -1, -3 }
+a3 = { 1, 2, 5, 6, 7 } (size = 5)
+s1 = { 0, 0.00, abc }
+s2 = { 13, 4.50, xxx }
+s3 = { 0, 0.00, abc }
+u1.c = abc
+u2.a = 15
+u3.b = 3.14
+u4.c = {0,0,1,0}
+pv1 = { {1,2,3}, {11,12,13}, {0,0,0}, {0,3,0}, }
+t = { {0,42,43}, {{1,0,0}, {0,1,0}, {0,0,1}, } }
diff --git a/test/regression/Results/initializers3 b/test/regression/Results/initializers3
new file mode 100644
index 0000000..8742f8e
--- /dev/null
+++ b/test/regression/Results/initializers3
@@ -0,0 +1,11 @@
+x5 = { 1, 2, 3, 0, 0, 0, 0, 0, 0, 0, }
+x17[7] = { 'H', 'e', 'l', 'l', 'o', '!', 0, }
+x18 = "Hello!"
+x19 = { "Hello", "world!" }
+x20 = { 'H', 'e', 'l', }
+x21 = { 'H', 'e', 'l', 'l', 'o', '!', 0, 0, 0, 0, }
+f(0,42) = 42, f(1,42) = 43, f(2,42) = 44, f(3,42) = 44, f(4,42) = 44
+s1 = { tag = 0, a = {66,77}, u = {0,0} }
+s2 = { tag = 0, a = {0,1}, u = {66,77} }
+s3 = { tag = 1, a = {1,0}, u = {'H', 'e', 'l', 'l', 'o', '!', 0, 'X', } }
+s4 = { tag = 0, a = {66,77}, u = {88,99} }
diff --git a/test/regression/initializers.c b/test/regression/initializers.c
index d0a35f3..938795a 100644
--- a/test/regression/initializers.c
+++ b/test/regression/initializers.c
@@ -54,6 +54,9 @@ char x21[10] = "Hello!";
char * x22 = &(x10.u.y);
+/* Initializer can refer to ident just declared */
+struct list { int hd; struct list * tl; } x23 = { sizeof(x23), &x23 };
+
static void print_chars(char * s, int sz)
{
int i;
@@ -115,6 +118,8 @@ int main()
printf("x22 ok\n");
else
printf("x22 error\n");
+ printf("x23 = { hd = %d, tl = %s }\n",
+ x23.hd, x23.tl == &x23 ? "ok" : "ERROR");
return 0;
}
diff --git a/test/regression/initializers2.c b/test/regression/initializers2.c
new file mode 100644
index 0000000..f8d5caf
--- /dev/null
+++ b/test/regression/initializers2.c
@@ -0,0 +1,74 @@
+#include <stdio.h>
+
+/* Examples of designated initializers from Harbison & Steele */
+
+int a1[5] = { [2] = 100, [1] = 3 };
+int a2[5] = { [0] = 10, [2] = -2, -1, -3 };
+int a3[] = { 1, 2, 3, [2] = 5, 6, 7 };
+
+struct S { int a; float b; char c[4]; };
+struct S s1 = { .c = "abc" };
+struct S s2 = { 13, 3.3, "xxx", .b = 4.5 };
+struct S s3 = { .c = { 'a', 'b', 'c', '\0' } };
+
+union U { int a; float b; char c[4]; };
+union U u1 = { .c = "abc" };
+union U u2 = { .a = 15 };
+union U u3 = { .b = 3.14 };
+union U u4 = { .a = 42, .c[2] = 1 };
+
+struct Point { int x; int y; int z; };
+typedef struct Point PointVector[4];
+PointVector pv1 = {
+ [0].x = 1, [0].y = 2, [0].z = 3,
+ [1] = { .x = 11, .y = 12, .z = 13 },
+ [3] = { .y = 3 }
+};
+
+typedef int Vector[3];
+typedef int Matrix[3][3];
+struct Trio { Vector v; Matrix m; };
+struct Trio t = {
+ .m = { [0][0] = 1, [1][1] = 1, [2][2] = 1 },
+ .v = { [1] = 42, 43 }
+};
+
+int main()
+{
+ int i;
+
+ printf("a1 = { %d, %d, %d, %d, %d }\n",
+ a1[0], a1[1], a1[2], a1[3], a1[4]);
+ printf("a2 = { %d, %d, %d, %d, %d }\n",
+ a2[0], a2[1], a2[2], a2[3], a2[4]);
+ printf("a3 = { %d, %d, %d, %d, %d } (size = %d)\n",
+ a3[0], a3[1], a3[2], a3[3], a3[4],
+ sizeof(a3) / sizeof(int));
+
+ printf("s1 = { %d, %.2f, %s }\n",
+ s1.a, s1.b, s1.c);
+ printf("s2 = { %d, %.2f, %s }\n",
+ s2.a, s2.b, s2.c);
+ printf("s3 = { %d, %.2f, %s }\n",
+ s3.a, s3.b, s3.c);
+
+ printf("u1.c = %s\n", u1.c);
+ printf("u2.a = %d\n", u2.a);
+ printf("u3.b = %.2f\n", u3.b);
+ printf("u4.c = {%d,%d,%d,%d}\n", u4.c[0], u4.c[1], u4.c[2], u4.c[3]);
+
+ printf("pv1 = { ");
+ for (i = 0; i < 4; i++)
+ printf("{%d,%d,%d}, ", pv1[i].x, pv1[i].y, pv1[i].z);
+ printf("}\n");
+
+ printf("t = { {%d,%d,%d}, ", t.v[0], t.v[1], t.v[2]);
+ printf("{");
+ for (i = 0; i < 3; i++)
+ printf("{%d,%d,%d}, ", t.m[i][0], t.m[i][1], t.m[i][2]);
+ printf("} }\n");
+
+ return 0;
+}
+
+
diff --git a/test/regression/initializers3.c b/test/regression/initializers3.c
new file mode 100644
index 0000000..359a0f7
--- /dev/null
+++ b/test/regression/initializers3.c
@@ -0,0 +1,90 @@
+/* Initialization of local variables */
+
+#include <stdio.h>
+
+static void print_chars(char * s, int sz)
+{
+ int i;
+ for (i = 0; i < sz; i++) {
+ if (s[i] >= 32 && s[i] < 127)
+ printf("'%c', ", s[i]);
+ else
+ printf("%d, ", s[i]);
+ }
+}
+
+/* Initialization of local const array */
+
+int f(int x, int y)
+{
+ const int dfl = 2;
+ const int tbl[3] = { y, y + 1, y + 2 };
+ return tbl[x >= 0 && x < 3 ? x : dfl];
+}
+
+struct P { int x, y; };
+
+struct S {
+ int tag;
+ struct P a;
+ union {
+ struct P b;
+ char c[8];
+ } u;
+};
+
+static void print_S(char * name, struct S * s)
+{
+ printf("%s = { tag = %d, a = {%d,%d}, u = ", name, s->tag, s->a.x, s->a.y);
+ switch(s->tag) {
+ case 0:
+ printf("{%d,%d} }\n", s->u.b.x, s->u.b.y);
+ break;
+ case 1:
+ printf("{"); print_chars(s->u.c, 8); printf("} }\n");
+ break;
+ default:
+ printf("BAD }\n");
+ break;
+ }
+}
+
+
+int main()
+{
+ /* Initialization of arrays */
+ const int x5[10] = { 1, 2, 3 };
+ char x17[] = "Hello!";
+ char * x18 = "Hello!";
+ char * x19[2] = { "Hello", "world!" };
+ char x20[3] = "Hello!";
+ char x21[10] = "Hello!";
+ printf("x5 = { ");
+ for (int i = 0; i < 10; i++) printf("%d, ", x5[i]);
+ printf("}\n");
+ printf("x17[%d] = { ", (int) sizeof(x17));
+ print_chars(x17, sizeof(x17));
+ printf("}\n");
+ printf("x18 = \"%s\"\n", x18);
+ printf("x19 = { \"%s\", \"%s\" }\n", x19[0], x19[1]);
+ printf("x20 = { ");
+ print_chars(x20, sizeof(x20));
+ printf("}\n");
+ printf("x21 = { ");
+ print_chars(x21, sizeof(x21));
+ printf("}\n");
+ /* Local const arrays */
+ printf("f(0,42) = %d, f(1,42) = %d, f(2,42) = %d, f(3,42) = %d, f(4,42) = %d\n",
+ f(0,42), f(1, 42), f(2, 42), f(3, 42), f(4, 42));
+ /* Structs/unions */
+ struct P p1 = { 66, 77 };
+ struct S s1 = { 0, p1 };
+ print_S("s1", &s1);
+ struct S s2 = { .a.y = 1, .u.c[4] = 'x', .u.b = p1 };
+ print_S("s2", &s2);
+ struct S s3 = { .tag = 1, .a = p1, .a.x = 1, .u.c = "Hello!", .u.c[7] = 'X' };
+ print_S("s3", &s3);
+ struct S s4 = { .tag = 0, .a.x = 1, .a = p1, .u.b = 88, 99 };
+ print_S("s4", &s4);
+ return 0;
+}