[all-commits] [llvm/llvm-project] 060a4f: [LoopVersioning] Form dedicated exits for versione...

[Ta-Wei Tu via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 060a4fccf101b120cc9c36d4aa1041ee07044766
      https://github.com/llvm/llvm-project/commit/060a4fccf101b120cc9c36d4aa1041ee07044766
  Author: TaWeiTu <tu.da.wei at gmail.com>
  Date:   2020-10-24 (Sat, 24 Oct 2020)

  Changed paths:
    M llvm/lib/Transforms/Utils/LoopVersioning.cpp
    M llvm/test/Transforms/LoopDistribute/basic-with-memchecks.ll
    M llvm/test/Transforms/LoopDistribute/followup.ll
    M llvm/test/Transforms/LoopDistribute/outside-use.ll
    M llvm/test/Transforms/LoopDistribute/scev-inserted-runtime-check.ll
    M llvm/test/Transforms/LoopVersioning/add-phi-update-users.ll
    M llvm/test/Transforms/LoopVersioning/basic.ll
    M llvm/test/Transforms/LoopVersioning/incorrect-phi.ll

  Log Message:
  -----------
  [LoopVersioning] Form dedicated exits for versioned loop to preserve simplify form

The exit blocks of the versioned and non-versioned loops are not dedicated and thus the two loops are not in simplify form.
Insert dummy exit blocks after loop versioning with `formDedicatedExits()` to preserve the simplify form for subsequence passes.

Reviewed By: aeubanks

Differential Revision: https://reviews.llvm.org/D89569