[PATCH] D101943: [LoopNest] Consider loop nest with inner loop guard using outer loop induction variable to be perfect

[Whitney Tsang via Phabricator via llvm-commits]

Whitney created this revision.
Whitney added reviewers: bmahjour, Meinersbur, fhahn, sidbav.
Whitney added a project: LLVM.
Herald added a subscriber: hiraditya.
Whitney requested review of this revision.
Herald added a subscriber: llvm-commits.

This patch allow more conditional branches to be considered as loop guard, and so more loop nests can be considered perfect.

Unable to select `update an existing revision`, but this is a continuation of https://reviews.llvm.org/D94717.
The original author `sidbav` has delegated this work to me.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D101943

Files:
  llvm/include/llvm/Analysis/LoopNestAnalysis.h
  llvm/lib/Analysis/LoopInfo.cpp
  llvm/lib/Analysis/LoopNestAnalysis.cpp
  llvm/test/Analysis/LoopNestAnalysis/imperfectnest.ll
  llvm/test/Analysis/LoopNestAnalysis/perfectnest.ll
  llvm/unittests/Analysis/LoopInfoTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D101943.343174.patch
Type: text/x-patch
Size: 14692 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210505/4adb7f72/attachment.bin>