[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