[llvm] r362945 - [InstCombine] fix bug in canonicalization to fabs()
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Mon Jun 10 07:57:45 PDT 2019
Author: spatel
Date: Mon Jun 10 07:57:45 2019
New Revision: 362945
URL: http://llvm.org/viewvc/llvm-project?rev=362945&view=rev
Log:
[InstCombine] fix bug in canonicalization to fabs()
Forgot to translate the predicate clauses in rL362943.
Modified:
llvm/trunk/lib/Transforms/InstCombine/InstCombineSelect.cpp
llvm/trunk/test/Transforms/InstCombine/fabs.ll
Modified: llvm/trunk/lib/Transforms/InstCombine/InstCombineSelect.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/InstCombine/InstCombineSelect.cpp?rev=362945&r1=362944&r2=362945&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/InstCombine/InstCombineSelect.cpp (original)
+++ llvm/trunk/lib/Transforms/InstCombine/InstCombineSelect.cpp Mon Jun 10 07:57:45 2019
@@ -1878,14 +1878,16 @@ Instruction *InstCombiner::visitSelectIn
Instruction *FSub;
if (match(CondVal, m_FCmp(Pred, m_Specific(FalseVal), m_AnyZeroFP())) &&
match(TrueVal, m_FSub(m_PosZeroFP(), m_Specific(FalseVal))) &&
- match(TrueVal, m_Instruction(FSub)) && FSub->hasNoNaNs()) {
+ match(TrueVal, m_Instruction(FSub)) && FSub->hasNoNaNs() &&
+ Pred == FCmpInst::FCMP_OLE) {
Value *Fabs = Builder.CreateUnaryIntrinsic(Intrinsic::fabs, FalseVal, FSub);
return replaceInstUsesWith(SI, Fabs);
}
// (X > +/-0.0) ? X : (0.0 - X) --> fabs(X)
if (match(CondVal, m_FCmp(Pred, m_Specific(TrueVal), m_AnyZeroFP())) &&
match(FalseVal, m_FSub(m_PosZeroFP(), m_Specific(TrueVal))) &&
- match(FalseVal, m_Instruction(FSub)) && FSub->hasNoNaNs()) {
+ match(FalseVal, m_Instruction(FSub)) && FSub->hasNoNaNs() &&
+ Pred == FCmpInst::FCMP_OGT) {
Value *Fabs = Builder.CreateUnaryIntrinsic(Intrinsic::fabs, TrueVal, FSub);
return replaceInstUsesWith(SI, Fabs);
}
Modified: llvm/trunk/test/Transforms/InstCombine/fabs.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/fabs.ll?rev=362945&r1=362944&r2=362945&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/fabs.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/fabs.ll Mon Jun 10 07:57:45 2019
@@ -275,6 +275,21 @@ define double @select_fcmp_nnan_ole_zero
ret double %fabs
}
+; Negative test - wrong predicate.
+
+define double @select_fcmp_nnan_olt_zero(double %x) {
+; CHECK-LABEL: @select_fcmp_nnan_olt_zero(
+; CHECK-NEXT: [[LEZERO:%.*]] = fcmp olt double [[X:%.*]], 0.000000e+00
+; CHECK-NEXT: [[NEGX:%.*]] = fsub nnan double 0.000000e+00, [[X]]
+; CHECK-NEXT: [[FABS:%.*]] = select i1 [[LEZERO]], double [[NEGX]], double [[X]]
+; CHECK-NEXT: ret double [[FABS]]
+;
+ %lezero = fcmp olt double %x, 0.0
+ %negx = fsub nnan double 0.0, %x
+ %fabs = select i1 %lezero, double %negx, double %x
+ ret double %fabs
+}
+
; X <= -0.0 ? (0.0 - X) : X --> fabs(X)
define <2 x float> @select_fcmp_nnan_ole_negzero(<2 x float> %x) {
@@ -312,6 +327,21 @@ define half @select_fcmp_nnan_ogt_negzer
%negx = fsub nnan half 0.0, %x
%fabs = select i1 %gtzero, half %x, half %negx
ret half %fabs
+}
+
+; Negative test - wrong predicate.
+
+define half @select_fcmp_nnan_oge_negzero(half %x) {
+; CHECK-LABEL: @select_fcmp_nnan_oge_negzero(
+; CHECK-NEXT: [[GTZERO:%.*]] = fcmp oge half [[X:%.*]], 0xH0000
+; CHECK-NEXT: [[NEGX:%.*]] = fsub nnan half 0xH0000, [[X]]
+; CHECK-NEXT: [[FABS:%.*]] = select i1 [[GTZERO]], half [[X]], half [[NEGX]]
+; CHECK-NEXT: ret half [[FABS]]
+;
+ %gtzero = fcmp oge half %x, -0.0
+ %negx = fsub nnan half 0.0, %x
+ %fabs = select i1 %gtzero, half %x, half %negx
+ ret half %fabs
}
; X < 0.0 ? -X : X --> fabs(X)
More information about the llvm-commits
mailing list