[Mlir-commits] [mlir] [MLIR][Affine] Fix null operands in simplifyConstrainedMinMaxOp (PR #189246)

[Oleksandr Alex Zinenko]

================
@@ -2380,6 +2380,43 @@ FailureOr<AffineValueMap> mlir::affine::simplifyConstrainedMinMaxOp(
                               newMap.getNumDims(), newMap.getNumSymbols());
     }
   }
+
+  // Internal constraint variables (dimOp, dimOpBound, resultDimStart, etc.)
+  // have no associated SSA values (null Value()). Replace their corresponding
+  // dim/symbol positions in newMap with constant 0 and compact newOperands.
+  // These positions should be unreferenced in newMap (the bound was computed
+  // in terms of the original operands only), so replacing with 0 is safe.
----------------
ftynse wrote:

Could we have an assertion that they are not referenced? There's an `isFunctionOf` IIRC.

https://github.com/llvm/llvm-project/pull/189246