|
Polly 19.0.0git
|
Go to the source code of this file.
Classes | |
| struct | isl_local_space |
| __isl_give isl_local_space * isl_local_space_add_div | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_vec * | div | ||
| ) |
Definition at line 648 of file isl_local_space.c.
References isl_die, isl_error_invalid, isl_int_set_si, isl_local_space_cow(), isl_local_space_free(), isl_local_space_get_ctx(), isl_mat_add_rows(), isl_mat_add_zero_cols(), isl_seq_cpy(), and isl_vec_free().
Referenced by isl_aff_floor().
| __isl_give isl_local_space * isl_local_space_alloc | ( | __isl_take isl_space * | space, |
| unsigned | n_div | ||
| ) |
Definition at line 74 of file isl_local_space.c.
References isl_dim_all, isl_local_space_alloc_div(), isl_local_space_from_space(), isl_mat_alloc(), isl_space_dim(), isl_space_free(), isl_space_get_ctx(), and total().
Referenced by isl_local_space_from_space(), and isl_local_space_preimage_multi_aff().
| __isl_give isl_local_space * isl_local_space_alloc_div | ( | __isl_take isl_space * | space, |
| __isl_take isl_mat * | div | ||
| ) |
Definition at line 48 of file isl_local_space.c.
References isl_local_space::dim, isl_local_space::div, isl_calloc_type, isl_local_space_free(), isl_mat_free(), isl_space_free(), isl_space_get_ctx(), and isl_local_space::ref.
Referenced by isl_basic_map_get_local_space(), isl_local_space_alloc(), isl_local_space_dup(), isl_qpolynomial_get_domain_local_space(), isl_term_get_div(), and print_basic_set_c().
| isl_stat isl_local_space_check_range | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Referenced by isl_aff_add_coefficient(), isl_aff_add_coefficient_val(), isl_aff_coefficient_sgn(), isl_aff_drop_dims(), isl_aff_get_coefficient_val(), isl_aff_insert_dims(), isl_aff_move_dims(), isl_aff_set_coefficient(), isl_aff_set_coefficient_si(), isl_aff_set_coefficient_val(), isl_aff_var_on_domain(), isl_local_space_drop_dims(), isl_local_space_insert_dims(), and isl_local_space_move_dims().
| int isl_local_space_cmp | ( | __isl_keep isl_local_space * | ls1, |
| __isl_keep isl_local_space * | ls2 | ||
| ) |
Definition at line 209 of file isl_local_space.c.
References cmp(), isl_local_cmp(), and isl_space_cmp().
Referenced by isl_aff_plain_cmp(), isl_constraint_cmp_last_non_zero(), and isl_constraint_plain_cmp().
| isl_bool isl_local_space_div_is_known | ( | __isl_keep isl_local_space * | ls, |
| int | div | ||
| ) |
Definition at line 954 of file isl_local_space.c.
References isl_bool_error, and isl_local_div_is_known().
Referenced by harmonize_divs_with_hulls(), and isl_local_space_get_div().
| isl_bool isl_local_space_div_is_marked_unknown | ( | __isl_keep isl_local_space * | ls, |
| int | div | ||
| ) |
Definition at line 944 of file isl_local_space.c.
References isl_bool_error, and isl_local_div_is_marked_unknown().
Referenced by drop_unknown_divs_and_extract_div(), and is_linear_div_constraint().
| isl_bool isl_local_space_divs_known | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 963 of file isl_local_space.c.
References isl_bool_error, and isl_local_divs_known().
Referenced by isl_aff_alloc_vec(), isl_local_space_get_div(), and isl_local_space_is_equal().
| int * isl_local_space_get_active | ( | __isl_keep isl_local_space * | ls, |
| isl_int * | l | ||
| ) |
Definition at line 1461 of file isl_local_space.c.
References isl_calloc_array, isl_dim_all, isl_dim_div, isl_int_is_zero, isl_local_space_dim(), isl_local_space_get_ctx(), isl_local_space_offset(), offset, and total().
Referenced by isl_aff_involves_dims(), and isl_constraint_involves_dims().
| uint32_t isl_local_space_get_hash | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 32 of file isl_local_space.c.
References isl_hash_hash, isl_hash_init, isl_local_space_peek_space(), isl_mat_get_hash(), and isl_space_get_full_hash().
Referenced by isl_aff_get_hash().
| isl_bool isl_local_space_has_equal_space | ( | __isl_keep isl_local_space * | ls1, |
| __isl_keep isl_local_space * | ls2 | ||
| ) |
Referenced by isl_aff_align_divs(), and isl_local_space_is_equal().
| isl_bool isl_local_space_has_space | ( | __isl_keep isl_local_space * | ls, |
| __isl_keep isl_space * | space | ||
| ) |
Referenced by isl_local_space_check_has_space().
| isl_bool isl_local_space_is_div_constraint | ( | __isl_keep isl_local_space * | ls, |
| isl_int * | constraint, | ||
| unsigned | div | ||
| ) |
Definition at line 1400 of file isl_local_space.c.
References is_linear_div_constraint(), isl_bool_false, isl_bool_true, isl_int_add, isl_int_add_ui, isl_int_eq, isl_int_sub, isl_int_sub_ui, isl_seq_is_neg(), and neg().
Referenced by isl_constraint_is_div_constraint(), and print_constraint_c().
| isl_bool isl_local_space_is_div_equality | ( | __isl_keep isl_local_space * | ls, |
| isl_int * | constraint, | ||
| unsigned | div | ||
| ) |
Definition at line 1444 of file isl_local_space.c.
References is_linear_div_constraint(), and isl_bool_ok().
Referenced by isl_constraint_is_div_equality().
| isl_bool isl_local_space_is_named_or_nested | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 1273 of file isl_local_space.c.
References isl_bool_error, isl_space_is_named_or_nested(), and type.
Referenced by isl_aff_drop_dims(), isl_aff_insert_dims(), isl_aff_move_dims(), isl_local_space_drop_dims(), isl_local_space_insert_dims(), and isl_local_space_move_dims().
| __isl_give isl_local_space * isl_local_space_lift | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1496 of file isl_local_space.c.
References isl_local_space_cow(), isl_local_space_free(), isl_mat_drop_rows(), and isl_space_lift().
Referenced by isl_aff_lift().
| __isl_give isl_basic_set * isl_local_space_lift_basic_set | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_basic_set * | bset | ||
| ) |
Definition at line 1037 of file isl_local_space.c.
References isl_basic_set_add_dims(), isl_basic_set_flatten(), isl_basic_set_free(), isl_basic_set_from_local_space(), isl_basic_set_intersect(), isl_basic_set_lift(), isl_basic_set_peek_space(), isl_dim_div, isl_dim_set, isl_local_space_check_has_space(), isl_local_space_dim(), and isl_local_space_free().
Referenced by isl_qpolynomial_as_polynomial_on_domain().
| __isl_give isl_point * isl_local_space_lift_point | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_point * | pnt | ||
| ) |
Definition at line 1756 of file isl_local_space.c.
References isl_dim_div, isl_local_extend_point_vec(), isl_local_space_check_has_space(), isl_local_space_dim(), isl_local_space_free(), isl_local_space_peek_local(), isl_point_free(), isl_point_peek_space(), isl_point_restore_space(), isl_point_restore_vec(), isl_point_take_space(), isl_point_take_vec(), and isl_space_lift().
Referenced by isl_aff_eval().
| __isl_give isl_set * isl_local_space_lift_set | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_set * | set | ||
| ) |
Definition at line 1072 of file isl_local_space.c.
References isl_basic_set_flatten(), isl_basic_set_from_local_space(), isl_basic_set_lift(), isl_dim_div, isl_dim_set, isl_local_space_check_has_space(), isl_local_space_dim(), isl_local_space_free(), isl_set_add_dims(), isl_set_free(), isl_set_from_basic_set(), isl_set_intersect(), isl_set_peek_space(), and set.
Referenced by isl_aff_gist(), and isl_qpolynomial_gist().
| __isl_give isl_local_space * isl_local_space_move_dims | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
Definition at line 1631 of file isl_local_space.c.
References isl_die, isl_dim_div, isl_error_invalid, isl_error_unsupported, isl_local_move_vars(), isl_local_space_check_range(), isl_local_space_free(), isl_local_space_get_ctx(), isl_local_space_is_named_or_nested(), isl_local_space_restore_local(), isl_local_space_restore_space(), isl_local_space_take_local(), isl_local_space_take_space(), isl_local_space_var_offset(), isl_space_move_dims(), and n.
Referenced by isl_aff_move_dims().
| unsigned isl_local_space_offset | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 274 of file isl_local_space.c.
References isl_dim_cst, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_local_space_var_offset(), and type.
Referenced by is_linear_div_constraint(), isl_aff_add_coefficient(), isl_aff_add_coefficient_val(), isl_aff_coefficient_sgn(), isl_aff_domain_offset(), isl_aff_drop_dims(), isl_aff_get_coefficient_val(), isl_aff_insert_dims(), isl_aff_involves_dims(), isl_aff_set_coefficient(), isl_aff_set_coefficient_si(), isl_aff_set_coefficient_val(), isl_aff_substitute(), isl_aff_var_on_domain(), isl_constraint_get_coefficient(), isl_constraint_get_coefficient_val(), isl_constraint_involves_dims(), isl_constraint_is_lower_bound(), isl_constraint_is_upper_bound(), isl_constraint_set_coefficient_si(), isl_constraint_set_coefficient_val(), isl_local_space_drop_dims(), isl_local_space_get_active(), isl_local_space_insert_dims(), isl_local_space_substitute_seq(), offset(), and print_constraint_c().
| __isl_keep isl_space * isl_local_space_peek_space | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 418 of file isl_local_space.c.
Referenced by isl_aff_peek_domain_space(), isl_constraint_peek_space(), isl_local_space_get_hash(), isl_local_space_get_space(), and isl_local_space_var_offset().
| __isl_give isl_local_space * isl_local_space_preimage_multi_aff | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 1556 of file isl_local_space.c.
References c1, c2, f, isl_aff_dim(), isl_die, isl_dim_div, isl_error_invalid, isl_int_clear, isl_int_init, isl_int_is_zero, isl_int_set_si, isl_local_space_alloc(), isl_local_space_dim(), isl_local_space_free(), isl_local_space_get_ctx(), isl_mat_add_rows(), isl_mat_add_zero_cols(), isl_mat_copy(), isl_mat_free(), isl_multi_aff_align_divs(), isl_seq_preimage(), isl_space_domain(), isl_space_is_range_internal(), ma, normalize_div(), and res.
Referenced by isl_aff_pullback_multi_aff().
| __isl_give isl_local_space * isl_local_space_realign | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_reordering * | r | ||
| ) |
Definition at line 633 of file isl_local_space.c.
References isl_local_reorder(), isl_local_space_reset_space(), isl_local_space_restore_local(), isl_local_space_take_local(), isl_reordering_copy(), isl_reordering_free(), and isl_reordering_get_space().
Referenced by isl_aff_realign_domain().
| __isl_give isl_local_space * isl_local_space_replace_divs | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_mat * | div | ||
| ) |
Definition at line 675 of file isl_local_space.c.
References isl_local_space_cow(), isl_local_space_free(), and isl_mat_free().
Referenced by isl_aff_expand_divs().
| __isl_give isl_local_space * isl_local_space_reset_space | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_space * | space | ||
| ) |
Definition at line 612 of file isl_local_space.c.
References isl_local_space_cow(), isl_local_space_free(), and isl_space_free().
Referenced by isl_aff_reset_domain_space(), and isl_local_space_realign().
| __isl_give isl_local_space * isl_local_space_substitute | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_keep isl_aff * | subs | ||
| ) |
Definition at line 1248 of file isl_local_space.c.
References isl_die, isl_dim_div, isl_error_invalid, isl_error_unsupported, isl_local_space_cow(), isl_local_space_dim(), isl_local_space_free(), isl_local_space_get_ctx(), isl_local_space_substitute_seq(), isl_space_is_equal(), pos(), and type.
Referenced by isl_aff_substitute().
| __isl_give isl_local_space * isl_local_space_substitute_equalities | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_basic_set * | eq | ||
| ) |
Definition at line 1130 of file isl_local_space.c.
References isl_basic_set_free(), isl_die, isl_dim_all, isl_error_invalid, isl_int_is_zero, isl_local_space_cow(), isl_local_space_dim(), isl_local_space_free(), isl_local_space_get_ctx(), isl_mat_cow(), isl_seq_elim(), isl_seq_last_non_zero(), isl_space_dim(), normalize_div(), and total().
Referenced by isl_aff_substitute_equalities_lifted().
| __isl_give isl_local_space * isl_local_space_substitute_seq | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| isl_int * | subs, | ||
| int | subs_len, | ||
| int | first, | ||
| int | n | ||
| ) |
Definition at line 1195 of file isl_local_space.c.
References isl_die, isl_error_invalid, isl_int_clear, isl_int_init, isl_int_is_zero, isl_local_space_cow(), isl_local_space_free(), isl_local_space_get_ctx(), isl_local_space_offset(), isl_mat_cow(), isl_seq_substitute(), n, normalize_div(), pos(), and type.
Referenced by isl_local_space_substitute(), plug_in_integral_divs(), and plug_in_unit_divs().
| __isl_give isl_local_space * isl_local_space_swap_div | ( | __isl_take isl_local_space * | ls, |
| int | a, | ||
| int | b | ||
| ) |
Definition at line 855 of file isl_local_space.c.
References a(), b(), isl_die, isl_error_invalid, isl_local_space_cow(), isl_local_space_free(), isl_local_space_get_ctx(), isl_mat_swap_cols(), isl_mat_swap_rows(), and offset.
Referenced by swap_div().
| isl_size isl_local_space_var_offset | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 251 of file isl_local_space.c.
References isl_die, isl_dim_all, isl_dim_cst, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_error_invalid, isl_local_space_get_ctx(), isl_local_space_peek_space(), isl_size_error, isl_space_dim(), isl_space_offset(), and type.
Referenced by isl_local_space_move_dims(), and isl_local_space_offset().
| int isl_mat_cmp_div | ( | __isl_keep isl_mat * | div, |
| int | i, | ||
| int | j | ||
| ) |
Definition at line 743 of file isl_local_space.c.
References cmp_row().
Referenced by isl_merge_divs(), and sort_divs().
| __isl_give isl_mat * isl_merge_divs | ( | __isl_keep isl_mat * | div1, |
| __isl_keep isl_mat * | div2, | ||
| int * | exp1, | ||
| int * | exp2 | ||
| ) |
Definition at line 805 of file isl_local_space.c.
References cmp(), expand_row(), isl_mat_alloc(), isl_mat_cmp_div(), and isl_seq_cpy().
Referenced by coalesce_after_aligning_divs(), isl_aff_add(), isl_aff_align_divs(), isl_basic_set_opt(), isl_basic_set_opt_lp_val_aligned(), isl_local_space_intersect(), and with_merged_divs().
1.9.6