y_i = fma(W_i(k-1), x_(k-1), ... fma(W_i0, x_0, +0.0)), then stored
215def lsOutputRow = (lambda unrestricted k : Nat . (lambda unrestricted m : Nat . (lambda unrestricted i : Nat .
216 (lambda unrestricted j : Nat . (lambda unrestricted rest : (family SM86Program) .
217 (lsNext (lsFusedWith (lsFirstFusedControl i j) (lsRegY k m i) (lsRegW k m i j) (lsRegX k m j) (lsRegY k m i)) rest))))))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.