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_keep isl_space
*isl_local_space_peek_space(
23 __isl_keep isl_local_space
*ls
);
25 __isl_give isl_local_space
*isl_local_space_swap_div(
26 __isl_take isl_local_space
*ls
, int a
, int b
);
27 __isl_give isl_local_space
*isl_local_space_add_div(
28 __isl_take isl_local_space
*ls
, __isl_take isl_vec
*div
);
30 int isl_mat_cmp_div(__isl_keep isl_mat
*div
, int i
, int j
);
31 __isl_give isl_mat
*isl_merge_divs(__isl_keep isl_mat
*div1
,
32 __isl_keep isl_mat
*div2
, int *exp1
, int *exp2
);
34 unsigned isl_local_space_offset(__isl_keep isl_local_space
*ls
,
35 enum isl_dim_type type
);
37 __isl_give isl_local_space
*isl_local_space_replace_divs(
38 __isl_take isl_local_space
*ls
, __isl_take isl_mat
*div
);
39 isl_bool
isl_local_space_div_is_marked_unknown(__isl_keep isl_local_space
*ls
,
41 isl_bool
isl_local_space_div_is_known(__isl_keep isl_local_space
*ls
, int div
);
42 isl_bool
isl_local_space_divs_known(__isl_keep isl_local_space
*ls
);
44 __isl_give isl_local_space
*isl_local_space_substitute_equalities(
45 __isl_take isl_local_space
*ls
, __isl_take isl_basic_set
*eq
);
47 isl_bool
isl_local_space_is_named_or_nested(__isl_keep isl_local_space
*ls
,
48 enum isl_dim_type type
);
50 isl_bool
isl_local_space_has_equal_space(__isl_keep isl_local_space
*ls1
,
51 __isl_keep isl_local_space
*ls2
);
53 __isl_give isl_local_space
*isl_local_space_reset_space(
54 __isl_take isl_local_space
*ls
, __isl_take isl_space
*dim
);
55 __isl_give isl_local_space
*isl_local_space_realign(
56 __isl_take isl_local_space
*ls
, __isl_take isl_reordering
*r
);
58 isl_bool
isl_local_space_is_div_constraint(__isl_keep isl_local_space
*ls
,
59 isl_int
*constraint
, unsigned div
);
61 int *isl_local_space_get_active(__isl_keep isl_local_space
*ls
, isl_int
*l
);
63 __isl_give isl_local_space
*isl_local_space_substitute_seq(
64 __isl_take isl_local_space
*ls
,
65 enum isl_dim_type type
, unsigned pos
, isl_int
*subs
, int subs_len
,
67 __isl_give isl_local_space
*isl_local_space_substitute(
68 __isl_take isl_local_space
*ls
,
69 enum isl_dim_type type
, unsigned pos
, __isl_keep isl_aff
*subs
);
71 __isl_give isl_local_space
*isl_local_space_lift(
72 __isl_take isl_local_space
*ls
);
74 __isl_give isl_local_space
*isl_local_space_preimage_multi_aff(
75 __isl_take isl_local_space
*ls
, __isl_take isl_multi_aff
*ma
);
77 __isl_give isl_local_space
*isl_local_space_move_dims(
78 __isl_take isl_local_space
*ls
,
79 enum isl_dim_type dst_type
, unsigned dst_pos
,
80 enum isl_dim_type src_type
, unsigned src_pos
, unsigned n
);
82 int isl_local_space_cmp(__isl_keep isl_local_space
*ls1
,
83 __isl_keep isl_local_space
*ls2
);
85 __isl_give isl_point
*isl_local_space_lift_point(__isl_take isl_local_space
*ls
,
86 __isl_take isl_point
*pnt
);
88 isl_bool
isl_local_space_has_space(__isl_keep isl_local_space
*ls
,
89 __isl_keep isl_space
*space
);