[llvm] [RISCV] Refine cost on Min/Max reduction with i1 type (PR #79401)
Luke Lau via llvm-commits
llvm-commits at lists.llvm.org
Wed Jan 24 23:56:51 PST 2024
================
@@ -936,10 +936,15 @@ RISCVTTIImpl::getMinMaxReductionCost(Intrinsic::ID IID, VectorType *Ty,
return BaseT::getMinMaxReductionCost(IID, Ty, FMF, CostKind);
std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
- if (Ty->getElementType()->isIntegerTy(1))
- // vcpop sequences, see vreduction-mask.ll. umax, smin actually only
- // cost 2, but we don't have enough info here so we slightly over cost.
- return (LT.first - 1) + 3;
+ if (Ty->getElementType()->isIntegerTy(1)) {
+ // InstCombine does following transform:
----------------
lukel97 wrote:
I ran instcombine on some test examples and it didn't seem to be transforming the reductions. But the incoming selection dag uses `vecreduce_or`/`vecreduce_and` before any sort of legalization. Do you know if this is coming from SelectionDAGBuilder or something?
https://github.com/llvm/llvm-project/pull/79401
More information about the llvm-commits
mailing list