Page MenuHomePhabricator

[mlir][ODS] Add new RangedTypesMatchWith operation predicate
ClosedPublic

Authored by rriddle on Jan 12 2021, 6:29 PM.

Details

Summary

This is a variant of TypesMatchWith that provides support for variadic arguments. This is necessary because ranges generally can't use the default operator== comparators for checking equality.

Diff Detail

Event Timeline

rriddle created this revision.Jan 12 2021, 6:29 PM
rriddle requested review of this revision.Jan 12 2021, 6:29 PM
mehdi_amini accepted this revision.Jan 14 2021, 11:13 AM
mehdi_amini added inline comments.
mlir/include/mlir/IR/OpBase.td
2195

Missing closing backquote?

This revision is now accepted and ready to land.Jan 14 2021, 11:13 AM
This revision was automatically updated to reflect the committed changes.
rriddle marked an inline comment as done.