[all-commits] [llvm/llvm-project] ab7019: [mlir] Swap integer range inference to the new fra...

[Jeff Niu via All-commits]

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

  Changed paths:
    A mlir/include/mlir/Analysis/DataFlow/IntegerRangeAnalysis.h
    M mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h
    M mlir/include/mlir/Analysis/DataFlowFramework.h
    R mlir/include/mlir/Analysis/IntRangeAnalysis.h
    M mlir/include/mlir/Interfaces/InferIntRangeInterface.td
    M mlir/lib/Analysis/CMakeLists.txt
    M mlir/lib/Analysis/DataFlow/DeadCodeAnalysis.cpp
    A mlir/lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp
    M mlir/lib/Analysis/DataFlow/SparseAnalysis.cpp
    M mlir/lib/Analysis/DataFlowFramework.cpp
    R mlir/lib/Analysis/IntRangeAnalysis.cpp
    M mlir/lib/Dialect/Arithmetic/Transforms/UnsignedWhenEquivalent.cpp
    M mlir/lib/Transforms/SCCP.cpp
    M mlir/test/lib/Analysis/DataFlow/TestDeadCodeAnalysis.cpp
    M mlir/test/lib/Transforms/TestIntRangeInference.cpp

  Log Message:
  -----------
  [mlir] Swap integer range inference to the new framework

Integer range inference has been swapped to the new framework. The integer value range lattices automatically updates the corresponding constant value on update.

Depends on D127173

Reviewed By: krzysz00, rriddle

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