[all-commits] [llvm/llvm-project] dd2c63: [MLIR] Introduce op trait PolyhedralScope

[Uday Bondhugula via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: dd2c639c3cd397dfef941186fb85c82e4e918425
      https://github.com/llvm/llvm-project/commit/dd2c639c3cd397dfef941186fb85c82e4e918425
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2020-04-28 (Tue, 28 Apr 2020)

  Changed paths:
    M mlir/docs/Dialects/Affine.md
    M mlir/docs/Traits.md
    M mlir/include/mlir/Dialect/Affine/IR/AffineOps.h
    M mlir/include/mlir/Dialect/Affine/IR/AffineOps.td
    M mlir/include/mlir/Dialect/Affine/IR/AffineOpsBase.td
    A mlir/include/mlir/Dialect/Affine/Traits.h
    M mlir/include/mlir/IR/Function.h
    M mlir/lib/Dialect/Affine/IR/AffineOps.cpp
    M mlir/test/Dialect/Affine/invalid.mlir
    M mlir/test/Dialect/Affine/ops.mlir
    M mlir/test/lib/Dialect/Test/TestDialect.cpp
    M mlir/test/lib/Dialect/Test/TestDialect.h
    M mlir/test/lib/Dialect/Test/TestOps.td

  Log Message:
  -----------
  [MLIR] Introduce op trait PolyhedralScope

Introduce op trait `PolyhedralScope` for ops to define a new scope for
polyhedral optimization / affine dialect purposes, thus generalizing
such scopes beyond FuncOp. Ops to which this trait is attached will
define a new scope for the consideration of SSA values as valid symbols
for the purposes of polyhedral analysis and optimization. Update methods
that check for dim/symbol validity to work based on this trait.

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