1// RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - | FileCheck %s 2 3struct foo { 4 void *a; 5 int b; 6}; 7 8// CHECK: @u = global %union.anon zeroinitializer 9union { int i; float f; } u = { }; 10 11// CHECK: @u2 = global { i32, [4 x i8] } { i32 0, [4 x i8] undef } 12union { int i; double f; } u2 = { }; 13 14// CHECK: @u3 = global %union.anon.1 zeroinitializer 15union { double f; int i; } u3 = { }; 16 17// CHECK: @b = global [2 x i32] [i32 0, i32 22] 18int b[2] = { 19 [1] = 22 20}; 21 22// PR6955 23 24struct 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 37struct ds ds0 = { { { .a = 0 } } }; 38// C1X lookup-based anonymous member init cases 39struct ds ds1 = { { .a = 1 } }; 40struct ds ds2 = { { .b = 1 } }; 41struct ds ds3 = { .a = 0 }; 42// CHECK: @ds4 = global %struct.ds { %struct.anon.3 { %struct.anon zeroinitializer, i16 0, %struct.anon.2 { i16 1 } } } 43struct ds ds4 = { .c = 1 }; 44struct ds ds5 = { { { .a = 0 } }, .b = 1 }; 45struct 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 } } 47struct ds ds7 = { 48 { { 49 .a = 1 50 } }, 51 .a = 2, 52 .b = 3 53}; 54 55 56// <rdar://problem/10465114> 57struct 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 62struct 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 67struct 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 72struct 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 77struct 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 } 85union u_FFFF { char c; long l; } u1 = { .l = 0xFFFF }; 86 87 88/// PR16644 89typedef 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 } } 100union_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] 109union_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] 118union_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 } 125union_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] 134union_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 } 143struct leading_anon_bitfield { int : 32; int n; } lab = { .n = 123 }; 144 145void test1(int argc, char **argv) 146{ 147 // CHECK: internal global %struct.foo { i8* null, i32 1024 } 148 static struct foo foo = { 149 .b = 1024, 150 }; 151 152 // CHECK: bitcast %union.anon.4* %u2 153 // CHECK: call void @llvm.memset 154 union { int i; float f; } u2 = { }; 155 156 // CHECK-NOT: call void @llvm.memset 157 union { int i; float f; } u3; 158 159 // CHECK: ret void 160} 161 162 163// PR7151 164struct S { 165 int nkeys; 166 int *keys; 167 union { 168 void *data; 169 }; 170}; 171 172void test2() { 173 struct S *btkr; 174 175 *btkr = (struct S) { 176 .keys = 0, 177 { .data = 0 }, 178 }; 179} 180