[all-commits] [llvm/llvm-project] 573935: [DA] Overflow check in WeakCrossing Delta calculat...

[Ehsan Amiri via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 573935d7b3a2565605b22edd8a7a60d6d6638244
      https://github.com/llvm/llvm-project/commit/573935d7b3a2565605b22edd8a7a60d6d6638244
  Author: Ehsan Amiri <ehsan.amiri at huawei.com>
  Date:   2026-04-01 (Wed, 01 Apr 2026)

  Changed paths:
    M llvm/lib/Analysis/DependenceAnalysis.cpp
    M llvm/test/Analysis/DependenceAnalysis/weak-crossing-siv-delta-signed-min.ll
    M llvm/test/Analysis/DependenceAnalysis/weak-crossing-siv-large-btc.ll
    M llvm/test/Analysis/DependenceAnalysis/weak-crossing-siv-overflow.ll

  Log Message:
  -----------
  [DA] Overflow check in WeakCrossing Delta calculation (#185046)

When subtracting the constant part of two addrecs, we need to ensure the
calculation won't overflow. If it may overflow, we conservatively stop
the analysis and return false.



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