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 57560d61d6d5bfee73ffba229ce06feae9e5839d..24d8f69a4b2dbb476987bec9471a2a66dc1aaf89 100644 (file)
--- 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
+}