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