[all-commits] [llvm/llvm-project] 1ef51e: [mlir][Analysis] Introduce LoopInfo in mlir

[Christian Ulmann via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1ef51e0452a473f404edc635412685fce6f61004
      https://github.com/llvm/llvm-project/commit/1ef51e0452a473f404edc635412685fce6f61004
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2023-04-05 (Wed, 05 Apr 2023)

  Changed paths:
    A mlir/include/mlir/Analysis/CFGLoopInfo.h
    M mlir/include/mlir/IR/RegionGraphTraits.h
    A mlir/lib/Analysis/CFGLoopInfo.cpp
    M mlir/lib/Analysis/CMakeLists.txt
    A mlir/test/Analysis/test-cfg-loop-info.mlir
    M mlir/test/lib/Analysis/CMakeLists.txt
    A mlir/test/lib/Analysis/TestCFGLoopInfo.cpp
    M mlir/tools/mlir-opt/mlir-opt.cpp

  Log Message:
  -----------
  [mlir][Analysis] Introduce LoopInfo in mlir

This commit introduces an instantiation of LLVM's LoopInfo for CFGs in
MLIR. To test the LoopInfo, a test pass is added the checks the analysis
results for a set of CFGs.

Reviewed By: ftynse

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