[llvm] r277659 - [InstCombine] use m_APInt to allow icmp eq (add X, C1), C2 folds for splat constant vectors
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Wed Aug 3 15:08:44 PDT 2016
Author: spatel
Date: Wed Aug 3 17:08:44 2016
New Revision: 277659
URL: http://llvm.org/viewvc/llvm-project?rev=277659&view=rev
Log:
[InstCombine] use m_APInt to allow icmp eq (add X, C1), C2 folds for splat constant vectors
Modified:
llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp
llvm/trunk/test/Transforms/InstCombine/add.ll
llvm/trunk/test/Transforms/InstCombine/icmp.ll
Modified: llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp?rev=277659&r1=277658&r2=277659&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp (original)
+++ llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp Wed Aug 3 17:08:44 2016
@@ -2227,13 +2227,14 @@ Instruction *InstCombiner::foldICmpEqual
}
}
break;
- case Instruction::Add:
+ case Instruction::Add: {
// Replace ((add A, B) != C) with (A != C-B) if B & C are constants.
- // FIXME: Vectors are excluded by ConstantInt.
- if (ConstantInt *BOp1C = dyn_cast<ConstantInt>(BOp1)) {
- if (BO->hasOneUse())
- return new ICmpInst(ICI.getPredicate(), BOp0,
- ConstantExpr::getSub(RHS, BOp1C));
+ const APInt *BOC;
+ if (match(BOp1, m_APInt(BOC))) {
+ if (BO->hasOneUse()) {
+ Constant *SubC = ConstantExpr::getSub(RHS, cast<Constant>(BOp1));
+ return new ICmpInst(ICI.getPredicate(), BOp0, SubC);
+ }
} else if (*RHSV == 0) {
// Replace ((add A, B) != 0) with (A != -B) if A or B is
// efficiently invertible, or if the add has just this one use.
@@ -2248,6 +2249,7 @@ Instruction *InstCombiner::foldICmpEqual
}
}
break;
+ }
case Instruction::Xor:
if (BO->hasOneUse()) {
if (Constant *BOC = dyn_cast<Constant>(BOp1)) {
Modified: llvm/trunk/test/Transforms/InstCombine/add.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/add.ll?rev=277659&r1=277658&r2=277659&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/add.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/add.ll Wed Aug 3 17:08:44 2016
@@ -264,11 +264,9 @@ define i1 @test21(i32 %x) {
ret i1 %y
}
-; FIXME: Vectors should fold the same way.
define <2 x i1> @test21vec(<2 x i32> %x) {
; CHECK-LABEL: @test21vec(
-; CHECK-NEXT: [[T:%.*]] = add <2 x i32> %x, <i32 4, i32 4>
-; CHECK-NEXT: [[Y:%.*]] = icmp eq <2 x i32> [[T]], <i32 123, i32 123>
+; CHECK-NEXT: [[Y:%.*]] = icmp eq <2 x i32> %x, <i32 119, i32 119>
; CHECK-NEXT: ret <2 x i1> [[Y]]
;
%t = add <2 x i32> %x, <i32 4, i32 4>
Modified: llvm/trunk/test/Transforms/InstCombine/icmp.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/icmp.ll?rev=277659&r1=277658&r2=277659&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/icmp.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/icmp.ll Wed Aug 3 17:08:44 2016
@@ -1004,12 +1004,9 @@ define i1 @test70(i32 %X) {
ret i1 %C
}
-; FIXME: Vectors should fold the same way.
-
define <2 x i1> @test70vec(<2 x i32> %X) {
; CHECK-LABEL: @test70vec(
-; CHECK-NEXT: [[B:%.*]] = add <2 x i32> %X, <i32 2, i32 2>
-; CHECK-NEXT: [[C:%.*]] = icmp ne <2 x i32> [[B]], <i32 4, i32 4>
+; CHECK-NEXT: [[C:%.*]] = icmp ne <2 x i32> %X, <i32 2, i32 2>
; CHECK-NEXT: ret <2 x i1> [[C]]
;
%B = add <2 x i32> %X, <i32 2, i32 2>
More information about the llvm-commits
mailing list