[all-commits] [llvm/llvm-project] 4e98d6: [mlir] Implement backward dataflow.

[Matthias Kramm via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4e98d611ef67e46e60743b8429bad5eb531a1e7c
      https://github.com/llvm/llvm-project/commit/4e98d611ef67e46e60743b8429bad5eb531a1e7c
  Author: Matthias Kramm <kramm at google.com>
  Date:   2022-12-13 (Tue, 13 Dec 2022)

  Changed paths:
    M mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h
    M mlir/lib/Analysis/DataFlow/SparseAnalysis.cpp
    A mlir/test/Analysis/DataFlow/test-written-to.mlir
    M mlir/test/lib/Analysis/CMakeLists.txt
    A mlir/test/lib/Analysis/DataFlow/TestBackwardDataFlowAnalysis.cpp
    M mlir/tools/mlir-opt/mlir-opt.cpp

  Log Message:
  -----------
  [mlir] Implement backward dataflow.

This enables interprocedural lifeness analysis, very busy expression
analysis, etc.

Reviewed By: Mogball

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