the first inner loop: W_e, x_j loaded; y = fma(W_e, x_j, y); e, j advanced
104def llFirstLoop =
105 (lambda unrestricted k : Nat .
106 (llLoop llP1 (lambda unrestricted tail : (family SM86Program) .
107 (lsNext (llAddressOf llWAddress llE 352)
108 (lsNext (lsLoad llW llWAddress 0)
109 (lsNext (llAddressOf llXAddress llJ 360)
110 (lsNext (lsLoad llX llXAddress 0)
111 (lsNext (lsFusedWith lsControlWaitSB1 llY llW llX llY)
112 (lsNext (llAddImmediate llE 1)
113 (lsNext (llAddImmediate llJ 1)
114 (lsNext (llGreater llP1 llJ (naturalSaturatingSubtract k 1))
115 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.