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 1490–1498

attentionHeadLayoutSM86RotatePlaneUnchecked

Full file
1490def attentionHeadLayoutSM86RotatePlaneUnchecked =
1491  (lambda unrestricted seq : Nat . (lambda unrestricted projectionWidth : Nat .
1492    (lambda unrestricted planeOffset : Nat .
1493      (attentionHeadLayoutSM86RotatePlaneEntry seq projectionWidth planeOffset
1494        (attentionHeadLayoutSM86RotatePlaneRead (byte 8)
1495          (attentionHeadLayoutSM86RotatePlaneWrite
1496            (attentionHeadLayoutSM86Next
1497              (constructor SM86InstructionBody SM86Exit sm86SafeControl)
1498              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.