From: Chris Lattner <sabre@nondot.org>
Date: Mon, 10 Mar 2003 23:13:32 +0000 (+0000)
Subject: Add test for demorgans law with constants
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=0cec701eb2b56b4784990d3d84eb75596af683ec;p=llvm

Add test for demorgans law with constants
Add test for other form of demorgans


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

diff --git a/test/Transforms/InstCombine/not.ll b/test/Transforms/InstCombine/not.ll
index 57560d61d6d..24d8f69a4b2 100644
--- a/test/Transforms/InstCombine/not.ll
+++ b/test/Transforms/InstCombine/not.ll
@@ -29,3 +29,20 @@ int %test3(int %A, int %B) {
 	%d = xor int %c, -1
 	ret int %d
 }
+
+; Test that demorgens law can work with constants
+int %test4(int %A, int %B) {
+	%a = xor int %A, -1
+	%c = and int %a, 5    ; 5 = ~c2
+	%d = xor int %c, -1
+	ret int %d
+}
+
+; test the mirror of demorgans law...
+int %test5(int %A, int %B) {
+	%a = xor int %A, -1
+	%b = xor int %B, -1
+	%c = or int %a, %b
+	%d = xor int %c, -1
+	ret int %d
+}