|
Polly 19.0.0git
|
Go to the source code of this file.
Classes | |
| struct | isl_stats |
Macros | |
| #define | __isl_give |
| #define | __isl_take |
| #define | __isl_keep |
| #define | __isl_null |
| #define | __isl_export |
| #define | __isl_overload |
| #define | __isl_constructor |
| #define | __isl_subclass(super) |
| #define | isl_size_error ((int) -1) |
| #define | ISL_DEPRECATED |
| #define | ISL_FL_INIT(l, f) (l) = (f) /* Specific flags location. */ |
| #define | ISL_FL_SET(l, f) ((l) |= (f)) |
| #define | ISL_FL_CLR(l, f) ((l) &= ~(f)) |
| #define | ISL_FL_ISSET(l, f) (!!((l) & (f))) |
| #define | ISL_F_INIT(p, f) ISL_FL_INIT((p)->flags, f) /* Structure element flags. */ |
| #define | ISL_F_SET(p, f) ISL_FL_SET((p)->flags, f) |
| #define | ISL_F_CLR(p, f) ISL_FL_CLR((p)->flags, f) |
| #define | ISL_F_ISSET(p, f) ISL_FL_ISSET((p)->flags, f) |
| #define | isl_alloc(ctx, type, size) ((type *)isl_malloc_or_die(ctx, size)) |
| #define | isl_calloc(ctx, type, size) |
| #define | isl_realloc(ctx, ptr, type, size) |
| #define | isl_alloc_type(ctx, type) isl_alloc(ctx,type,sizeof(type)) |
| #define | isl_calloc_type(ctx, type) isl_calloc(ctx,type,sizeof(type)) |
| #define | isl_realloc_type(ctx, ptr, type) isl_realloc(ctx,ptr,type,sizeof(type)) |
| #define | isl_alloc_array(ctx, type, n) isl_alloc(ctx,type,(n)*sizeof(type)) |
| #define | isl_calloc_array(ctx, type, n) |
| #define | isl_realloc_array(ctx, ptr, type, n) isl_realloc(ctx,ptr,type,(n)*sizeof(type)) |
| #define | isl_die(ctx, errno, msg, code) |
| #define | isl_assert4(ctx, test, code, errno) |
| #define | isl_assert(ctx, test, code) isl_assert4(ctx,test,code,isl_error_unknown) |
| #define | isl_min(a, b) ((a < b) ? (a) : (b)) |
| #define | ISL_ARG_CTX_DECL(prefix, st, args) st *isl_ctx_peek_ ## prefix(isl_ctx *ctx); |
| #define | ISL_ARG_CTX_DEF(prefix, st, args) |
| #define | ISL_CTX_GET_INT_DEF(prefix, st, args, field) |
| #define | ISL_CTX_SET_INT_DEF(prefix, st, args, field) |
| #define | ISL_CTX_GET_STR_DEF(prefix, st, args, field) |
| #define | ISL_CTX_SET_STR_DEF(prefix, st, args, field) |
| #define | ISL_CTX_GET_BOOL_DEF(prefix, st, args, field) ISL_CTX_GET_INT_DEF(prefix,st,args,field) |
| #define | ISL_CTX_SET_BOOL_DEF(prefix, st, args, field) ISL_CTX_SET_INT_DEF(prefix,st,args,field) |
| #define | ISL_CTX_GET_CHOICE_DEF(prefix, st, args, field) ISL_CTX_GET_INT_DEF(prefix,st,args,field) |
| #define | ISL_CTX_SET_CHOICE_DEF(prefix, st, args, field) ISL_CTX_SET_INT_DEF(prefix,st,args,field) |
Typedefs | |
| typedef int | isl_size |
| typedef struct isl_ctx | isl_ctx |
Enumerations | |
| enum | isl_error { isl_error_none = 0 , isl_error_abort , isl_error_alloc , isl_error_unknown , isl_error_internal , isl_error_invalid , isl_error_quota , isl_error_unsupported } |
| enum | isl_stat { isl_stat_error = -1 , isl_stat_ok = 0 } |
| enum | isl_bool { isl_bool_error = -1 , isl_bool_false = 0 , isl_bool_true = 1 } |
| #define isl_alloc | ( | ctx, | |
| type, | |||
| size | |||
| ) | ((type *)isl_malloc_or_die(ctx, size)) |
| #define ISL_ARG_CTX_DECL | ( | prefix, | |
| st, | |||
| args | |||
| ) | st *isl_ctx_peek_ ## prefix(isl_ctx *ctx); |
| #define ISL_ARG_CTX_DEF | ( | prefix, | |
| st, | |||
| args | |||
| ) |
| #define isl_assert | ( | ctx, | |
| test, | |||
| code | |||
| ) | isl_assert4(ctx,test,code,isl_error_unknown) |
| #define isl_assert4 | ( | ctx, | |
| test, | |||
| code, | |||
| errno | |||
| ) |
| #define isl_calloc_type | ( | ctx, | |
| type | |||
| ) | isl_calloc(ctx,type,sizeof(type)) |
| #define ISL_CTX_GET_BOOL_DEF | ( | prefix, | |
| st, | |||
| args, | |||
| field | |||
| ) | ISL_CTX_GET_INT_DEF(prefix,st,args,field) |
| #define ISL_CTX_GET_CHOICE_DEF | ( | prefix, | |
| st, | |||
| args, | |||
| field | |||
| ) | ISL_CTX_GET_INT_DEF(prefix,st,args,field) |
| #define ISL_CTX_GET_INT_DEF | ( | prefix, | |
| st, | |||
| args, | |||
| field | |||
| ) |
| #define ISL_CTX_GET_STR_DEF | ( | prefix, | |
| st, | |||
| args, | |||
| field | |||
| ) |
| #define ISL_CTX_SET_BOOL_DEF | ( | prefix, | |
| st, | |||
| args, | |||
| field | |||
| ) | ISL_CTX_SET_INT_DEF(prefix,st,args,field) |
| #define ISL_CTX_SET_CHOICE_DEF | ( | prefix, | |
| st, | |||
| args, | |||
| field | |||
| ) | ISL_CTX_SET_INT_DEF(prefix,st,args,field) |
| #define ISL_CTX_SET_INT_DEF | ( | prefix, | |
| st, | |||
| args, | |||
| field | |||
| ) |
| #define ISL_CTX_SET_STR_DEF | ( | prefix, | |
| st, | |||
| args, | |||
| field | |||
| ) |
| #define isl_die | ( | ctx, | |
| errno, | |||
| msg, | |||
| code | |||
| ) |
| #define ISL_F_INIT | ( | p, | |
| f | |||
| ) | ISL_FL_INIT((p)->flags, f) /* Structure element flags. */ |
| #define isl_realloc_type | ( | ctx, | |
| ptr, | |||
| type | |||
| ) | isl_realloc(ctx,ptr,type,sizeof(type)) |
| enum isl_bool |
| enum isl_error |
Definition at line 32 of file isl_ctx.c.
References b(), isl_bool_error, isl_bool_false, and isl_bool_true.
Referenced by aff_is_rational(), after_in_band(), basic_map_follows(), basic_set_no_locals(), can_print_div_expr(), constant_is_considered_positive(), detect_constant_with_tmp(), domain_follows_at_depth(), elim_or_next(), equal_independent_guards(), extends(), FN(), free_of_depth(), graph_has_edge(), has_any(), has_spurious_elements(), is_non_empty_proximity(), is_non_neg_after_stealing(), is_suitable_bound(), isl_ast_build_has_affine_value(), isl_ast_build_has_stride(), isl_ast_build_options_involve_depth(), isl_basic_map_div_is_known(), isl_basic_map_equal_div_expr_except_constant(), isl_basic_map_is_disjoint(), isl_basic_map_is_strict_subset(), isl_fixed_box_is_valid(), isl_local_div_is_known(), isl_local_divs_known(), isl_map_is_disjoint(), isl_map_is_strict_subset(), isl_multi_pw_aff_has_non_trivial_domain(), isl_multi_union_pw_aff_has_non_trivial_domain(), isl_pw_aff_list_involves_nan(), isl_pw_multi_aff_is_equal(), isl_qpolynomial_fold_involves_dims(), isl_set_involves_locals(), isl_set_overlaps(), isl_space_may_be_set(), isl_union_access_has_kill(), isl_union_map_involves_dims(), isl_union_map_is_identity(), isl_union_map_is_strict_subset(), map_excludes(), map_plain_is_not_identity(), not(), not_involved(), pw_aff_no_nan(), shared_outer(), shift_if_cst_int(), single_unknown(), and test_isl_bool().
| isl_bool isl_bool_ok | ( | int | b | ) |
Definition at line 46 of file isl_ctx.c.
References b(), isl_bool_false, and isl_bool_true.
Referenced by any_scheduled_after(), bin_try_get_match(), constraint_equal(), context_tab_insert_div(), coscheduled_node(), domain_less(), edge_has_src_and_dst(), FN(), has_constraint(), has_ineq(), has_sign(), incremental_on_entire_domain(), is_independent(), isl_aff_involves_locals(), isl_aff_is_cst(), isl_aff_is_nan(), isl_aff_plain_is_zero(), isl_ast_build_need_schedule_map(), isl_ast_expr_is_equal(), isl_ast_node_for_is_degenerate(), isl_ast_node_if_has_else_node(), isl_basic_set_involves_locals(), isl_constraint_is_equality(), isl_constraint_is_lower_bound(), isl_constraint_is_upper_bound(), isl_id_eq(), isl_id_has_name_and_user(), isl_local_div_is_marked_unknown(), isl_local_space_is_div_equality(), isl_mat_has_linearly_independent_rows(), isl_point_is_void(), isl_poly_is_cst(), isl_poly_is_equal(), isl_poly_is_infty(), isl_poly_is_nan(), isl_poly_is_neginfty(), isl_poly_is_negone(), isl_poly_is_one(), isl_poly_is_zero(), isl_qpolynomial_fold_is_empty(), isl_schedule_band_get_permutable(), isl_schedule_band_member_get_coincident(), isl_schedule_node_has_children(), isl_schedule_node_has_next_sibling(), isl_schedule_node_has_parent(), isl_schedule_node_has_previous_sibling(), isl_schedule_tree_is_subtree_anchored(), isl_schedule_tree_plain_is_equal(), isl_space_domain_is_wrapping(), isl_space_has_dim_id(), isl_space_has_dim_name(), isl_space_has_tuple_id(), isl_space_has_tuple_name(), isl_space_is_map(), isl_space_is_wrapping(), isl_space_range_is_wrapping(), isl_stream_yaml_next(), isl_tab_need_undo(), isl_token_has_str(), isl_union_map_contains(), isl_union_map_isa_map(), isl_val_abs_eq(), isl_val_eq(), isl_val_eq_si(), isl_val_gt_si(), isl_val_is_divisible_by(), isl_val_is_infty(), isl_val_is_int(), isl_val_is_nan(), isl_val_is_neg(), isl_val_is_neginfty(), isl_val_is_negone(), isl_val_is_nonneg(), isl_val_is_nonpos(), isl_val_is_one(), isl_val_is_pos(), isl_val_is_rat(), isl_val_is_zero(), isl_val_le(), isl_val_lt(), isl_val_ne(), isl_vec_is_equal(), isl_vec_is_zero(), max_constraint_equal(), next_is_opposite(), next_is_sequence(), ok_to_merge_coincident(), parallel_constraints(), same_name(), test_isl_bool(), and uset_is_bound().
| void * isl_calloc_or_die | ( | isl_ctx * | ctx, |
| size_t | nmemb, | ||
| size_t | size | ||
| ) |
Definition at line 99 of file isl_ctx.c.
References check_non_null(), isl_ctx_next_operation(), and size.
| void isl_ctx_abort | ( | isl_ctx * | ctx | ) |
Definition at line 362 of file isl_ctx.c.
References isl_ctx::abort.
| int isl_ctx_aborted | ( | isl_ctx * | ctx | ) |
Definition at line 374 of file isl_ctx.c.
References isl_ctx::abort.
| isl_ctx * isl_ctx_alloc | ( | void | ) |
Definition at line 261 of file isl_ctx.c.
References isl_ctx_alloc_with_options().
Referenced by main().
| isl_ctx * isl_ctx_alloc_with_options | ( | struct isl_args * | args, |
| __isl_take void * | opt | ||
| ) |
Referenced by ISL_ARG_CHOICE(), and main().
| void isl_ctx_deref | ( | struct isl_ctx * | ctx | ) |
Definition at line 275 of file isl_ctx.c.
References isl_assert, and isl_ctx::ref.
Referenced by delete_lp(), isl_ast_expr_free(), isl_ast_node_free(), isl_ast_print_options_free(), isl_basic_map_free(), ISL_FN(), isl_id_free(), isl_map_free(), isl_mat_free(), isl_poly_free(), isl_printer_free(), isl_scc_graph_free(), isl_schedule_tree_free(), isl_space_free(), isl_stream_free(), isl_tab_lexmin_free(), isl_val_free(), and isl_vec_free().
| void isl_ctx_free | ( | isl_ctx * | ctx | ) |
Definition at line 288 of file isl_ctx.c.
References isl_ctx::id_table, isl_args_free(), isl_blk_clear_cache(), isl_die, isl_error_invalid, isl_hash_table_clear(), isl_int_clear, isl_ctx::negone, isl_ctx::normalize_gcd, isl_ctx::one, isl_ctx::opt, isl_ctx::opt_allocated, print_stats(), isl_options::print_stats, isl_ctx::ref, isl_ctx::stats, isl_ctx::two, isl_ctx::user_args, isl_ctx::user_opt, and isl_ctx::zero.
Referenced by ISL_ARG_CHOICE(), and main().
| unsigned long isl_ctx_get_max_operations | ( | isl_ctx * | ctx | ) |
Definition at line 397 of file isl_ctx.c.
References isl_ctx::max_operations.
Referenced by polly::IslMaxOperationsGuard::IslMaxOperationsGuard(), polly::IslQuotaScope::IslQuotaScope(), and polly::IslQuotaScope::~IslQuotaScope().
Definition at line 321 of file isl_ctx.c.
References isl_ctx::error, and isl_error_invalid.
Referenced by polly::ScopBuilder::buildAliasGroups(), buildFlow(), polly::Dependences::calculateDependences(), polly::IslQuotaScope::hasQuotaExceeded(), and polly::IslMaxOperationsGuard::hasQuotaExceeded().
| const char * isl_ctx_last_error_file | ( | isl_ctx * | ctx | ) |
Definition at line 335 of file isl_ctx.c.
References isl_ctx::error_file.
| int isl_ctx_last_error_line | ( | isl_ctx * | ctx | ) |
Definition at line 342 of file isl_ctx.c.
References isl_ctx::error_line.
| const char * isl_ctx_last_error_msg | ( | isl_ctx * | ctx | ) |
Definition at line 328 of file isl_ctx.c.
References isl_ctx::error_msg.
| struct isl_options * isl_ctx_options | ( | isl_ctx * | ctx | ) |
Definition at line 314 of file isl_ctx.c.
References isl_ctx::opt.
| int isl_ctx_parse_options | ( | isl_ctx * | ctx, |
| int | argc, | ||
| char ** | argv, | ||
| unsigned | flags | ||
| ) |
Definition at line 379 of file isl_ctx.c.
References isl_args_parse(), isl_ctx::user_args, and isl_ctx::user_opt.
Referenced by polly::Scop::Scop().
Definition at line 187 of file isl_ctx.c.
References find_nested_options(), isl_ctx::opt, isl_ctx::user_args, and isl_ctx::user_opt.
| void isl_ctx_ref | ( | struct isl_ctx * | ctx | ) |
Definition at line 270 of file isl_ctx.c.
References isl_ctx::ref.
Referenced by alloc_op(), basic_map_init(), id_alloc(), init_lp(), isl_ast_expr_alloc_int_si(), isl_ast_expr_from_id(), isl_ast_expr_from_val(), isl_ast_node_alloc(), isl_ast_print_options_alloc(), ISL_FN(), isl_map_alloc_space(), isl_mat_alloc(), isl_mat_sub_alloc6(), isl_poly_alloc_rec(), isl_poly_cst_alloc(), isl_printer_to_file(), isl_printer_to_str(), isl_scc_graph_alloc(), isl_schedule_tree_alloc(), isl_space_alloc(), isl_stream_new(), isl_tab_lexmin_from_basic_set(), isl_val_alloc(), isl_vec_alloc(), and LIST().
| void isl_ctx_reset_error | ( | isl_ctx * | ctx | ) |
Definition at line 347 of file isl_ctx.c.
References isl_ctx::error, isl_ctx::error_file, isl_ctx::error_line, isl_ctx::error_msg, and isl_error_none.
Referenced by polly::Dependences::calculateDependences(), isl_ctx_alloc_with_options(), polly::IslMaxOperationsGuard::IslMaxOperationsGuard(), and polly::IslQuotaScope::IslQuotaScope().
| void isl_ctx_reset_operations | ( | isl_ctx * | ctx | ) |
Definition at line 404 of file isl_ctx.c.
References isl_ctx::operations.
Referenced by polly::IslMaxOperationsGuard::IslMaxOperationsGuard().
| void isl_ctx_resume | ( | isl_ctx * | ctx | ) |
Definition at line 368 of file isl_ctx.c.
References isl_ctx::abort.
Definition at line 357 of file isl_ctx.c.
References isl_ctx_set_full_error().
Referenced by isl_ctx_next_operation().
| void isl_ctx_set_max_operations | ( | isl_ctx * | ctx, |
| unsigned long | max_operations | ||
| ) |
Definition at line 388 of file isl_ctx.c.
References isl_ctx::max_operations, and isl_options::max_operations.
Referenced by isl_ctx_alloc_with_options(), polly::IslQuotaScope::IslQuotaScope(), and polly::IslQuotaScope::~IslQuotaScope().
| void isl_handle_error | ( | isl_ctx * | ctx, |
| enum isl_error | error, | ||
| const char * | msg, | ||
| const char * | file, | ||
| int | line | ||
| ) |
Definition at line 130 of file isl_ctx.c.
References isl_ctx_set_full_error(), ISL_ON_ERROR_ABORT, ISL_ON_ERROR_CONTINUE, ISL_ON_ERROR_WARN, isl_options::on_error, and isl_ctx::opt.
| void * isl_malloc_or_die | ( | isl_ctx * | ctx, |
| size_t | size | ||
| ) |
Definition at line 89 of file isl_ctx.c.
References check_non_null(), isl_ctx_next_operation(), and size.
| void * isl_realloc_or_die | ( | isl_ctx * | ctx, |
| void * | ptr, | ||
| size_t | size | ||
| ) |
Definition at line 109 of file isl_ctx.c.
References check_non_null(), isl_ctx_next_operation(), and size.
| isl_stat isl_stat_non_null | ( | void * | obj | ) |
Definition at line 22 of file isl_ctx.c.
References isl_stat_error, isl_stat_ok, and obj.
Referenced by add_same_guard(), add_to_guard_list(), FN(), isl_ast_node_check_any(), isl_ast_node_foreach_descendant_top_down(), isl_bound_add(), isl_bound_add_tight(), preimage_domain_wrapped_domain_entry(), test_bound_space(), test_coalesce_union(), and test_subtract_empty().
1.9.6