[BFI] Use CallbackVH to notify BFI about deletion of basic blocks
authorDaniil Suchkov <suc-daniil@yandex.ru>
Thu, 5 Mar 2020 11:32:50 +0000 (18:32 +0700)
committerDaniil Suchkov <suc-daniil@yandex.ru>
Thu, 5 Mar 2020 11:55:07 +0000 (18:55 +0700)
commit8975aa6ea8172963d6532caa8ed2a6f6e0074a02
tree92681634225555634cd482458f6197376e4ff219
parent84ac0dffd408a6d981ac753ba886cfa2e4ec75e8
[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.

This is a resubmission of 408349a25d0f5a012003f84c95b49bcc7782fa70 with
fixed MSVC compilation errors.

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