| 1 | #ifndef ISL_LOCAL_SPACE_H |
|---|
| 2 | #define ISL_LOCAL_SPACE_H |
|---|
| 3 | |
|---|
| 4 | #include <isl/aff_type.h> |
|---|
| 5 | #include <isl/space_type.h> |
|---|
| 6 | #include <isl/printer.h> |
|---|
| 7 | #include <isl/map_type.h> |
|---|
| 8 | |
|---|
| 9 | #if defined(__cplusplus) |
|---|
| 10 | extern "C" { |
|---|
| 11 | #endif |
|---|
| 12 | |
|---|
| 13 | struct isl_local_space; |
|---|
| 14 | typedef struct isl_local_space isl_local_space; |
|---|
| 15 | |
|---|
| 16 | isl_ctx *isl_local_space_get_ctx(__isl_keep isl_local_space *ls); |
|---|
| 17 | |
|---|
| 18 | __isl_give isl_local_space *isl_local_space_from_space( |
|---|
| 19 | __isl_take isl_space *space); |
|---|
| 20 | |
|---|
| 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); |
|---|
| 25 | |
|---|
| 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); |
|---|
| 28 | |
|---|
| 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); |
|---|
| 32 | |
|---|
| 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); |
|---|
| 52 | |
|---|
| 53 | int isl_local_space_find_dim_by_name(__isl_keep isl_local_space *ls, |
|---|
| 54 | enum isl_dim_type type, const char *name); |
|---|
| 55 | |
|---|
| 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); |
|---|
| 72 | |
|---|
| 73 | __isl_give isl_local_space *isl_local_space_intersect( |
|---|
| 74 | __isl_take isl_local_space *ls1, __isl_take isl_local_space *ls2); |
|---|
| 75 | |
|---|
| 76 | __isl_give isl_local_space *isl_local_space_wrap( |
|---|
| 77 | __isl_take isl_local_space *ls); |
|---|
| 78 | |
|---|
| 79 | isl_bool isl_local_space_is_equal(__isl_keep isl_local_space *ls1, |
|---|
| 80 | __isl_keep isl_local_space *ls2); |
|---|
| 81 | |
|---|
| 82 | __isl_give isl_basic_map *isl_local_space_lifting( |
|---|
| 83 | __isl_take isl_local_space *ls); |
|---|
| 84 | |
|---|
| 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); |
|---|
| 89 | |
|---|
| 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); |
|---|
| 93 | |
|---|
| 94 | #if defined(__cplusplus) |
|---|
| 95 | } |
|---|
| 96 | #endif |
|---|
| 97 | |
|---|
| 98 | #endif |
|---|
| 99 | |
|---|
