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

[Markus Lavin via Phabricator via llvm-commits]

markus updated this revision to Diff 348737.
markus added a comment.

Since there seem to be agreement on the placement in SimplifyCFG the code has been moved there.

Wrt assume operand bundles I am thinking that those can always simply be dropped.

Old CodeGenPrepare tests have been temporarily disabled but will be revamped in the SimplifyCFG setting once it is decided if this transformation should hoist or drop assumes (from or in otherwise empty blocks).


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

https://reviews.llvm.org/D103316

Files:
  llvm/lib/CodeGen/CodeGenPrepare.cpp
  llvm/lib/Transforms/Utils/SimplifyCFG.cpp
  llvm/test/Transforms/CodeGenPrepare/X86/delete-assume-dead-code.ll
  llvm/test/Transforms/CodeGenPrepare/X86/recursively-delete-dead-instructions.ll
  llvm/test/Transforms/CodeGenPrepare/X86/remove-assume-block.ll
  llvm/test/Transforms/CodeGenPrepare/X86/tailcall-assume-xbb.ll
  llvm/test/Transforms/InstCombine/assume-align.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D103316.348737.patch
Type: text/x-patch
Size: 12192 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210531/a955a7d7/attachment.bin>