|
Polly 22.0.0git
|
#include <isl_int.h>#include <isl_ctx_private.h>#include <isl_val_private.h>#include <isl_list_templ.c>#include <isl_list_read_templ.c>#include <isl_multi_no_domain_templ.c>#include <isl_multi_no_explicit_domain.c>#include <isl_multi_templ.c>#include <isl_multi_un_op_templ.c>#include <isl_multi_bin_val_templ.c>#include <isl_multi_arith_templ.c>#include <isl_multi_dim_id_templ.c>#include <isl_multi_dims.c>#include <isl_multi_min_max_templ.c>#include <isl_multi_nan_templ.c>#include <isl_multi_product_templ.c>#include <isl_multi_splice_templ.c>#include <isl_multi_tuple_id_templ.c>#include <isl_multi_zero_templ.c>Go to the source code of this file.
Macros | |
| #define | EL_BASE val |
| #define | isl_val_involves_nan isl_val_is_nan |
| #define | BASE val |
| #define isl_val_involves_nan isl_val_is_nan |
Definition at line 1049 of file isl_val.c.
References a(), b(), isl_int_abs, isl_int_clear, isl_int_divexact, isl_int_fdiv_q, isl_int_init, isl_int_is_neg, isl_int_is_pos, isl_int_is_zero, isl_int_mul, isl_int_neg, isl_int_set, isl_int_set_si, isl_int_sub, isl_int_submul, and isl_int_swap.
Referenced by isl_val_gcdext().
| __isl_give isl_multi_val * isl_multi_val_add_val | ( | __isl_take isl_multi_val * | mv, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 1601 of file isl_val.c.
References isl_val_add(), isl_val_free(), and isl_val_is_zero().
Referenced by isl::multi_val::add(), and generate_shift_component().
| isl_bool isl_multi_val_is_zero | ( | __isl_keep isl_multi_val * | mv | ) |
Definition at line 1594 of file isl_val.c.
References isl_val_is_zero().
| __isl_give isl_multi_val * isl_multi_val_mod_val | ( | __isl_take isl_multi_val * | mv, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 1615 of file isl_val.c.
References isl_val_mod().
Referenced by generate_shift_component().
| __isl_give isl_printer * isl_printer_print_val | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_val * | v | ||
| ) |
Definition at line 1471 of file isl_val.c.
References isl_int_is_neg, isl_int_is_one, isl_int_is_zero, isl_int_neg, isl_int_sgn, isl_printer_free(), isl_printer_print_isl_int(), isl_printer_print_str(), neg(), p, and sgn().
Referenced by isl_obj_val_print(), print_ast_expr_c(), print_ast_expr_isl(), print_dim_mv(), print_mod_term(), print_qpolynomial_c(), and verify_point().
| __isl_give isl_val * isl_val_2exp | ( | __isl_take isl_val * | v | ) |
Definition at line 563 of file isl_val.c.
References isl_val_pow2().
Referenced by getWidthExpValOnDomain().
| __isl_give isl_val * isl_val_abs | ( | __isl_take isl_val * | v | ) |
Definition at line 456 of file isl_val.c.
References isl_val_is_nan(), isl_val_is_nonneg(), and isl_val_neg().
Referenced by isl::val::abs(), check_parallel_or_opposite(), extract_aff_from_equality(), extract_stride_constraint(), extract_term_and_mod(), and mod_constraint_is_simpler().
| isl_bool isl_val_abs_eq | ( | __isl_keep isl_val * | v1, |
| __isl_keep isl_val * | v2 | ||
| ) |
Definition at line 1445 of file isl_val.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), isl_int_abs_eq, isl_int_eq, and isl_val_is_nan().
Referenced by isl::val::abs_eq(), and is_stride_constraint().
| __isl_give isl_val * isl_val_add | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 | ||
| ) |
Definition at line 626 of file isl_val.c.
References isl_int_add, isl_int_addmul, isl_int_eq, isl_int_mul, isl_val_cow(), isl_val_free(), isl_val_is_infty(), isl_val_is_int(), isl_val_is_nan(), isl_val_is_neginfty(), isl_val_is_zero(), isl_val_normalize(), and isl_val_set_nan().
Referenced by isl::val::add(), check_parallel_or_opposite(), FN(), isl_multi_val_add_val(), isl_obj_val_add(), isl_poly_eval(), and try_extract_mod().
| __isl_give isl_val * isl_val_add_ui | ( | __isl_take isl_val * | v1, |
| unsigned long | v2 | ||
| ) |
Definition at line 685 of file isl_val.c.
References isl_int_addmul_ui, isl_val_cow(), and isl_val_is_rat().
Referenced by compute_size_in_direction(), and subtree_schedule_extend_from_children().
| __isl_give isl_val * isl_val_alloc | ( | isl_ctx * | ctx | ) |
Definition at line 22 of file isl_val.c.
References isl_val::ctx, isl_val::d, isl_alloc_type, isl_ctx_ref(), isl_int_init, isl_val::n, and isl_val::ref.
Referenced by basic_set_opt_lp(), isl_basic_map_plain_get_val_if_fixed(), isl_basic_set_opt_val(), isl_map_plain_get_val_if_fixed(), isl_set_dim_residue_class_val(), isl_set_opt_val(), isl_val_dup(), isl_val_from_gmp(), isl_val_gcdext(), isl_val_infty(), isl_val_int_from_chunks(), isl_val_int_from_gmp(), isl_val_int_from_isl_int(), isl_val_int_from_si(), isl_val_int_from_ui(), isl_val_nan(), isl_val_neginfty(), and isl_val_rat_from_isl_int().
| __isl_give isl_val * isl_val_ceil | ( | __isl_take isl_val * | v | ) |
Definition at line 491 of file isl_val.c.
References isl_int_cdiv_q, isl_int_set_si, isl_val_cow(), isl_val_is_int(), and isl_val_is_rat().
Referenced by isl::val::ceil(), find_node_coalescing(), steal_from_cst(), and try_extract_mod().
| int isl_val_cmp_si | ( | __isl_keep isl_val * | v, |
| long | i | ||
| ) |
Definition at line 1394 of file isl_val.c.
References cmp(), isl_int_clear, isl_int_cmp_si, isl_int_init, isl_int_mul_si, isl_int_sgn, isl_int_sub, isl_val_is_infty(), isl_val_is_int(), isl_val_is_nan(), isl_val_is_neginfty(), and t.
Referenced by check_parallel_or_opposite(), isl::val::cmp_si(), is_better_lower_bound(), test_eval_1(), test_min_special(), and test_pwqp_max().
| __isl_give isl_val * isl_val_copy | ( | __isl_keep isl_val * | v | ) |
Definition at line 219 of file isl_val.c.
References isl_val::ref.
Referenced by check_parallel_or_opposite(), compute_size_in_direction(), construct_shifted_executed(), isl::val::copy(), create_node(), detect_stride(), extract_modulo(), extract_nonneg_mod(), extract_rational(), extract_term_and_mod(), FN(), generate_shift_component(), get_size_bounds(), is_non_neg_after_stealing(), isl_aff_mod_val(), isl_ast_build_scale_down(), isl_ast_expr_dup(), isl_ast_expr_int_get_val(), isl_ast_expr_mod(), isl_fixed_box_set_extent(), isl_map_fix_val(), isl_multi_union_pw_aff_tile(), isl_obj_val_copy(), isl_poly_eval(), isl_stride_info_copy(), isl_stride_info_get_stride(), isl_union_pw_aff_mod_val(), lower_bound(), MULTI(), print_aff_num_mod(), print_qpolynomial_c(), pw_aff_val_on_domain(), scale_val(), set_nan(), set_stride(), steal_from_cst(), subtree_schedule_extend_from_children(), test_construction_2(), try_extract_mod(), and var_div().
| __isl_give isl_val * isl_val_cow | ( | __isl_take isl_val * | val | ) |
Definition at line 250 of file isl_val.c.
References isl_val_dup(), ISL_HMAP::ref, and val.
Referenced by isl_set_count_val(), isl_val_add(), isl_val_add_ui(), isl_val_ceil(), isl_val_div(), isl_val_div_ui(), isl_val_floor(), isl_val_gcd(), isl_val_gcdext(), isl_val_inv(), isl_val_mod(), isl_val_mul(), isl_val_mul_ui(), isl_val_neg(), isl_val_pow2(), isl_val_set_nan(), isl_val_set_si(), isl_val_sub(), isl_val_sub_ui(), and isl_val_trunc().
| __isl_give isl_val * isl_val_div | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 | ||
| ) |
Definition at line 875 of file isl_val.c.
References isl_int_mul, isl_val_cow(), isl_val_free(), isl_val_is_infty(), isl_val_is_int(), isl_val_is_nan(), isl_val_is_neg(), isl_val_is_neginfty(), isl_val_is_rat(), isl_val_is_zero(), isl_val_neg(), isl_val_normalize(), isl_val_set_nan(), and isl_val_set_zero().
Referenced by create_node(), detect_stride(), isl::val::div(), extract_term_and_mod(), is_non_neg_after_stealing(), isl_ast_build_scale_down(), isl_val_scale_down_val(), print_aff_num_mod(), set_stride(), steal_from_cst(), and try_extract_mod().
| __isl_give isl_val * isl_val_div_ui | ( | __isl_take isl_val * | v1, |
| unsigned long | v2 | ||
| ) |
Definition at line 928 of file isl_val.c.
References isl_int_mul_ui, isl_val_cow(), isl_val_is_infty(), isl_val_is_nan(), isl_val_is_neginfty(), isl_val_is_zero(), isl_val_normalize(), and isl_val_set_nan().
Referenced by find_node_coalescing().
| __isl_give isl_val * isl_val_dup | ( | __isl_keep isl_val * | val | ) |
Definition at line 230 of file isl_val.c.
References dup(), isl_int_set, isl_val_alloc(), isl_val_get_ctx(), and val.
Referenced by isl_val_cow().
| isl_bool isl_val_eq | ( | __isl_keep isl_val * | v1, |
| __isl_keep isl_val * | v2 | ||
| ) |
Definition at line 1421 of file isl_val.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), isl_int_eq, and isl_val_is_nan().
Referenced by isl::val::eq(), isl_ast_expr_is_equal(), isl_val_gcd(), isl_val_le(), isl_val_lt(), isl_val_plain_is_equal(), test_bin_val(), test_min(), val_check_equal(), and verify_point().
| isl_bool isl_val_eq_si | ( | __isl_keep isl_val * | v, |
| long | i | ||
| ) |
Definition at line 1434 of file isl_val.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), isl_int_cmp_si, and isl_val_is_int().
Referenced by is_even_test().
| __isl_give isl_val * isl_val_floor | ( | __isl_take isl_val * | v | ) |
Definition at line 470 of file isl_val.c.
References isl_int_fdiv_q, isl_int_set_si, isl_val_cow(), isl_val_is_int(), and isl_val_is_rat().
Referenced by isl::val::floor(), and is_non_neg_after_stealing().
| __isl_null isl_val * isl_val_free | ( | __isl_take isl_val * | v | ) |
Definition at line 263 of file isl_val.c.
References isl_ctx_deref(), and isl_int_clear.
Referenced by add_rational(), aff_constant_is_negative(), aff_is_rational(), polly::APIntFromVal(), basic_set_opt_lp(), check_parallel_or_opposite(), clear_opposite_sign(), compute_max_coefficient(), compute_size_in_direction(), convert_lp_result(), create_node(), detect_stride(), dim_is_fixed(), every_non_zero_coefficient(), extract_modulo(), extract_modulos(), extract_rational(), find_node_coalescing(), FN(), generate_component(), get_size_bounds(), has_sign(), is_even_test(), is_non_neg_after_stealing(), is_stride_constraint(), isl_aff_add_coefficient_val(), isl_aff_add_constant_val(), isl_aff_add_rat_constant_val(), isl_aff_mod_val(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_aff_set_coefficient_val(), isl_aff_set_constant_val(), isl_aff_val_on_domain(), isl_ast_build_detect_strides(), isl_ast_build_has_stride(), isl_ast_build_scale_down(), isl_ast_expr_add_int(), isl_ast_expr_free(), isl_ast_expr_from_val(), isl_basic_map_fix_val(), isl_basic_map_plain_get_val_if_fixed(), isl_basic_set_bound_val(), isl_constraint_set_coefficient_val(), isl_constraint_set_constant_val(), isl_fixed_box_invalidate(), isl_map_fix_val(), isl_map_floordiv_val(), isl_map_get_range_lattice_tile(), isl_map_lower_bound_val(), isl_map_plain_get_val_if_fixed(), isl_map_upper_bound_val(), isl_mat_set_element_val(), isl_multi_union_pw_aff_tile(), isl_multi_val_add_val(), isl_obj_val_free(), isl_point_set_coordinate_val(), isl_poly_eval(), isl_pw_aff_mod_val(), isl_pw_aff_opt_val(), isl_qpolynomial_fold_scale_down_val(), isl_qpolynomial_fold_scale_val(), isl_qpolynomial_get_den(), isl_qpolynomial_opt_on_domain(), isl_qpolynomial_scale_down_val(), isl_qpolynomial_scale_val(), isl_qpolynomial_val_on_domain(), isl_set_count_val(), isl_set_dim_residue_class_val(), isl_stride_info_alloc(), isl_stride_info_free(), isl_union_pw_aff_mod_val(), isl_union_pw_aff_opt_val(), isl_union_pw_aff_val_on_domain(), isl_val_add(), isl_val_div(), isl_val_gcd(), isl_val_gcdext(), isl_val_gt_si(), isl_val_inv(), isl_val_max(), isl_val_min(), isl_val_mod(), isl_val_mul(), isl_val_pow2(), isl_val_sub(), isl_vec_set_element_val(), isl_vec_set_val(), mod_constraint_is_simpler(), MULTI(), pick_free(), print_aff_num_mod(), print_ast_expr_isl(), print_mod_term(), print_qpolynomial_c(), read_band(), scale(), sched_info_alloc(), set_coincident(), set_detect_stride(), set_dim_extent(), set_nan(), set_nan_free_val(), set_stride(), shift_if_cst_int(), subtree_schedule_extend_from_children(), test_bin_val(), test_eval_1(), test_eval_2(), test_eval_3(), test_eval_aff(), test_min(), test_min_special(), test_min_special2(), test_pwqp_max(), test_un_val(), try_extract_mod(), update_unrolling_lower_bound(), val_check_equal(), val_opt(), verify_point(), and isl::val::~val().
| __isl_give isl_val * isl_val_gcd | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 | ||
| ) |
Definition at line 1016 of file isl_val.c.
References isl_die, isl_error_invalid, isl_int_gcd, isl_val_cow(), isl_val_eq(), isl_val_free(), isl_val_get_ctx(), isl_val_is_int(), and isl_val_is_one().
Referenced by constraint_check_scaled(), detect_stride(), isl::val::gcd(), generate_component(), and isl_val_gcdext().
| __isl_give isl_val * isl_val_gcdext | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2, | ||
| __isl_give isl_val ** | x, | ||
| __isl_give isl_val ** | y | ||
| ) |
Definition at line 1092 of file isl_val.c.
References a(), b(), isl_die, isl_error_invalid, isl_int_gcdext(), isl_int_set_si, isl_val_alloc(), isl_val_cow(), isl_val_free(), isl_val_gcd(), isl_val_get_ctx(), and isl_val_is_int().
Referenced by detect_stride(), and set_stride().
| isl_bool isl_val_ge | ( | __isl_keep isl_val * | v1, |
| __isl_keep isl_val * | v2 | ||
| ) |
Definition at line 1383 of file isl_val.c.
References isl_val_le().
Referenced by isl::val::ge(), and isl_val_max().
| isl_ctx * isl_val_get_ctx | ( | __isl_keep isl_val * | val | ) |
Definition at line 355 of file isl_val.c.
References ISL_HMAP::ctx, and val.
Referenced by convert_lp_result(), isl::val::ctx(), FN(), isl_aff_mod_val(), isl_aff_val_on_domain(), isl_ast_expr_from_val(), isl_map_floordiv_val(), isl_mat_set_element_val(), isl_qpolynomial_fold_scale_down_val(), isl_qpolynomial_scale_down_val(), isl_stride_info_alloc(), isl_stride_info_get_ctx(), isl_union_pw_aff_mod_val(), isl_val_dup(), isl_val_gcd(), isl_val_gcdext(), isl_val_get_abs_num_chunks(), isl_val_get_d(), isl_val_get_den_gmp(), isl_val_get_den_si(), isl_val_get_den_val(), isl_val_get_num_gmp(), isl_val_get_num_isl_int(), isl_val_get_num_si(), isl_val_gt_si(), isl_val_inv(), isl_val_is_divisible_by(), isl_val_mod(), isl_val_n_abs_num_chunks(), isl_val_normalize(), isl_val_pow2(), isl_vec_set_element_val(), isl_vec_set_val(), and val_check_equal().
| double isl_val_get_d | ( | __isl_keep isl_val * | v | ) |
Definition at line 343 of file isl_val.c.
References isl_die, isl_error_invalid, isl_int_get_d, isl_val_get_ctx(), and isl_val_is_rat().
| long isl_val_get_den_si | ( | __isl_keep isl_val * | v | ) |
Definition at line 314 of file isl_val.c.
References isl_die, isl_error_invalid, isl_int_fits_slong, isl_int_get_si, isl_val_get_ctx(), and isl_val_is_rat().
Referenced by isl::val::den_si().
| __isl_give isl_val * isl_val_get_den_val | ( | __isl_keep isl_val * | v | ) |
Definition at line 331 of file isl_val.c.
References isl_die, isl_error_invalid, isl_val_get_ctx(), isl_val_int_from_isl_int(), and isl_val_is_rat().
| uint32_t isl_val_get_hash | ( | __isl_keep isl_val * | val | ) |
Definition at line 362 of file isl_val.c.
References isl_hash_init, isl_int_hash, and val.
| isl_stat isl_val_get_num_isl_int | ( | __isl_keep isl_val * | v, |
| isl_int * | n | ||
| ) |
Definition at line 299 of file isl_val.c.
References isl_die, isl_error_invalid, isl_int_set, isl_stat_error, isl_stat_ok, isl_val_get_ctx(), isl_val_is_rat(), and n.
Referenced by shift_if_cst_int().
| long isl_val_get_num_si | ( | __isl_keep isl_val * | v | ) |
Definition at line 282 of file isl_val.c.
References isl_die, isl_error_invalid, isl_int_fits_slong, isl_int_get_si, isl_val_get_ctx(), and isl_val_is_rat().
Referenced by isl::val::num_si(), and update_unrolling_lower_bound().
| isl_bool isl_val_gt | ( | __isl_keep isl_val * | v1, |
| __isl_keep isl_val * | v2 | ||
| ) |
Definition at line 1318 of file isl_val.c.
References isl_val_lt().
Referenced by isl::val::gt(), and isl_val_gt_si().
| isl_bool isl_val_gt_si | ( | __isl_keep isl_val * | v, |
| long | i | ||
| ) |
Definition at line 1325 of file isl_val.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), isl_bool_true, isl_int_cmp_si, isl_val_free(), isl_val_get_ctx(), isl_val_gt(), isl_val_int_from_si(), isl_val_is_infty(), isl_val_is_int(), isl_val_is_nan(), isl_val_is_neginfty(), and res.
Referenced by detect_stride().
| __isl_give isl_val * isl_val_infty | ( | isl_ctx * | ctx | ) |
Definition at line 96 of file isl_val.c.
References isl_val::d, isl_int_set_si, isl_val_alloc(), and isl_val::n.
Referenced by basic_set_opt_lp(), convert_lp_result(), isl::val::infty(), isl_fixed_box_invalidate(), isl_stream_read_val(), and set_dim_extent().
| __isl_give isl_val * isl_val_insert_dims | ( | __isl_take isl_val * | v, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| __isl_give isl_val * isl_val_int_from_isl_int | ( | isl_ctx * | ctx, |
| isl_int | n | ||
| ) |
Definition at line 185 of file isl_val.c.
References isl_val::d, isl_int_set, isl_int_set_si, isl_val_alloc(), isl_val::n, and n.
Referenced by extract_aff_from_equality(), isl_aff_get_denominator_val(), isl_constraint_get_coefficient_val(), isl_constraint_get_constant_val(), isl_mat_get_element_val(), isl_stream_read_val(), isl_token_get_val(), isl_val_get_den_val(), isl_vec_get_element_val(), and obj_read().
| __isl_give isl_val * isl_val_int_from_si | ( | isl_ctx * | ctx, |
| long | i | ||
| ) |
Definition at line 128 of file isl_val.c.
References isl_val::d, isl_int_set_si, isl_val_alloc(), and isl_val::n.
Referenced by isl_ast_expr_alloc_int_si(), isl_val_gt_si(), isl_val_negone(), isl_val_one(), isl_val_zero(), test_construction_2(), and isl::val::val().
| __isl_give isl_val * isl_val_int_from_ui | ( | isl_ctx * | ctx, |
| unsigned long | u | ||
| ) |
Definition at line 169 of file isl_val.c.
References isl_val::d, isl_int_set_si, isl_int_set_ui, isl_val_alloc(), and isl_val::n.
Referenced by getWidthExpValOnDomain(), and isl::val::int_from_ui().
| __isl_give isl_val * isl_val_inv | ( | __isl_take isl_val * | v | ) |
Definition at line 429 of file isl_val.c.
References isl_int_swap, isl_val_cow(), isl_val_free(), isl_val_get_ctx(), isl_val_is_infty(), isl_val_is_nan(), isl_val_is_neginfty(), isl_val_is_zero(), isl_val_nan(), isl_val_normalize(), and isl_val_zero().
Referenced by isl::val::inv(), isl_qpolynomial_fold_scale_down_val(), and isl_qpolynomial_scale_down_val().
| isl_bool isl_val_involves_dims | ( | __isl_keep isl_val * | v, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 1519 of file isl_val.c.
References isl_bool_error, and isl_bool_false.
| isl_bool isl_val_is_divisible_by | ( | __isl_keep isl_val * | v1, |
| __isl_keep isl_val * | v2 | ||
| ) |
Definition at line 964 of file isl_val.c.
References isl_bool_error, isl_bool_ok(), isl_die, isl_error_invalid, isl_int_is_divisible_by, isl_val_get_ctx(), and isl_val_is_int().
Referenced by add_rational(), check_parallel_or_opposite(), create_node(), extract_modulo(), extract_rational(), and isl::val::is_divisible_by().
| isl_bool isl_val_is_infty | ( | __isl_keep isl_val * | v | ) |
Definition at line 1171 of file isl_val.c.
References isl_bool_error, isl_bool_ok(), isl_int_is_pos, and isl_int_is_zero.
Referenced by has_sign(), is_better_lower_bound(), isl::val::is_infty(), isl_val_add(), isl_val_cmp_si(), isl_val_div(), isl_val_div_ui(), isl_val_gt_si(), isl_val_inv(), isl_val_le(), isl_val_lt(), isl_val_mul(), and isl_val_sub().
| isl_bool isl_val_is_int | ( | __isl_keep isl_val * | v | ) |
Definition at line 1141 of file isl_val.c.
References isl_bool_error, isl_bool_ok(), and isl_int_is_one.
Referenced by polly::APIntFromVal(), compute_max_coefficient(), find_node_coalescing(), FN(), get_size_bounds(), isl::val::is_int(), isl_aff_mod_val(), isl_ast_expr_from_val(), isl_basic_map_fix_val(), isl_basic_set_bound_val(), isl_constraint_set_coefficient_val(), isl_constraint_set_constant_val(), isl_map_fix_val(), isl_map_floordiv_val(), isl_map_lower_bound_val(), isl_map_upper_bound_val(), isl_mat_set_element_val(), isl_pw_aff_mod_val(), isl_union_pw_aff_mod_val(), isl_val_add(), isl_val_ceil(), isl_val_cmp_si(), isl_val_div(), isl_val_eq_si(), isl_val_floor(), isl_val_gcd(), isl_val_gcdext(), isl_val_gt_si(), isl_val_is_divisible_by(), isl_val_le(), isl_val_lt(), isl_val_mod(), isl_val_mul(), isl_val_normalize(), isl_val_pow2(), isl_val_set_si(), isl_val_sub(), isl_val_trunc(), isl_vec_set_element_val(), isl_vec_set_val(), set_dim_extent(), and shift_if_cst_int().
| isl_bool isl_val_is_nan | ( | __isl_keep isl_val * | v | ) |
Definition at line 1161 of file isl_val.c.
References isl_bool_error, isl_bool_ok(), and isl_int_is_zero.
Referenced by dim_is_fixed(), has_sign(), isl::val::is_nan(), isl_aff_add_constant_val(), isl_aff_val_on_domain(), isl_val_abs(), isl_val_abs_eq(), isl_val_add(), isl_val_cmp_si(), isl_val_div(), isl_val_div_ui(), isl_val_eq(), isl_val_gt_si(), isl_val_inv(), isl_val_is_nonneg(), isl_val_is_nonpos(), isl_val_is_one(), isl_val_le(), isl_val_lt(), isl_val_max(), isl_val_min(), isl_val_mul(), isl_val_mul_ui(), isl_val_ne(), isl_val_neg(), isl_val_set_nan(), isl_val_sub(), sched_info_alloc(), test_bin_val(), test_eval_2(), val_check_equal(), and val_opt().
| isl_bool isl_val_is_neg | ( | __isl_keep isl_val * | v | ) |
Definition at line 1234 of file isl_val.c.
References isl_bool_error, isl_bool_ok(), and isl_int_is_neg.
Referenced by aff_constant_is_negative(), polly::APIntFromVal(), FN(), isl::val::is_neg(), isl_ast_expr_add_int(), isl_ast_expr_add_term(), isl_qpolynomial_fold_scale_val(), isl_val_div(), isl_val_mul(), isl_val_pow2(), print_mod_term(), and try_extract_mod().
| isl_bool isl_val_is_neginfty | ( | __isl_keep isl_val * | v | ) |
Definition at line 1181 of file isl_val.c.
References isl_bool_error, isl_bool_ok(), isl_int_is_neg, and isl_int_is_zero.
Referenced by has_sign(), isl::val::is_neginfty(), isl_val_add(), isl_val_cmp_si(), isl_val_div(), isl_val_div_ui(), isl_val_gt_si(), isl_val_inv(), isl_val_le(), isl_val_lt(), isl_val_mul(), and isl_val_sub().
| isl_bool isl_val_is_negone | ( | __isl_keep isl_val * | v | ) |
Definition at line 1214 of file isl_val.c.
References isl_bool_error, isl_bool_ok(), isl_int_abs_eq, and isl_int_is_neg.
Referenced by extract_modulos(), isl::val::is_negone(), and scale().
| isl_bool isl_val_is_nonneg | ( | __isl_keep isl_val * | v | ) |
Definition at line 1244 of file isl_val.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), isl_int_is_nonneg, and isl_val_is_nan().
Referenced by isl::val::is_nonneg(), isl_val_abs(), and isl_val_mod().
| isl_bool isl_val_is_nonpos | ( | __isl_keep isl_val * | v | ) |
Definition at line 1257 of file isl_val.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), isl_int_is_nonpos, and isl_val_is_nan().
Referenced by isl::val::is_nonpos().
| isl_bool isl_val_is_one | ( | __isl_keep isl_val * | v | ) |
Definition at line 1201 of file isl_val.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), isl_int_eq, and isl_val_is_nan().
Referenced by aff_is_rational(), constraint_check_scaled(), create_node(), extract_modulos(), extract_rational(), FN(), generate_component(), isl::val::is_one(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_ast_build_detect_strides(), isl_ast_build_has_stride(), isl_ast_expr_mod(), isl_qpolynomial_fold_scale_down_val(), isl_qpolynomial_fold_scale_val(), isl_qpolynomial_scale_val(), isl_val_gcd(), print_mod_term(), print_qpolynomial_c(), and scale().
| isl_bool isl_val_is_pos | ( | __isl_keep isl_val * | v | ) |
Definition at line 1224 of file isl_val.c.
References isl_bool_error, isl_bool_ok(), and isl_int_is_pos.
Referenced by constant_is_considered_positive(), isl::val::is_pos(), is_stride_constraint(), isl_aff_scale_down_val(), isl_union_pw_aff_mod_val(), and isl_val_sgn().
| isl_bool isl_val_is_rat | ( | __isl_keep isl_val * | v | ) |
Definition at line 1151 of file isl_val.c.
References isl_bool_error, isl_bool_ok(), and isl_int_is_zero.
Referenced by FN(), isl::val::is_rat(), isl_aff_add_coefficient_val(), isl_aff_add_constant_val(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_aff_set_coefficient_val(), isl_aff_set_constant_val(), isl_aff_val_on_domain(), isl_point_set_coordinate_val(), isl_qpolynomial_fold_scale_down_val(), isl_qpolynomial_fold_scale_val(), isl_qpolynomial_scale_down_val(), isl_qpolynomial_scale_val(), isl_val_add_ui(), isl_val_ceil(), isl_val_div(), isl_val_floor(), isl_val_get_abs_num_chunks(), isl_val_get_d(), isl_val_get_den_gmp(), isl_val_get_den_si(), isl_val_get_den_val(), isl_val_get_num_gmp(), isl_val_get_num_isl_int(), isl_val_get_num_si(), isl_val_mul(), isl_val_mul_ui(), isl_val_n_abs_num_chunks(), isl_val_normalize(), isl_val_sub_ui(), and isl_val_trunc().
| isl_bool isl_val_is_zero | ( | __isl_keep isl_val * | v | ) |
Definition at line 1191 of file isl_val.c.
References isl_bool_error, isl_bool_ok(), and isl_int_is_zero.
Referenced by ast_expr_is_zero(), compute_sizes(), every_non_zero_coefficient(), extract_modulos(), FN(), generate_component(), is_non_neg_after_stealing(), isl::val::is_zero(), isl_aff_add_coefficient_val(), isl_aff_add_constant_val(), isl_ast_expr_add_int(), isl_multi_val_add_val(), isl_multi_val_is_zero(), isl_qpolynomial_fold_scale_down_val(), isl_qpolynomial_fold_scale_val(), isl_qpolynomial_scale_down_val(), isl_qpolynomial_scale_val(), isl_val_add(), isl_val_div(), isl_val_div_ui(), isl_val_get_abs_num_chunks(), isl_val_inv(), isl_val_mul(), isl_val_neg(), isl_val_sgn(), isl_val_sub(), MULTI(), read_band(), set_coincident(), and shift_if_cst_int().
| isl_bool isl_val_le | ( | __isl_keep isl_val * | v1, |
| __isl_keep isl_val * | v2 | ||
| ) |
Definition at line 1350 of file isl_val.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), isl_bool_true, isl_int_clear, isl_int_init, isl_int_is_nonpos, isl_int_le, isl_int_mul, isl_int_submul, isl_val_eq(), isl_val_is_infty(), isl_val_is_int(), isl_val_is_nan(), isl_val_is_neginfty(), and t.
Referenced by isl_val_ge(), isl_val_min(), isl::val::le(), and verify_point().
| isl_bool isl_val_lt | ( | __isl_keep isl_val * | v1, |
| __isl_keep isl_val * | v2 | ||
| ) |
Definition at line 1285 of file isl_val.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), isl_bool_true, isl_int_clear, isl_int_init, isl_int_is_neg, isl_int_lt, isl_int_mul, isl_int_submul, isl_val_eq(), isl_val_is_infty(), isl_val_is_int(), isl_val_is_nan(), isl_val_is_neginfty(), and t.
Referenced by compute_size_in_direction(), isl_val_gt(), isl_val_mod(), isl::val::lt(), and mod_constraint_is_simpler().
| __isl_give isl_val * isl_val_max | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 | ||
| ) |
Definition at line 598 of file isl_val.c.
References isl_val_free(), isl_val_ge(), and isl_val_is_nan().
Referenced by FN(), isl_qpolynomial_fold_eval(), isl_qpolynomial_fold_opt_on_domain(), isl::val::max(), opt_fn(), and val_opt().
| __isl_give isl_val * isl_val_min | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 | ||
| ) |
Definition at line 570 of file isl_val.c.
References isl_val_free(), isl_val_is_nan(), and isl_val_le().
Referenced by FN(), isl_qpolynomial_fold_eval(), isl_qpolynomial_fold_opt_on_domain(), isl::val::min(), opt_fn(), and val_opt().
| __isl_give isl_val * isl_val_mod | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 | ||
| ) |
Definition at line 979 of file isl_val.c.
References isl_die, isl_error_invalid, isl_int_fdiv_r, isl_val_cow(), isl_val_free(), isl_val_get_ctx(), isl_val_is_int(), isl_val_is_nonneg(), and isl_val_lt().
Referenced by isl_multi_val_mod_val(), isl_val_mod_val(), isl::val::mod(), and try_extract_mod().
| __isl_give isl_val * isl_val_mod_val | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 | ||
| ) |
Definition at line 1008 of file isl_val.c.
References isl_val_mod().
| __isl_give isl_val * isl_val_mul | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 | ||
| ) |
Definition at line 782 of file isl_val.c.
References isl_int_mul, isl_val_cow(), isl_val_free(), isl_val_is_infty(), isl_val_is_int(), isl_val_is_nan(), isl_val_is_neg(), isl_val_is_neginfty(), isl_val_is_rat(), isl_val_is_zero(), isl_val_neg(), isl_val_normalize(), and isl_val_set_nan().
Referenced by is_non_neg_after_stealing(), isl_poly_eval(), isl_val_scale_val(), isl::val::mul(), set_stride(), steal_from_cst(), and try_extract_mod().
| __isl_give isl_val * isl_val_mul_ui | ( | __isl_take isl_val * | v1, |
| unsigned long | v2 | ||
| ) |
Definition at line 851 of file isl_val.c.
References isl_int_mul_ui, isl_val_cow(), isl_val_is_nan(), isl_val_is_rat(), isl_val_normalize(), and isl_val_set_nan().
| __isl_give isl_val * isl_val_nan | ( | isl_ctx * | ctx | ) |
Definition at line 62 of file isl_val.c.
References isl_val::d, isl_int_set_si, isl_val_alloc(), and isl_val::n.
Referenced by basic_set_opt_lp(), convert_lp_result(), eval_void(), FN(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_aff_get_denominator_val(), isl_basic_map_plain_get_val_if_fixed(), isl_map_plain_get_val_if_fixed(), isl_pw_aff_opt_val(), isl_stream_read_val(), isl_union_pw_aff_opt_val(), isl_val_inv(), isl::val::nan(), and set_nan().
| isl_bool isl_val_ne | ( | __isl_keep isl_val * | v1, |
| __isl_keep isl_val * | v2 | ||
| ) |
Definition at line 1458 of file isl_val.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), isl_int_ne, and isl_val_is_nan().
Referenced by generate_component(), and isl::val::ne().
| __isl_give isl_val * isl_val_neg | ( | __isl_take isl_val * | v | ) |
Definition at line 410 of file isl_val.c.
References isl_int_neg, isl_val_cow(), isl_val_is_nan(), and isl_val_is_zero().
Referenced by construct_shifted_executed(), detect_stride(), extract_nonneg_mod(), extract_term_and_mod(), generate_shift_component(), get_size_bounds(), isl_ast_expr_add_int(), isl_ast_expr_add_term(), isl_ast_expr_from_constraint_no_stride(), isl_val_abs(), isl_val_div(), isl_val_mul(), isl_val_sub(), isl::val::neg(), print_aff_num_mod(), print_mod_term(), steal_from_cst(), test_construction_2(), try_extract_mod(), and var_div().
| __isl_give isl_val * isl_val_neginfty | ( | isl_ctx * | ctx | ) |
Definition at line 112 of file isl_val.c.
References isl_val::d, isl_int_set_si, isl_val_alloc(), and isl_val::n.
Referenced by basic_set_opt_lp(), convert_lp_result(), isl_stream_read_val(), and isl::val::neginfty().
| __isl_give isl_val * isl_val_negone | ( | isl_ctx * | ctx | ) |
Definition at line 55 of file isl_val.c.
References isl_val_int_from_si().
Referenced by isl::val::negone().
| __isl_give isl_val * isl_val_normalize | ( | __isl_take isl_val * | v | ) |
Definition at line 385 of file isl_val.c.
References isl_int_divexact, isl_int_gcd, isl_int_is_neg, isl_int_is_one, isl_int_neg, isl_val_get_ctx(), isl_val_is_int(), isl_val_is_rat(), and isl_ctx::normalize_gcd.
Referenced by basic_set_opt_lp(), convert_lp_result(), eval(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_point_get_coordinate_val(), isl_stream_read_val(), isl_val_add(), isl_val_div(), isl_val_div_ui(), isl_val_from_gmp(), isl_val_inv(), isl_val_mul(), isl_val_mul_ui(), and isl_val_sub().
| __isl_give isl_val * isl_val_one | ( | isl_ctx * | ctx | ) |
Definition at line 48 of file isl_val.c.
References isl_val_int_from_si().
Referenced by isl_qpolynomial_get_den(), isl::val::one(), set_detect_stride(), and test_pwqp().
| isl_bool isl_val_plain_is_equal | ( | __isl_keep isl_val * | val1, |
| __isl_keep isl_val * | val2 | ||
| ) |
Definition at line 1505 of file isl_val.c.
References isl_val_eq().
| __isl_give isl_val * isl_val_pow2 | ( | __isl_take isl_val * | v | ) |
Definition at line 532 of file isl_val.c.
References isl_die, isl_error_invalid, isl_int_fits_ulong, isl_int_get_ui, isl_int_mul_2exp, isl_int_neg, isl_int_set_si, isl_val_cow(), isl_val_free(), isl_val_get_ctx(), isl_val_is_int(), isl_val_is_neg(), and neg().
Referenced by isl_val_2exp(), and isl::val::pow2().
| __isl_give isl_val * isl_val_rat_from_isl_int | ( | isl_ctx * | ctx, |
| isl_int | n, | ||
| isl_int | d | ||
| ) |
Definition at line 202 of file isl_val.c.
References isl_val::d, isl_int_set, isl_val_alloc(), isl_val::n, and n.
Referenced by eval(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_point_get_coordinate_val(), isl_poly_eval(), isl_poly_get_constant_val(), isl_stream_read_val(), and isl_term_get_coefficient_val().
| __isl_give isl_val * isl_val_scale_down_val | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 | ||
| ) |
Definition at line 956 of file isl_val.c.
References isl_val_div().
| __isl_give isl_val * isl_val_scale_val | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 | ||
| ) |
Definition at line 843 of file isl_val.c.
References isl_val_mul().
| __isl_give isl_val * isl_val_set_dim_name | ( | __isl_take isl_val * | v, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
| __isl_give isl_val * isl_val_set_nan | ( | __isl_take isl_val * | v | ) |
Definition at line 78 of file isl_val.c.
References isl_int_set_si, isl_val_cow(), and isl_val_is_nan().
Referenced by isl_val_add(), isl_val_div(), isl_val_div_ui(), isl_val_mul(), isl_val_mul_ui(), and isl_val_sub().
| __isl_give isl_val * isl_val_set_si | ( | __isl_take isl_val * | v, |
| long | i | ||
| ) |
Definition at line 144 of file isl_val.c.
References isl_int_cmp_si, isl_int_set_si, isl_val_cow(), and isl_val_is_int().
Referenced by create_node(), and isl_val_set_zero().
| __isl_give isl_val * isl_val_set_zero | ( | __isl_take isl_val * | v | ) |
| int isl_val_sgn | ( | __isl_keep isl_val * | v | ) |
Definition at line 1272 of file isl_val.c.
References isl_val_is_pos(), and isl_val_is_zero().
Referenced by clear_opposite_sign(), extract_term_and_mod(), has_sign(), is_non_neg_after_stealing(), and isl::val::sgn().
| __isl_give isl_val * isl_val_sub | ( | __isl_take isl_val * | v1, |
| __isl_take isl_val * | v2 | ||
| ) |
Definition at line 704 of file isl_val.c.
References isl_int_eq, isl_int_mul, isl_int_sub, isl_int_submul, isl_val_cow(), isl_val_free(), isl_val_is_infty(), isl_val_is_int(), isl_val_is_nan(), isl_val_is_neginfty(), isl_val_is_zero(), isl_val_neg(), isl_val_normalize(), and isl_val_set_nan().
Referenced by check_parallel_or_opposite(), steal_from_cst(), isl::val::sub(), and try_extract_mod().
| __isl_give isl_val * isl_val_sub_ui | ( | __isl_take isl_val * | v1, |
| unsigned long | v2 | ||
| ) |
Definition at line 763 of file isl_val.c.
References isl_int_submul_ui, isl_val_cow(), and isl_val_is_rat().
Referenced by aff_pos_basic_set(), and try_extract_mod().
| __isl_give isl_val * isl_val_trunc | ( | __isl_take isl_val * | v | ) |
Definition at line 512 of file isl_val.c.
References isl_int_set_si, isl_int_tdiv_q, isl_val_cow(), isl_val_is_int(), and isl_val_is_rat().
Referenced by isl::val::trunc().
| __isl_give isl_val * isl_val_zero | ( | isl_ctx * | ctx | ) |
Definition at line 41 of file isl_val.c.
References isl_val_int_from_si().
Referenced by detect_stride(), FN(), isl_ast_build_expr_from_set_internal(), isl_qpolynomial_fold_eval(), isl_qpolynomial_fold_opt_on_domain(), isl_qpolynomial_opt_on_domain(), isl_set_count_val(), isl_val_inv(), isl_val_zero_on_domain(), subtree_schedule_extend_from_children(), and isl::val::zero().
| __isl_give isl_val * isl_val_zero_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1561 of file isl_val.c.
References isl_local_space_free(), isl_local_space_get_ctx(), and isl_val_zero().
1.9.6