; RUN: llvm-as < %s | opt -constprop | llvm-dis | \
; RUN:    grep {ret i32 -1}
; RUN: llvm-as < %s | opt -constprop | llvm-dis | \
; 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
}