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