[Mlir-commits] [mlir] [mlir][Vector] Update docs for vector.contract extension semantics (PR #118598)

[Kunwar Grover]

https://github.com/Groverkss created https://github.com/llvm/llvm-project/pull/118598

This PR clarifies vector.contract extension semantics for floating point types. These added semantics are the ones currently assumed by vector.contract lowerings. Also clarifies that this is a conservative choice, and we would possibly like to extend this in future.

>From 58a05de688090ec755de6aa33b229c714c4e1b80 Mon Sep 17 00:00:00 2001
From: Kunwar Grover <groverkss at gmail.com>
Date: Wed, 4 Dec 2024 06:56:08 +0000
Subject: [PATCH] [mlir][Vector] Update docs for vector.contract extension
 semantics

---
 mlir/include/mlir/Dialect/Vector/IR/VectorOps.td | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/mlir/include/mlir/Dialect/Vector/IR/VectorOps.td b/mlir/include/mlir/Dialect/Vector/IR/VectorOps.td
index d35847034cb125..e42f13f94f1fb0 100644
--- a/mlir/include/mlir/Dialect/Vector/IR/VectorOps.td
+++ b/mlir/include/mlir/Dialect/Vector/IR/VectorOps.td
@@ -58,7 +58,10 @@ def Vector_ContractionOp :
     If operands and the result have types of different bitwidths, operands are
     promoted to have the same bitwidth as the result before performing the
     contraction. For integer types, only signless integer types are supported,
-    and the promotion happens via sign extension.
+    and the promotion happens via sign extension. For floating types, promotion
+    does not consider any fast math / denormal flags. These promotion semantics
+    are restricted choices for now, and in future we would like to extend
+    the operation to carry per-operand extension attributes.
 
     An iterator type attribute list must be specified, where each element of
     the list represents an iterator with one of the following types: