[mlir][Analysis] Introduce LoopInfo in mlir
authorChristian Ulmann <christian.ulmann@nextsilicon.com>
Wed, 5 Apr 2023 12:55:22 +0000 (12:55 +0000)
committerChristian Ulmann <christian.ulmann@nextsilicon.com>
Wed, 5 Apr 2023 12:57:16 +0000 (12:57 +0000)
commit1ef51e0452a473f404edc635412685fce6f61004
tree7c5e090f7820d0085ab4a10741ba36f45c0c92f0
parentd73d62c439fb1ecace5994170285da534d418173
[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
mlir/include/mlir/Analysis/CFGLoopInfo.h [new file with mode: 0644]
mlir/include/mlir/IR/RegionGraphTraits.h
mlir/lib/Analysis/CFGLoopInfo.cpp [new file with mode: 0644]
mlir/lib/Analysis/CMakeLists.txt
mlir/test/Analysis/test-cfg-loop-info.mlir [new file with mode: 0644]
mlir/test/lib/Analysis/CMakeLists.txt
mlir/test/lib/Analysis/TestCFGLoopInfo.cpp [new file with mode: 0644]
mlir/tools/mlir-opt/mlir-opt.cpp