189 lines · c
1// RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - | FileCheck %s2 3struct foo {4 void *a;5 int b;6};7 8// CHECK: @u ={{.*}} global %union.anon zeroinitializer9union { int i; float f; } u = { };10 11// CHECK: @u2 ={{.*}} global { i32, [4 x i8] } zeroinitializer12union { int i; double f; } u2 = { };13 14// CHECK: @u3 ={{.*}} global %union.anon.1 zeroinitializer15union { double f; int i; } u3 = { };16 17// CHECK: @b ={{.*}} global [2 x i32] [i32 0, i32 22]18int b[2] = {19 [1] = 2220};21 22// PR695523 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 init37struct ds ds0 = { { { .a = 0 } } };38// C1X lookup-based anonymous member init cases39struct 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 = 150 } },51 .a = 2,52 .b = 353};54 55 56struct overwrite_string_struct1 {57 __typeof(L"foo"[0]) L[6];58 int M;59} overwrite_string1[] = { { { L"foo" }, 1 }, [0].L[2] = L'x'};60// CHECK: [6 x i32] [i32 102, i32 111, i32 120, i32 0, i32 0, i32 0], i32 161struct overwrite_string_struct2 {62 char L[6];63 int M;64} overwrite_string2[] = { { { "foo" }, 1 }, [0].L[2] = 'x'};65// CHECK: [6 x i8] c"fox\00\00\00", [2 x i8] zeroinitializer, i32 166struct overwrite_string_struct3 {67 char L[3];68 int M;69} overwrite_string3[] = { { { "foo" }, 1 }, [0].L[2] = 'x'};70// CHECK: [3 x i8] c"fox", i8 0, i32 171struct overwrite_string_struct4 {72 char L[3];73 int M;74} overwrite_string4[] = { { { "foobar" }, 1 }, [0].L[2] = 'x'};75// CHECK: [3 x i8] c"fox", i8 0, i32 176struct overwrite_string_struct5 {77 char L[6];78 int M;79} overwrite_string5[] = { { { "foo" }, 1 }, [0].L[4] = 'y'};80// CHECK: [6 x i8] c"foo\00y\00", [2 x i8] zeroinitializer, i32 181 82 83// CHECK: @u1 = {{.*}} { i32 65535 }84union u_FFFF { char c; long l; } u1 = { .l = 0xFFFF };85 86 87/// PR1664488typedef union u_16644 {89 struct s_16644 {90 int zero;91 int one;92 int two;93 int three;94 } a;95 int b[4];96} union_16644_t;97 98// CHECK: @union_16644_instance_0 = {{.*}} { i32 0, i32 0, i32 0, i32 3 } }99union_16644_t union_16644_instance_0 =100{101 .b[0] = 0,102 .a.one = 1,103 .b[2] = 2,104 .a.three = 3,105};106 107// CHECK: @union_16644_instance_1 = {{.*}} [i32 10, i32 0, i32 0, i32 0]108union_16644_t union_16644_instance_1 =109{110 .a.three = 13,111 .b[2] = 12,112 .a.one = 11,113 .b[0] = 10,114};115 116// CHECK: @union_16644_instance_2 = {{.*}} [i32 0, i32 20, i32 0, i32 0]117union_16644_t union_16644_instance_2 =118{119 .a.one = 21,120 .b[1] = 20,121};122 123// CHECK: @union_16644_instance_3 = {{.*}} { i32 0, i32 31, i32 0, i32 0 }124union_16644_t union_16644_instance_3 =125{126 .b[1] = 30,127 .a = {128 .one = 31129 }130};131 132// CHECK: @union_16644_instance_4 = {{.*}} { i32 5, i32 2, i32 0, i32 0 } {{.*}} [i32 0, i32 4, i32 0, i32 0]133union_16644_t union_16644_instance_4[2] =134{135 [0].a.one = 2,136 [1].a.zero = 3,137 [0].a.zero = 5,138 [1].b[1] = 4139};140 141// CHECK: @lab ={{.*}} global { [4 x i8], i32 } { [4 x i8] zeroinitializer, i32 123 }142struct leading_anon_bitfield { int : 32; int n; } lab = { .n = 123 };143 144struct Base {145 struct {146 int A;147 };148};149struct Derived {150 struct Base B;151};152struct Derived D = {{}, .B.A = 42};153// CHECK: @D ={{.*}} global %struct.Derived { %struct.Base { %struct.anon.4 { i32 42 } } }, align 4154 155void test1(int argc, char **argv)156{157 // CHECK: internal global %struct.foo { ptr null, i32 1024 }158 static struct foo foo = {159 .b = 1024,160 };161 162 // CHECK: call void @llvm.memset163 union { int i; float f; } u2 = { };164 165 // CHECK-NOT: call void @llvm.memset166 union { int i; float f; } u3;167 168 // CHECK: ret void169}170 171 172// PR7151173struct S {174 int nkeys;175 int *keys;176 union {177 void *data;178 };179};180 181void test2(void) {182 struct S *btkr;183 184 *btkr = (struct S) {185 .keys = 0,186 { .data = 0 },187 };188}189