234 static void int_test_divexact(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_divexact()  argument
239 	if (isl_int_sgn(rhs) == 0)  in int_test_divexact()
244 	isl_int_divexact(result, lhs, rhs);  in int_test_divexact()
247 	isl_int_tdiv_q(result, lhs, rhs);  in int_test_divexact()
250 	isl_int_fdiv_q(result, lhs, rhs);  in int_test_divexact()
253 	isl_int_cdiv_q(result, lhs, rhs);  in int_test_divexact()
256 	if (isl_int_fits_ulong(rhs)) {  in int_test_divexact()
257 		rhsulong = isl_int_get_ui(rhs);  in int_test_divexact()
272 static void int_test_mul(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_mul()  argument
277 	isl_int_mul(result, lhs, rhs);  in int_test_mul()
280 	if (isl_int_fits_ulong(rhs)) {  in int_test_mul()
281 		unsigned long rhsulong = isl_int_get_ui(rhs);  in int_test_mul()
287 	if (isl_int_fits_slong(rhs)) {  in int_test_mul()
288 		unsigned long rhsslong = isl_int_get_si(rhs);  in int_test_mul()
309 static void int_test_add(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_add()  argument
314 	isl_int_add(result, lhs, rhs);  in int_test_add()
320 static void int_test_sub(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_sub()  argument
325 	isl_int_sub(result, lhs, rhs);  in int_test_sub()
343 static void int_test_fdiv(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_fdiv()  argument
349 	isl_int_fdiv_q(result, lhs, rhs);  in int_test_fdiv()
352 	if (isl_int_fits_ulong(rhs)) {  in int_test_fdiv()
353 		rhsulong = isl_int_get_ui(rhs);  in int_test_fdiv()
362 static void int_test_cdiv(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_cdiv()  argument
368 	isl_int_cdiv_q(result, lhs, rhs);  in int_test_cdiv()
371 	if (isl_int_fits_ulong(rhs)) {  in int_test_cdiv()
372 		rhsulong = isl_int_get_ui(rhs);  in int_test_cdiv()
381 static void int_test_tdiv(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_tdiv()  argument
386 	isl_int_tdiv_q(result, lhs, rhs);  in int_test_tdiv()
392 static void int_test_fdiv_r(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_fdiv_r()  argument
397 	isl_int_fdiv_r(result, lhs, rhs);  in int_test_fdiv_r()
403 static void int_test_gcd(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_gcd()  argument
408 	isl_int_gcd(result, lhs, rhs);  in int_test_gcd()
411 	isl_int_gcd(result, rhs, lhs);  in int_test_gcd()
417 static void int_test_lcm(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_lcm()  argument
422 	isl_int_lcm(result, lhs, rhs);  in int_test_lcm()
425 	isl_int_lcm(result, rhs, lhs);  in int_test_lcm()
440 static void int_test_cmp(int exp, isl_int lhs, isl_int rhs)  in int_test_cmp()  argument
444 	assert(exp == sgn(isl_int_cmp(lhs, rhs)));  in int_test_cmp()
446 	if (isl_int_fits_slong(rhs)) {  in int_test_cmp()
447 		rhslong = isl_int_get_si(rhs);  in int_test_cmp()
455 static void int_test_cmps(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_cmps()  argument
463 	isl_int_sub(diff, lhs, rhs);  in int_test_cmps()
467 	int_test_cmp(exp, lhs, rhs);  in int_test_cmps()
468 	int_test_cmp(-exp, rhs, lhs);  in int_test_cmps()
471 static void int_test_abs_cmp(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_abs_cmp()  argument
476 	assert(exp == sgn(isl_int_abs_cmp(lhs, rhs)));  in int_test_abs_cmp()
477 	assert(-exp == sgn(isl_int_abs_cmp(rhs, lhs)));  in int_test_abs_cmp()
483 static void int_test_divisible(isl_int expected, isl_int lhs, isl_int rhs)  in int_test_divisible()  argument
488 	assert(isl_int_is_divisible_by(lhs, rhs) == exp);  in int_test_divisible()
493 	char *expected, *lhs, *rhs;  member
665 		    int_binary_tests[i].rhs, int_binary_tests[i].fn);  in main()