21 static isl_stat propagate_on_domain(__isl_take isl_basic_set *bset,
29 static isl_bool has_sign(__isl_keep isl_basic_set *bset,  in has_sign()  argument
39 	nparam = isl_basic_set_dim(bset, isl_dim_param);  in has_sign()
43 	bset = isl_basic_set_copy(bset);  in has_sign()
46 	bset = isl_basic_set_move_dims(bset, isl_dim_set, 0,  in has_sign()
64 	if (propagate_on_domain(bset, poly, &data_m) < 0)  in has_sign()
96 static int monotonicity(__isl_keep isl_basic_set *bset,  in monotonicity()  argument
107 	nvar = isl_basic_set_dim(bset, isl_dim_set);  in monotonicity()
123 	s = has_sign(bset, diff, 1, data->signs);  in monotonicity()
129 		s = has_sign(bset, diff, -1, data->signs);  in monotonicity()
268 static isl_stat add_guarded_poly(__isl_take isl_basic_set *bset,  in add_guarded_poly()  argument
276 	bset = isl_basic_set_params(bset);  in add_guarded_poly()
280 	set = isl_set_from_basic_set(bset);  in add_guarded_poly()
353 	__isl_take isl_constraint *upper, __isl_take isl_basic_set *bset,  in propagate_on_bound_pair()  argument
362 	nvar = isl_basic_set_dim(bset, isl_dim_set);  in propagate_on_bound_pair()
363 	nparam = isl_basic_set_dim(bset, isl_dim_param);  in propagate_on_bound_pair()
406 		r = add_guarded_poly(bset, poly, data);  in propagate_on_bound_pair()
408 		r = propagate_on_domain(bset, poly, data);  in propagate_on_bound_pair()
416 	isl_basic_set_free(bset);  in propagate_on_bound_pair()
423 static isl_stat propagate_on_domain(__isl_take isl_basic_set *bset,  in propagate_on_domain()  argument
432 	d = isl_basic_set_dim(bset, isl_dim_set);  in propagate_on_domain()
437 	ctx = isl_basic_set_get_ctx(bset);  in propagate_on_domain()
441 		bset = isl_basic_set_project_out(bset, isl_dim_set, 0, d);  in propagate_on_domain()
443 		return add_guarded_poly(bset, poly, data);  in propagate_on_domain()
447 		data->monotonicity = monotonicity(bset, poly, data);  in propagate_on_domain()
454 	if (isl_basic_set_foreach_bound_pair(bset, isl_dim_set, d - 1,  in propagate_on_domain()
458 	isl_basic_set_free(bset);  in propagate_on_domain()
465 	isl_basic_set_free(bset);  in propagate_on_domain()
472 static isl_stat basic_guarded_poly_bound(__isl_take isl_basic_set *bset,  in basic_guarded_poly_bound()  argument
477 	isl_size nparam = isl_basic_set_dim(bset, isl_dim_param);  in basic_guarded_poly_bound()
478 	isl_size dim = isl_basic_set_dim(bset, isl_dim_set);  in basic_guarded_poly_bound()
479 	isl_size total = isl_basic_set_dim(bset, isl_dim_all);  in basic_guarded_poly_bound()
487 	ctx = isl_basic_set_get_ctx(bset);  in basic_guarded_poly_bound()
490 	if (isl_basic_set_dims_get_sign(bset, isl_dim_set, 0, dim,  in basic_guarded_poly_bound()
493 	if (isl_basic_set_dims_get_sign(bset, isl_dim_param, 0, nparam,  in basic_guarded_poly_bound()
497 	r = propagate_on_domain(bset, isl_qpolynomial_copy(data->poly), data);  in basic_guarded_poly_bound()
504 	isl_basic_set_free(bset);  in basic_guarded_poly_bound()
509 	__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly,  in qpolynomial_bound_on_domain_range()  argument
512 	isl_size nparam = isl_basic_set_dim(bset, isl_dim_param);  in qpolynomial_bound_on_domain_range()
513 	isl_size nvar = isl_basic_set_dim(bset, isl_dim_set);  in qpolynomial_bound_on_domain_range()
520 		return add_guarded_poly(bset, poly, data);  in qpolynomial_bound_on_domain_range()
522 	set = isl_set_from_basic_set(bset);  in qpolynomial_bound_on_domain_range()
542 isl_stat isl_qpolynomial_bound_on_domain_range(__isl_take isl_basic_set *bset,  in isl_qpolynomial_bound_on_domain_range()  argument
556 	r = qpolynomial_bound_on_domain_range(bset, poly, &data);  in isl_qpolynomial_bound_on_domain_range()