bound.c File Reference

#include <assert.h>
#include <isl/stream.h>
#include <isl_map_private.h>
#include <isl/polynomial.h>
#include <isl_scan.h>
#include <isl/val.h>
#include <isl/options.h>

Go to the source code of this file.

Classes
struct	bound_options
struct	verify_point_bound

Functions
	ISL_ARG_CHILD (struct bound_options, isl, "isl", &isl_options_args, "isl options") ISL_ARGS_END static __isl_give isl_set *set_bounds(__isl_take isl_set *set)
static isl_stat	verify_point (__isl_take isl_point *pnt, void *user)
static int	check_solution (__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_pw_qpolynomial_fold *bound, int exact, struct bound_options *options)
int	main (int argc, char **argv)

Function Documentation

check_solution()

int check_solution ( __isl_take isl_pw_qpolynomial_fold * pwf, __isl_take isl_pw_qpolynomial_fold * bound, int exact, struct bound_options * options )

static

Definition at line 179 of file bound.c.

References __isl_take, assert, bound, verify_point_bound::bound, context, count(), verify_point_bound::error, verify_point_bound::exact, isl_int_clear, isl_int_get_si, isl_int_init, isl_int_set_si, isl_pw_qpolynomial_fold_copy(), isl_pw_qpolynomial_fold_domain(), isl_pw_qpolynomial_fold_free(), isl_set, isl_set_copy(), isl_set_count_upto(), isl_set_foreach_point(), isl_set_free(), isl_set_params(), isl_set_remove_divs(), n, verify_point_bound::n, verify_point_bound::options, verify_point_bound::pwf, set_bounds(), verify_point_bound::stride, and verify_point().

Referenced by main().

ISL_ARG_CHILD()

ISL_ARG_CHILD	(	struct bound_options	,
		isl	,
		"isl"	,
		&	isl_options_args,
		"isl options"	)

Definition at line 17 of file bound.c.

References __isl_give, __isl_take, ISL_ARG_BOOL, ISL_ARG_CHILD, ISL_ARG_DEF, ISL_ARGS_END, isl_dim_param, isl_point_add_ui(), isl_point_copy(), isl_point_sub_ui(), isl_set, isl_set_box_from_points(), isl_set_copy(), isl_set_dim(), isl_set_free(), isl_set_intersect(), isl_set_sample_point(), set, and set_bounds().

main()

int main	(	int	argc,
		char **	argv )

Definition at line 238 of file bound.c.

References assert, check_solution(), ISL_ARG_ALL, isl_ctx_alloc_with_options(), isl_ctx_free(), isl_die, isl_error_invalid, isl_fold_max, isl_obj_pw_qpolynomial, isl_obj_pw_qpolynomial_fold, isl_pw_qpolynomial_fold_bound(), isl_pw_qpolynomial_fold_coalesce(), isl_pw_qpolynomial_fold_copy(), isl_pw_qpolynomial_fold_free(), isl_pw_qpolynomial_fold_from_pw_qpolynomial(), isl_pw_qpolynomial_fold_print(), isl_stream_free(), isl_stream_new_file(), isl_stream_read_obj(), obj, verify_point_bound::pwf, and options::verify.

Referenced by ISL_ARG_CHOICE().

verify_point()

isl_stat verify_point ( __isl_take isl_point * pnt, void * user )

static

Definition at line 62 of file bound.c.

References __isl_take, bound, verify_point_bound::bound, bound_options::continue_on_error, verify_point_bound::error, verify_point_bound::exact, isl_dim_param, isl_point_copy(), isl_point_free(), isl_point_get_coordinate_val(), isl_point_get_ctx(), isl_printer_end_line(), isl_printer_flush(), isl_printer_free(), isl_printer_print_str(), isl_printer_print_val(), isl_printer_to_file(), isl_pw_qpolynomial_fold_copy(), isl_pw_qpolynomial_fold_dim(), isl_pw_qpolynomial_fold_domain(), isl_pw_qpolynomial_fold_eval(), isl_pw_qpolynomial_fold_fix_val(), isl_pw_qpolynomial_fold_free(), isl_pw_qpolynomial_fold_max(), isl_pw_qpolynomial_fold_min(), isl_set, isl_set_copy(), isl_set_free(), isl_set_is_bounded(), isl_set_sample_point(), isl_stat_error, isl_stat_ok, isl_val_eq(), isl_val_free(), isl_val_le(), verify_point_bound::n, verify_point_bound::options, p, bound_options::print_all, verify_point_bound::pwf, verify_point_bound::stride, and user.

Referenced by check_solution().