diff options
| author | Adrian Prantl <aprantl@apple.com> | 2021-05-24 09:06:00 -0700 |
|---|---|---|
| committer | Adrian Prantl <aprantl@apple.com> | 2021-05-24 09:18:33 -0700 |
| commit | 4cba0a4f11e40f447545434aa57effc4e39a8a57 (patch) | |
| tree | 3299abeb8394c5cdad7e1dfb018de3757c392433 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 0346514984291cba05f36ad461504ae32ee3c1bf (diff) | |
CoroSplit: Replace ad-hoc implementation of reachability with API from CFG.h
The current ad-hoc implementation used to determine whether a basic
block is unreachable doesn't work correctly in the general case (for
example it won't detect successors of unreachable blocks as
unreachable). This patch replaces it with the correct API that uses a
DominatorTree to answer the question correctly and quickly.
rdar://77181156
Differential Revision: https://reviews.llvm.org/D102963
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions