[all-commits] [llvm/llvm-project] 237b96: [BasicAA] Account for cycles when checking for sam...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 237b96203141aa12fa891c1b1506173d851aa07f
      https://github.com/llvm/llvm-project/commit/237b96203141aa12fa891c1b1506173d851aa07f
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-10-14 (Fri, 14 Oct 2022)

  Changed paths:
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/test/Analysis/BasicAA/phi-and-select.ll

  Log Message:
  -----------
  [BasicAA] Account for cycles when checking for same select condition

If we have translated across a cycle backedge, the same SSA value
for the condition might be referring to two different loop iterations.
Use the isValueEqualInPotentialCycles() helper to avoid assuming
equality in that case.