From: Chris Lattner <sabre@nondot.org>
Date: Fri, 3 May 2002 19:58:17 +0000 (+0000)
Subject: Add new testcase for general constant prop.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b6df79a6b28dd051e84c2549b5d1735cb11b54c9;p=oota-llvm.git

Add new testcase for general constant prop.


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

diff --git a/test/Transforms/ConstProp/2002-05-03-NotOperator.ll b/test/Transforms/ConstProp/2002-05-03-NotOperator.ll
new file mode 100644
index 00000000000..fbb67e64687
--- /dev/null
+++ b/test/Transforms/ConstProp/2002-05-03-NotOperator.ll
@@ -0,0 +1,18 @@
+; This bug has to do with the fact that constant propogation was implemented in
+; terms of _logical_ not (! in C) instead of _bitwise_ not (~ in C).  This was
+; due to a spec change.
+
+; RUN: if as < %s | opt -constprop | dis | grep 'int 0'
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+int "test1"() {
+	%R = not int 123
+	ret int %R
+}
+
+int "test2"() {
+	%R = not int -123
+	ret int %R
+}