the second inner loop: x_j, W_e loaded; dW = d x x_j; W' = fma(dW, -eta, W_e);
both stored; e, j advanced
119def llSecondLoop =
120 (lambda unrestricted m : Nat . (lambda unrestricted k : Nat .
121 (llLoop llP1 (lambda unrestricted tail : (family SM86Program) .
122 (lsNext (llAddressOf llXAddress llJ 360)
123 (lsNext (lsLoad llX llXAddress 0)
124 (lsNext (llAddressOf llWAddress llE 352)
125 (lsNext (lsLoad llW llWAddress 0)
126 (lsNext (constructor SM86InstructionBody SM86FloatMultiply (lsR llDW) (lsR llD) (lsR llX) lsControlWaitSB1)
127 (lsNext (lsFused llWp llDW llR11 llW)
128 (lsNext (llAddressOf llOutAddress llE 376)
129 (lsNext (lsStore llOutAddress llDW (lsGradientOffset m k 0 0))
130 (lsNext (lsStore llOutAddress llWp (lsUpdatedOffset m k 0 0))
131 (lsNext (llAddImmediate llE 1)
132 (lsNext (llAddImmediate llJ 1)
133 (lsNext (llGreater llP1 llJ (naturalSaturatingSubtract k 1))
134 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.