blob: 7c6ae78d1bc038e828ae5c92d212766cc2dfaddf [file] [log] [blame]
Anders Carlssonee6bc702011-03-20 17:59:11 +00001; RUN: opt < %s -globalopt -S | FileCheck %s
2
3%0 = type { i32, void ()* }
4%struct.A = type { i8 }
Benjamin Kramer487a3962012-02-09 14:26:06 +00005%struct.B = type { }
Anders Carlssonee6bc702011-03-20 17:59:11 +00006
7@a = global %struct.A zeroinitializer, align 1
8@__dso_handle = external global i8*
9@llvm.global_ctors = appending global [1 x %0] [%0 { i32 65535, void ()* @_GLOBAL__I_a }]
10
11; CHECK-NOT: call i32 @__cxa_atexit
12
13define internal void @__cxx_global_var_init() nounwind section "__TEXT,__StaticInit,regular,pure_instructions" {
14 %1 = 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*))
15 ret void
16}
17
18define linkonce_odr void @_ZN1AD1Ev(%struct.A* %this) nounwind align 2 {
Benjamin Kramer487a3962012-02-09 14:26:06 +000019 %t = bitcast %struct.A* %this to %struct.B*
20 call void @_ZN1BD1Ev(%struct.B* %t)
Anders Carlssonee6bc702011-03-20 17:59:11 +000021 ret void
22}
23
24declare i32 @__cxa_atexit(void (i8*)*, i8*, i8*)
25
Benjamin Kramer487a3962012-02-09 14:26:06 +000026define linkonce_odr void @_ZN1BD1Ev(%struct.B* %this) nounwind align 2 {
Anders Carlssonee6bc702011-03-20 17:59:11 +000027 ret void
28}
29
30define internal void @_GLOBAL__I_a() nounwind section "__TEXT,__StaticInit,regular,pure_instructions" {
31 call void @__cxx_global_var_init()
32 ret void
33}