[all-commits] [llvm/llvm-project] 7d510b: [DA] Set Distance to zero when Direction is EQ (#1...

[Ryotaro Kasuga via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7d510b7f21d1b5da2d84c8e3f7003a27b34e021d
      https://github.com/llvm/llvm-project/commit/7d510b7f21d1b5da2d84c8e3f7003a27b34e021d
  Author: Ryotaro Kasuga <kasuga.ryotaro at fujitsu.com>
  Date:   2025-07-11 (Fri, 11 Jul 2025)

  Changed paths:
    M llvm/lib/Analysis/DependenceAnalysis.cpp
    M llvm/test/Analysis/DependenceAnalysis/Banerjee.ll
    M llvm/test/Analysis/DependenceAnalysis/Coupled.ll
    M llvm/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll

  Log Message:
  -----------
  [DA] Set Distance to zero when Direction is EQ (#147966)

A Dependence object has two entries: Distance and Direction. The former
represents the distance of the dependence, while the latter
characterizes the distance by whether the value of it is positive,
negative, or zero (especially, zero is represented by EQ in DA). So it
is expected that the Distance equals zero iff the Direction is EQ.
However, this condition was not satisfied in some cases.
This patch adds a logic to set the Distance to zero if the Direction is
EQ. Although it is ideal that the Distance is updated to zero
simultaneously when the Direction is set to EQ, achieving it would
require changing the entire code in DA.



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