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
This commit is contained in:
Chris Lattner 2003-03-10 23:13:32 +00:00
parent 8d96964e29
commit 0cec701eb2

View File

@ -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
}