diff options
| author | Chris Lattner <sabre@nondot.org> | 2003-03-10 23:13:32 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2003-03-10 23:13:32 +0000 |
| commit | 0cec701eb2b56b4784990d3d84eb75596af683ec (patch) | |
| tree | ddda6716a7c0c0f64962e073c3bca5e04a1d0d81 /test/Transforms/InstCombine/not.ll | |
| parent | 8d96964e29e737b597e31af04db14570b87c6346 (diff) | |
| download | llvm-0cec701eb2b56b4784990d3d84eb75596af683ec.tar.gz llvm-0cec701eb2b56b4784990d3d84eb75596af683ec.tar.bz2 llvm-0cec701eb2b56b4784990d3d84eb75596af683ec.tar.xz | |
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
Diffstat (limited to 'test/Transforms/InstCombine/not.ll')
| -rw-r--r-- | test/Transforms/InstCombine/not.ll | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/not.ll b/test/Transforms/InstCombine/not.ll index 57560d61d6..24d8f69a4b 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 +} |