lipracer wrote: I am found the poison-dem https://mlir.llvm.org/OpenMeetings/2022-11-03-Poison-Semantics-For-MLIR.pdf, just remove runtime check,maybe we need define freeze and poison value for affine map? https://github.com/llvm/llvm-project/pull/68519