diff options
Diffstat (limited to 'llvm/test/Regression/Transforms/InstCombine/not.ll')
| -rw-r--r-- | llvm/test/Regression/Transforms/InstCombine/not.ll | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/llvm/test/Regression/Transforms/InstCombine/not.ll b/llvm/test/Regression/Transforms/InstCombine/not.ll deleted file mode 100644 index 3e85692500e..00000000000 --- a/llvm/test/Regression/Transforms/InstCombine/not.ll +++ /dev/null @@ -1,45 +0,0 @@ -; This test makes sure that these instructions are properly eliminated. -; - -; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | not grep xor - -implementation - -int %test1(int %A) { - %B = xor int %A, -1 - %C = xor int %B, -1 - ret int %C -} - -bool %test2(int %A, int %B) { - %cond = setle int %A, %B ; Can change into setge - %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 -} - -; 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 -} |

