diff options
| author | River Riddle <riddleriver@gmail.com> | 2020-02-19 10:18:28 -0800 |
|---|---|---|
| committer | River Riddle <riddleriver@gmail.com> | 2020-02-19 10:18:58 -0800 |
| commit | 6b6c96695c0054ebad6816171ef89d5cb76a058b (patch) | |
| tree | 1007023f01832af16fdb7692db3b3d54093570be /llvm/lib/CodeGen/MachineLoopInfo.cpp | |
| parent | df590f51b62d57c19f8cae8e87c1641dc0382f55 (diff) | |
| download | llvm-6b6c96695c0054ebad6816171ef89d5cb76a058b.zip llvm-6b6c96695c0054ebad6816171ef89d5cb76a058b.tar.gz llvm-6b6c96695c0054ebad6816171ef89d5cb76a058b.tar.bz2 | |
[mlir][ODS] Add a new trait `TypesMatchWith`
Summary:
This trait takes three arguments: lhs, rhs, transformer. It verifies that the type of 'rhs' matches the type of 'lhs' when the given 'transformer' is applied to 'lhs'. This allows for adding constraints like: "the type of 'a' must match the element type of 'b'". A followup revision will add support in the declarative parser for using these equality constraints to port more c++ parsers to the declarative form.
Differential Revision: https://reviews.llvm.org/D74647
Diffstat (limited to 'llvm/lib/CodeGen/MachineLoopInfo.cpp')
0 files changed, 0 insertions, 0 deletions