.endif
.endm
-// `mulI': accumulate the B^I and b B^i terms of the polynomial product sum U
-// V + X Y, given that U = u_0 + B u_1 + B^2 u_2 + B^3 u_3 (and similarly for
-// x), and V = v'_0 + b v''_0 + B (v'_1 + b v''_1) + B^2 (v'_2 + b v''_2) +
-// B^3 (v'_3 + b v''_3) (and similarly for Y). The 64-bit coefficients are
+// `mulI': accumulate the B^I and b B^i terms of the polynomial product sum
+// U V + X Y, given that U = u_0 + B u_1 + B^2 u_2 + B^3 u_3 (and similarly
+// for x), and V = v'_0 + b v''_0 + B (v'_1 + b v''_1) + B^2 (v'_2 + b v''_2)
+// + B^3 (v'_3 + b v''_3) (and similarly for Y). The 64-bit coefficients are
// added into the low and high halves of the 128-bit register Z (if ZINIT is
// `nil' then simply set Z, as if it were initially zero).
.macro mul0 z, zinitp, u, v0, v1, x=nil, y0=nil, y1=nil