1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
#ifndef ISL_LOCAL_SPACE_PRIVATE_H
#define ISL_LOCAL_SPACE_PRIVATE_H
#include <isl/mat.h>
#include <isl/set.h>
#include <isl/local_space.h>
struct isl_local_space {
int ref;
isl_space *dim;
isl_mat *div;
};
isl_stat isl_local_space_check_range(__isl_keep isl_local_space *ls,
enum isl_dim_type type, unsigned first, unsigned n);
uint32_t isl_local_space_get_hash(__isl_keep isl_local_space *ls);
__isl_give isl_local_space *isl_local_space_alloc(__isl_take isl_space *space,
unsigned n_div);
__isl_give isl_local_space *isl_local_space_alloc_div(
__isl_take isl_space *space, __isl_take isl_mat *div);
__isl_keep isl_space *isl_local_space_peek_space(
__isl_keep isl_local_space *ls);
__isl_give isl_local_space *isl_local_space_swap_div(
__isl_take isl_local_space *ls, int a, int b);
__isl_give isl_local_space *isl_local_space_add_div(
__isl_take isl_local_space *ls, __isl_take isl_vec *div);
int isl_mat_cmp_div(__isl_keep isl_mat *div, int i, int j);
__isl_give isl_mat *isl_merge_divs(__isl_keep isl_mat *div1,
__isl_keep isl_mat *div2, int *exp1, int *exp2);
unsigned isl_local_space_offset(__isl_keep isl_local_space *ls,
enum isl_dim_type type);
__isl_give isl_local_space *isl_local_space_replace_divs(
__isl_take isl_local_space *ls, __isl_take isl_mat *div);
isl_bool isl_local_space_div_is_marked_unknown(__isl_keep isl_local_space *ls,
int div);
isl_bool isl_local_space_div_is_known(__isl_keep isl_local_space *ls, int div);
isl_bool isl_local_space_divs_known(__isl_keep isl_local_space *ls);
__isl_give isl_basic_set *isl_local_space_lift_basic_set(
__isl_take isl_local_space *ls, __isl_take isl_basic_set *bset);
__isl_give isl_set *isl_local_space_lift_set(__isl_take isl_local_space *ls,
__isl_take isl_set *set);
__isl_give isl_local_space *isl_local_space_substitute_equalities(
__isl_take isl_local_space *ls, __isl_take isl_basic_set *eq);
isl_bool isl_local_space_is_named_or_nested(__isl_keep isl_local_space *ls,
enum isl_dim_type type);
isl_bool isl_local_space_has_equal_space(__isl_keep isl_local_space *ls1,
__isl_keep isl_local_space *ls2);
__isl_give isl_local_space *isl_local_space_reset_space(
__isl_take isl_local_space *ls, __isl_take isl_space *space);
__isl_give isl_local_space *isl_local_space_realign(
__isl_take isl_local_space *ls, __isl_take isl_reordering *r);
isl_bool isl_local_space_is_div_constraint(__isl_keep isl_local_space *ls,
isl_int *constraint, unsigned div);
isl_bool isl_local_space_is_div_equality(__isl_keep isl_local_space *ls,
isl_int *constraint, unsigned div);
int *isl_local_space_get_active(__isl_keep isl_local_space *ls, isl_int *l);
__isl_give isl_local_space *isl_local_space_substitute_seq(
__isl_take isl_local_space *ls,
enum isl_dim_type type, unsigned pos, isl_int *subs, int subs_len,
int first, int n);
__isl_give isl_local_space *isl_local_space_substitute(
__isl_take isl_local_space *ls,
enum isl_dim_type type, unsigned pos, __isl_keep isl_aff *subs);
__isl_give isl_local_space *isl_local_space_lift(
__isl_take isl_local_space *ls);
__isl_give isl_local_space *isl_local_space_preimage_multi_aff(
__isl_take isl_local_space *ls, __isl_take isl_multi_aff *ma);
__isl_give isl_local_space *isl_local_space_move_dims(
__isl_take isl_local_space *ls,
enum isl_dim_type dst_type, unsigned dst_pos,
enum isl_dim_type src_type, unsigned src_pos, unsigned n);
int isl_local_space_cmp(__isl_keep isl_local_space *ls1,
__isl_keep isl_local_space *ls2);
__isl_give isl_point *isl_local_space_lift_point(__isl_take isl_local_space *ls,
__isl_take isl_point *pnt);
isl_bool isl_local_space_has_space(__isl_keep isl_local_space *ls,
__isl_keep isl_space *space);
#endif
|
