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

Nikita Popov via All-commits all-commits at lists.llvm.org
Mon Oct 17 03:40:58 PDT 2022

  Branch: refs/heads/main
  Home:   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.

More information about the All-commits mailing list