1 #ifndef ISL_AST_BUILD_H
2 #define ISL_AST_BUILD_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
);
56 __isl_give isl_union_map
*isl_ast_build_get_schedule(
57 __isl_keep isl_ast_build
*build
);
59 __isl_give isl_ast_build
*isl_ast_build_restrict(
60 __isl_take isl_ast_build
*build
, __isl_take isl_set
*set
);
62 __isl_give isl_ast_build
*isl_ast_build_copy(
63 __isl_keep isl_ast_build
*build
);
64 __isl_null isl_ast_build
*isl_ast_build_free(
65 __isl_take isl_ast_build
*build
);
67 __isl_give isl_ast_build
*isl_ast_build_set_options(
68 __isl_take isl_ast_build
*build
,
69 __isl_take isl_union_map
*options
);
70 __isl_give isl_ast_build
*isl_ast_build_set_iterators(
71 __isl_take isl_ast_build
*build
,
72 __isl_take isl_id_list
*iterators
);
74 __isl_give isl_ast_build
*isl_ast_build_set_at_each_domain(
75 __isl_take isl_ast_build
*build
,
76 __isl_give isl_ast_node
*(*fn
)(__isl_take isl_ast_node
*node
,
77 __isl_keep isl_ast_build
*build
, void *user
), void *user
);
78 __isl_give isl_ast_build
*isl_ast_build_set_before_each_for(
79 __isl_take isl_ast_build
*build
,
80 __isl_give isl_id
*(*fn
)(__isl_keep isl_ast_build
*build
,
81 void *user
), void *user
);
82 __isl_give isl_ast_build
*isl_ast_build_set_after_each_for(
83 __isl_take isl_ast_build
*build
,
84 __isl_give isl_ast_node
*(*fn
)(__isl_take isl_ast_node
*node
,
85 __isl_keep isl_ast_build
*build
, void *user
), void *user
);
86 __isl_give isl_ast_build
*isl_ast_build_set_before_each_mark(
87 __isl_take isl_ast_build
*build
,
88 isl_stat (*fn
)(__isl_keep isl_id
*mark
, __isl_keep isl_ast_build
*build
,
89 void *user
), void *user
);
90 __isl_give isl_ast_build
*isl_ast_build_set_after_each_mark(
91 __isl_take isl_ast_build
*build
,
92 __isl_give isl_ast_node
*(*fn
)(__isl_take isl_ast_node
*node
,
93 __isl_keep isl_ast_build
*build
, void *user
), void *user
);
94 __isl_give isl_ast_build
*isl_ast_build_set_create_leaf(
95 __isl_take isl_ast_build
*build
,
96 __isl_give isl_ast_node
*(*fn
)(__isl_take isl_ast_build
*build
,
97 void *user
), void *user
);
100 __isl_give isl_ast_expr
*isl_ast_build_expr_from_set(
101 __isl_keep isl_ast_build
*build
, __isl_take isl_set
*set
);
103 __isl_give isl_ast_expr
*isl_ast_build_expr_from_pw_aff(
104 __isl_keep isl_ast_build
*build
, __isl_take isl_pw_aff
*pa
);
106 __isl_give isl_ast_expr
*isl_ast_build_access_from_pw_multi_aff(
107 __isl_keep isl_ast_build
*build
, __isl_take isl_pw_multi_aff
*pma
);
109 __isl_give isl_ast_expr
*isl_ast_build_access_from_multi_pw_aff(
110 __isl_keep isl_ast_build
*build
, __isl_take isl_multi_pw_aff
*mpa
);
112 __isl_give isl_ast_expr
*isl_ast_build_call_from_pw_multi_aff(
113 __isl_keep isl_ast_build
*build
, __isl_take isl_pw_multi_aff
*pma
);
115 __isl_give isl_ast_expr
*isl_ast_build_call_from_multi_pw_aff(
116 __isl_keep isl_ast_build
*build
, __isl_take isl_multi_pw_aff
*mpa
);
119 __isl_give isl_ast_node
*isl_ast_build_node_from_schedule(
120 __isl_keep isl_ast_build
*build
, __isl_take isl_schedule
*schedule
);
122 __isl_give isl_ast_node
*isl_ast_build_node_from_schedule_map(
123 __isl_keep isl_ast_build
*build
, __isl_take isl_union_map
*schedule
);
124 __isl_give isl_ast_node
*isl_ast_build_ast_from_schedule(
125 __isl_keep isl_ast_build
*build
, __isl_take isl_union_map
*schedule
);
127 #if defined(__cplusplus)