2583def skProjectionEpilogue = (lambda unrestricted width : Nat . (lambda unrestricted seq : Nat . (lambda unrestricted tail : (family SM86Program) .
2584 (saMovConst (skTmp 0) (saArgument 11)
2585 (saFor 32 (lambda unrestricted i : Nat .
2586 (saFmul (naturalAdd 116 i) (naturalAdd 116 i) (skTmp 0) (naturalSelect (naturalIsZero i) saWait3 saWaitNone)))
2587 (saShr skpElement saScratch 2
2588 (saMovImm skpColumn 63
2589 (saAnd skpColumn skpElement skpColumn
2590 (saShr skpRow skpElement 6
2591 (saMovImm skpPosition (naturalSaturatingSubtract seq 1)
2592 (saAnd skpPosition skpRow skpPosition
2593 (saShr skpHead skpRow (sqrLog2 seq)
2594 (saImad skpOutput skpPosition width skpColumn
2595 (saImad skpOutput skpHead saHeadWidth skpOutput
2596 (saMovImm skpBytes 4
2597 (saWide skpPointer skpOutput skpBytes (saArgument 8)
2598 (saWide skpValuePointer skpOutput skpBytes (saArgument 9)
2599 (saMovImm skpBytes saHalfBytes
2600 (saWide skpHalfPointer skpOutput skpBytes (saArgument streamingAttentionKeyProjectionHalfArgument)
2601 (saWide skpValueHalfPointer skpOutput skpBytes (saArgument streamingAttentionKeyProjectionValueHalfArgument)
2602 (skpStorePairs width skDK skpPacked skpPointer skpHalfPointer
2603 (skpStorePairs width skDV skpValuePacked skpValuePointer skpValueHalfPointer
2604 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.