===========================================================================
The query pass with K and V staged in shared memory, as the forward above.
dQ's B fragments (K^T's rows in the register kernel) are the shared K
tile read transposed (LDSM.T: the same keys and columns in the same
lanes), so a buffer holds K's and V's rows only and two fit two blocks.
Registers: the loop no longer names R6, R7, R10..R13, R180..R183 or R194.
1619def sqsOffset = (lambda unrestricted i : Nat . (naturalAdd 10 i))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.