[PATCH] D61409: [SimplifyCFG] Added condition assumption for unreachable blocks

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

> The root cause: tests contain "br undef" and this is now optimized away. Not sure how to progress here..

This is a common problem with bugpoint reduced tests. You'll have to update these tests (as well as if-pred-stores.ll) either by replacing unreachables with something else (say a dummy return), or replacing the undef branch with a proper condition (e.g. pass in a bool as arg), while trying to preserve the original intention of the test.


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

https://reviews.llvm.org/D61409