[all-commits] [llvm/llvm-project] a6e47d: [MLIR][Affine] Fix affine loop permute validity ch...

[Prathamesh Tagore via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a6e47d124f7290b4f5bec76fd3c69195b7194020
      https://github.com/llvm/llvm-project/commit/a6e47d124f7290b4f5bec76fd3c69195b7194020
  Author: Prathamesh Tagore <63031630+meshtag at users.noreply.github.com>
  Date:   2025-08-25 (Mon, 25 Aug 2025)

  Changed paths:
    M mlir/lib/Dialect/Affine/Utils/LoopUtils.cpp
    M mlir/test/Dialect/Affine/loop-permute.mlir
    M mlir/test/lib/Dialect/Affine/TestLoopPermutation.cpp

  Log Message:
  -----------
  [MLIR][Affine] Fix affine loop permute validity check for iter_args loops (#155077)

We cannot guarantee the validity of the interchange if the loops have
iter_args, since the dependence analysis does not take them into
account. Conservatively return false in such cases.

Add an option to check permutation validity in test-loop-permutation
pass to test this change.

Signed-off-by: Prathamesh Tagore <prathamesh+1 at polymagelabs.com>



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