[mlir][vector] Clarify vector.contract promotion behavior
authorLei Zhang <antiagainst@google.com>
Tue, 31 Jan 2023 00:05:19 +0000 (00:05 +0000)
committerLei Zhang <antiagainst@google.com>
Tue, 31 Jan 2023 00:08:26 +0000 (00:08 +0000)
commitd3ddbe153e4ce1377653c8fb2936334bf9d105cf
tree4ee2bc50583376dbc840572ea3323d46a44587e1
parent9f5d881206ce24f6f1e6ca35aeaaf1b6f6fc3c66
[mlir][vector] Clarify vector.contract promotion behavior

This commit updates vector.contract documentation to clarify
the promotion behavior if operands and the result have different
bitwidths. It also adds a check to disable signed/unsigned integer
types and only allow signless integers.

Reviewed By: ThomasRaoux

Differential Revision: https://reviews.llvm.org/D142915
mlir/include/mlir/Dialect/Vector/IR/VectorOps.td
mlir/lib/Dialect/Vector/IR/VectorOps.cpp
mlir/test/Dialect/Vector/invalid.mlir