spec: add getaddr (#16674)

This commit is contained in:
nimlgen 2026-06-19 15:37:33 +03:00 committed by GitHub
commit 97c2e7a3d9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 1 additions and 0 deletions

Binary file not shown.

View file

@ -227,6 +227,7 @@ Ternary & $(P, A, B)$
\midrule
\op{Barrier} & (deps\ldots) & --- & Synchronize threads within a workgroup. \\
\op{Ins} & \ldots & \ldots & A single machine instruction (e.g.\ AMD ISA). \\
\op{GetAddr} & (buf, dev) & --- & Lower buf to its address on device dev. \\
\op{Special} & (bound,) & name & GPU thread/workgroup index (e.g.\ \texttt{gidx0}, \texttt{lidx1}). \\
\op{If} & (gate,) & --- & Begin conditional execution block. \\
\op{Endif} & (if,) & --- & End conditional execution block. \\