diff options
| author | Craig Topper <craig.topper@gmail.com> | 2017-04-25 06:47:49 +0000 |
|---|---|---|
| committer | Craig Topper <craig.topper@gmail.com> | 2017-04-25 06:47:49 +0000 |
| commit | d5775617c8c2a1f393a7edd339f63fc3c4c7c0a4 (patch) | |
| tree | 18b963d27a2a61ef95ab79d9dfa792a152917018 | |
| parent | e4d7ac4cb1bbf8281433a15509c0fe284cf64ad5 (diff) | |
| download | bcm5719-llvm-d5775617c8c2a1f393a7edd339f63fc3c4c7c0a4.tar.gz bcm5719-llvm-d5775617c8c2a1f393a7edd339f63fc3c4c7c0a4.zip | |
[InstCombine] Add test cases for missing commute handling in ((A ^ C) ^ B) & (B ^ A) -> (B ^ A) & ~C
llvm-svn: 301297
| -rw-r--r-- | llvm/test/Transforms/InstCombine/xor2.ll | 75 |
1 files changed, 75 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/xor2.ll b/llvm/test/Transforms/InstCombine/xor2.ll index 79e62723f14..f817ac5ca40 100644 --- a/llvm/test/Transforms/InstCombine/xor2.ll +++ b/llvm/test/Transforms/InstCombine/xor2.ll @@ -191,6 +191,81 @@ define i32 @test11(i32 %A, i32 %B) { ret i32 %and } +define i32 @test11b(i32 %A, i32 %B) { +; CHECK-LABEL: @test11b( +; CHECK-NEXT: ret i32 0 +; + %xor1 = xor i32 %B, %A + %not = xor i32 %A, -1 + %xor2 = xor i32 %not, %B + %and = and i32 %xor2, %xor1 + ret i32 %and +} + +define i32 @test11c(i32 %A, i32 %B) { +; CHECK-LABEL: @test11c( +; CHECK-NEXT: [[XOR1:%.*]] = xor i32 [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[NOT:%.*]] = xor i32 [[A]], -1 +; CHECK-NEXT: [[XOR2:%.*]] = xor i32 [[NOT]], [[B]] +; CHECK-NEXT: [[AND:%.*]] = and i32 [[XOR1]], [[XOR2]] +; CHECK-NEXT: ret i32 [[AND]] +; + %xor1 = xor i32 %A, %B + %not = xor i32 %A, -1 + %xor2 = xor i32 %not, %B + %and = and i32 %xor1, %xor2 + ret i32 %and +} + +define i32 @test11d(i32 %A, i32 %B) { +; CHECK-LABEL: @test11d( +; CHECK-NEXT: [[XOR1:%.*]] = xor i32 [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[NOT:%.*]] = xor i32 [[A]], -1 +; CHECK-NEXT: [[XOR2:%.*]] = xor i32 [[NOT]], [[B]] +; CHECK-NEXT: [[AND:%.*]] = and i32 [[XOR2]], [[XOR1]] +; CHECK-NEXT: ret i32 [[AND]] +; + %xor1 = xor i32 %A, %B + %not = xor i32 %A, -1 + %xor2 = xor i32 %not, %B + %and = and i32 %xor2, %xor1 + ret i32 %and +} + +define i32 @test11e(i32 %A, i32 %B, i32 %C) { +; CHECK-LABEL: @test11e( +; CHECK-NEXT: [[FORCE:%.*]] = mul i32 [[B:%.*]], [[C:%.*]] +; CHECK-NEXT: [[XOR1:%.*]] = xor i32 [[FORCE]], [[A:%.*]] +; CHECK-NEXT: [[NOT:%.*]] = xor i32 [[A]], -1 +; CHECK-NEXT: [[XOR2:%.*]] = xor i32 [[FORCE]], [[NOT]] +; CHECK-NEXT: [[AND:%.*]] = and i32 [[XOR1]], [[XOR2]] +; CHECK-NEXT: ret i32 [[AND]] +; + %force = mul i32 %B, %C + %xor1 = xor i32 %force, %A + %not = xor i32 %A, -1 + %xor2 = xor i32 %force, %not + %and = and i32 %xor1, %xor2 + ret i32 %and +} + +define i32 @test11f(i32 %A, i32 %B, i32 %C) { +; CHECK-LABEL: @test11f( +; CHECK-NEXT: [[FORCE:%.*]] = mul i32 [[B:%.*]], [[C:%.*]] +; CHECK-NEXT: [[XOR1:%.*]] = xor i32 [[FORCE]], [[A:%.*]] +; CHECK-NEXT: [[NOT:%.*]] = xor i32 [[A]], -1 +; CHECK-NEXT: [[XOR2:%.*]] = xor i32 [[FORCE]], [[NOT]] +; CHECK-NEXT: [[AND:%.*]] = and i32 [[XOR2]], [[XOR1]] +; CHECK-NEXT: ret i32 [[AND]] +; + %force = mul i32 %B, %C + %xor1 = xor i32 %force, %A + %not = xor i32 %A, -1 + %xor2 = xor i32 %force, %not + %and = and i32 %xor2, %xor1 + ret i32 %and +} + define i32 @test12(i32 %a, i32 %b) { ; CHECK-LABEL: @test12( ; CHECK-NEXT: [[TMP1:%.*]] = and i32 %a, %b |
