R8 is the projection element, R20 the table element, R36 the output
element. They are derived from the shape and the CTA coordinates.
1408def attentionHeadLayoutSM86RotatePlaneEntry =
1409 (lambda unrestricted seq : Nat . (lambda unrestricted projectionWidth : Nat .
1410 (lambda unrestricted planeOffset : Nat . (lambda unrestricted tail : (family SM86Program) .
1411 (attentionHeadLayoutSM86RotatePlaneSpecial (byte 0)
1412 (constructor SM86SpecialRegister SM86ThreadIdX)
1413 (attentionHeadLayoutSM86RotatePlaneSpecial (byte 1)
1414 (constructor SM86SpecialRegister SM86CooperativeThreadArrayIdX)
1415 (attentionHeadLayoutSM86RotatePlaneSpecial (byte 2)
1416 (constructor SM86SpecialRegister SM86CooperativeThreadArrayIdY)
1417 (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Move (byte 4) attentionHeadLayoutSM86U4)
1418 (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Move (byte 7) attentionHeadLayoutSM86U0)
1419 (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Move (byte 9) attentionHeadLayoutSM86U2)
1420 (attentionHeadLayoutSM86Next (attentionHeadLayoutSM86Move (byte 15) attentionHeadLayoutSM86U15)
1421 (attentionHeadLayoutSM86Next
1422 (constructor SM86InstructionBody SM86MoveImmediate
1423 (attentionHeadLayoutSM86R (byte 5)) attentionHeadLayoutSM86U0 attentionHeadLayoutSM86WaitSpecials)
1424 (attentionHeadLayoutSM86Next
1425 (constructor SM86InstructionBody SM86ShiftRightImmediate
1426 (attentionHeadLayoutSM86R (byte 6)) (attentionHeadLayoutSM86R (byte 0)) (byte 4) sm86SafeControl)
1427 (attentionHeadLayoutSM86Next
1428 (constructor SM86InstructionBody SM86LogicThreeInputTruthTable
1429 (attentionHeadLayoutSM86R (byte 3)) (attentionHeadLayoutSM86R (byte 0))
1430 (attentionHeadLayoutSM86R (byte 15)) (byte 192) sm86SafeControl)
1431 (attentionHeadLayoutSM86Next
1432 (attentionHeadLayoutSM86IMAD (byte 1) (byte 1)
1433 (attentionHeadLayoutSM86RotatePlaneWord 16) (byte 6))
1434 (attentionHeadLayoutSM86Next
1435 (attentionHeadLayoutSM86IMAD (byte 3) (byte 3) attentionHeadLayoutSM86U2 (byte 7))
1436 (attentionHeadLayoutSM86Next
1437 (attentionHeadLayoutSM86Move (byte 6) (attentionHeadLayoutSM86RotatePlaneWord planeOffset))
1438 (attentionHeadLayoutSM86Next
1439 (attentionHeadLayoutSM86IMAD (byte 8) (byte 1) (attentionHeadLayoutSM86RotatePlaneWord projectionWidth) (byte 6))
1440 (attentionHeadLayoutSM86Next
1441 (attentionHeadLayoutSM86IMAD (byte 8) (byte 2) attentionHeadLayoutSM86U64 (byte 8))
1442 (attentionHeadLayoutSM86Next
1443 (attentionHeadLayoutSM86IMAD (byte 8) (byte 3) attentionHeadLayoutSM86U1 (byte 8))
1444 (attentionHeadLayoutSM86Next
1445 (attentionHeadLayoutSM86IMAD (byte 20) (byte 1) attentionHeadLayoutSM86U32 (byte 3))
1446 (attentionHeadLayoutSM86Next
1447 (attentionHeadLayoutSM86IMAD (byte 36) (byte 1) attentionHeadLayoutSM86U64 (byte 3))
1448 (attentionHeadLayoutSM86Next
1449 (attentionHeadLayoutSM86IMAD (byte 36) (byte 2)
1450 (attentionHeadLayoutSM86RotatePlaneWord (naturalMultiply seq 64)) (byte 36))
1451 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.