[PATCH] D103316: Hoist llvm.assume into single predecessor if block otherwise empty

Markus Lavin via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Jun 15 02:46:39 PDT 2021


markus added a comment.

Thanks @bjope for the input. I do share your concern. While I think we all agree that SimplifyCFG is the right place for this kind of transformation the steps that would follow acceptance and landing of the current patch do not seem to directly lead to being able to remove the unconditional assume elimination from CodeGenPrepare. At least not without possibly introducing other degradation as there may be other transformation that have run in between and now put assumes in inconvenient places. As pointed out by @bjope.


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

https://reviews.llvm.org/D103316



More information about the llvm-commits mailing list