1*67e74705SXin Li // RUN: %clang_cc1 -triple i386-pc-linux-gnu -ffreestanding -verify -emit-llvm -o - %s | FileCheck %s
2*67e74705SXin Li
3*67e74705SXin Li #include <stdint.h>
4*67e74705SXin Li
5*67e74705SXin Li // Brace-enclosed string array initializers
6*67e74705SXin Li char a[] = { "asdf" };
7*67e74705SXin Li // CHECK: @a = global [5 x i8] c"asdf\00"
8*67e74705SXin Li
9*67e74705SXin Li char a2[2][5] = { "asdf" };
10*67e74705SXin Li // CHECK: @a2 = global [2 x [5 x i8]] {{\[}}[5 x i8] c"asdf\00", [5 x i8] zeroinitializer]
11*67e74705SXin Li
12*67e74705SXin Li // Double-implicit-conversions of array/functions (not legal C, but
13*67e74705SXin Li // clang accepts it for gcc compat).
14*67e74705SXin Li intptr_t b = a; // expected-warning {{incompatible pointer to integer conversion}}
15*67e74705SXin Li int c();
16*67e74705SXin Li void *d = c;
17*67e74705SXin Li intptr_t e = c; // expected-warning {{incompatible pointer to integer conversion}}
18*67e74705SXin Li
19*67e74705SXin Li int f, *g = __extension__ &f, *h = (1 != 1) ? &f : &f;
20*67e74705SXin Li
21*67e74705SXin Li union s2 {
22*67e74705SXin Li struct {
23*67e74705SXin Li struct { } *f0;
24*67e74705SXin Li } f0;
25*67e74705SXin Li };
26*67e74705SXin Li
27*67e74705SXin Li int g0 = (int)(&(((union s2 *) 0)->f0.f0) - 0);
28*67e74705SXin Li
29*67e74705SXin Li // CHECK: @g1x = global { double, double } { double 1.000000e+00{{[0]*}}, double 0.000000e+00{{[0]*}} }
30*67e74705SXin Li _Complex double g1x = 1.0f;
31*67e74705SXin Li // CHECK: @g1y = global { double, double } { double 0.000000e+00{{[0]*}}, double 1.000000e+00{{[0]*}} }
32*67e74705SXin Li _Complex double g1y = 1.0fi;
33*67e74705SXin Li // CHECK: @g1 = global { i8, i8 } { i8 1, i8 10 }
34*67e74705SXin Li _Complex char g1 = (char) 1 + (char) 10 * 1i;
35*67e74705SXin Li // CHECK: @g2 = global { i32, i32 } { i32 1, i32 10 }
36*67e74705SXin Li _Complex int g2 = 1 + 10i;
37*67e74705SXin Li // CHECK: @g3 = global { float, float } { float 1.000000e+00{{[0]*}}, float 1.000000e+0{{[0]*}}1 }
38*67e74705SXin Li _Complex float g3 = 1.0 + 10.0i;
39*67e74705SXin Li // CHECK: @g4 = global { double, double } { double 1.000000e+00{{[0]*}}, double 1.000000e+0{{[0]*}}1 }
40*67e74705SXin Li _Complex double g4 = 1.0 + 10.0i;
41*67e74705SXin Li // CHECK: @g5 = global { i32, i32 } zeroinitializer
42*67e74705SXin Li _Complex int g5 = (2 + 3i) == (5 + 7i);
43*67e74705SXin Li // CHECK: @g6 = global { double, double } { double -1.100000e+0{{[0]*}}1, double 2.900000e+0{{[0]*}}1 }
44*67e74705SXin Li _Complex double g6 = (2.0 + 3.0i) * (5.0 + 7.0i);
45*67e74705SXin Li // CHECK: @g7 = global i32 1
46*67e74705SXin Li int g7 = (2 + 3i) * (5 + 7i) == (-11 + 29i);
47*67e74705SXin Li // CHECK: @g8 = global i32 1
48*67e74705SXin Li int g8 = (2.0 + 3.0i) * (5.0 + 7.0i) == (-11.0 + 29.0i);
49*67e74705SXin Li // CHECK: @g9 = global i32 0
50*67e74705SXin Li int g9 = (2 + 3i) * (5 + 7i) != (-11 + 29i);
51*67e74705SXin Li // CHECK: @g10 = global i32 0
52*67e74705SXin Li int g10 = (2.0 + 3.0i) * (5.0 + 7.0i) != (-11.0 + 29.0i);
53*67e74705SXin Li
54*67e74705SXin Li // PR5108
55*67e74705SXin Li // CHECK: @gv1 = global %struct.anon <{ i32 0, i8 7 }>, align 1
56*67e74705SXin Li struct {
57*67e74705SXin Li unsigned long a;
58*67e74705SXin Li unsigned long b:3;
59*67e74705SXin Li } __attribute__((__packed__)) gv1 = { .a = 0x0, .b = 7, };
60*67e74705SXin Li
61*67e74705SXin Li // PR5118
62*67e74705SXin Li // CHECK: @gv2 = global %struct.anon.0 <{ i8 1, i8* null }>, align 1
63*67e74705SXin Li struct {
64*67e74705SXin Li unsigned char a;
65*67e74705SXin Li char *b;
66*67e74705SXin Li } __attribute__((__packed__)) gv2 = { 1, (void*)0 };
67*67e74705SXin Li
68*67e74705SXin Li // Global references
69*67e74705SXin Li // CHECK: @g11.l0 = internal global i32 ptrtoint (i32 ()* @g11 to i32)
g11()70*67e74705SXin Li long g11() {
71*67e74705SXin Li static long l0 = (long) g11;
72*67e74705SXin Li return l0;
73*67e74705SXin Li }
74*67e74705SXin Li
75*67e74705SXin Li // CHECK: @g12 = global i32 ptrtoint (i8* @g12_tmp to i32)
76*67e74705SXin Li static char g12_tmp;
77*67e74705SXin Li long g12 = (long) &g12_tmp;
78*67e74705SXin Li
79*67e74705SXin Li // CHECK: @g13 = global [1 x %struct.g13_s0] [%struct.g13_s0 { i32 ptrtoint (i8* @g12_tmp to i32) }]
80*67e74705SXin Li struct g13_s0 {
81*67e74705SXin Li long a;
82*67e74705SXin Li };
83*67e74705SXin Li struct g13_s0 g13[] = {
84*67e74705SXin Li { (long) &g12_tmp }
85*67e74705SXin Li };
86*67e74705SXin Li
87*67e74705SXin Li // CHECK: @g14 = global i8* inttoptr (i32 100 to i8*)
88*67e74705SXin Li void *g14 = (void*) 100;
89*67e74705SXin Li
90*67e74705SXin Li // CHECK: @g15 = global i32 -1
91*67e74705SXin Li int g15 = (int) (char) ((void*) 0 + 255);
92*67e74705SXin Li
93*67e74705SXin Li // CHECK: @g16 = global i64 4294967295
94*67e74705SXin Li long long g16 = (long long) ((void*) 0xFFFFFFFF);
95*67e74705SXin Li
96*67e74705SXin Li // CHECK: @g17 = global i32* @g15
97*67e74705SXin Li int *g17 = (int *) ((long) &g15);
98*67e74705SXin Li
99*67e74705SXin Li // CHECK: @g18.p = internal global [1 x i32*] [i32* @g19]
g18(void)100*67e74705SXin Li void g18(void) {
101*67e74705SXin Li extern int g19;
102*67e74705SXin Li static int *p[] = { &g19 };
103*67e74705SXin Li }
104*67e74705SXin Li
105*67e74705SXin Li // CHECK: @g20.l0 = internal global %struct.g20_s1 { %struct.g20_s0* null, %struct.g20_s0** getelementptr inbounds (%struct.g20_s1, %struct.g20_s1* @g20.l0, i32 0, i32 0) }
106*67e74705SXin Li struct g20_s0;
107*67e74705SXin Li struct g20_s1 {
108*67e74705SXin Li struct g20_s0 *f0, **f1;
109*67e74705SXin Li };
g20(void)110*67e74705SXin Li void *g20(void) {
111*67e74705SXin Li static struct g20_s1 l0 = { ((void*) 0), &l0.f0 };
112*67e74705SXin Li return l0.f1;
113*67e74705SXin Li }
114*67e74705SXin Li
115*67e74705SXin Li // PR4108
116*67e74705SXin Li struct g21 {int g21;};
117*67e74705SXin Li const struct g21 g21 = (struct g21){1};
118*67e74705SXin Li
119*67e74705SXin Li // PR5474
120*67e74705SXin Li struct g22 {int x;} __attribute((packed));
121*67e74705SXin Li struct g23 {char a; short b; char c; struct g22 d;};
122*67e74705SXin Li struct g23 g24 = {1,2,3,4};
123*67e74705SXin Li
124*67e74705SXin Li // CHECK: @g25.g26 = internal global i8* getelementptr inbounds ([4 x i8], [4 x i8]* @__func__.g25, i32 0, i32 0)
125*67e74705SXin Li // CHECK: @__func__.g25 = private unnamed_addr constant [4 x i8] c"g25\00"
g25()126*67e74705SXin Li int g25() {
127*67e74705SXin Li static const char *g26 = __func__;
128*67e74705SXin Li return *g26;
129*67e74705SXin Li }
130*67e74705SXin Li
131*67e74705SXin Li // CHECK: @g27.x = internal global i8* bitcast (i8** @g27.x to i8*), align 4
g27()132*67e74705SXin Li void g27() { // PR8073
133*67e74705SXin Li static void *x = &x;
134*67e74705SXin Li }
135*67e74705SXin Li
g28()136*67e74705SXin Li void g28() {
137*67e74705SXin Li typedef long long v1i64 __attribute((vector_size(8)));
138*67e74705SXin Li typedef short v12i16 __attribute((vector_size(24)));
139*67e74705SXin Li typedef long double v2f80 __attribute((vector_size(24)));
140*67e74705SXin Li // CHECK: @g28.a = internal global <1 x i64> <i64 10>
141*67e74705SXin Li // CHECK: @g28.b = internal global <12 x i16> <i16 0, i16 0, i16 0, i16 -32768, i16 16383, i16 0, i16 0, i16 0, i16 0, i16 -32768, i16 16384, i16 0>
142*67e74705SXin Li // CHECK: @g28.c = internal global <2 x x86_fp80> <x86_fp80 0xK3FFF8000000000000000, x86_fp80 0xK40008000000000000000>, align 32
143*67e74705SXin Li static v1i64 a = (v1i64)10LL;
144*67e74705SXin Li static v12i16 b = (v2f80){1,2};
145*67e74705SXin Li static v2f80 c = (v12i16){0,0,0,-32768,16383,0,0,0,0,-32768,16384,0};
146*67e74705SXin Li }
147*67e74705SXin Li
148*67e74705SXin Li // PR13643
g29()149*67e74705SXin Li void g29() {
150*67e74705SXin Li typedef char DCC_PASSWD[2];
151*67e74705SXin Li typedef struct
152*67e74705SXin Li {
153*67e74705SXin Li DCC_PASSWD passwd;
154*67e74705SXin Li } DCC_SRVR_NM;
155*67e74705SXin Li // CHECK: @g29.a = internal global %struct.DCC_SRVR_NM { [2 x i8] c"@\00" }, align 1
156*67e74705SXin Li // CHECK: @g29.b = internal global [1 x i32] [i32 ptrtoint ([5 x i8]* @.str to i32)], align 4
157*67e74705SXin Li // CHECK: @g29.c = internal global [1 x i32] [i32 97], align 4
158*67e74705SXin Li static DCC_SRVR_NM a = { {"@"} };
159*67e74705SXin Li static int b[1] = { "asdf" }; // expected-warning {{incompatible pointer to integer conversion initializing 'int' with an expression of type 'char [5]'}}
160*67e74705SXin Li static int c[1] = { L"a" };
161*67e74705SXin Li }
162*67e74705SXin Li
163*67e74705SXin Li // PR21300
g30()164*67e74705SXin Li void g30() {
165*67e74705SXin Li #pragma pack(1)
166*67e74705SXin Li static struct {
167*67e74705SXin Li int : 1;
168*67e74705SXin Li int x;
169*67e74705SXin Li } a = {};
170*67e74705SXin Li // CHECK: @g30.a = internal global %struct.anon.1 <{ i8 undef, i32 0 }>, align 1
171*67e74705SXin Li #pragma pack()
172*67e74705SXin Li }
173*67e74705SXin Li
g31()174*67e74705SXin Li void g31() {
175*67e74705SXin Li #pragma pack(4)
176*67e74705SXin Li static struct {
177*67e74705SXin Li short a;
178*67e74705SXin Li long x;
179*67e74705SXin Li short z;
180*67e74705SXin Li } a = {23122, -12312731, -312};
181*67e74705SXin Li #pragma pack()
182*67e74705SXin Li // CHECK: @g31.a = internal global %struct.anon.2 { i16 23122, i32 -12312731, i16 -312 }, align 4
183*67e74705SXin Li }
184