[PATCH] D74648: [mlir][DeclarativeParser] Add support for the TypesMatchWith trait.

Fri Feb 14 13:52:48 PST 2020

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

This allows for injecting type constraints that are not direct 1-1 mappings, for example when one type is equal to the element type of another. This allows for moving over several more parsers to the declarative form.

Depends On D74647 <https://reviews.llvm.org/D74647>

Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D74648

Files:
  mlir/include/mlir/Dialect/StandardOps/Ops.td
  mlir/include/mlir/Dialect/VectorOps/VectorOps.td
  mlir/lib/Dialect/StandardOps/Ops.cpp
  mlir/lib/Dialect/VectorOps/VectorOps.cpp
  mlir/test/IR/invalid-ops.mlir
  mlir/tools/mlir-tblgen/OpFormatGen.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D74648.244762.patch
Type: text/x-patch
Size: 32714 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200214/6ff0bbef/attachment.bin>