[all-commits] [llvm/llvm-project] accf41: [DA] Add precondition `0 <=s UB` to function `infe...

[Ryotaro Kasuga via All-commits]

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

  Changed paths:
    M llvm/include/llvm/Analysis/DependenceAnalysis.h
    M llvm/lib/Analysis/DependenceAnalysis.cpp
    M llvm/test/Analysis/DependenceAnalysis/rdiv-large-btc.ll

  Log Message:
  -----------
  [DA] Add precondition `0 <=s UB` to function `inferAffineDomain` (#187218)

This patch fixes issues where the Exact SIV/RDIV tests can return
incorrect results when the BTC is negative in a signed sense. The root
cause is that BTCs should be interpreted in an unsigned sense, but
`inferAffineDomain` uses the BTC in inequalities that are interpreted in
a signed sense. These inequalities make sense only when the BTC is
non-negative. Thus we need to check it beforehand.



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