[all-commits] [llvm/llvm-project] a70898: [DA] Disable the BanerjeeMIV dependence test (#174...

[Sjoerd Meijer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a70898bf5025f3619749452b117b1d00ad300155
      https://github.com/llvm/llvm-project/commit/a70898bf5025f3619749452b117b1d00ad300155
  Author: Sjoerd Meijer <smeijer at nvidia.com>
  Date:   2026-04-29 (Wed, 29 Apr 2026)

  Changed paths:
    M llvm/lib/Analysis/DependenceAnalysis.cpp
    M llvm/test/Analysis/DependenceAnalysis/Banerjee.ll
    M llvm/test/Analysis/DependenceAnalysis/DifferentOffsets.ll
    M llvm/test/Analysis/DependenceAnalysis/ExactRDIV.ll
    M llvm/test/Analysis/DependenceAnalysis/GCD.ll
    M llvm/test/Analysis/DependenceAnalysis/PR51512.ll
    M llvm/test/Analysis/DependenceAnalysis/gcd-miv-overflow.ll
    M llvm/test/Transforms/LoopInterchange/inner-indvar-depend-on-outer-indvar.ll
    M llvm/test/Transforms/LoopInterchange/interchange-insts-between-indvar.ll
    M llvm/test/Transforms/LoopInterchange/legality-check.ll

  Log Message:
  -----------
  [DA] Disable the BanerjeeMIV dependence test (#174733)

The various `findBounds` helpers (e.g. `findBoundsLT`) are suspected to
be incorrect because they do not account for potential integer overflow,
which can lead the dependence analysis to produce incorrect results.
Since these helpers are used by the BanerjeeMIV dependence test, this
patch disables BanerjeeMIV by default to avoid unsafe results and
progress the default enablement of DA. The Banerjee test is required for
our motivating example, and we will working on correctness issues and
reenabling it after default enablement.

This is working around issue: #169813



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