[all-commits] [llvm/llvm-project] 9a4b30: [MLIR] Add support for defining and using Op speci...

[Rahul Joshi via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 9a4b30cf84298887f0a7bf70b865493d767abdc9
      https://github.com/llvm/llvm-project/commit/9a4b30cf84298887f0a7bf70b865493d767abdc9
  Author: Rahul Joshi <jurahul at google.com>
  Date:   2020-08-17 (Mon, 17 Aug 2020)

  Changed paths:
    M mlir/include/mlir/Pass/AnalysisManager.h
    M mlir/include/mlir/Pass/Pass.h
    M mlir/unittests/Pass/AnalysisManagerTest.cpp
    M mlir/unittests/Pass/CMakeLists.txt
    A mlir/unittests/Pass/PassManagerTest.cpp

  Log Message:
  -----------
  [MLIR] Add support for defining and using Op specific analysis

- Add variants of getAnalysis() and friends that operate on a specific derived
  operation types.
- Add OpPassManager::getAnalysis() to always call the base getAnalysis() with OpT.
- With this, an OperationPass can call getAnalysis<> using an analysis type that
  is generic (works on Operation *) or specific to the OpT for the pass. Anything
  else will fail to compile.
- Extend AnalysisManager unit test to test this, and add a new PassManager unit
  test to test this functionality in the context of an OperationPass.

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