[all-commits] [llvm/llvm-project] b53b7c: [LoopInterchange] Add tests for the vectorization ...

[Ryotaro Kasuga via All-commits]

  Branch: refs/heads/users/kasuga-fj/loop-interchange-vectorzation-test
  Home:   https://github.com/llvm/llvm-project
  Commit: b53b7ce2b303ff9ea94d77b3ffe74d1697db9f3d
      https://github.com/llvm/llvm-project/commit/b53b7ce2b303ff9ea94d77b3ffe74d1697db9f3d
  Author: Ryotaro Kasuga <kasuga.ryotaro at fujitsu.com>
  Date:   2025-03-27 (Thu, 27 Mar 2025)

  Changed paths:
    A llvm/test/Transforms/LoopInterchange/profitability-vectorization-heuristic.ll

  Log Message:
  -----------
  [LoopInterchange] Add tests for the vectorization profitability (NFC)

There is a problem with the current profitability check for
vectorization in LoopInterchange. There are both false positives and
false negatives. The former means that the heuristic may say that "an
exchange is necessary to vectorize the innermost loop" even though it's
already possible. The latter means that the heuristic may miss a case
where an exchange is necessary to vectorize the innermost loop. Note
that this is not a dependency analysis problem.  These problems can
occur even if the analysis is accurate (no overestimation).

This patch adds tests to clarify the cases that should be fixed. The
root cause of these cases is that the heuristic doesn't handle the
direction of a dependency correctly.



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