This is an archive of the discontinued LLVM Phabricator instance.

[NFCI] Split isPotentiallyReachable into two implementations.
Needs ReviewPublic

Authored by nicholas on Apr 16 2019, 12:40 AM.
This revision needs review, but there are no reviewers specified.

Details

Reviewers
None
Summary

The new implementations are one "fast path" implementation using the DominatorTree and not supporting ExcludedBlocks, and a "slow path" that walks BasicBlocks and supports ExcludedBlocks. Both take advantage of LoopInfo if available.

Diff Detail