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

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

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

> In D61409#1487366 <https://reviews.llvm.org/D61409#1487366>, @nikic wrote:
>
> > This is a good idea in theory, but I'm somewhat concerned that this will backfire in practice because assumes often pessimize optimization. For example LLVM has a really bad offender where it inserts assumes for alignment annotations during inlining -- thankfully there's an option to disable it, because it's a major perf regression otherwise.
>
>
> Pessimization of the final produced code, or of the llvm itself?


Of the final produced code. I think it's mainly because assumes cause one-use checks to fail.


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

https://reviews.llvm.org/D61409