577 inline void isl_sioimath_swap(isl_sioimath_ptr lhs, isl_sioimath_ptr rhs)  in isl_sioimath_swap()  argument
580 	*lhs = *rhs;  in isl_sioimath_swap()
581 	*rhs = tmp;  in isl_sioimath_swap()
590 	unsigned long rhs)  in isl_sioimath_add_ui()  argument
596 	    (rhs <= (uint64_t) INT64_MAX - (uint64_t) ISL_SIOIMATH_SMALL_MAX)) {  in isl_sioimath_add_ui()
597 		isl_sioimath_set_int64(dst, (int64_t) smalllhs + rhs);  in isl_sioimath_add_ui()
602 	    isl_sioimath_bigarg_src(lhs, &lhsscratch), rhs);  in isl_sioimath_add_ui()
613 				unsigned long rhs)  in isl_sioimath_sub_ui()  argument
619 	    (rhs < (uint64_t) INT64_MIN - (uint64_t) ISL_SIOIMATH_SMALL_MIN)) {  in isl_sioimath_sub_ui()
620 		isl_sioimath_set_int64(dst, (int64_t) smalllhs - rhs);  in isl_sioimath_sub_ui()
625 	    isl_sioimath_bigarg_src(lhs, &lhsscratch), rhs);  in isl_sioimath_sub_ui()
632 	isl_sioimath_src rhs)  in isl_sioimath_add()  argument
638 	    isl_sioimath_decode_small(rhs, &smallrhs)) {  in isl_sioimath_add()
645 	    isl_sioimath_bigarg_src(rhs, &scratchrhs),  in isl_sioimath_add()
653 	isl_sioimath_src rhs)  in isl_sioimath_sub()  argument
659 	    isl_sioimath_decode_small(rhs, &smallrhs)) {  in isl_sioimath_sub()
666 	    isl_sioimath_bigarg_src(rhs, &scratchrhs),  in isl_sioimath_sub()
674 	isl_sioimath_src rhs)  in isl_sioimath_mul()  argument
680 	    isl_sioimath_decode_small(rhs, &smallrhs)) {  in isl_sioimath_mul()
687 	    isl_sioimath_bigarg_src(rhs, &scratchrhs),  in isl_sioimath_mul()
696 	unsigned long rhs)  in isl_sioimath_mul_2exp()  argument
701 	if (isl_sioimath_decode_small(lhs, &smalllhs) && (rhs <= 32ul)) {  in isl_sioimath_mul_2exp()
702 		isl_sioimath_set_int64(dst, ((int64_t) smalllhs) << rhs);  in isl_sioimath_mul_2exp()
706 	mp_int_mul_pow2(isl_sioimath_bigarg_src(lhs, &scratchlhs), rhs,  in isl_sioimath_mul_2exp()
713 	signed long rhs)  in isl_sioimath_mul_si()  argument
718 	if (isl_sioimath_decode_small(lhs, &smalllhs) && (rhs > LONG_MIN) &&  in isl_sioimath_mul_si()
719 	    (labs(rhs) <= UINT32_MAX)) {  in isl_sioimath_mul_si()
720 		isl_sioimath_set_int64(dst, (int64_t) smalllhs * (int64_t) rhs);  in isl_sioimath_mul_si()
725 	    isl_sioimath_siarg_src(rhs, &scratchrhs),  in isl_sioimath_mul_si()
733 	unsigned long rhs)  in isl_sioimath_mul_ui()  argument
738 	if (isl_sioimath_decode_small(lhs, &smalllhs) && (rhs <= UINT32_MAX)) {  in isl_sioimath_mul_ui()
739 		isl_sioimath_set_int64(dst, (int64_t) smalllhs * (int64_t) rhs);  in isl_sioimath_mul_ui()
744 	    isl_sioimath_uiarg_src(rhs, &scratchrhs),  in isl_sioimath_mul_ui()
755 	unsigned long rhs)  in isl_sioimath_pow_ui()  argument
760 	switch (rhs) {  in isl_sioimath_pow_ui()
782 			isl_sioimath_mul_2exp(dst, *dst, rhs);  in isl_sioimath_pow_ui()
785 			if ((MP_SMALL_MIN <= rhs) && (rhs <= MP_SMALL_MAX)) {  in isl_sioimath_pow_ui()
786 				mp_int_expt_value(smalllhs, rhs,  in isl_sioimath_pow_ui()
795 	    isl_sioimath_uiarg_src(rhs, &scratchrhs),  in isl_sioimath_pow_ui()
803 	isl_sioimath_src rhs)  in isl_sioimath_addmul()  argument
807 	isl_sioimath_mul(&tmp, lhs, rhs);  in isl_sioimath_addmul()
815 	unsigned long rhs)  in isl_sioimath_addmul_ui()  argument
819 	isl_sioimath_mul_ui(&tmp, lhs, rhs);  in isl_sioimath_addmul_ui()
827 	isl_sioimath_src rhs)  in isl_sioimath_submul()  argument
831 	isl_sioimath_mul(&tmp, lhs, rhs);  in isl_sioimath_submul()
839 	unsigned long rhs)  in isl_sioimath_submul_ui()  argument
843 	isl_sioimath_mul_ui(&tmp, lhs, rhs);  in isl_sioimath_submul_ui()
849 		      isl_sioimath_src rhs);
851 		      isl_sioimath_src rhs);
856 	isl_sioimath_src rhs)  in isl_sioimath_tdiv_q()  argument
862 	    isl_sioimath_decode_small(rhs, &rhssmall)) {  in isl_sioimath_tdiv_q()
868 	    isl_sioimath_bigarg_src(rhs, &rhsscratch),  in isl_sioimath_tdiv_q()
877 	unsigned long rhs)  in isl_sioimath_tdiv_q_ui()  argument
882 	if (isl_sioimath_is_small(lhs) && (rhs <= (unsigned long) INT32_MAX)) {  in isl_sioimath_tdiv_q_ui()
884 		isl_sioimath_set_small(dst, lhssmall / (int32_t) rhs);  in isl_sioimath_tdiv_q_ui()
888 	if (rhs <= MP_SMALL_MAX) {  in isl_sioimath_tdiv_q_ui()
889 		mp_int_div_value(isl_sioimath_bigarg_src(lhs, &lhsscratch), rhs,  in isl_sioimath_tdiv_q_ui()
896 	    isl_sioimath_uiarg_src(rhs, &rhsscratch),  in isl_sioimath_tdiv_q_ui()
904 	isl_sioimath_src rhs)  in isl_sioimath_cdiv_q()  argument
911 	    isl_sioimath_decode_small(rhs, &rhssmall)) {  in isl_sioimath_cdiv_q()
926 	    isl_sioimath_bigarg_src(rhs, &rhsscratch));  in isl_sioimath_cdiv_q()
934 	unsigned long rhs)  in isl_sioimath_cdiv_q_ui()  argument
939 	if (isl_sioimath_decode_small(lhs, &lhssmall) && (rhs <= INT32_MAX)) {  in isl_sioimath_cdiv_q_ui()
941 			q = ((int64_t) lhssmall + ((int64_t) rhs - 1)) /  in isl_sioimath_cdiv_q_ui()
942 			    (int64_t) rhs;  in isl_sioimath_cdiv_q_ui()
944 			q = lhssmall / (int32_t) rhs;  in isl_sioimath_cdiv_q_ui()
951 	    isl_sioimath_uiarg_src(rhs, &rhsscratch));  in isl_sioimath_cdiv_q_ui()
958 	isl_sioimath_src rhs)  in isl_sioimath_fdiv_q()  argument
965 	    isl_sioimath_decode_small(rhs, &rhssmall)) {  in isl_sioimath_fdiv_q()
980 	    isl_sioimath_bigarg_src(rhs, &rhsscratch));  in isl_sioimath_fdiv_q()
988 	unsigned long rhs)  in isl_sioimath_fdiv_q_ui()  argument
993 	if (isl_sioimath_decode_small(lhs, &lhssmall) && (rhs <= INT32_MAX)) {  in isl_sioimath_fdiv_q_ui()
995 			q = (uint32_t) lhssmall / rhs;  in isl_sioimath_fdiv_q_ui()
997 			q = ((int64_t) lhssmall - ((int64_t) rhs - 1)) /  in isl_sioimath_fdiv_q_ui()
998 			    (int64_t) rhs;  in isl_sioimath_fdiv_q_ui()
1005 	    isl_sioimath_uiarg_src(rhs, &rhsscratch));  in isl_sioimath_fdiv_q_ui()
1013 	isl_sioimath_src rhs)  in isl_sioimath_fdiv_r()  argument
1019 	if (isl_sioimath_is_small(lhs) && isl_sioimath_is_small(rhs)) {  in isl_sioimath_fdiv_r()
1021 		rhssmall = isl_sioimath_get_small(rhs);  in isl_sioimath_fdiv_r()
1029 	    isl_sioimath_bigarg_src(rhs, &rhsscratch));  in isl_sioimath_fdiv_r()
1055 inline int isl_sioimath_cmp(isl_sioimath_src lhs, isl_sioimath_src rhs)  in isl_sioimath_cmp()  argument
1061 	    isl_sioimath_decode_small(rhs, &rhssmall))  in isl_sioimath_cmp()
1064 	if (isl_sioimath_decode_small(rhs, &rhssmall))  in isl_sioimath_cmp()
1070 		           isl_sioimath_bigarg_src(rhs, &rhsscratch), lhssmall);  in isl_sioimath_cmp()
1073 	    isl_sioimath_get_big(lhs), isl_sioimath_get_big(rhs));  in isl_sioimath_cmp()
1078 inline int isl_sioimath_cmp_si(isl_sioimath_src lhs, signed long rhs)  in isl_sioimath_cmp_si()  argument
1083 		return (lhssmall > rhs) - (lhssmall < rhs);  in isl_sioimath_cmp_si()
1085 	return mp_int_compare_value(isl_sioimath_get_big(lhs), rhs);  in isl_sioimath_cmp_si()
1093 inline int isl_sioimath_abs_cmp(isl_sioimath_src lhs, isl_sioimath_src rhs)  in isl_sioimath_abs_cmp()  argument
1099 	    isl_sioimath_decode_small(rhs, &rhssmall)) {  in isl_sioimath_abs_cmp()
1107 	    isl_sioimath_bigarg_src(rhs, &rhsscratch));  in isl_sioimath_abs_cmp()
1115 					isl_sioimath_src rhs)  in isl_sioimath_is_divisible_by()  argument
1122 	if (isl_sioimath_sgn(rhs) == 0)  in isl_sioimath_is_divisible_by()
1126 	    isl_sioimath_decode_small(rhs, &rhssmall))  in isl_sioimath_is_divisible_by()
1129 	if (isl_sioimath_decode_small(rhs, &rhssmall))  in isl_sioimath_is_divisible_by()
1135 	    isl_sioimath_bigarg_src(rhs, &rhsscratch), NULL, &rem);  in isl_sioimath_is_divisible_by()