[PATCH] D132055: [LoopInterchange][PR57148] Ensure LCSSA form after loop interchnange

[Congzhe Cao via Phabricator via llvm-commits]

congzhe created this revision.
congzhe added reviewers: bmahjour, Meinersbur, uabelho, LoopOptWG.
congzhe added projects: LoopOptWG, LLVM.
Herald added a subscriber: hiraditya.
Herald added a project: All.
congzhe requested review of this revision.
Herald added a subscriber: llvm-commits.

This patch resolves pr57148 (https://github.com/llvm/llvm-project/issues/57148) which is an assertion error due to of loss of LCSSA form after interchange.

In cases where the LCSSA form is not maintained after interchange (e.g., interchanging the middle loop and the outermost loop in the test case added in this patch), we change the IR to LCSSA form again.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D132055

Files:
  llvm/lib/Transforms/Scalar/LoopInterchange.cpp
  llvm/test/Transforms/LoopInterchange/pr57148.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D132055.453368.patch
Type: text/x-patch
Size: 5178 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220817/9c6c2fc3/attachment.bin>