diff options
| -rw-r--r-- | test/Transforms/InstCombine/not.ll | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/not.ll b/test/Transforms/InstCombine/not.ll index 8bc8586649..57560d61d6 100644 --- a/test/Transforms/InstCombine/not.ll +++ b/test/Transforms/InstCombine/not.ll @@ -19,3 +19,13 @@ bool %test2(int %A, int %B) { %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 +} |