[all-commits] [llvm/llvm-project] c095af: [mlir] Add Dead Code Analysis

[Jeff Niu via All-commits]

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

  Changed paths:
    A mlir/include/mlir/Analysis/DataFlow/ConstantPropagationAnalysis.h
    A mlir/include/mlir/Analysis/DataFlow/DeadCodeAnalysis.h
    A mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h
    M mlir/include/mlir/Analysis/DataFlowAnalysis.h
    M mlir/include/mlir/Analysis/DataFlowFramework.h
    M mlir/lib/Analysis/CMakeLists.txt
    A mlir/lib/Analysis/DataFlow/ConstantPropagationAnalysis.cpp
    A mlir/lib/Analysis/DataFlow/DeadCodeAnalysis.cpp
    A mlir/lib/Analysis/DataFlow/SparseAnalysis.cpp
    A mlir/test/Analysis/DataFlow/test-dead-code-analysis.mlir
    M mlir/test/lib/Analysis/CMakeLists.txt
    A mlir/test/lib/Analysis/DataFlow/TestDeadCodeAnalysis.cpp
    M mlir/tools/mlir-opt/mlir-opt.cpp

  Log Message:
  -----------
  [mlir] Add Dead Code Analysis

This patch implements the analysis state classes needed for sparse data-flow analysis and implements a dead-code analysis using those states to determine liveness of blocks, control-flow edges, region predecessors, and function callsites.

Depends on D126751

Reviewed By: rriddle, phisiart

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