xref: /llvm-project/llvm/test/Transforms/CodeExtractor/unreachable-block.ll (revision 0ca8ddd84d416b2b2b831fbc75ac8dbb77a12928)
1; RUN: opt -S -passes=partial-inliner %s | FileCheck %s
2
3; CHECK-LABEL: define void @dipsy(
4; CHECK-NEXT:   call void @tinkywinky.1.ontrue()
5; CHECK-NEXT:   call void @patatuccio()
6; CHECK-NEXT:   ret void
7; CHECK-NEXT: }
8
9; CHECK-LABEL: define internal void @tinkywinky.1.ontrue() {
10; CHECK-NEXT: newFuncRoot:
11; CHECK-NEXT:   br label %ontrue
12; CHECK: ontrue:
13; CHECK-NEXT:   call void @patatino()
14; CHECK-NEXT:   br label %onfalse{{.*}}
15; CHECK: onfalse{{.*}}:
16; CHECK-NEXT:   ret void
17; CHECK-NEXT: }
18
19declare void @patatino()
20declare void @patatuccio()
21
22define fastcc void @tinkywinky() {
23  br i1 true, label %ontrue, label %onfalse
24ontrue:
25  call void @patatino()
26  br label %onfalse
27onfalse:
28  call void @patatuccio()
29  ret void
30cantreachme:
31  ret void
32}
33define void @dipsy() {
34  call fastcc void @tinkywinky()
35  ret void
36}
37