From: Chris Lattner <sabre@nondot.org>
Date: Fri, 23 Aug 2002 18:31:18 +0000 (+0000)
Subject: Test that demorgan's law is instcombined successfully
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=31901f80f83de51de851335dda3a5a152d0ddf9d;p=oota-llvm.git

Test that demorgan's law is instcombined successfully


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

diff --git a/test/Transforms/InstCombine/not.ll b/test/Transforms/InstCombine/not.ll
index 8bc85866499..57560d61d6d 100644
--- a/test/Transforms/InstCombine/not.ll
+++ b/test/Transforms/InstCombine/not.ll
@@ -19,3 +19,13 @@ bool %test2(int %A, int %B) {
 	%Ret = xor bool %cond, true
 	ret bool %Ret
 }
+
+
+; Test that demorgans law can be instcombined
+int %test3(int %A, int %B) {
+	%a = xor int %A, -1
+	%b = xor int %B, -1
+	%c = and int %a, %b
+	%d = xor int %c, -1
+	ret int %d
+}