[PATCH] D106041: [WIP][SimpleLoopUnswitch] Re-fix introduction of UB when hoisted condition may be undef or poison

[Hyeongyu Kim via Phabricator via llvm-commits]

hyeongyukim updated this revision to Diff 364952.
hyeongyukim edited the summary of this revision.
hyeongyukim added a comment.

If Cond is not one-use, `pushFreezeToPreventPoisonFromPropagating` is not working, so the Freeze cannot be pushed.
Unpushed freezes are disturbing SimplyCFG, so I changed all uses of Cond to use Cond.fr.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D106041

Files:
  llvm/lib/Transforms/Scalar/SimpleLoopUnswitch.cpp
  llvm/test/Transforms/SimpleLoopUnswitch/ARM/nontrivial-unswitch-cost.ll
  llvm/test/Transforms/SimpleLoopUnswitch/implicit-null-checks.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D106041.364952.patch
Type: text/x-patch
Size: 9402 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210807/aa16bc59/attachment.bin>