[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / 2009-04-27-LiveIntervalsAssert2.ll
blobf02565403e8791e6c8b26aff0e19ec0532c7b969
1 ; RUN: llc < %s -mtriple=i386-apple-darwin9
2 ; PR4051
4 define void @int163(i32 %p_4, i32 %p_5) nounwind {
5 entry:
6         %0 = tail call i32 @foo(i32 1) nounwind         ; <i32> [#uses=2]
7         %1 = icmp eq i32 %0, 0          ; <i1> [#uses=1]
8         br i1 %1, label %bb.i, label %bar.exit
10 bb.i:           ; preds = %entry
11         %2 = lshr i32 1, %0             ; <i32> [#uses=1]
12         %3 = icmp eq i32 %2, 0          ; <i1> [#uses=1]
13         %retval.i = select i1 %3, i32 1, i32 %p_5               ; <i32> [#uses=1]
14         br label %bar.exit
16 bar.exit:               ; preds = %bb.i, %entry
17         %4 = phi i32 [ %retval.i, %bb.i ], [ %p_5, %entry ]             ; <i32> [#uses=1]
18         %5 = icmp eq i32 %4, 0          ; <i1> [#uses=0]
19         %6 = tail call i32 @foo(i32 %p_5) nounwind              ; <i32> [#uses=0]
20         ret void
23 declare i32 @foo(i32)