1; RUN: opt -inline < %s
2
3define void @patatino() {
4for.cond:
5  br label %for.body
6
7for.body:
8  %tobool = icmp eq i32 5, 0
9  %sel = select i1 %tobool, i32 0, i32 2
10  br i1 undef, label %cleanup1.thread, label %cleanup1
11
12cleanup1.thread:
13  ret void
14
15cleanup1:
16  %cleanup.dest2 = phi i32 [ %sel, %for.body ]
17  %switch = icmp ult i32 %cleanup.dest2, 1
18  ret void
19}
20
21define void @main() {
22entry:
23  call void @patatino()
24  ret void
25}
26