Make dependency between certain analysis passes transitive (reapply)
authorBjorn Pettersson <bjorn.a.pettersson@ericsson.com>
Tue, 4 May 2021 17:08:58 +0000 (19:08 +0200)
committerBjorn Pettersson <bjorn.a.pettersson@ericsson.com>
Wed, 5 May 2021 13:17:55 +0000 (15:17 +0200)
commit3ee826594a9ed4119dd1fdfdd3f5f9175991e688
tree3a305249be00ffccd2f9fc26874c24c1249c5bff
parent85460a2f5b6309450b341d19d800a7d90786b941
Make dependency between certain analysis passes transitive (reapply)

LazyBlockFrequenceInfoPass, LazyBranchProbabilityInfoPass and
LoopAccessLegacyAnalysis all cache pointers to their nestled required
analysis passes. One need to use addRequiredTransitive to describe
that the nestled passes can't be freed until those analysis passes
no longer are used themselves.

There is still a bit of a mess considering the getLazyBPIAnalysisUsage
and getLazyBFIAnalysisUsage functions. Those functions are used from
both Transform, CodeGen and Analysis passes. I figure it is OK to
use addRequiredTransitive also when being used from Transform and
CodeGen passes. On the other hand, I figure we must do it when
used from other Analysis passes. So using addRequiredTransitive should
be more correct here. An alternative solution would be to add a
bool option in those functions to let the user tell if it is a
analysis pass or not. Since those lazy passes will be obsolete when
new PM has conquered the world I figure we can leave it like this
right now.

Intention with the patch is to fix PR49950. It at least solves the
problem for the reproducer in PR49950. However, that reproducer
need five passes in a specific order, so there are lots of various
"solutions" that could avoid the crash without actually fixing the
root cause.

This is a reapply of commit 3655f0757f2b4b, that was reverted in
33ff3c20498ef5c2057 due to problems with assertions in the polly
lit tests. That problem is supposed to be solved by also adjusting
ScopPass to explicitly preserve LazyBlockFrequencyInfo and
LazyBranchProbabilityInfo (it already preserved
OptimizationRemarkEmitter which depends on those lazy passes).

Differential Revision: https://reviews.llvm.org/D100958
llvm/lib/Analysis/LazyBlockFrequencyInfo.cpp
llvm/lib/Analysis/LazyBranchProbabilityInfo.cpp
llvm/lib/Analysis/LoopAccessAnalysis.cpp
llvm/test/Other/pr49950.ll [new file with mode: 0644]
polly/lib/Analysis/ScopPass.cpp