isl_bound.c File Reference

#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl_bound.h>
#include <isl_bernstein.h>
#include <isl_range.h>
#include <isl_polynomial_private.h>
#include <isl_options_private.h>

Go to the source code of this file.

Classes
struct	isl_union_bound_data

Functions
__isl_give isl_pw_qpolynomial_fold *	isl_qpolynomial_cst_bound (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, enum isl_fold type, isl_bool *tight)
isl_stat	isl_bound_add (struct isl_bound *bound, __isl_take isl_pw_qpolynomial_fold *pwf)
isl_stat	isl_bound_add_tight (struct isl_bound *bound, __isl_take isl_pw_qpolynomial_fold *pwf)
static isl_stat	add_constant_poly (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct isl_bound *bound)
static isl_stat	compressed_guarded_poly_bound (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, void *user)
static isl_stat	unwrapped_guarded_poly_bound (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, void *user)
static isl_stat	guarded_poly_bound (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, void *user)
static isl_stat	guarded_qp (__isl_take isl_qpolynomial *qp, void *user)
static isl_stat	basic_guarded_fold (__isl_take isl_basic_set *bset, void *user)
static isl_stat	guarded_fold (__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold, void *user)
__isl_give isl_pw_qpolynomial_fold *	isl_pw_qpolynomial_fold_bound (__isl_take isl_pw_qpolynomial_fold *pwf, isl_bool *tight)
__isl_give isl_pw_qpolynomial_fold *	isl_pw_qpolynomial_bound (__isl_take isl_pw_qpolynomial *pwqp, enum isl_fold type, isl_bool *tight)
static isl_stat	bound_pw (__isl_take isl_pw_qpolynomial *pwqp, void *user)
__isl_give isl_union_pw_qpolynomial_fold *	isl_union_pw_qpolynomial_bound (__isl_take isl_union_pw_qpolynomial *upwqp, enum isl_fold type, isl_bool *tight)

Function Documentation

add_constant_poly()

static isl_stat add_constant_poly ( __isl_take isl_basic_set *  bset, __isl_take isl_qpolynomial *  poly, struct isl_bound *  bound  )

static

Definition at line 65 of file isl_bound.c.

References bound, isl_bound_add_tight(), isl_qpolynomial_cst_bound(), and poly.

Referenced by compressed_guarded_poly_bound().

basic_guarded_fold()

static isl_stat basic_guarded_fold ( __isl_take isl_basic_set *  bset, void *  user  )

static

Definition at line 260 of file isl_bound.c.

References bound, isl_bound::bset, guarded_qp(), isl_basic_set_free(), isl_qpolynomial_fold_foreach_qpolynomial(), and user.

Referenced by guarded_fold().

bound_pw()

static isl_stat bound_pw ( __isl_take isl_pw_qpolynomial *  pwqp, void *  user  )

static

Definition at line 386 of file isl_bound.c.

References isl_pw_qpolynomial_bound(), isl_stat_ok, isl_union_pw_qpolynomial_fold_fold_pw_qpolynomial_fold(), pwqp, isl_union_bound_data::res, isl_union_bound_data::tight, isl_union_bound_data::type, and user.

Referenced by isl_union_pw_qpolynomial_bound().

compressed_guarded_poly_bound()

static isl_stat compressed_guarded_poly_bound ( __isl_take isl_basic_set *  bset, __isl_take isl_qpolynomial *  poly, void *  user  )

static

Definition at line 85 of file isl_bound.c.

References add_constant_poly(), bound, isl_options::bound, isl_bound::bset, isl_basic_set_free(), isl_basic_set_get_ctx(), isl_basic_set_is_bounded(), ISL_BOUND_RANGE, isl_qpolynomial_bound_on_domain_bernstein(), isl_qpolynomial_bound_on_domain_range(), isl_qpolynomial_degree(), isl_qpolynomial_free(), isl_stat_error, isl_ctx::opt, poly, and user.

Referenced by unwrapped_guarded_poly_bound().

guarded_fold()

static isl_stat guarded_fold ( __isl_take isl_set *  set, __isl_take isl_qpolynomial_fold *  fold, void *  user  )

static

Definition at line 272 of file isl_bound.c.

References basic_guarded_fold(), bound, isl_bound::fold, isl_qpolynomial_fold_free(), isl_qpolynomial_fold_get_type(), isl_set_foreach_basic_set(), isl_set_free(), isl_set_make_disjoint(), isl_stat_error, isl_stat_ok, set, and user.

Referenced by isl_pw_qpolynomial_fold_bound().

guarded_poly_bound()

static isl_stat guarded_poly_bound ( __isl_take isl_basic_set *  bset, __isl_take isl_qpolynomial *  poly, void *  user  )

static

Definition at line 193 of file isl_bound.c.

References bound, isl_bound::bset, isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_move_dims(), isl_basic_set_reset_space(), isl_bound_add(), isl_bound_add_tight(), isl_dim_in, isl_dim_out, isl_dim_param, isl_dim_set, isl_pw_qpolynomial_fold_reset_space(), isl_pw_qpolynomial_fold_zero(), isl_qpolynomial_free(), isl_qpolynomial_get_domain_space(), isl_qpolynomial_move_dims(), isl_space_add_dims(), isl_space_copy(), isl_space_dim(), isl_space_from_domain(), isl_space_params(), isl_stat_error, poly, unwrapped_guarded_poly_bound(), and user.

Referenced by guarded_qp().

guarded_qp()

static isl_stat guarded_qp ( __isl_take isl_qpolynomial *  qp, void *  user  )

static

Definition at line 249 of file isl_bound.c.

References bound, guarded_poly_bound(), isl_qpolynomial_as_polynomial_on_domain(), isl_qpolynomial_free(), and user.

Referenced by basic_guarded_fold().

isl_bound_add()

isl_stat isl_bound_add	(	struct isl_bound *	bound,
		__isl_take isl_pw_qpolynomial_fold *	pwf
	)

Definition at line 43 of file isl_bound.c.

References bound, isl_pw_qpolynomial_fold_fold(), and isl_stat_non_null().

Referenced by guarded_poly_bound(), isl_qpolynomial_bound_on_domain_bernstein(), and unwrapped_guarded_poly_bound().

isl_bound_add_tight()

isl_stat isl_bound_add_tight	(	struct isl_bound *	bound,
		__isl_take isl_pw_qpolynomial_fold *	pwf
	)

Definition at line 53 of file isl_bound.c.

References bound, isl_pw_qpolynomial_fold_fold(), and isl_stat_non_null().

Referenced by add_constant_poly(), guarded_poly_bound(), isl_qpolynomial_bound_on_domain_bernstein(), and unwrapped_guarded_poly_bound().

isl_pw_qpolynomial_bound()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_bound	(	__isl_take isl_pw_qpolynomial *	pwqp,
		enum isl_fold	type,
		isl_bool *	tight
	)

Definition at line 370 of file isl_bound.c.

References isl_pw_qpolynomial_fold_bound(), isl_pw_qpolynomial_fold_from_pw_qpolynomial(), isl_bound::pwf, pwqp, tight, and type.

Referenced by bernstein_coefficients_recursive(), bound_pw(), test_bound(), and test_bound_space().

isl_pw_qpolynomial_fold_bound()

__isl_give isl_pw_qpolynomial_fold * isl_pw_qpolynomial_fold_bound	(	__isl_take isl_pw_qpolynomial_fold *	pwf,
		isl_bool *	tight
	)

Definition at line 298 of file isl_bound.c.

References bound, guarded_fold(), isl_bool_true, isl_dim_out, isl_pw_qpolynomial_fold_covers(), isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_fold_foreach_lifted_piece(), isl_pw_qpolynomial_fold_free(), isl_pw_qpolynomial_fold_get_domain_space(), isl_pw_qpolynomial_fold_is_zero(), isl_pw_qpolynomial_fold_reset_space(), isl_pw_qpolynomial_fold_zero(), isl_space_add_dims(), isl_space_copy(), isl_space_dim(), isl_space_domain(), isl_space_free(), isl_space_from_domain(), isl_space_is_wrapping(), isl_space_unwrap(), isl_bound::pwf, tight, isl_pw_qpolynomial_fold::type, and type.

Referenced by bernstein_coefficients_recursive(), isl_map_apply_pw_qpolynomial_fold(), isl_pw_qpolynomial_bound(), and main().

isl_qpolynomial_cst_bound()

__isl_give isl_pw_qpolynomial_fold * isl_qpolynomial_cst_bound	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_qpolynomial *	poly,
		enum isl_fold	type,
		isl_bool *	tight
	)

Definition at line 24 of file isl_bound.c.

References isl_bool_true, isl_pw_qpolynomial_fold_alloc(), isl_pw_qpolynomial_fold_project_domain_on_params(), isl_qpolynomial_fold_alloc(), isl_set_from_basic_set(), poly, tight, and type.

Referenced by add_constant_poly(), and bernstein_coefficients_base().

isl_union_pw_qpolynomial_bound()

__isl_give isl_union_pw_qpolynomial_fold * isl_union_pw_qpolynomial_bound	(	__isl_take isl_union_pw_qpolynomial *	upwqp,
		enum isl_fold	type,
		isl_bool *	tight
	)

Definition at line 399 of file isl_bound.c.

References bound_pw(), isl_bool_false, isl_union_pw_qpolynomial_fold_free(), isl_union_pw_qpolynomial_fold_zero(), isl_union_pw_qpolynomial_foreach_pw_qpolynomial(), isl_union_pw_qpolynomial_free(), isl_union_pw_qpolynomial_get_space(), isl_union_bound_data::res, isl_union_bound_data::tight, tight, and type.

unwrapped_guarded_poly_bound()

static isl_stat unwrapped_guarded_poly_bound ( __isl_take isl_basic_set *  bset, __isl_take isl_qpolynomial *  poly, void *  user  )

static

Definition at line 119 of file isl_bound.c.

References bound, isl_bound::bset, compressed_guarded_poly_bound(), isl_basic_set_detect_equalities(), isl_basic_set_free(), isl_basic_set_full_compression(), isl_bound_add(), isl_bound_add_tight(), isl_dim_out, isl_morph_basic_set(), isl_morph_copy(), isl_morph_dom_params(), isl_morph_get_ran_space(), isl_morph_inverse(), isl_morph_ran_params(), isl_pw_qpolynomial_fold_morph_domain(), isl_pw_qpolynomial_fold_zero(), isl_qpolynomial_free(), isl_qpolynomial_morph_domain(), isl_space_add_dims(), isl_space_copy(), isl_space_from_domain(), isl_space_params(), isl_stat_error, poly, and user.

Referenced by guarded_poly_bound().