1; RUN: opt -hotcoldsplit -pass-remarks=hotcoldsplit -S < %s 2>&1 | FileCheck %s
2; RUN: opt -passes=hotcoldsplit -pass-remarks=hotcoldsplit -S < %s 2>&1 | FileCheck %s
3
4; Make sure this compiles. This test used to fail with an invalid phi node: the
5; two predecessors were outlined and the SSA representation was invalid.
6
7; CHECK: remark: <unknown>:0:0: fun split cold code into fun_if.else
8; CHECK-LABEL: @fun
9; CHECK: codeRepl:
10; CHECK-NEXT: call void @fun_if.else
11
12define void @fun() {
13entry:
14  br i1 undef, label %if.then, label %if.else
15
16if.then:
17  ret void
18
19if.else:
20  br label %if.then4
21
22if.then4:
23  br i1 undef, label %if.then5, label %if.end
24
25if.then5:
26  br label %cleanup
27
28if.end:
29  br label %cleanup
30
31cleanup:
32  %cleanup.dest.slot.0 = phi i32 [ 1, %if.then5 ], [ 0, %if.end ]
33  unreachable
34}
35