[all-commits] [llvm/llvm-project] d69efa: [BasicAA] Handle disjoint or as add in DecomposeGE...

[David Green via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d69efa4015ca41746b1aa517976cc376bce48860
      https://github.com/llvm/llvm-project/commit/d69efa4015ca41746b1aa517976cc376bce48860
  Author: David Green <david.green at arm.com>
  Date:   2024-01-16 (Tue, 16 Jan 2024)

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

  Log Message:
  -----------
  [BasicAA] Handle disjoint or as add in DecomposeGEP. (#78209)

This removes the MaskedValueIsZero check in decomposing geps in BasicAA, using
the isDisjoint flags instead. This relies on the disjoint flags being present
when AA is ran. The alternative would be to keep the old MaskedValueIsZero check
too if this causes issues.