[all-commits] [llvm/llvm-project] b8c39e: Fix FunctionPropertiesAnalysis updating callsite i...

[Mircea Trofin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b8c39eb2756f140c506a5c957fb0f3eaed657316
      https://github.com/llvm/llvm-project/commit/b8c39eb2756f140c506a5c957fb0f3eaed657316
  Author: Mircea Trofin <mtrofin at google.com>
  Date:   2022-06-08 (Wed, 08 Jun 2022)

  Changed paths:
    M llvm/lib/Analysis/FunctionPropertiesAnalysis.cpp
    M llvm/unittests/Analysis/FunctionPropertiesAnalysisTest.cpp

  Log Message:
  -----------
  Fix FunctionPropertiesAnalysis updating callsite in 1-BB loop

If the callsite is in a single BB loop, we need to exclude the BB from
the successor set (in which it'd be a member), because that set forms a
boundary at which we stop traversing the CFG, when re-ingesting BBs
after inlining; but after inlining, the callsite BB's new successors
should be visited.

Reviewed By: kazu

Differential Revision: https://reviews.llvm.org/D127178