test1 is miscompiled

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32086 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/ConstProp/2006-12-01-bool-casts.ll b/test/Transforms/ConstProp/2006-12-01-bool-casts.ll
new file mode 100644 (file)
index 0000000..94dc5c6
--- /dev/null
+++ b/test/Transforms/ConstProp/2006-12-01-bool-casts.ll
@@ -0,0 +1,13 @@
+; RUN: llvm-as < %s | opt -constprop | llvm-dis | grep 'ret int -1' &&
+; RUN: llvm-as < %s | opt -constprop | llvm-dis | grep 'ret uint 1'
+
+int %test1() {
+  %A = sext bool true to int
+  ret int %A
+}
+
+uint %test2() {
+  %A = zext bool true to uint
+  ret uint %A
+}
+