Lines Matching refs:high_half
1037 prod_h = A * D + B * C + high_half(prod_l) + carry_h
1038 = AD_h|AD_l + BC_h|BC_l + high_half(prod_l) + 0|carry_h
1040 carry = A * C + high_half(prod_h)
1041 = AC_h|AC_l + high_half(prod_h)
1047 R0 = high_half(prod_h)|low_half(prod_l)
1057 whereas high_half(u) returns the rest of the bits, which may
1076 u_h = high_half(u_h); // A
1094 v_h = high_half(v_h); // C
1103 prod_h = u_h * v_l + u_l * v_h + high_half(prod_l) + high_half(carry);
1107 carry = u_h * v_h + high_half(prod_h);
1144 assert(high_half(u_AB) == high_half_masked(u_AB));
1149 prod_h = v * high_half(u_AB) + high_half(prod_l) + high_half(carry);
1153 carry = high_half(prod_h);
1182 assert(high_half(u[i]) == high_half_masked(u[i]));
1187 prod_h = v * high_half(u[i]) + high_half(prod_l) + high_half(carry);
1191 carry = high_half(prod_h);
1400 assert(high_half(u_AB) == high_half_masked(u_AB));
1403 sc_digit num = concat(r, high_half(u_AB)); // num = r|A
1568 assert(high_half(u_AB) == high_half_masked(u_AB));
1572 r = (concat(((concat(r, high_half(u_AB))) % v), low_half(u_AB))) % v;
1602 assert(high_half(u_AB) == high_half_masked(u_AB));
1605 sc_digit num = concat(r, high_half(u_AB)); // num = r|A