1 #ifndef ISL_AST_CONTEXT_H
2 #define ISL_AST_CONTEXT_H
7 #include <isl/schedule.h>
9 #if defined(__cplusplus)
13 struct __isl_export isl_ast_build
;
14 typedef struct isl_ast_build isl_ast_build
;
17 isl_stat
isl_options_set_ast_build_atomic_upper_bound(isl_ctx
*ctx
, int val
);
18 int isl_options_get_ast_build_atomic_upper_bound(isl_ctx
*ctx
);
20 isl_stat
isl_options_set_ast_build_prefer_pdiv(isl_ctx
*ctx
, int val
);
21 int isl_options_get_ast_build_prefer_pdiv(isl_ctx
*ctx
);
23 isl_stat
isl_options_set_ast_build_detect_min_max(isl_ctx
*ctx
, int val
);
24 int isl_options_get_ast_build_detect_min_max(isl_ctx
*ctx
);
26 isl_stat
isl_options_set_ast_build_exploit_nested_bounds(isl_ctx
*ctx
, int val
);
27 int isl_options_get_ast_build_exploit_nested_bounds(isl_ctx
*ctx
);
29 isl_stat
isl_options_set_ast_build_group_coscheduled(isl_ctx
*ctx
, int val
);
30 int isl_options_get_ast_build_group_coscheduled(isl_ctx
*ctx
);
32 #define ISL_AST_BUILD_SEPARATION_BOUNDS_EXPLICIT 0
33 #define ISL_AST_BUILD_SEPARATION_BOUNDS_IMPLICIT 1
34 isl_stat
isl_options_set_ast_build_separation_bounds(isl_ctx
*ctx
, int val
);
35 int isl_options_get_ast_build_separation_bounds(isl_ctx
*ctx
);
37 isl_stat
isl_options_set_ast_build_scale_strides(isl_ctx
*ctx
, int val
);
38 int isl_options_get_ast_build_scale_strides(isl_ctx
*ctx
);
40 isl_stat
isl_options_set_ast_build_allow_else(isl_ctx
*ctx
, int val
);
41 int isl_options_get_ast_build_allow_else(isl_ctx
*ctx
);
43 isl_stat
isl_options_set_ast_build_allow_or(isl_ctx
*ctx
, int val
);
44 int isl_options_get_ast_build_allow_or(isl_ctx
*ctx
);
46 isl_ctx
*isl_ast_build_get_ctx(__isl_keep isl_ast_build
*build
);
49 __isl_give isl_ast_build
*isl_ast_build_alloc(isl_ctx
*ctx
);
51 __isl_give isl_ast_build
*isl_ast_build_from_context(__isl_take isl_set
*set
);
53 __isl_give isl_space
*isl_ast_build_get_schedule_space(
54 __isl_keep isl_ast_build
*build
);
55 __isl_give isl_union_map
*isl_ast_build_get_schedule(
56 __isl_keep isl_ast_build
*build
);
58 __isl_give isl_ast_build
*isl_ast_build_restrict(
59 __isl_take isl_ast_build
*build
, __isl_take isl_set
*set
);
61 __isl_give isl_ast_build
*isl_ast_build_copy(
62 __isl_keep isl_ast_build
*build
);
63 __isl_null isl_ast_build
*isl_ast_build_free(
64 __isl_take isl_ast_build
*build
);
66 __isl_give isl_ast_build
*isl_ast_build_set_options(
67 __isl_take isl_ast_build
*build
,
68 __isl_take isl_union_map
*options
);
69 __isl_give isl_ast_build
*isl_ast_build_set_iterators(
70 __isl_take isl_ast_build
*build
,
71 __isl_take isl_id_list
*iterators
);
72 __isl_give isl_ast_build
*isl_ast_build_set_at_each_domain(
73 __isl_take isl_ast_build
*build
,
74 __isl_give isl_ast_node
*(*fn
)(__isl_take isl_ast_node
*node
,
75 __isl_keep isl_ast_build
*build
, void *user
), void *user
);
76 __isl_give isl_ast_build
*isl_ast_build_set_before_each_for(
77 __isl_take isl_ast_build
*build
,
78 __isl_give isl_id
*(*fn
)(__isl_keep isl_ast_build
*build
,
79 void *user
), void *user
);
80 __isl_give isl_ast_build
*isl_ast_build_set_after_each_for(
81 __isl_take isl_ast_build
*build
,
82 __isl_give isl_ast_node
*(*fn
)(__isl_take isl_ast_node
*node
,
83 __isl_keep isl_ast_build
*build
, void *user
), void *user
);
84 __isl_give isl_ast_build
*isl_ast_build_set_before_each_mark(
85 __isl_take isl_ast_build
*build
,
86 isl_stat (*fn
)(__isl_keep isl_id
*mark
, __isl_keep isl_ast_build
*build
,
87 void *user
), void *user
);
88 __isl_give isl_ast_build
*isl_ast_build_set_after_each_mark(
89 __isl_take isl_ast_build
*build
,
90 __isl_give isl_ast_node
*(*fn
)(__isl_take isl_ast_node
*node
,
91 __isl_keep isl_ast_build
*build
, void *user
), void *user
);
92 __isl_give isl_ast_build
*isl_ast_build_set_create_leaf(
93 __isl_take isl_ast_build
*build
,
94 __isl_give isl_ast_node
*(*fn
)(__isl_take isl_ast_build
*build
,
95 void *user
), void *user
);
98 __isl_give isl_ast_expr
*isl_ast_build_expr_from_set(
99 __isl_keep isl_ast_build
*build
, __isl_take isl_set
*set
);
101 __isl_give isl_ast_expr
*isl_ast_build_expr_from_pw_aff(
102 __isl_keep isl_ast_build
*build
, __isl_take isl_pw_aff
*pa
);
104 __isl_give isl_ast_expr
*isl_ast_build_access_from_pw_multi_aff(
105 __isl_keep isl_ast_build
*build
, __isl_take isl_pw_multi_aff
*pma
);
107 __isl_give isl_ast_expr
*isl_ast_build_access_from_multi_pw_aff(
108 __isl_keep isl_ast_build
*build
, __isl_take isl_multi_pw_aff
*mpa
);
110 __isl_give isl_ast_expr
*isl_ast_build_call_from_pw_multi_aff(
111 __isl_keep isl_ast_build
*build
, __isl_take isl_pw_multi_aff
*pma
);
113 __isl_give isl_ast_expr
*isl_ast_build_call_from_multi_pw_aff(
114 __isl_keep isl_ast_build
*build
, __isl_take isl_multi_pw_aff
*mpa
);
116 __isl_give isl_ast_node
*isl_ast_build_node_from_schedule(
117 __isl_keep isl_ast_build
*build
, __isl_take isl_schedule
*schedule
);
119 __isl_give isl_ast_node
*isl_ast_build_node_from_schedule_map(
120 __isl_keep isl_ast_build
*build
, __isl_take isl_union_map
*schedule
);
121 __isl_give isl_ast_node
*isl_ast_build_ast_from_schedule(
122 __isl_keep isl_ast_build
*build
, __isl_take isl_union_map
*schedule
);
124 #if defined(__cplusplus)