[all-commits] [llvm/llvm-project] 436fb2: [BasicAA] Support loop phis in pointsToConstantMem...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 436fb271862d721f9292169a979791508fad96c7
      https://github.com/llvm/llvm-project/commit/436fb271862d721f9292169a979791508fad96c7
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-10-17 (Mon, 17 Oct 2022)

  Changed paths:
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/test/Analysis/BasicAA/constant-memory.ll
    M llvm/test/Transforms/FunctionAttrs/readattrs.ll

  Log Message:
  -----------
  [BasicAA] Support loop phis in pointsToConstantMemory()

When looking for underlying objects, if we encounter one that we
have already seen, then we should skip it (as it has already been
checked) rather than bail out. In particular, this adds support
for the case where we have a loop use of a phi recurrence.