| ; RUN: llvm-upgrade < %s | llvm-as | opt -constprop | llvm-dis | \ | |
| ; RUN: grep {ret i32 -1} | |
| ; RUN: llvm-upgrade < %s | llvm-as | opt -constprop | llvm-dis | \ | |
| ; RUN: grep {ret i32 1} | |
| int %test1() { | |
| %A = sext bool true to int | |
| ret int %A | |
| } | |
| uint %test2() { | |
| %A = zext bool true to uint | |
| ret uint %A | |
| } | |