Polly 20.0.0git
|
Go to the source code of this file.
Functions | |
__isl_give isl_ast_expr * | isl_ast_build_expr_from_basic_set (__isl_keep isl_ast_build *build, __isl_take isl_basic_set *bset) |
__isl_give isl_ast_expr * | isl_ast_build_expr_from_set_internal (__isl_keep isl_ast_build *build, __isl_take isl_set *set) |
__isl_give isl_ast_expr * | isl_ast_build_expr_from_pw_aff_internal (__isl_keep isl_ast_build *build, __isl_take isl_pw_aff *pa) |
__isl_give isl_ast_expr * | isl_ast_expr_from_aff (__isl_take isl_aff *aff, __isl_keep isl_ast_build *build) |
__isl_give isl_ast_expr * | isl_ast_expr_set_op_arg (__isl_take isl_ast_expr *expr, int pos, __isl_take isl_ast_expr *arg) |
__isl_give isl_ast_node * | isl_ast_build_call_from_executed (__isl_keep isl_ast_build *build, __isl_take isl_map *executed) |
__isl_give isl_ast_node * isl_ast_build_call_from_executed | ( | __isl_keep isl_ast_build * | build, |
__isl_take isl_map * | executed | ||
) |
Definition at line 2759 of file isl_ast_build_expr.c.
References isl_from_pw_aff_data::build, isl_ast_build_compute_gist_pw_multi_aff(), isl_ast_build_from_pw_multi_aff_internal(), isl_ast_build_get_domain(), isl_ast_expr_op_call, isl_ast_node_alloc_user(), isl_pw_multi_aff_from_map(), and isl_pw_multi_aff_intersect_domain().
Referenced by isl_ast_graft_alloc_domain().
__isl_give isl_ast_expr * isl_ast_build_expr_from_basic_set | ( | __isl_keep isl_ast_build * | build, |
__isl_take isl_basic_set * | bset | ||
) |
Definition at line 1671 of file isl_ast_build_expr.c.
References isl_ast_add_term_data::build, cmp_constraint(), isl_ast_build_copy(), isl_ast_build_free(), isl_ast_build_restrict_generated(), isl_ast_expr_alloc_int_si(), isl_ast_expr_and(), isl_ast_expr_from_constraint(), isl_basic_set_free(), isl_basic_set_from_constraint(), isl_basic_set_get_constraint_list(), isl_constraint_copy(), isl_set_from_basic_set(), n, res, and set.
Referenced by isl_ast_build_expr_from_set_internal().
__isl_give isl_ast_expr * isl_ast_build_expr_from_pw_aff_internal | ( | __isl_keep isl_ast_build * | build, |
__isl_take isl_pw_aff * | pa | ||
) |
Definition at line 2436 of file isl_ast_build_expr.c.
References ast_expr_from_pw_aff(), isl_from_pw_aff_data::build, build_pieces(), isl_ast_build_compute_gist_pw_aff(), isl_from_pw_aff_data_clear(), isl_from_pw_aff_data_init(), isl_pw_aff_coalesce(), isl_pw_aff_foreach_piece(), isl_pw_aff_free(), res, and set_none().
Referenced by isl_ast_build_expr_from_pw_aff(), isl_ast_build_with_arguments(), reduce_list(), and refine_degenerate().
__isl_give isl_ast_expr * isl_ast_build_expr_from_set_internal | ( | __isl_keep isl_ast_build * | build, |
__isl_take isl_set * | set | ||
) |
Definition at line 1738 of file isl_ast_build_expr.c.
References isl_ast_add_term_data::build, domain, isl_ast_build_expr_from_basic_set(), isl_ast_build_get_ctx(), isl_ast_build_get_domain(), isl_ast_expr_from_val(), isl_ast_expr_or(), isl_basic_set_copy(), isl_basic_set_gist(), isl_basic_set_list, isl_set_copy(), isl_set_free(), isl_set_from_basic_set(), isl_set_get_basic_set_list(), isl_set_intersect(), isl_set_simple_hull(), isl_set_subtract(), isl_val_zero(), n, res, and set.
Referenced by add_intermediate_piece(), ast_node_insert_if(), isl_ast_build_expr_from_set(), and set_for_cond_from_set().
__isl_give isl_ast_expr * isl_ast_expr_from_aff | ( | __isl_take isl_aff * | aff, |
__isl_keep isl_ast_build * | build | ||
) |
Definition at line 1255 of file isl_ast_build_expr.c.
References add_terms(), aff, ast_expr_sub(), isl_ast_add_term_data::build, isl_ast_add_term_data::cst, isl_ast_add_terms_data::expr, extract_modulos(), extract_rational(), isl_aff_free(), isl_aff_get_constant_val(), isl_aff_get_ctx(), isl_aff_get_domain_local_space(), isl_ast_expr_add_int(), isl_ast_expr_alloc_int_si(), isl_local_space_free(), and isl_ast_add_term_data::ls.
Referenced by ast_expr_from_aff_list(), div_mod(), and extract_stride_constraint().
__isl_give isl_ast_expr * isl_ast_expr_set_op_arg | ( | __isl_take isl_ast_expr * | expr, |
int | pos, | ||
__isl_take isl_ast_expr * | arg | ||
) |