dt/int/sc_nbutils.cc

1005      R0_l' = low_half(prod_l)
1007      R0_h' = low_half(prod_h)
1009      R0 = high_half(prod_h)|low_half(prod_l)
1018      NOTE: low_half(u) returns the lower BITS_PER_HALF_DIGIT of u,
1035         sc_digit u_l = low_half(u_h); // B
1048             sc_digit v_l = low_half(v_h); // D
1057             sc_digit prod_l = (*w) + u_l * v_l + low_half(carry);
1060             (*w++) = concat(low_half(prod_h), low_half(prod_l));
1089         sc_digit prod_l = v * low_half(u_AB) + low_half(carry);
1091         (*w++) = concat(low_half(prod_h), low_half(prod_l));
1115         sc_digit prod_l = v * low_half(u[i]) + low_half(carry);
1117         u[i] = concat(low_half(prod_h), low_half(prod_l));
1322         num = concat((num % v), low_half(u_AB)); // num = (((r|A) % v)|B)
1479         r = (concat(((concat(r, high_half(u_AB))) % v), low_half(u_AB))) % v;
1507         num = concat((num % v), low_half(u_AB)); // num = (((r|A) % v)|B)