[Mlir-commits] [mlir] [mlir][linalg] Add check for 'affine.for' map bound results (PR #127105)

Ayokunle Amodu llvmlistbot at llvm.org
Thu Feb 13 11:58:09 PST 2025


================
@@ -1902,6 +1902,13 @@ LogicalResult AffineForOp::verifyRegions() {
     if (failed(verifyDimAndSymbolIdentifiers(*this, getUpperBoundOperands(),
                                              getUpperBoundMap().getNumDims())))
       return failure();
+  // Verify that the bound maps produce at least one result.
----------------
ayokunle321 wrote:

Resolved in 001b1ff952276a3d899336cb66a9e4c93ac54a7e 

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


More information about the Mlir-commits mailing list