[PATCH] D105363: [InstCombine] Transitively propagate `unreachable` into predecessors

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

In D105363#2863232 <https://reviews.llvm.org/D105363#2863232>, @lebedev.ri wrote:

> @spatel thoughts?

I haven't closely followed the related patches, so I'm probably not adding much here...
But if I run -simplifycfg on any of the tests with diffs here, they are completely zapped down to a single `unreachable`. 
Can you add a test to demonstrate where we might fall through the cracks of both passes? (possibly a test for PhaseOrdering)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D105363/new/

https://reviews.llvm.org/D105363