isl_ast_codegen.c: add_domain: only take single copy of inverse schedule
[isl.git] / include / isl / local_space.h
blob51305d2ee02487bff6bbf7cde5616024154cafe6
1 #ifndef ISL_LOCAL_SPACE_H
2 #define ISL_LOCAL_SPACE_H
4 #include <isl/aff_type.h>
5 #include <isl/space_type.h>
6 #include <isl/printer.h>
7 #include <isl/map_type.h>
9 #if defined(__cplusplus)
10 extern "C" {
11 #endif
13 struct isl_local_space;
14 typedef struct isl_local_space isl_local_space;
16 isl_ctx *isl_local_space_get_ctx(__isl_keep isl_local_space *ls);
18 __isl_give isl_local_space *isl_local_space_from_space(
19 __isl_take isl_space *space);
21 __isl_give isl_local_space *isl_local_space_copy(
22 __isl_keep isl_local_space *ls);
23 __isl_null isl_local_space *isl_local_space_free(
24 __isl_take isl_local_space *ls);
26 isl_bool isl_local_space_is_params(__isl_keep isl_local_space *ls);
27 isl_bool isl_local_space_is_set(__isl_keep isl_local_space *ls);
29 __isl_give isl_local_space *isl_local_space_set_tuple_id(
30 __isl_take isl_local_space *ls,
31 enum isl_dim_type type, __isl_take isl_id *id);
33 isl_size isl_local_space_dim(__isl_keep isl_local_space *ls,
34 enum isl_dim_type type);
35 isl_bool isl_local_space_has_dim_name(__isl_keep isl_local_space *ls,
36 enum isl_dim_type type, unsigned pos);
37 const char *isl_local_space_get_dim_name(__isl_keep isl_local_space *ls,
38 enum isl_dim_type type, unsigned pos);
39 __isl_give isl_local_space *isl_local_space_set_dim_name(
40 __isl_take isl_local_space *ls,
41 enum isl_dim_type type, unsigned pos, const char *s);
42 isl_bool isl_local_space_has_dim_id(__isl_keep isl_local_space *ls,
43 enum isl_dim_type type, unsigned pos);
44 __isl_give isl_id *isl_local_space_get_dim_id(__isl_keep isl_local_space *ls,
45 enum isl_dim_type type, unsigned pos);
46 __isl_give isl_local_space *isl_local_space_set_dim_id(
47 __isl_take isl_local_space *ls,
48 enum isl_dim_type type, unsigned pos, __isl_take isl_id *id);
49 __isl_give isl_space *isl_local_space_get_space(__isl_keep isl_local_space *ls);
50 __isl_give isl_aff *isl_local_space_get_div(__isl_keep isl_local_space *ls,
51 int pos);
53 int isl_local_space_find_dim_by_name(__isl_keep isl_local_space *ls,
54 enum isl_dim_type type, const char *name);
56 __isl_give isl_local_space *isl_local_space_domain(
57 __isl_take isl_local_space *ls);
58 __isl_give isl_local_space *isl_local_space_range(
59 __isl_take isl_local_space *ls);
60 __isl_give isl_local_space *isl_local_space_from_domain(
61 __isl_take isl_local_space *ls);
62 __isl_give isl_local_space *isl_local_space_add_dims(
63 __isl_take isl_local_space *ls, enum isl_dim_type type, unsigned n);
64 __isl_give isl_local_space *isl_local_space_drop_dims(
65 __isl_take isl_local_space *ls,
66 enum isl_dim_type type, unsigned first, unsigned n);
67 __isl_give isl_local_space *isl_local_space_insert_dims(
68 __isl_take isl_local_space *ls,
69 enum isl_dim_type type, unsigned first, unsigned n);
70 __isl_give isl_local_space *isl_local_space_set_from_params(
71 __isl_take isl_local_space *ls);
73 __isl_give isl_local_space *isl_local_space_intersect(
74 __isl_take isl_local_space *ls1, __isl_take isl_local_space *ls2);
76 __isl_give isl_local_space *isl_local_space_wrap(
77 __isl_take isl_local_space *ls);
79 isl_bool isl_local_space_is_equal(__isl_keep isl_local_space *ls1,
80 __isl_keep isl_local_space *ls2);
82 __isl_give isl_basic_map *isl_local_space_lifting(
83 __isl_take isl_local_space *ls);
85 __isl_give isl_local_space *isl_local_space_flatten_domain(
86 __isl_take isl_local_space *ls);
87 __isl_give isl_local_space *isl_local_space_flatten_range(
88 __isl_take isl_local_space *ls);
90 __isl_give isl_printer *isl_printer_print_local_space(__isl_take isl_printer *p,
91 __isl_keep isl_local_space *ls);
92 void isl_local_space_dump(__isl_keep isl_local_space *ls);
94 #if defined(__cplusplus)
96 #endif
98 #endif