#include <assert.h>
#include <stdio.h>
#include <limits.h>
#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl_aff_private.h>
#include <isl_space_private.h>
#include <isl/id.h>
#include <isl/set.h>
#include <isl/flow.h>
#include <isl_constraint_private.h>
#include <isl/polynomial.h>
#include <isl/union_set.h>
#include <isl/union_map.h>
#include <isl_factorization.h>
#include <isl/schedule.h>
#include <isl/schedule_node.h>
#include <isl_options_private.h>
#include <isl_vertices_private.h>
#include <isl/ast_build.h>
#include <isl/val.h>
#include <isl/ilp.h>
#include <isl_ast_build_expr.h>
#include <isl/options.h>
#include "isl_srcdir.c"
#include "check_reparse_templ.c"
#include "check_reparse_test_templ.c"
#include "check_parse_fail_test_templ.c"
#include "isl_test_plain_equal_templ.c"
#include "isl_test_list_templ.c"

Classes
struct	must_may

struct	isl_vertices_test_data

struct	isl_test_codegen_data

Macros
#define	ARRAY_SIZE(array) (sizeof(array)/sizeof(*array))

#define	BASE multi_pw_aff

#define	BASE pw_multi_aff

#define	BASE union_pw_multi_aff

#define	BASE multi_union_pw_aff

#define	BASE multi_val

#define	BASE multi_aff

#define	EL_BASE basic_map

#define	SET_BASE set

#define	EL_BASE basic_set

#define	SET_BASE union_set

#define	EL_BASE set

#define	SET_BASE union_set

#define	EL_BASE basic_map

#define	SET_BASE map

#define	EL_BASE map

#define	SET_BASE union_map

#define	BASE aff

#define	BASE pw_multi_aff

#define	BASE union_pw_aff

#define	BASE union_pw_qpolynomial

Functions
static char *	get_filename (isl_ctx ctx, const char name, const char *suffix)

void	test_parse_map (isl_ctx ctx, const char str)

int	test_parse_map_equal (isl_ctx ctx, const char str, const char *str2)

void	test_parse_pwqp (isl_ctx ctx, const char str)

static void	test_parse_pwaff (isl_ctx ctx, const char str)

static int	test_parse_multi_val (isl_ctx ctx, const char str)

static isl_stat	test_parse_pma (isl_ctx *ctx)

static isl_stat	test_parse_upma (isl_ctx *ctx)

static int	test_parse_mpa (isl_ctx *ctx)

static int	test_parse_mupa (isl_ctx *ctx)

static int	test_parse_multi (isl_ctx *ctx)

int	test_parse (struct isl_ctx *ctx)

static int	test_read (isl_ctx *ctx)

static int	test_bounded (isl_ctx *ctx)

static int	test_construction_1 (isl_ctx *ctx)

static int	test_construction_2 (isl_ctx *ctx)

static int	test_construction (isl_ctx *ctx)

static int	test_dim (isl_ctx *ctx)

static isl_stat	val_check_equal (__isl_keep isl_val val, const char str)

static int	test_un_val (isl_ctx *ctx)

static int	test_bin_val (isl_ctx *ctx)

static int	test_val (isl_ctx *ctx)

static int	test_elimination (isl_ctx *ctx)

static int	test_div (isl_ctx *ctx)

void	test_application_case (struct isl_ctx ctx, const char name)

static int	test_application (isl_ctx *ctx)

void	test_affine_hull_case (struct isl_ctx ctx, const char name)

static int	test_recession_cone (struct isl_ctx *ctx)

int	test_affine_hull (struct isl_ctx *ctx)

static isl_stat	test_plain_unshifted_simple_hull_special (isl_ctx *ctx)

static int	test_various_simple_hull (isl_ctx *ctx)

static int	test_simple_hull (struct isl_ctx *ctx)

static int	test_box_hull (struct isl_ctx *ctx)

void	test_convex_hull_case (struct isl_ctx ctx, const char name)

static int	test_convex_hull_algo (isl_ctx *ctx, int convex)

static int	test_convex_hull (isl_ctx *ctx)

static isl_stat	test_gist_empty_pair (isl_ctx ctx, const char map, const char *context)

static isl_stat	test_gist_empty (isl_ctx *ctx)

static int	test_plain_gist (isl_ctx *ctx)

static isl_stat	test_gist_fail (struct isl_ctx *ctx)

static int	test_gist (struct isl_ctx *ctx)

int	test_coalesce_set (isl_ctx ctx, const char str, int check_one)

int	test_coalesce_unbounded_wrapping (isl_ctx *ctx)

static int	test_coalesce_special (struct isl_ctx *ctx)

static isl_stat	test_coalesce_union (isl_ctx ctx, const char str1, const char *str2)

static isl_stat	test_coalesce_special2 (struct isl_ctx *ctx)

static int	test_coalesce_special3 (isl_ctx *ctx)

static isl_stat	test_coalesce_intersection (isl_ctx ctx, const char s1, const char *s2)

static isl_stat	test_coalesce_special4 (isl_ctx *ctx)

static isl_stat	test_coalesce_special5 (isl_ctx *ctx)

static isl_stat	test_coalesce_special6 (isl_ctx *ctx)

static isl_stat	test_coalesce_special7 (isl_ctx *ctx)

static isl_stat	test_coalesce_special8 (isl_ctx *ctx)

static int	test_coalesce (struct isl_ctx *ctx)

static __isl_give isl_map *	cocoa_fig_1_right_graph (isl_ctx *ctx)

static __isl_give isl_map *	cocoa_fig_1_right_power (isl_ctx *ctx)

static __isl_give isl_map *	cocoa_fig_1_right_tc (isl_ctx *ctx)

static int	test_closure (isl_ctx *ctx)

static isl_stat	check_bool (isl_ctx *ctx, isl_bool actual, isl_bool expected)

static int	test_isl_bool (isl_ctx *ctx)

static int	test_lex (struct isl_ctx *ctx)

static int	test_lexmin (struct isl_ctx *ctx)

static isl_stat	test_pw_max (struct isl_ctx *ctx)

static int	test_min_special (isl_ctx *ctx)

static int	test_min_special2 (isl_ctx *ctx)

static isl_stat	check_single_expr_min (isl_ctx ctx, const char s1, const char *s2)

static int	test_min_mpa (isl_ctx *ctx)

static int	test_min (struct isl_ctx *ctx)

static isl_stat	collect_must_may (__isl_take isl_map dep, int must, void dep_user, void *user)

static int	common_space (void first, void second)

static int	map_is_equal (__isl_keep isl_map map, const char str)

static int	map_check_equal (__isl_keep isl_map map, const char str)

static isl_bool	set_is_equal (__isl_keep isl_set set, const char str)

static isl_stat	set_check_equal (__isl_keep isl_set set, const char str)

static isl_bool	uset_is_equal (__isl_keep isl_union_set uset, const char str)

static isl_stat	uset_check_equal (__isl_keep isl_union_set uset, const char str)

static int	test_dep (struct isl_ctx *ctx)

static int	test_flow (isl_ctx *ctx)

int	test_sv (isl_ctx *ctx)

static int	test_bijective (struct isl_ctx *ctx)

static isl_stat	test_pwqp_gist (isl_ctx *ctx)

static isl_stat	test_pwqp_max (isl_ctx *ctx)

static int	test_pwqp (struct isl_ctx *ctx)

static int	test_split_periods (isl_ctx *ctx)

static int	test_union (isl_ctx *ctx)

static isl_stat	test_bound_space (isl_ctx *ctx)

static int	test_bound (isl_ctx *ctx)

static int	test_get_list (isl_ctx *ctx)

static int	test_lift (isl_ctx *ctx)

static isl_stat	test_subset_duplicate_integer_divisions (isl_ctx *ctx)

static int	test_subset (isl_ctx *ctx)

static isl_stat	test_subtract_empty (isl_ctx *ctx)

static int	test_subtract (isl_ctx *ctx)

static int	test_intersect_1 (isl_ctx *ctx)

static isl_stat	test_intersect_2 (isl_ctx *ctx)

static int	test_intersect (isl_ctx *ctx)

int	test_factorize (isl_ctx *ctx)

static isl_stat	check_injective (__isl_take isl_map map, void user)

int	test_one_schedule (isl_ctx ctx, const char d, const char w, const char r, const char *s, int tilable, int parallel)

static __isl_give isl_union_map *	compute_schedule_with_context (isl_ctx ctx, const char domain, const char validity, const char proximity, const char *context)

static __isl_give isl_union_map *	compute_schedule (isl_ctx ctx, const char domain, const char validity, const char proximity)

static int	test_has_schedule (isl_ctx ctx, const char domain, const char validity, const char proximity)

int	test_special_schedule (isl_ctx ctx, const char domain, const char validity, const char proximity, const char *expected_sched)

static int	test_padded_schedule (isl_ctx *ctx)

static int	test_special_conditional_schedule_constraints (isl_ctx *ctx)

static int	test_special_conditional_schedule_constraints_2 (isl_ctx *ctx)

static int	test_conditional_schedule_constraints (isl_ctx *ctx)

static int	test_strongly_satisfying_schedule (isl_ctx *ctx)

static int	test_conflicting_context_schedule (isl_ctx *ctx)

static int	test_coalescing_schedule (isl_ctx *ctx)

static int	test_skewing_schedule (isl_ctx *ctx)

int	test_schedule (isl_ctx *ctx)

static int	test_schedule_whole (isl_ctx *ctx)

static int	test_schedule_incremental (isl_ctx *ctx)

int	test_plain_injective (isl_ctx ctx, const char str, int injective)

int	test_injective (isl_ctx *ctx)

static int	test_upa (isl_ctx *ctx)

static int	test_bin_aff (isl_ctx *ctx)

static int	test_bin_pw_aff (isl_ctx *ctx)

static isl_stat	test_upma_test (isl_ctx *ctx)

static int	test_bin_upma (isl_ctx *ctx)

static int	test_bin_upma_fail (isl_ctx *ctx)

static isl_stat	test_upma_uset (isl_ctx *ctx)

static int	test_un_mpa (isl_ctx *ctx)

static int	test_bin_mpa (isl_ctx *ctx)

static int	test_un_mupa (isl_ctx *ctx)

static int	test_bin_mupa (isl_ctx *ctx)

static int	test_mupa_set (isl_ctx *ctx)

static int	test_mupa_uset (isl_ctx *ctx)

static int	test_mupa_ma (isl_ctx *ctx)

static int	test_mupa_pa (isl_ctx *ctx)

static int	test_mupa_pma (isl_ctx *ctx)

static int	test_mupa_upma (isl_ctx *ctx)

static isl_stat	test_aff_set_tuple_id (isl_ctx *ctx)

static isl_stat	test_aff_normalize (isl_ctx *ctx)

int	test_aff (isl_ctx *ctx)

static isl_stat	test_bind_set (isl_ctx *ctx)

static isl_stat	test_bind_map_domain (isl_ctx *ctx)

static isl_stat	test_bind_umap_range (isl_ctx *ctx)

static isl_stat	test_bind_pma_domain (isl_ctx *ctx)

static isl_stat	test_bind_pma_domain_wrapped (isl_ctx *ctx)

static isl_stat	test_bind_aff (isl_ctx *ctx)

static isl_stat	test_bind_pa (isl_ctx *ctx)

static isl_stat	test_bind_mupa (isl_ctx *ctx)

static int	test_bind (isl_ctx *ctx)

static isl_stat	test_unbind_set (isl_ctx *ctx)

static isl_stat	test_unbind_aff (isl_ctx *ctx)

static isl_stat	test_unbind_multi_aff (isl_ctx *ctx)

static int	test_unbind (isl_ctx *ctx)

static int	check_single_piece (isl_ctx ctx, __isl_take isl_pw_aff pa)

static int	test_dim_max_1 (isl_ctx *ctx)

static int	test_dim_max_2 (isl_ctx *ctx)

int	test_dim_max (isl_ctx *ctx)

static int	test_product_pma (isl_ctx *ctx)

int	test_product (isl_ctx *ctx)

static int	test_disjoint (isl_ctx *ctx)

int	test_equal (isl_ctx *ctx)

static int	test_plain_fixed (isl_ctx ctx, __isl_take isl_map map, enum isl_dim_type type, unsigned pos, int fixed)

int	test_fixed (isl_ctx *ctx)

static isl_stat	find_vertex (__isl_take isl_vertex vertex, void user)

int	test_vertices (isl_ctx *ctx)

static isl_stat	test_un_union_map (isl_ctx *ctx)

static isl_stat	test_bin_union_map (isl_ctx *ctx)

static isl_stat	test_union_set_contains (isl_ctx *ctx)

static int	test_union_map (isl_ctx *ctx)

static isl_stat	test_union_pw_op (isl_ctx ctx, const char a, const char b, __isl_give isl_union_pw_qpolynomial (fn)(__isl_take isl_union_pw_qpolynomial upwqp1, __isl_take isl_union_pw_qpolynomial upwqp2), const char res)

int	test_union_pw (isl_ctx *ctx)

static int	test_un_locus (isl_ctx *ctx)

static int	test_bin_locus (isl_ctx *ctx)

static isl_stat	test_bin_locus_ma (isl_ctx *ctx)

static int	test_locus (isl_ctx *ctx)

static int	test_eval_1 (isl_ctx *ctx)

static int	test_eval_2 (isl_ctx *ctx)

static isl_stat	test_eval_3 (isl_ctx *ctx)

static int	test_eval_aff (isl_ctx *ctx)

static int	test_eval (isl_ctx *ctx)

static int	test_output_set (isl_ctx *ctx)

static isl_stat	test_output_ma (isl_ctx *ctx)

static isl_stat	test_output_mpa (isl_ctx *ctx)

int	test_output (isl_ctx *ctx)

int	test_sample (isl_ctx *ctx)

static int	test_empty_projection (isl_ctx *ctx)

int	test_slice (isl_ctx *ctx)

int	test_eliminate (isl_ctx *ctx)

static int	test_deltas_map (isl_ctx *ctx)

static int	test_residue_class (isl_ctx *ctx)

static int	test_align_parameters_1 (isl_ctx *ctx)

static isl_stat	test_align_parameters_2 (isl_ctx *ctx)

static int	test_align_parameters (isl_ctx *ctx)

int	test_drop_unused_parameters (isl_ctx *ctx)

static int	test_list (isl_ctx *ctx)

static isl_stat	test_ma_conversion (isl_ctx *ctx)

static int	test_set_conversion (isl_ctx *ctx)

static int	test_map_conversion (isl_ctx *ctx)

static int	test_mpa_conversion (isl_ctx *ctx)

static int	test_union_map_mupa_conversion (isl_ctx *ctx)

static int	test_conversion (isl_ctx *ctx)

static int	test_curry (isl_ctx *ctx)

static int	test_pullback (isl_ctx *ctx)

static int	test_ast (isl_ctx *ctx)

static int	test_ast_build (isl_ctx *ctx)

static __isl_give isl_id *	before_for (__isl_keep isl_ast_build build, void user)

static __isl_give isl_ast_node *	after_for (__isl_take isl_ast_node node, __isl_keep isl_ast_build build, void *user)

static isl_bool	count_for (__isl_keep isl_ast_node node, void user)

static __isl_give isl_ast_node *	select_first (__isl_take isl_ast_node node, void user)

static isl_stat	test_ast_gen1 (isl_ctx *ctx)

static int	test_ast_gen2 (isl_ctx *ctx)

static __isl_give isl_ast_node *	count_domains (__isl_take isl_ast_node node, __isl_keep isl_ast_build build, void *user)

static int	test_ast_gen3 (isl_ctx *ctx)

static int	test_ast_gen4 (isl_ctx *ctx)

static __isl_give isl_ast_node *	create_leaf (__isl_take isl_ast_build build, void user)

static int	test_ast_gen5 (isl_ctx *ctx)

static int	test_ast_expr (isl_ctx *ctx)

static int	test_ast_gen (isl_ctx *ctx)

static int	test_pw_multi_aff (isl_ctx *ctx)

static int	test_multi_pw_aff_1 (isl_ctx *ctx)

static int	test_multi_pw_aff_2 (isl_ctx *ctx)

static isl_stat	test_multi_pw_aff_3 (isl_ctx *ctx)

static isl_stat	test_multi_pw_aff_box (isl_ctx *ctx)

static int	test_multi_pw_aff (isl_ctx *ctx)

static int	test_simplify_1 (isl_ctx *ctx)

static int	test_simplify_2 (isl_ctx *ctx)

static int	test_simplify (isl_ctx *ctx)

static int	test_partial_lexmin (isl_ctx *ctx)

static int	test_compute_divs (isl_ctx *ctx)

static int	test_schedule_tree (isl_ctx *ctx)

static int	test_schedule_tree_prefix (isl_ctx *ctx)

static int	test_schedule_tree_group_1 (isl_ctx *ctx)

static int	test_schedule_tree_group_2 (isl_ctx *ctx)

static int	test_schedule_tree_group (isl_ctx *ctx)

static int	test_dual (isl_ctx *ctx)

static int	test_tile (isl_ctx *ctx)

static int	test_domain_hash (isl_ctx *ctx)

static int	test_universe (isl_ctx *ctx)

static isl_stat	add_cell (__isl_take isl_cell cell, void user)

static isl_stat	check_pairwise_disjoint (__isl_keep isl_basic_set_list *list)

static int	test_chambers (isl_ctx *ctx)

int	main (int argc, char **argv)

Variables
static const char *	reparse_multi_pw_aff_tests []

static const char *	parse_multi_pw_aff_fail_tests []

static const char *	reparse_pw_multi_aff_tests []

static const char *	parse_union_pw_multi_aff_fail_tests []

static const char *	reparse_multi_union_pw_aff_tests []

struct {
const char * map1

const char * map2

}	parse_map_equal_tests []

struct {
__isl_give isl_val ( op )(__isl_take isl_val *v)

const char * arg

const char * res

}	val_un_tests []

struct {
__isl_give isl_val ( fn )(__isl_take isl_val v1, __isl_take isl_val v2)

}	val_bin_op []

struct {
const char * arg1

unsigned char op

const char * arg2

const char * res

}	val_bin_tests []

static const char *	elimination_tests []

struct {
const char * set

const char * cone

}	recession_cone_tests []

struct {
__isl_give isl_basic_set ( fn )(__isl_take isl_set *set)

const char * set

const char * hull

}	simple_hull_tests []

struct {
const char * set

const char * offset

const char * size

}	box_hull_tests []

struct {
const char * set

const char * hull

}	convex_hull_tests []

struct {
const char * map

const char * context

const char * gist

}	plain_gist_tests []

struct {
const char * set

const char * context

}	gist_fail_tests []

struct {
const char * set

const char * context

const char * gist

}	gist_tests []

struct {
int single_disjunct

const char * str

}	coalesce_unbounded_tests []

struct {
int single_disjunct

const char * str

}	coalesce_tests []

struct {
const char * map

const char * lexmin

}	lexmin_tests []

struct {
const char * pma

const char * res

}	opt_pw_tests []

struct {
const char * set

const char * obj

__isl_give isl_val ( fn )(__isl_keep isl_set set, __isl_keep isl_aff obj)

const char * res

}	opt_tests []

struct {
const char * map

int sv

}	sv_tests []

struct {
const char * str

int bijective

}	bijective_tests []

struct {
const char * pwqp

const char * set

const char * gist

}	pwqp_gist_tests []

struct {
int tight

enum isl_fold type

const char * poly

const char * bound

}	bound_tests []

struct {
const char * set1

const char * set2

int subset

}	subset_tests []

struct {
const char * minuend

const char * subtrahend

const char * difference

}	subtract_domain_tests []

struct {
const char * domain

const char * flow

const char * condition

const char * conditional_validity

int outer_band_n

}	live_range_tests []

struct {
__isl_give isl_aff ( fn )(__isl_take isl_aff aff1, __isl_take isl_aff aff2)

}	aff_bin_op []

struct {
const char * arg1

unsigned char op

const char * arg2

const char * res

}	aff_bin_tests []

struct {
__isl_give isl_pw_aff ( fn )(__isl_take isl_pw_aff pa1, __isl_take isl_pw_aff pa2)

}	pw_aff_bin_op []

struct {
const char * arg1

unsigned char op

const char * arg2

const char * res

}	pw_aff_bin_tests []

struct {
isl_bool(* fn )(__isl_keep isl_union_pw_multi_aff *upma1)

const char * arg

isl_bool res

}	upma_test_tests []

struct { ... }	upma_bin_tests []

struct {
__isl_give isl_union_pw_multi_aff ( fn )(__isl_take isl_union_pw_multi_aff upma1, __isl_take isl_union_pw_multi_aff upma2)

const char * arg1

const char * arg2

}	upma_bin_fail_tests []

struct { ... }	upma_uset_tests []

struct {
__isl_give isl_multi_pw_aff ( fn )(__isl_take isl_multi_pw_aff *mpa)

const char * arg

const char * res

}	mpa_un_tests []

struct {
__isl_give isl_multi_pw_aff ( fn )(__isl_take isl_multi_pw_aff mpa1, __isl_take isl_multi_pw_aff mpa2)

const char * arg1

const char * arg2

const char * res

}	mpa_bin_tests []

struct { ... }	mupa_un_tests []

struct {
__isl_give isl_multi_union_pw_aff ( fn )(__isl_take isl_multi_union_pw_aff mupa1, __isl_take isl_multi_union_pw_aff mupa2)

const char * arg1

const char * arg2

const char * res

}	mupa_bin_tests []

struct {
__isl_give isl_multi_union_pw_aff ( fn )(__isl_take isl_multi_union_pw_aff mupa, __isl_take isl_set set)

const char * arg1

const char * arg2

const char * res

}	mupa_set_tests []

struct { ... }	mupa_uset_tests []

struct {
__isl_give isl_multi_union_pw_aff ( fn )(__isl_take isl_multi_union_pw_aff mupa, __isl_take isl_multi_aff ma)

const char * arg1

const char * arg2

const char * res

}	mupa_ma_tests []

struct {
__isl_give isl_union_pw_aff ( fn )(__isl_take isl_multi_union_pw_aff mupa, __isl_take isl_pw_aff pa)

const char * arg1

const char * arg2

const char * res

}	mupa_pa_tests []

struct {
__isl_give isl_multi_union_pw_aff ( fn )(__isl_take isl_multi_union_pw_aff mupa, __isl_take isl_pw_multi_aff pma)

const char * arg1

const char * arg2

const char * res

}	mupa_pma_tests []

struct {
__isl_give isl_multi_union_pw_aff ( fn )(__isl_take isl_multi_union_pw_aff mupa, __isl_take isl_union_pw_multi_aff upma)

const char * arg1

const char * arg2

const char * res

}	mupa_upma_tests []

struct {
const char * set

const char * tuple

const char * res

}	bind_set_tests []

struct {
const char * map

const char * tuple

const char * res

}	bind_map_domain_tests []

struct {
const char * map

const char * tuple

const char * res

}	bind_umap_range_tests []

struct {
const char * pma

const char * tuple

const char * res

}	bind_pma_domain_tests []

struct {
const char * pma

const char * tuple

const char * res

}	bind_pma_domain_wrapped_tests []

struct {
const char * aff

const char * id

const char * res

}	bind_aff_tests []

static struct { ... }	bind_pa_tests []

struct {
const char * mupa

const char * tuple

const char * res

}	bind_mupa_tests []

struct {
const char * set

const char * tuple

const char * res

}	unbind_set_tests []

struct {
const char * aff

const char * tuple

const char * res

}	unbind_aff_tests []

struct {
const char * ma

const char * tuple

const char * res

}	unbind_multi_aff_tests []

struct {
int equal

const char * f1

const char * f2

}	pma_equal_tests []

struct isl_vertices_test_data	vertices_tests []

struct {
__isl_give isl_union_map ( fn )(__isl_take isl_union_map *umap)

const char * arg

const char * res

}	umap_un_tests []

struct {
__isl_give isl_union_map ( fn )(__isl_take isl_union_map umap1, __isl_take isl_union_map umap2)

const char * arg1

const char * arg2

const char * res

}	umap_bin_tests []

struct {
__isl_give isl_union_set ( fn )(__isl_take isl_multi_union_pw_aff *mupa)

const char * arg

const char * res

}	un_locus_tests []

struct {
__isl_give isl_union_map ( fn )(__isl_take isl_union_map umap, __isl_take isl_multi_union_pw_aff mupa)

const char * arg1

const char * arg2

const char * res

}	bin_locus_tests []

struct {
__isl_give isl_set ( fn )(__isl_take isl_multi_aff ma1, __isl_take isl_multi_aff ma2)

const char * arg1

const char * arg2

const char * res

}	bin_locus_ma_tests []

struct {
const char * f

const char * p

const char * res

}	aff_eval_tests []

const char *	output_tests []

const char *	set_conversion_tests []

const char *	conversion_tests []

const char *	mpa_conversion_tests []

const char *	umap_mupa_conversion_tests []

struct {
const char * ma1

const char * ma

const char * res

}	pullback_tests []

static const char *	multi_pw_aff_box_tests []

struct {
const char * set

const char * dual

}	coef_tests []

struct {
const char * set

const char * dual

}	sol_tests []

struct {
int scale_tile

int shift_point

const char * domain

const char * schedule

const char * sizes

const char * tile

const char * point

}	tile_tests []

const char *	chambers_tests []

struct {
const char * name

int(* fn )(isl_ctx *ctx)

}	tests []

Macro Definition Documentation

◆ ARRAY_SIZE

#define ARRAY_SIZE ( array ) (sizeof(array)/sizeof(*array))

Definition at line 47 of file isl_test.c.

◆ BASE [1/10]

#define BASE multi_pw_aff

Definition at line 8251 of file isl_test.c.

◆ BASE [2/10]

#define BASE pw_multi_aff

Definition at line 8251 of file isl_test.c.

◆ BASE [3/10]

#define BASE union_pw_multi_aff

Definition at line 8251 of file isl_test.c.

◆ BASE [4/10]

#define BASE multi_union_pw_aff

Definition at line 8251 of file isl_test.c.

◆ BASE [5/10]

#define BASE multi_val

Definition at line 8251 of file isl_test.c.

◆ BASE [6/10]

#define BASE multi_aff

Definition at line 8251 of file isl_test.c.

◆ BASE [7/10]

#define BASE aff

Definition at line 8251 of file isl_test.c.

◆ BASE [8/10]

#define BASE pw_multi_aff

Definition at line 8251 of file isl_test.c.

◆ BASE [9/10]

#define BASE union_pw_aff

Definition at line 8251 of file isl_test.c.

◆ BASE [10/10]

#define BASE union_pw_qpolynomial

Definition at line 8251 of file isl_test.c.

◆ EL_BASE [1/5]

#define EL_BASE basic_map

Definition at line 4124 of file isl_test.c.

◆ EL_BASE [2/5]

#define EL_BASE basic_set

Definition at line 4124 of file isl_test.c.

◆ EL_BASE [3/5]

#define EL_BASE set

Definition at line 4124 of file isl_test.c.

◆ EL_BASE [4/5]

#define EL_BASE basic_map

Definition at line 4124 of file isl_test.c.

◆ EL_BASE [5/5]

#define EL_BASE map

Definition at line 4124 of file isl_test.c.

◆ SET_BASE [1/5]

#define SET_BASE set

Definition at line 4125 of file isl_test.c.

◆ SET_BASE [2/5]

#define SET_BASE union_set

Definition at line 4125 of file isl_test.c.

◆ SET_BASE [3/5]

#define SET_BASE union_set

Definition at line 4125 of file isl_test.c.

◆ SET_BASE [4/5]

#define SET_BASE map

Definition at line 4125 of file isl_test.c.

◆ SET_BASE [5/5]

#define SET_BASE union_map

Definition at line 4125 of file isl_test.c.

Function Documentation

◆ add_cell()

static isl_stat add_cell	(	__isl_take isl_cell *	cell,
		void *	user
	)

static

Definition at line 10857 of file isl_test.c.

References isl_basic_set_list, isl_cell_free(), isl_cell_get_domain(), isl_stat_error, isl_stat_ok, and user.

Referenced by test_chambers().

◆ after_for()

static __isl_give isl_ast_node * after_for	(	__isl_take isl_ast_node *	node,
		__isl_keep isl_ast_build *	build,
		void *	user
	)

static

Definition at line 9659 of file isl_test.c.

References isl_test_codegen_data::after, isl_test_codegen_data::before, isl_test_codegen_data::depth, id, isl_ast_node_free(), isl_ast_node_get_annotation(), isl_ast_node_get_ctx(), isl_die, isl_error_unknown, isl_id_free(), isl_id_get_name(), name, and user.

Referenced by test_ast_gen1().

◆ before_for()

static __isl_give isl_id * before_for	(	__isl_keep isl_ast_build *	build,
		void *	user
	)

static

Definition at line 9600 of file isl_test.c.

References isl_test_codegen_data::before, isl_test_codegen_data::depth, isl_ast_build_get_ctx(), isl_ast_build_get_schedule(), isl_ast_build_get_schedule_space(), isl_die, isl_error_unknown, isl_id_alloc(), isl_set_free(), isl_set_is_empty(), isl_union_map_range(), isl_union_set_extract_set(), isl_union_set_free(), isl_union_set_n_set(), n, name, schedule, set, and user.

Referenced by test_ast_gen1().

◆ check_bool()

static isl_stat check_bool	(	isl_ctx *	ctx,
		isl_bool	actual,
		isl_bool	expected
	)

static

Definition at line 2976 of file isl_test.c.

References expected, isl_die, isl_error_unknown, isl_stat_error, and isl_stat_ok.

Referenced by test_isl_bool().

◆ check_injective()

static isl_stat check_injective	(	__isl_take isl_map *	map,
		void *	user
	)

static

Definition at line 4441 of file isl_test.c.

References isl_map_free(), isl_map_is_injective(), isl_stat_error, isl_stat_ok, map, and user.

Referenced by test_one_schedule().

◆ check_pairwise_disjoint()

static isl_stat check_pairwise_disjoint ( __isl_keep isl_basic_set_list * list )

static

Definition at line 10871 of file isl_test.c.

References isl_basic_set_free(), isl_basic_set_is_disjoint(), isl_die, isl_error_unknown, isl_stat_error, isl_stat_ok, and n.

Referenced by test_chambers().

◆ check_single_expr_min()

static isl_stat check_single_expr_min	(	isl_ctx *	ctx,
		const char *	s1,
		const char *	s2
	)

static

Definition at line 3271 of file isl_test.c.

References isl_die, isl_error_unknown, isl_pw_multi_aff_free(), isl_pw_multi_aff_from_multi_pw_aff(), isl_pw_multi_aff_n_piece(), isl_set_min_multi_pw_aff(), isl_set_read_from_str(), isl_set_union(), isl_stat_error, isl_stat_ok, n, pma, set1, and set2.

Referenced by test_min_mpa().

◆ check_single_piece()

static int check_single_piece	(	isl_ctx *	ctx,
		__isl_take isl_pw_aff *	pa
	)

static

Definition at line 7599 of file isl_test.c.

References isl_die, isl_error_unknown, isl_pw_aff_free(), isl_pw_aff_n_piece(), and n.

Referenced by test_dim_max_1(), and test_dim_max_2().

◆ cocoa_fig_1_right_graph()

static __isl_give isl_map * cocoa_fig_1_right_graph ( isl_ctx * ctx )

static

Definition at line 2695 of file isl_test.c.

References isl_map_intersect_domain(), isl_map_intersect_range(), isl_map_read_from_str(), isl_map_union(), isl_set_copy(), and isl_set_read_from_str().

Referenced by test_closure().

◆ cocoa_fig_1_right_power()

static __isl_give isl_map * cocoa_fig_1_right_power ( isl_ctx * ctx )

static

Definition at line 2718 of file isl_test.c.

References isl_map_read_from_str().

Referenced by cocoa_fig_1_right_tc(), and test_closure().

◆ cocoa_fig_1_right_tc()

static __isl_give isl_map * cocoa_fig_1_right_tc ( isl_ctx * ctx )

static

Definition at line 2730 of file isl_test.c.

References cocoa_fig_1_right_power(), isl_map_range(), and isl_set_unwrap().

Referenced by test_closure().

◆ collect_must_may()

static isl_stat collect_must_may	(	__isl_take isl_map *	dep,
		int	must,
		void *	dep_user,
		void *	user
	)

static

Definition at line 3373 of file isl_test.c.

References isl_map_union(), isl_stat_ok, must_may::may, must_may::must, and user.

Referenced by test_dep().

◆ common_space()

static int common_space	(	void *	first,
		void *	second
	)

static

Definition at line 3386 of file isl_test.c.

Referenced by test_dep().

◆ compute_schedule()

static __isl_give isl_union_map * compute_schedule	(	isl_ctx *	ctx,
		const char *	domain,
		const char *	validity,
		const char *	proximity
	)

static

Definition at line 4627 of file isl_test.c.

References compute_schedule_with_context(), and domain.

Referenced by test_has_schedule(), test_special_schedule(), and test_strongly_satisfying_schedule().

◆ compute_schedule_with_context()

static __isl_give isl_union_map * compute_schedule_with_context	(	isl_ctx *	ctx,
		const char *	domain,
		const char *	validity,
		const char *	proximity,
		const char *	context
	)

static

Definition at line 4597 of file isl_test.c.

References context, domain, isl_schedule_constraints_compute_schedule(), isl_schedule_constraints_on_domain(), isl_schedule_constraints_set_context(), isl_schedule_constraints_set_proximity(), isl_schedule_constraints_set_validity(), isl_schedule_free(), isl_schedule_get_map(), isl_set_read_from_str(), isl_union_map_read_from_str(), isl_union_set_read_from_str(), and schedule.

Referenced by compute_schedule(), and test_conflicting_context_schedule().

◆ count_domains()

static __isl_give isl_ast_node * count_domains	(	__isl_take isl_ast_node *	node,
		__isl_keep isl_ast_build *	build,
		void *	user
	)

static

Definition at line 9826 of file isl_test.c.

References n, and user.

Referenced by test_ast_gen3().

◆ count_for()

static isl_bool count_for	(	__isl_keep isl_ast_node *	node,
		void *	user
	)

static

Definition at line 9697 of file isl_test.c.

References count(), isl_ast_node_for, isl_ast_node_get_type(), isl_bool_true, and user.

Referenced by test_ast_gen1().

◆ create_leaf()

static __isl_give isl_ast_node * create_leaf	(	__isl_take isl_ast_build *	build,
		void *	user
	)

static

Definition at line 9939 of file isl_test.c.

References isl_ast_build_free(), isl_ast_build_get_schedule(), isl_ast_build_node_from_schedule_map(), isl_ast_node_for, isl_ast_node_free(), isl_ast_node_get_ctx(), isl_ast_node_get_type(), isl_die, isl_error_unknown, isl_union_map_copy(), isl_union_map_domain(), isl_union_map_from_domain(), isl_union_map_range_product(), schedule, and tree.

Referenced by test_ast_gen5().

◆ find_vertex()

static isl_stat find_vertex	(	__isl_take isl_vertex *	vertex,
		void *	user
	)

static

Definition at line 7995 of file isl_test.c.

References equal, isl_pw_multi_aff_alloc(), isl_pw_multi_aff_free(), isl_pw_multi_aff_plain_is_equal(), isl_pw_multi_aff_read_from_str(), isl_set_from_basic_set(), isl_stat_error, isl_stat_ok, isl_vertex_free(), isl_vertex_get_ctx(), isl_vertex_get_domain(), isl_vertex_get_expr(), ma, isl_vertices_test_data::n, pma, user, and isl_vertices_test_data::vertex.

Referenced by test_vertices().

◆ get_filename()

static char * get_filename	(	isl_ctx *	ctx,
		const char *	name,
		const char *	suffix
	)

static

Definition at line 49 of file isl_test.c.

References isl_alloc_array, and name.

Referenced by test_affine_hull_case(), test_application_case(), test_convex_hull_case(), and test_read().

◆ main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 11023 of file isl_test.c.

References ARRAY_SIZE, assert, fn, ISL_ARG_ALL, isl_ctx_alloc_with_options(), isl_ctx_free(), name, and tests.

◆ map_check_equal()

static int map_check_equal	(	__isl_keep isl_map *	map,
		const char *	str
	)

static

Definition at line 3407 of file isl_test.c.

References equal, isl_die, isl_error_unknown, isl_map_get_ctx(), map, map_is_equal(), and str.

Referenced by test_deltas_map(), test_eliminate(), and test_slice().

◆ map_is_equal()

static int map_is_equal	(	__isl_keep isl_map *	map,
		const char *	str
	)

static

Definition at line 3392 of file isl_test.c.

References equal, isl_map_free(), isl_map_is_equal(), isl_map_read_from_str(), map, map2, and str.

Referenced by map_check_equal(), and test_dep().

◆ select_first()

static __isl_give isl_ast_node * select_first	(	__isl_take isl_ast_node *	node,
		void *	user
	)

static

Definition at line 9709 of file isl_test.c.

References isl_ast_node_block, isl_ast_node_block_get_children(), isl_ast_node_free(), and isl_ast_node_get_type().

Referenced by test_ast_gen1().

◆ set_check_equal()

static isl_stat set_check_equal	(	__isl_keep isl_set *	set,
		const char *	str
	)

static

Definition at line 3439 of file isl_test.c.

References equal, isl_die, isl_error_unknown, isl_set_get_ctx(), isl_stat_error, isl_stat_ok, set, set_is_equal(), and str.

Referenced by test_bind_aff(), test_bind_map_domain(), test_bind_pa(), test_bind_set(), and test_unbind_set().

◆ set_is_equal()

static isl_bool set_is_equal	(	__isl_keep isl_set *	set,
		const char *	str
	)

static

Definition at line 3422 of file isl_test.c.

References equal, isl_bool_error, isl_set_free(), isl_set_get_ctx(), isl_set_is_equal(), isl_set_read_from_str(), set, set2, and str.

Referenced by set_check_equal().

◆ test_aff()

int test_aff ( isl_ctx * ctx )

◆ test_aff_normalize()

static isl_stat test_aff_normalize ( isl_ctx * ctx )

static

Definition at line 6900 of file isl_test.c.

References aff, isl_aff_free(), isl_aff_read_from_str(), and isl_aff_sub().

Referenced by test_aff().

◆ test_aff_set_tuple_id()

static isl_stat test_aff_set_tuple_id ( isl_ctx * ctx )

static

Definition at line 6878 of file isl_test.c.

References aff, equal, id, isl_aff_free(), isl_aff_read_from_str(), isl_aff_set_tuple_id(), isl_dim_in, isl_id_alloc(), isl_stat_error, and isl_stat_ok.

Referenced by test_aff().

◆ test_affine_hull()

int test_affine_hull ( struct isl_ctx * ctx )

Definition at line 1395 of file isl_test.c.

References isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_is_subset(), isl_basic_set_read_from_str(), isl_die, isl_dim_div, isl_error_unknown, isl_set_affine_hull(), isl_set_read_from_str(), n, set, str, subset, and test_affine_hull_case().

◆ test_affine_hull_case()

void test_affine_hull_case	(	struct isl_ctx *	ctx,
		const char *	name
	)

Definition at line 1327 of file isl_test.c.

References assert, get_filename(), isl_basic_set_affine_hull(), isl_basic_set_free(), isl_basic_set_is_equal(), isl_basic_set_read_from_file(), and name.

Referenced by test_affine_hull().

◆ test_align_parameters()

static int test_align_parameters ( isl_ctx * ctx )

static

Definition at line 9104 of file isl_test.c.

References test_align_parameters_1(), and test_align_parameters_2().

◆ test_align_parameters_1()

static int test_align_parameters_1 ( isl_ctx * ctx )

static

Definition at line 9046 of file isl_test.c.

References equal, isl_die, isl_dim_param, isl_error_unknown, isl_multi_aff_read_from_str(), isl_space_params_alloc(), isl_space_set_dim_name(), ma1, and str.

Referenced by test_align_parameters().

◆ test_align_parameters_2()

static isl_stat test_align_parameters_2 ( isl_ctx * ctx )

static

Definition at line 9082 of file isl_test.c.

References aff, isl_aff_read_from_str(), isl_map_free(), isl_map_get_space(), isl_map_read_from_str(), isl_stat_error, isl_stat_ok, ma, and map.

Referenced by test_align_parameters().

◆ test_application()

static int test_application ( isl_ctx * ctx )

static

Definition at line 1319 of file isl_test.c.

References isl_basic_map::ctx, and test_application_case().

◆ test_application_case()

void test_application_case	(	struct isl_ctx *	ctx,
		const char *	name
	)

Definition at line 1291 of file isl_test.c.

References assert, isl_basic_map::ctx, get_filename(), isl_basic_map_read_from_file(), isl_basic_set_apply(), isl_basic_set_free(), isl_basic_set_is_equal(), isl_basic_set_read_from_file(), and name.

Referenced by test_application().

◆ test_ast()

static int test_ast ( isl_ctx * ctx )

static

Definition at line 9506 of file isl_test.c.

References equal, isl_ast_expr_add(), isl_ast_expr_copy(), isl_ast_expr_free(), isl_ast_expr_from_id(), isl_ast_expr_is_equal(), isl_ast_expr_neg(), isl_ast_expr_sub(), isl_ast_expr_to_C_str(), isl_die, isl_error_unknown, isl_id_alloc(), and str.

◆ test_ast_build()

static int test_ast_build ( isl_ctx * ctx )

static

Definition at line 9557 of file isl_test.c.

References isl_ast_build_expr_from_set(), isl_ast_build_free(), isl_ast_build_from_context(), isl_ast_expr_free(), isl_set_empty(), isl_set_universe(), isl_space_params_alloc(), and set.

◆ test_ast_expr()

static int test_ast_expr ( isl_ctx * ctx )

static

Definition at line 10012 of file isl_test.c.

References isl_ast_build_alloc(), isl_ast_build_expr_from_pw_aff(), isl_ast_build_free(), isl_ast_expr_free(), isl_ast_expr_get_op_type(), isl_ast_expr_get_type(), isl_ast_expr_op, isl_ast_expr_op_min, isl_die, isl_error_unknown, isl_options_get_ast_build_detect_min_max(), isl_options_set_ast_build_detect_min_max(), isl_pw_aff_read_from_str(), min_max, and str.

Referenced by test_ast_gen().

◆ test_ast_gen()

static int test_ast_gen ( isl_ctx * ctx )

static

Definition at line 10044 of file isl_test.c.

References test_ast_expr(), test_ast_gen1(), test_ast_gen2(), test_ast_gen3(), test_ast_gen4(), and test_ast_gen5().

◆ test_ast_gen1()

static isl_stat test_ast_gen1 ( isl_ctx * ctx )

static

◆ test_ast_gen2()

static int test_ast_gen2 ( isl_ctx * ctx )

static

Definition at line 9798 of file isl_test.c.

References isl_ast_build_free(), isl_ast_build_from_context(), isl_ast_build_node_from_schedule_map(), isl_ast_build_set_options(), isl_ast_node_free(), isl_set_universe(), isl_space_params_alloc(), isl_union_map_read_from_str(), schedule, set, str, and tree.

Referenced by test_ast_gen().

◆ test_ast_gen3()

static int test_ast_gen3 ( isl_ctx * ctx )

static

Definition at line 9840 of file isl_test.c.

References count_domains(), isl_ast_build_free(), isl_ast_build_from_context(), isl_ast_build_node_from_schedule_map(), isl_ast_build_set_at_each_domain(), isl_ast_build_set_options(), isl_ast_node_free(), isl_die, isl_error_unknown, isl_set_universe(), isl_space_params_alloc(), isl_union_map_read_from_str(), schedule, set, str, and tree.

Referenced by test_ast_gen().

◆ test_ast_gen4()

static int test_ast_gen4 ( isl_ctx * ctx )

static

Definition at line 9879 of file isl_test.c.

References isl_ast_build_free(), isl_ast_build_from_context(), isl_ast_build_node_from_schedule_map(), isl_ast_node_free(), isl_ast_node_get_type(), isl_ast_node_if, isl_die, isl_error_unknown, isl_options_get_ast_build_exploit_nested_bounds(), isl_options_set_ast_build_exploit_nested_bounds(), isl_set_universe(), isl_space_params_alloc(), isl_union_map_read_from_str(), schedule, set, str, tree, and type.

Referenced by test_ast_gen().

◆ test_ast_gen5()

static int test_ast_gen5 ( isl_ctx * ctx )

static

Definition at line 9973 of file isl_test.c.

References create_leaf(), isl_ast_build_free(), isl_ast_build_from_context(), isl_ast_build_node_from_schedule_map(), isl_ast_build_set_create_leaf(), isl_ast_build_set_options(), isl_ast_node_free(), isl_set_universe(), isl_space_params_alloc(), isl_union_map_read_from_str(), schedule, set, str, and tree.

Referenced by test_ast_gen().

◆ test_bijective()

static int test_bijective ( struct isl_ctx * ctx )

static

Definition at line 3759 of file isl_test.c.

References ARRAY_SIZE, bijective, bijective_tests, isl_die, isl_error_internal, isl_map_free(), isl_map_is_bijective(), isl_map_read_from_str(), map, and str.

◆ test_bin_aff()

static int test_bin_aff ( isl_ctx * ctx )

static

Definition at line 5585 of file isl_test.c.

References __isl_give, __isl_take, aff_bin_op, aff_bin_tests, arg1, arg2, ARRAY_SIZE, fn, isl_aff_free(), isl_aff_is_nan(), isl_aff_plain_is_equal(), isl_aff_read_from_str(), isl_die, isl_error_unknown, and res.

Referenced by test_aff().

◆ test_bin_locus()

static int test_bin_locus ( isl_ctx * ctx )

static

Definition at line 8452 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, bin_locus_tests, isl_die, isl_error_unknown, isl_multi_union_pw_aff_read_from_str(), isl_union_map_free(), isl_union_map_is_equal(), isl_union_map_read_from_str(), mupa, and res.

Referenced by test_locus().

◆ test_bin_locus_ma()

static isl_stat test_bin_locus_ma ( isl_ctx * ctx )

static

Definition at line 8516 of file isl_test.c.

References ARRAY_SIZE, bin_locus_ma_tests, isl_die, isl_error_unknown, isl_multi_aff_read_from_str(), isl_set_free(), isl_set_is_equal(), isl_set_read_from_str(), isl_stat_error, isl_stat_ok, ma1, res, set, and str.

Referenced by test_locus().

◆ test_bin_mpa()

static int test_bin_mpa ( isl_ctx * ctx )

static

Definition at line 6099 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, isl_die, isl_error_unknown, isl_multi_pw_aff_read_from_str(), mpa_bin_tests, and res.

Referenced by test_aff().

◆ test_bin_mupa()

static int test_bin_mupa ( isl_ctx * ctx )

static

Definition at line 6294 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, isl_die, isl_error_unknown, isl_multi_union_pw_aff_read_from_str(), mupa_bin_tests, and res.

Referenced by test_aff().

◆ test_bin_pw_aff()

static int test_bin_pw_aff ( isl_ctx * ctx )

static

Definition at line 5649 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, isl_die, isl_error_unknown, isl_pw_aff_free(), isl_pw_aff_involves_nan(), isl_pw_aff_plain_is_equal(), isl_pw_aff_read_from_str(), pw_aff_bin_op, pw_aff_bin_tests, and res.

Referenced by test_aff().

◆ test_bin_union_map()

static isl_stat test_bin_union_map ( isl_ctx * ctx )

static

Definition at line 8179 of file isl_test.c.

References ARRAY_SIZE, equal, isl_die, isl_error_unknown, isl_stat_error, isl_stat_ok, isl_union_map_free(), isl_union_map_is_equal(), isl_union_map_read_from_str(), res, str, and umap_bin_tests.

Referenced by test_union_map().

◆ test_bin_upma()

static int test_bin_upma ( isl_ctx * ctx )

static

Definition at line 5785 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, isl_die, isl_error_unknown, isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_plain_is_equal(), isl_union_pw_multi_aff_read_from_str(), res, and upma_bin_tests.

Referenced by test_aff().

◆ test_bin_upma_fail()

static int test_bin_upma_fail ( isl_ctx * ctx )

static

Definition at line 5826 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, isl_die, isl_error_unknown, ISL_ON_ERROR_CONTINUE, isl_options_get_on_error(), isl_options_set_on_error(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_read_from_str(), n, on_error, and upma_bin_fail_tests.

Referenced by test_aff().

◆ test_bin_val()

static int test_bin_val ( isl_ctx * ctx )

static

Definition at line 948 of file isl_test.c.

References __isl_give, __isl_take, arg1, arg2, ARRAY_SIZE, fn, isl_die, isl_error_unknown, isl_val_eq(), isl_val_free(), isl_val_is_nan(), isl_val_read_from_str(), res, val_bin_op, and val_bin_tests.

Referenced by test_val().

◆ test_bind()

static int test_bind ( isl_ctx * ctx )

static

Definition at line 7409 of file isl_test.c.

References test_bind_aff(), test_bind_map_domain(), test_bind_mupa(), test_bind_pa(), test_bind_pma_domain(), test_bind_pma_domain_wrapped(), test_bind_set(), and test_bind_umap_range().

◆ test_bind_aff()

static isl_stat test_bind_aff ( isl_ctx * ctx )

static

Definition at line 7292 of file isl_test.c.

References aff, ARRAY_SIZE, bind_aff_tests, id, isl_aff_bind_id(), isl_aff_read_from_str(), isl_id_read_from_str(), isl_set_free(), isl_set_from_basic_set(), isl_stat_error, isl_stat_ok, res, and set_check_equal().

Referenced by test_bind().

◆ test_bind_map_domain()

static isl_stat test_bind_map_domain ( isl_ctx * ctx )

static

Definition at line 7082 of file isl_test.c.

References ARRAY_SIZE, bind_map_domain_tests, isl_map_bind_domain(), isl_map_read_from_str(), isl_multi_id_read_from_str(), isl_set_free(), isl_stat_error, isl_stat_ok, map, set, set_check_equal(), str, and tuple.

Referenced by test_bind().

◆ test_bind_mupa()

static isl_stat test_bind_mupa ( isl_ctx * ctx )

static

Definition at line 7382 of file isl_test.c.

References ARRAY_SIZE, bind_mupa_tests, isl_multi_id_read_from_str(), isl_multi_union_pw_aff_bind(), isl_multi_union_pw_aff_read_from_str(), isl_stat_error, isl_stat_ok, isl_union_set_free(), mupa, res, str, tuple, and uset_check_equal().

Referenced by test_bind().

◆ test_bind_pa()

static isl_stat test_bind_pa ( isl_ctx * ctx )

static

Definition at line 7336 of file isl_test.c.

References ARRAY_SIZE, bind_pa_tests, id, isl_id_read_from_str(), isl_pw_aff_bind_id(), isl_pw_aff_read_from_str(), isl_set_free(), isl_stat_error, isl_stat_ok, res, and set_check_equal().

Referenced by test_bind().

◆ test_bind_pma_domain()

static isl_stat test_bind_pma_domain ( isl_ctx * ctx )

static

Definition at line 7189 of file isl_test.c.

References ARRAY_SIZE, bind_pma_domain_tests, isl_multi_id_read_from_str(), isl_pw_multi_aff_bind_domain(), isl_pw_multi_aff_free(), isl_pw_multi_aff_read_from_str(), isl_stat_error, isl_stat_ok, pma, str, and tuple.

Referenced by test_bind().

◆ test_bind_pma_domain_wrapped()

static isl_stat test_bind_pma_domain_wrapped ( isl_ctx * ctx )

static

Definition at line 7246 of file isl_test.c.

References ARRAY_SIZE, bind_pma_domain_wrapped_tests, isl_multi_id_read_from_str(), isl_pw_multi_aff_bind_domain_wrapped_domain(), isl_pw_multi_aff_free(), isl_pw_multi_aff_read_from_str(), isl_stat_error, isl_stat_ok, pma, str, and tuple.

Referenced by test_bind().

◆ test_bind_set()

static isl_stat test_bind_set ( isl_ctx * ctx )

static

Definition at line 7027 of file isl_test.c.

References ARRAY_SIZE, bind_set_tests, isl_multi_id_read_from_str(), isl_set_bind(), isl_set_free(), isl_set_read_from_str(), isl_stat_error, isl_stat_ok, res, set, set_check_equal(), str, and tuple.

Referenced by test_bind().

◆ test_bind_umap_range()

static isl_stat test_bind_umap_range ( isl_ctx * ctx )

static

Definition at line 7131 of file isl_test.c.

References ARRAY_SIZE, bind_umap_range_tests, isl_multi_id_read_from_str(), isl_stat_error, isl_stat_ok, isl_union_map_bind_range(), isl_union_map_read_from_str(), isl_union_set_free(), str, tuple, and uset_check_equal().

Referenced by test_bind().

◆ test_bound()

static int test_bound ( isl_ctx * ctx )

static

Definition at line 4059 of file isl_test.c.

References ARRAY_SIZE, bound_tests, equal, isl_die, isl_error_unknown, isl_pw_qpolynomial_bound(), isl_pw_qpolynomial_fold_free(), isl_pw_qpolynomial_fold_plain_is_equal(), isl_pw_qpolynomial_fold_read_from_str(), isl_pw_qpolynomial_read_from_str(), pwqp, str, test_bound_space(), tight, and type.

◆ test_bound_space()

static isl_stat test_bound_space ( isl_ctx * ctx )

static

Definition at line 4039 of file isl_test.c.

References isl_fold_max, isl_pw_qpolynomial_bound(), isl_pw_qpolynomial_fold_free(), isl_pw_qpolynomial_intersect_domain(), isl_pw_qpolynomial_read_from_str(), isl_set_read_from_str(), isl_stat_non_null(), pwqp, set, and str.

Referenced by test_bound().

◆ test_bounded()

static int test_bounded ( isl_ctx * ctx )

static

Definition at line 578 of file isl_test.c.

References assert, isl_die, isl_error_unknown, isl_set_free(), isl_set_is_bounded(), isl_set_read_from_str(), and set.

◆ test_box_hull()

static int test_box_hull ( struct isl_ctx * ctx )

static

Definition at line 1587 of file isl_test.c.

References ARRAY_SIZE, box_hull_tests, isl_fixed_box_free(), isl_fixed_box_get_offset(), isl_fixed_box_get_size(), isl_set_free(), isl_set_get_simple_fixed_box_hull(), isl_set_read_from_str(), offset, set, size, and str.

◆ test_chambers()

static int test_chambers ( isl_ctx * ctx )

static

Definition at line 10909 of file isl_test.c.

References add_cell(), ARRAY_SIZE, chambers_tests, check_pairwise_disjoint(), isl_basic_set_compute_vertices(), isl_basic_set_free(), isl_basic_set_list, isl_basic_set_read_from_str(), isl_vertices_foreach_disjoint_cell(), and isl_vertices_free().

◆ test_closure()

static int test_closure ( isl_ctx * ctx )

static

Definition at line 2735 of file isl_test.c.

References assert, cocoa_fig_1_right_graph(), cocoa_fig_1_right_power(), cocoa_fig_1_right_tc(), equal, isl_die, isl_error_unknown, isl_map_free(), isl_map_is_equal(), isl_map_power(), isl_map_read_from_str(), isl_map_transitive_closure(), map, map2, and str.

◆ test_coalesce()

static int test_coalesce ( struct isl_ctx * ctx )

static

Definition at line 2658 of file isl_test.c.

References ARRAY_SIZE, coalesce_tests, str, test_coalesce_set(), test_coalesce_special(), test_coalesce_special2(), test_coalesce_special3(), test_coalesce_special4(), test_coalesce_special5(), test_coalesce_special6(), test_coalesce_special7(), test_coalesce_special8(), and test_coalesce_unbounded_wrapping().

◆ test_coalesce_intersection()

static isl_stat test_coalesce_intersection	(	isl_ctx *	ctx,
		const char *	s1,
		const char *	s2
	)

static

Definition at line 2556 of file isl_test.c.

References isl_set_coalesce(), isl_set_copy(), isl_set_free(), isl_set_intersect(), isl_set_read_from_str(), isl_stat_error, isl_stat_ok, set1, and set2.

Referenced by test_coalesce_special4(), test_coalesce_special5(), and test_coalesce_special6().

◆ test_coalesce_set()

int test_coalesce_set	(	isl_ctx *	ctx,
		const char *	str,
		int	check_one
	)

Definition at line 2062 of file isl_test.c.

References equal, isl_die, isl_error_unknown, isl_set_coalesce(), isl_set_free(), isl_set_is_equal(), isl_set_read_from_str(), set, set2, and str.

Referenced by test_coalesce(), and test_coalesce_unbounded_wrapping().

◆ test_coalesce_special()

static int test_coalesce_special ( struct isl_ctx * ctx )

static

Definition at line 2417 of file isl_test.c.

References isl_map_align_divs_internal(), isl_map_coalesce(), isl_map_free(), isl_map_read_from_str(), isl_map_union(), map1, map2, and str.

Referenced by test_coalesce().

◆ test_coalesce_special2()

static isl_stat test_coalesce_special2 ( struct isl_ctx * ctx )

static

Definition at line 2497 of file isl_test.c.

References test_coalesce_union().

Referenced by test_coalesce().

◆ test_coalesce_special3()

static int test_coalesce_special3 ( isl_ctx * ctx )

static

Definition at line 2516 of file isl_test.c.

References isl_printer_free(), isl_printer_get_str(), isl_printer_print_set(), isl_printer_to_str(), isl_set_coalesce(), isl_set_copy(), isl_set_free(), isl_set_read_from_str(), isl_set_union(), p, set1, set2, and str.

Referenced by test_coalesce().

◆ test_coalesce_special4()

static isl_stat test_coalesce_special4 ( isl_ctx * ctx )

static

Definition at line 2579 of file isl_test.c.

References test_coalesce_intersection().

Referenced by test_coalesce().

◆ test_coalesce_special5()

static isl_stat test_coalesce_special5 ( isl_ctx * ctx )

static

Definition at line 2593 of file isl_test.c.

References test_coalesce_intersection().

Referenced by test_coalesce().

◆ test_coalesce_special6()

static isl_stat test_coalesce_special6 ( isl_ctx * ctx )

static

Definition at line 2607 of file isl_test.c.

References test_coalesce_intersection().

Referenced by test_coalesce().

◆ test_coalesce_special7()

static isl_stat test_coalesce_special7 ( isl_ctx * ctx )

static

Definition at line 2623 of file isl_test.c.

References test_coalesce_union().

Referenced by test_coalesce().

◆ test_coalesce_special8()

static isl_stat test_coalesce_special8 ( isl_ctx * ctx )

static

Definition at line 2642 of file isl_test.c.

References test_coalesce_union().

Referenced by test_coalesce().

◆ test_coalesce_unbounded_wrapping()

int test_coalesce_unbounded_wrapping ( isl_ctx * ctx )

Definition at line 2120 of file isl_test.c.

References ARRAY_SIZE, coalesce_unbounded_tests, isl_options_get_coalesce_bounded_wrapping(), isl_options_set_coalesce_bounded_wrapping(), str, and test_coalesce_set().

Referenced by test_coalesce().

◆ test_coalesce_union()

static isl_stat test_coalesce_union	(	isl_ctx *	ctx,
		const char *	str1,
		const char *	str2
	)

static

Definition at line 2460 of file isl_test.c.

References equal, isl_basic_set_read_from_str(), isl_basic_set_union(), isl_die, isl_error_unknown, isl_set_coalesce(), isl_set_free(), isl_set_is_equal(), isl_stat_error, isl_stat_non_null(), set, and set2.

Referenced by test_coalesce_special2(), test_coalesce_special7(), and test_coalesce_special8().

◆ test_coalescing_schedule()

static int test_coalescing_schedule ( isl_ctx * ctx )

static

Definition at line 5037 of file isl_test.c.

References domain, isl_options_get_schedule_treat_coalescing(), isl_options_set_schedule_treat_coalescing(), isl_schedule_constraints_compute_schedule(), isl_schedule_constraints_on_domain(), isl_schedule_constraints_set_validity(), isl_schedule_free(), isl_union_map_read_from_str(), isl_union_set_read_from_str(), and schedule.

Referenced by test_schedule().

◆ test_compute_divs()

static int test_compute_divs ( isl_ctx * ctx )

static

Definition at line 10357 of file isl_test.c.

References isl_basic_set_compute_divs(), isl_basic_set_read_from_str(), isl_set_free(), set, and str.

◆ test_conditional_schedule_constraints()

static int test_conditional_schedule_constraints ( isl_ctx * ctx )

static

◆ test_conflicting_context_schedule()

static int test_conflicting_context_schedule ( isl_ctx * ctx )

static

Definition at line 5015 of file isl_test.c.

References compute_schedule_with_context(), context, domain, isl_union_map_free(), and schedule.

Referenced by test_schedule().

◆ test_construction()

static int test_construction ( isl_ctx * ctx )

static

Definition at line 679 of file isl_test.c.

References test_construction_1(), and test_construction_2().

◆ test_construction_1()

static int test_construction_1 ( isl_ctx * ctx )

static

Definition at line 618 of file isl_test.c.

References isl_basic_set_add_constraint(), isl_basic_set_free(), isl_basic_set_universe(), isl_constraint_alloc_inequality(), isl_constraint_set_coefficient_si(), isl_constraint_set_constant_si(), isl_dim_param, isl_dim_set, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_space_copy(), and isl_space_set_alloc().

Referenced by test_construction().

◆ test_construction_2()

static int test_construction_2 ( isl_ctx * ctx )

static

Definition at line 649 of file isl_test.c.

References equal, isl_basic_set_free(), isl_basic_set_is_equal(), isl_basic_set_lower_bound_val(), isl_basic_set_read_from_str(), isl_basic_set_universe(), isl_basic_set_upper_bound_val(), isl_die, isl_dim_set, isl_error_unknown, isl_space_set_alloc(), isl_val_copy(), isl_val_int_from_si(), and isl_val_neg().

Referenced by test_construction().

◆ test_conversion()

static int test_conversion ( isl_ctx * ctx )

static

Definition at line 9413 of file isl_test.c.

References test_ma_conversion(), test_map_conversion(), test_mpa_conversion(), test_set_conversion(), and test_union_map_mupa_conversion().

◆ test_convex_hull()

static int test_convex_hull ( isl_ctx * ctx )

static

Definition at line 1720 of file isl_test.c.

References ISL_CONVEX_HULL_FM, ISL_CONVEX_HULL_WRAP, and test_convex_hull_algo().

◆ test_convex_hull_algo()

static int test_convex_hull_algo	(	isl_ctx *	ctx,
		int	convex
	)

static

Definition at line 1674 of file isl_test.c.

References ARRAY_SIZE, convex, isl_options::convex, convex_hull_tests, equal, hull, isl_die, isl_error_unknown, isl_set_convex_hull(), isl_set_free(), isl_set_from_basic_set(), isl_set_is_equal(), isl_set_read_from_str(), isl_ctx::opt, set, set1, set2, and test_convex_hull_case().

Referenced by test_convex_hull().

◆ test_convex_hull_case()

void test_convex_hull_case	(	struct isl_ctx *	ctx,
		const char *	name
	)

Definition at line 1619 of file isl_test.c.

References assert, get_filename(), isl_basic_set_free(), isl_basic_set_is_equal(), isl_basic_set_read_from_file(), isl_basic_set_union(), isl_set_convex_hull(), name, and set.

Referenced by test_convex_hull_algo().

◆ test_curry()

static int test_curry ( isl_ctx * ctx )

static

Definition at line 9430 of file isl_test.c.

References equal, isl_basic_map_copy(), isl_basic_map_curry(), isl_basic_map_free(), isl_basic_map_is_equal(), isl_basic_map_read_from_str(), isl_die, isl_error_unknown, and str.

◆ test_deltas_map()

static int test_deltas_map ( isl_ctx * ctx )

static

Definition at line 9001 of file isl_test.c.

References equal, isl_map_deltas_map(), isl_map_free(), isl_map_read_from_str(), map, map_check_equal(), and str.

◆ test_dep()

static int test_dep ( struct isl_ctx * ctx )

static

Definition at line 3485 of file isl_test.c.

References assert, collect_must_may(), common_space(), flow, isl_access_info_add_source(), isl_access_info_alloc(), isl_access_info_compute_flow(), isl_flow_foreach(), isl_flow_free(), isl_map_empty(), isl_map_free(), isl_map_read_from_str(), isl_space_alloc(), isl_space_copy(), map, map_is_equal(), must_may::may, must_may::must, and str.

◆ test_dim()

static int test_dim ( isl_ctx * ctx )

static

Definition at line 688 of file isl_test.c.

References equal, isl_die, isl_dim_in, isl_dim_out, isl_dim_param, isl_error_unknown, isl_map_add_dims(), isl_map_free(), isl_map_is_equal(), isl_map_move_dims(), isl_map_project_out(), isl_map_read_from_str(), map1, map2, and str.

◆ test_dim_max()

int test_dim_max ( isl_ctx * ctx )

Definition at line 7656 of file isl_test.c.

References equal, isl_die, isl_error_unknown, isl_map_range(), isl_map_read_from_str(), isl_set_copy(), isl_set_dim_max(), isl_set_dim_min(), isl_set_free(), isl_set_from_pw_aff(), isl_set_is_equal(), isl_set_read_from_str(), map, set, set1, set2, str, test_dim_max_1(), and test_dim_max_2().

◆ test_dim_max_1()

static int test_dim_max_1 ( isl_ctx * ctx )

static

Definition at line 7621 of file isl_test.c.

References check_single_piece(), isl_set_dim_min(), isl_set_read_from_str(), set, and str.

Referenced by test_dim_max().

◆ test_dim_max_2()

static int test_dim_max_2 ( isl_ctx * ctx )

static

Definition at line 7643 of file isl_test.c.

References check_single_piece(), isl_set_dim_max(), isl_set_read_from_str(), set, and str.

Referenced by test_dim_max().

◆ test_disjoint()

static int test_disjoint ( isl_ctx * ctx )

static

Definition at line 7842 of file isl_test.c.

References isl_die, isl_error_unknown, isl_set_free(), isl_set_is_disjoint(), isl_set_read_from_str(), set, set2, and str.

◆ test_div()

◆ test_domain_hash()

static int test_domain_hash ( isl_ctx * ctx )

static

Definition at line 10802 of file isl_test.c.

References isl_die, isl_error_unknown, isl_map_free(), isl_map_get_space(), isl_map_read_from_str(), isl_space_domain(), isl_space_free(), isl_space_get_tuple_domain_hash(), isl_space_get_tuple_hash(), and map.

◆ test_drop_unused_parameters()

int test_drop_unused_parameters ( isl_ctx * ctx )

Definition at line 9119 of file isl_test.c.

References equal, isl_basic_set_drop_unused_params(), isl_basic_set_free(), isl_basic_set_plain_is_equal(), isl_basic_set_read_from_str(), isl_die, isl_error_unknown, isl_pw_aff_drop_unused_params(), isl_pw_aff_free(), isl_pw_aff_plain_is_equal(), isl_pw_aff_read_from_str(), isl_set_drop_unused_params(), isl_set_free(), isl_set_plain_is_equal(), isl_set_read_from_str(), set1, and set2.

◆ test_dual()

static int test_dual ( isl_ctx * ctx )

static

Definition at line 10652 of file isl_test.c.

References ARRAY_SIZE, coef_tests, dual, equal, isl_basic_set_coefficients(), isl_basic_set_free(), isl_basic_set_is_equal(), isl_basic_set_read_from_str(), isl_basic_set_solutions(), isl_die, isl_error_unknown, set, and sol_tests.

◆ test_eliminate()

int test_eliminate ( isl_ctx * ctx )

Definition at line 8982 of file isl_test.c.

References equal, isl_dim_out, isl_map_eliminate(), isl_map_free(), isl_map_read_from_str(), map, map_check_equal(), and str.

◆ test_elimination()

static int test_elimination ( isl_ctx * ctx )

static

Definition at line 1001 of file isl_test.c.

References ARRAY_SIZE, elimination_tests, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_read_from_str(), isl_die, isl_dim_div, isl_error_unknown, and n.

Referenced by test_div().

◆ test_empty_projection()

static int test_empty_projection ( isl_ctx * ctx )

static

Definition at line 8902 of file isl_test.c.

References isl_basic_set_free(), isl_basic_set_is_empty(), isl_basic_set_params(), isl_basic_set_read_from_str(), and str.

◆ test_equal()

int test_equal ( isl_ctx * ctx )

Definition at line 7881 of file isl_test.c.

References ARRAY_SIZE, equal, expected, f1, f2, isl_die, isl_error_unknown, isl_pw_multi_aff_free(), isl_pw_multi_aff_is_equal(), isl_pw_multi_aff_read_from_str(), isl_set_free(), isl_set_is_equal(), isl_set_read_from_str(), pma_equal_tests, set, set2, and str.

◆ test_eval()

static int test_eval ( isl_ctx * ctx )

static

Definition at line 8699 of file isl_test.c.

References test_eval_1(), test_eval_2(), test_eval_3(), and test_eval_aff().

◆ test_eval_1()

static int test_eval_1 ( isl_ctx * ctx )

static

Definition at line 8561 of file isl_test.c.

References cmp(), isl_die, isl_error_unknown, isl_set_read_from_str(), isl_set_sample_point(), isl_union_pw_qpolynomial_eval(), isl_union_pw_qpolynomial_read_from_str(), isl_val_cmp_si(), isl_val_free(), set, and str.

Referenced by test_eval().

◆ test_eval_2()

static int test_eval_2 ( isl_ctx * ctx )

static

Definition at line 8589 of file isl_test.c.

References isl_aff_read_from_str(), isl_die, isl_error_unknown, isl_qpolynomial_eval(), isl_qpolynomial_from_aff(), isl_set_read_from_str(), isl_set_sample_point(), isl_val_free(), isl_val_is_nan(), set, and str.

Referenced by test_eval().

◆ test_eval_3()

static isl_stat test_eval_3 ( isl_ctx * ctx )

static

Definition at line 8618 of file isl_test.c.

References isl_dim_set, isl_point_set_coordinate_val(), isl_point_zero(), isl_pw_qpolynomial_eval(), isl_pw_qpolynomial_get_domain_space(), isl_pw_qpolynomial_read_from_str(), isl_val_free(), isl_val_read_from_str(), pwqp, and val_check_equal().

Referenced by test_eval().

◆ test_eval_aff()

static int test_eval_aff ( isl_ctx * ctx )

static

Definition at line 8674 of file isl_test.c.

References aff_eval_tests, ARRAY_SIZE, f, isl_pw_aff_eval(), isl_pw_aff_read_from_str(), isl_set_read_from_str(), isl_set_sample_point(), isl_val_free(), p, res, set, and val_check_equal().

Referenced by test_eval().

◆ test_factorize()

int test_factorize ( isl_ctx * ctx )

Definition at line 4399 of file isl_test.c.

References f, isl_basic_set_factorizer(), isl_basic_set_free(), isl_basic_set_read_from_str(), isl_die, isl_error_unknown, isl_factorizer_free(), and str.

◆ test_fixed()

int test_fixed ( isl_ctx * ctx )

Definition at line 7938 of file isl_test.c.

References isl_dim_out, isl_map_neg(), isl_map_read_from_str(), map, str, and test_plain_fixed().

◆ test_flow()

static int test_flow ( isl_ctx * ctx )

static

Definition at line 3679 of file isl_test.c.

References isl_union_map_compute_flow(), isl_union_map_copy(), isl_union_map_free(), isl_union_map_read_from_str(), schedule, and str.

◆ test_get_list()

static int test_get_list ( isl_ctx * ctx )

static

Definition at line 4130 of file isl_test.c.

◆ test_gist()

static int test_gist ( struct isl_ctx * ctx )

static

Definition at line 1960 of file isl_test.c.

References ARRAY_SIZE, assert, context, equal, gist, gist_tests, isl_basic_map_dim(), isl_basic_set_free(), isl_basic_set_gist(), isl_basic_set_read_from_str(), isl_die, isl_dim_div, isl_error_unknown, isl_map_free(), isl_map_gist(), isl_map_read_from_str(), isl_set_copy(), isl_set_free(), isl_set_gist(), isl_set_intersect(), isl_set_is_equal(), isl_set_read_from_str(), map1, map2, set, set1, set2, str, test_gist_empty(), test_gist_fail(), and test_plain_gist().

◆ test_gist_empty()

static isl_stat test_gist_empty ( isl_ctx * ctx )

static

Definition at line 1764 of file isl_test.c.

References context, isl_stat_error, isl_stat_ok, map, and test_gist_empty_pair().

Referenced by test_gist().

◆ test_gist_empty_pair()

static isl_stat test_gist_empty_pair	(	isl_ctx *	ctx,
		const char *	map,
		const char *	context
	)

static

Definition at line 1733 of file isl_test.c.

References context, isl_die, isl_error_unknown, isl_map_copy(), isl_map_free(), isl_map_gist(), isl_map_is_empty(), isl_map_read_from_str(), isl_stat_error, isl_stat_ok, and map.

Referenced by test_gist_empty().

◆ test_gist_fail()

static isl_stat test_gist_fail ( struct isl_ctx * ctx )

static

Definition at line 1843 of file isl_test.c.

References ARRAY_SIZE, context, gist_fail_tests, isl_basic_set_free(), isl_basic_set_gist(), isl_basic_set_read_from_str(), isl_die, isl_error_unknown, ISL_ON_ERROR_CONTINUE, isl_options_get_on_error(), isl_options_set_on_error(), isl_stat_error, isl_stat_ok, n, on_error, set, and str.

Referenced by test_gist().

◆ test_has_schedule()

static int test_has_schedule	(	isl_ctx *	ctx,
		const char *	domain,
		const char *	validity,
		const char *	proximity
	)

static

Definition at line 4637 of file isl_test.c.

References compute_schedule(), domain, and isl_union_map_free().

Referenced by test_schedule().

◆ test_injective()

int test_injective ( isl_ctx * ctx )

Definition at line 5445 of file isl_test.c.

References str, and test_plain_injective().

◆ test_intersect()

static int test_intersect ( isl_ctx * ctx )

static

Definition at line 4389 of file isl_test.c.

References test_intersect_1(), and test_intersect_2().

◆ test_intersect_1()

static int test_intersect_1 ( isl_ctx * ctx )

static

Definition at line 4349 of file isl_test.c.

References isl_basic_set_free(), isl_basic_set_intersect(), isl_basic_set_n_constraint(), isl_basic_set_read_from_str(), isl_die, and isl_error_unknown.

Referenced by test_intersect().

◆ test_intersect_2()

static isl_stat test_intersect_2 ( isl_ctx * ctx )

static

Definition at line 4373 of file isl_test.c.

References isl_set_copy(), isl_set_free(), isl_set_intersect(), isl_set_read_from_str(), isl_stat_error, isl_stat_ok, and set.

Referenced by test_intersect().

◆ test_isl_bool()

static int test_isl_bool ( isl_ctx * ctx )

static

Definition at line 2991 of file isl_test.c.

References check_bool(), isl_bool_error, isl_bool_false, isl_bool_not(), isl_bool_ok(), and isl_bool_true.

◆ test_lex()

static int test_lex ( struct isl_ctx * ctx )

static

Definition at line 3013 of file isl_test.c.

References isl_die, isl_error_unknown, isl_map_free(), isl_map_is_empty(), isl_map_lex_le(), isl_space_set_alloc(), and map.

◆ test_lexmin()

static int test_lexmin ( struct isl_ctx * ctx )

static

◆ test_lift()

static int test_lift ( isl_ctx * ctx )

static

Definition at line 4148 of file isl_test.c.

References isl_basic_map_domain(), isl_basic_map_from_range(), isl_basic_set_free(), isl_basic_set_lift(), isl_basic_set_read_from_str(), and str.

◆ test_list()

static int test_list ( isl_ctx * ctx )

static

Definition at line 9172 of file isl_test.c.

References a(), b(), id, isl_die, isl_error_unknown, isl_id_alloc(), isl_id_free(), and n.

◆ test_locus()

static int test_locus ( isl_ctx * ctx )

static

Definition at line 8547 of file isl_test.c.

References test_bin_locus(), test_bin_locus_ma(), and test_un_locus().

◆ test_ma_conversion()

static isl_stat test_ma_conversion ( isl_ctx * ctx )

static

Definition at line 9221 of file isl_test.c.

References equal, isl_basic_set_free(), isl_basic_set_from_multi_aff(), isl_basic_set_is_equal(), isl_basic_set_read_from_str(), isl_die, isl_error_unknown, isl_multi_aff_read_from_str(), isl_stat_error, isl_stat_ok, ma, and str.

Referenced by test_conversion().

◆ test_map_conversion()

static int test_map_conversion ( isl_ctx * ctx )

static

Definition at line 9298 of file isl_test.c.

References ARRAY_SIZE, conversion_tests, equal, isl_die, isl_error_unknown, isl_map_copy(), isl_map_free(), isl_map_from_pw_multi_aff(), isl_map_is_equal(), isl_map_read_from_str(), isl_pw_multi_aff_from_map(), map1, map2, and pma.

Referenced by test_conversion().

◆ test_min()

static int test_min ( struct isl_ctx * ctx )

static

Definition at line 3332 of file isl_test.c.

References ARRAY_SIZE, isl_aff_free(), isl_aff_read_from_str(), isl_die, isl_error_unknown, isl_set_free(), isl_set_read_from_str(), isl_val_eq(), isl_val_free(), isl_val_read_from_str(), obj, opt_tests, res, set, test_min_special(), test_min_special2(), test_pw_max(), and val.

◆ test_min_mpa()

static int test_min_mpa ( isl_ctx * ctx )

static

Definition at line 3300 of file isl_test.c.

References check_single_expr_min().

◆ test_min_special()

static int test_min_special ( isl_ctx * ctx )

static

Definition at line 3208 of file isl_test.c.

References isl_aff_free(), isl_aff_read_from_str(), isl_basic_set_read_from_str(), isl_basic_set_union(), isl_die, isl_error_unknown, isl_set_free(), isl_set_min_val(), isl_val_cmp_si(), isl_val_free(), obj, res, set, and str.

Referenced by test_min().

◆ test_min_special2()

static int test_min_special2 ( isl_ctx * ctx )

static

Definition at line 3243 of file isl_test.c.

References isl_aff_free(), isl_aff_read_from_str(), isl_basic_set_free(), isl_basic_set_max_val(), isl_basic_set_read_from_str(), isl_val_free(), obj, res, and str.

Referenced by test_min().

◆ test_mpa_conversion()

static int test_mpa_conversion ( isl_ctx * ctx )

static

Definition at line 9338 of file isl_test.c.

References ARRAY_SIZE, equal, isl_die, isl_error_unknown, isl_multi_pw_aff_from_pw_multi_aff(), isl_pw_multi_aff_copy(), isl_pw_multi_aff_free(), isl_pw_multi_aff_from_multi_pw_aff(), isl_pw_multi_aff_plain_is_equal(), isl_pw_multi_aff_read_from_str(), mpa_conversion_tests, and str.

Referenced by test_conversion().

◆ test_multi_pw_aff()

static int test_multi_pw_aff ( isl_ctx * ctx )

static

Definition at line 10250 of file isl_test.c.

References test_multi_pw_aff_1(), test_multi_pw_aff_2(), test_multi_pw_aff_3(), and test_multi_pw_aff_box().

◆ test_multi_pw_aff_1()

static int test_multi_pw_aff_1 ( isl_ctx * ctx )

static

Definition at line 10093 of file isl_test.c.

References equal, isl_die, isl_error_unknown, isl_multi_pw_aff_intersect_domain(), isl_multi_pw_aff_read_from_str(), isl_pw_aff_domain(), isl_set_free(), isl_set_is_equal(), isl_set_read_from_str(), and str.

Referenced by test_multi_pw_aff().

◆ test_multi_pw_aff_2()

static int test_multi_pw_aff_2 ( isl_ctx * ctx )

static

Definition at line 10142 of file isl_test.c.

References equal, isl_die, isl_dim_in, isl_error_unknown, isl_multi_pw_aff_read_from_str(), isl_stat_error, and str.

Referenced by test_multi_pw_aff().

◆ test_multi_pw_aff_3()

static isl_stat test_multi_pw_aff_3 ( isl_ctx * ctx )

static

Definition at line 10186 of file isl_test.c.

References isl_multi_union_pw_aff_multi_val_on_domain(), isl_space_set_from_params(), isl_stat_error, isl_stat_ok, isl_union_map_free(), isl_union_map_from_multi_union_pw_aff(), isl_union_set_get_space(), isl_union_set_read_from_str(), and mupa.

Referenced by test_multi_pw_aff().

◆ test_multi_pw_aff_box()

static isl_stat test_multi_pw_aff_box ( isl_ctx * ctx )

static

Definition at line 10218 of file isl_test.c.

References ARRAY_SIZE, equal, isl_die, isl_error_unknown, isl_map_copy(), isl_map_free(), isl_map_get_space(), isl_map_is_equal(), isl_map_lower_bound_multi_pw_aff(), isl_map_max_multi_pw_aff(), isl_map_min_multi_pw_aff(), isl_map_read_from_str(), isl_map_universe(), isl_map_upper_bound_multi_pw_aff(), isl_stat_error, isl_stat_ok, map, multi_pw_aff_box_tests, and str.

Referenced by test_multi_pw_aff().

◆ test_mupa_ma()

static int test_mupa_ma ( isl_ctx * ctx )

static

Definition at line 6547 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, isl_die, isl_error_unknown, isl_multi_aff_read_from_str(), isl_multi_union_pw_aff_read_from_str(), ma, mupa, mupa_ma_tests, and res.

Referenced by test_aff().

◆ test_mupa_pa()

static int test_mupa_pa ( isl_ctx * ctx )

static

Definition at line 6630 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, isl_die, isl_error_unknown, isl_multi_union_pw_aff_read_from_str(), isl_pw_aff_read_from_str(), isl_union_pw_aff_free(), isl_union_pw_aff_plain_is_equal(), isl_union_pw_aff_read_from_str(), mupa, mupa_pa_tests, and res.

Referenced by test_aff().

◆ test_mupa_pma()

static int test_mupa_pma ( isl_ctx * ctx )

static

Definition at line 6750 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, isl_die, isl_error_unknown, isl_multi_union_pw_aff_read_from_str(), isl_pw_multi_aff_read_from_str(), mupa, mupa_pma_tests, pma, and res.

Referenced by test_aff().

◆ test_mupa_set()

static int test_mupa_set ( isl_ctx * ctx )

static

Definition at line 6399 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, isl_die, isl_error_unknown, isl_multi_union_pw_aff_read_from_str(), isl_set_read_from_str(), mupa, mupa_set_tests, res, and set.

Referenced by test_aff().

◆ test_mupa_upma()

static int test_mupa_upma ( isl_ctx * ctx )

static

Definition at line 6848 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, isl_die, isl_error_unknown, isl_multi_union_pw_aff_read_from_str(), isl_union_pw_multi_aff_read_from_str(), mupa, mupa_upma_tests, and res.

Referenced by test_aff().

◆ test_mupa_uset()

static int test_mupa_uset ( isl_ctx * ctx )

static

Definition at line 6460 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, isl_die, isl_error_unknown, isl_multi_union_pw_aff_read_from_str(), isl_union_set_read_from_str(), mupa, mupa_uset_tests, and res.

Referenced by test_aff().

◆ test_one_schedule()

int test_one_schedule	(	isl_ctx *	ctx,
		const char *	d,
		const char *	w,
		const char *	r,
		const char *	s,
		int	tilable,
		int	parallel
	)

Definition at line 4454 of file isl_test.c.

References check_injective(), domain, isl_die, isl_dim_set, isl_error_unknown, isl_schedule_constraints_compute_schedule(), isl_schedule_constraints_on_domain(), isl_schedule_constraints_set_coincidence(), isl_schedule_constraints_set_proximity(), isl_schedule_constraints_set_validity(), isl_schedule_free(), isl_schedule_get_map(), isl_set_copy(), isl_set_dim(), isl_set_fix_si(), isl_set_free(), isl_set_from_union_set(), isl_set_get_space(), isl_set_is_equal(), isl_set_is_subset(), isl_set_lexmin(), isl_set_lower_bound_si(), isl_set_union(), isl_set_universe(), isl_union_map_apply_range(), isl_union_map_compute_flow(), isl_union_map_copy(), isl_union_map_deltas(), isl_union_map_domain(), isl_union_map_empty(), isl_union_map_foreach_map(), isl_union_map_free(), isl_union_map_get_space(), isl_union_map_intersect_domain(), isl_union_map_read_from_str(), isl_union_map_reverse(), isl_union_map_union(), isl_union_set_copy(), isl_union_set_free(), isl_union_set_is_subset(), isl_union_set_n_set(), isl_union_set_read_from_str(), n, S, schedule, and test.

Referenced by test_schedule().

◆ test_output()

int test_output ( isl_ctx * ctx )

Definition at line 8812 of file isl_test.c.

References equal, isl_die, isl_error_unknown, ISL_FORMAT_C, isl_printer_free(), isl_printer_get_str(), isl_printer_print_pw_aff(), isl_printer_set_output_format(), isl_printer_to_str(), isl_pw_aff_free(), isl_pw_aff_read_from_str(), p, str, test_output_ma(), test_output_mpa(), and test_output_set().

◆ test_output_ma()

static isl_stat test_output_ma ( isl_ctx * ctx )

static

Definition at line 8758 of file isl_test.c.

References aff, equal, isl_aff_read_from_str(), isl_die, isl_error_unknown, isl_multi_aff_read_from_str(), isl_multi_aff_to_str(), isl_stat_error, isl_stat_ok, ma, and str.

Referenced by test_output().

◆ test_output_mpa()

static isl_stat test_output_mpa ( isl_ctx * ctx )

static

Definition at line 8786 of file isl_test.c.

References equal, isl_die, isl_error_unknown, isl_multi_pw_aff_read_from_str(), isl_multi_pw_aff_to_str(), isl_pw_aff_read_from_str(), isl_stat_error, isl_stat_ok, and str.

Referenced by test_output().

◆ test_output_set()

static int test_output_set ( isl_ctx * ctx )

static

Definition at line 8731 of file isl_test.c.

References ARRAY_SIZE, equal, isl_die, isl_error_unknown, isl_set_free(), isl_set_is_equal(), isl_set_read_from_str(), isl_set_to_str(), output_tests, set1, set2, and str.

Referenced by test_output().

◆ test_padded_schedule()

static int test_padded_schedule ( isl_ctx * ctx )

static

Definition at line 4675 of file isl_test.c.

References isl_schedule_constraints_compute_schedule(), isl_schedule_constraints_on_domain(), isl_schedule_constraints_set_proximity(), isl_schedule_constraints_set_validity(), isl_schedule_free(), isl_schedule_get_map(), isl_set_free(), isl_set_from_union_set(), isl_union_map_copy(), isl_union_map_empty(), isl_union_map_range(), isl_union_set_get_space(), isl_union_set_read_from_str(), range, set, and str.

Referenced by test_schedule().

◆ test_parse()

int test_parse ( struct isl_ctx * ctx )

Definition at line 477 of file isl_test.c.

References ARRAY_SIZE, assert, isl_map_free(), isl_map_is_equal(), isl_map_read_from_str(), map, map2, parse_map_equal_tests, str, test_parse_map(), test_parse_map_equal(), test_parse_multi(), test_parse_multi_val(), test_parse_pma(), test_parse_pwaff(), test_parse_pwqp(), and test_parse_upma().

◆ test_parse_map()

void test_parse_map	(	isl_ctx *	ctx,
		const char *	str
	)

Definition at line 66 of file isl_test.c.

References assert, isl_map_free(), isl_map_read_from_str(), map, and str.

Referenced by test_parse().

◆ test_parse_map_equal()

int test_parse_map_equal	(	isl_ctx *	ctx,
		const char *	str,
		const char *	str2
	)

Definition at line 75 of file isl_test.c.

References equal, isl_die, isl_error_unknown, isl_map_free(), isl_map_is_equal(), isl_map_read_from_str(), map, map2, and str.

Referenced by test_parse().

◆ test_parse_mpa()

static int test_parse_mpa ( isl_ctx * ctx )

static

Definition at line 237 of file isl_test.c.

References isl_dim_param, isl_dim_set, isl_map_read_from_str(), isl_multi_pw_aff_from_pw_multi_aff(), isl_multi_pw_aff_intersect_domain(), isl_pw_multi_aff_from_map(), isl_set_lower_bound_si(), isl_set_universe(), isl_space_copy(), isl_space_params(), isl_space_set_alloc(), isl_space_set_dim_name(), isl_space_set_tuple_name(), map, and pma.

Referenced by test_parse_multi().

◆ test_parse_multi()

static int test_parse_multi ( isl_ctx * ctx )

static

Definition at line 346 of file isl_test.c.

References test_parse_mpa(), and test_parse_mupa().

Referenced by test_parse().

◆ test_parse_multi_val()

static int test_parse_multi_val	(	isl_ctx *	ctx,
		const char *	str
	)

static

Definition at line 115 of file isl_test.c.

References isl_multi_val_read_from_str(), and str.

Referenced by test_parse().

◆ test_parse_mupa()

static int test_parse_mupa ( isl_ctx * ctx )

static

Definition at line 308 of file isl_test.c.

References isl_dim_param, isl_dim_set, isl_multi_union_pw_aff_intersect_domain(), isl_multi_union_pw_aff_zero(), isl_set_lower_bound_si(), isl_set_universe(), isl_space_set_alloc(), isl_space_set_dim_name(), isl_space_set_tuple_name(), isl_union_set_from_set(), and mupa.

Referenced by test_parse_multi().

◆ test_parse_pma()

static isl_stat test_parse_pma ( isl_ctx * ctx )

static

Definition at line 186 of file isl_test.c.

References isl_map_read_from_str(), isl_pw_multi_aff_from_map(), isl_stat_error, isl_stat_ok, map, and pma.

Referenced by test_parse().

◆ test_parse_pwaff()

static void test_parse_pwaff	(	isl_ctx *	ctx,
		const char *	str
	)

static

Definition at line 104 of file isl_test.c.

References assert, isl_pw_aff_free(), isl_pw_aff_read_from_str(), and str.

Referenced by test_parse().

◆ test_parse_pwqp()

void test_parse_pwqp	(	isl_ctx *	ctx,
		const char *	str
	)

Definition at line 95 of file isl_test.c.

References assert, isl_pw_qpolynomial_free(), isl_pw_qpolynomial_read_from_str(), pwqp, and str.

Referenced by test_parse().

◆ test_parse_upma()

static isl_stat test_parse_upma ( isl_ctx * ctx )

static

Definition at line 219 of file isl_test.c.

References isl_stat_error, and isl_stat_ok.

Referenced by test_parse().

◆ test_partial_lexmin()

static int test_partial_lexmin ( isl_ctx * ctx )

static

Definition at line 10333 of file isl_test.c.

References isl_basic_map_partial_lexmin(), isl_basic_map_read_from_str(), isl_basic_set_read_from_str(), isl_map_free(), map, and str.

◆ test_plain_fixed()

static int test_plain_fixed	(	isl_ctx *	ctx,
		__isl_take isl_map *	map,
		enum isl_dim_type	type,
		unsigned	pos,
		int	fixed
	)

static

Definition at line 7919 of file isl_test.c.

References isl_die, isl_error_unknown, isl_map_free(), isl_map_plain_is_fixed(), map, pos(), test, and type.

Referenced by test_fixed().

◆ test_plain_gist()

static int test_plain_gist ( isl_ctx * ctx )

static

Definition at line 1801 of file isl_test.c.

References ARRAY_SIZE, context, equal, gist, isl_basic_map_read_from_str(), isl_die, isl_error_unknown, isl_map_free(), isl_map_is_equal(), isl_map_plain_gist_basic_map(), isl_map_read_from_str(), map, plain_gist_tests, and str.

Referenced by test_gist().

◆ test_plain_injective()

int test_plain_injective	(	isl_ctx *	ctx,
		const char *	str,
		int	injective
	)

Definition at line 5425 of file isl_test.c.

References isl_die, isl_error_unknown, isl_union_map_free(), isl_union_map_plain_is_injective(), isl_union_map_read_from_str(), str, and test.

Referenced by test_injective().

◆ test_plain_unshifted_simple_hull_special()

static isl_stat test_plain_unshifted_simple_hull_special ( isl_ctx * ctx )

static

Definition at line 1456 of file isl_test.c.

References isl_basic_set_free(), isl_basic_set_plain_is_universe(), isl_die, isl_error_unknown, isl_set_plain_unshifted_simple_hull(), isl_set_read_from_str(), isl_stat_error, isl_stat_ok, set, and str.

Referenced by test_simple_hull().

◆ test_product()

int test_product ( isl_ctx * ctx )

Definition at line 7803 of file isl_test.c.

References isl_die, isl_error_unknown, isl_set_copy(), isl_set_free(), isl_set_is_wrapping(), isl_set_product(), isl_set_read_from_str(), isl_union_set_copy(), isl_union_set_free(), isl_union_set_is_equal(), isl_union_set_product(), isl_union_set_read_from_str(), set, str, and test_product_pma().

◆ test_product_pma()

static int test_product_pma ( isl_ctx * ctx )

static

Definition at line 7782 of file isl_test.c.

References equal, isl_pw_multi_aff_free(), isl_pw_multi_aff_product(), isl_pw_multi_aff_read_from_str(), and str.

Referenced by test_product().

◆ test_pullback()

static int test_pullback ( isl_ctx * ctx )

static

Definition at line 9478 of file isl_test.c.

References ARRAY_SIZE, equal, isl_die, isl_error_unknown, isl_multi_aff_pullback_multi_aff(), isl_multi_aff_read_from_str(), ma, ma1, pullback_tests, and res.

◆ test_pw_max()

static isl_stat test_pw_max ( struct isl_ctx * ctx )

static

Definition at line 3182 of file isl_test.c.

References ARRAY_SIZE, isl_pw_multi_aff_max_multi_val(), isl_pw_multi_aff_read_from_str(), isl_stat_error, isl_stat_ok, opt_pw_tests, pma, and res.

Referenced by test_min().

◆ test_pw_multi_aff()

static int test_pw_multi_aff ( isl_ctx * ctx )

static

Definition at line 10064 of file isl_test.c.

References equal, isl_die, isl_dim_out, isl_error_unknown, isl_pw_multi_aff_drop_dims(), isl_pw_multi_aff_free(), isl_pw_multi_aff_plain_is_equal(), isl_pw_multi_aff_read_from_str(), and str.

◆ test_pwqp()

static int test_pwqp ( struct isl_ctx * ctx )

static

◆ test_pwqp_gist()

static isl_stat test_pwqp_gist ( isl_ctx * ctx )

static

Definition at line 3801 of file isl_test.c.

References ARRAY_SIZE, equal, isl_die, isl_error_unknown, isl_pw_qpolynomial_free(), isl_pw_qpolynomial_gist(), isl_pw_qpolynomial_is_zero(), isl_pw_qpolynomial_read_from_str(), isl_pw_qpolynomial_sub(), isl_set_read_from_str(), isl_stat_error, isl_stat_ok, pwqp_gist_tests, set, and str.

Referenced by test_pwqp().

◆ test_pwqp_max()

static isl_stat test_pwqp_max ( isl_ctx * ctx )

static

Definition at line 3833 of file isl_test.c.

References isl_die, isl_error_unknown, isl_pw_qpolynomial_max(), isl_pw_qpolynomial_read_from_str(), isl_stat_error, isl_stat_ok, isl_val_cmp_si(), isl_val_free(), pwqp, and str.

Referenced by test_pwqp().

◆ test_read()

static int test_read ( isl_ctx * ctx )

static

Definition at line 545 of file isl_test.c.

References assert, equal, get_filename(), isl_basic_set_free(), isl_basic_set_is_equal(), isl_basic_set_read_from_file(), isl_basic_set_read_from_str(), isl_die, isl_error_unknown, and str.

◆ test_recession_cone()

static int test_recession_cone ( struct isl_ctx * ctx )

static

Definition at line 1367 of file isl_test.c.

References ARRAY_SIZE, cone, equal, expected, isl_basic_set_free(), isl_basic_set_is_equal(), isl_basic_set_read_from_str(), isl_basic_set_recession_cone(), isl_die, isl_error_unknown, recession_cone_tests, and str.

◆ test_residue_class()

static int test_residue_class ( isl_ctx * ctx )

static

Definition at line 9022 of file isl_test.c.

References isl_die, isl_error_unknown, isl_int_clear, isl_int_cmp_si, isl_int_init, isl_set_dim_residue_class(), isl_set_free(), isl_set_read_from_str(), isl_stat_error, m, res, set, and str.

◆ test_sample()

int test_sample ( isl_ctx * ctx )

Definition at line 8849 of file isl_test.c.

References isl_basic_set_copy(), isl_basic_set_free(), isl_basic_set_is_empty(), isl_basic_set_is_subset(), isl_basic_set_read_from_str(), isl_basic_set_sample(), isl_die, isl_error_unknown, str, and subset.

◆ test_schedule()

int test_schedule ( isl_ctx * ctx )

◆ test_schedule_incremental()

static int test_schedule_incremental ( isl_ctx * ctx )

static

Definition at line 5412 of file isl_test.c.

References isl_options_get_schedule_whole_component(), isl_options_set_schedule_whole_component(), and test_schedule().

◆ test_schedule_tree()

static int test_schedule_tree ( isl_ctx * ctx )

static

Definition at line 10380 of file isl_test.c.

References isl_schedule_free(), isl_schedule_from_domain(), isl_schedule_get_map(), isl_schedule_intersect_domain(), isl_schedule_sequence(), isl_union_map_free(), isl_union_set_read_from_str(), and str.

◆ test_schedule_tree_group()

static int test_schedule_tree_group ( isl_ctx * ctx )

static

Definition at line 10604 of file isl_test.c.

References test_schedule_tree_group_1(), and test_schedule_tree_group_2().

◆ test_schedule_tree_group_1()

static int test_schedule_tree_group_1 ( isl_ctx * ctx )

static

◆ test_schedule_tree_group_2()

static int test_schedule_tree_group_2 ( isl_ctx * ctx )

static

◆ test_schedule_tree_prefix()

static int test_schedule_tree_prefix ( isl_ctx * ctx )

static

Definition at line 10408 of file isl_test.c.

References equal, isl_die, isl_error_unknown, isl_multi_union_pw_aff_read_from_str(), isl_schedule_node_child(), isl_schedule_node_free(), isl_schedule_node_from_domain(), isl_schedule_node_get_prefix_schedule_multi_union_pw_aff(), isl_schedule_node_grandchild(), isl_schedule_node_insert_sequence(), isl_union_set_list, isl_union_set_read_from_str(), mupa, and str.

◆ test_schedule_whole()

static int test_schedule_whole ( isl_ctx * ctx )

static

Definition at line 5397 of file isl_test.c.

References isl_options_get_schedule_whole_component(), isl_options_set_schedule_whole_component(), and test_schedule().

◆ test_set_conversion()

static int test_set_conversion ( isl_ctx * ctx )

static

Definition at line 9257 of file isl_test.c.

References ARRAY_SIZE, equal, isl_die, isl_error_unknown, isl_pw_multi_aff_from_set(), isl_set_copy(), isl_set_free(), isl_set_from_pw_multi_aff(), isl_set_is_equal(), isl_set_read_from_str(), pma, set1, set2, set_conversion_tests, and str.

Referenced by test_conversion().

◆ test_simple_hull()

static int test_simple_hull ( struct isl_ctx * ctx )

static

Definition at line 1533 of file isl_test.c.

References isl_basic_set_free(), isl_basic_set_is_empty(), isl_bool_error, isl_bool_false, isl_die, isl_error_unknown, isl_set_read_from_str(), isl_set_simple_hull(), set, str, test_plain_unshifted_simple_hull_special(), and test_various_simple_hull().

◆ test_simplify()

static int test_simplify ( isl_ctx * ctx )

static

Definition at line 10319 of file isl_test.c.

References test_simplify_1(), and test_simplify_2().

◆ test_simplify_1()

static int test_simplify_1 ( isl_ctx * ctx )

static

Definition at line 10272 of file isl_test.c.

References isl_basic_set_free(), isl_basic_set_is_empty(), isl_basic_set_project_out(), isl_basic_set_read_from_str(), isl_die, isl_dim_set, isl_error_unknown, and str.

Referenced by test_simplify().

◆ test_simplify_2()

static int test_simplify_2 ( isl_ctx * ctx )

static

Definition at line 10298 of file isl_test.c.

References isl_basic_set_free(), isl_basic_set_plain_is_universe(), isl_basic_set_read_from_str(), isl_die, isl_error_unknown, str, and universe().

Referenced by test_simplify().

◆ test_skewing_schedule()

static int test_skewing_schedule ( isl_ctx * ctx )

static

Definition at line 5070 of file isl_test.c.

References S, and test_special_schedule().

Referenced by test_schedule().

◆ test_slice()

int test_slice ( isl_ctx * ctx )

Definition at line 8925 of file isl_test.c.

References equal, isl_dim_in, isl_dim_out, isl_map_equate(), isl_map_free(), isl_map_oppose(), isl_map_order_gt(), isl_map_read_from_str(), map, map_check_equal(), and str.

◆ test_special_conditional_schedule_constraints()

static int test_special_conditional_schedule_constraints ( isl_ctx * ctx )

static

◆ test_special_conditional_schedule_constraints_2()

static int test_special_conditional_schedule_constraints_2 ( isl_ctx * ctx )

static

◆ test_special_schedule()

int test_special_schedule	(	isl_ctx *	ctx,
		const char *	domain,
		const char *	validity,
		const char *	proximity,
		const char *	expected_sched
	)

Definition at line 4650 of file isl_test.c.

References compute_schedule(), domain, equal, isl_die, isl_error_unknown, isl_union_map_free(), isl_union_map_is_equal(), and isl_union_map_read_from_str().

Referenced by test_schedule(), and test_skewing_schedule().

◆ test_split_periods()

static int test_split_periods ( isl_ctx * ctx )

static

Definition at line 3944 of file isl_test.c.

References isl_pw_qpolynomial_free(), isl_pw_qpolynomial_read_from_str(), isl_pw_qpolynomial_split_periods(), pwqp, and str.

◆ test_strongly_satisfying_schedule()

static int test_strongly_satisfying_schedule ( isl_ctx * ctx )

static

Definition at line 4981 of file isl_test.c.

References compute_schedule(), domain, isl_die, isl_error_unknown, isl_map_free(), isl_map_from_union_map(), isl_map_get_space(), isl_map_intersect(), isl_map_is_empty(), isl_map_lex_ge(), isl_space_domain(), isl_union_map_apply_domain(), isl_union_map_apply_range(), isl_union_map_copy(), isl_union_map_read_from_str(), map, and schedule.

Referenced by test_schedule().

◆ test_subset()

static int test_subset ( isl_ctx * ctx )

static

Definition at line 4240 of file isl_test.c.

References ARRAY_SIZE, isl_die, isl_error_unknown, isl_set_free(), isl_set_is_subset(), isl_set_read_from_str(), set1, set2, subset, subset_tests, and test_subset_duplicate_integer_divisions().

◆ test_subset_duplicate_integer_divisions()

static isl_stat test_subset_duplicate_integer_divisions ( isl_ctx * ctx )

static

Definition at line 4171 of file isl_test.c.

References isl_die, isl_error_unknown, isl_set_free(), isl_set_is_subset(), isl_set_normalize(), isl_set_read_from_str(), isl_stat_error, isl_stat_ok, set1, set2, and str.

Referenced by test_subset().

◆ test_subtract()

static int test_subtract ( isl_ctx * ctx )

static

◆ test_subtract_empty()

static isl_stat test_subtract_empty ( isl_ctx * ctx )

static

Definition at line 4268 of file isl_test.c.

References isl_set_free(), isl_set_read_from_str(), isl_set_subtract(), isl_stat_non_null(), and str.

Referenced by test_subtract().

◆ test_sv()

int test_sv ( isl_ctx * ctx )

Definition at line 3717 of file isl_test.c.

References ARRAY_SIZE, isl_die, isl_error_internal, isl_union_map_free(), isl_union_map_is_single_valued(), isl_union_map_read_from_str(), map, sv, and sv_tests.

◆ test_tile()

◆ test_un_locus()

static int test_un_locus ( isl_ctx * ctx )

static

Definition at line 8345 of file isl_test.c.

References arg, ARRAY_SIZE, isl_die, isl_error_unknown, isl_multi_union_pw_aff_read_from_str(), isl_union_set_free(), isl_union_set_is_equal(), isl_union_set_read_from_str(), mupa, res, and un_locus_tests.

Referenced by test_locus().

◆ test_un_mpa()

static int test_un_mpa ( isl_ctx * ctx )

static

Definition at line 5969 of file isl_test.c.

References arg, ARRAY_SIZE, isl_die, isl_error_unknown, isl_multi_pw_aff_read_from_str(), mpa_un_tests, and res.

Referenced by test_aff().

◆ test_un_mupa()

static int test_un_mupa ( isl_ctx * ctx )

static

Definition at line 6164 of file isl_test.c.

References arg, ARRAY_SIZE, isl_die, isl_error_unknown, isl_multi_union_pw_aff_read_from_str(), mupa, mupa_un_tests, and res.

Referenced by test_aff().

◆ test_un_union_map()

static isl_stat test_un_union_map ( isl_ctx * ctx )

static

Definition at line 8084 of file isl_test.c.

References ARRAY_SIZE, equal, isl_die, isl_error_unknown, isl_stat_error, isl_stat_ok, isl_union_map_free(), isl_union_map_is_equal(), isl_union_map_read_from_str(), res, str, and umap_un_tests.

Referenced by test_union_map().

◆ test_un_val()

static int test_un_val ( isl_ctx * ctx )

static

Definition at line 828 of file isl_test.c.

References __isl_give, __isl_take, arg, ARRAY_SIZE, fn, isl_val_free(), isl_val_read_from_str(), res, val_check_equal(), and val_un_tests.

Referenced by test_val().

◆ test_unbind()

static int test_unbind ( isl_ctx * ctx )

static

Definition at line 7585 of file isl_test.c.

References test_unbind_aff(), test_unbind_multi_aff(), and test_unbind_set().

◆ test_unbind_aff()

static isl_stat test_unbind_aff ( isl_ctx * ctx )

static

Definition at line 7506 of file isl_test.c.

References aff, ARRAY_SIZE, isl_aff_free(), isl_aff_read_from_str(), isl_aff_unbind_params_insert_domain(), isl_multi_id_read_from_str(), isl_stat_error, isl_stat_ok, res, str, tuple, and unbind_aff_tests.

Referenced by test_unbind().

◆ test_unbind_multi_aff()

static isl_stat test_unbind_multi_aff ( isl_ctx * ctx )

static

Definition at line 7558 of file isl_test.c.

References ARRAY_SIZE, isl_multi_aff_read_from_str(), isl_multi_id_read_from_str(), isl_stat_error, isl_stat_ok, ma, str, tuple, and unbind_multi_aff_tests.

Referenced by test_unbind().

◆ test_unbind_set()

static isl_stat test_unbind_set ( isl_ctx * ctx )

static

Definition at line 7457 of file isl_test.c.

References ARRAY_SIZE, isl_multi_id_read_from_str(), isl_set_free(), isl_set_read_from_str(), isl_set_unbind_params(), isl_stat_error, isl_stat_ok, res, set, set_check_equal(), str, tuple, and unbind_set_tests.

Referenced by test_unbind().

◆ test_union()

static int test_union ( isl_ctx * ctx )

static

Definition at line 3964 of file isl_test.c.

References equal, isl_die, isl_error_unknown, isl_union_map_domain(), isl_union_map_free(), isl_union_map_is_equal(), isl_union_map_read_from_str(), isl_union_set_copy(), isl_union_set_free(), isl_union_set_is_equal(), isl_union_set_lex_gt_union_set(), isl_union_set_read_from_str(), and str.

◆ test_union_map()

static int test_union_map ( isl_ctx * ctx )

static

Definition at line 8239 of file isl_test.c.

References test_bin_union_map(), test_un_union_map(), and test_union_set_contains().

◆ test_union_map_mupa_conversion()

static int test_union_map_mupa_conversion ( isl_ctx * ctx )

static

Definition at line 9385 of file isl_test.c.

References ARRAY_SIZE, equal, isl_die, isl_error_unknown, isl_multi_union_pw_aff_from_union_map(), isl_union_map_copy(), isl_union_map_free(), isl_union_map_from_multi_union_pw_aff(), isl_union_map_is_equal(), isl_union_map_read_from_str(), mupa, str, and umap_mupa_conversion_tests.

Referenced by test_conversion().

◆ test_union_pw()

int test_union_pw ( isl_ctx * ctx )

Definition at line 8275 of file isl_test.c.

References a(), b(), equal, isl_die, isl_error_unknown, isl_union_pw_qpolynomial_add(), isl_union_pw_qpolynomial_copy(), isl_union_pw_qpolynomial_domain(), isl_union_pw_qpolynomial_free(), isl_union_pw_qpolynomial_intersect_domain(), isl_union_pw_qpolynomial_plain_is_equal(), isl_union_pw_qpolynomial_read_from_str(), isl_union_pw_qpolynomial_sub(), str, and test_union_pw_op().

◆ test_union_pw_op()

static isl_stat test_union_pw_op	(	isl_ctx *	ctx,
		const char *	a,
		const char *	b,
		__isl_give isl_union_pw_qpolynomial ()(__isl_take isl_union_pw_qpolynomial upwqp1, __isl_take isl_union_pw_qpolynomial upwqp2)	fn,
		const char *	res
	)

static

Definition at line 8257 of file isl_test.c.

References a(), b(), fn, isl_union_pw_qpolynomial_free(), isl_union_pw_qpolynomial_read_from_str(), and res.

Referenced by test_union_pw().

◆ test_union_set_contains()

static isl_stat test_union_set_contains ( isl_ctx * ctx )

static

Definition at line 8211 of file isl_test.c.

References id, isl_die, isl_error_unknown, isl_id_alloc(), isl_space_add_named_tuple_id_ui(), isl_space_free(), isl_space_unit(), isl_stat_error, isl_stat_ok, isl_union_set_contains(), isl_union_set_free(), isl_union_set_read_from_str(), and str.

Referenced by test_union_map().

◆ test_universe()

static int test_universe ( isl_ctx * ctx )

static

Definition at line 10828 of file isl_test.c.

References isl_basic_set_free(), isl_basic_set_is_universe(), isl_basic_set_read_from_str(), isl_die, and isl_error_unknown.

◆ test_upa()

static int test_upa ( isl_ctx * ctx )

static

Definition at line 5495 of file isl_test.c.

References aff, domain, id, isl_aff_read_from_str(), isl_id_alloc(), isl_union_pw_aff_aff_on_domain(), isl_union_pw_aff_free(), isl_union_pw_aff_param_on_domain_id(), isl_union_set_read_from_str(), and str.

Referenced by test_aff().

◆ test_upma_test()

static isl_stat test_upma_test ( isl_ctx * ctx )

static

Definition at line 5713 of file isl_test.c.

References ARRAY_SIZE, isl_die, isl_error_unknown, isl_stat_error, isl_stat_ok, isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_read_from_str(), res, str, and upma_test_tests.

Referenced by test_aff().

◆ test_upma_uset()

static isl_stat test_upma_uset ( isl_ctx * ctx )

static

Definition at line 5891 of file isl_test.c.

References arg1, arg2, ARRAY_SIZE, isl_die, isl_error_unknown, isl_stat_error, isl_stat_ok, isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_plain_is_equal(), isl_union_pw_multi_aff_read_from_str(), isl_union_set_read_from_str(), res, and upma_uset_tests.

Referenced by test_aff().

◆ test_val()

static int test_val ( isl_ctx * ctx )

static

Definition at line 980 of file isl_test.c.

References test_bin_val(), and test_un_val().

◆ test_various_simple_hull()

static int test_various_simple_hull ( isl_ctx * ctx )

static

Definition at line 1506 of file isl_test.c.

References ARRAY_SIZE, equal, expected, hull, isl_basic_set_free(), isl_basic_set_is_equal(), isl_basic_set_read_from_str(), isl_die, isl_error_unknown, isl_set_read_from_str(), set, simple_hull_tests, and str.

Referenced by test_simple_hull().

◆ test_vertices()

int test_vertices ( isl_ctx * ctx )

Definition at line 8030 of file isl_test.c.

References ARRAY_SIZE, find_vertex(), isl_basic_set_compute_vertices(), isl_basic_set_free(), isl_basic_set_read_from_str(), isl_die, isl_error_unknown, isl_vertices_foreach_vertex(), isl_vertices_free(), isl_vertices_get_n_vertices(), n, set, and vertices_tests.

◆ uset_check_equal()

static isl_stat uset_check_equal	(	__isl_keep isl_union_set *	uset,
		const char *	str
	)

static

Definition at line 3471 of file isl_test.c.

References equal, isl_die, isl_error_unknown, isl_stat_error, isl_stat_ok, isl_union_set_get_ctx(), str, and uset_is_equal().

Referenced by test_bind_mupa(), and test_bind_umap_range().

◆ uset_is_equal()

static isl_bool uset_is_equal	(	__isl_keep isl_union_set *	uset,
		const char *	str
	)

static

Definition at line 3454 of file isl_test.c.

References equal, isl_bool_error, isl_union_set_free(), isl_union_set_get_ctx(), isl_union_set_is_equal(), isl_union_set_read_from_str(), and str.

Referenced by uset_check_equal().

◆ val_check_equal()

static isl_stat val_check_equal	(	__isl_keep isl_val *	val,
		const char *	str
	)

static

Definition at line 745 of file isl_test.c.

References isl_bool_error, isl_die, isl_error_unknown, isl_stat_error, isl_stat_ok, isl_val_eq(), isl_val_free(), isl_val_get_ctx(), isl_val_is_nan(), isl_val_read_from_str(), res, str, and val.

Referenced by test_eval_3(), test_eval_aff(), and test_un_val().

Variable Documentation

◆ aff

const char* aff

Definition at line 7278 of file isl_test.c.

Referenced by accept_affine_factor(), add_sub_equalities(), add_sub_vars(), add_terms(), aff_bind_id(), aff_constant_is_negative(), aff_is_rational(), aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), affine_mod(), all_negative_coefficients(), ast_expr_from_aff_list(), ast_expr_from_pw_aff(), at_offset(), box_closure_on_domain(), coefficients_of_sign(), compute_size_in_direction(), convex_hull_pair(), create_node(), detect_stride(), div_mod(), drop_aff(), drop_unknown_divs_and_extract_div(), eval(), eval_void(), every_non_zero_coefficient(), extend_domain(), extend_max(), extend_min(), extends(), extends_max(), extends_min(), extract_aff_from_equality(), extract_div(), extract_isl_aff_from_basic_map(), extract_isl_multi_aff_from_basic_map(), extract_modulos(), extract_rational(), extract_schedule_row(), extract_single_piece(), extract_stride_constraint(), FN(), free_split(), identity_tuple_el_on_space(), is_non_neg_after_stealing(), is_single_rational_aff(), is_stride_constraint(), isl_aff_add_coefficient(), isl_aff_add_coefficient_si(), isl_aff_add_coefficient_val(), isl_aff_add_constant(), isl_aff_add_constant_num(), isl_aff_add_constant_num_si(), isl_aff_add_constant_si(), isl_aff_add_constant_val(), isl_aff_add_dims(), isl_aff_add_rat_constant_val(), isl_aff_align_params(), isl_aff_alloc_vec_validated(), isl_aff_bind_id(), isl_aff_ceil(), isl_aff_check_has_domain_space(), isl_aff_check_match_domain_space(), isl_aff_coefficient_sgn(), isl_aff_copy(), isl_aff_cow(), isl_aff_dim(), isl_aff_domain_dim(), isl_aff_domain_is_product(), isl_aff_domain_offset(), isl_aff_drop_dims(), isl_aff_dup(), isl_aff_eval(), isl_aff_expand_divs(), isl_aff_find_dim_by_name(), isl_aff_floor(), isl_aff_free(), isl_aff_from_range(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_aff_get_ctx(), isl_aff_get_denominator(), isl_aff_get_denominator_val(), isl_aff_get_dim_name(), isl_aff_get_div(), isl_aff_get_domain_local_space(), isl_aff_get_domain_space(), isl_aff_get_hash(), isl_aff_get_local_space(), isl_aff_get_space(), isl_aff_gist(), isl_aff_gist_params(), isl_aff_insert_dims(), isl_aff_involves_dims(), isl_aff_involves_locals(), isl_aff_is_cst(), isl_aff_is_empty(), isl_aff_is_nan(), isl_aff_lift(), isl_aff_matching_params(), isl_aff_mod_val(), isl_aff_move_dims(), isl_aff_nan_on_domain(), isl_aff_neg(), isl_aff_neg_basic_set(), isl_aff_nonneg_basic_set(), isl_aff_normalize(), isl_aff_peek_domain_local_space(), isl_aff_peek_domain_space(), isl_aff_plain_is_zero(), isl_aff_pos_basic_set(), isl_aff_project_domain_on_params(), isl_aff_pullback_multi_aff(), isl_aff_realign_domain(), isl_aff_remove_unused_divs(), isl_aff_reset_domain_space(), isl_aff_reset_space_and_domain(), isl_aff_restore_domain_local_space(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_scale_down_ui(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_aff_set_coefficient(), isl_aff_set_coefficient_si(), isl_aff_set_coefficient_val(), isl_aff_set_constant(), isl_aff_set_constant_si(), isl_aff_set_constant_val(), isl_aff_set_dim_id(), isl_aff_set_dim_name(), isl_aff_set_nan(), isl_aff_set_tuple_id(), isl_aff_substitute(), isl_aff_substitute_equalities(), isl_aff_substitute_equalities_lifted(), isl_aff_take_domain_local_space(), isl_aff_val_on_domain(), isl_aff_var_on_domain(), isl_aff_zero_basic_set(), isl_aff_zero_on_domain(), isl_ast_build_aff_is_nonneg(), isl_ast_build_compute_gist_aff(), isl_ast_build_get_stride_constraint(), isl_ast_build_get_stride_expansion(), isl_ast_build_has_affine_value(), isl_ast_build_scale_down(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint(), isl_ast_expr_from_constraint_no_stride(), isl_ast_expr_mod(), isl_basic_map_from_aff(), isl_basic_map_from_aff2(), isl_basic_map_from_aff_list(), isl_basic_map_from_multi_aff2(), isl_basic_map_from_qpolynomial(), isl_constraint_alloc_aff(), isl_constraint_get_aff(), isl_constraint_get_bound(), isl_equality_from_aff(), isl_inequality_from_aff(), isl_map_from_aff(), isl_map_print_latex(), isl_morph_get_var_multi_aff(), isl_multi_aff_domain_map(), isl_multi_aff_from_aff_mat(), isl_multi_aff_get_constant_multi_val(), isl_multi_aff_lift(), isl_multi_aff_multi_val_on_domain_space(), isl_multi_aff_project_out_map(), isl_multi_aff_pullback_multi_aff(), isl_multi_aff_range_map(), isl_multi_aff_scale(), isl_multi_aff_set_tuple_entry(), isl_multi_aff_substitute(), isl_multi_aff_substitute_equalities(), isl_multi_pw_aff_apply_aff(), isl_multi_pw_aff_apply_aff_aligned(), isl_multi_pw_aff_as_multi_aff(), isl_multi_pw_aff_from_aff(), isl_multi_union_pw_aff_apply_aff(), isl_multi_union_pw_aff_apply_multi_aff(), isl_multi_union_pw_aff_apply_pw_aff(), isl_poly_update_affine(), isl_printer_print_aff(), isl_pw_aff_param_on_domain_id(), isl_pw_aff_val_on_domain(), isl_pw_multi_aff_get_at(), isl_qpolynomial_aff_sign(), isl_qpolynomial_extract_affine(), isl_qpolynomial_from_aff(), isl_qpolynomial_from_constraint(), isl_qpolynomial_gist(), isl_sched_node_extract_partial_schedule_multi_aff(), isl_stream_read_aff(), isl_term_get_div(), isl_union_pw_aff_aff_on_domain(), isl_union_pw_aff_param_on_domain_id(), isl_union_pw_multi_aff_from_aff(), isl_vec_lin_to_aff(), last_modulo(), list_add_one(), lower_bound(), lower_bounds(), map_from_tuple(), merge_divs(), multi_union_pw_aff_apply_aff(), oppose_div_arg(), pick_free(), piece_opt(), plug_in_integral_divs(), plug_in_unit_divs(), print_aff_body(), print_aff_c(), print_aff_isl(), print_aff_num(), print_aff_num_base(), print_aff_num_mod(), print_body_aff(), print_latex_map(), print_mod_term(), pw_aff_gte_set(), pw_aff_is_expr(), pw_multi_aff_from_map_div(), pw_multi_aff_from_map_stride(), range_map(), set_from_affine_matrix(), set_minimum_pa(), set_nan_free_val(), set_single(), set_up_substitutions(), sort_divs(), split_aff(), steal_from_cst(), subtract_initial(), swap_div(), test_aff(), test_aff_normalize(), test_aff_set_tuple_id(), test_align_parameters_2(), test_bind_aff(), test_output_ma(), test_unbind_aff(), test_upa(), update_coeff(), update_n_div(), update_unrolling_lower_bound(), update_values(), upper_bounds(), uset_gist(), and var_div().

◆

struct { ... } aff_bin_op[]

Initial value:

= {
  ['+'] = { &isl_aff_add },
  ['-'] = { &isl_aff_sub },
  ['*'] = { &isl_aff_mul },
  ['/'] = { &isl_aff_div },
}

Referenced by test_bin_aff().

◆

struct { ... } aff_bin_tests[]

Referenced by test_bin_aff().

◆

struct { ... } aff_eval_tests[]

Initial value:

= {
  { "{ [i] -> [2 * i] }", "{ [4] }", "8" },
  { "{ [i] -> [2 * i] }", "{ [x] : false }", "NaN" },
  { "{ [i] -> [i + floor(i/2) + floor(i/3)] }", "{ [0] }", "0" },
  { "{ [i] -> [i + floor(i/2) + floor(i/3)] }", "{ [1] }", "1" },
  { "{ [i] -> [i + floor(i/2) + floor(i/3)] }", "{ [2] }", "3" },
  { "{ [i] -> [i + floor(i/2) + floor(i/3)] }", "{ [3] }", "5" },
  { "{ [i] -> [i + floor(i/2) + floor(i/3)] }", "{ [4] }", "7" },
  { "{ [i] -> [floor((3 * floor(i/2))/5)] }", "{ [0] }", "0" },
  { "{ [i] -> [floor((3 * floor(i/2))/5)] }", "{ [1] }", "0" },
  { "{ [i] -> [floor((3 * floor(i/2))/5)] }", "{ [2] }", "0" },
  { "{ [i] -> [floor((3 * floor(i/2))/5)] }", "{ [3] }", "0" },
  { "{ [i] -> [floor((3 * floor(i/2))/5)] }", "{ [4] }", "1" },
  { "{ [i] -> [floor((3 * floor(i/2))/5)] }", "{ [6] }", "1" },
  { "{ [i] -> [floor((3 * floor(i/2))/5)] }", "{ [8] }", "2" },
  { "{ [i] -> [i] : i > 0; [i] -> [-i] : i < 0 }", "{ [4] }", "4" },
  { "{ [i] -> [i] : i > 0; [i] -> [-i] : i < 0 }", "{ [-2] }", "2" },
  { "{ [i] -> [i] : i > 0; [i] -> [-i] : i < 0 }", "{ [0] }", "NaN" },
  { "[N] -> { [2 * N] }", "[N] -> { : N = 4 }", "8" },
  { "{ [i, j] -> [(i + j)/2] }", "{ [1, 1] }", "1" },
  { "{ [i, j] -> [(i + j)/2] }", "{ [1, 2] }", "3/2" },
  { "{ [i] -> [i] : i mod 2 = 0 }", "{ [4] }", "4" },
  { "{ [i] -> [i] : i mod 2 = 0 }", "{ [3] }", "NaN" },
  { "{ [i] -> [i] : i mod 2 = 0 }", "{ [x] : false }", "NaN" },
  { "[m, n] -> { [2m + 3n] }", "[n=1, m=10] -> { : }", "23" },
}

Referenced by test_eval_aff().

◆ arg

const char* arg

Definition at line 774 of file isl_test.c.

Referenced by add_intermediate_piece(), Signature::apply(), check_help(), cmp_ineq(), extract_term_and_mod(), find_nested_options(), free_args(), free_child(), free_str_list(), free_user(), cpp_type_printer::generate_callback_args(), cpp_type_printer::generate_callback_type(), isl::ast_expr_op::get_arg(), is_even_test(), isl_ast_build_with_arguments(), isl_ast_expr_alloc_unary(), isl_ast_expr_neg(), isl_ast_expr_op_add_arg(), isl_ast_expr_set_op_arg(), isl_sioimath_abs(), isl_sioimath_bigarg_src(), isl_sioimath_dump(), isl_sioimath_hash(), isl_sioimath_neg(), isl_sioimath_sgn(), isl_sioimath_si64arg_src(), isl_sioimath_siarg_src(), isl_sioimath_sizeinbase(), isl_sioimath_uiarg_src(), isl_sort(), cpp_type_printer::isl_type(), template_cpp_arg_type_printer::kind(), MergeSort(), msort(), n_arg(), next_arg(), Method::on_fd_arg_list(), cpp_type_printer::param(), param_renamer(), Signature::params(), parse_bool_option(), parse_child_option(), parse_choice_option(), parse_flags_option(), parse_int_option(), parse_long_option(), parse_option(), parse_str_list_option(), parse_str_option(), parse_ulong_option(), python_generator::print_arg_in_call(), print_arguments(), python_generator::print_callback(), template_cpp_generator::method_impl_printer::print_callback_method_body(), template_cpp_generator::method_impl_printer::print_constructor_body(), cpp_generator::class_printer::print_descendent_overloads(), print_help(), print_help_and_exit(), plain_cpp_generator::impl_printer::print_method(), template_cpp_generator::method_impl_printer::print_method_body(), cpp_generator::class_printer::print_method_header(), print_sub_expr_c(), print_template_arg(), template_cpp_type_printer::qualified(), set_default_bool(), set_default_child(), set_default_choice(), set_default_flags(), set_default_int(), set_default_long(), set_default_str(), set_default_str_list(), set_default_ulong(), set_default_user(), skip_dash_dash(), skip_name(), sort_constraint_cmp(), specialize_anonymous_args(), test_un_locus(), test_un_mpa(), test_un_mupa(), and test_un_val().

◆ arg1

const char* arg1

Definition at line 863 of file isl_test.c.

Referenced by getID(), invoke_alternate_representations_2args(), invoke_alternate_representations_3args(), test(), test_bin_aff(), test_bin_locus(), test_bin_mpa(), test_bin_mupa(), test_bin_pw_aff(), test_bin_upma(), test_bin_upma_fail(), test_bin_val(), test_mupa_ma(), test_mupa_pa(), test_mupa_pma(), test_mupa_set(), test_mupa_upma(), test_mupa_uset(), and test_upma_uset().

◆ arg2

const char* arg2

Definition at line 865 of file isl_test.c.

Referenced by invoke_alternate_representations_2args(), invoke_alternate_representations_3args(), test(), test_bin_aff(), test_bin_locus(), test_bin_mpa(), test_bin_mupa(), test_bin_pw_aff(), test_bin_upma(), test_bin_upma_fail(), test_bin_val(), test_mupa_ma(), test_mupa_pa(), test_mupa_pma(), test_mupa_set(), test_mupa_upma(), test_mupa_uset(), and test_upma_uset().

◆ bijective

int bijective

Definition at line 3742 of file isl_test.c.

Referenced by test_bijective().

◆

struct { ... } bijective_tests[]

Initial value:

= {
  { "[N,M]->{[i,j] -> [i]}", 0 },
  { "[N,M]->{[i,j] -> [i] : j=i}", 1 },
  { "[N,M]->{[i,j] -> [i] : j=0}", 1 },
  { "[N,M]->{[i,j] -> [i] : j=N}", 1 },
  { "[N,M]->{[i,j] -> [j,i]}", 1 },
  { "[N,M]->{[i,j] -> [i+j]}", 0 },
  { "[N,M]->{[i,j] -> []}", 0 },
  { "[N,M]->{[i,j] -> [i,j,N]}", 1 },
  { "[N,M]->{[i,j] -> [2i]}", 0 },
  { "[N,M]->{[i,j] -> [i,i]}", 0 },
  { "[N,M]->{[i,j] -> [2i,i]}", 0 },
  { "[N,M]->{[i,j] -> [2i,j]}", 1 },
  { "[N,M]->{[i,j] -> [x,y] : 2x=i & y =j}", 1 },
}

Referenced by test_bijective().

◆

struct { ... } bin_locus_ma_tests[]

Initial value:

= {
  { &isl_multi_aff_lex_le_set, "{ [] }", "{ [] }", "{ : }" },
  { &isl_multi_aff_lex_lt_set, "{ [] }", "{ [] }", "{ : false }" },
  { &isl_multi_aff_lex_le_set,
    "{ A[i] -> [i] }", "{ A[i] -> [0] }",
    "{ A[i] : i <= 0 }" },
  { &isl_multi_aff_lex_lt_set,
    "{ A[i] -> [i] }", "{ A[i] -> [0] }",
    "{ A[i] : i < 0 }" },
  { &isl_multi_aff_lex_le_set,
    "{ A[i] -> [i, i] }", "{ A[i] -> [0, 0] }",
    "{ A[i] : i <= 0 }" },
  { &isl_multi_aff_lex_le_set,
    "{ A[i] -> [i, 0] }", "{ A[i] -> [0, 0] }",
    "{ A[i] : i <= 0 }" },
  { &isl_multi_aff_lex_le_set,
    "{ A[i] -> [i, 1] }", "{ A[i] -> [0, 0] }",
    "{ A[i] : i < 0 }" },
}

Referenced by test_bin_locus_ma().

◆

struct { ... } bin_locus_tests[]

Referenced by test_bin_locus().

◆

struct { ... } bind_aff_tests[]

Initial value:

= {
  { "{ [4] }", "M", "[M = 4] -> { : }" },
  { "{ B[x] -> [floor(x/2)] }", "M", "[M] -> { B[x] : M = floor(x/2) }" },
  { "[M] -> { [4] }", "M", "[M = 4] -> { : }" },
  { "[M] -> { [floor(M/2)] }", "M", "[M] -> { : floor(M/2) = M }" },
  { "{ [NaN] }", "M", "{ : false }" },
  { "{ A[x] -> [NaN] }", "M", "{ A[x] : false }" },
}

Referenced by test_bind_aff().

◆

struct { ... } bind_map_domain_tests[]

Initial value:

= {
  { "{ A[M, N] -> [M + floor(N/2)] }",
    "{ A[M, N] }",
    "[M, N] -> { [M + floor(N/2)] }" },
  { "{ B[N, M] -> [M + floor(N/2)] }",
    "{ B[N, M] }",
    "[N, M] -> { [M + floor(N/2)] }" },
  { "[M] -> { C[N] -> [M + floor(N/2)] }",
    "{ C[N] }",
    "[M, N] -> { [M + floor(N/2)] }" },
  { "[M] -> { C[x, N] -> [x + floor(N/2)] }",
    "{ C[M, N] }",
    "[M, N] -> { [M + floor(N/2)] }" },
  { "[M] -> { C[x, N] -> [M + floor(N/2)] }",
    "{ C[M, N] }",
    "[M, N] -> { [M + floor(N/2)] }" },
  { "[A, M] -> { C[N, x] -> [x + floor(N/2)] }",
    "{ C[N, M] }",
    "[A, N, M] -> { [M + floor(N/2)] }" },
}

Referenced by test_bind_map_domain().

◆

struct { ... } bind_mupa_tests[]

Initial value:

= {
  { "A[{ [4] }, { [5] }]",
    "{ A[M, N] }",
    "[M = 4, N = 5] -> { : }" },
  { "A[{ B[x] -> [floor(x/2)] }, { B[y] -> [y + 5] }]",
    "{ A[M, N] }",
    "[M, N] -> { B[x] : M = floor(x/2) and N = x + 5 }" },
  { "[M] -> A[{ [4] }, { [M + 1] }]",
    "{ A[M, N] }",
    "[M = 4, N = 5] -> { : }" },
}

Referenced by test_bind_mupa().

◆

struct { ... } bind_pa_tests[]

Initial value:

= {
  { "{ [4] }", "M", "[M = 4] -> { : }" },
  { "{ B[x] -> [floor(x/2)] }", "M", "[M] -> { B[x] : M = floor(x/2) }" },
  { "[M] -> { [4] }", "M", "[M = 4] -> { : }" },
  { "[M] -> { [floor(M/2)] }", "M", "[M] -> { : floor(M/2) = M }" },
  { "[M] -> { [M] : M >= 0; [-M] : M < 0 }", "M", "[M] -> { : M >= 0 }" },
  { "{ [NaN] }", "M", "{ : false }" },
  { "{ A[x] -> [NaN] }", "M", "{ A[x] : false }" },
}

Referenced by test_bind_pa().

◆

struct { ... } bind_pma_domain_tests[]

Initial value:

= {
  { "{ A[M, N] -> [M + floor(N/2)] }",
    "{ A[M, N] }",
    "[M, N] -> { [M + floor(N/2)] }" },
  { "{ B[N, M] -> [M + floor(N/2)] }",
    "{ B[N, M] }",
    "[N, M] -> { [M + floor(N/2)] }" },
  { "[M] -> { C[N] -> [M + floor(N/2)] }",
    "{ C[N] }",
    "[M, N] -> { [M + floor(N/2)] }" },
  { "[M] -> { C[x, N] -> [x + floor(N/2)] }",
    "{ C[M, N] }",
    "[M, N] -> { [M + floor(N/2)] }" },
  { "[M] -> { C[x, N] -> [M + floor(N/2)] }",
    "{ C[M, N] }",
    "[M, N] -> { [M + floor(N/2)] }" },
  { "[A, M] -> { C[N, x] -> [x + floor(N/2)] }",
    "{ C[N, M] }",
    "[A, N, M] -> { [M + floor(N/2)] }" },
}

Referenced by test_bind_pma_domain().

◆

struct { ... } bind_pma_domain_wrapped_tests[]

Initial value:

= {
  { "{ [A[M, N] -> B[]] -> [M + floor(N/2)] }",
    "{ A[M, N] }",
    "[M, N] -> { B[] -> [M + floor(N/2)] }" },
  { "{ [B[N, M] -> D[]] -> [M + floor(N/2)] }",
    "{ B[N, M] }",
    "[N, M] -> { D[] -> [M + floor(N/2)] }" },
  { "[M] -> { [C[N] -> B[x]] -> [x + M + floor(N/2)] }",
    "{ C[N] }",
    "[M, N] -> { B[x] -> [x + M + floor(N/2)] }" },
  { "[M] -> { [C[x, N] -> B[]] -> [x + floor(N/2)] }",
    "{ C[M, N] }",
    "[M, N] -> { B[] -> [M + floor(N/2)] }" },
  { "[M] -> { [C[x, N] -> B[]] -> [M + floor(N/2)] }",
    "{ C[M, N] }",
    "[M, N] -> { B[] -> [M + floor(N/2)] }" },
  { "[A, M] -> { [C[N, x] -> B[]] -> [x + floor(N/2)] }",
    "{ C[N, M] }",
    "[A, N, M] -> { B[] -> [M + floor(N/2)] }" },
}

Referenced by test_bind_pma_domain_wrapped().

◆

struct { ... } bind_set_tests[]

Initial value:

= {
  { "{ A[M, N] : M mod 2 = 0 and N mod 8 = 3 }",
    "{ A[M, N] }",
    "[M, N] -> { : M mod 2 = 0 and N mod 8 = 3 }" },
  { "{ B[N, M] : M mod 2 = 0 and N mod 8 = 3 }",
    "{ B[N, M] }",
    "[M, N] -> { : M mod 2 = 0 and N mod 8 = 3 }" },
  { "[M] -> { C[N] : M mod 2 = 0 and N mod 8 = 3 }",
    "{ C[N] }",
    "[M, N] -> { : M mod 2 = 0 and N mod 8 = 3 }" },
  { "[M] -> { D[x, N] : x mod 2 = 0 and N mod 8 = 3 and M >= 0 }",
    "{ D[M, N] }",
    "[M, N] -> { : M mod 2 = 0 and N mod 8 = 3 and M >= 0 }" },
}

Referenced by test_bind_set().

◆

struct { ... } bind_umap_range_tests[]

Initial value:

= {
  { "{ B[N, M] -> A[M, N] : M mod 2 = 0 and N mod 8 = 3 }",
    "{ A[M, N] }",
    "[M, N] -> { B[N, M] : M mod 2 = 0 and N mod 8 = 3 }" },
  { "{ B[N, M] -> A[M, N] : M mod 2 = 0 and N mod 8 = 3 }",
    "{ B[M, N] }",
    "{ }" },
  { "{ A[] -> B[]; C[] -> D[]; E[] -> B[] }",
    "{ B[] }",
    "{ A[]; E[] }" },
}

Referenced by test_bind_umap_range().

◆ bound

const char* bound

Definition at line 4019 of file isl_test.c.

◆

struct { ... } bound_tests[]

Initial value:

= {
  
  { 0, isl_fold_max, "{ [m, n] -> -m * n }", "{ max(infty) }" },
  { 1, isl_fold_max, "{ [[a, b, c, d] -> [e]] -> 0 }",
    "{ [a, b, c, d] -> max(0) }" },
  { 1, isl_fold_max, "{ [[x] -> [x]] -> 1 : exists a : x = 2 a }",
    "{ [x] -> max(1) : x mod 2 = 0 }" },
  { 1, isl_fold_min, "{ [x=5:10] -> (x + 2)^2 }", "{ min(49) }" },
  { 1, isl_fold_max, "{ [0:10] -> 1 }", "{ max(1) }" },
  { 1, isl_fold_max, "{ [[m] -> [0:m]] -> m^2 }",
    "{ [m] -> max(m^2) : m >= 0 }" },
}

Referenced by test_bound().

◆

struct { ... } box_hull_tests[]

Initial value:

= {
  { "{ S[x, y] : 0 <= x, y < 10 }", "{ S[0, 0] }", "{ S[10, 10] }" },
  { "[N] -> { S[x, y] : N <= x, y < N + 10 }",
    "[N] -> { S[N, N] }", "{ S[10, 10] }" },
  { "{ S[x, y] : 0 <= x + y, x - y < 10 }",
    "{ S[0, -4] }", "{ S[10, 9] }" },
  { "{ [i=0:10] : exists (e0, e1: 3e1 >= 1 + 2e0 and "
      "8e1 <= -1 + 5i - 5e0 and 2e1 >= 1 + 2i - 5e0) }",
    "{ [3] }", "{ [8] }" },
  { "[N] -> { [w = 0:17] : exists (e0: w < 2N and "
      "-1 + w <= e0 <= w and 2e0 >= N + w and w <= 2e0 <= 15 + w) }",
    "[N] -> { [N] }", "{ [9] }" },
}

Referenced by test_box_hull().

◆ chambers_tests

const char* chambers_tests[]

Initial value:

= {
  "[A, B, C] -> { [x, y, z] : x >= 0 and y >= 0 and y <= A - x and "
        "z >= 0 and z <= C - y and z <= B - x - y }",
}

Definition at line 10850 of file isl_test.c.

Referenced by test_chambers().

◆

struct { ... } coalesce_tests[]

Referenced by test_coalesce().

◆

struct { ... } coalesce_unbounded_tests[]

Initial value:

= {
  { 1, "{ [x,y,z] : y + 2 >= 0 and x - y + 1 >= 0 and "
      "-x - y + 1 >= 0 and -3 <= z <= 3;"
    "[x,y,z] : -x+z + 20 >= 0 and -x-z + 20 >= 0 and "
      "x-z + 20 >= 0 and x+z + 20 >= 0 and "
      "-10 <= y <= 0}" },
  { 1, "{ [x,y] : 0 <= x,y <= 10; [5,y]: 4 <= y <= 11 }" },
  { 1, "{ [x,0,0] : -5 <= x <= 5; [0,y,1] : -5 <= y <= 5 }" },
  { 1, "{ [x,y] : 0 <= x <= 10 and 0 >= y >= -1 and x+y >= 0; [0,1] }" },
  { 1, "{ [x,y] : (0 <= x,y <= 4) or (2 <= x,y <= 5 and x + y <= 9) }" },
  { 0, "{ [x, y, z] : 0 <= x,y,z <= 100 and 0 < z <= 2 + 2x + 2y; "
    "[x, y, 0] : x,y <= 100 and y <= 9 + 11x and x <= 9 + 11y }" },
  { 1, "{ [0:1, 0:1]; [0, 2:3] }" },
  { 1, "{ [0:1, 0:1]; [0, 2:3]; [1, -2:-1] }" },
  { 1, "{ [0:3, 0:1]; [1:2, 2:5] }" },
  { 1, "{ [0:3, 0:1]; [0:2, 2:5] }" },
  { 1, "{ [0:3, 0:1]; [1:3, 2:5] }" },
  { 0, "{ [0:3, 0:1]; [1:4, 2:5] }" },
  { 0, "{ [0:3, 0:1]; [1:5, 2:5] }" },
}

Referenced by test_coalesce_unbounded_wrapping().

◆

struct { ... } coef_tests[]

Initial value:

= {
  { "{ rat: [i] : 0 <= i <= 10 }",
    "{ rat: coefficients[[cst] -> [a]] : cst >= 0 and 10a + cst >= 0 }" },
  { "{ rat: [i] : FALSE }",
    "{ rat: coefficients[[cst] -> [a]] }" },
  { "{ rat: [i] : }",
    "{ rat: coefficients[[cst] -> [0]] : cst >= 0 }" },
  { "{ [0:,1,2:3] }",
    "{ rat: coefficients[[c_cst] -> [a, b, c]] : "
    "a >= 0 and 2c >= -c_cst - b and 3c >= -c_cst - b }" },
  { "[M, N] -> { [x = (1 - N):-1, -4x:(M - 4x)] }",
    "{ rat: coefficients[[c_cst, c_M = 0:, c_N = 0:] -> [a, b = -c_M:]] :"
    "4b >= -c_N + a and 4b >= -c_cst - 2c_N + a }" },
  { "{ rat : [x, y] : 1 <= 2x <= 9 and 2 <= 3y <= 16 }",
    "{ rat: coefficients[[c_cst] -> [c_x, c_y]] : "
    "4c_y >= -6c_cst - 3c_x and 4c_y >= -6c_cst - 27c_x and "
    "32c_y >= -6c_cst - 3c_x and 32c_y >= -6c_cst - 27c_x }" },
  { "{ [x, y, z] : 3y <= 2x - 2 and y >= -2 + 2x and 2y >= 2 - x }",
    "{ rat: coefficients[[cst] -> [a, b, c]] }" },
}

Referenced by test_dual().

◆ condition

const char* condition

Definition at line 4846 of file isl_test.c.

Referenced by assert_impl(), has_adjacent_true_conditions(), isl_schedule_constraints_set_conditional_validity(), isl::schedule_constraints::set_conditional_validity(), test_conditional_schedule_constraints(), test_special_conditional_schedule_constraints(), and test_special_conditional_schedule_constraints_2().

◆ conditional_validity

const char* conditional_validity

Definition at line 4847 of file isl_test.c.

Referenced by test_conditional_schedule_constraints().

◆ cone

const char* cone

Definition at line 1357 of file isl_test.c.

Referenced by affine_hull_with_cone(), gbr_get_sample(), gbr_sample(), isl_basic_set_sample_with_cone(), round_up_in_cone(), shift_cone(), test_recession_cone(), and uset_affine_hull().

◆ context

const char* context

Definition at line 1784 of file isl_test.c.

Referenced by add_div(), add_parametric_cut(), after_in_context(), alloc_groups(), basic_map_partial_lexopt_base_sol(), build_ast_from_context(), check_solution(), compute_schedule_with_context(), construct_ast_from_union_map(), context_gbr_add_eq(), context_gbr_add_ineq(), context_gbr_add_ineq_wrap(), context_gbr_best_split(), context_gbr_detect_equalities(), context_gbr_detect_nonnegative_parameters(), context_gbr_free(), context_gbr_get_div(), context_gbr_ineq_sign(), context_gbr_insert_div(), context_gbr_invalidate(), context_gbr_is_empty(), context_gbr_is_ok(), context_gbr_peek_basic_set(), context_gbr_peek_tab(), context_gbr_restore(), context_gbr_save(), context_gbr_test_ineq(), context_lex_add_eq(), context_lex_add_ineq(), context_lex_add_ineq_wrap(), context_lex_best_split(), context_lex_detect_nonnegative_parameters(), context_lex_free(), context_lex_get_div(), context_lex_ineq_sign(), context_lex_insert_div(), context_lex_invalidate(), context_lex_is_empty(), context_lex_is_ok(), context_lex_peek_basic_set(), context_lex_peek_tab(), context_lex_restore(), context_lex_save(), context_lex_test_ineq(), drop_equalities(), drop_inequalities(), drop_irrelevant_constraints(), drop_irrelevant_constraints_marked(), extract_compressed_stride_constraints(), extract_pending(), find_solutions(), FN(), foreach_bound_pair(), foreach_lower_bound(), foreach_upper_bound(), get_div(), gist(), isl::point::gist(), isl::multi_pw_aff::gist(), isl::pw_multi_aff::gist(), isl::basic_map::gist(), isl::basic_set::gist(), isl::map::gist(), isl::aff::gist(), isl::multi_aff::gist(), isl::pw_aff::gist(), isl::set::gist(), isl::union_map::gist(), isl::multi_union_pw_aff::gist(), isl::union_pw_aff::gist(), isl::union_pw_multi_aff::gist(), isl::union_set::gist(), isl::basic_map::gist_domain(), isl::map::gist_domain(), isl::schedule::gist_domain_params(), gist_guards(), isl::basic_map::gist_params(), isl::basic_set::gist_params(), isl::point::gist_params(), isl::map::gist_params(), isl::set::gist_params(), gist_strides(), isl::schedule_node::insert_context(), isl::schedule_node::insert_guard(), isl_aff_gist(), isl_aff_gist_params(), isl_ast_build_alloc(), isl_ast_graft_list_gist_guards(), isl_basic_map_gist(), isl_basic_map_gist_domain(), isl_basic_map_plain_gist(), isl_basic_map_remove_shifted_constraints(), isl_basic_set_foreach_bound_pair(), isl_basic_set_gist(), isl_basic_set_reduce_using_equalities(), isl_context_alloc(), isl_map_gist(), isl_map_gist_basic_map(), isl_map_gist_domain(), isl_map_gist_params(), isl_map_gist_range(), isl_map_plain_gist(), isl_map_plain_gist_basic_map(), isl_qpolynomial_fold_gist(), isl_qpolynomial_fold_gist_params(), isl_qpolynomial_gist(), isl_qpolynomial_gist_params(), isl_schedule_band_gist(), isl_schedule_constraints_set_context(), isl_schedule_gist_domain_params(), isl_schedule_insert_context(), isl_schedule_node_band_gist(), isl_schedule_node_domain_gist_params(), isl_schedule_node_gist(), isl_schedule_node_insert_context(), isl_schedule_tree_band_gist(), isl_schedule_tree_from_context(), isl_schedule_tree_insert_context(), isl_set_gist(), isl_set_gist_basic_set(), isl_set_gist_params(), isl_set_gist_params_basic_set(), isl_set_plain_gist_basic_set(), isl_stream_read_schedule_constraints(), isl_union_map_gist(), isl_union_map_plain_gist(), isl_union_set_gist(), isl_union_set_plain_gist(), main(), mark_shifted_constraints(), move_parameters(), MULTI(), read_context(), remove_shifted_constraints(), replace_by_disjunct(), set_largest_lower_bound(), set_smallest_upper_bound(), test_conflicting_context_schedule(), test_gist(), test_gist_empty(), test_gist_empty_pair(), test_gist_fail(), test_plain_gist(), test_return_string(), to_parameter_domain(), update_ineq_free(), uset_gist(), uset_gist_compressed(), uset_gist_full(), and uset_gist_uncompressed().

◆ conversion_tests

const char* conversion_tests[]

Initial value:

= {
  "{ [a, b, c, d] -> s0[a, b, e, f] : "
      "exists (e0 = [(a - 2c)/3], e1 = [(-4 + b - 5d)/9], "
      "e2 = [(-d + f)/9]: 3e0 = a - 2c and 9e1 = -4 + b - 5d and "
      "9e2 = -d + f and f >= 0 and f <= 8 and 9e >= -5 - 2a and "
      "9e <= -2 - 2a) }",
  "{ [a, b] -> [c] : exists (e0 = floor((-a - b + c)/5): "
      "5e0 = -a - b + c and c >= -a and c <= 4 - a) }",
  "{ [a, b] -> [c] : exists d : 18 * d = -3 - a + 2c and 1 <= c <= 3 }",
}

Definition at line 9284 of file isl_test.c.

Referenced by test_map_conversion().

◆

struct { ... } convex_hull_tests[]

Initial value:

= {
  { "{ [i0, i1, i2] : (i2 = 1 and i0 = 0 and i1 >= 0) or "
         "(i0 = 1 and i1 = 0 and i2 = 1) or "
         "(i0 = 0 and i1 = 0 and i2 = 0) }",
    "{ [i0, i1, i2] : i0 >= 0 and i2 >= i0 and i2 <= 1 and i1 >= 0 }" },
  { "[n] -> { [i0, i1, i0] : i0 <= -4 + n; "
      "[i0, i0, i2] : n = 6 and i0 >= 0 and i2 <= 7 - i0 and "
      "i2 <= 5 and i2 >= 4; "
      "[3, i1, 3] : n = 5 and i1 <= 2 and i1 >= 0 }",
    "[n] -> { [i0, i1, i2] : i2 <= -1 + n and 2i2 <= -6 + 3n - i0 and "
      "i2 <= 5 + i0 and i2 >= i0 }" },
  { "{ [x, y] : 3y <= 2x and y >= -2 + 2x and 2y >= 2 - x }",
      "{ [x, y] : 1 = 0 }" },
  { "{ [x, y, z] : 0 <= x, y, z <= 10; [x, y, 0] : x >= 0 and y > 0; "
      "[x, y, 0] : x >= 0 and y < 0 }",
      "{ [x, y, z] : x >= 0 and 0 <= z <= 10 }" },
  { "{ [a, b, c] : a <= 1 and -a < b <= 1 and 0 <= c <= 2 - a - b and "
          "c <= a; "
      "[0, 2, 0]; [3, 1, 0] }",
      "{ [a, b, c] : b > -a and 2b >= -1 + a and 0 <= c <= a and "
          "5c <= 6 - a - 3b }" },
}

Referenced by test_convex_hull_algo().

◆ difference

const char* difference

Definition at line 4288 of file isl_test.c.

Referenced by test_subtract().

◆ domain

const char* domain

Definition at line 4844 of file isl_test.c.

Referenced by compute_schedule(), compute_schedule_with_context(), test_coalescing_schedule(), test_conditional_schedule_constraints(), test_conflicting_context_schedule(), test_has_schedule(), test_one_schedule(), test_special_conditional_schedule_constraints(), test_special_conditional_schedule_constraints_2(), test_special_schedule(), test_strongly_satisfying_schedule(), test_tile(), and test_upa().

◆ dual

const char* dual

Definition at line 10615 of file isl_test.c.

Referenced by farkas(), and test_dual().

◆ elimination_tests

const char* elimination_tests[]

static

Initial value:

= {
  "{ [i,j] : 2 * [i/2] + 3 * [j/4] <= 10 and 2 i = j }",
  "{ [m, w] : exists a : w - 2m - 5 <= 3a <= m - 2w }",
  "{ [m, w] : exists a : w >= 0 and a < m and -1 + w <= a <= 2m - w }",
}

Definition at line 992 of file isl_test.c.

Referenced by test_elimination().

◆ equal

int equal

Definition at line 7868 of file isl_test.c.

Referenced by check_coalesce_into_eq(), check_space_multi_union_pw_aff(), check_space_multi_val(), coalesce_subset_with_equalities(), compatible_divs(), coscheduled_source(), equal_independent_guards(), equal_on_domain(), extract_space(), find_vertex(), FN(), harmonize_divs(), has_pure_outer_disjunction(), isl_aff_align_divs(), isl_aff_plain_is_equal(), isl_ast_expr_list_is_equal(), isl_ast_graft_list_extract_hoistable_guard(), isl_basic_map_check_applies_range(), isl_basic_map_check_transformation(), isl_basic_map_equal_div_expr_except_constant(), isl_basic_map_reset_space(), isl_basic_set_opt_lp_val(), isl_constraint_is_equal(), ISL_FN(), isl_hash_table_find(), isl_local_space_intersect(), isl_local_space_is_equal(), isl_map_check_transformation(), isl_map_gist(), isl_map_intersect_factor(), isl_map_is_equal(), isl_map_is_identity(), isl_map_plain_is_equal(), isl_map_reset_equal_dim_space(), isl_map_subtract(), isl_map_union(), isl_multi_aff_lex_gte_set(), isl_multi_aff_lex_gte_set_0d(), isl_multi_pw_aff_is_equal(), isl_multi_union_pw_aff_apply_aff(), isl_multi_union_pw_aff_apply_multi_aff(), isl_multi_union_pw_aff_apply_pw_aff(), isl_multi_union_pw_aff_apply_pw_multi_aff(), isl_pw_aff_cond(), isl_pw_aff_is_equal(), isl_pw_multi_aff_is_equal(), isl_qpolynomial_fold_check_equal_space(), isl_qpolynomial_fold_plain_is_equal(), isl_qpolynomial_plain_is_equal(), isl_schedule_band_plain_is_equal(), isl_schedule_tree_plain_is_equal(), isl_space_check_equal_params(), isl_space_has_equal_ids(), isl_space_is_equal(), isl_space_range_reverse(), isl_space_reverse(), isl_union_map_reset_equal_dim_space(), lower_bound_is_cst(), main(), map_check_equal(), map_intersect_internal(), map_is_equal(), map_lex_gte(), map_lex_gte_first(), map_lex_lte(), map_lex_lte_first(), map_plain_is_not_identity(), match(), merge_lists(), pw_aff_gte_set(), set_check_equal(), set_is_equal(), skip_name(), test_aff(), test_aff_set_tuple_id(), test_align_parameters_1(), test_ast(), test_bin_union_map(), test_bound(), test_closure(), test_coalesce_set(), test_coalesce_union(), test_construction_2(), test_convex_hull_algo(), test_curry(), test_deltas_map(), test_dim(), test_dim_max(), test_drop_unused_parameters(), test_dual(), test_eliminate(), test_equal(), test_gist(), test_lexmin(), test_ma_conversion(), test_map_conversion(), test_mpa_conversion(), test_multi_pw_aff_1(), test_multi_pw_aff_2(), test_multi_pw_aff_box(), test_output(), test_output_ma(), test_output_mpa(), test_output_set(), test_parse_map_equal(), test_plain_gist(), test_product_pma(), test_pullback(), test_pw_multi_aff(), test_pwqp(), test_pwqp_gist(), test_read(), test_recession_cone(), test_schedule_tree_group_1(), test_schedule_tree_group_2(), test_schedule_tree_prefix(), test_set_conversion(), test_slice(), test_special_schedule(), test_subtract(), test_tile(), test_un_union_map(), test_union(), test_union_map_mupa_conversion(), test_union_pw(), test_various_simple_hull(), union_pw_multi_aff_scale_multi_val_entry(), uset_check_equal(), and uset_is_equal().

◆ f

const char* f

Definition at line 8642 of file isl_test.c.

Referenced by accept_affine_factor(), accept_cst_factor(), accept_div(), add_bounds(), add_expanded(), add_vertex(), at_most_one_non_fixed(), basic_set_coefficients(), bernstein_coefficients_factors(), compressed_multiplicative_call(), count_map_constraints(), eliminate_non_fixed(), extend(), extract_coefficients(), factored_sample(), first_non_integer_row(), FN(), initial_solution(), is_independent(), isl_aff_pullback_multi_aff(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_scale_down_ui(), isl_basic_map_preimage_multi_aff(), isl_basic_map_solve_lp(), isl_basic_set_coefficients_morphed_product(), isl_basic_set_coefficients_product(), isl_basic_set_factorizer(), isl_basic_set_solve_ilp(), isl_basic_set_solve_lp(), isl_factorizer_alloc(), isl_factorizer_dump(), isl_factorizer_every_factor_basic_set(), isl_factorizer_free(), isl_factorizer_get_ctx(), isl_factorizer_groups(), isl_local_space_preimage_multi_aff(), isl_map_solve_lp(), isl_mat_col_addmul(), isl_mat_col_mul(), isl_mat_col_submul(), isl_multi_aff_scale(), isl_poly_from_affine(), isl_pw_aff_tdiv_q(), isl_qpolynomial_from_affine(), isl_seq_addmul(), isl_seq_preimage(), isl_seq_submul(), isl_set_follows_at(), isl_set_solve_lp(), isl_tab_min(), isl_tab_solve_lp(), isl_tarjan_components(), main(), next_non_integer_var(), node_follows_weak(), sample_bounded(), isl::pw_aff::scale_down(), scale_factor(), solve_ilp(), solve_ilp_search(), solve_ilp_with_eq(), test_eval_aff(), test_factorize(), and update_coeff().

◆ f1

const char* f1

Definition at line 7869 of file isl_test.c.

Referenced by test_equal().

◆ f2

const char* f2

Definition at line 7870 of file isl_test.c.

Referenced by test_equal().

◆ flow

const char* flow

Definition at line 4845 of file isl_test.c.

◆ fn

int(* fn) (isl_ctx *ctx)	(	__isl_take isl_val *	v1,
		__isl_take isl_val *	v2
	)

Definition at line 850 of file isl_test.c.

Referenced by main(), test_bin_aff(), test_bin_val(), test_un_val(), and test_union_pw_op().

◆ gist

const char* gist

Definition at line 1785 of file isl_test.c.

Referenced by add_intermediate_piece(), FN(), isl::map::gist(), isl::aff::gist(), isl::multi_aff::gist(), isl::pw_aff::gist(), isl::set::gist(), isl::multi_pw_aff::gist(), isl::pw_multi_aff::gist(), isl::basic_set::gist(), isl_qpolynomial_fold_gist(), MULTI(), test_gist(), and test_plain_gist().

◆

struct { ... } gist_fail_tests[]

Initial value:

= {
  { "{ [i] : exists (e0, e1: 3e1 >= 1 + 2e0 and "
      "8e1 <= -1 + 5i - 5e0 and 2e1 >= 1 + 2i - 5e0) }",
    "{ [i] : i >= 0 }" },
}

Referenced by test_gist_fail().

◆

struct { ... } gist_tests[]

Referenced by test_gist().

◆ hull

const char* hull

Definition at line 1485 of file isl_test.c.

Referenced by add_adjacent_points(), add_bound(), add_bound_from_constraint(), add_lineality(), add_node(), affine_hull_with_cone(), cached_simple_hull(), coalesce_info_set_hull_hash(), common_constraints(), compress_node(), compute_weights(), convex_hull_1d(), convex_hull_pair_elim(), convex_hull_pair_pointed(), create_node_scaled(), equalities_in_underlying_set(), extend(), extend_affine_hull(), extract_disjunction(), extract_edge(), extract_node(), find_unroll_lower_bound(), FN(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), has_pure_outer_disjunction(), initial_hull(), initialize_hull(), isl_aff_gist(), isl_ast_graft_list_extract_hoistable_guard(), isl_basic_map_detect_equalities(), isl_map_affine_hull(), isl_map_gist(), isl_map_plain_gist(), isl_map_plain_unshifted_simple_hull(), isl_map_polyhedral_hull(), isl_pw_multi_aff_from_map(), isl_set_bounded_simple_hull(), isl_tab_detect_equalities(), map_simple_hull(), map_simple_hull_trivial(), map_unshifted_simple_hull_from_basic_map_list(), modulo_lineality(), print_disjuncts(), print_disjuncts_in_hull(), project_out_fixed(), proto_hull(), pw_multi_aff_from_map_check_div(), pw_multi_aff_from_map_check_strides(), pw_multi_aff_from_map_div(), pw_multi_aff_from_map_stride(), set_detect_stride(), set_enforced_from_set(), set_up_substitutions(), test_convex_hull_algo(), test_various_simple_hull(), try_extract_mod(), uset_affine_hull_bounded(), uset_convex_hull_wrap(), uset_simple_hull(), uset_unshifted_simple_hull_from_basic_set_list(), and uset_unshifted_simple_hull_from_constraints().

◆ id

const char* id

Definition at line 7279 of file isl_test.c.

Referenced by add_bind_params(), after_for(), already_printed_once(), before_each_for(), can_be_split_off(), check_fresh_params(), cluster_space(), collect_cluster_map(), construct_compressed_id(), construct_id(), copy_ids(), create_for(), equate_params(), extract_node(), extract_node_transformation(), FN(), generate_names(), get_op_str_c(), graph_find_compressed_node(), group_band(), id_alloc(), insert_dummy_tags(), internal_executed(), is_subset_of_identity(), isl_ast_build_from_context(), isl_ast_build_from_multi_pw_aff_internal(), isl_ast_build_from_multi_pw_aff_member(), isl_ast_build_get_schedule_space(), isl_ast_build_insert_dim(), isl_ast_expr_from_id(), isl_ast_expr_op_type_set_print_name(), isl_ast_node_alloc_mark(), isl_basic_map_is_single_valued(), isl_cell_alloc(), isl_factorizer_groups(), isl_hash_id(), isl_hash_params(), isl_hash_tuples(), isl_hash_tuples_domain(), isl_id_copy(), isl_id_free(), isl_id_has_name_and_user(), isl_id_set_free_user(), isl_map_is_identity(), isl_map_is_single_valued(), isl_morph_empty(), isl_morph_identity(), isl_printer_print_id(), isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), isl_reordering_unbind_params_insert_domain(), isl_set_identity(), isl_set_wrapped_domain_map(), isl_space_copy_ids_if_unset(), isl_space_find_dim_by_name(), isl_space_get_tuple_name(), isl_space_has_dim_name(), isl_space_has_tuple_name(), isl_space_reset_user(), isl_space_reverse(), isl_space_set_dim_name(), isl_space_set_tuple_id(), isl_space_set_tuple_name(), isl_space_unbind_params_insert_domain(), isl_stream_read_id(), isl_vertex_alloc(), isolate_final(), isolate_initial(), map_equate_params(), map_from_tuple(), print_ast_expr_isl(), print_for_c(), project_out_fixed(), pw_multi_aff_from_map_stride(), read_for(), read_mark(), return_with_identity(), set_id(), set_iterator_names(), test_aff_set_tuple_id(), test_bind_aff(), test_bind_pa(), test_foreach_scc(), test_list(), test_schedule_tree_group_1(), test_schedule_tree_group_2(), test_try_user(), test_union_set_contains(), test_upa(), test_user(), update_edge(), and var().

◆ lexmin

const char* lexmin

Definition at line 3038 of file isl_test.c.

Referenced by test_lexmin().

◆

struct { ... } lexmin_tests[]

Referenced by test_lexmin().

◆

struct { ... } live_range_tests[]

Referenced by test_conditional_schedule_constraints().

◆ ma

const char* ma

Definition at line 7535 of file isl_test.c.

◆ ma1

const char* ma1

Definition at line 9454 of file isl_test.c.

Referenced by equal_on_domain(), isl_multi_aff_lex_ge_set(), isl_multi_aff_lex_gt_set(), isl_multi_aff_lex_gte_set(), isl_multi_aff_lex_gte_set_0d(), isl_multi_aff_lex_le_set(), isl_multi_aff_lex_lt_set(), isl_multi_aff_order_at(), isl_multi_aff_pullback_multi_aff(), isolate_final(), test_align_parameters_1(), test_bin_locus_ma(), and test_pullback().

◆ map

const char* map

Definition at line 1783 of file isl_test.c.

Referenced by add_constraint(), add_domain(), add_hash(), add_inter(), add_inter_proximity_constraints(), add_inter_validity_constraints(), add_intra(), add_intra_proximity_constraints(), add_intra_validity_constraints(), add_length(), add_list_map(), add_map(), add_n_basic_map(), add_non_trivial_lineality(), after_in_subtree(), align_entry(), all_intermediate_sources(), anonymize(), basic_map_collect_diff(), basic_map_diff_is_empty(), basic_map_subtract(), bin_add_map(), bin_add_pair(), bin_entry(), bin_try_get_match(), bind_range(), box_closure(), box_closure_on_domain(), box_closure_with_check(), box_closure_with_identity(), cached_simple_hull(), call_every(), call_on_copy(), can_be_split_off(), check_convex_no_locals(), check_exactness(), check_exactness_omega(), check_injective(), check_map_compatible_range_multi_aff(), check_map_space_equal_total_dim(), check_power_exactness(), clear_caches(), collect_basic_map(), collect_basic_maps(), collect_cluster_map(), collect_matching_array(), composability(), compose(), compress(), compute_divs(), compute_flow(), compute_incremental(), compute_single_flow(), compute_size(), construct_component(), construct_component_executed(), construct_extended_path(), construct_power(), construct_power_components(), construct_projected_component(), construct_shifted_executed(), copy_edges(), copy_map(), coscheduled_source(), count_constraints(), count_map_constraints(), count_matching_array(), create_node(), domain_map_upma(), domain_match(), drop_constraints(), embed_options(), equal_tuples(), explicit_bounds(), extract_domain(), extract_edge(), extract_sink_source(), find_domain_node(), find_range_node(), fixed_at_pos(), fixed_box_as_map(), floyd_warshall(), floyd_warshall_with_groups(), FN(), forall_entry(), forall_user_entry(), free_of_depth(), free_split(), free_umap_entry(), gen_bin_entry(), generate_component(), generate_domain(), gist_params_entry(), handle_coscheduled(), has_any_bound(), has_bound(), has_bounded_distances(), has_domain_space_tuples(), has_range_space_tuples(), has_singular_src_or_dst(), has_space_tuples(), implicit_bounds(), inc_count(), incremental_closure(), incremental_on_entire_domain(), insert_dummy_tags(), inter_coefficients(), intersect_domains(), intersect_params_entry(), intra_coefficients(), is_condition_false(), is_convex_no_locals(), is_disjoint_entry(), is_isolate_loop_type_option(), is_subset_entry(), is_subset_of_identity(), is_violated(), isl_ast_build_compute_gist_map_domain(), isl_ast_build_map_to_iterator(), isl_basic_map_compute_divs(), isl_basic_map_union(), isl_basic_set_parameter_compression(), isl_map_add_basic_map(), isl_map_add_constraint(), isl_map_add_dims(), isl_map_affine_hull(), isl_map_affine_hull_map(), isl_map_align_divs(), isl_map_align_divs_internal(), isl_map_align_divs_to_basic_map_list(), isl_map_align_params(), isl_map_alloc_space(), isl_map_apply_pw_qpolynomial_fold(), isl_map_as_pw_multi_aff(), isl_map_bind_domain(), isl_map_bind_range(), isl_map_can_curry(), isl_map_can_range_curry(), isl_map_can_uncurry(), isl_map_can_zip(), isl_map_change_space(), isl_map_check_transformation(), isl_map_coalesce(), isl_map_compatible_domain(), isl_map_compatible_range(), isl_map_complement(), isl_map_compute_divs(), isl_map_contains_point(), isl_map_convex_hull(), isl_map_copy(), isl_map_cow(), isl_map_curry(), isl_map_deltas(), isl_map_deltas_map(), isl_map_detect_equalities(), isl_map_dim(), isl_map_dim_is_bounded(), isl_map_dim_max(), isl_map_dim_min(), isl_map_divs_known(), isl_map_domain(), isl_map_domain_factor_domain(), isl_map_domain_factor_range(), isl_map_domain_is_wrapping(), isl_map_domain_map(), isl_map_domain_tuple_dim(), isl_map_drop(), isl_map_drop_constraints_involving_dims(), isl_map_drop_constraints_involving_unknown_divs(), isl_map_drop_constraints_not_involving_dims(), isl_map_drop_unused_params(), isl_map_dup(), isl_map_eliminate(), isl_map_eq_at_multi_pw_aff(), isl_map_equate(), isl_map_factor_domain(), isl_map_factor_range(), isl_map_find_dim_by_id(), isl_map_find_dim_by_name(), isl_map_fix(), isl_map_fix_input_si(), isl_map_fix_si(), isl_map_fix_val(), isl_map_flatten(), isl_map_flatten_domain(), isl_map_flatten_range(), isl_map_floordiv(), isl_map_floordiv_val(), isl_map_foreach_basic_map(), isl_map_free(), isl_map_from_basic_map(), isl_map_from_pw_aff_internal(), isl_map_from_pw_multi_aff_internal(), isl_map_from_union_map(), isl_map_get_basic_map_list(), isl_map_get_ctx(), isl_map_get_dim_id(), isl_map_get_dim_name(), isl_map_get_domain_tuple_id(), isl_map_get_hash(), isl_map_get_range_lattice_tile(), isl_map_get_range_simple_fixed_box_hull(), isl_map_get_range_stride_info(), isl_map_get_range_tuple_id(), isl_map_get_space(), isl_map_get_tuple_id(), isl_map_get_tuple_name(), isl_map_gist(), isl_map_gist_basic_map(), isl_map_gist_domain(), isl_map_gist_params(), isl_map_gist_range(), isl_map_grow(), isl_map_has_dim_id(), isl_map_has_dim_name(), isl_map_has_domain_tuple_id(), isl_map_has_range_tuple_id(), isl_map_has_rational(), isl_map_has_space_tuples(), isl_map_has_tuple_id(), isl_map_has_tuple_name(), isl_map_inline_foreach_basic_map(), isl_map_insert_dims(), isl_map_intersect_domain(), isl_map_intersect_domain_factor_domain(), isl_map_intersect_domain_factor_range(), isl_map_intersect_domain_wrapped_domain(), isl_map_intersect_factor(), isl_map_intersect_multi_pw_aff_explicit_domain(), isl_map_intersect_multi_val_explicit_domain(), isl_map_intersect_params(), isl_map_intersect_range(), isl_map_intersect_range_factor_domain(), isl_map_intersect_range_factor_range(), isl_map_intersect_range_wrapped_domain(), isl_map_involves_dims(), isl_map_is_bijective(), isl_map_is_empty(), isl_map_is_identity(), isl_map_is_injective(), isl_map_is_params(), isl_map_is_product(), isl_map_is_rational(), isl_map_is_set(), isl_map_is_single_valued(), isl_map_is_transitively_closed(), isl_map_is_translation(), isl_map_lex_ge_map(), isl_map_lex_gt_map(), isl_map_lex_le_map(), isl_map_lex_lt_map(), isl_map_local_affine_hull(), isl_map_lower_bound(), isl_map_lower_bound_multi_pw_aff(), isl_map_lower_bound_si(), isl_map_lower_bound_val(), isl_map_make_disjoint(), isl_map_max_multi_pw_aff(), isl_map_may_be_set(), isl_map_min_multi_pw_aff(), isl_map_move_dims(), isl_map_n_basic_map(), isl_map_neg(), isl_map_normalize(), isl_map_oppose(), isl_map_order_at_multi_pw_aff(), isl_map_order_divs(), isl_map_order_ge(), isl_map_order_gt(), isl_map_order_le(), isl_map_order_lt(), isl_map_params(), isl_map_partial_lexmax(), isl_map_partial_lexmin(), isl_map_partial_lexopt_aligned(), isl_map_partial_lexopt_aligned_pw_multi_aff(), isl_map_peek_space(), isl_map_plain_get_val_if_fixed(), isl_map_plain_gist(), isl_map_plain_gist_basic_map(), isl_map_plain_has_fixed_var(), isl_map_plain_is_empty(), isl_map_plain_is_fixed(), isl_map_plain_is_injective(), isl_map_plain_is_single_valued(), isl_map_plain_is_singleton(), isl_map_plain_is_universe(), isl_map_plain_unshifted_simple_hull(), isl_map_polyhedral_hull(), isl_map_polyhedral_hull_map(), isl_map_power(), isl_map_preimage_domain_multi_aff(), isl_map_preimage_domain_multi_pw_aff(), isl_map_preimage_domain_pw_multi_aff(), isl_map_preimage_multi_aff(), isl_map_preimage_multi_pw_aff(), isl_map_preimage_pw_multi_aff(), isl_map_preimage_pw_multi_aff_aligned(), isl_map_preimage_range_multi_aff(), isl_map_preimage_range_pw_multi_aff(), isl_map_print_internal(), isl_map_print_isl(), isl_map_print_latex(), isl_map_print_omega(), isl_map_print_polylib(), isl_map_project_onto(), isl_map_project_out(), isl_map_range(), isl_map_range_curry(), isl_map_range_factor_domain(), isl_map_range_factor_range(), isl_map_range_is_wrapping(), isl_map_range_map(), isl_map_range_reverse(), isl_map_range_tuple_dim(), isl_map_reaching_path_lengths(), isl_map_read_from_file(), isl_map_realign(), isl_map_remove_dims(), isl_map_remove_divs(), isl_map_remove_divs_involving_dims(), isl_map_remove_empty_parts(), isl_map_remove_inputs(), isl_map_remove_obvious_duplicates(), isl_map_remove_redundancies(), isl_map_remove_unknown_divs(), isl_map_reset(), isl_map_reset_equal_dim_space(), isl_map_reset_space(), isl_map_reset_tuple_id(), isl_map_reset_user(), isl_map_restore_space(), isl_map_reverse(), isl_map_sample(), isl_map_set_dim_id(), isl_map_set_dim_name(), isl_map_set_domain_tuple_id(), isl_map_set_has_equal_params(), isl_map_set_range_tuple_id(), isl_map_set_rational(), isl_map_set_tuple_id(), isl_map_set_tuple_is_equal(), isl_map_set_tuple_name(), isl_map_simple_hull(), isl_map_simple_hull_map(), isl_map_solve_lp(), isl_map_sort_divs(), isl_map_space_has_equal_params(), isl_map_space_tuple_is_equal(), isl_map_subtract_domain(), isl_map_subtract_range(), isl_map_take_space(), isl_map_to_union_map(), isl_map_transform(), isl_map_transitive_closure(), isl_map_uncurry(), isl_map_underlying_set(), isl_map_universe(), isl_map_unmark_normalized(), isl_map_unshifted_simple_hull(), isl_map_unshifted_simple_hull_from_map_list(), isl_map_upper_bound(), isl_map_upper_bound_multi_pw_aff(), isl_map_upper_bound_si(), isl_map_upper_bound_val(), isl_map_wrap(), isl_map_zip(), isl_morph_alloc(), isl_morph_compose(), isl_multi_pw_aff_eq_map_on_space(), isl_multi_pw_aff_intersect_explicit_domain_product(), isl_multi_pw_aff_lex_map_on_space(), isl_printer_print_map(), isl_pw_multi_aff_from_map(), isl_set_apply(), isl_set_flatten_map(), isl_set_insert_domain(), isl_set_lex_ge_set(), isl_set_lex_gt_set(), isl_set_lex_le_set(), isl_set_lex_lt_set(), isl_set_lower_bound_val(), isl_set_project_onto_map(), isl_set_project_out_param_id_list(), isl_set_translation(), isl_set_upper_bound_val(), isl_set_wrapped_domain_map(), isl_stream_read_basic_map(), isl_union_map_add_map(), isl_union_map_from_map(), isolate(), isolate_final(), isolate_initial(), main(), map_apply(), map_bound(), map_bound_pw_aff(), map_bound_si(), map_check_equal(), map_check_scaled(), map_dim_opt(), map_equate_params(), map_excludes(), map_from_multi_pw_aff(), map_from_pw_aff_entry(), map_from_pw_multi_aff(), map_from_tuple(), map_id(), map_intersect_domains(), map_intersect_set(), map_is_equal(), map_is_identity(), map_lex_gte_first(), map_lex_lte_first(), map_lower_bound_pw_aff(), map_lower_bound_val(), map_offset(), map_plain_is_not_identity(), map_power(), map_preimage_multi_aff(), map_read_polylib(), map_simple_hull(), map_simple_hull_trivial(), map_space_reset(), map_union_disjoint(), map_unshifted_simple_hull_from_basic_map_list(), map_upper_bound_pw_aff(), map_upper_bound_val(), match_bin_entry(), not(), obj_read(), obj_read_body(), obj_read_disjuncts(), obj_read_poly(), options_insert_dim(), order_at(), power(), preimage_entry(), preimage_mpa_entry(), print_body_map(), print_disjuncts(), print_disjuncts_core(), print_disjuncts_in_hull(), print_disjuncts_map(), print_latex_map(), print_latex_map_body(), print_split_map(), project_out(), project_out_fixed(), pw_multi_aff_from_map(), pw_multi_aff_from_map_base(), pw_multi_aff_from_map_check_div(), pw_multi_aff_from_map_check_strides(), pw_multi_aff_from_map_div(), pw_multi_aff_from_map_stride(), q_closure(), range_match(), read_conditional_multi_pw_aff(), read_conjunct(), read_conjuncts(), read_defined_var_list(), read_disjuncts(), read_exists(), read_factor(), read_formula(), read_map_tuple(), read_optional_formula(), read_term(), read_union_set_body(), read_var_def(), remove_if_empty(), replace_by_disjunct(), replace_by_universe(), replace_map_by_empty_basic_map(), replace_space_by_local_space(), reset_params(), reset_range_space(), resolve_paren_expr(), sample_entry(), sched_info_alloc(), separate_domain(), separates(), set_bound_multi_pw_aff(), set_bound_multi_val(), set_dim_extent(), set_from_map(), set_match(), set_path_length(), set_range_dim(), SF(), single_map_is_single_valued(), skip_edge(), sort_and_remove_duplicates(), split(), split_aff(), split_domain(), test_align_parameters_2(), test_bijective(), test_bind_map_domain(), test_closure(), test_deltas_map(), test_dep(), test_dim_max(), test_domain_hash(), test_eliminate(), test_fixed(), test_foreach_scc(), test_gist_empty(), test_gist_empty_pair(), test_lex(), test_lexmin(), test_multi_pw_aff_box(), test_parse(), test_parse_map(), test_parse_map_equal(), test_parse_mpa(), test_parse_pma(), test_partial_lexmin(), test_plain_fixed(), test_plain_gist(), test_set_from_map(), test_slice(), test_space(), test_special_conditional_schedule_constraints_2(), test_strongly_satisfying_schedule(), test_sv(), transitive_closure_omega(), un_entry(), un_op_filter_drop_user(), universe(), update_basic_maps(), and update_piecewise_affine_colon().

◆ map1

const char* map1

Definition at line 360 of file isl_test.c.

Referenced by after_in_subtree(), all_pairs(), bin_add_pair(), FN(), isl_basic_map_is_subset(), isl_map_align_params_map_map_and_test(), isl_map_apply_domain(), isl_map_apply_range(), isl_map_domain_product(), isl_map_flat_domain_product(), isl_map_flat_product(), isl_map_flat_range_product(), isl_map_has_equal_params(), isl_map_intersect(), isl_map_is_disjoint(), isl_map_is_disjoint_aligned(), isl_map_is_equal(), isl_map_is_strict_subset(), isl_map_is_subset(), isl_map_lex_ge_map(), isl_map_lex_gt_map(), isl_map_lex_le_map(), isl_map_lex_lt_map(), isl_map_plain_is_disjoint(), isl_map_plain_is_disjoint_global(), isl_map_plain_is_equal(), isl_map_product(), isl_map_range_product(), isl_map_reverse_domain_product(), isl_map_reverse_range_product(), isl_map_subtract(), isl_map_sum(), isl_map_tuple_is_equal(), isl_map_union(), isl_map_union_disjoint(), isl_pw_aff_is_equal(), isl_pw_multi_aff_is_equal(), map_diff_is_empty(), map_intersect(), map_intersect_add_constraint(), map_intersect_internal(), map_is_equal(), map_is_singleton_subset(), map_is_subset(), map_product(), map_union_disjoint(), replace_pair_by_empty(), test_coalesce_special(), test_dim(), test_gist(), and test_map_conversion().

◆ map2

const char* map2

Definition at line 361 of file isl_test.c.

◆ minuend

const char* minuend

Definition at line 4286 of file isl_test.c.

Referenced by test_subtract().

◆

struct { ... } mpa_bin_tests[]

Referenced by test_bin_mpa().

◆ mpa_conversion_tests

const char* mpa_conversion_tests[]

Initial value:

= {
  "{ [x] -> A[x] }",
  "{ [x] -> A[x] : x >= 0 }",
  "{ [x] -> A[x] : x >= 0; [x] -> A[-x] : x < 0 }",
  "{ [x] -> A[x, x + 1] }",
  "{ [x] -> A[] }",
  "{ [x] -> A[] : x >= 0 }",
}

Definition at line 9326 of file isl_test.c.

Referenced by test_mpa_conversion().

◆

struct { ... } mpa_un_tests[]

Referenced by test_un_mpa().

◆ multi_pw_aff_box_tests

const char* multi_pw_aff_box_tests[]

static

Initial value:

= {
  "{ A[x, y] -> [] : x + y >= 0 }",
  "[N] -> { A[x, y] -> [x] : x + y <= N }",
  "[N] -> { A[x, y] -> [x : y] : x + y <= N }",
}

Definition at line 10209 of file isl_test.c.

Referenced by test_multi_pw_aff_box().

◆ mupa

const char* mupa

Definition at line 7365 of file isl_test.c.

= {
  { &isl_multi_union_pw_aff_factor_range,
    "[B[{ A[] -> [1] }] -> C[{ A[] -> [2] }]]",
    "C[{ A[] -> [2] }]" },
  { &isl_multi_union_pw_aff_factor_range,
    "[B[] -> C[{ A[] -> [2] }]]",
    "C[{ A[] -> [2] }]" },
  { &isl_multi_union_pw_aff_factor_range,
    "[B[{ A[] -> [1] }] -> C[]]",
    "C[]" },
  { &isl_multi_union_pw_aff_factor_range,
    "[B[] -> C[]]",
    "C[]" },
  { &isl_multi_union_pw_aff_factor_range,
    "([B[] -> C[]] : { A[x] : x >= 0 })",
    "(C[] : { A[x] : x >= 0 })" },
  { &isl_multi_union_pw_aff_factor_range,
    "[N] -> ([B[] -> C[]] : { A[x] : x <= N })",
    "[N] -> (C[] : { A[x] : x <= N })" },
  { &isl_multi_union_pw_aff_factor_range,
    "[N] -> ([B[] -> C[]] : { : N >= 0 })",
    "[N] -> (C[] : { : N >= 0 })" },
}

Referenced by test_un_mupa().

◆

struct { ... } mupa_upma_tests[]

Referenced by test_mupa_upma().

◆

struct { ... } mupa_uset_tests[]

Initial value:

= {
  { &isl_multi_union_pw_aff_intersect_domain,
    "C[{ B[i,j] -> [i + 2j] }]", "{ B[i,i] }",
    "C[{ B[i,i] -> [3i] }]" },
  { &isl_multi_union_pw_aff_intersect_domain,
    "(C[] : { B[i,j] })", "{ B[i,i] }",
    "(C[] : { B[i,i] })" },
  { &isl_multi_union_pw_aff_intersect_domain,
    "(C[] : { B[i,j] })", "[N] -> { B[N,N] }",
    "[N] -> (C[] : { B[N,N] })" },
  { &isl_multi_union_pw_aff_intersect_domain,
    "C[]", "{ B[i,i] }",
    "(C[] : { B[i,i] })" },
  { &isl_multi_union_pw_aff_intersect_domain,
    "[N] -> (C[] : { : N >= 0 })", "{ B[i,i] }",
    "[N] -> (C[] : { B[i,i] : N >= 0 })" },
}

Referenced by test_mupa_uset().

◆ name

const char* name

Definition at line 10938 of file isl_test.c.

◆ obj

const char* obj

Definition at line 3316 of file isl_test.c.

◆ offset

const char* offset

Definition at line 1569 of file isl_test.c.

Referenced by add_inter_constraints(), add_inter_proximity_constraints(), add_inter_validity_constraints(), add_intra_constraints(), add_intra_proximity_constraints(), add_intra_validity_constraints(), at_offset(), basic_map_collect_diff(), coef_var_offset(), construct_shifted_executed(), copy_ids(), create_node(), free_args(), generate_shift_component(), int_between_bounds(), inter_dim_map(), intra_dim_map(), is_potential_div_constraint(), isl_aff_expand_divs(), isl_ast_build_detect_strides(), isl_ast_build_get_stride_expansion(), isl_basic_map_drop_core(), isl_basic_map_has_defining_equality(), isl_basic_map_range_reverse(), isl_basic_set_has_defining_inequalities(), isl_constraint_get_bound(), isl_dim_map_extend(), isl_fixed_box_alloc(), isl_fixed_box_copy(), isl_fixed_box_init(), isl_fixed_box_set_extent(), isl_fixed_box_set_valid_extent(), isl_hash_table_remove(), isl_local_space_get_active(), isl_local_space_swap_div(), isl_map_get_range_lattice_tile(), isl_parameter_alignment_reordering(), isl_qpolynomial_drop_dims(), isl_qpolynomial_involves_dims(), isl_reordering_extend(), isl_reordering_unbind_params_insert_domain(), isl_scc_graph_add_scc_seq(), isl_seq_preimage(), isl_set_split_dims(), isl_space_drop_dims(), isl_space_find_dim_by_id(), isl_space_find_dim_by_name(), isl_space_offset(), isl_stride_info_alloc(), isl_tab_from_recession_cone(), isl_term_get_exp(), isl_vec_reorder(), lower_bound(), n_non_redundant(), print_help(), print_nested_map_dim(), print_nested_tuple(), print_nested_var_list(), pw_multi_aff_from_map_check_div(), pw_multi_aff_from_map_div(), set_stride(), and test_box_hull().

◆ op

unsigned char op ( __isl_take isl_val * v )

◆

struct { ... } opt_pw_tests[]

Initial value:

= {
  { "{ [-1] -> [-1]; [1] -> [1] }", "{ [1] }" },
  { "{ [a, b] -> [floor((b - 2*floor((-a)/4))/5)] : "
      "0 <= a, b <= 100 and b mod 2 = 0}", "{ [30] }" },
  { "[N] -> { [i,j] -> A[i, -i, i + j] : 0 <= i,j <= N <= 10 }",
    "{ A[10, 0, 20] }" },
  { "[N] -> {A[N, -N, 2N] : 0 <= N }", "{ A[infty, 0, infty] }" },
}

Referenced by test_pw_max().

◆

struct { ... } opt_tests[]

Initial value:

= {
  { "{ [-1]; [1] }", "{ [x] -> [x] }", &isl_set_min_val, "-1" },
  { "{ [-1]; [1] }", "{ [x] -> [x] }", &isl_set_max_val, "1" },
  { "{ [a, b] : 0 <= a, b <= 100 and b mod 2 = 0}",
    "{ [a, b] -> [floor((b - 2*floor((-a)/4))/5)] }",
    &isl_set_max_val, "30" },
 
}

Referenced by test_min().

◆ outer_band_n

int outer_band_n

Definition at line 4848 of file isl_test.c.

Referenced by test_conditional_schedule_constraints().

◆ output_tests

const char* output_tests[]

Initial value:

= {
  "{ [1, y] : 0 <= y <= 1; [x, -x] : 0 <= x <= 1 }",
  "{ [x] : 1 = 0 }",
  "{ [x] : false }",
  "{ [x] : x mod 2 = 0 }",
  "{ [x] : x mod 2 = 1 }",
  "{ [x, y] : x mod 2 = 0 and 3*floor(y/2) < x }",
  "{ [y, x] : x mod 2 = 0 and 3*floor(y/2) < x }",
  "{ [x, y] : x mod 2 = 0 and 3*floor(y/2) = x + y }",
  "{ [y, x] : x mod 2 = 0 and 3*floor(y/2) = x + y }",
  "[n] -> { [y, x] : 2*((x + 2y) mod 3) = n }",
  "{ [x, y] : (2*floor(x/3) + 3*floor(y/4)) mod 5 = x }",
}

Definition at line 8714 of file isl_test.c.

Referenced by test_output_set().

◆ p

const char* p

Definition at line 8643 of file isl_test.c.

◆

struct { ... } parse_map_equal_tests[]

Referenced by test_parse().

◆ parse_multi_pw_aff_fail_tests

const char* parse_multi_pw_aff_fail_tests[]

static

Initial value:

= {
  "{ [a] -> [b] : b = a }",
  "{ [a] -> [b = a] : b >= 0 }",
}

Definition at line 153 of file isl_test.c.

◆ parse_union_pw_multi_aff_fail_tests

const char* parse_union_pw_multi_aff_fail_tests[]

static

Initial value:

= {
  "{ [a] -> [b] : b = a }",
  "{ [a] -> [b = a] : b >= 0 }",
}

Definition at line 205 of file isl_test.c.

◆

struct { ... } plain_gist_tests[]

Initial value:

= {
  { "{ [i] -> [j] : i >= 1 and j >= 1 or i >= 2 and j <= 10 }",
    "{ [i] -> [j] : i >= 1 }",
    "{ [i] -> [j] : j >= 1 or i >= 2 and j <= 10 }" },
  { "{ [n] -> [i,j,k] : (i mod 3 = 2 and j mod 4 = 2) or "
    "(j mod 4 = 2 and k mod 6 = n) }",
    "{ [n] -> [i,j,k] : j mod 4 = 2 }",
    "{ [n] -> [i,j,k] : (i mod 3 = 2) or (k mod 6 = n) }" },
  { "{ [i] -> [j] : i > j and (exists a,b : i <= 2a + 5b <= 2) }",
    "{ [i] -> [j] : i > j }",
    "{ [i] -> [j] : exists a,b : i <= 2a + 5b <= 2 }" },
}

Referenced by test_plain_gist().

◆ pma

const char* pma

Definition at line 3169 of file isl_test.c.

◆

struct { ... } pma_equal_tests[]

Initial value:

= {
  { 1, "[N] -> { [floor(N/2)] : 0 <= N <= 1 }",
       "[N] -> { [0] : 0 <= N <= 1 }" },
  { 1, "[N] -> { [floor(N/2)] : 0 <= N <= 2 }",
       "[N] -> { [0] : 0 <= N <= 1; [1] : N = 2 }" },
  { 0, "[N] -> { [floor(N/2)] : 0 <= N <= 2 }",
       "[N] -> { [0] : 0 <= N <= 1 }" },
  { 0, "{ [NaN] }", "{ [NaN] }" },
}

Referenced by test_equal().

◆ point

const char* point

Definition at line 10700 of file isl_test.c.

Referenced by add_adjacent_points(), extend_affine_hull(), isl_basic_map_contains_point(), isl_map_contains_point(), isl_set_contains_point(), map_is_singleton_subset(), and singleton_extract_point().

◆ poly

const char* poly

Definition at line 4018 of file isl_test.c.

◆

struct { ... } pullback_tests[]

Initial value:

= {
  { "{ B[i,j] -> C[i + 2j] }" , "{ A[a,b] -> B[b,a] }",
    "{ A[a,b] -> C[b + 2a] }" },
  { "{ B[i] -> C[2i] }", "{ A[a] -> B[(a)/2] }", "{ A[a] -> C[a] }" },
  { "{ B[i] -> C[(i)/2] }", "{ A[a] -> B[2a] }", "{ A[a] -> C[a] }" },
  { "{ B[i] -> C[(i)/2] }", "{ A[a] -> B[(a)/3] }",
    "{ A[a] -> C[(a)/6] }" },
  { "{ B[i] -> C[2i] }", "{ A[a] -> B[5a] }", "{ A[a] -> C[10a] }" },
  { "{ B[i] -> C[2i] }", "{ A[a] -> B[(a)/3] }",
    "{ A[a] -> C[(2a)/3] }" },
  { "{ B[i,j] -> C[i + j] }", "{ A[a] -> B[a,a] }", "{ A[a] -> C[2a] }"},
  { "{ B[a] -> C[a,a] }", "{ A[i,j] -> B[i + j] }",
    "{ A[i,j] -> C[i + j, i + j] }"},
  { "{ B[i] -> C[([i/2])] }", "{ B[5] }", "{ C[2] }" },
  { "[n] -> { B[i,j] -> C[([i/2]) + 2j] }",
    "[n] -> { B[n,[n/3]] }", "[n] -> { C[([n/2]) + 2*[n/3]] }", },
  { "{ [i, j] -> [floor((i)/4) + floor((2*i+j)/5)] }",
    "{ [i, j] -> [floor((i)/3), j] }",
    "{ [i, j] -> [(floor((i)/12) + floor((j + 2*floor((i)/3))/5))] }" },
}

Referenced by test_pullback().

◆

struct { ... } pw_aff_bin_op[]

Initial value:

= {
  ['m'] = { &isl_pw_aff_min },
  ['M'] = { &isl_pw_aff_max },
}

Referenced by test_bin_pw_aff().

◆

struct { ... } pw_aff_bin_tests[]

Initial value:

= {
  { "{ [i] -> [i] }", 'm', "{ [i] -> [i] }",
    "{ [i] -> [i] }" },
  { "{ [i] -> [i] }", 'M', "{ [i] -> [i] }",
    "{ [i] -> [i] }" },
  { "{ [i] -> [i] }", 'm', "{ [i] -> [0] }",
    "{ [i] -> [i] : i <= 0; [i] -> [0] : i > 0 }" },
  { "{ [i] -> [i] }", 'M', "{ [i] -> [0] }",
    "{ [i] -> [i] : i >= 0; [i] -> [0] : i < 0 }" },
  { "{ [i] -> [i] }", 'm', "{ [i] -> [NaN] }",
    "{ [i] -> [NaN] }" },
  { "{ [i] -> [NaN] }", 'm', "{ [i] -> [i] }",
    "{ [i] -> [NaN] }" },
}

Referenced by test_bin_pw_aff().

◆ pwqp

const char* pwqp

Definition at line 3786 of file isl_test.c.

◆

struct { ... } pwqp_gist_tests[]

Initial value:

= {
  { "{ [i] -> i }", "{ [k] : exists a : k = 2a }", "{ [i] -> i }" },
  { "{ [i] -> i + [ (i + [i/3])/2 ] }", "{ [10] }", "{ [i] -> 16 }" },
  { "{ [i] -> ([(i)/2]) }", "{ [k] : exists a : k = 2a+1 }",
    "{ [i] -> -1/2 + 1/2 * i }" },
  { "{ [i] -> i^2 : i != 0 }", "{ [i] : i != 0 }", "{ [i] -> i^2 }" },
  { "{ [i] -> i^2 : i > 0; [i] -> i^2 : i < 0 }", "{ [i] : i != 0 }",
    "{ [i] -> i^2 }" },
}

Referenced by test_pwqp_gist().

◆

struct { ... } recession_cone_tests[]

Initial value:

= {
  { "{ [i] : 0 <= i <= 10 }", "{ [0] }" },
  { "{ [i] : 0 <= i }", "{ [i] : 0 <= i }" },
  { "{ [i] : i <= 10 }", "{ [i] : i <= 0 }" },
  { "{ [i] : false }", "{ [i] : false }" },
}

Referenced by test_recession_cone().

◆ reparse_multi_pw_aff_tests

const char* reparse_multi_pw_aff_tests[]

static

Initial value:

= {
  "{ A[x, y] -> [] : x + y >= 0 }",
  "{ A[x, y] -> B[] : x + y >= 0 }",
  "{ A[x, y] -> [x] : x + y >= 0 }",
  "[N] -> { A[x, y] -> [x] : x + y <= N }",
  "{ A[x, y] -> [x, y] : x + y >= 0 }",
  "{ A[x, y] -> [(x : x >= 0), (y : y >= 0)] : x + y >= 0 }",
  "[N] -> { [] : N >= 0 }",
  "[N] -> { [] : N >= 0 }",
  "[N] -> { [N] : N >= 0 }",
  "[N] -> { [N, N + 1] : N >= 0 }",
  "[N, M] -> { [(N : N >= 0), (M : M >= 0)] : N + M >= 0 }",
  "{ [a] -> [b = a] }",
  "{ [a] -> [b = a] : a >= 0 }",
}

Definition at line 128 of file isl_test.c.

◆ reparse_multi_union_pw_aff_tests

const char* reparse_multi_union_pw_aff_tests[]

static

Initial value:

= {
  "[]",
  "A[]",
  "A[B[] -> C[]]",
  "(A[] : { S[x] : x > 0; T[y] : y >= 0 })",
  "(A[] : { })",
  "[N] -> (A[] : { })",
  "[N] -> (A[] : { : N >= 0 })",
  "[N] -> (A[] : { S[x] : x > N; T[y] : y >= 0 })",
  "(A[] : [N] -> { S[x] : x > N; T[y] : y >= 0 })",
  "A[{ S[x] -> [x + 1]; T[x] -> [x] }]",
  "(A[{ S[x] -> [x + 1]; T[x] -> [x] }] : "
    "{ S[x] : x > 0; T[y] : y >= 0 })",
}

Definition at line 281 of file isl_test.c.

◆ reparse_pw_multi_aff_tests

const char* reparse_pw_multi_aff_tests[]

static

Initial value:

= {
  "{ [x] -> [x] }",
  "{ [x] -> [x % 4] }",
  "{ [x] -> [x % 4] : x mod 3 = 1 }",
  "{ [x, x] -> [x % 4] }",
  "{ [x, x + 1] -> [x % 4] : x mod 3 = 1 }",
  "{ [x, x mod 2] -> [x % 4] }",
  "{ [a] -> [a//2] : exists (e0: 8*floor((-a + e0)/8) <= -8 - a + 8e0) }",
}

Definition at line 163 of file isl_test.c.

◆ res

const char* res

Definition at line 775 of file isl_test.c.

◆ scale_tile

int scale_tile

Definition at line 10694 of file isl_test.c.

◆ schedule

polly flatten Polly Flatten false polly print flatten Polly Print flattened schedule

Definition at line 10697 of file isl_test.c.

Referenced by before_for(), compute_schedule_with_context(), construct_ast_from_schedule(), construct_ast_from_union_map(), create_leaf(), isl_ast_build_ast_from_schedule(), isl_ast_build_get_schedule(), isl_ast_build_node_from_schedule(), isl_ast_build_node_from_schedule_map(), isl_printer_print_schedule(), isl_schedule_align_params(), isl_schedule_band_set_partial_schedule(), isl_schedule_cow(), isl_schedule_expand(), isl_schedule_from_schedule_tree(), isl_schedule_get_ctx(), isl_schedule_get_domain(), isl_schedule_get_root(), isl_schedule_get_space(), isl_schedule_gist_domain_params(), isl_schedule_insert_context(), isl_schedule_insert_guard(), isl_schedule_insert_partial_schedule(), isl_schedule_intersect_domain(), isl_schedule_map_schedule_node_bottom_up(), isl_schedule_node_alloc(), isl_schedule_node_from_domain(), isl_schedule_node_from_extension(), isl_schedule_peek_leaf(), isl_schedule_pullback_union_pw_multi_aff(), isl_schedule_read_from_file(), isl_schedule_reset_user(), isl_schedule_set_root(), isl_schedule_tree_band_set_partial_schedule(), isl_stream_read_union_access_info(), isl_union_access_info_set_schedule(), isl_union_map_compute_flow(), main(), read_band(), schedule_set_options(), set_options(), set_universe(), test_ast_build(), test_ast_build_generic(), test_ast_build_unroll(), test_ast_gen1(), test_ast_gen2(), test_ast_gen3(), test_ast_gen4(), test_ast_gen5(), test_coalescing_schedule(), test_conditional_schedule_constraints(), test_conflicting_context_schedule(), test_flow(), test_one_schedule(), test_schedule_tree_generic(), test_schedule_tree_group_2(), test_special_conditional_schedule_constraints(), test_special_conditional_schedule_constraints_2(), and test_strongly_satisfying_schedule().

◆ set

const char* set

Definition at line 1356 of file isl_test.c.

Referenced by add_bound(), add_bound_from_constraint(), add_bounds(), add_constraint(), add_guarded_poly(), add_implied_guards(), add_intermediate_piece(), add_key_val(), add_lineality(), add_list(), add_n(), add_node(), add_pw_multi_aff_from_domain(), add_selected_wraps(), add_selected_wraps_around_facet(), add_valid_wraps_around_facet(), add_wrap(), add_wraps(), add_wraps_around_facet(), ast_expr_from_pw_aff(), at_most_one_non_fixed(), base_compute_divs(), before_for(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), BFN(), build_ast_from_domain(), build_ast_from_extension(), check_conversion_call(), check_conversion_equal(), check_conversion_null(), coefficients_entry(), collect_bounds(), combined_lineality_space(), common_constraints(), compressed_multiplicative_call(), compute_divs(), compute_facet(), compute_size(), compute_sizes(), compute_sizes_and_max(), construct_compressed_id(), construct_constraints(), convex_hull_0d(), convex_hull_1d(), convex_hull_pair(), convex_hull_pair_pointed(), dim_is_fixed(), distance_is_bounded(), do_unroll_iteration(), eliminate_non_fixed(), equal_on_domain(), equate_params(), extend(), extend_domain(), extend_max(), extend_min(), extends(), extends_max(), extends_min(), extract_node(), extract_single_piece(), first_offset(), fix_inactive(), fixed_box_as_map(), floyd_warshall(), FN(), foreach_iteration(), foreach_lifted_subset(), foreach_orthant(), foreach_point(), gen_bin_set_op(), generate_code_in_space(), generate_code_set(), generate_component(), get_expanded_n_div(), guarded_fold(), has_single_value(), has_singular_src_or_dst(), identity_upma(), init_n_maxvar(), initial_facet_constraint(), initial_hull(), insert_if(), insert_pending_guard_nodes(), inter_coefficients(), intersect_explicit_domain(), intersect_stride_constraint(), is_bound(), is_isolate(), is_isolate_loop_type_option(), is_loop_type_option(), ISL_ARG_CHILD(), isl_ast_build_compute_gist(), isl_ast_build_detect_strides(), isl_ast_build_eliminate_divs(), isl_ast_build_eliminate_inner(), isl_ast_build_expr_from_basic_set(), isl_ast_build_expr_from_set(), isl_ast_build_expr_from_set_internal(), isl_ast_build_from_context(), isl_ast_build_get_stride_constraint(), isl_ast_build_include_stride(), isl_ast_build_init(), isl_ast_build_map_to_iterator(), isl_ast_build_product(), isl_ast_build_restrict(), isl_ast_build_restrict_generated(), isl_ast_build_restrict_internal(), isl_ast_build_set_loop_bounds(), isl_ast_build_specialize(), isl_basic_set_list_from_set(), isl_basic_set_list_union(), isl_local_space_lift_set(), isl_map_affine_hull(), isl_map_bind_domain(), isl_map_compatible_domain(), isl_map_compatible_range(), isl_map_convex_hull(), isl_map_from_domain(), isl_map_from_range(), isl_map_get_range_stride_info(), isl_map_intersect_domain(), isl_map_intersect_range(), isl_map_set_has_equal_params(), isl_map_set_tuple_is_equal(), isl_morph_set(), isl_multi_union_pw_aff_has_non_trivial_domain(), isl_printer_print_set(), isl_pw_aff_order_map(), isl_pw_multi_aff_from_domain(), isl_pw_multi_aff_from_pw_aff(), isl_pw_multi_aff_from_set(), isl_pw_qpolynomial_fold_fold(), isl_qpolynomial_aff_sign(), isl_qpolynomial_fold_fold_on_domain(), isl_qpolynomial_fold_opt_on_domain(), isl_qpolynomial_opt_on_domain(), isl_qpolynomial_sign(), isl_sched_graph_domain(), isl_schedule_node_group(), isl_set_add_basic_set(), isl_set_add_basic_set_equality(), isl_set_add_constraint(), isl_set_add_dims(), isl_set_affine_hull(), isl_set_align_divs(), isl_set_align_params(), isl_set_apply(), isl_set_apply_pw_qpolynomial_fold(), isl_set_as_pw_multi_aff(), isl_set_basic_set_check_equal_space(), isl_set_bind(), isl_set_bounded_simple_hull(), isl_set_check_is_set(), isl_set_check_range(), isl_set_coalesce(), isl_set_coalesce_preserve(), isl_set_coefficients(), isl_set_combined_lineality_space(), isl_set_complement(), isl_set_compute_divs(), isl_set_contains_point(), isl_set_convex_hull(), isl_set_copy(), isl_set_count(), isl_set_count_upto(), isl_set_count_val(), isl_set_cow(), isl_set_detect_equalities(), isl_set_dim(), isl_set_dim_has_any_lower_bound(), isl_set_dim_has_any_upper_bound(), isl_set_dim_has_lower_bound(), isl_set_dim_has_upper_bound(), isl_set_dim_is_bounded(), isl_set_dim_max(), isl_set_dim_max_val(), isl_set_dim_min(), isl_set_dim_min_val(), isl_set_dim_residue_class(), isl_set_dim_residue_class_val(), isl_set_drop(), isl_set_drop_constraints_involving_dims(), isl_set_drop_constraints_not_involving_dims(), isl_set_drop_unused_params(), isl_set_eliminate(), isl_set_eliminate_dims(), isl_set_equate(), isl_set_every_basic_set(), isl_set_find_dim_by_id(), isl_set_find_dim_by_name(), isl_set_fix(), isl_set_fix_dim_si(), isl_set_fix_si(), isl_set_fix_val(), isl_set_flatten(), isl_set_flatten_map(), isl_set_foreach_basic_set(), isl_set_foreach_orthant(), isl_set_foreach_point(), isl_set_free(), isl_set_from_params(), isl_set_get_basic_set_list(), isl_set_get_ctx(), isl_set_get_dim_id(), isl_set_get_dim_name(), isl_set_get_hash(), isl_set_get_lattice_tile(), isl_set_get_plain_multi_val_if_fixed(), isl_set_get_simple_fixed_box_hull(), isl_set_get_space(), isl_set_get_stride(), isl_set_get_stride_info(), isl_set_get_tuple_id(), isl_set_get_tuple_name(), isl_set_gist(), isl_set_gist_basic_set(), isl_set_gist_params(), isl_set_gist_params_basic_set(), isl_set_grow(), isl_set_has_dim_id(), isl_set_has_dim_name(), isl_set_has_rational(), isl_set_has_tuple_id(), isl_set_has_tuple_name(), isl_set_identity(), isl_set_indicator_function(), isl_set_insert_dims(), isl_set_insert_domain(), isl_set_intersect_factor_domain(), isl_set_intersect_factor_range(), isl_set_intersect_params(), isl_set_involves_dims(), isl_set_involves_locals(), isl_set_is_bounded(), isl_set_is_box(), isl_set_is_empty(), isl_set_is_params(), isl_set_is_rational(), isl_set_is_singleton(), isl_set_is_wrapping(), isl_set_lift(), isl_set_list_union(), isl_set_local_affine_hull(), isl_set_lower_bound(), isl_set_lower_bound_multi_pw_aff(), isl_set_lower_bound_multi_val(), isl_set_lower_bound_si(), isl_set_lower_bound_val(), isl_set_make_disjoint(), isl_set_max_multi_pw_aff(), isl_set_max_val(), isl_set_min_multi_pw_aff(), isl_set_min_val(), isl_set_move_dims(), isl_set_n_basic_set(), isl_set_n_dim(), isl_set_n_param(), isl_set_neg(), isl_set_normalize(), isl_set_opt(), isl_set_opt_aligned(), isl_set_opt_val(), isl_set_params(), isl_set_partial_lexmax(), isl_set_partial_lexmin(), isl_set_peek_space(), isl_set_plain_get_val_if_fixed(), isl_set_plain_gist_basic_set(), isl_set_plain_is_empty(), isl_set_plain_is_universe(), isl_set_plain_unshifted_simple_hull(), isl_set_polyhedral_hull(), isl_set_preimage(), isl_set_preimage_multi_aff(), isl_set_preimage_multi_pw_aff(), isl_set_preimage_pw_multi_aff(), isl_set_print_internal(), isl_set_print_omega(), isl_set_print_polylib(), isl_set_project_onto_map(), isl_set_project_out(), isl_set_project_out_all_params(), isl_set_project_out_param_id(), isl_set_project_out_param_id_list(), isl_set_read_from_file(), isl_set_realign(), isl_set_remove_divs(), isl_set_remove_divs_involving_dims(), isl_set_remove_empty_parts(), isl_set_remove_redundancies(), isl_set_remove_unknown_divs(), isl_set_reset_space(), isl_set_reset_tuple_id(), isl_set_reset_user(), isl_set_sample(), isl_set_sample_point(), isl_set_scan(), isl_set_set_dim_id(), isl_set_set_dim_name(), isl_set_set_rational(), isl_set_set_tuple_id(), isl_set_set_tuple_name(), isl_set_simple_hull(), isl_set_size(), isl_set_solutions(), isl_set_solve_lp(), isl_set_space_has_equal_params(), isl_set_split_dims(), isl_set_substitute(), isl_set_to_union_set(), isl_set_tuple_dim(), isl_set_unbind_params(), isl_set_unbind_params_insert_domain(), isl_set_universe(), isl_set_unshifted_simple_hull(), isl_set_unshifted_simple_hull_from_set_list(), isl_set_unwrap(), isl_set_upper_bound(), isl_set_upper_bound_multi_pw_aff(), isl_set_upper_bound_multi_val(), isl_set_upper_bound_si(), isl_set_upper_bound_val(), isl_set_wrap_facet(), isl_set_wrapped_domain_map(), isl_space_copy_ids_if_unset(), isl_space_set(), isl_union_map_gist_params(), isl_union_map_intersect_params(), isl_union_set_add_set(), isl_union_set_from_set(), isl_union_set_gist_params(), isl_union_set_intersect_params(), isl_union_set_is_params(), isolate(), list_cmp(), loop_types(), main(), map_from_tuple(), map_intersect_domains(), map_intersect_set(), map_simple_hull(), map_unshifted_simple_hull_from_basic_map_list(), merge(), merge_lists(), modulo_affine_hull(), modulo_lineality(), MULTI(), need_split_set(), not(), obj_read_body(), obj_read_poly(), obj_read_poly_or_fold(), only_intersects_first(), parameter_compute_divs(), piece_opt(), print_disjuncts_set(), print_set_c(), cpp_generator::class_printer::print_set_enums(), project_out_fixed(), proto_hull(), pw_aff_list_set(), pw_aff_locus(), pw_multi_aff_from_map_stride(), qpolynomial_bound_on_domain_range(), qpolynomial_fold_covers_on_domain(), read_params(), S(), set_append_equalities(), set_bound_multi_pw_aff(), set_bound_multi_val(), set_bounds(), set_check_equal(), set_detect_stride(), set_dim_opt(), set_div(), set_for_cond_from_set(), set_is_equal(), set_max_constant_term(), set_minimum(), set_parameter_preimage(), set_plug_in_parameters(), set_single(), set_to_map(), setup_groups(), SF(), sh_data_alloc(), single_is_subset(), single_valued_on_domain(), solutions_entry(), split_div(), split_periods(), test_aff(), test_affine_hull(), test_ast_build(), test_ast_gen1(), test_ast_gen2(), test_ast_gen3(), test_ast_gen4(), test_ast_gen5(), test_bin_locus_ma(), test_bind_map_domain(), test_bind_set(), test_bound_space(), test_bounded(), test_box_hull(), test_coalesce_set(), test_coalesce_union(), test_compute_divs(), test_convex_hull_algo(), test_convex_hull_case(), test_dim_max(), test_dim_max_1(), test_dim_max_2(), test_disjoint(), test_div(), test_dual(), test_equal(), test_eval_1(), test_eval_2(), test_eval_aff(), test_gist(), test_gist_fail(), test_intersect_2(), test_lexmin(), test_min(), test_min_special(), test_mupa_set(), test_padded_schedule(), test_plain_unshifted_simple_hull_special(), test_product(), test_pwqp(), test_pwqp_gist(), test_residue_class(), test_return_string(), test_simple_hull(), test_space(), test_unbind_set(), test_various_simple_hull(), test_vertices(), unbind_params_insert_domain(), union_floyd_warshall_on_list(), update_n_div(), update_values(), uset_convex_hull(), uset_convex_hull_unbounded(), uset_convex_hull_wrap(), uset_convex_hull_wrap_bounded(), uset_is_bound(), uset_simple_hull(), uset_unshifted_simple_hull_from_basic_set_list(), uset_unshifted_simple_hull_from_constraints(), and wrap_constraints().

◆ set1

const char* set1

Definition at line 4203 of file isl_test.c.

Referenced by add_split_on(), check_single_expr_min(), isl_set_flat_product(), isl_set_follows_at(), isl_set_has_equal_space(), isl_set_intersect(), isl_set_is_disjoint(), isl_set_is_equal(), isl_set_is_strict_subset(), isl_set_is_subset(), isl_set_lex_ge_set(), isl_set_lex_gt_set(), isl_set_lex_le_set(), isl_set_lex_lt_set(), isl_set_overlaps(), isl_set_plain_cmp(), isl_set_plain_is_disjoint(), isl_set_plain_is_equal(), isl_set_product(), isl_set_subtract(), isl_set_sum(), isl_set_union(), isl_set_union_disjoint(), lex_le_set(), lex_lt_set(), pw_aff_gte_set(), test_coalesce_intersection(), test_coalesce_special3(), test_convex_hull_algo(), test_dim_max(), test_drop_unused_parameters(), test_gist(), test_output_set(), test_set_conversion(), test_subset(), and test_subset_duplicate_integer_divisions().

◆ set2

const char* set2

Definition at line 4204 of file isl_test.c.

◆ set_conversion_tests

const char* set_conversion_tests[]

Initial value:

= {
  "[N] -> { [i] : N - 1 <= 2 i <= N }",
  "[N] -> { [i] : exists a : i = 4 a and N - 1 <= i <= N }",
  "[N] -> { [i,j] : exists a : i = 4 a and N - 1 <= i, 2j <= N }",
  "[N] -> { [[i]->[j]] : exists a : i = 4 a and N - 1 <= i, 2j <= N }",
  "[N] -> { [3*floor(N/2) + 5*floor(N/3)] }",
  "[a, b] -> { [c, d] : (4*floor((-a + c)/4) = -a + c and "
      "32*floor((-b + d)/32) = -b + d and 5 <= c <= 8 and "
      "-3 + c <= d <= 28 + c) }",
}

Definition at line 9243 of file isl_test.c.

Referenced by test_set_conversion().

◆ shift_point

int shift_point

Definition at line 10695 of file isl_test.c.

◆

struct { ... } simple_hull_tests[]

Initial value:

= {
  { &isl_set_plain_unshifted_simple_hull,
    "{ [i,j] : i >= 1 and j >= 1 or i >= 2 and j <= 10 }",
    "{ [i,j] : i >= 1 }" },
  { &isl_set_plain_unshifted_simple_hull,
    "{ [n,i,j,k] : (i mod 3 = 2 and j mod 4 = 2) or "
    "(j mod 4 = 2 and k mod 6 = n) }",
    "{ [n,i,j,k] : j mod 4 = 2 }" },
  { &isl_set_unshifted_simple_hull,
    "{ [0,x,y] : x <= -1; [1,x,y] : x <= y <= -x; [2,x,y] : x <= 1 }",
    "{ [t,x,y] : 0 <= t <= 2 and x <= 1 }" },
  { &isl_set_simple_hull,
    "{ [a, b] : b <= 0 and "
      "2*floor((-2*floor((b)/2))/5) >= a - floor((b)/2); "
      "[a, b] : a mod 2 = 0 }",
    "{ [a, b] }" },
}

Referenced by test_various_simple_hull().

◆ single_disjunct

int single_disjunct

Definition at line 2094 of file isl_test.c.

◆ size

const char* size

Definition at line 1570 of file isl_test.c.

Referenced by areArraysEqual(), check_non_null(), compute_max_coefficient(), polly::Scop::createScopArrayInfo(), detect_components(), export(), extract_components(), FN(), get_size_bounds(), grow_table(), import(), Kind::is_anon(), Kind::is_set(), isl_aff_floor(), isl_basic_map_constraint_cmp(), isl_basic_map_insert_dims(), isl_basic_map_move_dims(), isl_basic_map_sort_constraints(), isl_basic_set_size(), isl_calloc_or_die(), isl_fixed_box_alloc(), isl_fixed_box_copy(), isl_fixed_box_init(), isl_fixed_box_set_extent(), isl_fixed_box_set_valid_extent(), isl_hash_table_every(), isl_hash_table_find(), isl_hash_table_first(), isl_hash_table_foreach(), isl_hash_table_init(), isl_hash_table_remove(), isl_local_extend_point_vec(), isl_malloc_or_die(), isl_map_grow(), isl_poly_alloc_rec(), isl_poly_mul_rec(), isl_realloc_or_die(), isl_scc_graph_sort_components(), isl_set_size(), isl_sort(), isl_union_map_alloc(), isl_val_get_abs_num_chunks(), isl_val_int_from_chunks(), isl_val_n_abs_num_chunks(), isl_vec_alloc(), isl_vec_extend(), isl_vec_read_polylib(), isl_vec_zero(), isl_vec_zero_extend(), LIST(), MergeSort(), move_last(), mp_int_default_precision(), msort(), MULTI(), next_token(), osprintf(), parameter_compression_multi(), remove_duplicate_divs(), sizeinbase(), sort_constraint_cmp(), test_box_hull(), test_mpz_export(), and test_mpz_import().

◆ sizes

const char* sizes

Definition at line 10698 of file isl_test.c.

Referenced by isl_multi_union_pw_aff_tile(), isl_schedule_band_point(), isl_schedule_band_tile(), isl_schedule_node_band_tile(), isl_schedule_tree_band_tile(), test_tile(), and isl::schedule_node_band::tile().

◆

struct { ... } sol_tests[]

Initial value:

= {
  { "{ rat: coefficients[[cst] -> [a]] : cst >= 0 and 10a + cst >= 0 }",
    "{ rat: [i] : 0 <= i <= 10 }" },
  { "{ rat: coefficients[[cst] -> [a]] : FALSE }",
    "{ rat: [i] }" },
  { "{ rat: coefficients[[cst] -> [a]] }",
    "{ rat: [i] : FALSE }" },
}

Referenced by test_dual().

◆ str

const char* str

Definition at line 2095 of file isl_test.c.

Referenced by isl::aff::aff(), isl::aff_list::aff_list(), isl::basic_map::basic_map(), isl::basic_set::basic_set(), drop_occurrence(), drop_underscore_occurrence(), eat_key(), FN(), get_str(), getBrokenReductionsStr(), isl::id::id(), isl::id_list::id_list(), importArrays(), isl_ast_expr_to_C_str(), isl_ast_node_to_C_str(), isl_sioimath_read(), isl_stream_new_str(), isl_stream_read_id(), makeIslCompatible(), isl::map::map(), map_check_equal(), map_is_equal(), isl::map_list::map_list(), mp_int_read_cstring(), mp_int_read_string(), mp_int_to_string(), mp_rat_read_cdecimal(), mp_rat_read_cstring(), mp_rat_read_decimal(), mp_rat_read_string(), mp_rat_read_ustring(), mp_rat_to_decimal(), mp_rat_to_string(), isl::multi_aff::multi_aff(), isl::multi_id::multi_id(), isl::multi_pw_aff::multi_pw_aff(), isl::multi_union_pw_aff::multi_union_pw_aff(), isl::multi_val::multi_val(), next_key(), isl::operator<<(), parse_binary(), parse_int_values(), parse_rat_values(), parse_result_code(), template_cpp_generator::method_impl_printer::print_constructor_body(), template_cpp_generator::method_impl_printer::print_method_body(), cpp_generator::class_printer::print_method_header(), printLine(), isl::pw_aff::pw_aff(), isl::pw_aff_list::pw_aff_list(), isl::pw_multi_aff::pw_multi_aff(), isl::pw_multi_aff_list::pw_multi_aff_list(), read_band(), read_context(), read_domain(), read_expansion(), read_extension(), read_filter(), read_guard(), read_int_value(), read_long(), read_mark(), read_rat_value(), replace(), isl::schedule::schedule(), isl::schedule_constraints::schedule_constraints(), isl::set::set(), set_check_equal(), set_default_str(), set_is_equal(), isl::set_list::set_list(), set_str(), test_aff(), test_affine_hull(), test_align_parameters_1(), test_ast(), test_ast_expr(), test_ast_gen1(), test_ast_gen2(), test_ast_gen3(), test_ast_gen4(), test_ast_gen5(), test_bijective(), test_bin_locus_ma(), test_bin_union_map(), test_bind_map_domain(), test_bind_mupa(), test_bind_pma_domain(), test_bind_pma_domain_wrapped(), test_bind_set(), test_bind_umap_range(), test_bound(), test_bound_space(), test_box_hull(), test_closure(), test_coalesce(), test_coalesce_set(), test_coalesce_special(), test_coalesce_special3(), test_coalesce_unbounded_wrapping(), test_compute_divs(), test_curry(), test_deltas_map(), test_dep(), test_dim(), test_dim_max(), test_dim_max_1(), test_dim_max_2(), test_disjoint(), test_div(), test_divp2(), test_divv(), test_egcd(), test_eliminate(), test_empty_projection(), test_equal(), test_eval_1(), test_eval_2(), test_factorize(), test_fixed(), test_flow(), test_gist(), test_gist_fail(), test_injective(), test_lexmin(), test_lift(), test_ma_conversion(), test_min_special(), test_min_special2(), test_mpa_conversion(), test_multi_pw_aff_1(), test_multi_pw_aff_2(), test_multi_pw_aff_box(), test_output(), test_output_ma(), test_output_mpa(), test_output_set(), test_padded_schedule(), test_parse(), test_parse_map(), test_parse_map_equal(), test_parse_multi_val(), test_parse_pwaff(), test_parse_pwqp(), test_partial_lexmin(), test_plain_gist(), test_plain_injective(), test_plain_unshifted_simple_hull_special(), test_product(), test_product_pma(), test_pw_multi_aff(), test_pwqp(), test_pwqp_gist(), test_pwqp_max(), test_read(), test_recession_cone(), test_residue_class(), test_sample(), test_schedule_tree(), test_schedule_tree_group_1(), test_schedule_tree_group_2(), test_schedule_tree_prefix(), test_set_conversion(), test_simple_hull(), test_simplify_1(), test_simplify_2(), test_slice(), test_special_conditional_schedule_constraints(), test_special_conditional_schedule_constraints_2(), test_split_periods(), test_subset_duplicate_integer_divisions(), test_subtract_empty(), test_tile(), test_un_union_map(), test_unbind_aff(), test_unbind_multi_aff(), test_unbind_set(), test_union(), test_union_map_mupa_conversion(), test_union_pw(), test_union_set_contains(), test_upa(), test_upma_test(), test_various_simple_hull(), isl::union_map::union_map(), isl::union_pw_aff::union_pw_aff(), isl::union_pw_aff_list::union_pw_aff_list(), isl::union_pw_multi_aff::union_pw_multi_aff(), isl::union_set::union_set(), isl::union_set_list::union_set_list(), uset_check_equal(), uset_is_equal(), isl::val::val(), val_check_equal(), and isl::val_list::val_list().

◆ subset

int subset

Definition at line 4205 of file isl_test.c.

Referenced by basic_map_follows(), check_band_schedule_total_on_instances(), composability(), gist_done(), has_spurious_elements(), insert_pending_guard_nodes(), isl_map_gist(), isl_schedule_band_shift(), isl_schedule_node_filter_intersect_filter(), single_is_subset(), test_affine_hull(), test_sample(), and test_subset().

◆

struct { ... } subset_tests[]

Referenced by test_subset().

◆

struct { ... } subtract_domain_tests[]

Initial value:

= {
  { "{ A[i] -> B[i] }", "{ A[i] }", "{ }" },
  { "{ A[i] -> B[i] }", "{ B[i] }", "{ A[i] -> B[i] }" },
  { "{ A[i] -> B[i] }", "{ A[i] : i > 0 }", "{ A[i] -> B[i] : i <= 0 }" },
}

Referenced by test_subtract().

◆ subtrahend

const char* subtrahend

Definition at line 4287 of file isl_test.c.

Referenced by test_subtract().

◆ sv

int sv

Definition at line 3704 of file isl_test.c.

Referenced by generate_domain(), isl_ast_build_set_single_valued(), isl_basic_map_is_single_valued(), isl_map_is_bijective(), isl_map_is_single_valued(), isl_pw_multi_aff_from_map(), isl_union_map_is_bijective(), pw_multi_aff_from_map_base(), single_map_is_single_valued(), test_sv(), and update_values().

◆

struct { ... } sv_tests[]

Initial value:

= {
  { "[N] -> { [i] -> [f] : 0 <= i <= N and 0 <= i - 10 f <= 9 }", 1 },
  { "[N] -> { [i] -> [f] : 0 <= i <= N and 0 <= i - 10 f <= 10 }", 0 },
  { "{ [i] -> [3*floor(i/2) + 5*floor(i/3)] }", 1 },
  { "{ S1[i] -> [i] : 0 <= i <= 9; S2[i] -> [i] : 0 <= i <= 9 }", 1 },
  { "{ [i] -> S1[i] : 0 <= i <= 9; [i] -> S2[i] : 0 <= i <= 9 }", 0 },
  { "{ A[i] -> [i]; B[i] -> [i]; B[i] -> [i + 1] }", 0 },
  { "{ A[i] -> [i]; B[i] -> [i] : i < 0; B[i] -> [i + 1] : i > 0 }", 1 },
  { "{ A[i] -> [i]; B[i] -> A[i] : i < 0; B[i] -> [i + 1] : i > 0 }", 1 },
  { "{ A[i] -> [i]; B[i] -> [j] : i - 1 <= j <= i }", 0 },
}

Referenced by test_sv().

◆

struct { ... } tests[]

Referenced by main().

◆ tight

int tight

Definition at line 4016 of file isl_test.c.

Referenced by add_fold(), bernstein_coefficients_base(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), bernstein_coefficients_recursive(), isl_map_apply_pw_qpolynomial_fold(), isl_pw_qpolynomial_bound(), isl_pw_qpolynomial_fold_bound(), isl_qpolynomial_bound_on_domain_bernstein(), isl_qpolynomial_cst_bound(), isl_set_apply_pw_qpolynomial_fold(), isl_union_map_apply_union_pw_qpolynomial_fold(), isl_union_pw_qpolynomial_bound(), isl_union_set_apply_union_pw_qpolynomial_fold(), and test_bound().

◆ tile

const char* tile

Definition at line 10699 of file isl_test.c.

Referenced by isl_schedule_band_point().

◆

struct { ... } tile_tests[]

Initial value:

= {
  { 0, 0, "[n] -> { S[i,j] : 0 <= i,j < n }",
    "[{ S[i,j] -> [i] }, { S[i,j] -> [j] }]",
    "{ [32,32] }",
    "[{ S[i,j] -> [floor(i/32)] }, { S[i,j] -> [floor(j/32)] }]",
    "[{ S[i,j] -> [i] }, { S[i,j] -> [j] }]",
  },
  { 1, 0, "[n] -> { S[i,j] : 0 <= i,j < n }",
    "[{ S[i,j] -> [i] }, { S[i,j] -> [j] }]",
    "{ [32,32] }",
    "[{ S[i,j] -> [32*floor(i/32)] }, { S[i,j] -> [32*floor(j/32)] }]",
    "[{ S[i,j] -> [i] }, { S[i,j] -> [j] }]",
  },
  { 0, 1, "[n] -> { S[i,j] : 0 <= i,j < n }",
    "[{ S[i,j] -> [i] }, { S[i,j] -> [j] }]",
    "{ [32,32] }",
    "[{ S[i,j] -> [floor(i/32)] }, { S[i,j] -> [floor(j/32)] }]",
    "[{ S[i,j] -> [i%32] }, { S[i,j] -> [j%32] }]",
  },
  { 1, 1, "[n] -> { S[i,j] : 0 <= i,j < n }",
    "[{ S[i,j] -> [i] }, { S[i,j] -> [j] }]",
    "{ [32,32] }",
    "[{ S[i,j] -> [32*floor(i/32)] }, { S[i,j] -> [32*floor(j/32)] }]",
    "[{ S[i,j] -> [i%32] }, { S[i,j] -> [j%32] }]",
  },
}

Referenced by test_tile().

◆ tuple

const char* tuple

Definition at line 7008 of file isl_test.c.

Referenced by add_bind_params(), add_name(), Kind::apply(), apply(), isl::aff::bind(), isl::basic_set::bind(), isl::point::bind(), isl::pw_aff::bind(), isl::pw_multi_aff::bind(), isl::union_pw_aff::bind(), isl::multi_aff::bind(), isl::multi_pw_aff::bind(), isl::multi_union_pw_aff::bind(), isl::set::bind(), isl::aff::bind_domain(), isl::basic_map::bind_domain(), isl::map::bind_domain(), isl::multi_aff::bind_domain(), isl::multi_pw_aff::bind_domain(), isl::pw_aff::bind_domain(), isl::pw_multi_aff::bind_domain(), isl::aff::bind_domain_wrapped_domain(), isl::multi_aff::bind_domain_wrapped_domain(), isl::multi_pw_aff::bind_domain_wrapped_domain(), isl::pw_aff::bind_domain_wrapped_domain(), isl::pw_multi_aff::bind_domain_wrapped_domain(), bind_range(), isl::basic_map::bind_range(), isl::map::bind_range(), isl::union_map::bind_range(), check_fresh_params(), equate_params(), FN(), isl_map_bind_domain(), isl_map_bind_range(), isl_reordering_unbind_params_insert_domain(), isl_set_bind(), isl_set_unbind_params(), isl_space_bind_domain_wrapped_domain(), isl_space_bind_map_domain(), isl_space_bind_set(), isl_space_unbind_params_insert_domain(), isl_stream_read_multi_aff(), isl_union_map_bind_range(), map_equate_params(), map_from_tuple(), MULTI(), Kind::params(), read_conditional_multi_pw_aff(), read_map_tuple(), test_bind_map_domain(), test_bind_mupa(), test_bind_pma_domain(), test_bind_pma_domain_wrapped(), test_bind_set(), test_bind_umap_range(), test_unbind_aff(), test_unbind_multi_aff(), test_unbind_set(), tuple_has_expr(), isl::basic_set::unbind_params(), isl::point::unbind_params(), isl::set::unbind_params(), and unbind_params_insert_domain().

◆ type

enum isl_fold type

Definition at line 4017 of file isl_test.c.

◆

struct { ... } umap_bin_tests[]

Referenced by test_bin_union_map().

◆ umap_mupa_conversion_tests

const char* umap_mupa_conversion_tests[]

Initial value:

= {
  "{ [a, b, c, d] -> s0[a, b, e, f] : "
      "exists (e0 = [(a - 2c)/3], e1 = [(-4 + b - 5d)/9], "
      "e2 = [(-d + f)/9]: 3e0 = a - 2c and 9e1 = -4 + b - 5d and "
      "9e2 = -d + f and f >= 0 and f <= 8 and 9e >= -5 - 2a and "
      "9e <= -2 - 2a) }",
  "{ [a, b] -> [c] : exists (e0 = floor((-a - b + c)/5): "
      "5e0 = -a - b + c and c >= -a and c <= 4 - a) }",
  "{ [a, b] -> [c] : exists d : 18 * d = -3 - a + 2c and 1 <= c <= 3 }",
  "{ A[] -> B[0]; C[] -> B[1] }",
  "{ A[] -> B[]; C[] -> B[] }",
}

Definition at line 9369 of file isl_test.c.

Referenced by test_union_map_mupa_conversion().

◆

struct { ... } umap_un_tests[]

Initial value:

= {
  { &isl_union_map_range_reverse,
    "{ A[] -> [B[] -> C[]]; A[] -> B[]; A[0] -> N[B[1] -> B[2]] }",
    "{ A[] -> [C[] -> B[]]; A[0] -> N[B[2] -> B[1]] }" },
  { &isl_union_map_range_reverse,
    "{ A[] -> N[B[] -> C[]] }",
    "{ A[] -> [C[] -> B[]] }" },
  { &isl_union_map_range_reverse,
    "{ A[] -> N[B[x] -> B[y]] }",
    "{ A[] -> N[B[*] -> B[*]] }" },
}

Referenced by test_un_union_map().

◆

struct { ... } un_locus_tests[]

Initial value:

= {
  { &isl_multi_union_pw_aff_zero_union_set,
    "F[{ A[i,j] -> [i]; B[i,j] -> [i] }]",
    "{ A[0,j]; B[0,j] }" },
  { &isl_multi_union_pw_aff_zero_union_set,
    "F[{ A[i,j] -> [i-j]; B[i,j] -> [i-j] : i >= 0 }]",
    "{ A[i,i]; B[i,i] : i >= 0 }" },
  { &isl_multi_union_pw_aff_zero_union_set,
    "(F[] : { A[i,j]; B[i,i] : i >= 0 })",
    "{ A[i,j]; B[i,i] : i >= 0 }" },
}

Referenced by test_un_locus().

◆

struct { ... } unbind_aff_tests[]

Initial value:

= {
  { "[M, N] -> { [M + floor(N/2)] }",
    "{ A[M, N] }",
    "{ A[M, N] -> [M + floor(N/2)] }" },
  { "[M, N] -> { [M + floor(N/2)] }",
    "{ B[N, M] }",
    "{ B[N, M] -> [M + floor(N/2)] }" },
  { "[M, N] -> { [M + floor(N/2)] }",
    "{ C[N] }",
    "[M] -> { C[N] -> [M + floor(N/2)] }" },
  { "[M, N] -> { [M + floor(N/2)] }",
    "{ D[A, B, C, N, Z] }",
    "[M] -> { D[A, B, C, N, Z] -> [M + floor(N/2)] }" },
}

Referenced by test_unbind_aff().

◆

struct { ... } unbind_multi_aff_tests[]

Initial value:

= {
  { "[M, N] -> { T[M + floor(N/2)] }",
    "{ A[M, N] }",
    "{ A[M, N] -> T[M + floor(N/2)] }" },
  { "[M, N] -> { [M + floor(N/2)] }",
    "{ B[N, M] }",
    "{ B[N, M] -> [M + floor(N/2)] }" },
  { "[M, N] -> { [M + floor(N/2)] }",
    "{ C[N] }",
    "[M] -> { C[N] -> [M + floor(N/2)] }" },
  { "[M, N] -> { [M + floor(N/2)] }",
    "{ D[A, B, C, N, Z] }",
    "[M] -> { D[A, B, C, N, Z] -> [M + floor(N/2)] }" },
  { "[M, N] -> { T[M + floor(N/2), N + floor(M/3)] }",
    "{ A[M, N] }",
    "{ A[M, N] -> T[M + floor(N/2), N + floor(M/3)] }" },
}

Referenced by test_unbind_multi_aff().

◆

struct { ... } unbind_set_tests[]

Initial value:

= {
  { "[M, N] -> { : M mod 2 = 0 and N mod 8 = 3 }",
    "{ A[M, N] }",
    "{ A[M, N] : M mod 2 = 0 and N mod 8 = 3 }" },
  { "[M, N] -> { : M mod 2 = 0 and N mod 8 = 3 }",
    "{ B[N, M] }",
    "{ B[N, M] : M mod 2 = 0 and N mod 8 = 3 }" },
  { "[M, N] -> { : M mod 2 = 0 and N mod 8 = 3 }",
    "{ C[N] }",
    "[M] -> { C[N] : M mod 2 = 0 and N mod 8 = 3 }" },
  { "[M, N] -> { : M mod 2 = 0 and N mod 8 = 3 }",
    "{ D[T, N] }",
    "[M] -> { D[x, N] : M mod 2 = 0 and N mod 8 = 3 }" },
}

Referenced by test_unbind_set().

◆

struct { ... } upma_bin_fail_tests[]

Initial value:

= {
  { &isl_union_pw_multi_aff_union_add, "{ B[x] -> A[1] : x <= 0 }",
    "{ B[x] -> C[2] : x >= 0 }" },
}

Referenced by test_bin_upma_fail().

◆

struct { ... } upma_bin_tests[]

Referenced by test_bin_upma().

◆

struct { ... } upma_test_tests[]

Initial value:

= {
  { &isl_union_pw_multi_aff_involves_nan, "{ A[] -> [0]; B[0] -> [1] }",
    isl_bool_false },
  { &isl_union_pw_multi_aff_involves_nan, "{ A[] -> [NaN]; B[0] -> [1] }",
    isl_bool_true },
  { &isl_union_pw_multi_aff_involves_nan, "{ A[] -> [0]; B[0] -> [NaN] }",
    isl_bool_true },
  { &isl_union_pw_multi_aff_involves_nan,
    "{ A[] -> [0]; B[0] -> [1, NaN, 5] }",
    isl_bool_true },
  { &isl_union_pw_multi_aff_involves_locals,
    "{ A[] -> [0]; B[0] -> [1] }",
    isl_bool_false },
  { &isl_union_pw_multi_aff_involves_locals,
    "{ A[] -> [0]; B[x] -> [1] : x mod 2 = 0 }",
    isl_bool_true },
  { &isl_union_pw_multi_aff_involves_locals,
    "{ A[] -> [0]; B[x] -> [x // 2] }",
    isl_bool_true },
  { &isl_union_pw_multi_aff_involves_locals,
    "{ A[i] -> [i // 2]; B[0] -> [1] }",
    isl_bool_true },
}

Referenced by test_upma_test().

◆

struct { ... } upma_uset_tests[]

Initial value:

= {
  { &isl_union_pw_multi_aff_intersect_domain_wrapped_range,
    "{ A[i] -> B[i] }", "{ B[0] }",
    "{ }" },
  { &isl_union_pw_multi_aff_intersect_domain_wrapped_domain,
    "{ [A[i] -> B[i]] -> C[i + 1] }", "{ A[1]; B[0] }",
    "{ [A[1] -> B[1]] -> C[2] }" },
  { &isl_union_pw_multi_aff_intersect_domain_wrapped_range,
    "{ [A[i] -> B[i]] -> C[i + 1] }", "{ A[1]; B[0] }",
    "{ [A[0] -> B[0]] -> C[1] }" },
  { &isl_union_pw_multi_aff_intersect_domain_wrapped_range,
    "{ [A[i] -> B[i]] -> C[i + 1] }", "[N] -> { B[N] }",
    "[N] -> { [A[N] -> B[N]] -> C[N + 1] }" },
  { &isl_union_pw_multi_aff_intersect_domain_wrapped_range,
    "[M] -> { [A[M] -> B[M]] -> C[M + 1] }", "[N] -> { B[N] }",
    "[N, M] -> { [A[N] -> B[N]] -> C[N + 1] : N = M }" },
  { &isl_union_pw_multi_aff_intersect_domain_wrapped_range,
    "{ [A[] -> B[]] -> C[]; N[A[] -> B[]] -> D[]; [B[] -> A[]] -> E[] }",
    "{ B[] }",
    "{ [A[] -> B[]] -> C[]; N[A[] -> B[]] -> D[] }" },
}

Referenced by test_upma_uset().

◆

struct { ... } val_bin_op[]

Initial value:

= {
  ['+'] = { &isl_val_add },
  ['-'] = { &isl_val_sub },
  ['*'] = { &isl_val_mul },
  ['/'] = { &isl_val_div },
  ['g'] = { &isl_val_gcd },
  ['m'] = { &isl_val_min },
  ['M'] = { &isl_val_max },
}

Referenced by test_bin_val().

◆

struct { ... } val_bin_tests[]

Referenced by test_bin_val().

◆

struct { ... } val_un_tests[]

Referenced by test_un_val().

◆ vertices_tests

struct isl_vertices_test_data vertices_tests[]

Initial value:

= {
  { "{ A[t, i] : t = 12 and i >= 4 and i <= 12 }",
    2, { "{ A[12, 4] }", "{ A[12, 12] }" } },
  { "{ A[t, i] : t = 14 and i = 1 }",
    1, { "{ A[14, 1] }" } },
  { "[n, m] -> { [a, b, c] : b <= a and a <= n and b > 0 and c >= b and "
        "c <= m and m <= n and m > 0 }",
    6, {
    "[n, m] -> { [n, m, m] : 0 < m <= n }",
    "[n, m] -> { [n, 1, m] : 0 < m <= n }",
    "[n, m] -> { [n, 1, 1] : 0 < m <= n }",
    "[n, m] -> { [m, m, m] : 0 < m <= n }",
    "[n, m] -> { [1, 1, m] : 0 < m <= n }",
    "[n, m] -> { [1, 1, 1] : 0 < m <= n }"
      } },
  
  { "[N, M] -> { [a, b] : M >= 3 and 9 + 3M <= a <= 29 + 2N + 11M and "
          "2b >= M + a and 5 - 2N - M + a <= 2b <= 3 + a and "
          "3b >= 15 + a }",
    2, {
    "[N, M] -> { [(21), (12)] : M = 3 and N >= 0 }",
    "[N, M] -> { [(61 + 2N), (32 + N)] : M = 3 and N >= 0 }",
       }
  },
}

Referenced by test_vertices().

Classes

Macros

Functions

Variables

Macro Definition Documentation

◆ ARRAY_SIZE

◆ BASE [1/10]

◆ BASE [2/10]

◆ BASE [3/10]

◆ BASE [4/10]

◆ BASE [5/10]

◆ BASE [6/10]

◆ BASE [7/10]

◆ BASE [8/10]

◆ BASE [9/10]

◆ BASE [10/10]

◆ EL_BASE [1/5]

◆ EL_BASE [2/5]

◆ EL_BASE [3/5]

◆ EL_BASE [4/5]

◆ EL_BASE [5/5]

◆ SET_BASE [1/5]

◆ SET_BASE [2/5]

◆ SET_BASE [3/5]

◆ SET_BASE [4/5]

◆ SET_BASE [5/5]

Function Documentation

◆ add_cell()

◆ after_for()

◆ before_for()

◆ check_bool()

◆ check_injective()

◆ check_pairwise_disjoint()

◆ check_single_expr_min()

◆ check_single_piece()

◆ cocoa_fig_1_right_graph()

◆ cocoa_fig_1_right_power()

◆ cocoa_fig_1_right_tc()

◆ collect_must_may()

◆ common_space()

◆ compute_schedule()

◆ compute_schedule_with_context()

◆ count_domains()

◆ count_for()

◆ create_leaf()

◆ find_vertex()

◆ get_filename()

◆ main()

◆ map_check_equal()

◆ map_is_equal()

◆ select_first()

◆ set_check_equal()

◆ set_is_equal()

◆ test_aff()

◆ test_aff_normalize()

◆ test_aff_set_tuple_id()

◆ test_affine_hull()

◆ test_affine_hull_case()

◆ test_align_parameters()

◆ test_align_parameters_1()

◆ test_align_parameters_2()

◆ test_application()

◆ test_application_case()

◆ test_ast()

◆ test_ast_build()

◆ test_ast_expr()

◆ test_ast_gen()

◆ test_ast_gen1()

◆ test_ast_gen2()

◆ test_ast_gen3()

◆ test_ast_gen4()

◆ test_ast_gen5()

◆ test_bijective()

◆ test_bin_aff()

◆ test_bin_locus()

◆ test_bin_locus_ma()

◆ test_bin_mpa()

◆ test_bin_mupa()

◆ test_bin_pw_aff()

◆ test_bin_union_map()