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

[Ryotaro Kasuga via All-commits]

  Branch: refs/heads/users/kasuga-fj/da-fix-large-btc-for-exact-test
  Home:   https://github.com/llvm/llvm-project
  Commit: 2cbefc9ced870026c9c07b8a14f42b96c7ae59b1
      https://github.com/llvm/llvm-project/commit/2cbefc9ced870026c9c07b8a14f42b96c7ae59b1
  Author: Ryotaro Kasuga <kasuga.ryotaro at fujitsu.com>
  Date:   2026-03-13 (Fri, 13 Mar 2026)

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

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



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