Lines Matching refs:prod_h
999 prod_h = A * D + B * C + high_half(prod_l) + carry_h
1002 carry = A * C + high_half(prod_h)
1003 = AC_h|AC_l + high_half(prod_h)
1007 R0_h' = low_half(prod_h)
1009 R0 = high_half(prod_h)|low_half(prod_l)
1015 NOTE: sc_max(prod_l, prod_h, carry) <= 2 * x^2 - 1, so any
1029 #define prod_h carry
1058 prod_h = u_h * v_l + u_l * v_h +
1060 (*w++) = concat(low_half(prod_h), low_half(prod_l));
1061 carry = u_h * v_h + high_half(prod_h);
1065 #undef prod_h
1079 #define prod_h carry
1090 prod_h = v * high_half(u_AB) + high_half(prod_l) + high_half(carry);
1091 (*w++) = concat(low_half(prod_h), low_half(prod_l));
1092 carry = high_half(prod_h);
1095 #undef prod_h
1108 #define prod_h carry
1116 prod_h = v * high_half(u[i]) + high_half(prod_l) + high_half(carry);
1117 u[i] = concat(low_half(prod_h), low_half(prod_l));
1118 carry = high_half(prod_h);
1120 #undef prod_h