[all-commits] [llvm/llvm-project] 28fe1a: [mlir] Add trait SameOperandsAndResultRank

[Tai Ly via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 28fe1a4e5e8af39a6a0fa253b3538cb0905069dc
      https://github.com/llvm/llvm-project/commit/28fe1a4e5e8af39a6a0fa253b3538cb0905069dc
  Author: Tai Ly <tai.ly at arm.com>
  Date:   2023-09-07 (Thu, 07 Sep 2023)

  Changed paths:
    M mlir/include/mlir/IR/OpDefinition.h
    M mlir/include/mlir/Interfaces/InferTypeOpInterface.td
    M mlir/lib/IR/Operation.cpp
    M mlir/test/lib/Dialect/Test/TestOps.td
    M mlir/test/mlir-tblgen/types.mlir

  Log Message:
  -----------
  [mlir] Add trait SameOperandsAndResultRank

This adds a native op trait SameOperandsAndResultRank
and associated verifier that checks that an operator's
operands and result types have same ranks if their ranks
are known.

Signed-off-by: Tai Ly <tai.ly at arm.com>
Change-Id: I2d536f77be10f3710d0c8d84c907ff492a984fda

Reviewed By: rsuderman

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