dt/int/sc_unsigned.cc

217     switch (sgn) {
344     switch (sgn) {
401     if (sgn == SC_ZERO)
416         return (sgn == SC_ZERO) ? false : true;
462     sgn = get_sign(v);
463     if (sgn == SC_ZERO) {
476         sgn = SC_ZERO;
479         sgn = SC_POS;
489     sgn = get_sign(v);
490     if (sgn == SC_ZERO) {
503         sgn = SC_ZERO;
506         sgn = SC_POS;
517     sgn = SC_POS;
991 // 3. if sgn(u) == sgn(v)
992 //    3.1 u + v = +(u + v) = sgn(u) * (u + v)
993 //    3.2 (-u) + (-v) = -(u + v) = sgn(u) * (u + v)
994 // 4. if sgn(u) != sgn(v)
995 //    4.1 u + (-v) = u - v = sgn(u) * (u - v)
996 //    4.2 (-u) + v = -(u - v) ==> sgn(u) * (u - v)
1000 // 3. u + 1 = u + 1 = sgn(u) * (u + 1)
1001 // 4. (-u) + 1 = -(u - 1) = sgn(u) * (u - 1)
1006     if (u.sgn == SC_ZERO) // case 1
1009     if (v.sgn == SC_ZERO) // case 2
1013     return add_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1014                                v.sgn, v.nbits, v.ndigits, v.digit);
1026     if (u.sgn == SC_ZERO)    // case 1
1030     return add_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1043     if (v.sgn == SC_ZERO) // case 2
1048                                v.sgn, v.nbits, v.ndigits, v.digit);
1060     if (u.sgn == SC_ZERO) // case 1
1064     return add_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1077     if (v.sgn == SC_ZERO) // case 2
1082                                v.sgn, v.nbits, v.ndigits, v.digit);
1096 // 3. if sgn(u) != sgn(v)
1097 //    3.1 u - (-v) = u + v = sgn(u) * (u + v)
1098 //    3.2 (-u) - v = -(u + v) ==> sgn(u) * (u + v)
1099 // 4. if sgn(u) == sgn(v)
1100 //    4.1 u - v = +(u - v) = sgn(u) * (u - v)
1101 //    4.2 (-u) - (-v) = -(u - v) = sgn(u) * (u - v)
1105 // 3. (-u) - 1 = -(u + 1) = sgn(u) * (u + 1)
1106 // 4. u - 1 = u - 1 = sgn(u) * (u - 1)
1124     small_type s = mul_signs(u.sgn, v.sgn);
1138     small_type s = mul_signs(u.sgn, get_sign(v));
1154     small_type s = mul_signs(v.sgn, get_sign(u));
1170     small_type s = mul_signs(u.sgn, get_sign(v));
1185     small_type s = mul_signs(v.sgn, get_sign(u));
1216     small_type s = mul_signs(u.sgn, v.sgn);
1219         div_by_zero(v.sgn); // case 1
1232     small_type s = mul_signs(u.sgn, get_sign(v));
1250     small_type s = mul_signs(v.sgn, get_sign(u));
1253         div_by_zero(v.sgn); // case 1
1269     small_type s = mul_signs(u.sgn, get_sign(v));
1287     small_type s = mul_signs(v.sgn, get_sign(u));
1290         div_by_zero(v.sgn); // case 1
1321     if ((u.sgn == SC_ZERO) || (v.sgn == SC_ZERO)) {
1322         div_by_zero(v.sgn); // case 1
1327     return mod_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1335     if ((u.sgn == SC_ZERO) || (v == 0)) {
1343     return mod_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1352     if ((u == 0) || (v.sgn == SC_ZERO)) {
1353         div_by_zero(v.sgn); // case 1
1368     if ((u.sgn == SC_ZERO) || (v == 0)) {
1376     return mod_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1384     if ((u == 0) || (v.sgn == SC_ZERO)) {
1385         div_by_zero(v.sgn); // case 1
1406 // 2. u  &v => sgn = +
1407 // 3. (-u) & (-v) => sgn = -
1408 // 4. u & (-v) => sgn = +
1409 // 5. (-u)  &v => sgn = +
1414     if ((u.sgn == SC_ZERO) || (v.sgn == SC_ZERO)) // case 1
1418     return and_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1419                                v.sgn, v.nbits, v.ndigits, v.digit);
1426     if ((u.sgn == SC_ZERO) || (v == 0)) // case 1
1432     return and_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1440     if ((u == 0) || (v.sgn == SC_ZERO)) // case 1
1447                                v.sgn, v.nbits, v.ndigits, v.digit);
1454     if ((u.sgn == SC_ZERO) || (v == 0)) // case 1
1460     return and_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1468     if ((u == 0) || (v.sgn == SC_ZERO)) // case 1
1475                                v.sgn, v.nbits, v.ndigits, v.digit);
1489 // 3. u | v => sgn = +
1490 // 4. (-u) | (-v) => sgn = -
1491 // 5. u | (-v) => sgn = -
1492 // 6. (-u) | v => sgn = -
1497     if (v.sgn == SC_ZERO) // case 1
1500     if (u.sgn == SC_ZERO) // case 2
1504     return or_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1505                               v.sgn, v.nbits, v.ndigits, v.digit);
1517     if (u.sgn == SC_ZERO) // case 2
1521     return or_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1534     if (v.sgn == SC_ZERO)
1539                               v.sgn, v.nbits, v.ndigits, v.digit);
1551     if (u.sgn == SC_ZERO) // case 2
1555     return or_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1568     if (v.sgn == SC_ZERO)
1573                               v.sgn, v.nbits, v.ndigits, v.digit);
1588 // 3. u ^ v => sgn = +
1589 // 4. (-u) ^ (-v) => sgn = -
1590 // 5. u ^ (-v) => sgn = -
1591 // 6. (-u) ^ v => sgn = +
1596     if (v.sgn == SC_ZERO) // case 1
1599     if (u.sgn == SC_ZERO) // case 2
1603     return xor_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1604                                v.sgn, v.nbits, v.ndigits, v.digit);
1616     if (u.sgn == SC_ZERO) // case 2
1620     return xor_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1632     if (v.sgn == SC_ZERO)
1637                                v.sgn, v.nbits, v.ndigits, v.digit);
1649     if (u.sgn == SC_ZERO) // case 2
1653     return xor_unsigned_friend(u.sgn, u.nbits, u.ndigits, u.digit,
1665     if (v.sgn == SC_ZERO)
1670                                v.sgn, v.nbits, v.ndigits, v.digit);
1691     if ((v.sgn == SC_ZERO) || (v.sgn == SC_NEG))
1709     if ((v.sgn == SC_ZERO) || (v.sgn == SC_NEG))
1740     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
1741                          v.sgn, v.nbits, v.ndigits, v.digit) != 0) {
1751     if (v.sgn == SC_NEG)
1753     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
1754                          v.sgn, v.nbits, v.ndigits, v.digit, 0, 1) != 0) {
1764     if (u.sgn == SC_NEG)
1766     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
1767                          v.sgn, v.nbits, v.ndigits, v.digit, 1, 0) != 0) {
1780     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
1795                          v.sgn, v.nbits, v.ndigits, v.digit) != 0) {
1806     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
1818                          v.sgn, v.nbits, v.ndigits, v.digit) != 0)
1830     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
1844                          v.sgn, v.nbits, v.ndigits, v.digit) != 0)
1854     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
1866                          v.sgn, v.nbits, v.ndigits, v.digit) != 0)
1901     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
1902                          v.sgn, v.nbits, v.ndigits, v.digit) < 0) {
1912     if (v.sgn == SC_NEG)
1914     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
1915                          v.sgn, v.nbits, v.ndigits, v.digit, 0, 1) < 0) {
1925     if (u.sgn == SC_NEG)
1927     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
1928                        v.sgn, v.nbits, v.ndigits, v.digit, 1, 0) < 0) {
1941     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
1956                          v.sgn, v.nbits, v.ndigits, v.digit) < 0) {
1967     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
1980                          v.sgn, v.nbits, v.ndigits, v.digit) < 0){
1993     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
2008                          v.sgn, v.nbits, v.ndigits, v.digit) < 0) {
2019     if (compare_unsigned(u.sgn, u.nbits, u.ndigits, u.digit,
2032                          v.sgn, v.nbits, v.ndigits, v.digit) < 0) {
2166     if (sgn == SC_ZERO) {
2168     } else if (sgn == SC_NEG) {