|
Polly 19.0.0git
|
#include <isl_map_private.h>#include <isl_constraint_private.h>#include <isl_space_private.h>#include <isl_seq.h>#include <isl_aff_private.h>#include <isl_local_space_private.h>#include <isl_val_private.h>#include <isl_vec_private.h>#include <bset_to_bmap.c>#include <bset_from_bmap.c>#include <isl_list_templ.c>#include "check_type_range_templ.c"Go to the source code of this file.
Macros | |
| #define | EL_BASE constraint |
| #define | TYPE isl_constraint |
| #define EL_BASE constraint |
Definition at line 26 of file isl_constraint.c.
| #define TYPE isl_constraint |
Definition at line 398 of file isl_constraint.c.
|
static |
Definition at line 869 of file isl_constraint.c.
References a(), b(), isl_basic_set_alloc_inequality(), isl_basic_set_dim(), isl_basic_set_free(), isl_dim_all, isl_int_clear, isl_int_init, isl_int_neg, isl_int_sub_ui, isl_seq_combine(), t, and total().
Referenced by foreach_bound_pair(), set_largest_lower_bound(), and set_smallest_upper_bound().
|
static |
Definition at line 248 of file isl_constraint.c.
References isl_constraint_free(), isl_constraint_is_div_constraint(), isl_stat_error, isl_stat_ok, and user.
Referenced by isl_basic_map_get_constraint_list().
|
static |
Definition at line 1047 of file isl_constraint.c.
References add_larger_bound_constraint(), context, fn, isl_basic_set_constraint(), isl_basic_set_copy(), isl_basic_set_extend_constraints(), isl_basic_set_finalize(), isl_basic_set_free(), isl_basic_set_is_empty(), isl_basic_set_simplify(), isl_constraint_free(), isl_int_is_neg, isl_int_is_pos, isl_stat_error, isl_stat_ok, isl_basic_map::n_ineq, set_largest_lower_bound(), set_smallest_upper_bound(), and user.
Referenced by isl_basic_set_foreach_bound_pair().
|
static |
Definition at line 1005 of file isl_constraint.c.
References context, fn, isl_basic_set_constraint(), isl_basic_set_copy(), isl_basic_set_free(), isl_basic_set_is_empty(), isl_constraint_free(), isl_int_is_zero, isl_stat_error, isl_stat_ok, isl_basic_map::n_ineq, set_largest_lower_bound(), and user.
Referenced by isl_basic_set_foreach_bound_pair().
|
static |
Definition at line 963 of file isl_constraint.c.
References context, fn, isl_basic_set_constraint(), isl_basic_set_copy(), isl_basic_set_free(), isl_basic_set_is_empty(), isl_constraint_free(), isl_int_is_zero, isl_stat_error, isl_stat_ok, isl_basic_map::n_ineq, set_smallest_upper_bound(), and user.
Referenced by isl_basic_set_foreach_bound_pair().
| __isl_give isl_basic_map * isl_basic_map_add_constraint | ( | __isl_take isl_basic_map * | bmap, |
| __isl_take isl_constraint * | constraint | ||
| ) |
Definition at line 320 of file isl_constraint.c.
References isl_assert, isl_basic_map_free(), isl_basic_map_from_constraint(), isl_basic_map_intersect(), isl_constraint_free(), isl_constraint_get_ctx(), isl_constraint_get_space(), isl_space_free(), and isl_space_is_equal().
Referenced by isl_basic_map_order_ge(), and isl_basic_set_add_constraint().
| __isl_give isl_constraint * isl_basic_map_constraint | ( | __isl_take isl_basic_map * | bmap, |
| isl_int ** | line | ||
| ) |
Definition at line 88 of file isl_constraint.c.
References isl_vec::el, isl_basic_map_free(), isl_basic_map_get_ctx(), isl_basic_map_get_local_space(), isl_constraint_alloc_vec(), isl_dim_all, isl_local_space_dim(), isl_local_space_free(), isl_seq_cpy(), isl_vec_alloc(), and isl_vec::size.
Referenced by isl_basic_map_foreach_constraint(), isl_basic_map_has_defining_equality(), and isl_basic_set_constraint().
| isl_stat isl_basic_map_foreach_constraint | ( | __isl_keep isl_basic_map * | bmap, |
| isl_stat(*)(__isl_take isl_constraint *c, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 206 of file isl_constraint.c.
References isl_basic_map::eq, fn, isl_basic_map::ineq, isl_assert, isl_basic_map_constraint(), isl_basic_map_copy(), ISL_BASIC_MAP_FINAL, ISL_F_ISSET, isl_stat_error, isl_stat_ok, and user.
Referenced by basic_map_check_scaled(), isl_basic_map_get_constraint_list(), isl_basic_map_is_universe(), and isl_basic_set_foreach_constraint().
| __isl_give isl_basic_map * isl_basic_map_from_constraint | ( | __isl_take isl_constraint * | constraint | ) |
Definition at line 703 of file isl_constraint.c.
References isl_basic_map::eq, isl_basic_map::ineq, isl_basic_map_alloc_equality(), isl_basic_map_alloc_inequality(), isl_basic_map_dim(), isl_basic_map_extend_constraints(), isl_basic_map_free(), isl_basic_map_from_local_space(), ISL_BASIC_SET_FINAL, isl_constraint_free(), isl_constraint_is_equality(), isl_dim_all, ISL_F_SET, isl_local_space_copy(), isl_seq_cpy(), isl_constraint::ls, and total().
Referenced by construct_insertion_map(), isl_basic_map_add_constraint(), isl_basic_set_from_constraint(), and isl_map_add_constraint().
| __isl_give isl_constraint_list * isl_basic_map_get_constraint_list | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 269 of file isl_constraint.c.
References collect_constraint(), isl_basic_map_divs_known(), isl_basic_map_foreach_constraint(), isl_basic_map_get_ctx(), isl_basic_map_n_constraint(), isl_die, isl_error_invalid, and n.
Referenced by isl_basic_set_get_constraint_list().
| isl_bool isl_basic_map_has_defining_equality | ( | __isl_keep isl_basic_map * | bmap, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| __isl_give isl_constraint ** | c | ||
| ) |
Definition at line 763 of file isl_constraint.c.
References isl_basic_map::eq, isl_basic_map_check_range(), isl_basic_map_constraint(), isl_basic_map_copy(), isl_basic_map_dim(), isl_basic_map_offset(), isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_all, isl_int_is_zero, isl_seq_first_non_zero(), offset, pos(), total(), and type.
Referenced by isl_basic_set_has_defining_equality(), and normalize_stride_div().
| isl_size isl_basic_map_n_constraint | ( | __isl_keep isl_basic_map * | bmap | ) |
Definition at line 189 of file isl_constraint.c.
References isl_size_error.
Referenced by isl_basic_map_get_constraint_list(), isl_basic_map_set_to_empty(), and isl_basic_set_n_constraint().
| __isl_give isl_basic_set * isl_basic_set_add_constraint | ( | __isl_take isl_basic_set * | bset, |
| __isl_take isl_constraint * | constraint | ||
| ) |
Definition at line 345 of file isl_constraint.c.
References bset_from_bmap(), bset_to_bmap(), and isl_basic_map_add_constraint().
Referenced by foreach_iteration(), test_construction_1(), and test_div().
| __isl_give isl_constraint * isl_basic_set_constraint | ( | __isl_take isl_basic_set * | bset, |
| isl_int ** | line | ||
| ) |
Definition at line 122 of file isl_constraint.c.
References bset_to_bmap(), and isl_basic_map_constraint().
Referenced by foreach_bound_pair(), foreach_lower_bound(), foreach_upper_bound(), isl_basic_set_foreach_bound_pair(), and isl_basic_set_has_defining_inequalities().
| isl_stat isl_basic_set_foreach_bound_pair | ( | __isl_keep isl_basic_set * | bset, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| isl_stat(*)(__isl_take isl_constraint *lower, __isl_take isl_constraint *upper, __isl_take isl_basic_set *bset, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 1133 of file isl_constraint.c.
References context, fn, foreach_bound_pair(), foreach_lower_bound(), foreach_upper_bound(), isl_assert, isl_basic_set_check_range(), isl_basic_set_constraint(), isl_basic_set_copy(), isl_basic_set_cow(), isl_basic_set_drop(), isl_basic_set_drop_inequality(), isl_basic_set_free(), isl_basic_set_remove_dims(), isl_basic_set_var_offset(), isl_constraint_copy(), isl_constraint_free(), isl_dim_param, isl_dim_set, isl_int_is_neg, isl_int_is_pos, isl_int_is_zero, isl_stat_error, pos(), type, and user.
Referenced by propagate_on_domain().
| isl_stat isl_basic_set_foreach_constraint | ( | __isl_keep isl_basic_set * | bset, |
| isl_stat(*)(__isl_take isl_constraint *c, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 239 of file isl_constraint.c.
References bset_to_bmap(), fn, isl_basic_map_foreach_constraint(), and user.
Referenced by find_unroll_lower_bound(), set_detect_stride(), set_dim_extent(), and try_extract_mod().
| __isl_give isl_basic_set * isl_basic_set_from_constraint | ( | __isl_take isl_constraint * | constraint | ) |
Definition at line 744 of file isl_constraint.c.
References bset_from_bmap(), isl_basic_map_from_constraint(), isl_constraint_free(), isl_constraint_peek_space(), and isl_space_check_is_set().
Referenced by aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), intersect_constraints(), and isl_ast_build_expr_from_basic_set().
| __isl_give isl_constraint_list * isl_basic_set_get_constraint_list | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 299 of file isl_constraint.c.
References isl_basic_map_get_constraint_list().
Referenced by isl_ast_build_expr_from_basic_set(), and refine_generic().
| isl_bool isl_basic_set_has_defining_equality | ( | __isl_keep isl_basic_set * | bset, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| __isl_give isl_constraint ** | c | ||
| ) |
Definition at line 795 of file isl_constraint.c.
References bset_to_bmap(), isl_basic_map_has_defining_equality(), pos(), and type.
| isl_bool isl_basic_set_has_defining_inequalities | ( | struct isl_basic_set * | bset, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| struct isl_constraint ** | lower, | ||
| struct isl_constraint ** | upper | ||
| ) |
Definition at line 803 of file isl_constraint.c.
References isl_basic_set_check_range(), isl_basic_set_constraint(), isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_offset(), isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_all, isl_int_abs_ge, isl_int_add, isl_int_clear, isl_int_init, isl_int_is_negone, isl_int_is_one, isl_int_is_pos, isl_int_is_zero, isl_seq_first_non_zero(), isl_seq_is_neg(), m, offset, pos(), total(), and type.
| isl_size isl_basic_set_n_constraint | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 201 of file isl_constraint.c.
References isl_basic_map_n_constraint().
Referenced by multiplicative_call_base(), and test_intersect_1().
| __isl_give isl_constraint * isl_constraint_alloc | ( | int | eq, |
| __isl_take isl_local_space * | ls | ||
| ) |
Definition at line 69 of file isl_constraint.c.
References isl_constraint_alloc_vec(), isl_dim_all, isl_local_space_dim(), isl_local_space_free(), isl_local_space_get_ctx(), isl_vec_alloc(), and isl_vec_clr().
Referenced by isl_constraint_alloc_equality(), and isl_constraint_alloc_inequality().
|
static |
Definition at line 1274 of file isl_constraint.c.
References aff, isl_basic_map::eq, isl_aff_free(), isl_aff_get_domain_local_space(), isl_constraint_alloc_vec(), isl_vec_copy(), and isl_vec_drop_els().
Referenced by isl_equality_from_aff(), and isl_inequality_from_aff().
| __isl_give isl_constraint * isl_constraint_alloc_equality | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 128 of file isl_constraint.c.
References isl_constraint_alloc().
Referenced by isl::constraint::alloc_equality(), construct_insertion_map(), construct_shifted_executed(), isl_equality_alloc(), and test_div().
| __isl_give isl_constraint * isl_constraint_alloc_inequality | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 134 of file isl_constraint.c.
References isl_constraint_alloc().
Referenced by isl::constraint::alloc_inequality(), constraint_order_ge(), isl_inequality_alloc(), and test_construction_1().
| __isl_give isl_constraint * isl_constraint_alloc_vec | ( | int | eq, |
| __isl_take isl_local_space * | ls, | ||
| __isl_take isl_vec * | v | ||
| ) |
Definition at line 45 of file isl_constraint.c.
References isl_constraint::eq, isl_alloc_type, isl_local_space_free(), isl_vec_free(), isl_vec_get_ctx(), isl_constraint::ls, isl_constraint::ref, and isl_constraint::v.
Referenced by isl_basic_map_constraint(), isl_constraint_alloc(), isl_constraint_alloc_aff(), and isl_constraint_dup().
| int isl_constraint_cmp_last_non_zero | ( | __isl_keep isl_constraint * | c1, |
| __isl_keep isl_constraint * | c2 | ||
| ) |
Definition at line 1348 of file isl_constraint.c.
References c1, c2, cmp(), isl_int_abs_cmp, isl_local_space_cmp(), and isl_seq_last_non_zero().
Referenced by cmp_constraint().
| __isl_give isl_constraint * isl_constraint_copy | ( | __isl_keep isl_constraint * | constraint | ) |
Definition at line 160 of file isl_constraint.c.
References isl_constraint::ref.
Referenced by construct_insertion_map(), construct_shifted_executed(), isl::constraint::copy(), foreach_iteration(), isl_ast_build_expr_from_basic_set(), and isl_basic_set_foreach_bound_pair().
| __isl_give isl_constraint * isl_constraint_cow | ( | __isl_take isl_constraint * | c | ) |
Definition at line 149 of file isl_constraint.c.
References isl_constraint_dup(), and isl_constraint::ref.
Referenced by isl_constraint_negate(), isl_constraint_set_coefficient_si(), isl_constraint_set_coefficient_val(), isl_constraint_set_constant(), isl_constraint_set_constant_si(), and isl_constraint_set_constant_val().
| isl_size isl_constraint_dim | ( | __isl_keep isl_constraint * | constraint, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 389 of file isl_constraint.c.
References isl_size_error, n, and type.
Referenced by check_parallel_or_opposite(), constraint_check_scaled(), detect_stride(), involves_divs(), is_suitable_bound(), and isl_constraint_is_div_constraint().
| __isl_give isl_constraint * isl_constraint_dup | ( | __isl_keep isl_constraint * | c | ) |
Definition at line 140 of file isl_constraint.c.
References isl_constraint_alloc_vec(), isl_local_space_copy(), and isl_vec_copy().
Referenced by isl_constraint_cow().
| __isl_null isl_constraint * isl_constraint_free | ( | __isl_take isl_constraint * | c | ) |
Definition at line 170 of file isl_constraint.c.
References isl_local_space_free(), and isl_vec_free().
Referenced by check_parallel_or_opposite(), collect_constraint(), compute_size_in_direction(), constraint_check_scaled(), constraint_find_unroll(), construct_shifted_executed(), count_constraints(), detect_stride(), foreach_bound_pair(), foreach_lower_bound(), foreach_upper_bound(), involves_divs(), isl_ast_expr_from_constraint(), isl_basic_map_add_constraint(), isl_basic_map_from_constraint(), isl_basic_set_foreach_bound_pair(), isl_basic_set_from_constraint(), isl_constraint_negate(), isl_constraint_set_coefficient_si(), isl_constraint_set_coefficient_val(), isl_constraint_set_constant(), isl_constraint_set_constant_si(), isl_constraint_set_constant_val(), isl_qpolynomial_from_constraint(), lower_bounds(), normalize_stride_div(), propagate_on_bound_pair(), upper_bounds(), and isl::constraint::~constraint().
| __isl_give isl_aff * isl_constraint_get_aff | ( | __isl_keep isl_constraint * | constraint | ) |
Definition at line 1251 of file isl_constraint.c.
References aff, isl_aff_alloc(), isl_int_set_si, isl_local_space_copy(), and isl_seq_cpy().
Referenced by check_parallel_or_opposite(), detect_stride(), and isl_ast_expr_from_constraint().
| __isl_give isl_aff * isl_constraint_get_bound | ( | __isl_keep isl_constraint * | constraint, |
| enum isl_dim_type | type, | ||
| int | pos | ||
| ) |
Definition at line 1206 of file isl_constraint.c.
References aff, isl_basic_map::ctx, isl_aff_alloc(), isl_aff_normalize(), isl_constraint_get_ctx(), isl_constraint_peek_space(), isl_die, isl_error_invalid, isl_int_abs, isl_int_is_neg, isl_int_is_zero, isl_int_set_si, isl_local_space_copy(), isl_seq_cpy(), isl_seq_neg(), isl_space_check_is_set(), offset, pos(), and type.
Referenced by compute_size_in_direction(), isl_qpolynomial_from_constraint(), lower_bound(), update_unrolling_lower_bound(), and upper_bounds().
| void isl_constraint_get_coefficient | ( | __isl_keep isl_constraint * | constraint, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| isl_int * | v | ||
| ) |
Definition at line 492 of file isl_constraint.c.
References isl_vec::el, isl_int_set, isl_local_space_offset(), pos(), type, and isl_constraint::v.
Referenced by bound_is_integer(), and normalize_stride_div().
| __isl_give isl_val * isl_constraint_get_coefficient_val | ( | __isl_keep isl_constraint * | constraint, |
| enum isl_dim_type | type, | ||
| int | pos | ||
| ) |
Definition at line 505 of file isl_constraint.c.
References isl_constraint_get_ctx(), isl_local_space_offset(), isl_val_int_from_isl_int(), pos(), and type.
Referenced by check_parallel_or_opposite(), constraint_check_scaled(), and detect_stride().
| void isl_constraint_get_constant | ( | __isl_keep isl_constraint * | constraint, |
| isl_int * | v | ||
| ) |
Definition at line 470 of file isl_constraint.c.
References isl_vec::el, isl_int_set, and isl_constraint::v.
Referenced by normalize_stride_div().
| __isl_give isl_val * isl_constraint_get_constant_val | ( | __isl_keep isl_constraint * | constraint | ) |
Definition at line 480 of file isl_constraint.c.
References isl_constraint_get_ctx(), and isl_val_int_from_isl_int().
Referenced by aff_pos_basic_set(), check_parallel_or_opposite(), and mod_constraint_is_simpler().
| isl_ctx * isl_constraint_get_ctx | ( | __isl_keep isl_constraint * | c | ) |
Definition at line 30 of file isl_constraint.c.
References isl_local_space_get_ctx().
Referenced by isl::constraint::ctx(), detect_stride(), isl_basic_map_add_constraint(), isl_constraint_get_bound(), isl_constraint_get_coefficient_val(), isl_constraint_get_constant_val(), isl_constraint_negate(), isl_constraint_set_coefficient_val(), and isl_constraint_set_constant_val().
| const char * isl_constraint_get_dim_name | ( | __isl_keep isl_constraint * | constraint, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 463 of file isl_constraint.c.
References isl_local_space_get_dim_name(), pos(), and type.
| __isl_give isl_aff * isl_constraint_get_div | ( | __isl_keep isl_constraint * | constraint, |
| int | pos | ||
| ) |
Definition at line 518 of file isl_constraint.c.
References isl_local_space_get_div(), and pos().
| __isl_give isl_local_space * isl_constraint_get_local_space | ( | __isl_keep isl_constraint * | constraint | ) |
Definition at line 383 of file isl_constraint.c.
References isl_local_space_copy().
Referenced by isl_printer_print_constraint().
| __isl_give isl_space * isl_constraint_get_space | ( | __isl_keep isl_constraint * | constraint | ) |
Definition at line 377 of file isl_constraint.c.
References isl_local_space_get_space().
Referenced by isl_basic_map_add_constraint().
|
static |
Definition at line 402 of file isl_constraint.c.
References isl_bool_error, isl_bool_false, isl_bool_true, isl_local_space_get_active(), isl_local_space_offset(), n, and type.
| isl_bool isl_constraint_is_div_constraint | ( | __isl_keep isl_constraint * | constraint | ) |
Definition at line 649 of file isl_constraint.c.
References isl_bool_error, isl_bool_false, isl_constraint_dim(), isl_constraint_is_equality(), isl_dim_div, and isl_local_space_is_div_constraint().
Referenced by collect_constraint().
| isl_bool isl_constraint_is_div_equality | ( | __isl_keep isl_constraint * | constraint, |
| unsigned | div | ||
| ) |
Definition at line 686 of file isl_constraint.c.
References isl_constraint_is_equality(), and isl_local_space_is_div_equality().
Referenced by normalize_stride_div().
| int isl_constraint_is_equal | ( | __isl_keep isl_constraint * | constraint1, |
| __isl_keep isl_constraint * | constraint2 | ||
| ) |
Definition at line 305 of file isl_constraint.c.
References equal, isl_local_space_is_equal(), and isl_vec_is_equal().
| isl_bool isl_constraint_is_equality | ( | struct isl_constraint * | constraint | ) |
Definition at line 642 of file isl_constraint.c.
References isl_constraint::eq, isl_bool_error, and isl_bool_ok().
Referenced by isl_basic_map_from_constraint(), isl_constraint_is_div_constraint(), isl_constraint_is_div_equality(), and isl_constraint_negate().
| isl_bool isl_constraint_is_lower_bound | ( | __isl_keep isl_constraint * | constraint, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 440 of file isl_constraint.c.
References isl_bool_error, isl_bool_ok(), isl_int_is_pos, isl_local_space_offset(), pos(), and type.
Referenced by constraint_type(), count_constraints(), is_suitable_bound(), and update_unrolling_lower_bound().
| isl_bool isl_constraint_is_upper_bound | ( | __isl_keep isl_constraint * | constraint, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 453 of file isl_constraint.c.
References isl_bool_error, isl_bool_ok(), isl_int_is_neg, isl_local_space_offset(), pos(), and type.
Referenced by constraint_type(), and count_constraints().
| __isl_give isl_constraint * isl_constraint_negate | ( | __isl_take isl_constraint * | constraint | ) |
Definition at line 621 of file isl_constraint.c.
References isl_constraint_cow(), isl_constraint_free(), isl_constraint_get_ctx(), isl_constraint_is_equality(), isl_die, isl_error_invalid, isl_int_sub_ui, isl_vec_cow(), and isl_vec_neg().
|
static |
Definition at line 371 of file isl_constraint.c.
References isl_local_space_peek_space().
Referenced by isl_basic_set_from_constraint(), and isl_constraint_get_bound().
| int isl_constraint_plain_cmp | ( | __isl_keep isl_constraint * | c1, |
| __isl_keep isl_constraint * | c2 | ||
| ) |
Definition at line 1313 of file isl_constraint.c.
References c1, c2, cmp(), isl_local_space_cmp(), isl_seq_cmp(), and isl_seq_last_non_zero().
Referenced by cmp_constraint().
| __isl_give isl_constraint * isl_constraint_set_coefficient_si | ( | __isl_take isl_constraint * | constraint, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| int | v | ||
| ) |
Definition at line 603 of file isl_constraint.c.
References isl_constraint_cow(), isl_constraint_free(), isl_int_set_si, isl_local_space_offset(), isl_vec_cow(), pos(), type, and isl_constraint::v.
Referenced by constraint_order_ge(), construct_insertion_map(), construct_shifted_executed(), isl::constraint::set_coefficient_si(), test_construction_1(), and test_div().
| __isl_give isl_constraint * isl_constraint_set_coefficient_val | ( | __isl_take isl_constraint * | constraint, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| __isl_take isl_val * | v | ||
| ) |
Definition at line 580 of file isl_constraint.c.
References isl_constraint_cow(), isl_constraint_free(), isl_constraint_get_ctx(), isl_die, isl_error_invalid, isl_local_space_offset(), isl_val_free(), isl_val_is_int(), isl_vec_set_element_val(), pos(), type, and isl_constraint::v.
| __isl_give isl_constraint * isl_constraint_set_constant | ( | __isl_take isl_constraint * | constraint, |
| isl_int | v | ||
| ) |
Definition at line 527 of file isl_constraint.c.
References isl_constraint_cow(), isl_constraint_free(), isl_int_set, isl_vec_cow(), and isl_constraint::v.
| __isl_give isl_constraint * isl_constraint_set_constant_si | ( | __isl_take isl_constraint * | constraint, |
| int | v | ||
| ) |
Definition at line 562 of file isl_constraint.c.
References isl_constraint_cow(), isl_constraint_free(), isl_int_set_si, isl_vec_cow(), and isl_constraint::v.
Referenced by construct_insertion_map(), isl::constraint::set_constant_si(), test_construction_1(), and test_div().
| __isl_give isl_constraint * isl_constraint_set_constant_val | ( | __isl_take isl_constraint * | constraint, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 544 of file isl_constraint.c.
References isl_constraint_cow(), isl_constraint_free(), isl_constraint_get_ctx(), isl_die, isl_error_invalid, isl_val_free(), isl_val_is_int(), isl_vec_set_element_val(), and isl_constraint::v.
Referenced by aff_pos_basic_set(), construct_shifted_executed(), and isl::constraint::set_constant_val().
| __isl_give isl_constraint * isl_equality_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1292 of file isl_constraint.c.
References aff, and isl_constraint_alloc_aff().
Referenced by aff_zero_basic_set(), and at_offset().
| __isl_give isl_constraint * isl_inequality_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1300 of file isl_constraint.c.
References aff, and isl_constraint_alloc_aff().
Referenced by aff_nonneg_basic_set(), and aff_pos_basic_set().
| __isl_give isl_map * isl_map_add_constraint | ( | __isl_take isl_map * | map, |
| __isl_take isl_constraint * | constraint | ||
| ) |
Definition at line 352 of file isl_constraint.c.
References isl_basic_map_from_constraint(), isl_map_from_basic_map(), isl_map_intersect(), and map.
Referenced by isl::map::add_constraint(), construct_shifted_executed(), isl_map_order_ge(), and isl_set_add_constraint().
| __isl_give isl_set * isl_set_add_constraint | ( | __isl_take isl_set * | set, |
| __isl_take isl_constraint * | constraint | ||
| ) |
Definition at line 363 of file isl_constraint.c.
References isl_map_add_constraint(), and set.
Referenced by isl::set::add_constraint(), foreach_iteration(), and get_expanded_n_div().
|
static |
Definition at line 35 of file isl_constraint.c.
References isl_local_space_dim(), and type.
|
static |
Definition at line 40 of file isl_constraint.c.
References isl_local_space_offset(), and type.
|
static |
Definition at line 937 of file isl_constraint.c.
References add_larger_bound_constraint(), context, isl_basic_set_copy(), isl_basic_set_cow(), isl_basic_set_extend_constraints(), isl_basic_set_finalize(), isl_basic_set_simplify(), and isl_int_is_pos.
Referenced by foreach_bound_pair(), and foreach_lower_bound().
|
static |
Definition at line 907 of file isl_constraint.c.
References add_larger_bound_constraint(), context, isl_basic_set_copy(), isl_basic_set_cow(), isl_basic_set_extend_constraints(), isl_basic_set_finalize(), isl_basic_set_simplify(), and isl_int_is_neg.
Referenced by foreach_bound_pair(), and foreach_upper_bound().
1.9.6