[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