Lines Matching defs:prod_h
1037 prod_h = A * D + B * C + high_half(prod_l) + carry_h
1040 carry = A * C + high_half(prod_h)
1041 = AC_h|AC_l + high_half(prod_h)
1045 R0_h' = low_half(prod_h)
1047 R0 = high_half(prod_h)|low_half(prod_l)
1053 NOTE: sc_max(prod_l, prod_h, carry) <= 2 * x^2 - 1, so any
1067 #define prod_h carry
1103 prod_h = u_h * v_l + u_l * v_h + high_half(prod_l) + high_half(carry);
1105 (*w++) = concat(low_half(prod_h), low_half(prod_l));
1107 carry = u_h * v_h + high_half(prod_h);
1115 #undef prod_h
1132 #define prod_h carry
1149 prod_h = v * high_half(u_AB) + high_half(prod_l) + high_half(carry);
1151 (*w++) = concat(low_half(prod_h), low_half(prod_l));
1153 carry = high_half(prod_h);
1159 #undef prod_h
1174 #define prod_h carry
1187 prod_h = v * high_half(u[i]) + high_half(prod_l) + high_half(carry);
1189 u[i] = concat(low_half(prod_h), low_half(prod_l));
1191 carry = high_half(prod_h);
1195 #undef prod_h