[all-commits] [llvm/llvm-project] 9dea11: [mlir] Add a generic data-flow analysis framework

[Jeff Niu via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9dea11728340e54e1fde76320b61a559148c8a3e
      https://github.com/llvm/llvm-project/commit/9dea11728340e54e1fde76320b61a559148c8a3e
  Author: Mogball <jeffniu22 at gmail.com>
  Date:   2022-06-14 (Tue, 14 Jun 2022)

  Changed paths:
    A mlir/include/mlir/Analysis/DataFlowFramework.h
    M mlir/lib/Analysis/CMakeLists.txt
    A mlir/lib/Analysis/DataFlowFramework.cpp
    A mlir/test/Analysis/test-foo-analysis.mlir
    M mlir/test/lib/Analysis/CMakeLists.txt
    A mlir/test/lib/Analysis/TestDataFlowFramework.cpp
    M mlir/tools/mlir-opt/mlir-opt.cpp
    M utils/bazel/llvm-project-overlay/mlir/BUILD.bazel
    M utils/bazel/llvm-project-overlay/mlir/test/BUILD.bazel

  Log Message:
  -----------
  [mlir] Add a generic data-flow analysis framework

This patch introduces a generic data-flow analysis framework to MLIR. The framework implements a fixed-point iteration algorithm and a dependency graph between lattice states and analysis. Lattice states and points are fully extensible to support highly-customizable analyses.

Reviewed By: phisiart, rriddle

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