[Mlir-commits] [mlir] [mlir] Handle attempted construction of invalid `AffineExpr` products (PR #103010)

[Matthias Springer]

matthias-springer wrote:

> However, I noticed that the tiling infrastructure (and maybe other places) use % and floorDiv with dim identifiers quite often

Could that be fixed by simply turning these dims into symbols? I noticed this as well in the past when I was working on the `ValueBoundsOpInterface`. It causes problems when computing bounds for such IR, because it is not legal. Basically, the constraint set will reject equalities/inequalities that are formed from such IR. (I think we have a workaround in the analysis at the moment.)



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