From: Chris Lattner <sabre@nondot.org>
Date: Fri, 1 Dec 2006 19:50:04 +0000 (+0000)
Subject: test1 is miscompiled
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=63edf03fe51f8fe24230dd5891e4b8f252378a3d;p=oota-llvm.git

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
index 00000000000..94dc5c6262f
--- /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
+}
+