[PATCH] D89569: [LoopVersioning] Form dedicated exits for versioned loop to preserve simplify form

[Ta-Wei Tu via Phabricator via llvm-commits]

TaWeiTu created this revision.
TaWeiTu added reviewers: asbirlea, fhahn, aeubanks, anemet.
Herald added subscribers: llvm-commits, hiraditya.
Herald added a project: LLVM.
TaWeiTu requested review of this revision.

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.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D89569

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D89569.298674.patch
Type: text/x-patch
Size: 8004 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201016/076d93bb/attachment.bin>