[SimpleLoopUnswitch] Inform pass manager when child loops are deleted
authorBjorn Pettersson <bjorn.a.pettersson@ericsson.com>
Fri, 3 Sep 2021 18:50:33 +0000 (20:50 +0200)
committerBjorn Pettersson <bjorn.a.pettersson@ericsson.com>
Sat, 4 Sep 2021 15:54:39 +0000 (17:54 +0200)
commit0f0344dd1e3b53387bb396070916e67f4c426da6
tree746b317060b69450bf7e992b21e475453ada53bd
parent59c954f76a66c6fc715610e85be71e9c050f2302
[SimpleLoopUnswitch] Inform pass manager when child loops are deleted

As part of the nontrivial unswitching we could end up removing child
loops. This patch add a notification to the pass manager when
that happens (using the markLoopAsDeleted callback).

Without this there could be stale LoopAccessAnalysis results cached
in the analysis manager. Those analysis results are cached based on
a Loop* as key. Since the BumpPtrAllocator used to allocate
Loop objects could be resetted between different runs of for
example the loop-distribute pass (running on different functions),
a new Loop object could be created using the same Loop pointer.
And then when requiring the LoopAccessAnalysis for the loop we
got the stale (corrupt) result from the destroyed loop.

Reviewed By: aeubanks

Differential Revision: https://reviews.llvm.org/D109257
llvm/lib/Transforms/Scalar/SimpleLoopUnswitch.cpp
llvm/test/Transforms/SimpleLoopUnswitch/nontrivial-unswitch-markloopasdeleted.ll [new file with mode: 0644]