[all-commits] [llvm/llvm-project] d35f7f: [mlir] Allow data flow analysis of non-control flo...

[Krzysztof Drewniak via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d35f7f254f6a5c666262ad41f9c36330c4728651
      https://github.com/llvm/llvm-project/commit/d35f7f254f6a5c666262ad41f9c36330c4728651
  Author: Krzysztof Drewniak <Krzysztof.Drewniak at amd.com>
  Date:   2022-04-25 (Mon, 25 Apr 2022)

  Changed paths:
    M mlir/include/mlir/Analysis/DataFlowAnalysis.h
    M mlir/lib/Analysis/DataFlowAnalysis.cpp
    A mlir/test/Analysis/test-data-flow.mlir
    M mlir/test/lib/Analysis/CMakeLists.txt
    A mlir/test/lib/Analysis/TestDataFlow.cpp
    M mlir/tools/mlir-opt/mlir-opt.cpp

  Log Message:
  -----------
  [mlir] Allow data flow analysis of non-control flow branch arguments

This commit adds the visitNonControlFlowArguments method to
DataFlowAnalysis, allowing analyses to provide lattice values for the
arguments to a RegionSuccessor block that aren't directly tied to an
op's inputs. For example, integer range interface can use this method
to infer bounds for the step values in loops.

This method has a default implementation that keeps the old behavior
of assigning a pessimistic fixedpoint state to all such arguments.

Reviewed By: Mogball, rriddle

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