From: Chris Lattner <sabre@nondot.org>
Date: Tue, 30 Jul 2002 16:18:38 +0000 (+0000)
Subject: Test that logical operators are correctly constant propogated!
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=72de9ae46b68a3907f8721fbea24a4832eaea9ae;p=oota-llvm.git

Test that logical operators are correctly constant propogated!


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

diff --git a/test/Transforms/ConstProp/logicaltest.ll b/test/Transforms/ConstProp/logicaltest.ll
new file mode 100644
index 00000000000..f5af80eb0fc
--- /dev/null
+++ b/test/Transforms/ConstProp/logicaltest.ll
@@ -0,0 +1,16 @@
+; Ensure constant propogation of logical instructions is working correctly.
+
+; RUN: if as < %s | opt -constprop -die | dis | ggrep -E 'and|or|xor'
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+
+int  "test1"() { %R = and int 4,1234          ret int  %R }
+bool "test1"() { %R = and bool true, false    ret bool %R }
+
+int  "test2"() { %R = or int 4,1234          ret int  %R }
+bool "test2"() { %R = or bool true, false    ret bool %R }
+
+int  "test3"() { %R = xor int 4,1234          ret int  %R }
+bool "test3"() { %R = xor bool true, false    ret bool %R }