[all-commits] [llvm/llvm-project] 4cba0a: CoroSplit: Replace ad-hoc implementation of reacha...

[adrian-prantl via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4cba0a4f11e40f447545434aa57effc4e39a8a57
      https://github.com/llvm/llvm-project/commit/4cba0a4f11e40f447545434aa57effc4e39a8a57
  Author: Adrian Prantl <aprantl at apple.com>
  Date:   2021-05-24 (Mon, 24 May 2021)

  Changed paths:
    M llvm/lib/Transforms/Coroutines/CoroSplit.cpp
    M llvm/test/Transforms/Coroutines/coro-debug.ll

  Log Message:
  -----------
  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