xref: /llvm-project/llvm/test/Transforms/GlobalDCE/global_ctors_integration.ll (revision 8570893cfde8a82c723eaa4608c1e2ebe764a285)
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, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @_GLOBAL__I_a, ptr null }]
13
14define internal void @__cxx_global_var_init() section "__TEXT,__StaticInit,regular,pure_instructions" {
15  %1 = load i32, ptr @_ZN3Bar18LINKER_INITIALIZEDE, align 4
16  call void @_ZN3FooC1E17LinkerInitialized(ptr @foo, i32 %1)
17  ret void
18}
19
20; Function Attrs: ssp uwtable
21define linkonce_odr void @_ZN3FooC1E17LinkerInitialized(ptr %this, i32) unnamed_addr #0 align 2 {
22  %2 = alloca ptr, align 8
23  %3 = alloca i32, align 4
24  store ptr %this, ptr %2, align 8
25  store i32 %0, ptr %3, align 4
26  %4 = load ptr, ptr %2
27  %5 = load i32, ptr %3, align 4
28  call void @_ZN3FooC2E17LinkerInitialized(ptr %4, i32 %5)
29  ret void
30}
31
32; Function Attrs: nounwind ssp uwtable
33define linkonce_odr void @_ZN3FooC2E17LinkerInitialized(ptr %this, i32) unnamed_addr #1 align 2 {
34  %2 = alloca ptr, align 8
35  %3 = alloca i32, align 4
36  store ptr %this, ptr %2, align 8
37  store i32 %0, ptr %3, align 4
38  %4 = load ptr, ptr %2
39  ret void
40}
41
42define internal void @_GLOBAL__I_a() section "__TEXT,__StaticInit,regular,pure_instructions" {
43  call void @__cxx_global_var_init()
44  ret void
45}
46