designated-initializers.c source code [clang_source_code/test/CodeGen/designated-initializers.c]

1	// RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - \| FileCheck %s
2
3	struct foo {
4	void *a;
5	int b;
6	};
7
8	// CHECK: @u = global %union.anon zeroinitializer
9	union { int i; float f; } u = { };
10
11	// CHECK: @u2 = global { i32, [4 x i8] } { i32 0, [4 x i8] undef }
12	union { int i; double f; } u2 = { };
13
14	// CHECK: @u3 = global %union.anon.1 zeroinitializer
15	union { double f; int i; } u3 = { };
16
17	// CHECK: @b = global [2 x i32] [i32 0, i32 22]
18	int b[2] = {
19	[1] = 22
20	};
21
22	// PR6955
23
24	struct ds {
25	struct {
26	struct {
27	short a;
28	};
29	short b;
30	struct {
31	short c;
32	};
33	};
34	};
35
36	// Traditional C anonymous member init
37	struct ds ds0 = { { { .a = 0 } } };
38	// C1X lookup-based anonymous member init cases
39	struct ds ds1 = { { .a = 1 } };
40	struct ds ds2 = { { .b = 1 } };
41	struct ds ds3 = { .a = 0 };
42	// CHECK: @ds4 = global %struct.ds { %struct.anon.3 { %struct.anon zeroinitializer, i16 0, %struct.anon.2 { i16 1 } } }
43	struct ds ds4 = { .c = 1 };
44	struct ds ds5 = { { { .a = 0 } }, .b = 1 };
45	struct ds ds6 = { { .a = 0, .b = 1 } };
46	// CHECK: @ds7 = global %struct.ds { %struct.anon.3 { %struct.anon { i16 2 }, i16 3, %struct.anon.2 zeroinitializer } }
47	struct ds ds7 = {
48	{ {
49	.a = 1
50	} },
51	.a = 2,
52	.b = 3
53	};
54
55
56	// <rdar://problem/10465114>
57	struct overwrite_string_struct1 {
58	__typeof(L"foo"[0]) L[6];
59	int M;
60	} overwrite_string1[] = { { { L"foo" }, 1 }, [0].L[2] = L'x'};
61	// CHECK: [6 x i32] [i32 102, i32 111, i32 120, i32 0, i32 0, i32 0], i32 1
62	struct overwrite_string_struct2 {
63	char L[6];
64	int M;
65	} overwrite_string2[] = { { { "foo" }, 1 }, [0].L[2] = 'x'};
66	// CHECK: [6 x i8] c"fox\00\00\00", i32 1
67	struct overwrite_string_struct3 {
68	char L[3];
69	int M;
70	} overwrite_string3[] = { { { "foo" }, 1 }, [0].L[2] = 'x'};
71	// CHECK: [3 x i8] c"fox", i32 1
72	struct overwrite_string_struct4 {
73	char L[3];
74	int M;
75	} overwrite_string4[] = { { { "foobar" }, 1 }, [0].L[2] = 'x'};
76	// CHECK: [3 x i8] c"fox", i32 1
77	struct overwrite_string_struct5 {
78	char L[6];
79	int M;
80	} overwrite_string5[] = { { { "foo" }, 1 }, [0].L[4] = 'y'};
81	// CHECK: [6 x i8] c"foo\00y\00", i32 1
82
83
84	// CHECK: @u1 = {{.*}} { i32 65535 }
85	union u_FFFF { char c; long l; } u1 = { .l = 0xFFFF };
86
87
88	/// PR16644
89	typedef union u_16644 {
90	struct s_16644 {
91	int zero;
92	int one;
93	int two;
94	int three;
95	} a;
96	int b[4];
97	} union_16644_t;
98
99	// CHECK: @union_16644_instance_0 = {{.*}} { i32 0, i32 0, i32 0, i32 3 } }
100	union_16644_t union_16644_instance_0 =
101	{
102	.b[0] = 0,
103	.a.one = 1,
104	.b[2] = 2,
105	.a.three = 3,
106	};
107
108	// CHECK: @union_16644_instance_1 = {{.*}} [i32 10, i32 0, i32 0, i32 0]
109	union_16644_t union_16644_instance_1 =
110	{
111	.a.three = 13,
112	.b[2] = 12,
113	.a.one = 11,
114	.b[0] = 10,
115	};
116
117	// CHECK: @union_16644_instance_2 = {{.*}} [i32 0, i32 20, i32 0, i32 0]
118	union_16644_t union_16644_instance_2 =
119	{
120	.a.one = 21,
121	.b[1] = 20,
122	};
123
124	// CHECK: @union_16644_instance_3 = {{.*}} { i32 0, i32 31, i32 0, i32 0 }
125	union_16644_t union_16644_instance_3 =
126	{
127	.b[1] = 30,
128	.a = {
129	.one = 31
130	}
131	};
132
133	// CHECK: @union_16644_instance_4 = {{.}} { i32 5, i32 2, i32 0, i32 0 } {{.}} [i32 0, i32 4, i32 0, i32 0]
134	union_16644_t union_16644_instance_4[2] =
135	{
136	[0].a.one = 2,
137	[1].a.zero = 3,
138	[0].a.zero = 5,
139	[1].b[1] = 4
140	};
141
142	// CHECK: @lab = global { [4 x i8], i32 } { [4 x i8] undef, i32 123 }
143	struct leading_anon_bitfield { int : 32; int n; } lab = { .n = 123 };
144
145	// rdar://45691981
146	struct Base {
147	struct {
148	int A;
149	};
150	};
151	struct Derived {
152	struct Base B;
153	};
154	struct Derived D = {{}, .B.A = 42};
155	// CHECK: @D = global %struct.Derived { %struct.Base { %struct.anon.4 { i32 42 } } }, align 4
156
157	void test1(int argc, char **argv)
158	{
159	// CHECK: internal global %struct.foo { i8* null, i32 1024 }
160	static struct foo foo = {
161	.b = 1024,
162	};
163
164	// CHECK: bitcast %union.anon.5* %u2
165	// CHECK: call void @llvm.memset
166	union { int i; float f; } u2 = { };
167
168	// CHECK-NOT: call void @llvm.memset
169	union { int i; float f; } u3;
170
171	// CHECK: ret void
172	}
173
174
175	// PR7151
176	struct S {
177	int nkeys;
178	int *keys;
179	union {
180	void *data;
181	};
182	};
183
184	void test2() {
185	struct S *btkr;
186
187	*btkr = (struct S) {
188	.keys = 0,
189	{ .data = 0 },
190	};
191	}
192

Clang Project