97 		isl_poly_cst *cst1, *cst2;  in isl_poly_plain_cmp()  local
100 		cst1 = isl_poly_as_cst(poly1);  in isl_poly_plain_cmp()
102 		if (!cst1 || !cst2)  in isl_poly_plain_cmp()
104 		cmp = isl_int_cmp(cst1->n, cst2->n);  in isl_poly_plain_cmp()
107 		return isl_int_cmp(cst1->d, cst2->d);  in isl_poly_plain_cmp()
142 		isl_poly_cst *cst1, *cst2;  in isl_poly_is_equal()  local
144 		cst1 = isl_poly_as_cst(poly1);  in isl_poly_is_equal()
146 		if (!cst1 || !cst2)  in isl_poly_is_equal()
148 		r = isl_int_eq(cst1->n, cst2->n) &&  in isl_poly_is_equal()
149 		    isl_int_eq(cst1->d, cst2->d);  in isl_poly_is_equal()
746 	isl_poly_cst *cst1;  in isl_poly_sum_cst()  local
753 	cst1 = isl_poly_as_cst(poly1);  in isl_poly_sum_cst()
756 	if (isl_int_eq(cst1->d, cst2->d))  in isl_poly_sum_cst()
757 		isl_int_add(cst1->n, cst1->n, cst2->n);  in isl_poly_sum_cst()
759 		isl_int_mul(cst1->n, cst1->n, cst2->d);  in isl_poly_sum_cst()
760 		isl_int_addmul(cst1->n, cst2->n, cst1->d);  in isl_poly_sum_cst()
761 		isl_int_mul(cst1->d, cst1->d, cst2->d);  in isl_poly_sum_cst()
764 	isl_poly_cst_reduce(cst1);  in isl_poly_sum_cst()
1079 	isl_poly_cst *cst1;  in isl_poly_mul_cst()  local
1086 	cst1 = isl_poly_as_cst(poly1);  in isl_poly_mul_cst()
1089 	isl_int_mul(cst1->n, cst1->n, cst2->n);  in isl_poly_mul_cst()
1090 	isl_int_mul(cst1->d, cst1->d, cst2->d);  in isl_poly_mul_cst()
1092 	isl_poly_cst_reduce(cst1);  in isl_poly_mul_cst()
3299 int isl_poly_cmp(__isl_keep isl_poly_cst *cst1, __isl_keep isl_poly_cst *cst2)  in isl_poly_cmp()  argument
3304 	isl_int_mul(t, cst1->n, cst2->d);  in isl_poly_cmp()
3305 	isl_int_submul(t, cst2->n, cst1->d);  in isl_poly_cmp()