[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / GlobalOpt / cxx-dtor.ll
blob50d9ff77b5459395c4835b1a993237cc81d7ec95
1 ; RUN: opt < %s -S -passes='cgscc(inline),function(early-cse),globalopt' | FileCheck %s
3 %0 = type { i32, void ()*, i8* }
4 %struct.A = type { i8 }
5 %struct.B = type { }
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, i8* null }]
11 ; CHECK-NOT: call i32 @__cxa_atexit
13 define 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, %struct.A* @a, i32 0, i32 0), i8* bitcast (i8** @__dso_handle to i8*))
15   ret void
18 define linkonce_odr void @_ZN1AD1Ev(%struct.A* %this) nounwind align 2 {
19   %t = bitcast %struct.A* %this to %struct.B*
20   call void @_ZN1BD1Ev(%struct.B* %t)
21   ret void
24 declare i32 @__cxa_atexit(void (i8*)*, i8*, i8*)
26 define linkonce_odr void @_ZN1BD1Ev(%struct.B* %this) nounwind align 2 {
27   ret void
30 define internal void @_GLOBAL__I_a() nounwind section "__TEXT,__StaticInit,regular,pure_instructions" {
31   call void @__cxx_global_var_init()
32   ret void