dt/int/sc_nbutils.cc

999      prod_h = A * D + B * C + high_half(prod_l) + carry_h
1000             = AD_h|AD_l + BC_h|BC_l + high_half(prod_l) + 0|carry_h
1002      carry = A * C + high_half(prod_h)
1003            = AC_h|AC_l + high_half(prod_h)
1009      R0 = high_half(prod_h)|low_half(prod_l)
1019      whereas high_half(u) returns the rest of the bits, which may
1036         u_h = high_half(u_h); // A
1050             v_h = high_half(v_h); // C
1059                 high_half(prod_l) + high_half(carry);
1061             carry = u_h * v_h + high_half(prod_h);
1087         sc_assert(high_half(u_AB) == high_half_masked(u_AB));
1090         prod_h = v * high_half(u_AB) + high_half(prod_l) + high_half(carry);
1092         carry = high_half(prod_h);
1113         sc_assert(high_half(u[i]) == high_half_masked(u[i]));
1116         prod_h = v * high_half(u[i]) + high_half(prod_l) + high_half(carry);
1118         carry = high_half(prod_h);
1317         sc_assert(high_half(u_AB) == high_half_masked(u_AB));
1320         sc_digit num = concat(r, high_half(u_AB)); // num = r|A
1476         sc_assert(high_half(u_AB) == high_half_masked(u_AB));
1479         r = (concat(((concat(r, high_half(u_AB))) % v), low_half(u_AB))) % v;
1503         sc_assert(high_half(u_AB) == high_half_masked(u_AB));
1505         sc_digit num = concat(r, high_half(u_AB)); // num = r|A