[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / 2008-06-13-InfiniteLoopStore.ll
blobcc469262d53acbfe8a52a70e67c05c4760aa8525
1 ; RUN: opt < %s -instcombine -S | grep "store i32" | count 2
3 @g_139 = global i32 0           ; <i32*> [#uses=2]
5 define void @func_56(i32 %p_60) nounwind  {
6 entry:
7         store i32 1, i32* @g_139, align 4
8         %tmp1 = icmp ne i32 %p_60, 0            ; <i1> [#uses=1]
9         %tmp12 = zext i1 %tmp1 to i8            ; <i8> [#uses=1]
10         %toBool = icmp ne i8 %tmp12, 0          ; <i1> [#uses=1]
11         br i1 %toBool, label %bb, label %return
13 bb:             ; preds = %bb, %entry
14         store i32 1, i32* @g_139, align 4
15         br label %bb
17 return:         ; preds = %entry
18         ret void