[llvm] r339796 - [InstCombine] Fix IC trying to create a xor of pointer types.
Amara Emerson via llvm-commits
llvm-commits at lists.llvm.org
Wed Aug 15 10:46:22 PDT 2018
Author: aemerson
Date: Wed Aug 15 10:46:22 2018
New Revision: 339796
URL: http://llvm.org/viewvc/llvm-project?rev=339796&view=rev
Log:
[InstCombine] Fix IC trying to create a xor of pointer types.
rdar://42473741
Differential Revision: https://reviews.llvm.org/D50775
Modified:
llvm/trunk/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
llvm/trunk/test/Transforms/InstCombine/xor-icmps.ll
Modified: llvm/trunk/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp?rev=339796&r1=339795&r2=339796&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp (original)
+++ llvm/trunk/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp Wed Aug 15 10:46:22 2018
@@ -2487,7 +2487,8 @@ Value *InstCombiner::foldXorOfICmps(ICmp
Value *LHS0 = LHS->getOperand(0), *LHS1 = LHS->getOperand(1);
Value *RHS0 = RHS->getOperand(0), *RHS1 = RHS->getOperand(1);
if ((LHS->hasOneUse() || RHS->hasOneUse()) &&
- LHS0->getType() == RHS0->getType()) {
+ LHS0->getType() == RHS0->getType() &&
+ LHS0->getType()->isIntOrIntVectorTy()) {
// (X > -1) ^ (Y > -1) --> (X ^ Y) < 0
// (X < 0) ^ (Y < 0) --> (X ^ Y) < 0
if ((PredL == CmpInst::ICMP_SGT && match(LHS1, m_AllOnes()) &&
Modified: llvm/trunk/test/Transforms/InstCombine/xor-icmps.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/xor-icmps.ll?rev=339796&r1=339795&r2=339796&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/xor-icmps.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/xor-icmps.ll Wed Aug 15 10:46:22 2018
@@ -158,3 +158,16 @@ define i1 @test14(i8 %A, i8 %B) {
ret i1 %E
}
+define i1 @xor_icmp_ptr(i8* %c, i8* %d) {
+; CHECK-LABEL: @xor_icmp_ptr(
+; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8* [[C:%.*]], null
+; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8* [[D:%.*]], null
+; CHECK-NEXT: [[XOR:%.*]] = xor i1 [[CMP]], [[CMP1]]
+; CHECK-NEXT: ret i1 [[XOR]]
+;
+ %cmp = icmp slt i8* %c, null
+ %cmp1 = icmp slt i8* %d, null
+ %xor = xor i1 %cmp, %cmp1
+ ret i1 %xor
+}
+
More information about the llvm-commits
mailing list