|
Polly 20.0.0git
|
Go to the source code of this file.
Functions | |
| void | isl_seq_clr (isl_int *p, unsigned len) |
| void | isl_seq_set (isl_int *p, isl_int v, unsigned len) |
| void | isl_seq_set_si (isl_int *p, int v, unsigned len) |
| void | isl_seq_neg (isl_int *dst, isl_int *src, unsigned len) |
| void | isl_seq_cpy (isl_int *dst, isl_int *src, unsigned len) |
| void | isl_seq_addmul (isl_int *dst, isl_int f, isl_int *src, unsigned len) |
| void | isl_seq_submul (isl_int *dst, isl_int f, isl_int *src, unsigned len) |
| void | isl_seq_swp_or_cpy (isl_int *dst, isl_int *src, unsigned len) |
| void | isl_seq_scale (isl_int *dst, isl_int *src, isl_int f, unsigned len) |
| void | isl_seq_scale_down (isl_int *dst, isl_int *src, isl_int f, unsigned len) |
| void | isl_seq_cdiv_q (isl_int *dst, isl_int *src, isl_int m, unsigned len) |
| void | isl_seq_fdiv_q (isl_int *dst, isl_int *src, isl_int m, unsigned len) |
| void | isl_seq_fdiv_r (isl_int *dst, isl_int *src, isl_int m, unsigned len) |
| void | isl_seq_combine (isl_int *dst, isl_int m1, isl_int *src1, isl_int m2, isl_int *src2, unsigned len) |
| void | isl_seq_elim (isl_int *dst, isl_int *src, unsigned pos, unsigned len, isl_int *m) |
| void | isl_seq_abs_max (isl_int *p, unsigned len, isl_int *max) |
| void | isl_seq_gcd (isl_int *p, unsigned len, isl_int *gcd) |
| void | isl_seq_lcm (isl_int *p, unsigned len, isl_int *lcm) |
| void | isl_seq_normalize (struct isl_ctx *ctx, isl_int *p, unsigned len) |
| void | isl_seq_inner_product (isl_int *p1, isl_int *p2, unsigned len, isl_int *prod) |
| int | isl_seq_first_non_zero (isl_int *p, unsigned len) |
| int | isl_seq_last_non_zero (isl_int *p, unsigned len) |
| int | isl_seq_abs_min_non_zero (isl_int *p, unsigned len) |
| int | isl_seq_eq (isl_int *p1, isl_int *p2, unsigned len) |
| int | isl_seq_cmp (isl_int *p1, isl_int *p2, unsigned len) |
| int | isl_seq_is_neg (isl_int *p1, isl_int *p2, unsigned len) |
| void | isl_seq_substitute (isl_int *p, int pos, isl_int *subs, int p_len, int subs_len, isl_int v) |
| uint32_t | isl_seq_get_hash (isl_int *p, unsigned len) |
| uint32_t | isl_seq_get_hash_bits (isl_int *p, unsigned len, unsigned bits) |
Definition at line 216 of file isl_seq.c.
References isl_int_abs, isl_int_abs_gt, isl_int_set_si, and p.
Referenced by wraps_update_max().
| int isl_seq_abs_min_non_zero | ( | isl_int * | p, |
| unsigned | len | ||
| ) |
Definition at line 227 of file isl_seq.c.
References isl_int_abs_lt, isl_int_is_zero, isl_seq_first_non_zero(), and p.
Referenced by isl_mat_left_hermite(), isl_mat_right_inverse(), and isl_seq_gcd().
Definition at line 56 of file isl_seq.c.
References f, and isl_int_addmul.
Referenced by add_expanded(), and node_transformation().
Definition at line 84 of file isl_seq.c.
References isl_int_cdiv_q, and m.
Referenced by isl_vec_ceil().
| void isl_seq_clr | ( | isl_int * | p, |
| unsigned | len | ||
| ) |
Definition at line 14 of file isl_seq.c.
References isl_int_set_si, and p.
Referenced by add_bound_constant_constraints(), add_delta_constraints(), add_divs(), add_ma_strides(), add_param_sum_constraint(), add_strides(), add_sub_equalities(), add_sum_constraint(), add_var_sum_constraint(), add_zero_row(), basic_map_bound(), basic_map_bound_si(), basic_map_read_polylib(), basic_set_append_equalities(), basic_set_maximal_difference_at(), box_closure_on_domain(), clear_entry(), compute_facet(), constraint_drop_vars(), convex_hull_pair_elim(), cut_lp_to_hyperplane(), cut_to_hyperplane(), detect_constant_with_tmp(), eliminate_var_using_equality(), equate_parameter_to_length(), equator(), expand_constraint(), expand_row(), farkas(), fix_constant_divs(), greator(), homogeneous_map(), increment(), initial_facet_constraint(), insert_div_rows(), insert_divs_from_local_space(), insert_parameter_rows(), isl_aff_val_on_domain(), isl_aff_var_on_domain(), isl_aff_zero_on_domain(), isl_basic_map_align_divs(), isl_basic_map_alloc_div(), isl_basic_map_alloc_equality(), isl_basic_map_alloc_inequality(), isl_basic_map_deltas(), isl_basic_map_deltas_map(), isl_basic_map_eliminate_vars(), isl_basic_map_fix_pos(), isl_basic_map_fix_pos_si(), isl_basic_map_floordiv(), isl_basic_map_nat_universe(), isl_basic_map_overlying_set(), isl_basic_map_set_to_empty(), isl_basic_map_sum(), isl_basic_set_box_from_points(), isl_basic_set_from_vec(), isl_basic_set_positive_orthant(), isl_basic_set_vars_get_sign(), isl_local_reorder(), isl_map_oppose(), isl_map_solve_lp(), isl_mat_aff_direct_sum(), isl_mat_diag(), isl_mat_diagonal(), isl_mat_final_variable_compression(), isl_mat_insert_zero_cols(), isl_mat_insert_zero_rows(), isl_mat_lin_to_aff(), isl_mat_product(), isl_mat_zero(), isl_point_zero(), isl_qpolynomial_extract_affine(), isl_qpolynomial_lift(), isl_qpolynomial_sign(), isl_seq_preimage(), isl_set_wrap_facet(), isl_tab_add_row(), isl_vec_clr(), isl_vec_insert_zero_els(), isl_vec_reorder(), isl_vec_zero(), isl_vec_zero_extend(), neg_halfspace(), node_add_coefficient_constraints(), node_transformation(), nonneg_halfspace(), normalize_divs(), opt_at(), parametric_constant_never_positive(), particular_solution(), path_along_delta(), path_along_steps(), plug_in(), preimage(), propagate_equalities(), remove_duplicate_divs(), set_ma_divs(), set_path_length(), setup_carry_lp(), SF(), sol_add(), tab_add_divs(), tab_detect_nonnegative_parameters(), tab_for_shifted_cone(), tab_mat_product(), valid_direction(), valid_direction_lp(), var_equal(), var_less(), var_less_or_equal(), var_more(), var_more_or_equal(), wrap_constraints(), and zero_sample().
Definition at line 171 of file isl_seq.c.
References cmp(), and isl_int_cmp.
Referenced by cmp_ineq(), cmp_row(), isl_aff_plain_cmp(), isl_basic_map_plain_cmp(), isl_constraint_plain_cmp(), isl_local_cmp(), and sort_constraint_cmp().
| void isl_seq_combine | ( | isl_int * | dst, |
| isl_int | m1, | ||
| isl_int * | src1, | ||
| isl_int | m2, | ||
| isl_int * | src2, | ||
| unsigned | len | ||
| ) |
Definition at line 105 of file isl_seq.c.
References isl_int_addmul, isl_int_clear, isl_int_init, isl_int_is_one, isl_int_is_zero, isl_int_mul, and isl_int_set.
Referenced by add_larger_bound_constraint(), add_parametric_cut(), coalesce_divs(), construct_column(), eliminate_unit_div(), int_between_bounds(), inv_subtract(), isl_mat_inverse_product(), isl_seq_elim(), isl_seq_preimage(), isl_seq_substitute(), isl_set_wrap_facet(), isl_tab_add_row(), isl_tab_compute_reduced_basis(), isl_vec_add(), make_divs_pos(), outside_point(), print_eq_mod_constraint(), select_minimum(), set_row_cst_to_div(), substitute_non_divs(), transform_column(), and valid_direction().
Definition at line 42 of file isl_seq.c.
References isl_int_set.
Referenced by add_bound(), add_bound_from_constraint(), add_bounds(), add_delta_constraints(), add_lp_row(), add_ma_strides(), add_strides(), add_sub_equalities(), add_upper_div_constraint(), add_valid_constraints(), add_wrap(), basic_map_from_equalities(), basic_set_append_equalities(), box_closure_on_domain(), can_wrap_in_facet(), check_eq_adj_eq(), common_constraints(), compute_facet(), constraint_drop_vars(), convex_hull_1d(), convex_hull_pair_elim(), convex_hull_pair_pointed(), copy_equalities(), cut_lp_to_hyperplane(), dup_constraints(), expand_constraint(), expand_row(), extend(), extract_aff_from_equality(), extract_div(), factor_sample(), fix_zero(), fuse(), induced_lineality_space(), ineq_for_div(), initial_hull(), insert_divs_from_local_space(), is_independent(), isl_basic_map_add_eq(), isl_basic_map_add_ineq(), isl_basic_map_align_divs(), isl_basic_map_constraint(), isl_basic_map_detect_equalities(), isl_basic_map_drop_redundant_divs(), isl_basic_map_eliminate_vars(), isl_basic_map_expand_divs(), isl_basic_map_from_aff2(), isl_basic_map_from_constraint(), isl_basic_map_from_local_space(), isl_basic_map_from_qpolynomial(), isl_basic_map_get_divs(), isl_basic_map_insert_div(), isl_basic_map_overlying_set(), isl_basic_map_reduce_coefficients(), isl_basic_set_interior_point(), isl_basic_set_lineality_space(), isl_constraint_get_aff(), isl_constraint_get_bound(), isl_local_reorder(), isl_local_space_add_div(), isl_map_solve_lp(), isl_mat_diagonal(), isl_mat_drop_cols(), isl_mat_dup(), isl_mat_extend(), isl_mat_from_row_vec(), isl_mat_get_row(), isl_mat_lin_to_aff(), isl_mat_parameter_compression(), isl_mat_sub_copy(), isl_mat_unimodular_complete(), isl_merge_divs(), isl_multi_aff_from_aff_mat(), isl_seq_preimage(), isl_set_wrap_facet(), isl_tab_add_sample(), isl_tab_detect_equalities(), isl_term_get_div(), isl_vec_concat(), isl_vec_drop_els(), isl_vec_dup(), isl_vec_insert_els(), isl_vec_lin_to_aff(), isl_vec_move_els(), isl_vec_reorder(), node_add_coefficient_constraints(), node_transformation(), normalize_divs(), parameter_compression_1(), parameter_compression_multi(), parametric_constant_never_positive(), pos_neg(), preimage(), print_constraints(), propagate_equalities(), pw_multi_aff_from_map_div(), pw_multi_aff_from_map_stride(), reduced_using_equalities(), scan_samples_add_sample(), set_div_slice(), set_factor(), set_from_affine_matrix(), set_ma_divs(), set_minimum(), set_minimum_pa(), SF(), shift_cone(), solve_ilp_with_eq(), solve_lp(), swap_vars(), tab_add_divs(), tab_equalities(), tab_for_shifted_cone(), tab_mat_product(), tab_shift_cone(), tighten_on_relaxed_facet(), try_wrap_in_facets(), unit_box_base_points(), vec_concat(), vertex_on_facet(), and wrap_constraints().
Definition at line 135 of file isl_seq.c.
References a(), b(), isl_int_abs, isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_is_pos, isl_int_is_zero, isl_int_mul, isl_int_neg, isl_seq_combine(), m, and pos().
Referenced by eliminate(), eliminate_var_using_equality(), isl_aff_substitute_equalities_lifted(), isl_basic_map_eliminate_vars(), isl_local_space_substitute_equalities(), isl_qpolynomial_substitute_equalities_lifted(), reduced_using_equalities(), and vertex_on_facet().
Definition at line 162 of file isl_seq.c.
References isl_int_ne.
Referenced by add_selected_wraps(), add_wrap(), constraint_equal(), drop_aff(), drop_equalities(), extend(), find_context_div(), find_div(), fuse(), harmonize_divs_with_hulls(), has_ineq(), hash_index_ineq(), initial_facet_constraint(), is_linear_div_constraint(), is_parallel_part(), isl_basic_map_equal_div_expr_part(), isl_basic_map_is_div_constraint(), isl_mat_is_equal(), isl_vec_is_equal(), max_constraint_equal(), need_split_basic_map(), remove_duplicate_divs(), same_divs(), select_shared_equalities(), SF(), sort_divs(), tab_add_divs(), and uset_unshifted_simple_hull_from_constraints().
Definition at line 91 of file isl_seq.c.
References isl_int_fdiv_q, and m.
Referenced by set_row_cst_to_div().
Definition at line 98 of file isl_seq.c.
References isl_int_fdiv_r, and m.
Referenced by get_row_parameter_div(), get_row_split_div(), and isl_vec_fdiv_r().
| int isl_seq_first_non_zero | ( | isl_int * | p, |
| unsigned | len | ||
| ) |
Definition at line 196 of file isl_seq.c.
References isl_int_is_zero, and p.
Referenced by add_eq(), check_final_columns_are_zero(), div_find_coalesce(), div_involves_vars(), div_may_involve_output(), drop_aff(), drop_equalities(), drop_inequalities(), find_context_div(), find_div(), find_modulo_constraint_pair(), get_div_purity(), has_multiple_var_equality(), has_nested_div(), is_constant(), is_independent(), is_internal(), is_linear_div_constraint(), is_potential_div_constraint(), is_trivial(), isl_aff_is_cst(), isl_aff_is_nan(), isl_aff_plain_is_zero(), isl_basic_map_drop_constraints_involving(), isl_basic_map_drop_constraints_not_involving_dims(), isl_basic_map_drop_redundant_divs(), isl_basic_map_has_defining_equality(), isl_basic_map_has_rational(), isl_basic_map_involves_dims(), isl_basic_map_is_div_constraint(), isl_basic_map_make_strides_explicit(), isl_basic_map_order_divs(), isl_basic_map_output_defining_equality(), isl_basic_map_plain_has_fixed_var(), isl_basic_map_plain_is_disjoint(), isl_basic_set_eq_is_stride(), isl_basic_set_has_defining_inequalities(), isl_basic_set_parameter_compression(), isl_basic_set_variable_compression(), isl_mat_aff_direct_sum(), isl_mat_is_scaled_identity(), isl_mat_left_hermite(), isl_mat_lexnonneg_rows(), isl_mat_right_inverse(), isl_mat_row_neg(), isl_seq_abs_min_non_zero(), isl_set_bounded_simple_hull(), isl_tab_is_equality(), isl_vec_is_zero(), mark_shifted_constraints(), n_div_eq(), n_pure_div_eq(), need_split_basic_map(), not_unique_unit_row(), parallel_constraints(), preimage(), purity(), pw_multi_aff_from_map_check_strides(), reduce_stride_constraints(), row_is_manifestly_non_integral(), row_is_manifestly_zero(), separation_type(), singleton_extract_point(), split_periods(), subtract_initial(), triangulate(), unique(), and vertex_on_facet().
Definition at line 241 of file isl_seq.c.
References gcd(), isl_int_abs, isl_int_cmp_si, isl_int_gcd, isl_int_is_zero, isl_int_set_si, isl_seq_abs_min_non_zero(), and p.
Referenced by add_strides(), int_between_bounds(), is_strict(), isl_aff_scale_down(), isl_basic_map_normalize_constraints(), isl_basic_set_dim_residue_class(), isl_mat_final_variable_compression(), isl_mat_gcd(), isl_mat_parameter_compression(), isl_mat_row_gcd(), isl_seq_normalize(), normalize_constraint(), normalize_div(), normalize_div_expression(), pw_multi_aff_from_map_check_strides(), split_scaled(), try_tightening(), and uset_gist_compressed().
| uint32_t isl_seq_get_hash | ( | isl_int * | p, |
| unsigned | len | ||
| ) |
Definition at line 338 of file isl_seq.c.
References isl_hash_init, isl_seq_hash(), and p.
Referenced by add_bound(), add_bound_from_constraint(), common_constraints(), has_constraint(), hash_ineq(), isl_basic_map_get_hash(), isl_mat_get_hash(), isl_seq_get_hash_bits(), isl_vec_get_hash(), parallel_constraints(), and update_constraint().
| uint32_t isl_seq_get_hash_bits | ( | isl_int * | p, |
| unsigned | len, | ||
| unsigned | bits | ||
| ) |
Definition at line 345 of file isl_seq.c.
References isl_hash_bits, isl_seq_get_hash(), and p.
Referenced by hash_index_ineq(), isl_basic_map_remove_duplicate_constraints(), and remove_duplicate_divs().
Definition at line 282 of file isl_seq.c.
References isl_int_addmul, isl_int_mul, and isl_int_set_si.
Referenced by check_samples(), context_tab_insert_div(), eval(), initial_hull(), interval_sample(), is_internal(), isl_basic_map_contains(), isl_local_extend_point_vec(), isl_mat_vec_product(), shift_cone(), solve_ilp(), solve_ilp_search(), solve_lp(), tab_has_valid_sample(), and tab_ineq_sign().
Definition at line 181 of file isl_seq.c.
References isl_int_abs_ne, isl_int_eq, and isl_int_is_zero.
Referenced by add_bound_from_constraint(), add_selected_wraps(), drop_aff(), find_modulo_constraint_pair(), has_ineq(), initial_facet_constraint(), is_linear_div_constraint(), is_opposite_part(), isl_basic_map_is_div_constraint(), isl_basic_set_has_defining_inequalities(), isl_local_space_is_div_constraint(), pw_multi_aff_from_map_check_div(), and set_max_constant_term().
| int isl_seq_last_non_zero | ( | isl_int * | p, |
| unsigned | len | ||
| ) |
Definition at line 206 of file isl_seq.c.
References isl_int_is_zero, and p.
Referenced by better_div_constraint(), cmp_row(), defining_equality(), drop_equalities(), eliminate_var_using_equality(), get_aff(), isl_aff_plain_cmp(), isl_aff_remove_unused_divs(), isl_aff_substitute_equalities_lifted(), isl_constraint_cmp_last_non_zero(), isl_constraint_plain_cmp(), isl_local_cmp(), isl_local_space_substitute_equalities(), isl_qpolynomial_substitute_equalities_lifted(), next_is_opposite(), ok_to_eliminate_div(), print_basic_set_c(), print_constraint_c(), print_constraints(), select_shared_equalities(), sort_constraint_cmp(), and vertex_on_facet().
Definition at line 269 of file isl_seq.c.
References isl_int_lcm, isl_int_set, isl_int_set_si, lcm(), and p.
Referenced by isl_vec_lcm().
Definition at line 35 of file isl_seq.c.
References isl_int_neg.
Referenced by add_bounds(), add_div_constraints(), add_lexmin_eq(), add_lexmin_valid_eq(), add_lower_div_constraint(), add_lp_row(), add_selected_wraps_around_facet(), add_valid_constraints(), add_wrap(), box_closure_on_domain(), can_wrap_in_set(), check_eq_adj_eq(), collect_inequalities(), common_constraints(), compute_max(), contains(), convex_hull_1d(), create_todo(), cut_to_hyperplane(), defining_equality(), eq_status_in(), extract_aff_from_equality(), find_solutions(), find_solutions_main(), get_row_parameter_div(), hash_basic_set(), induced_lineality_space(), inv_oppose(), invert_div(), is_adj_ineq_extension_with_wraps(), isl_aff_neg(), isl_basic_map_gauss5(), isl_basic_map_remove_duplicate_constraints(), isl_basic_set_scan(), isl_basic_set_solve_ilp(), isl_constraint_get_bound(), isl_inequality_negate(), isl_mat_row_neg(), isl_mat_sub_neg(), isl_qpolynomial_substitute_equalities_lifted(), isl_tab_add_eq(), isl_tab_add_valid_eq(), isl_tab_lexmin_add_eq(), isl_tab_solve_lp(), isl_vec_neg(), node_add_coefficient_constraints(), normalize_divs(), oppose(), outside_point(), pos_neg(), print_constraints(), purity(), pw_multi_aff_from_map_stride(), row_sign(), set_div_from_eq(), set_div_from_lower_bound(), set_div_slice(), sol_add(), solve_lp(), tab_add_constraint(), tab_add_constraints(), tab_for_lexmin(), try_wrap_in_facets(), and vertex_coordinate().
Definition at line 259 of file isl_seq.c.
References isl_int_is_one, isl_int_is_zero, isl_seq_gcd(), isl_seq_scale_down(), isl_ctx::normalize_gcd, and p.
Referenced by can_wrap_in_facet(), eliminate(), eliminate_var_using_equality(), initial_facet_constraint(), isl_mat_normalize_row(), isl_set_wrap_facet(), isl_tab_add_row(), isl_tab_detect_equalities(), isl_tab_pivot(), isl_vec_normalize(), and valid_direction().
Definition at line 70 of file isl_seq.c.
References isl_int_mul, and m.
Referenced by add_expanded(), construct_column(), isl_aff_add_coefficient_val(), isl_aff_add_rat_constant_val(), isl_aff_scale(), isl_aff_set_coefficient_val(), isl_aff_set_constant_val(), isl_mat_aff_direct_sum(), isl_mat_inverse_product(), isl_mat_scale(), isl_point_set_coordinate_val(), isl_seq_preimage(), isl_seq_substitute(), isl_tab_get_sample_value(), isl_vec_scale(), scale_factor(), scale_rows(), set_common_multiple(), singleton_extract_point(), update_coeff(), and uset_is_bound().
Definition at line 77 of file isl_seq.c.
References isl_int_divexact, and m.
Referenced by int_between_bounds(), is_strict(), isl_aff_scale_down(), isl_basic_map_normalize_constraints(), isl_mat_parameter_compression(), isl_mat_scale_down(), isl_mat_scale_down_row(), isl_seq_normalize(), normalize_constraint(), normalize_div(), normalize_div_expression(), and uset_gist_compressed().
Definition at line 28 of file isl_seq.c.
References isl_int_set, and p.
Referenced by isl_vec_set(), and isl_vec_set_val().
| void isl_seq_set_si | ( | isl_int * | p, |
| int | v, | ||
| unsigned | len | ||
| ) |
Definition at line 21 of file isl_seq.c.
References isl_int_set_si, and p.
Referenced by isl_vec_set_si().
Definition at line 49 of file isl_seq.c.
References f, and isl_int_submul.
Referenced by normalize_divs().
| void isl_seq_substitute | ( | isl_int * | p, |
| int | pos, | ||
| isl_int * | subs, | ||
| int | p_len, | ||
| int | subs_len, | ||
| isl_int | v | ||
| ) |
Definition at line 328 of file isl_seq.c.
References isl_int_mul, isl_int_set, isl_int_set_si, isl_seq_combine(), isl_seq_scale(), p, and pos().
Referenced by isl_aff_substitute(), isl_local_space_substitute_seq(), and plug_in_integral_divs().
Definition at line 63 of file isl_seq.c.
References isl_int_swap_or_set.
Referenced by isl_mat_sub_transform(), and preimage().
1.9.6