From a6d33d3e3ce72d5f3a169d53d9fe0df99e3d9076 Mon Sep 17 00:00:00 2001 From: Chris B Date: Wed, 19 Aug 2026 17:58:08 -0500 Subject: [PATCH] [0035] Fix OuterProduct validation The OuterProduct operation's validation rules incorrectly assumed that interpreted packed types were supported (they are not). This corrects the validation rules. --- proposals/0035-linalg-matrix.md | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/proposals/0035-linalg-matrix.md b/proposals/0035-linalg-matrix.md index c351f0703..b83498f4f 100644 --- a/proposals/0035-linalg-matrix.md +++ b/proposals/0035-linalg-matrix.md @@ -1947,13 +1947,8 @@ Writes the outer product of the two input vectors into the provided matrix. The matrix scope must be `Thread`. Validation will ensure that: -* The `M` dimension of the matrix matches the length of vector `A`, or 1/4th the - length for packed types. -* The `N` dimension of the matrix matches the length of vector `B`, or 1/4th the - length for packed types. -* The element type of the matrix argument matches the element type of the input - vectors, or the input vectors are `i32` if the matrix uses types not directly - representable in DXIL. +* The `M` dimension of the matrix matches the length of vector `A`. +* The `N` dimension of the matrix matches the length of vector `B`. * The element type of vector A and vector B must be the same. * The matrix output type must be `Thread` scope.