[InstCombine] Signed saturation patterns

[llvm-complete.git] / test / Transforms / ConstProp / 2006-12-01-bool-casts.ll

; RUN: opt < %s -constprop -S | \
; RUN:    grep "ret i32 -1"
; RUN: opt < %s -constprop -S | \
; RUN:    grep "ret i32 1"

define i32 @test1() {
        %A = sext i1 true to i32                ; <i32> [#uses=1]
        ret i32 %A
}

define i32 @test2() {
        %A = zext i1 true to i32                ; <i32> [#uses=1]
        ret i32 %A
}