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

[Oleksandr Alex Zinenko]

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