[all-commits] [llvm/llvm-project] fff622: [BasicAA] Account for wrapping when using abs(Scal...

[Craig Topper via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fff622fbf760f9ff4e10073ad859c2b663f33af8
      https://github.com/llvm/llvm-project/commit/fff622fbf760f9ff4e10073ad859c2b663f33af8
  Author: Craig Topper <craig.topper at sifive.com>
  Date:   2025-04-29 (Tue, 29 Apr 2025)

  Changed paths:
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/test/Analysis/BasicAA/gep-modulo.ll

  Log Message:
  -----------
  [BasicAA] Account for wrapping when using abs(Scale*V0 + (-Scale)*V1) >= abs(Scale) (#137755)

Similar to 1b7ef6aac8a3cad245c0ed14fe21725e31261f73, add a check to only
set MinAbsVarIndex if abs(Scale*V0) and abs((-Scale)*V1) won't wrap. In
the absence of IsNSW, try to use the bitwidths of the original V and
Scale to rule out wrapping



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