[all-commits] [llvm/llvm-project] 480345: [MLIR] Introduce op trait PolyhedralScope (revised)

[Uday Bondhugula via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 480345381a3ec9b067bbccc509e2462c10cfc9e3
      https://github.com/llvm/llvm-project/commit/480345381a3ec9b067bbccc509e2462c10cfc9e3
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2020-04-29 (Wed, 29 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/IR/Function.h
    M mlir/include/mlir/IR/Module.h
    M mlir/include/mlir/IR/OpBase.td
    M mlir/include/mlir/IR/OpDefinition.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/TestOps.td

  Log Message:
  -----------
  [MLIR] Introduce op trait PolyhedralScope (revised)

(A previous version of this, dd2c639c3cd397dfef941186fb85c82e4e918425, was
reverted.)

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/D79060