global-init.cpp revision 6d311229f0b894f6a8acda2d78f06a4198b487b7 
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// It's okay if we ever implement the IR-generation optimization to remove this.
18// CHECK: @_ZN5test3L3varE = internal constant i8* getelementptr inbounds ([7 x i8]*
19
20// CHECK: call void @_ZN1AC1Ev(%struct.A* @a)
21// 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*))
22A a;
23
24// CHECK: call void @_ZN1BC1Ev(%struct.A* @b)
25// 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*))
26B b;
27
28// PR6205: this should not require a global initializer
29// CHECK-NOT: call void @_ZN1CC1Ev(%struct.C* @c)
30C c;
31
32// 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*))
33D d;
34
35// <rdar://problem/7458115>
36namespace test1 {
37  int f();
38  const int x = f();   // This has side-effects and gets emitted immediately.
39  const int y = x - 1; // This gets deferred.
40  const int z = ~y;    // This also gets deferred, but gets "undeferred" before y.
41  int test() { return z; }
42// CHECK:      define i32 @_ZN5test14testEv()
43
44  // All of these initializers end up delayed, so we check them later.
45}
46
47// <rdar://problem/8246444>
48namespace test2 {
49  struct allocator { allocator(); ~allocator(); };
50  struct A { A(const allocator &a = allocator()); ~A(); };
51
52  A a;
53// CHECK: call void @_ZN5test29allocatorC1Ev(
54// CHECK: invoke void @_ZN5test21AC1ERKNS_9allocatorE(
55// CHECK: call void @_ZN5test29allocatorD1Ev(
56// CHECK: call i32 @__cxa_atexit({{.*}} @_ZN5test21AD1Ev {{.*}} @_ZN5test21aE
57}
58
59namespace test3 {
60  // Tested at the beginning of the file.
61  const char * const var = "string";
62  extern const char * const var;
63
64  const char *test() { return var; }
65}
66
67// CHECK:      define internal void [[TEST1_Z_INIT:@.*]]()
68// CHECK:        load i32* @_ZN5test1L1yE
69// CHECK-NEXT:   xor
70// CHECK-NEXT:   store i32 {{.*}}, i32* @_ZN5test1L1zE
71// CHECK:      define internal void [[TEST1_Y_INIT:@.*]]()
72// CHECK:        load i32* @_ZN5test1L1xE
73// CHECK-NEXT:   sub
74// CHECK-NEXT:   store i32 {{.*}}, i32* @_ZN5test1L1yE
75
76// At the end of the file, we check that y is initialized before z.
77
78// CHECK: define internal void @_GLOBAL__I_a() section "__TEXT,__StaticInit,regular,pure_instructions" {
79// CHECK:   call void [[TEST1_Y_INIT]]
80// CHECK:   call void [[TEST1_Z_INIT]]
81
82// rdar://problem/8090834: this should be nounwind
83// CHECK-NOEXC: define internal void @_GLOBAL__I_a() nounwind section "__TEXT,__StaticInit,regular,pure_instructions" {
84