[all-commits] [llvm/llvm-project] 1006ac: [LoopNest] Consider loop nest with inner loop guar...

[whitneywhtsang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1006ac3963eaf39153d6637b631662e87ebf3b4d
      https://github.com/llvm/llvm-project/commit/1006ac3963eaf39153d6637b631662e87ebf3b4d
  Author: Whitney Tsang <whitneyt at ca.ibm.com>
  Date:   2021-05-07 (Fri, 07 May 2021)

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

  Log Message:
  -----------
  [LoopNest] Consider loop nest with inner loop guard using outer loop
induction variable to be perfect

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

Reviewed By: bmahjour, sidbav

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