X-Git-Url: https://sigrok.org/gitweb/?a=blobdiff_plain;f=tests%2Fanalog.c;h=3e8fd494c2c80616b012e99aed9c4a81c40aba18;hb=c1634386178730fa7b3814272c49cb89d55a0766;hp=64e355ebb884f3845d51f2085b9f7a9b6118d7f0;hpb=bdba362695bd5ee97fca685839a9e90e1e788ecb;p=libsigrok.git

diff --git a/tests/analog.c b/tests/analog.c
index 64e355eb..3e8fd494 100644
--- a/tests/analog.c
+++ b/tests/analog.c
@@ -225,6 +225,91 @@ START_TEST(test_cmp_rational)
 }
 END_TEST
 
+START_TEST(test_mult_rational)
+{
+	const struct sr_rational r[][3] = {
+		/*   a    *    b    =    c   */
+		{ { 1, 1 }, { 1, 1 }, { 1, 1 }},
+		{ { 2, 1 }, { 3, 1 }, { 6, 1 }},
+		{ { 1, 2 }, { 2, 1 }, { 1, 1 }},
+		/* Test negative numbers */
+		{ { -1, 2 }, { 2, 1 }, { -1, 1 }},
+		{ { -1, 2 }, { -2, 1 }, { 1, 1 }},
+		{ { -(1ll<<20), (1ll<<10) }, { -(1ll<<20), 1 }, { (1ll<<30), 1 }},
+		/* Test reduction */
+		{ { INT32_MAX, (1ll<<12) }, { (1<<2), 1 }, { INT32_MAX, (1ll<<10) }},
+		{ { INT64_MAX, (1ll<<63) }, { (1<<3), 1 }, { INT64_MAX, (1ll<<60) }},
+		/* Test large numbers */
+		{ {  (1ll<<40), (1ll<<10) }, {  (1ll<<30), 1 }, { (1ll<<60), 1 }},
+		{ { -(1ll<<40), (1ll<<10) }, { -(1ll<<30), 1 }, { (1ll<<60), 1 }},
+
+		{ { 1000, 1 }, { 8000, 1 }, { 8000000, 1 }},
+		{ { 10000, 1 }, { 80000, 1 }, { 800000000, 1 }},
+		{ { 10000*3, 4 }, { 80000*3, 1 }, { 200000000*9, 1 }},
+		{ { 1, 1000 }, { 1, 8000 }, { 1, 8000000 }},
+		{ { 1, 10000 }, { 1, 80000 }, { 1, 800000000 }},
+		{ { 4, 10000*3 }, { 1, 80000*3 }, { 1, 200000000*9 }},
+
+		{ { -10000*3, 4 }, { 80000*3, 1 }, { -200000000*9, 1 }},
+		{ { 10000*3, 4 }, { -80000*3, 1 }, { -200000000*9, 1 }},
+	};
+
+	for (unsigned i = 0; i < ARRAY_SIZE(r); i++) {
+		struct sr_rational res;
+
+		int rc = sr_rational_mult(&res, &r[i][0], &r[i][1]);
+		fail_unless(rc == SR_OK);
+		fail_unless(sr_rational_eq(&res, &r[i][2]) == 1,
+			"sr_rational_mult() failed: [%d] %ld/%lu != %ld/%lu.",
+			i, res.p, res.q, r[i][2].p, r[i][2].q);
+	}
+}
+END_TEST
+
+START_TEST(test_div_rational)
+{
+	const struct sr_rational r[][3] = {
+		/*   a    *    b    =    c   */
+		{ { 1, 1 }, { 1, 1 }, { 1, 1 }},
+		{ { 2, 1 }, { 1, 3 }, { 6, 1 }},
+		{ { 1, 2 }, { 1, 2 }, { 1, 1 }},
+		/* Test negative numbers */
+		{ { -1, 2 }, { 1, 2 }, { -1, 1 }},
+		{ { -1, 2 }, { -1, 2 }, { 1, 1 }},
+		{ { -(1ll<<20), (1ll<<10) }, { -1, (1ll<<20) }, { (1ll<<30), 1 }},
+		/* Test reduction */
+		{ { INT32_MAX, (1ll<<12) }, { 1, (1<<2) }, { INT32_MAX, (1ll<<10) }},
+		{ { INT64_MAX, (1ll<<63) }, { 1, (1<<3) }, { INT64_MAX, (1ll<<60) }},
+		/* Test large numbers */
+		{ {  (1ll<<40), (1ll<<10) }, {  1, (1ll<<30) }, { (1ll<<60), 1 }},
+		{ { -(1ll<<40), (1ll<<10) }, { -1, (1ll<<30) }, { (1ll<<60), 1 }},
+
+		{ { 10000*3, 4 }, { 1, 80000*3 }, { 200000000*9, 1 }},
+		{ { 4, 10000*3 }, { 80000*3, 1 }, { 1, 200000000*9 }},
+
+		{ { -10000*3, 4 }, { 1, 80000*3 }, { -200000000*9, 1 }},
+		{ { 10000*3, 4 }, { -1, 80000*3 }, { -200000000*9, 1 }},
+	};
+
+	for (unsigned i = 0; i < ARRAY_SIZE(r); i++) {
+		struct sr_rational res;
+
+		int rc = sr_rational_div(&res, &r[i][0], &r[i][1]);
+		fail_unless(rc == SR_OK);
+		fail_unless(sr_rational_eq(&res, &r[i][2]) == 1,
+			"sr_rational_mult() failed: [%d] %ld/%lu != %ld/%lu.",
+			i, res.p, res.q, r[i][2].p, r[i][2].q);
+	}
+
+	{
+		struct sr_rational res;
+		int rc = sr_rational_div(&res, &r[0][0], &((struct sr_rational){ 0, 5 }));
+
+		fail_unless(rc == SR_ERR_ARG);
+	}
+}
+END_TEST
+
 Suite *suite_analog(void)
 {
 	Suite *s;
@@ -240,6 +325,8 @@ Suite *suite_analog(void)
 	tcase_add_test(tc, test_set_rational);
 	tcase_add_test(tc, test_set_rational_null);
 	tcase_add_test(tc, test_cmp_rational);
+	tcase_add_test(tc, test_mult_rational);
+	tcase_add_test(tc, test_div_rational);
 	suite_add_tcase(s, tc);
 
 	return s;