| ; 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 | |
| } | |