forked from OSchip/llvm-project
Add test for demorgans law with constants
Add test for other form of demorgans llvm-svn: 5737
This commit is contained in:
parent
bb74e2284a
commit
f7a838595c
|
@ -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
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue