1// RUN: %clang_cc1 %s -triple=x86_64-pc-linuxs -emit-llvm -o - | FileCheck %s 2 3// CHECK: @_ZZ1hvE1i = internal global i32 0, align 4 4// CHECK: @base_req = global [4 x i8] c"foo\00", align 1 5// CHECK: @base_req_uchar = global [4 x i8] c"bar\00", align 1 6 7// CHECK: @_ZZN5test31BC1EvE1u = internal global { i8, [3 x i8] } { i8 97, [3 x i8] undef }, align 4 8 9// CHECK: @_ZZ2h2vE1i = linkonce_odr global i32 0, comdat, align 4 10// CHECK: @_ZGVZ2h2vE1i = linkonce_odr global i64 0, comdat, align 8{{$}} 11// CHECK: @_ZZN5test1L6getvarEiE3var = internal constant [4 x i32] [i32 1, i32 0, i32 2, i32 4], align 16 12// CHECK: @_ZZN5test414useStaticLocalEvE3obj = linkonce_odr global %"struct.test4::HasVTable" zeroinitializer, comdat, align 8 13 14struct A { 15 A(); 16 ~A(); 17}; 18 19void f() { 20 // CHECK: load atomic i8, i8* bitcast (i64* @_ZGVZ1fvE1a to i8*) acquire, align 8 21 // CHECK: call i32 @__cxa_guard_acquire 22 // CHECK: call void @_ZN1AC1Ev 23 // CHECK: call i32 @__cxa_atexit(void (i8*)* bitcast (void (%struct.A*)* @_ZN1AD1Ev to void (i8*)*), i8* getelementptr inbounds (%struct.A, %struct.A* @_ZZ1fvE1a, i32 0, i32 0), i8* @__dso_handle) 24 // CHECK: call void @__cxa_guard_release 25 static A a; 26} 27 28void g() { 29 // CHECK: call noalias i8* @_Znwm(i64 1) 30 // CHECK: call void @_ZN1AC1Ev( 31 static A& a = *new A; 32} 33 34int a(); 35void h() { 36 static const int i = a(); 37} 38 39// CHECK: define linkonce_odr void @_Z2h2v() {{.*}} comdat { 40inline void h2() { 41 static int i = a(); 42} 43 44void h3() { 45 h2(); 46} 47 48// PR6980: this shouldn't crash 49namespace test0 { 50 struct A { A(); }; 51 __attribute__((noreturn)) int throw_exception(); 52 53 void test() { 54 throw_exception(); 55 static A r; 56 } 57} 58 59namespace test1 { 60 // CHECK-LABEL: define internal i32 @_ZN5test1L6getvarEi( 61 static inline int getvar(int index) { 62 static const int var[] = { 1, 0, 2, 4 }; 63 return var[index]; 64 } 65 66 void test() { (void) getvar(2); } 67} 68 69// Make sure we emit the initializer correctly for the following: 70char base_req[] = { "foo" }; 71unsigned char base_req_uchar[] = { "bar" }; 72 73namespace union_static_local { 74 // CHECK-LABEL: define internal void @_ZZN18union_static_local4testEvEN1c4mainEv 75 // CHECK: call void @_ZN18union_static_local1fEPNS_1xE(%"union.union_static_local::x"* bitcast ({ [2 x i8*] }* @_ZZN18union_static_local4testEvE3foo to %"union.union_static_local::x"*)) 76 union x { long double y; const char *x[2]; }; 77 void f(union x*); 78 void test() { 79 static union x foo = { .x = { "a", "b" } }; 80 struct c { 81 static void main() { 82 f(&foo); 83 } 84 }; 85 c::main(); 86 } 87} 88 89// rdar://problem/11091093 90// Static variables should be consistent across constructor 91// or destructor variants. 92namespace test2 { 93 struct A { 94 A(); 95 ~A(); 96 }; 97 98 struct B : virtual A { 99 B(); 100 ~B(); 101 }; 102 103 // If we ever implement this as a delegate ctor call, just change 104 // this to take variadic arguments or something. 105 extern int foo(); 106 B::B() { 107 static int x = foo(); 108 } 109 // CHECK-LABEL: define void @_ZN5test21BC2Ev 110 // CHECK: load atomic i8, i8* bitcast (i64* @_ZGVZN5test21BC1EvE1x to i8*) acquire, 111 // CHECK: call i32 @__cxa_guard_acquire(i64* @_ZGVZN5test21BC1EvE1x) 112 // CHECK: [[T0:%.*]] = call i32 @_ZN5test23fooEv() 113 // CHECK: store i32 [[T0]], i32* @_ZZN5test21BC1EvE1x, 114 // CHECK: call void @__cxa_guard_release(i64* @_ZGVZN5test21BC1EvE1x) 115 116 // CHECK-LABEL: define void @_ZN5test21BC1Ev 117 // CHECK: load atomic i8, i8* bitcast (i64* @_ZGVZN5test21BC1EvE1x to i8*) acquire, 118 // CHECK: call i32 @__cxa_guard_acquire(i64* @_ZGVZN5test21BC1EvE1x) 119 // CHECK: [[T0:%.*]] = call i32 @_ZN5test23fooEv() 120 // CHECK: store i32 [[T0]], i32* @_ZZN5test21BC1EvE1x, 121 // CHECK: call void @__cxa_guard_release(i64* @_ZGVZN5test21BC1EvE1x) 122 123 // This is just for completeness, because we actually emit this 124 // using a delegate dtor call. 125 B::~B() { 126 static int y = foo(); 127 } 128 // CHECK-LABEL: define void @_ZN5test21BD2Ev( 129 // CHECK: load atomic i8, i8* bitcast (i64* @_ZGVZN5test21BD1EvE1y to i8*) acquire, 130 // CHECK: call i32 @__cxa_guard_acquire(i64* @_ZGVZN5test21BD1EvE1y) 131 // CHECK: [[T0:%.*]] = call i32 @_ZN5test23fooEv() 132 // CHECK: store i32 [[T0]], i32* @_ZZN5test21BD1EvE1y, 133 // CHECK: call void @__cxa_guard_release(i64* @_ZGVZN5test21BD1EvE1y) 134 135 // CHECK-LABEL: define void @_ZN5test21BD1Ev( 136 // CHECK: call void @_ZN5test21BD2Ev( 137} 138 139// This shouldn't error out. 140namespace test3 { 141 struct A { 142 A(); 143 ~A(); 144 }; 145 146 struct B : virtual A { 147 B(); 148 ~B(); 149 }; 150 151 B::B() { 152 union U { char x; int i; }; 153 static U u = { 'a' }; 154 } 155 // CHECK-LABEL: define void @_ZN5test31BC2Ev( 156 // CHECK-LABEL: define void @_ZN5test31BC1Ev( 157} 158 159// We forgot to set the comdat when replacing the global with a different type. 160namespace test4 { 161struct HasVTable { 162 virtual void f(); 163}; 164inline HasVTable &useStaticLocal() { 165 static HasVTable obj; 166 return obj; 167} 168void useit() { 169 useStaticLocal(); 170} 171// CHECK: define linkonce_odr dereferenceable(8) %"struct.test4::HasVTable"* @_ZN5test414useStaticLocalEv() 172// CHECK: ret %"struct.test4::HasVTable"* @_ZZN5test414useStaticLocalEvE3obj 173} 174