[PATCH] D73735: [mlir] Initial support for type constraints in the declarative assembly format

[River Riddle via Phabricator via llvm-commits]

rriddle created this revision.
rriddle added a reviewer: antiagainst.
Herald added subscribers: llvm-commits, liufengdb, lucyrfox, mgester, arpith-jacob, shauheen, burmako, jpienaar, mehdi_amini.
Herald added a reviewer: mravishankar.
Herald added a reviewer: nicolasvasilache.
Herald added a reviewer: nicolasvasilache.
Herald added a project: LLVM.

This revision add support for accepting a few type constraints, e.g. AllTypesMatch, when inferring types for operands and results. This is used to remove the c++ parsers for several additional operations.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D73735

Files:
  mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td
  mlir/include/mlir/Dialect/SPIRV/SPIRVBitOps.td
  mlir/include/mlir/Dialect/SPIRV/SPIRVLogicalOps.td
  mlir/include/mlir/Dialect/VectorOps/VectorOps.td
  mlir/include/mlir/IR/OpBase.td
  mlir/include/mlir/TableGen/OpTrait.h
  mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp
  mlir/lib/Dialect/SPIRV/SPIRVOps.cpp
  mlir/lib/Dialect/VectorOps/VectorOps.cpp
  mlir/test/Dialect/SPIRV/ops.mlir
  mlir/test/mlir-tblgen/op-format-spec.td
  mlir/tools/mlir-tblgen/OpFormatGen.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D73735.241540.patch
Type: text/x-patch
Size: 31156 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200130/45c002b2/attachment-0001.bin>