[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / Inline / pr33637.ll
blob315feca27bd900b542f189f87c2f43163cff18d7
1 ; RUN: opt -inline < %s
3 define void @patatino() {
4 for.cond:
5   br label %for.body
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
12 cleanup1.thread:
13   ret void
15 cleanup1:
16   %cleanup.dest2 = phi i32 [ %sel, %for.body ]
17   %switch = icmp ult i32 %cleanup.dest2, 1
18   ret void
21 define void @main() {
22 entry:
23   call void @patatino()
24   ret void