global-init.cpp revision 39dad53772c42eb36ebec1c81c56ba99d038fb94 
1// RUN: %clang_cc1 -triple=x86_64-apple-darwin10 -emit-llvm -fexceptions %s -o - |FileCheck %s
2// RUN: %clang_cc1 -triple=x86_64-apple-darwin10 -emit-llvm %s -o - |FileCheck -check-prefix NOEXC %s
3
4struct A {
5  A();
6  ~A();
7};
8
9struct B { B(); ~B(); };
10
11struct C { void *field; };
12
13struct D { ~D(); };
14
15// CHECK: @c = global %struct.C zeroinitializer, align 8
16
17// CHECK: call void @_ZN1AC1Ev(%struct.A* @a)
18// CHECK: call i32 @__cxa_atexit(void (i8*)* bitcast (void (%struct.A*)* @_ZN1AD1Ev to void (i8*)*), i8* getelementptr inbounds (%struct.A* @a, i32 0, i32 0), i8* bitcast (i8** @__dso_handle to i8*))
19A a;
20
21// CHECK: call void @_ZN1BC1Ev(%struct.A* @b)
22// CHECK: call i32 @__cxa_atexit(void (i8*)* bitcast (void (%struct.A*)* @_ZN1BD1Ev to void (i8*)*), i8* getelementptr inbounds (%struct.A* @b, i32 0, i32 0), i8* bitcast (i8** @__dso_handle to i8*))
23B b;
24
25// PR6205: this should not require a global initializer
26// CHECK-NOT: call void @_ZN1CC1Ev(%struct.C* @c)
27C c;
28
29// CHECK: call i32 @__cxa_atexit(void (i8*)* bitcast (void (%struct.A*)* @_ZN1DD1Ev to void (i8*)*), i8* getelementptr inbounds (%struct.A* @d, i32 0, i32 0), i8* bitcast (i8** @__dso_handle to i8*))
30D d;
31
32// <rdar://problem/7458115>
33namespace test1 {
34  int f();
35  const int x = f();   // This has side-effects and gets emitted immediately.
36  const int y = x - 1; // This gets deferred.
37  const int z = ~y;    // This also gets deferred, but gets "undeferred" before y.
38  int test() { return z; }
39// CHECK:      define i32 @_ZN5test14testEv()
40
41  // All of these initializers end up delayed, so we check them later.
42}
43
44// <rdar://problem/8246444>
45namespace test2 {
46  struct allocator { allocator(); ~allocator(); };
47  struct A { A(const allocator &a = allocator()); ~A(); };
48
49  A a;
50// CHECK: call void @_ZN5test29allocatorC1Ev(
51// CHECK: invoke void @_ZN5test21AC1ERKNS_9allocatorE(
52// CHECK: call void @_ZN5test29allocatorD1Ev(
53// CHECK: call i32 @__cxa_atexit({{.*}} @_ZN5test21AD1Ev {{.*}} @_ZN5test21aE
54}
55
56// CHECK:      define internal void [[TEST1_Z_INIT:@.*]]()
57// CHECK:        load i32* @_ZN5test1L1yE
58// CHECK-NEXT:   xor
59// CHECK-NEXT:   store i32 {{.*}}, i32* @_ZN5test1L1zE
60// CHECK:      define internal void [[TEST1_Y_INIT:@.*]]()
61// CHECK:        load i32* @_ZN5test1L1xE
62// CHECK-NEXT:   sub
63// CHECK-NEXT:   store i32 {{.*}}, i32* @_ZN5test1L1yE
64
65// At the end of the file, we check that y is initialized before z.
66
67// CHECK: define internal void @_GLOBAL__I_a() section "__TEXT,__StaticInit,regular,pure_instructions" {
68// CHECK:   call void [[TEST1_Y_INIT]]
69// CHECK:   call void [[TEST1_Z_INIT]]
70
71// rdar://problem/8090834: this should be nounwind
72// CHECK-NOEXC: define internal void @_GLOBAL__I_a() nounwind section "__TEXT,__StaticInit,regular,pure_instructions" {
73