[Mlir-commits] [mlir] [mlir][affine] allow iter args as valid dims (PR #139069)

Oleksandr Alex Zinenko llvmlistbot at llvm.org
Tue May 20 00:56:53 PDT 2025


ftynse wrote:

Haven't dug too deep into this, but IMO the original change that got reverted _was in fact correct_. Since we don't know how secondary iteration args evolve with loop iterations (e.g., the loop may be yielding the result of a function call or the state of a PRNG), we cannot statically represent them as an integer set bound by affine constraints, unlike primary iteration args where the evolution is clear.

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


More information about the Mlir-commits mailing list