80 	__isl_keep isl_poly *poly2)  in isl_poly_plain_cmp()  argument
86 	if (poly1 == poly2)  in isl_poly_plain_cmp()
91 	if (!poly2)  in isl_poly_plain_cmp()
93 	if (poly1->var != poly2->var)  in isl_poly_plain_cmp()
94 		return poly1->var - poly2->var;  in isl_poly_plain_cmp()
101 		cst2 = isl_poly_as_cst(poly2);  in isl_poly_plain_cmp()
111 	rec2 = isl_poly_as_rec(poly2);  in isl_poly_plain_cmp()
128 	__isl_keep isl_poly *poly2)  in isl_poly_is_equal()  argument
135 	if (is_cst1 < 0 || !poly2)  in isl_poly_is_equal()
137 	if (poly1 == poly2)  in isl_poly_is_equal()
139 	if (poly1->var != poly2->var)  in isl_poly_is_equal()
145 		cst2 = isl_poly_as_cst(poly2);  in isl_poly_is_equal()
154 	rec2 = isl_poly_as_rec(poly2);  in isl_poly_is_equal()
744 	__isl_take isl_poly *poly2)  in isl_poly_sum_cst()  argument
750 	if (!poly1 || !poly2)  in isl_poly_sum_cst()
754 	cst2 = isl_poly_as_cst(poly2);  in isl_poly_sum_cst()
766 	isl_poly_free(poly2);  in isl_poly_sum_cst()
770 	isl_poly_free(poly2);  in isl_poly_sum_cst()
805 	__isl_take isl_poly *poly2)  in isl_poly_sum()  argument
811 	if (!poly1 || !poly2)  in isl_poly_sum()
818 		isl_poly_free(poly2);  in isl_poly_sum()
822 	is_nan = isl_poly_is_nan(poly2);  in isl_poly_sum()
827 		return poly2;  in isl_poly_sum()
835 		return poly2;  in isl_poly_sum()
838 	is_zero = isl_poly_is_zero(poly2);  in isl_poly_sum()
842 		isl_poly_free(poly2);  in isl_poly_sum()
846 	if (poly1->var < poly2->var)  in isl_poly_sum()
847 		return isl_poly_sum(poly2, poly1);  in isl_poly_sum()
849 	if (poly2->var < poly1->var) {  in isl_poly_sum()
853 		is_infty = isl_poly_is_infty(poly2);  in isl_poly_sum()
855 			is_infty = isl_poly_is_neginfty(poly2);  in isl_poly_sum()
860 			return poly2;  in isl_poly_sum()
866 		rec->p[0] = isl_poly_sum(rec->p[0], poly2);  in isl_poly_sum()
876 		return isl_poly_sum_cst(poly1, poly2);  in isl_poly_sum()
879 	rec2 = isl_poly_as_rec(poly2);  in isl_poly_sum()
884 		return isl_poly_sum(poly2, poly1);  in isl_poly_sum()
914 	isl_poly_free(poly2);  in isl_poly_sum()
919 	isl_poly_free(poly2);  in isl_poly_sum()
1077 	__isl_take isl_poly *poly2)  in isl_poly_mul_cst()  argument
1083 	if (!poly1 || !poly2)  in isl_poly_mul_cst()
1087 	cst2 = isl_poly_as_cst(poly2);  in isl_poly_mul_cst()
1094 	isl_poly_free(poly2);  in isl_poly_mul_cst()
1098 	isl_poly_free(poly2);  in isl_poly_mul_cst()
1103 	__isl_take isl_poly *poly2)  in isl_poly_mul_rec()  argument
1112 	rec2 = isl_poly_as_rec(poly2);  in isl_poly_mul_rec()
1145 	isl_poly_free(poly2);  in isl_poly_mul_rec()
1150 	isl_poly_free(poly2);  in isl_poly_mul_rec()
1156 	__isl_take isl_poly *poly2)  in isl_poly_mul()  argument
1160 	if (!poly1 || !poly2)  in isl_poly_mul()
1167 		isl_poly_free(poly2);  in isl_poly_mul()
1171 	is_nan = isl_poly_is_nan(poly2);  in isl_poly_mul()
1176 		return poly2;  in isl_poly_mul()
1183 		isl_poly_free(poly2);  in isl_poly_mul()
1187 	is_zero = isl_poly_is_zero(poly2);  in isl_poly_mul()
1192 		return poly2;  in isl_poly_mul()
1200 		return poly2;  in isl_poly_mul()
1203 	is_one = isl_poly_is_one(poly2);  in isl_poly_mul()
1207 		isl_poly_free(poly2);  in isl_poly_mul()
1211 	if (poly1->var < poly2->var)  in isl_poly_mul()
1212 		return isl_poly_mul(poly2, poly1);  in isl_poly_mul()
1214 	if (poly2->var < poly1->var) {  in isl_poly_mul()
1219 		is_infty = isl_poly_is_infty(poly2);  in isl_poly_mul()
1221 			is_infty = isl_poly_is_neginfty(poly2);  in isl_poly_mul()
1227 			isl_poly_free(poly2);  in isl_poly_mul()
1237 						isl_poly_copy(poly2));  in isl_poly_mul()
1241 		isl_poly_free(poly2);  in isl_poly_mul()
1249 		return isl_poly_mul_cst(poly1, poly2);  in isl_poly_mul()
1251 	return isl_poly_mul_rec(poly1, poly2);  in isl_poly_mul()
1254 	isl_poly_free(poly2);  in isl_poly_mul()