1 #ifndef ISL_AST_CONTEXT_H
2 #define ISL_AST_CONTEXT_H
8 #if defined(__cplusplus)
13 typedef struct isl_ast_build isl_ast_build
;
16 int isl_options_set_ast_build_atomic_upper_bound(isl_ctx
*ctx
, int val
);
17 int isl_options_get_ast_build_atomic_upper_bound(isl_ctx
*ctx
);
19 int isl_options_set_ast_build_prefer_pdiv(isl_ctx
*ctx
, int val
);
20 int isl_options_get_ast_build_prefer_pdiv(isl_ctx
*ctx
);
22 int isl_options_set_ast_build_exploit_nested_bounds(isl_ctx
*ctx
, int val
);
23 int isl_options_get_ast_build_exploit_nested_bounds(isl_ctx
*ctx
);
25 int isl_options_set_ast_build_group_coscheduled(isl_ctx
*ctx
, int val
);
26 int isl_options_get_ast_build_group_coscheduled(isl_ctx
*ctx
);
28 #define ISL_AST_BUILD_SEPARATION_BOUNDS_EXPLICIT 0
29 #define ISL_AST_BUILD_SEPARATION_BOUNDS_IMPLICIT 1
30 int isl_options_set_ast_build_separation_bounds(isl_ctx
*ctx
, int val
);
31 int isl_options_get_ast_build_separation_bounds(isl_ctx
*ctx
);
33 int isl_options_set_ast_build_scale_strides(isl_ctx
*ctx
, int val
);
34 int isl_options_get_ast_build_scale_strides(isl_ctx
*ctx
);
36 int isl_options_set_ast_build_allow_else(isl_ctx
*ctx
, int val
);
37 int isl_options_get_ast_build_allow_else(isl_ctx
*ctx
);
39 isl_ctx
*isl_ast_build_get_ctx(__isl_keep isl_ast_build
*build
);
41 __isl_give isl_ast_build
*isl_ast_build_from_context(__isl_take isl_set
*set
);
43 __isl_give isl_space
*isl_ast_build_get_schedule_space(
44 __isl_keep isl_ast_build
*build
);
45 __isl_give isl_union_map
*isl_ast_build_get_schedule(
46 __isl_keep isl_ast_build
*build
);
48 __isl_give isl_ast_build
*isl_ast_build_restrict(
49 __isl_take isl_ast_build
*build
, __isl_take isl_set
*set
);
51 __isl_give isl_ast_build
*isl_ast_build_copy(
52 __isl_keep isl_ast_build
*build
);
53 void *isl_ast_build_free(__isl_take isl_ast_build
*build
);
55 __isl_give isl_ast_build
*isl_ast_build_set_options(
56 __isl_take isl_ast_build
*build
,
57 __isl_take isl_union_map
*options
);
58 __isl_give isl_ast_build
*isl_ast_build_set_iterators(
59 __isl_take isl_ast_build
*build
,
60 __isl_take isl_id_list
*iterators
);
61 __isl_give isl_ast_build
*isl_ast_build_set_at_each_domain(
62 __isl_take isl_ast_build
*build
,
63 __isl_give isl_ast_node
*(*fn
)(__isl_take isl_ast_node
*node
,
64 __isl_keep isl_ast_build
*build
, void *user
), void *user
);
65 __isl_give isl_ast_build
*isl_ast_build_set_before_each_for(
66 __isl_take isl_ast_build
*build
,
67 __isl_give isl_ast_node
*(*fn
)(__isl_take isl_ast_node
*node
,
68 __isl_keep isl_ast_build
*build
, void *user
), void *user
);
69 __isl_give isl_ast_build
*isl_ast_build_set_after_each_for(
70 __isl_take isl_ast_build
*build
,
71 __isl_give isl_ast_node
*(*fn
)(__isl_take isl_ast_node
*node
,
72 __isl_keep isl_ast_build
*build
, void *user
), void *user
);
73 __isl_give isl_ast_build
*isl_ast_build_set_create_leaf(
74 __isl_take isl_ast_build
*build
,
75 __isl_give isl_ast_node
*(*fn
)(__isl_take isl_ast_build
*build
,
76 void *user
), void *user
);
78 __isl_give isl_ast_expr
*isl_ast_build_expr_from_pw_aff(
79 __isl_keep isl_ast_build
*build
, __isl_take isl_pw_aff
*pa
);
80 __isl_give isl_ast_expr
*isl_ast_build_call_from_pw_multi_aff(
81 __isl_keep isl_ast_build
*build
, __isl_take isl_pw_multi_aff
*pma
);
83 __isl_give isl_ast_node
*isl_ast_build_ast_from_schedule(
84 __isl_keep isl_ast_build
*build
, __isl_take isl_union_map
*schedule
);
86 #if defined(__cplusplus)