[all-commits] [llvm/llvm-project] 8aaeee: [SimpleLoopUnswitch] Preserve make.implicit in non...

[max-azul via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 8aaeee5fb6d7c513d065e55b4bc2ad39bd6e760a
      https://github.com/llvm/llvm-project/commit/8aaeee5fb6d7c513d065e55b4bc2ad39bd6e760a
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2020-07-31 (Fri, 31 Jul 2020)

  Changed paths:
    M llvm/lib/Transforms/Scalar/SimpleLoopUnswitch.cpp
    M llvm/test/Transforms/SimpleLoopUnswitch/implicit-null-checks.ll

  Log Message:
  -----------
  [SimpleLoopUnswitch] Preserve make.implicit in non-trivial unswitch if legal

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".

Differential Revision: https://reviews.llvm.org/D84925
Reviewed By: asbirlea