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 1453–1470

attentionHeadLayoutSM86RotatePlaneRead

Full file
1453def attentionHeadLayoutSM86RotatePlaneRead =
1454  (lambda unrestricted inputIndex : Byte . (lambda unrestricted tail : (family SM86Program) .
1455    (attentionHeadLayoutSM86Next
1456      (attentionHeadLayoutSM86Wide (byte 10) inputIndex (byte 4) attentionHeadLayoutSM86InputPointer)
1457    (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Load (byte 12) (byte 10) attentionHeadLayoutSM86U0)
1458    (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Load (byte 13) (byte 10) attentionHeadLayoutSM86U4)
1459    (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Load (byte 14) (byte 10) attentionHeadLayoutSM86U128)
1460    (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Load (byte 15) (byte 10) attentionHeadLayoutSM86U132)
1461    (attentionHeadLayoutSM86Next
1462      (attentionHeadLayoutSM86Wide (byte 22) (byte 20) (byte 4) attentionHeadLayoutSM86CosinePointer)
1463    (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Load (byte 24) (byte 22) attentionHeadLayoutSM86U0)
1464    (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Load (byte 25) (byte 22) attentionHeadLayoutSM86U4)
1465    (attentionHeadLayoutSM86Next
1466      (attentionHeadLayoutSM86Wide (byte 26) (byte 20) (byte 4) attentionHeadLayoutSM86SinePointer)
1467    (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Load (byte 28) (byte 26) attentionHeadLayoutSM86U0)
1468    (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Load (byte 29) (byte 26) attentionHeadLayoutSM86U4)
1469    (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Move (byte 5) attentionHeadLayoutSM86U0)
1470      tail))))))))))))))

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.