xref: /third_party/openssl/test/bntest.c

71     int ret = BN_hex2bn(out, bigstring);
74     return ret;
95     BIGNUM *ret = NULL;
102     if (parseBN(&ret, hex) != (int)strlen(hex)) {
106     return ret;
111     BIGNUM *ret;
115     if (!TEST_ptr(ret = getBN(s, attribute))
116             || !TEST_ulong_le(word = BN_get_word(ret), INT_MAX))
122     BN_free(ret);
1190     BIGNUM *a = NULL, *b = NULL, *sum = NULL, *ret = NULL;
1197             || !TEST_ptr(ret = BN_new()))
1200     if (!TEST_true(BN_add(ret, a, b))
1201             || !equalBN("A + B", sum, ret)
1202             || !TEST_true(BN_sub(ret, sum, a))
1203             || !equalBN("Sum - A", b, ret)
1204             || !TEST_true(BN_sub(ret, sum, b))
1205             || !equalBN("Sum - B", a, ret))
1213     if (!TEST_true(BN_copy(ret, a))
1214             || !TEST_true(BN_add(ret, ret, b))
1215             || !equalBN("A + B (r is a)", sum, ret)
1216             || !TEST_true(BN_copy(ret, b))
1217             || !TEST_true(BN_add(ret, a, ret))
1218             || !equalBN("A + B (r is b)", sum, ret)
1219             || !TEST_true(BN_copy(ret, sum))
1220             || !TEST_true(BN_sub(ret, ret, a))
1221             || !equalBN("Sum - A (r is a)", b, ret)
1222             || !TEST_true(BN_copy(ret, a))
1223             || !TEST_true(BN_sub(ret, sum, ret))
1224             || !equalBN("Sum - A (r is b)", b, ret)
1225             || !TEST_true(BN_copy(ret, sum))
1226             || !TEST_true(BN_sub(ret, ret, b))
1227             || !equalBN("Sum - B (r is a)", a, ret)
1228             || !TEST_true(BN_copy(ret, b))
1229             || !TEST_true(BN_sub(ret, sum, ret))
1230             || !equalBN("Sum - B (r is b)", a, ret))
1240         if (!TEST_true(BN_uadd(ret, a, b))
1241                 || !equalBN("A +u B", sum, ret)
1242                 || !TEST_true(BN_usub(ret, sum, a))
1243                 || !equalBN("Sum -u A", b, ret)
1244                 || !TEST_true(BN_usub(ret, sum, b))
1245                 || !equalBN("Sum -u B", a, ret))
1253         if (!TEST_true(BN_copy(ret, a))
1254                 || !TEST_true(BN_uadd(ret, ret, b))
1255                 || !equalBN("A +u B (r is a)", sum, ret)
1256                 || !TEST_true(BN_copy(ret, b))
1257                 || !TEST_true(BN_uadd(ret, a, ret))
1258                 || !equalBN("A +u B (r is b)", sum, ret)
1259                 || !TEST_true(BN_copy(ret, sum))
1260                 || !TEST_true(BN_usub(ret, ret, a))
1261                 || !equalBN("Sum -u A (r is a)", b, ret)
1262                 || !TEST_true(BN_copy(ret, a))
1263                 || !TEST_true(BN_usub(ret, sum, ret))
1264                 || !equalBN("Sum -u A (r is b)", b, ret)
1265                 || !TEST_true(BN_copy(ret, sum))
1266                 || !TEST_true(BN_usub(ret, ret, b))
1267                 || !equalBN("Sum -u B (r is a)", a, ret)
1268                 || !TEST_true(BN_copy(ret, b))
1269                 || !TEST_true(BN_usub(ret, sum, ret))
1270                 || !equalBN("Sum -u B (r is b)", a, ret))
1279         if (!TEST_true(BN_copy(ret, a))
1280                 || !TEST_true(BN_add_word(ret, b_word))
1281                 || !equalBN("A + B (word)", sum, ret)
1282                 || !TEST_true(BN_copy(ret, sum))
1283                 || !TEST_true(BN_sub_word(ret, b_word))
1284                 || !equalBN("Sum - B (word)", a, ret))
1293     BN_free(ret);
1299     BIGNUM *a = NULL, *lshift1 = NULL, *zero = NULL, *ret = NULL;
1306             || !TEST_ptr(ret = BN_new())
1314             || !TEST_true(BN_add(ret, a, a))
1315             || !equalBN("A + A", lshift1, ret)
1316             || !TEST_true(BN_mul(ret, a, two, ctx))
1317             || !equalBN("A * 2", lshift1, ret)
1318             || !TEST_true(BN_div(ret, remainder, lshift1, two, ctx))
1319             || !equalBN("LShift1 / 2", a, ret)
1321             || !TEST_true(BN_lshift1(ret, a))
1322             || !equalBN("A << 1", lshift1, ret)
1323             || !TEST_true(BN_rshift1(ret, lshift1))
1324             || !equalBN("LShift >> 1", a, ret)
1325             || !TEST_true(BN_rshift1(ret, lshift1))
1326             || !equalBN("LShift >> 1", a, ret))
1331             || !TEST_true(BN_div(ret, NULL /* rem */ , lshift1, two, ctx))
1332             || !equalBN("(LShift1 | 1) / 2", a, ret)
1333             || !TEST_true(BN_rshift1(ret, lshift1))
1334             || !equalBN("(LShift | 1) >> 1", a, ret))
1342     BN_free(ret);
1351     BIGNUM *a = NULL, *lshift = NULL, *ret = NULL;
1356             || !TEST_ptr(ret = BN_new())
1360     if (!TEST_true(BN_lshift(ret, a, n))
1361             || !equalBN("A << N", lshift, ret)
1362             || !TEST_true(BN_rshift(ret, lshift, n))
1363             || !equalBN("A >> N", a, ret))
1370     BN_free(ret);
1376     BIGNUM *a = NULL, *rshift = NULL, *ret = NULL;
1381             || !TEST_ptr(ret = BN_new())
1385     if (!TEST_true(BN_rshift(ret, a, n))
1386             || !equalBN("A >> N", rshift, ret))
1391         if (!TEST_true(BN_rshift1(ret, a))
1392                 || !equalBN("A >> 1 (rshift1)", rshift, ret))
1400     BN_free(ret);
1406     BIGNUM *a = NULL, *square = NULL, *zero = NULL, *ret = NULL;
1413             || !TEST_ptr(ret = BN_new())
1418     if (!TEST_true(BN_sqr(ret, a, ctx))
1419             || !equalBN("A^2", square, ret)
1420             || !TEST_true(BN_mul(ret, a, a, ctx))
1421             || !equalBN("A * A", square, ret)
1422             || !TEST_true(BN_div(ret, remainder, square, a, ctx))
1423             || !equalBN("Square / A", a, ret)
1429     if (!TEST_true(BN_sqrt(ret, square, ctx))
1430             || !equalBN("sqrt(Square)", a, ret))
1440         if (!TEST_int_eq(BN_sqrt(ret, tmp, ctx), 0))
1447         if (!TEST_int_eq(BN_sqrt(ret, tmp, ctx)))
1458     BN_free(ret);
1466     BIGNUM *a = NULL, *b = NULL, *product = NULL, *ret = NULL;
1473             || !TEST_ptr(ret = BN_new())
1480     if (!TEST_true(BN_mul(ret, a, b, ctx))
1481             || !equalBN("A * B", product, ret)
1482             || !TEST_true(BN_div(ret, remainder, product, a, ctx))
1483             || !equalBN("Product / A", b, ret)
1485             || !TEST_true(BN_div(ret, remainder, product, b, ctx))
1486             || !equalBN("Product / B", a, ret)
1495     BN_free(ret);
1504     BIGNUM *ret = NULL, *ret2 = NULL, *nnmod = NULL;
1512             || !TEST_ptr(ret = BN_new())
1517     if (!TEST_true(BN_div(ret, ret2, a, b, ctx))
1518             || !equalBN("A / B", quotient, ret)
1520             || !TEST_true(BN_mul(ret, quotient, b, ctx))
1521             || !TEST_true(BN_add(ret, ret, remainder))
1522             || !equalBN("Quotient * B + Remainder", a, ret))
1534         if (!TEST_ptr(BN_copy(ret, a)))
1536         ret_word = BN_div_word(ret, b_word);
1547         if (!equalBN ("A / B (word)", quotient, ret))
1568                 || !TEST_true(BN_nnmod(ret, a, b, ctx))
1569                 || !equalBN("A % B (non-negative)", nnmod, ret))
1579     BN_free(ret);
1587     BIGNUM *a = NULL, *b = NULL, *m = NULL, *mod_mul = NULL, *ret = NULL;
1594             || !TEST_ptr(ret = BN_new()))
1597     if (!TEST_true(BN_mod_mul(ret, a, b, m, ctx))
1598             || !equalBN("A * B (mod M)", mod_mul, ret))
1613                 || !TEST_true(BN_mod_mul_montgomery(ret, a_tmp, b_tmp,
1615                 || !TEST_true(BN_from_montgomery(ret, ret, mont, ctx))
1616                 || !equalBN("A * B (mod M) (mont)", mod_mul, ret))
1633     BN_free(ret);
1639     BIGNUM *a = NULL, *e = NULL, *m = NULL, *mod_exp = NULL, *ret = NULL;
1647             || !TEST_ptr(ret = BN_new())
1651     if (!TEST_true(BN_mod_exp(ret, a, e, m, ctx))
1652             || !equalBN("A ^ E (mod M)", mod_exp, ret))
1656         if (!TEST_true(BN_mod_exp_mont(ret, a, e, m, ctx, NULL))
1657                 || !equalBN("A ^ E (mod M) (mont)", mod_exp, ret)
1658                 || !TEST_true(BN_mod_exp_mont_consttime(ret, a, e, m,
1660                 || !equalBN("A ^ E (mod M) (mont const", mod_exp, ret))
1688     BN_free(ret);
1694     BIGNUM *a = NULL, *e = NULL, *exp = NULL, *ret = NULL;
1700             || !TEST_ptr(ret = BN_new()))
1703     if (!TEST_true(BN_exp(ret, a, e, ctx))
1704             || !equalBN("A ^ E", exp, ret))
1712     BN_free(ret);
1718     BIGNUM *a = NULL, *p = NULL, *mod_sqrt = NULL, *ret = NULL, *ret2 = NULL;
1724             || !TEST_ptr(ret = BN_new())
1730         if (!TEST_ptr_null(BN_mod_sqrt(ret, a, p, ctx)))
1738     if (!TEST_ptr(BN_mod_sqrt(ret, a, p, ctx))
1739             || !TEST_true(BN_sub(ret2, p, ret)))
1744             && !equalBN("sqrt(A) (mod P)", mod_sqrt, ret))
1752     BN_free(ret);
1759     BIGNUM *a = NULL, *b = NULL, *gcd = NULL, *ret = NULL;
1765             || !TEST_ptr(ret = BN_new()))
1768     if (!TEST_true(BN_gcd(ret, a, b, ctx))
1769             || !equalBN("gcd(A,B)", gcd, ret))
1777     BN_free(ret);
2348     int ret = 0, i;
2384     ret = 1;
2390     return ret;
2447     int ret = 0;
2461     ret = 1;
2464     return ret;
2471     int ret = 0;
2484     ret = 1;
2487     return ret;

Indexes created Thu Nov 07 10:32:03 CST 2024