blob: ac26b65e688d96c57bb142b83676fe26e74fe6b3 [file] [log] [blame]
Daniel Dunbara5728872009-12-15 20:14:24 +00001// RUN: %clang_cc1 -triple i386-pc-linux-gnu -ffreestanding -verify -emit-llvm -o - %s | FileCheck %s
Eli Friedmancca196b2008-02-21 18:07:36 +00002
Ken Dyckbaf524d2009-11-22 18:29:06 +00003#include <stdint.h>
Eli Friedmancca196b2008-02-21 18:07:36 +00004
5// Brace-enclosed string array initializers
6char a[] = { "asdf" };
7
8// Double-implicit-conversions of array/functions (not legal C, but
9// clang accepts it for gcc compat).
Daniel Dunbarda8bf142008-08-05 06:30:41 +000010intptr_t b = a; // expected-warning {{incompatible pointer to integer conversion}}
Eli Friedmancca196b2008-02-21 18:07:36 +000011int c();
12void *d = c;
Daniel Dunbarda8bf142008-08-05 06:30:41 +000013intptr_t e = c; // expected-warning {{incompatible pointer to integer conversion}}
Eli Friedmanbc5ed6e2008-05-29 11:22:45 +000014
15int f, *g = __extension__ &f, *h = (1 != 1) ? &f : &f;
Anders Carlssoncd761cd2008-11-22 06:42:54 +000016
17union s2 {
18 struct {
19 struct { } *f0;
20 } f0;
21};
22
23int g0 = (int)(&(((union s2 *) 0)->f0.f0) - 0);
Daniel Dunbara5fd07b2009-01-28 22:24:07 +000024
Mike Stumpe3680312009-10-08 21:57:41 +000025// CHECK: @g1x = global {{%.}} { double 1.000000e+00{{[0]*}}, double 0.000000e+00{{[0]*}} }
Daniel Dunbar4087e242009-01-29 06:43:41 +000026_Complex double g1x = 1.0f;
Mike Stumpe3680312009-10-08 21:57:41 +000027// CHECK: @g1y = global {{%.}} { double 0.000000e+00{{[0]*}}, double 1.000000e+00{{[0]*}} }
Daniel Dunbar4087e242009-01-29 06:43:41 +000028_Complex double g1y = 1.0fi;
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000029// CHECK: @g1 = global {{%.}} { i8 1, i8 10 }
Daniel Dunbar4087e242009-01-29 06:43:41 +000030_Complex char g1 = (char) 1 + (char) 10 * 1i;
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000031// CHECK: @g2 = global %2 { i32 1, i32 10 }
Daniel Dunbar4087e242009-01-29 06:43:41 +000032_Complex int g2 = 1 + 10i;
Mike Stumpe3680312009-10-08 21:57:41 +000033// CHECK: @g3 = global {{%.}} { float 1.000000e+00{{[0]*}}, float 1.000000e+0{{[0]*}}1 }
Daniel Dunbar4087e242009-01-29 06:43:41 +000034_Complex float g3 = 1.0 + 10.0i;
Mike Stumpe3680312009-10-08 21:57:41 +000035// CHECK: @g4 = global {{%.}} { double 1.000000e+00{{[0]*}}, double 1.000000e+0{{[0]*}}1 }
Daniel Dunbar4087e242009-01-29 06:43:41 +000036_Complex double g4 = 1.0 + 10.0i;
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000037// CHECK: @g5 = global %2 zeroinitializer
Daniel Dunbar4087e242009-01-29 06:43:41 +000038_Complex int g5 = (2 + 3i) == (5 + 7i);
Mike Stumpe3680312009-10-08 21:57:41 +000039// CHECK: @g6 = global {{%.}} { double -1.100000e+0{{[0]*}}1, double 2.900000e+0{{[0]*}}1 }
Daniel Dunbar4087e242009-01-29 06:43:41 +000040_Complex double g6 = (2.0 + 3.0i) * (5.0 + 7.0i);
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000041// CHECK: @g7 = global i32 1
Daniel Dunbar4087e242009-01-29 06:43:41 +000042int g7 = (2 + 3i) * (5 + 7i) == (-11 + 29i);
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000043// CHECK: @g8 = global i32 1
Daniel Dunbar4087e242009-01-29 06:43:41 +000044int g8 = (2.0 + 3.0i) * (5.0 + 7.0i) == (-11.0 + 29.0i);
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000045// CHECK: @g9 = global i32 0
Daniel Dunbar4087e242009-01-29 06:43:41 +000046int g9 = (2 + 3i) * (5 + 7i) != (-11 + 29i);
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000047// CHECK: @g10 = global i32 0
Daniel Dunbar4087e242009-01-29 06:43:41 +000048int g10 = (2.0 + 3.0i) * (5.0 + 7.0i) != (-11.0 + 29.0i);
49
Anders Carlsson31f2f9c2009-10-02 02:15:20 +000050// PR5108
Anders Carlsson2df96e72009-10-02 04:52:12 +000051// CHECK: @gv1 = global %4 <{ i32 0, i8 7 }>, align 1
52struct {
Anders Carlsson31f2f9c2009-10-02 02:15:20 +000053 unsigned long a;
54 unsigned long b:3;
Anders Carlsson2df96e72009-10-02 04:52:12 +000055} __attribute__((__packed__)) gv1 = { .a = 0x0, .b = 7, };
56
57// PR5118
58// CHECK: @gv2 = global %5 <{ i8 1, i8* null }>, align 1
59struct {
60 unsigned char a;
61 char *b;
62} __attribute__((__packed__)) gv2 = { 1, (void*)0 };
Daniel Dunbar4087e242009-01-29 06:43:41 +000063
Daniel Dunbardd211642009-02-19 22:24:01 +000064// Global references
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000065// CHECK: @g11.l0 = internal global i32 ptrtoint (i32 ()* @g11 to i32)
Daniel Dunbardd211642009-02-19 22:24:01 +000066long g11() {
67 static long l0 = (long) g11;
68 return l0;
69}
70
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000071// CHECK: @g12 = global i32 ptrtoint (i8* @g12_tmp to i32)
Daniel Dunbardd211642009-02-19 22:24:01 +000072static char g12_tmp;
73long g12 = (long) &g12_tmp;
74
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000075// CHECK: @g13 = global [1 x %struct.g13_s0] [%struct.g13_s0 { i32 ptrtoint (i8* @g12_tmp to i32) }]
Daniel Dunbardd211642009-02-19 22:24:01 +000076struct g13_s0 {
77 long a;
78};
79struct g13_s0 g13[] = {
80 { (long) &g12_tmp }
81};
82
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000083// CHECK: @g14 = global i8* inttoptr (i64 100 to i8*)
Daniel Dunbardd211642009-02-19 22:24:01 +000084void *g14 = (void*) 100;
85
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000086// CHECK: @g15 = global i32 -1
Daniel Dunbardd211642009-02-19 22:24:01 +000087int g15 = (int) (char) ((void*) 0 + 255);
88
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000089// CHECK: @g16 = global i64 4294967295
Daniel Dunbardd211642009-02-19 22:24:01 +000090long long g16 = (long long) ((void*) 0xFFFFFFFF);
91
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000092// CHECK: @g17 = global i32* @g15
Daniel Dunbar69ab26a2009-02-20 18:22:23 +000093int *g17 = (int *) ((long) &g15);
94
Benjamin Kramerd9097ff2009-10-02 10:32:51 +000095// CHECK: @g18.p = internal global [1 x i32*] [i32* @g19]
Daniel Dunbard01b6692009-02-24 18:41:57 +000096void g18(void) {
97 extern int g19;
98 static int *p[] = { &g19 };
99}
100
Benjamin Kramerd9097ff2009-10-02 10:32:51 +0000101// CHECK: @g20.l0 = internal global %struct.g20_s1 { %struct.g20_s0* null, %struct.g20_s0** getelementptr inbounds (%struct.g20_s1* @g20.l0, i32 0, i32 0) }
Daniel Dunbare5731f82009-02-25 20:08:33 +0000102struct g20_s0;
103struct g20_s1 {
104 struct g20_s0 *f0, **f1;
105};
106void *g20(void) {
107 static struct g20_s1 l0 = { ((void*) 0), &l0.f0 };
108 return l0.f1;
109}
110
Eli Friedman944af712009-04-30 07:03:22 +0000111// PR4108
112struct g21 {int g21;};
113const struct g21 g21 = (struct g21){1};
Eli Friedman64241fc2009-11-13 21:23:46 +0000114
115// PR5474
116struct g22 {int x;} __attribute((packed));
117struct g23 {char a; short b; char c; struct g22 d;};
118struct g23 g24 = {1,2,3,4};
119
Eli Friedmanf70b24e2009-11-14 08:37:13 +0000120// CHECK: @g25.g26 = internal global i8* getelementptr inbounds ([4 x i8]* @__func__.g25, i32 0, i32 0)
John McCall9c20fa92010-09-03 18:58:50 +0000121// CHECK: @__func__.g25 = private constant [4 x i8] c"g25\00"
Eli Friedmanf70b24e2009-11-14 08:37:13 +0000122int g25() {
123 static const char *g26 = __func__;
124 return *g26;
125}
John McCall9c20fa92010-09-03 18:58:50 +0000126
127// CHECK: @g27.x = internal global i8* bitcast (i8** @g27.x to i8*), align 4
128void g27() { // PR8073
129 static void *x = &x;
130}