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 1545–1553

attentionHeadLayoutSM86InverseRotatePlaneUnchecked

Full file
1545def attentionHeadLayoutSM86InverseRotatePlaneUnchecked =
1546  (lambda unrestricted seq : Nat . (lambda unrestricted projectionWidth : Nat .
1547    (lambda unrestricted planeOffset : Nat .
1548      (attentionHeadLayoutSM86RotatePlaneEntry seq projectionWidth planeOffset
1549        (attentionHeadLayoutSM86RotatePlaneRead (byte 36)
1550          (attentionHeadLayoutSM86InverseRotatePlaneWrite
1551            (attentionHeadLayoutSM86Next
1552              (constructor SM86InstructionBody SM86Exit sm86SafeControl)
1553              attentionHeadLayoutSM86End)))))))

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.