1 #ifndef ISL_LOCAL_SPACE_PRIVATE_H
2 #define ISL_LOCAL_SPACE_PRIVATE_H
6 #include <isl/local_space.h>
8 struct isl_local_space
{
15 uint32_t isl_local_space_get_hash(__isl_keep isl_local_space
*ls
);
17 __isl_give isl_local_space
*isl_local_space_alloc(__isl_take isl_space
*dim
,
19 __isl_give isl_local_space
*isl_local_space_alloc_div(__isl_take isl_space
*dim
,
20 __isl_take isl_mat
*div
);
22 __isl_give isl_local_space
*isl_local_space_swap_div(
23 __isl_take isl_local_space
*ls
, int a
, int b
);
24 __isl_give isl_local_space
*isl_local_space_add_div(
25 __isl_take isl_local_space
*ls
, __isl_take isl_vec
*div
);
27 int isl_mat_cmp_div(__isl_keep isl_mat
*div
, int i
, int j
);
28 __isl_give isl_mat
*isl_merge_divs(__isl_keep isl_mat
*div1
,
29 __isl_keep isl_mat
*div2
, int *exp1
, int *exp2
);
31 unsigned isl_local_space_offset(__isl_keep isl_local_space
*ls
,
32 enum isl_dim_type type
);
34 __isl_give isl_local_space
*isl_local_space_replace_divs(
35 __isl_take isl_local_space
*ls
, __isl_take isl_mat
*div
);
36 isl_bool
isl_local_space_div_is_known(__isl_keep isl_local_space
*ls
, int div
);
37 isl_bool
isl_local_space_divs_known(__isl_keep isl_local_space
*ls
);
39 __isl_give isl_local_space
*isl_local_space_substitute_equalities(
40 __isl_take isl_local_space
*ls
, __isl_take isl_basic_set
*eq
);
42 int isl_local_space_is_named_or_nested(__isl_keep isl_local_space
*ls
,
43 enum isl_dim_type type
);
45 __isl_give isl_local_space
*isl_local_space_reset_space(
46 __isl_take isl_local_space
*ls
, __isl_take isl_space
*dim
);
47 __isl_give isl_local_space
*isl_local_space_realign(
48 __isl_take isl_local_space
*ls
, __isl_take isl_reordering
*r
);
50 int isl_local_space_is_div_constraint(__isl_keep isl_local_space
*ls
,
51 isl_int
*constraint
, unsigned div
);
53 int *isl_local_space_get_active(__isl_keep isl_local_space
*ls
, isl_int
*l
);
55 __isl_give isl_local_space
*isl_local_space_substitute_seq(
56 __isl_take isl_local_space
*ls
,
57 enum isl_dim_type type
, unsigned pos
, isl_int
*subs
, int subs_len
,
59 __isl_give isl_local_space
*isl_local_space_substitute(
60 __isl_take isl_local_space
*ls
,
61 enum isl_dim_type type
, unsigned pos
, __isl_keep isl_aff
*subs
);
63 __isl_give isl_local_space
*isl_local_space_lift(
64 __isl_take isl_local_space
*ls
);
66 __isl_give isl_local_space
*isl_local_space_preimage_multi_aff(
67 __isl_take isl_local_space
*ls
, __isl_take isl_multi_aff
*ma
);
69 __isl_give isl_local_space
*isl_local_space_move_dims(
70 __isl_take isl_local_space
*ls
,
71 enum isl_dim_type dst_type
, unsigned dst_pos
,
72 enum isl_dim_type src_type
, unsigned src_pos
, unsigned n
);
74 int isl_local_space_cmp(__isl_keep isl_local_space
*ls1
,
75 __isl_keep isl_local_space
*ls2
);