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

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Just to be clear, I didn't mean to say that we shouldn't do this, just that it is not //guaranteed// to be a win in the end. If it's possible to do some end-to-end performance testing with this patch to make sure that it doesn't come with unexpected regressions, I see no reason not to move forward with this change. The problem with assumes is a long-standing one and I don't think it has any simple solution.


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

https://reviews.llvm.org/D61409