[all-commits] [llvm/llvm-project] 31f40f: [mlir] Add simple generator for return types

[Jacques Pienaar via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 31f40f603d0c00b313397196124c5f39090badf0
      https://github.com/llvm/llvm-project/commit/31f40f603d0c00b313397196124c5f39090badf0
  Author: Jacques Pienaar <jpienaar at google.com>
  Date:   2020-05-27 (Wed, 27 May 2020)

  Changed paths:
    M mlir/docs/OpDefinitions.md
    M mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
    M mlir/include/mlir/TableGen/Attribute.h
    M mlir/include/mlir/TableGen/Operator.h
    M mlir/lib/Dialect/Shape/IR/Shape.cpp
    M mlir/lib/TableGen/Attribute.cpp
    M mlir/lib/TableGen/Operator.cpp
    M mlir/test/lib/Dialect/Test/TestOps.td
    M mlir/test/mlir-tblgen/op-decl.td
    M mlir/test/mlir-tblgen/types.mlir
    M mlir/tools/mlir-tblgen/OpDefinitionsGen.cpp

  Log Message:
  -----------
  [mlir] Add simple generator for return types

Take advantage of equality constrains to generate the type inference interface.
This is used for equality and trivially built types. The type inference method
is only generated when no type inference trait is specified already.

This reorders verification that changes some test error messages.

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