3016 	__isl_take isl_pw_aff *pa1, __isl_take isl_pw_aff *pa2,  in isl_pw_aff_order_map()  argument
3017 	__isl_give isl_set *(*order)(__isl_take isl_pw_aff *pa1,  in isl_pw_aff_order_map()  argument
3024 	isl_pw_aff_align_params_bin(&pa1, &pa2);  in isl_pw_aff_order_map()
3025 	space1 = isl_space_domain(isl_pw_aff_get_space(pa1));  in isl_pw_aff_order_map()
3029 	pa1 = isl_pw_aff_pullback_multi_aff(pa1, ma);  in isl_pw_aff_order_map()
3032 	set = order(pa1, pa2);  in isl_pw_aff_order_map()
3040 __isl_give isl_map *isl_pw_aff_eq_map(__isl_take isl_pw_aff *pa1,  in isl_pw_aff_eq_map()  argument
3043 	return isl_pw_aff_order_map(pa1, pa2, &isl_pw_aff_eq_set);  in isl_pw_aff_eq_map()
3050 __isl_give isl_map *isl_pw_aff_le_map(__isl_take isl_pw_aff *pa1,  in isl_pw_aff_le_map()  argument
3053 	return isl_pw_aff_order_map(pa1, pa2, &isl_pw_aff_le_set);  in isl_pw_aff_le_map()
3059 __isl_give isl_map *isl_pw_aff_lt_map(__isl_take isl_pw_aff *pa1,  in isl_pw_aff_lt_map()  argument
3062 	return isl_pw_aff_order_map(pa1, pa2, &isl_pw_aff_lt_set);  in isl_pw_aff_lt_map()
3069 __isl_give isl_map *isl_pw_aff_ge_map(__isl_take isl_pw_aff *pa1,  in isl_pw_aff_ge_map()  argument
3072 	return isl_pw_aff_order_map(pa1, pa2, &isl_pw_aff_ge_set);  in isl_pw_aff_ge_map()
3079 __isl_give isl_map *isl_pw_aff_gt_map(__isl_take isl_pw_aff *pa1,  in isl_pw_aff_gt_map()  argument
3082 	return isl_pw_aff_order_map(pa1, pa2, &isl_pw_aff_gt_set);  in isl_pw_aff_gt_map()
3470 __isl_give isl_pw_aff *isl_pw_aff_div(__isl_take isl_pw_aff *pa1,  in isl_pw_aff_div()  argument
3482 	isl_pw_aff_align_params_bin(&pa1, &pa2);  in isl_pw_aff_div()
3483 	return isl_pw_aff_on_shared_domain(pa1, pa2, &isl_aff_div);  in isl_pw_aff_div()
3485 	isl_pw_aff_free(pa1);  in isl_pw_aff_div()
3499 __isl_give isl_pw_aff *isl_pw_aff_tdiv_q(__isl_take isl_pw_aff *pa1,  in isl_pw_aff_tdiv_q()  argument
3514 	pa1 = isl_pw_aff_div(pa1, pa2);  in isl_pw_aff_tdiv_q()
3516 	cond = isl_pw_aff_nonneg_set(isl_pw_aff_copy(pa1));  in isl_pw_aff_tdiv_q()
3517 	f = isl_pw_aff_floor(isl_pw_aff_copy(pa1));  in isl_pw_aff_tdiv_q()
3518 	c = isl_pw_aff_ceil(pa1);  in isl_pw_aff_tdiv_q()
3521 	isl_pw_aff_free(pa1);  in isl_pw_aff_tdiv_q()
3535 __isl_give isl_pw_aff *isl_pw_aff_tdiv_r(__isl_take isl_pw_aff *pa1,  in isl_pw_aff_tdiv_r()  argument
3548 	res = isl_pw_aff_tdiv_q(isl_pw_aff_copy(pa1), isl_pw_aff_copy(pa2));  in isl_pw_aff_tdiv_r()
3550 	res = isl_pw_aff_sub(pa1, res);  in isl_pw_aff_tdiv_r()
3553 	isl_pw_aff_free(pa1);  in isl_pw_aff_tdiv_r()
3560 static isl_bool either_involves_nan(__isl_keep isl_pw_aff *pa1,  in either_involves_nan()  argument
3565 	has_nan = isl_pw_aff_involves_nan(pa1);  in either_involves_nan()
3577 static __isl_give isl_pw_aff *replace_by_nan(__isl_take isl_pw_aff *pa1,  in replace_by_nan()  argument
3584 	dom = isl_set_intersect(isl_pw_aff_domain(pa1), isl_pw_aff_domain(pa2));  in replace_by_nan()
3625 static __isl_give isl_pw_aff *pw_aff_min_max(__isl_take isl_pw_aff *pa1,  in pw_aff_min_max()  argument
3630 	has_nan = either_involves_nan(pa1, pa2);  in pw_aff_min_max()
3632 		pa1 = isl_pw_aff_free(pa1);  in pw_aff_min_max()
3634 		return replace_by_nan(pa1, pa2);  in pw_aff_min_max()
3636 	isl_pw_aff_align_params_bin(&pa1, &pa2);  in pw_aff_min_max()
3638 		return pw_aff_max(pa1, pa2);  in pw_aff_min_max()
3640 		return pw_aff_min(pa1, pa2);  in pw_aff_min_max()
6774 isl_bool isl_pw_aff_is_equal(__isl_keep isl_pw_aff *pa1,  in isl_pw_aff_is_equal()  argument
6781 	if (!pa1 || !pa2)  in isl_pw_aff_is_equal()
6784 	equal = isl_pw_aff_plain_is_equal(pa1, pa2);  in isl_pw_aff_is_equal()
6787 	has_nan = either_involves_nan(pa1, pa2);  in isl_pw_aff_is_equal()
6793 	map1 = isl_map_from_pw_aff_internal(isl_pw_aff_copy(pa1));  in isl_pw_aff_is_equal()
7331 		isl_pw_aff *pa1, *pa2;  in isl_multi_pw_aff_eq_map_on_space()  local
7334 		pa1 = isl_multi_pw_aff_get_pw_aff(mpa1, i);  in isl_multi_pw_aff_eq_map_on_space()
7336 		map = isl_pw_aff_eq_map(pa1, pa2);  in isl_multi_pw_aff_eq_map_on_space()
7386 	__isl_give isl_map *(*base)(__isl_take isl_pw_aff *pa1,  in isl_multi_pw_aff_lex_map_on_space()  argument
7401 		isl_pw_aff *pa1, *pa2;  in isl_multi_pw_aff_lex_map_on_space()  local
7404 		pa1 = isl_multi_pw_aff_get_pw_aff(mpa1, i);  in isl_multi_pw_aff_lex_map_on_space()
7406 		map = base(pa1, pa2);  in isl_multi_pw_aff_lex_map_on_space()
7413 		pa1 = isl_multi_pw_aff_get_pw_aff(mpa1, i);  in isl_multi_pw_aff_lex_map_on_space()
7415 		map = isl_pw_aff_eq_map(pa1, pa2);  in isl_multi_pw_aff_lex_map_on_space()
7480 int isl_pw_aff_plain_cmp(__isl_keep isl_pw_aff *pa1,  in isl_pw_aff_plain_cmp()  argument
7486 	if (pa1 == pa2)  in isl_pw_aff_plain_cmp()
7489 	if (!pa1)  in isl_pw_aff_plain_cmp()
7494 	cmp = isl_space_cmp(pa1->dim, pa2->dim);  in isl_pw_aff_plain_cmp()
7498 	if (pa1->n != pa2->n)  in isl_pw_aff_plain_cmp()
7499 		return pa1->n - pa2->n;  in isl_pw_aff_plain_cmp()
7501 	for (i = 0; i < pa1->n; ++i) {  in isl_pw_aff_plain_cmp()
7502 		cmp = isl_set_plain_cmp(pa1->p[i].set, pa2->p[i].set);  in isl_pw_aff_plain_cmp()
7505 		cmp = isl_aff_plain_cmp(pa1->p[i].aff, pa2->p[i].aff);  in isl_pw_aff_plain_cmp()