[BFI] Use CallbackVH to notify BFI about deletion of basic blocks
authorDaniil Suchkov <suc-daniil@yandex.ru>
Tue, 25 Feb 2020 09:21:01 +0000 (16:21 +0700)
committerDaniil Suchkov <suc-daniil@yandex.ru>
Thu, 5 Mar 2020 11:10:36 +0000 (18:10 +0700)
commit408349a25d0f5a012003f84c95b49bcc7782fa70
treecc95246c22bf58558739df071d11fc51ce772a73
parentea68462ed11cb70b40543059007a328edd26aea6
[BFI] Use CallbackVH to notify BFI about deletion of basic blocks

With AssertingVHs instead of bare pointers in
BlockFrequencyInfoImpl::Nodes (but without CallbackVHs) ~1/36 of all
tests ran by make check fail. It means that there are users of BFI that
delete basic blocks while keeping BFI. Some of those transformations add
new basic blocks, so if a new basic block happens to be allocated at
address where an already deleted block was and we don't explicitly set
block frequency for that new block, BFI will report some non-default
frequency for the block even though frequency for the block was never
set. Inliner is an example of a transformation that adds and removes BBs
while querying and updating BFI.
With this patch, thanks to updates via CallbackVH, BFI won't keep stale
pointers in its Nodes map.

Reviewers: davidxl, yamauchi, asbirlea, fhahn, fedor.sergeev

Reviewed-By: asbirlea, davidxl
Tags: #llvm

Differential Revision: https://reviews.llvm.org/D75341
llvm/include/llvm/Analysis/BlockFrequencyInfoImpl.h
llvm/include/llvm/IR/ValueHandle.h