1 ; RUN: opt -S -O2 < %s | FileCheck %s 2 3 ; This test checks that -O2 is able to delete constructors that become empty 4 ; only after some optimization passes have run, even if the pass structure 5 ; changes. 6 ; CHECK-NOT: @_GLOBAL__I_a 7 8 %class.Foo = type { i32 } 9 10 @foo = global %class.Foo zeroinitializer, align 4 11 @_ZN3Bar18LINKER_INITIALIZEDE = external constant i32 12 @llvm.global_ctors = appending global [1 x { i32, void ()* }] [{ i32, void ()* } { i32 65535, void ()* @_GLOBAL__I_a }] 13 14 define internal void @__cxx_global_var_init() section "__TEXT,__StaticInit,regular,pure_instructions" { 15 %1 = load i32, i32* @_ZN3Bar18LINKER_INITIALIZEDE, align 4 16 call void @_ZN3FooC1E17LinkerInitialized(%class.Foo* @foo, i32 %1) 17 ret void 18 } 19 20 ; Function Attrs: ssp uwtable 21 define linkonce_odr void @_ZN3FooC1E17LinkerInitialized(%class.Foo* %this, i32) unnamed_addr #0 align 2 { 22 %2 = alloca %class.Foo*, align 8 23 %3 = alloca i32, align 4 24 store %class.Foo* %this, %class.Foo** %2, align 8 25 store i32 %0, i32* %3, align 4 26 %4 = load %class.Foo*, %class.Foo** %2 27 %5 = load i32, i32* %3, align 4 28 call void @_ZN3FooC2E17LinkerInitialized(%class.Foo* %4, i32 %5) 29 ret void 30 } 31 32 ; Function Attrs: nounwind ssp uwtable 33 define linkonce_odr void @_ZN3FooC2E17LinkerInitialized(%class.Foo* %this, i32) unnamed_addr #1 align 2 { 34 %2 = alloca %class.Foo*, align 8 35 %3 = alloca i32, align 4 36 store %class.Foo* %this, %class.Foo** %2, align 8 37 store i32 %0, i32* %3, align 4 38 %4 = load %class.Foo*, %class.Foo** %2 39 ret void 40 } 41 42 define internal void @_GLOBAL__I_a() section "__TEXT,__StaticInit,regular,pure_instructions" { 43 call void @__cxx_global_var_init() 44 ret void 45 } 46
