Bump version to 19.1.0-rc3
[llvm-project.git] / llvm / test / Transforms / HotColdSplit / outline-disjoint-diamonds.ll
blob55013aa96551d0d1c8761f1b13e5b43eca193886
1 ; RUN: opt -S -passes=hotcoldsplit -hotcoldsplit-threshold=-1 < %s 2>&1 | FileCheck %s
3 ; CHECK-LABEL: define {{.*}}@fun
4 ; CHECK: call {{.*}}@fun.cold.1(
5 ; CHECK-NEXT: unreachable
6 ; CHECK: call {{.*}}@fun.cold.2(
7 ; CHECK-NEXT: unreachable
8 define void @fun() {
9 entry:
10   br i1 undef, label %A.then, label %A.else
12 A.else:
13   br label %A.then4
15 A.then4:
16   br i1 undef, label %A.then5, label %A.end
18 A.then5:
19   br label %A.cleanup
21 A.end:
22   br label %A.cleanup
24 A.cleanup:
25   %A.cleanup.dest.slot.0 = phi i32 [ 1, %A.then5 ], [ 0, %A.end ]
26   unreachable
28 A.then:
29   br i1 undef, label %B.then, label %B.else
31 B.then:
32   ret void
34 B.else:
35   br label %B.then4
37 B.then4:
38   br i1 undef, label %B.then5, label %B.end
40 B.then5:
41   br label %B.cleanup
43 B.end:
44   br label %B.cleanup
46 B.cleanup:
47   %B.cleanup.dest.slot.0 = phi i32 [ 1, %B.then5 ], [ 0, %B.end ]
48   unreachable
51 ; CHECK-LABEL: define {{.*}}@fun.cold.1(
52 ; CHECK: %A.cleanup.dest.slot.0 = phi i32 [ 1, %A.then5 ], [ 0, %A.end ]
53 ; CHECK-NEXT: unreachable
55 ; CHECK-LABEL: define {{.*}}@fun.cold.2(
56 ; CHECK: %B.cleanup.dest.slot.0 = phi i32 [ 1, %B.then5 ], [ 0, %B.end ]
57 ; CHECK-NEXT: unreachable