Test that demorgan's law is instcombined successfully
llvm-svn: 3494
diff --git a/llvm/test/Regression/Transforms/InstCombine/not.ll b/llvm/test/Regression/Transforms/InstCombine/not.ll
index 8bc8586..57560d6 100644
--- a/llvm/test/Regression/Transforms/InstCombine/not.ll
+++ b/llvm/test/Regression/Transforms/InstCombine/not.ll
@@ -19,3 +19,13 @@
%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
+}