[PATCH] D84925: [SimpleLoopUnswitch] Preserve make.implicit in non-trivial unswitch if legal

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev created this revision.
mkazantsev added reviewers: asbirlea, aqjune, skatkov, fhahn, DaniilSuchkov, reames.
Herald added subscribers: llvm-commits, hiraditya.
Herald added a project: LLVM.
mkazantsev requested review of this revision.

We can preserve make.implicit metadata in the split block if it is
guaranteed that after following the branch we always reach the block
where processing of null case happens, which is equivalent to
"initial condition must execute if the loop is entered".


https://reviews.llvm.org/D84925

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D84925.281850.patch
Type: text/x-patch
Size: 7127 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200730/e924fe2a/attachment.bin>