[llvm] [SDAG] fix miss opt: shl nuw + zext adds unnecessary masking (PR #172046)
Simon Pilgrim via llvm-commits
llvm-commits at lists.llvm.org
Mon Jan 12 02:18:14 PST 2026
================
@@ -1572,6 +1572,9 @@ SDValue SelectionDAG::getZeroExtendInReg(SDValue Op, const SDLoc &DL, EVT VT) {
assert(VT.bitsLE(OpVT) && "Not extending!");
if (OpVT == VT)
return Op;
+ if (Op.getOpcode() == ISD::AssertZext &&
----------------
RKSimon wrote:
OK - add a TODO to replace this with a general computeKnownBits check in the future.
https://github.com/llvm/llvm-project/pull/172046
More information about the llvm-commits
mailing list