Add testcase for not expressions

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

diff --git a/test/Transforms/ConstProp/nottest.ll b/test/Transforms/ConstProp/nottest.ll
new file mode 100644 (file)
index 0000000..d5df709
--- /dev/null
+++ b/test/Transforms/ConstProp/nottest.ll
@@ -0,0 +1,22 @@
+; Ensure constant propogation of 'not' instructions is working correctly.
+
+; RUN: if as < %s | opt -constprop | dis | grep not
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+int "test1"() {
+       %R = not int 4
+       ret int %R
+}
+
+int "test2"() {
+       %R = not int -23
+       ret int %R
+}
+
+bool "test3"() {
+       %R = not bool true
+       ret bool %R
+}
+