222 lines · c
1// setting strict FP behaviour in the run line below tests that the compiler2// does the right thing for global compound literals (compoundliteral test)3// RUN: %clang_cc1 -triple i386-pc-linux-gnu -ffreestanding -Wno-pointer-to-int-cast -Wno-int-conversion -ffp-exception-behavior=strict -emit-llvm -o - %s | FileCheck %s4 5#include <stdint.h>6 7// Brace-enclosed string array initializers8char a[] = { "asdf" };9// CHECK: @a ={{.*}} global [5 x i8] c"asdf\00"10 11char a2[2][5] = { "asdf" };12// CHECK: @a2 ={{.*}} global [2 x [5 x i8]] {{\[}}[5 x i8] c"asdf\00", [5 x i8] zeroinitializer]13 14// Double-implicit-conversions of array/functions (not legal C, but15// clang accepts it for gcc compat).16intptr_t b = a;17int c(void);18void *d = c;19intptr_t e = c;20 21int f, *g = __extension__ &f, *h = (1 != 1) ? &f : &f;22 23union s2 {24 struct {25 struct { } *f0;26 } f0;27};28 29int g0 = (int)(&(((union s2 *) 0)->f0.f0) - 0);30 31// CHECK: @g1x ={{.*}} global { double, double } { double 1.000000e+00{{[0]*}}, double 0.000000e+00{{[0]*}} }32_Complex double g1x = 1.0f;33// CHECK: @g1y ={{.*}} global { double, double } { double 0.000000e+00{{[0]*}}, double 1.000000e+00{{[0]*}} }34_Complex double g1y = 1.0fi;35// CHECK: @g1 ={{.*}} global { i8, i8 } { i8 1, i8 10 }36_Complex char g1 = (char) 1 + (char) 10 * 1i;37// CHECK: @g2 ={{.*}} global { i32, i32 } { i32 1, i32 10 }38_Complex int g2 = 1 + 10i;39// CHECK: @g3 ={{.*}} global { float, float } { float 1.000000e+00{{[0]*}}, float 1.000000e+0{{[0]*}}1 }40_Complex float g3 = 1.0 + 10.0i;41// CHECK: @g4 ={{.*}} global { double, double } { double 1.000000e+00{{[0]*}}, double 1.000000e+0{{[0]*}}1 }42_Complex double g4 = 1.0 + 10.0i;43// CHECK: @g5 ={{.*}} global { i32, i32 } zeroinitializer44_Complex int g5 = (2 + 3i) == (5 + 7i);45// CHECK: @g6 ={{.*}} global { double, double } { double -1.100000e+0{{[0]*}}1, double 2.900000e+0{{[0]*}}1 }46_Complex double g6 = (2.0 + 3.0i) * (5.0 + 7.0i);47// CHECK: @g7 ={{.*}} global i32 148int g7 = (2 + 3i) * (5 + 7i) == (-11 + 29i);49// CHECK: @g8 ={{.*}} global i32 150int g8 = (2.0 + 3.0i) * (5.0 + 7.0i) == (-11.0 + 29.0i);51// CHECK: @g9 ={{.*}} global i32 052int g9 = (2 + 3i) * (5 + 7i) != (-11 + 29i);53// CHECK: @g10 ={{.*}} global i32 054int g10 = (2.0 + 3.0i) * (5.0 + 7.0i) != (-11.0 + 29.0i);55 56// PR510857// CHECK: @gv1 ={{.*}} global %struct.anon <{ i32 0, i8 7 }>, align 158struct {59 unsigned long a;60 unsigned long b:3;61} __attribute__((__packed__)) gv1 = { .a = 0x0, .b = 7, };62 63// PR511864// CHECK: @gv2 ={{.*}} global %struct.anon.0 <{ i8 1, ptr null }>, align 165struct {66 unsigned char a;67 char *b;68} __attribute__((__packed__)) gv2 = { 1, (void*)0 };69 70// Global references71// CHECK: @g11.l0 = internal global i32 ptrtoint (ptr @g11 to i32)72long g11(void) {73 static long l0 = (long) g11;74 return l0;75}76 77// CHECK: @g12 ={{.*}} global i32 ptrtoint (ptr @g12_tmp to i32)78static char g12_tmp;79long g12 = (long) &g12_tmp;80 81// CHECK: @g13 ={{.*}} global [1 x %struct.g13_s0] [%struct.g13_s0 { i32 ptrtoint (ptr @g12_tmp to i32) }]82struct g13_s0 {83 long a;84};85struct g13_s0 g13[] = {86 { (long) &g12_tmp }87};88 89// CHECK: @g14 ={{.*}} global ptr inttoptr (i32 100 to ptr)90void *g14 = (void*) 100;91 92// CHECK: @g15 ={{.*}} global i32 -193int g15 = (int) (char) ((void*) 0 + 255);94 95// CHECK: @g16 ={{.*}} global i64 429496729596long long g16 = (long long) ((void*) 0xFFFFFFFF);97 98// CHECK: @g17 ={{.*}} global ptr @g1599int *g17 = (int *) ((long) &g15);100 101// CHECK: @g18.p = internal global [1 x ptr] [ptr @g19]102void g18(void) {103 extern int g19;104 static int *p[] = { &g19 };105}106 107// CHECK: @g20.l0 = internal global %struct.g20_s1 { ptr null, ptr @g20.l0 }108struct g20_s0;109struct g20_s1 {110 struct g20_s0 *f0, **f1;111};112void *g20(void) {113 static struct g20_s1 l0 = { ((void*) 0), &l0.f0 };114 return l0.f1;115}116 117// PR4108118struct g21 {int g21;};119const struct g21 g21 = (struct g21){1};120 121// PR5474122struct g22 {int x;} __attribute((packed));123struct g23 {char a; short b; char c; struct g22 d;};124struct g23 g24 = {1,2,3,4};125 126// CHECK: @g25.g26 = internal global ptr @[[FUNC:.*]], align 4127// CHECK: @[[FUNC]] = private unnamed_addr constant [4 x i8] c"g25\00"128int g25(void) {129 static const char *g26 = __func__;130 return *g26;131}132 133// CHECK: @g27.x = internal global ptr @g27.x, align 4134void g27(void) { // PR8073135 static void *x = &x;136}137 138void g28(void) {139 typedef long long v1i64 __attribute((vector_size(8)));140 typedef short v12i16 __attribute((vector_size(24)));141 typedef long double v2f80 __attribute((vector_size(24)));142 // CHECK: @g28.a = internal global <1 x i64> splat (i64 10)143 // @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>144 // @g28.c = internal global <2 x x86_fp80> <x86_fp80 0xK3FFF8000000000000000, x86_fp80 0xK40008000000000000000>, align 32145 static v1i64 a = (v1i64)10LL;146 //FIXME: support constant bitcast between vectors of x86_fp80147 //static v12i16 b = (v12i16)(v2f80){1,2};148 //static v2f80 c = (v2f80)(v12i16){0,0,0,-32768,16383,0,0,0,0,-32768,16384,0};149}150 151// PR13643152void g29(void) {153 typedef char DCC_PASSWD[2];154 typedef struct155 {156 DCC_PASSWD passwd;157 } DCC_SRVR_NM;158 // CHECK: @g29.a = internal global %struct.DCC_SRVR_NM { [2 x i8] c"@\00" }, align 1159 // CHECK: @g29.b = internal global [1 x i32] [i32 ptrtoint (ptr @.str.1 to i32)], align 4160 // CHECK: @g29.c = internal global [1 x i32] [i32 97], align 4161 static DCC_SRVR_NM a = { {"@"} };162 static int b[1] = { "asdf" };163 static int c[1] = { L"a" };164}165 166// PR21300167void g30(void) {168#pragma pack(1)169 static struct {170 int : 1;171 int x;172 } a = {};173 // CHECK: @g30.a = internal global %struct.anon.1 zeroinitializer, align 1174#pragma pack()175}176 177void g31(void) {178#pragma pack(4)179 static struct {180 short a;181 long x;182 short z;183 } a = {23122, -12312731, -312};184#pragma pack()185 // CHECK: @g31.a = internal global { i16, [2 x i8], i32, i16, [2 x i8] } { i16 23122, [2 x i8] zeroinitializer, i32 -12312731, i16 -312, [2 x i8] zeroinitializer }, align 4186}187 188// Clang should evaluate this in constant context, so floating point mode should189// have no effect.190// CHECK: @.compoundliteral = internal global [1 x float] [float 0x3FB99999A0000000], align 4191struct { const float *floats; } compoundliteral = {192 (float[1]) { 0.1, },193};194 195struct PR4517_foo {196 int x;197};198struct PR4517_bar {199 struct PR4517_foo foo;200};201const struct PR4517_foo my_foo = {.x = 42};202struct PR4517_bar my_bar = {.foo = my_foo};203struct PR4517_bar my_bar2 = (struct PR4517_bar){.foo = my_foo};204struct PR4517_bar my_bar3 = {my_foo};205struct PR4517_bar my_bar4 = (struct PR4517_bar){my_foo};206// CHECK: @my_foo = constant %struct.PR4517_foo { i32 42 }, align 4207// CHECK: @my_bar = global %struct.PR4517_bar { %struct.PR4517_foo { i32 42 } }, align 4208// CHECK: @my_bar2 = global %struct.PR4517_bar { %struct.PR4517_foo { i32 42 } }, align 4209// CHECK: @my_bar3 = global %struct.PR4517_bar { %struct.PR4517_foo { i32 42 } }, align 4210// CHECK: @my_bar4 = global %struct.PR4517_bar { %struct.PR4517_foo { i32 42 } }, align 4211const int PR4517_arrc[2] = {41, 42};212int PR4517_x = PR4517_arrc[1];213const int PR4517_idx = 1;214int PR4517_x2 = PR4517_arrc[PR4517_idx];215// CHECK: @PR4517_arrc = constant [2 x i32] [i32 41, i32 42], align 4216// CHECK: @PR4517_x = global i32 42, align 4217// CHECK: @PR4517_idx = constant i32 1, align 4218// CHECK: @PR4517_x2 = global i32 42, align 4219 220// CHECK: @GH84784_inf = constant i8 1221_Bool const GH84784_inf = (1.0/0.0);222