[Mlir-commits] [mlir] [mlir][affine] remove divide zero check when simplifer affineMap (#64622) (PR #68519)

[Matthias Springer]

matthias-springer wrote:

> When `AffineApplyOp::fold` return `PoisonAttr`, the test case crash and tell me UBDialect need to initilize.

That means the UB dialect would have to be declared as a dependent dialect of the Affine dialect (because such ops are created by the canonicalization). I am not an expert on poison semantics, I'd ask on Discord to see if that's desirable and the recommended path. Also, @kuhar may have an opinion on this.


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