[mlir] Correct verifyCompatibleShapes
authorTres Popp <tpopp@google.com>
Wed, 10 Mar 2021 11:55:29 +0000 (12:55 +0100)
committerTres Popp <tpopp@google.com>
Thu, 11 Mar 2021 12:04:10 +0000 (13:04 +0100)
commit25a20b8aa68e6fa6129f1ce4d0125365f399b59d
treee3f3da4fb540164b58b97b139e9675366d634922
parentb8c58374f66b2a03ff3f48c419037d463c5b80ed
[mlir] Correct verifyCompatibleShapes

verifyCompatibleShapes is not transitive. Create an n-ary version and
update SameOperandShapes and SameOperandAndResultShapes traits to use
it.

Differential Revision: https://reviews.llvm.org/D98331
mlir/include/mlir/IR/TypeUtilities.h
mlir/lib/IR/Operation.cpp
mlir/lib/IR/TypeUtilities.cpp
mlir/test/IR/traits.mlir