[llvm] [SelectionDAG] Add computeKnownBits support for ISD::STEP_VECTOR (PR #80452)
Craig Topper via llvm-commits
llvm-commits at lists.llvm.org
Wed Feb 7 12:42:34 PST 2024
================
@@ -3110,6 +3110,33 @@ KnownBits SelectionDAG::computeKnownBits(SDValue Op, const APInt &DemandedElts,
}
break;
}
+ case ISD::STEP_VECTOR: {
+ const APInt &Step = Op.getConstantOperandAPInt(0);
+
+ if (Step.isPowerOf2())
+ Known.Zero.setLowBits(Step.logBase2());
+
+ const Function &F = getMachineFunction().getFunction();
+
+ if (!isUIntN(BitWidth, Op.getValueType().getVectorMinNumElements()))
----------------
topperc wrote:
I think this might be off by 1. Only `Op.getValueType().getVectorMinNumElements() - 1` needs to fit in the bitwidth.
https://github.com/llvm/llvm-project/pull/80452
More information about the llvm-commits
mailing list