[all-commits] [llvm/llvm-project] 188256: [BasicAA] Only add visited phi blocks temporarily

[Nikita Popov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 1882568fcb08ed8af689f13826cc7e84c3c84e33
      https://github.com/llvm/llvm-project/commit/1882568fcb08ed8af689f13826cc7e84c3c84e33
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-10-22 (Thu, 22 Oct 2020)

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

  Log Message:
  -----------
  [BasicAA] Only add visited phi blocks temporarily

Visited phi blocks only need to be added for the duration of the
recursive alias queries, they should not leak into following code.

Once again, while this also improves analysis precision, this is
mainly intended to clarify the applicability scope of VisitedPhiBBs.