summaryrefslogtreecommitdiffstats
path: root/llvm/unittests/Transforms/Utils/IntegerDivision.cpp
diff options
context:
space:
mode:
authorChijun Sima <simachijun@gmail.com>2018-08-03 12:45:29 +0000
committerChijun Sima <simachijun@gmail.com>2018-08-03 12:45:29 +0000
commit530484372b95406b12a12616857df8bc268f83c1 (patch)
tree05d0d95441fed1973489b1b419aeca1655aa80c5 /llvm/unittests/Transforms/Utils/IntegerDivision.cpp
parenteaca8ed5b8e7f790e8536b2ec013239439c010a0 (diff)
downloadbcm5719-llvm-530484372b95406b12a12616857df8bc268f83c1.tar.gz
bcm5719-llvm-530484372b95406b12a12616857df8bc268f83c1.zip
[Dominators] Make RemoveUnreachableBlocks return false if the BasicBlock is already awaiting deletion
Summary: Previously, `removeUnreachableBlocks` still returns true (which indicates the CFG is changed) even when all the unreachable blocks found is awaiting deletion in the DDT class. This makes code pattern like ``` // Code modified from lib/Transforms/Scalar/SimplifyCFGPass.cpp bool EverChanged = removeUnreachableBlocks(F, nullptr, DDT); ... do { EverChanged = someMightHappenModifications(); EverChanged |= removeUnreachableBlocks(F, nullptr, DDT); } while (EverChanged); ``` become a dead loop. Fix this by detecting whether a BasicBlock is already awaiting deletion. Reviewers: kuhar, brzycki, dmgreen, grosser, davide Reviewed By: kuhar, brzycki Subscribers: llvm-commits Differential Revision: https://reviews.llvm.org/D49738 llvm-svn: 338882
Diffstat (limited to 'llvm/unittests/Transforms/Utils/IntegerDivision.cpp')
0 files changed, 0 insertions, 0 deletions
OpenPOWER on IntegriCloud