P^T = 2^(t - L), dS^T = P^T (dP^T - D), in S^T's registers
908def skScoreGradient = (lambda unrestricted tail : (family SM86Program) .
909 (saFor 16 (lambda unrestricted i : Nat .
910 (let unrestricted nt = (naturalDivideUnchecked i 4) in (let unrestricted h = (naturalDivideUnchecked (naturalModuloUnchecked i 4) 2) in
911 (let unrestricted b = (naturalModuloUnchecked i 2) in
912 (let unrestricted e = (saElem (skS nt) h b) in
913 (lambda unrestricted rest : (family SM86Program) .
914 (saFfma e e saScale (skNegL nt b)
915 (saEx2 e e saWaitNone rest))))))))
916 -- P^T's fragments, before dS^T replaces it
917 (saFor 2 (lambda unrestricted kk : Nat .
918 (let unrestricted left = (skS (naturalMultiply 2 kk)) in (let unrestricted right = (skS (succ (naturalMultiply 2 kk))) in
919 (lambda unrestricted rest : (family SM86Program) .
920 (saOp (constructor SM86InstructionBody SM86FloatPairToPackedHalfPair (saR (skPA kk)) (saR (succ left)) (saR left)
921 (saAfter (naturalSelect (naturalIsZero kk) saWait4 saWaitNone)))
922 (saPack (succ (skPA kk)) (naturalAdd left 3) (naturalAdd left 2)
923 (saPack (naturalAdd (skPA kk) 2) (succ right) right
924 (saPack (naturalAdd (skPA kk) 3) (naturalAdd right 3) (naturalAdd right 2)
925 rest))))))))
926 (saFor 16 (lambda unrestricted i : Nat .
927 (let unrestricted nt = (naturalDivideUnchecked i 4) in (let unrestricted h = (naturalDivideUnchecked (naturalModuloUnchecked i 4) 2) in
928 (let unrestricted b = (naturalModuloUnchecked i 2) in
929 (let unrestricted e = (saElem (skS nt) h b) in (let unrestricted g = (saElem (skDP nt) h b) in
930 (lambda unrestricted rest : (family SM86Program) .
931 (saFadd g g (skNegD nt b) saWaitNone
932 (saFmul e e g saWaitNone rest)))))))))
933 (saFor 2 (lambda unrestricted kk : Nat .
934 (let unrestricted left = (skS (naturalMultiply 2 kk)) in (let unrestricted right = (skS (succ (naturalMultiply 2 kk))) in
935 (lambda unrestricted rest : (family SM86Program) .
936 (saPack (skSA kk) (succ left) left
937 (saPack (succ (skSA kk)) (naturalAdd left 3) (naturalAdd left 2)
938 (saPack (naturalAdd (skSA kk) 2) (succ right) right
939 (saPack (naturalAdd (skSA kk) 3) (naturalAdd right 3) (naturalAdd right 2)
940 rest))))))))
941 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.