1; RUN: opt < %s -globalopt -S | FileCheck %s
2
3; CHECK-NOT: test
4
5declare void @aa()
6declare void @bb()
7
8; Test that we can erase a function which has a blockaddress referring to it
9@test.x = internal unnamed_addr constant [3 x i8*] [i8* blockaddress(@test, %a), i8* blockaddress(@test, %b), i8* blockaddress(@test, %c)], align 16
10define internal void @test(i32 %n) nounwind noinline {
11entry:
12  %idxprom = sext i32 %n to i64
13  %arrayidx = getelementptr inbounds [3 x i8*]* @test.x, i64 0, i64 %idxprom
14  %0 = load i8** %arrayidx, align 8
15  indirectbr i8* %0, [label %a, label %b, label %c]
16
17a:
18  tail call void @aa() nounwind
19  br label %b
20
21b:
22  tail call void @bb() nounwind
23  br label %c
24
25c:
26  ret void
27}
28