Skip to content

[0029] Updates to Bound's checking behavior text: BC done at matrix/vector granularity. #567

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
+25 −8
Open

[0029] Updates to Bound's checking behavior text: BC done at matrix/vector granularity. #567

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
aa9d94d
Updates per Tex's feedback
anupamachandra Jul 16, 2025
aaac5de
Update no BC resource behavior
anupamachandra Jul 16, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
33 changes: 25 additions & 8 deletions proposals/0029-cooperative-vector.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -249,9 +249,13 @@ row/column of the matrix is valid memory.

The **matrix stride** is 16-byte aligned.

This operation doesn't perform bounds checking for matrix loads. If any part of
the matrix load is out of bounds then the entire matrix load will return zero.
When the **matrix resource** has bounds checking, bounds are only checked at
matrix granularity. If any part of the matrix load is out of bounds then the
entire matrix load will return zero.

If the **matrix resource** does not have bounds checking, such as when it is
supplied through a root descriptor, and any part of the matrix load is out of
bounds, the operation is undefined.

##### Bias Vector

Expand All @@ -265,8 +269,13 @@ Only non-packed interpretations are valid for bias vectors.
The base address of **bias vector resource** and **bias vector offset** must be
64-byte aligned.

This operation doesn't perform bounds checking for bias loads. If any part of
the vector load is out of bounds then the entire vector load will return zero.
When the **bias vector resource** has bounds checking, bounds are only checked
at bias vector granularity. If any part of the bias vector load is out of bounds
then the entire bias vector load will return zero.

If the **bias vector resource** does not have bounds checking, such as when it
is supplied through a root descriptor, and any part of the bias vector load is
out of bounds, the operation is undefined.

#### Return Type

Expand Down Expand Up @@ -336,8 +345,12 @@ row/column of the matrix is valid memory. Implementations may write to the
contents of the padding between the end of the matrix and the 16-byte boundary,
so developers should not use this padding space for anything else.

If any part of the matrix write is out-of-bounds, the whole operation is
skipped.
When the **matrix resource** has bounds checking, if any part of the matrix
write is out-of-bounds, the whole operation is skipped.

If the **matrix resource** does not have bounds checking, such as when it is
supplied through a root descriptor, and any part of the matrix store is out of
bounds, the operation is undefined.

Not all combinations of vector element type and matrix interpretations are
supported by all implementations. [CheckFeatureSupport] can be used to
Expand Down Expand Up @@ -386,8 +399,12 @@ Implementations may write to the contents of the padding between the end of the
matrix and the 16-byte boundary, so developers should not use this padding space
for anything else.

If any part of the vector write is out-of-bounds, the whole operation is
skipped.
When the **output array resource** bas bounds checking, if any part of the
output array write is out-of-bounds, the whole operation is skipped.

If the **output array resource** does not have bounds checking, such as when it
is supplied through a root descriptor, and any part of the bias vector store is
out of bounds, the operation is undefined.

[CheckFeatureSupport] can be used to determine which vector element types can be
accumulated. A list of types that are guaranteed to be supported on all devices
Expand Down