[all-commits] [llvm/llvm-project] ae4386: [DA] Remove consistent flag from Dependence class ...

[Ryotaro Kasuga via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ae438677566397b947b987acaba170388c089017
      https://github.com/llvm/llvm-project/commit/ae438677566397b947b987acaba170388c089017
  Author: Ryotaro Kasuga <kasuga.ryotaro at fujitsu.com>
  Date:   2026-03-04 (Wed, 04 Mar 2026)

  Changed paths:
    M llvm/include/llvm/Analysis/DependenceAnalysis.h
    M llvm/lib/Analysis/DependenceAnalysis.cpp
    M llvm/test/Analysis/DDG/print-dot-ddg.ll
    M llvm/test/Analysis/DependenceAnalysis/Banerjee.ll
    M llvm/test/Analysis/DependenceAnalysis/BasePtrBug.ll
    M llvm/test/Analysis/DependenceAnalysis/Constraints.ll
    M llvm/test/Analysis/DependenceAnalysis/DADelin.ll
    M llvm/test/Analysis/DependenceAnalysis/DifferentOffsets.ll
    M llvm/test/Analysis/DependenceAnalysis/ExactRDIV.ll
    M llvm/test/Analysis/DependenceAnalysis/FlipFlopBaseAddress.ll
    M llvm/test/Analysis/DependenceAnalysis/MIVCheckConst.ll
    M llvm/test/Analysis/DependenceAnalysis/MismatchingNestLevels.ll
    M llvm/test/Analysis/DependenceAnalysis/NonAffineExpr.ll
    M llvm/test/Analysis/DependenceAnalysis/PR21585.ll
    M llvm/test/Analysis/DependenceAnalysis/PR51512.ll
    M llvm/test/Analysis/DependenceAnalysis/Preliminary.ll
    M llvm/test/Analysis/DependenceAnalysis/Propagating.ll
    M llvm/test/Analysis/DependenceAnalysis/SimpleSIVNoValidityCheck.ll
    M llvm/test/Analysis/DependenceAnalysis/SimpleSIVNoValidityCheckFixedSize.ll
    M llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll
    M llvm/test/Analysis/DependenceAnalysis/SymbolicRDIV.ll
    M llvm/test/Analysis/DependenceAnalysis/SymbolicSIV.ll
    M llvm/test/Analysis/DependenceAnalysis/UsefulGEP.ll
    M llvm/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll
    M llvm/test/Analysis/DependenceAnalysis/WeakZeroDstSIV.ll
    M llvm/test/Analysis/DependenceAnalysis/WeakZeroSrcSIV.ll
    M llvm/test/Analysis/DependenceAnalysis/ZIV.ll
    M llvm/test/Analysis/DependenceAnalysis/becount-couldnotcompute.ll
    M llvm/test/Analysis/DependenceAnalysis/compute-absolute-value.ll
    M llvm/test/Analysis/DependenceAnalysis/exact-rdiv-addrec-wrap.ll
    M llvm/test/Analysis/DependenceAnalysis/exact-siv-addrec-wrap.ll
    M llvm/test/Analysis/DependenceAnalysis/exact-siv-overflow.ll
    M llvm/test/Analysis/DependenceAnalysis/gcd-miv-overflow.ll
    M llvm/test/Analysis/DependenceAnalysis/infer_affine_domain_ovlf.ll
    M llvm/test/Analysis/DependenceAnalysis/lcssa.ll
    M llvm/test/Analysis/DependenceAnalysis/monotonicity-cast.ll
    M llvm/test/Analysis/DependenceAnalysis/monotonicity-invariant.ll
    M llvm/test/Analysis/DependenceAnalysis/rdiv-large-btc.ll
    M llvm/test/Analysis/DependenceAnalysis/rdiv-minor-algebra.ll
    M llvm/test/Analysis/DependenceAnalysis/run-specific-dependence-test.ll
    M llvm/test/Analysis/DependenceAnalysis/same-sd-for-diff-becount-type-loops.ll
    M llvm/test/Analysis/DependenceAnalysis/strong-siv-large-btc.ll
    M llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll
    M llvm/test/Analysis/DependenceAnalysis/symbolic-rdiv-addrec-wrap.ll
    M llvm/test/Analysis/DependenceAnalysis/symbolic-rdiv-overflow.ll
    M llvm/test/Analysis/DependenceAnalysis/weak-crossing-siv-addrec-wrap.ll
    M llvm/test/Analysis/DependenceAnalysis/weak-crossing-siv-large-btc.ll
    M llvm/test/Analysis/DependenceAnalysis/weak-crossing-siv-overflow.ll
    M llvm/test/Analysis/DependenceAnalysis/weak-zero-siv-large-btc.ll
    M llvm/test/Analysis/DependenceAnalysis/weak-zero-siv-overflow.ll
    M llvm/test/Analysis/DependenceAnalysis/weak_zero_siv_parametric_coeff.ll
    M llvm/test/Analysis/DependenceAnalysis/weak_zero_siv_parametric_const.ll
    M llvm/test/Analysis/DependenceAnalysis/zero-coefficient.ll

  Log Message:
  -----------
  [DA] Remove consistent flag from Dependence class (#181608)

The `Dependence` class has a flag `Consistent`, but it's not clear what
it represents. This flag doesn't seem to be updated correctly during
analysis. There are no users of it, so I think this flag would be
unnecessary.
In addition, because of this flag, even minor code changes can alter
test results unintentionally (specifically, the presence/absence of a
string "consistent" in the test output). Such test changes can be
confusing and gradually add to the maintenance burden.
Given these points, it's better to remove the `Consistent` flag from the
`Dependence` class entirely.



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