[InstCombine] Signed saturation patterns

[llvm-core.git] / test / Transforms / InstCombine / 2007-03-25-DoubleShift.ll

; PR1271
; RUN: opt < %s -instcombine -S | grep and
define i1 @test(i32 %tmp13) {
entry:
        %tmp14 = shl i32 %tmp13, 12             ; <i32> [#uses=1]
        %tmp15 = lshr i32 %tmp14, 12            ; <i32> [#uses=1]
        %res = icmp ne i32 %tmp15, 0            ; <i1>:3 [#uses=1]
        ret i1 %res
}