AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.AttentionHeadLayoutSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/AttentionHeadLayoutSM86.alpha

1,710 lines162 declarations85.3 KiBSHA-256 ad8cef82929b
Download exact fileView at revisionf5034773ad4bb52133

def · lines 373–383

attentionHeadLayoutSM86Store

Full file
373def attentionHeadLayoutSM86Store =
374  (lambda unrestricted address : Byte .
375    (lambda unrestricted value : Byte .
376      (lambda unrestricted offset : (family SM86Unsigned32) .
377        (constructor
378          SM86InstructionBody
379          SM86StoreGlobal
380          (attentionHeadLayoutSM86R address)
381          (attentionHeadLayoutSM86R value)
382          offset
383          sm86SafeControl))))

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.