Fix FunctionPropertiesAnalysis updating callsite in 1-BB loop
authorMircea Trofin <mtrofin@google.com>
Wed, 8 Jun 2022 21:30:43 +0000 (14:30 -0700)
committerMircea Trofin <mtrofin@google.com>
Wed, 8 Jun 2022 21:32:00 +0000 (14:32 -0700)
commitb8c39eb2756f140c506a5c957fb0f3eaed657316
tree88ee65ae9887fd3651b0b7546c8abd593c1f9b5e
parentf6b1bfb7d5cc5201f5910c7e11766abc279a1f7a
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
llvm/lib/Analysis/FunctionPropertiesAnalysis.cpp
llvm/unittests/Analysis/FunctionPropertiesAnalysisTest.cpp