2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the GNU LGPLv2.1 license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
12 #include <isl_dim_private.h>
13 #include "isl_map_private.h"
16 static unsigned n(struct isl_div
*d
, enum isl_dim_type type
)
18 struct isl_dim
*dim
= d
->bmap
->dim
;
20 case isl_dim_param
: return dim
->nparam
;
21 case isl_dim_in
: return dim
->n_in
;
22 case isl_dim_out
: return dim
->n_out
;
23 case isl_dim_div
: return d
->bmap
->n_div
;
28 unsigned isl_div_dim(__isl_keep isl_div
*div
, enum isl_dim_type type
)
33 static unsigned offset(struct isl_div
*d
, enum isl_dim_type type
)
35 struct isl_dim
*dim
= d
->bmap
->dim
;
37 case isl_dim_param
: return 1 + 1;
38 case isl_dim_in
: return 1 + 1 + dim
->nparam
;
39 case isl_dim_out
: return 1 + 1 + dim
->nparam
+ dim
->n_in
;
40 case isl_dim_div
: return 1 + 1 + dim
->nparam
+ dim
->n_in
+ dim
->n_out
;
45 struct isl_div
*isl_basic_map_div(struct isl_basic_map
*bmap
, int pos
)
52 isl_assert(bmap
->ctx
, pos
< bmap
->n_div
, goto error
);
54 div
= isl_alloc_type(bmap
->ctx
, struct isl_div
);
59 isl_ctx_ref(div
->ctx
);
62 div
->line
= &bmap
->div
[pos
];
66 isl_basic_map_free(bmap
);
70 struct isl_div
*isl_basic_set_div(struct isl_basic_set
*bset
, int pos
)
72 return isl_basic_map_div((struct isl_basic_map
*)bset
, pos
);
75 struct isl_div
*isl_div_alloc(struct isl_dim
*dim
)
77 struct isl_basic_map
*bmap
;
82 bmap
= isl_basic_map_alloc_dim(dim
, 1, 0, 0);
86 isl_basic_map_alloc_div(bmap
);
87 isl_seq_clr(bmap
->div
[0], 1 + 1 + isl_basic_map_total_dim(bmap
));
88 return isl_basic_map_div(bmap
, 0);
91 void isl_div_free(struct isl_div
*c
)
99 isl_basic_map_free(c
->bmap
);
100 isl_ctx_deref(c
->ctx
);
104 void isl_div_get_constant(struct isl_div
*div
, isl_int
*v
)
108 isl_int_set(*v
, div
->line
[0][1]);
111 void isl_div_get_denominator(struct isl_div
*div
, isl_int
*v
)
115 isl_int_set(*v
, div
->line
[0][0]);
118 void isl_div_get_coefficient(struct isl_div
*div
,
119 enum isl_dim_type type
, int pos
, isl_int
*v
)
124 isl_assert(div
->ctx
, pos
< n(div
, type
), return);
125 isl_int_set(*v
, div
->line
[0][offset(div
, type
) + pos
]);
128 void isl_div_set_constant(struct isl_div
*div
, isl_int v
)
132 isl_int_set(div
->line
[0][1], v
);
135 void isl_div_set_denominator(struct isl_div
*div
, isl_int v
)
139 isl_int_set(div
->line
[0][0], v
);
142 void isl_div_set_coefficient(struct isl_div
*div
,
143 enum isl_dim_type type
, int pos
, isl_int v
)
148 isl_assert(div
->ctx
, pos
< n(div
, type
), return);
149 isl_int_set(div
->line
[0][offset(div
, type
) + pos
], v
);