add encapsulate_dynamic_control option
[pet.git] / scop.h
blobd7568abbcf22be4a904ee95f51e97c5e58d9c6dc
1 #ifndef PET_SCOP_H
2 #define PET_SCOP_H
4 #include <pet.h>
6 #include <isl/aff.h>
7 #include <isl/id.h>
9 #if defined(__cplusplus)
10 extern "C" {
11 #endif
13 /* Do we want to skip the rest of the current loop iteration (pet_skip_now)
14 * or subsequent loop iterations (pet_skip_later)?
16 enum pet_skip { pet_skip_now = 0, pet_skip_later = 1 };
18 struct pet_stmt *pet_stmt_from_pet_tree(__isl_take isl_set *domain,
19 int id, __isl_take pet_tree *tree);
20 void pet_stmt_dump(struct pet_stmt *stmt);
21 void *pet_stmt_free(struct pet_stmt *stmt);
23 int pet_stmt_is_assume(struct pet_stmt *stmt);
25 struct pet_type *pet_type_alloc(isl_ctx *ctx, const char *name,
26 const char *definition);
27 struct pet_type *pet_type_free(struct pet_type *type);
29 void pet_array_dump(struct pet_array *array);
30 struct pet_array *pet_array_free(struct pet_array *array);
32 void *pet_implication_free(struct pet_implication *implication);
34 struct pet_stmt *pet_stmt_prefix(struct pet_stmt *stmt, int pos);
36 struct pet_scop *pet_scop_from_pet_stmt(__isl_take isl_space *space,
37 struct pet_stmt *stmt);
38 struct pet_scop *pet_scop_alloc(isl_ctx *ctx);
39 struct pet_scop *pet_scop_empty(__isl_take isl_space *space);
40 struct pet_scop *pet_scop_add_seq(isl_ctx *ctx, struct pet_scop *scop1,
41 struct pet_scop *scop2);
42 struct pet_scop *pet_scop_add_par(isl_ctx *ctx, struct pet_scop *scop1,
43 struct pet_scop *scop2);
45 int pet_scop_is_equal(struct pet_scop *scop1, struct pet_scop *scop2);
47 struct pet_scop *pet_scop_intersect_domain_prefix(struct pet_scop *scop,
48 __isl_take isl_set *domain);
49 struct pet_scop *pet_scop_prefix(struct pet_scop *scop, int pos);
50 struct pet_scop *pet_scop_embed(struct pet_scop *scop, __isl_take isl_set *dom,
51 __isl_take isl_aff *sched);
52 struct pet_scop *pet_scop_restrict(struct pet_scop *scop,
53 __isl_take isl_set *cond);
54 struct pet_scop *pet_scop_restrict_context(struct pet_scop *scop,
55 __isl_take isl_set *context);
56 struct pet_scop *pet_scop_reset_context(struct pet_scop *scop);
57 struct pet_scop *pet_scop_filter(struct pet_scop *scop,
58 __isl_take isl_multi_pw_aff *test, int satisfied);
59 struct pet_scop *pet_scop_merge_filters(struct pet_scop *scop);
60 struct pet_scop *pet_scop_add_implication(struct pet_scop *scop,
61 __isl_take isl_map *map, int satisfied);
63 struct pet_scop *pet_scop_gist(struct pet_scop *scop,
64 __isl_keep isl_union_map *value_bounds);
66 struct pet_scop *pet_scop_add_ref_ids(struct pet_scop *scop);
67 struct pet_scop *pet_scop_anonymize(struct pet_scop *scop);
69 int pet_scop_has_skip(struct pet_scop *scop, enum pet_skip type);
70 int pet_scop_has_affine_skip(struct pet_scop *scop, enum pet_skip type);
71 int pet_scop_has_universal_skip(struct pet_scop *scop, enum pet_skip type);
72 int pet_scop_has_var_skip(struct pet_scop *scop, enum pet_skip type);
73 struct pet_scop *pet_scop_set_skip(struct pet_scop *scop,
74 enum pet_skip type, __isl_take isl_multi_pw_aff *skip);
75 __isl_give isl_multi_pw_aff *pet_scop_get_skip(struct pet_scop *scop,
76 enum pet_skip type);
77 __isl_give isl_set *pet_scop_get_affine_skip_domain(struct pet_scop *scop,
78 enum pet_skip type);
79 __isl_give isl_id *pet_scop_get_skip_id(struct pet_scop *scop,
80 enum pet_skip type);
81 __isl_give pet_expr *pet_scop_get_skip_expr(struct pet_scop *scop,
82 enum pet_skip type);
83 void pet_scop_reset_skip(struct pet_scop *scop, enum pet_skip type);
85 struct pet_scop *pet_scop_add_array(struct pet_scop *scop,
86 struct pet_array *array);
87 __isl_give isl_multi_pw_aff *pet_create_test_index(__isl_take isl_space *space,
88 int test_nr);
89 struct pet_scop *pet_scop_add_boolean_array(struct pet_scop *scop,
90 __isl_take isl_set *domain, __isl_take isl_multi_pw_aff *index,
91 int int_size);
93 struct pet_scop *pet_scop_update_start_end(struct pet_scop *scop,
94 unsigned start, unsigned end);
95 struct pet_scop *pet_scop_update_start_end_from_loc(struct pet_scop *scop,
96 __isl_keep pet_loc *loc);
97 struct pet_scop *pet_scop_set_loc(struct pet_scop *scop,
98 __isl_take pet_loc *loc);
99 struct pet_scop *pet_scop_set_input_file(struct pet_scop *scop, FILE *input);
101 #if defined(__cplusplus)
103 #endif
105 #endif