[all-commits] [llvm/llvm-project] 989aad: Revert "[mlir][affine] allow iter args as valid di...

[ftynse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 989aadf4b112ef55648d801c4003b63f8aad930e
      https://github.com/llvm/llvm-project/commit/989aadf4b112ef55648d801c4003b63f8aad930e
  Author: Oleksandr "Alex" Zinenko <git at ozinenko.com>
  Date:   2025-05-23 (Fri, 23 May 2025)

  Changed paths:
    M mlir/lib/Dialect/Affine/IR/AffineOps.cpp
    M mlir/test/Dialect/Affine/raise-memref.mlir

  Log Message:
  -----------
  Revert "[mlir][affine] allow iter args as valid dims" (#140808)

Reverts llvm/llvm-project#139069: the original change that got reverted
by that PR 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.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications