[PATCH] D87149: [InstCombine] erase assume in block that ends in unreachable

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

This doesn't seem assume specific -- shouldn't we instead make this a visitUnreachableInst fold that removes preceding guaranteed-to-transfer functions?

Also as implemented this may remove asserts that are relevant, if we're not guaranteed-to-transfer from the assume to the unreachable terminator.


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

https://reviews.llvm.org/D87149