test/Transforms/GlobalDCE/global_ctors_integration.ll

   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 }