Lines Matching refs:isl_basic_map

13 #define isl_basic_set	isl_basic_map
36 struct isl_basic_map {  struct
103 	isl_basic_map *cached_simple_hull[2];
112 	struct isl_basic_map *p[1];
131 __isl_give isl_basic_map *isl_basic_map_alloc(isl_ctx *ctx,
134 __isl_give isl_basic_map *isl_basic_map_mark_final(
135 	__isl_take isl_basic_map *bmap);
136 __isl_give isl_basic_map *isl_basic_map_finalize(
137 	__isl_take isl_basic_map *bmap);
138 __isl_give isl_basic_map *isl_basic_map_extend_constraints(
139 	__isl_take isl_basic_map *base, unsigned n_eq, unsigned n_ineq);
140 __isl_give isl_basic_map *isl_basic_map_simplify(
141 	__isl_take isl_basic_map *bmap);
147 	__isl_take isl_basic_map *bmap);
158 __isl_give isl_basic_map *isl_basic_map_reset(__isl_take isl_basic_map *bmap,
164 	__isl_keep const isl_basic_map *bmap);
171 __isl_give isl_basic_map *isl_basic_map_reset_space(
172 	__isl_take isl_basic_map *bmap, __isl_take isl_space *space);
178 isl_size isl_basic_map_var_offset(__isl_keep isl_basic_map *bmap,
182 unsigned isl_basic_map_offset(__isl_keep isl_basic_map *bmap,
187 isl_bool isl_basic_map_may_be_set(__isl_keep isl_basic_map *bmap);
191 isl_bool isl_basic_map_compatible_domain(__isl_keep isl_basic_map *bmap,
193 isl_bool isl_basic_map_compatible_range(__isl_keep isl_basic_map *bmap,
196 __isl_give isl_basic_map *isl_basic_map_extend(__isl_take isl_basic_map *base,
206 isl_bool isl_basic_map_contains(__isl_keep isl_basic_map *bmap,
213 __isl_give isl_basic_map *isl_basic_map_alloc_space(__isl_take isl_space *space,
218 int isl_basic_map_alloc_equality(__isl_keep isl_basic_map *bmap);
222 __isl_give isl_basic_map *isl_basic_map_free_equality(
223 	__isl_take isl_basic_map *bmap, unsigned n);
227 int isl_basic_map_alloc_inequality(__isl_keep isl_basic_map *bmap);
228 __isl_give isl_basic_map *isl_basic_map_free_inequality(
229 	__isl_take isl_basic_map *bmap, unsigned n);
230 int isl_basic_map_alloc_div(__isl_keep isl_basic_map *bmap);
231 __isl_give isl_basic_map *isl_basic_map_insert_div(
232 	__isl_take isl_basic_map *bmap, int pos, __isl_keep isl_vec *div);
234 isl_stat isl_basic_map_free_div(__isl_keep isl_basic_map *bmap, unsigned n);
235 __isl_give isl_basic_map *isl_basic_map_drop_div(
236 	__isl_take isl_basic_map *bmap, unsigned div);
238 		__isl_keep isl_basic_map *bmap, unsigned pos);
239 int isl_basic_map_drop_equality(__isl_keep isl_basic_map *bmap, unsigned pos);
241 int isl_basic_map_drop_inequality(__isl_keep isl_basic_map *bmap, unsigned pos);
244 __isl_give isl_basic_map *isl_basic_map_add_eq(__isl_take isl_basic_map *bmap,
248 __isl_give isl_basic_map *isl_basic_map_add_ineq(__isl_take isl_basic_map *bmap,
254 __isl_give isl_basic_map *isl_inequality_negate(__isl_take isl_basic_map *bmap,
257 isl_bool isl_basic_map_has_single_reference(__isl_keep isl_basic_map *bmap);
259 __isl_give isl_basic_map *isl_basic_map_cow(__isl_take isl_basic_map *bmap);
263 uint32_t isl_basic_map_get_hash(__isl_keep isl_basic_map *bmap);
268 __isl_give isl_basic_map *isl_basic_map_set_to_empty(
269 	__isl_take isl_basic_map *bmap);
272 __isl_give isl_basic_map *isl_basic_map_swap_div(__isl_take isl_basic_map *bmap,
274 __isl_give isl_basic_map *isl_basic_map_order_divs(
275 	__isl_take isl_basic_map *bmap);
277 __isl_give isl_basic_map *isl_basic_map_align_divs(
278 	__isl_take isl_basic_map *dst, __isl_keep isl_basic_map *src);
282 	__isl_take isl_basic_map_list *list, __isl_keep isl_basic_map *bmap);
286 __isl_give isl_basic_map *isl_basic_map_sort_divs(
287 	__isl_take isl_basic_map *bmap);
289 __isl_give isl_basic_map *isl_basic_map_gauss5(__isl_take isl_basic_map *bmap,
293 __isl_give isl_basic_map *isl_basic_map_gauss(__isl_take isl_basic_map *bmap,
297 int isl_basic_map_constraint_cmp(__isl_keep isl_basic_map *bmap,
299 __isl_give isl_basic_map *isl_basic_map_sort_constraints(
300 	__isl_take isl_basic_map *bmap);
303 int isl_basic_map_plain_cmp(__isl_keep isl_basic_map *bmap1,
304 	__isl_keep isl_basic_map *bmap2);
305 isl_bool isl_basic_map_plain_is_equal(__isl_keep isl_basic_map *bmap1,
306 	__isl_keep isl_basic_map *bmap2);
307 __isl_give isl_basic_map *isl_basic_map_normalize_constraints(
308 	__isl_take isl_basic_map *bmap);
311 __isl_give isl_basic_map *isl_basic_map_implicit_equalities(
312 	__isl_take isl_basic_map *bmap);
314 	__isl_take isl_basic_map *bmap);
320 __isl_give isl_basic_map *isl_basic_map_overlying_set(
321 	__isl_take isl_basic_set *bset, __isl_take isl_basic_map *like);
324 __isl_give isl_basic_map *isl_basic_map_drop_constraints_involving_unknown_divs(
325 	__isl_take isl_basic_map *bmap);
328 __isl_give isl_basic_map *isl_basic_map_drop_constraints_involving(
329 	__isl_take isl_basic_map *bmap, unsigned first, unsigned n);
334 __isl_give isl_basic_map *isl_basic_map_drop(__isl_take isl_basic_map *bmap,
342 __isl_give isl_basic_map *isl_basic_map_drop_unrelated_constraints(
343 	__isl_take isl_basic_map *bmap, __isl_take int *group);
345 __isl_give isl_basic_map *isl_basic_map_eliminate_pure_unit_divs(
346 	__isl_take isl_basic_map *bmap);
347 __isl_give isl_basic_map *isl_basic_map_remove_duplicate_constraints(
348 	__isl_take isl_basic_map *bmap, int *progress, int detect_divs);
349 __isl_give isl_basic_map *isl_basic_map_detect_inequality_pairs(
350 	__isl_take isl_basic_map *bmap, int *progress);
358 __isl_give isl_basic_map *isl_basic_map_eliminate_vars(
359 	__isl_take isl_basic_map *bmap, unsigned pos, unsigned n);
370 __isl_give isl_basic_map *isl_basic_map_add_div_constraint(
371 	__isl_take isl_basic_map *bmap, unsigned div, int sign);
372 __isl_give isl_basic_map *isl_basic_map_add_div_constraints(
373 	__isl_take isl_basic_map *bmap, unsigned div);
374 __isl_give isl_basic_map *isl_basic_map_add_known_div_constraints(
375 	__isl_take isl_basic_map *bmap);
376 __isl_give isl_basic_map *isl_basic_map_drop_redundant_divs(
377 	__isl_take isl_basic_map *bmap);
391 __isl_give isl_basic_map *isl_basic_map_set_rational(
392 	__isl_take isl_basic_map *bmap);
401 __isl_give isl_basic_map *isl_basic_map_from_multi_aff2(
416 __isl_give isl_basic_map *isl_basic_map_transform_dims(
417 	__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first,
426 isl_bool isl_basic_map_contains_point(__isl_keep isl_basic_map *bmap,
439 isl_bool isl_basic_map_is_div_constraint(__isl_keep isl_basic_map *bmap,
444 __isl_give isl_basic_map *isl_basic_map_from_local_space(
448 __isl_give isl_basic_map *isl_basic_map_expand_divs(
452 isl_size isl_basic_map_n_equality(__isl_keep isl_basic_map *bmap);
454 isl_size isl_basic_map_n_inequality(__isl_keep isl_basic_map *bmap);
456 __isl_give isl_basic_map *isl_basic_map_mark_div_unknown(
457 	__isl_take isl_basic_map *bmap, int div);
458 isl_bool isl_basic_map_div_is_marked_unknown(__isl_keep isl_basic_map *bmap,
460 isl_bool isl_basic_map_div_is_known(__isl_keep isl_basic_map *bmap, int div);
462 int isl_basic_map_first_unknown_div(__isl_keep isl_basic_map *bmap);
463 isl_bool isl_basic_map_divs_known(__isl_keep isl_basic_map *bmap);
466 __isl_give isl_mat *isl_basic_map_get_divs(__isl_keep isl_basic_map *bmap);
472 	__isl_give isl_basic_map *(*fn)(__isl_take isl_basic_map *bmap));
481 isl_stat isl_basic_map_check_range(__isl_keep isl_basic_map *bmap,
511 isl_bool isl_basic_map_plain_is_non_empty(__isl_keep isl_basic_map *bmap);
512 isl_bool isl_basic_map_plain_is_single_valued(__isl_keep isl_basic_map *bmap);
523 	__isl_take isl_basic_map *context);
529 __isl_give isl_basic_map *isl_basic_map_plain_affine_hull(
530 	__isl_take isl_basic_map *bmap);
539 __isl_give isl_basic_map *isl_basic_map_fix(__isl_take isl_basic_map *bmap,
546 int isl_basic_map_output_defining_equality(__isl_keep isl_basic_map *bmap,
549 __isl_give isl_basic_map *isl_basic_map_reduce_coefficients(
550 	__isl_take isl_basic_map *bmap);
552 __isl_give isl_basic_map *isl_basic_map_shift_div(
553 	__isl_take isl_basic_map *bmap, int div, int pos, isl_int shift);
570 isl_bool isl_basic_map_is_transformation(__isl_keep isl_basic_map *bmap);
574 isl_stat isl_basic_map_check_equal_space(__isl_keep isl_basic_map *bmap1,
575 	__isl_keep isl_basic_map *bmap2);
579 	__isl_keep isl_basic_map *bmap);
583 isl_bool isl_basic_map_applies_range(__isl_keep isl_basic_map *bmap1,
584 	__isl_keep isl_basic_map *bmap2);
589 isl_bool isl_basic_map_equal_div_expr_part(__isl_keep isl_basic_map *bmap1,
590 	int pos1, __isl_keep isl_basic_map *bmap2, int pos2,
593 	__isl_keep isl_basic_map *bmap1, int pos1,
594 	__isl_keep isl_basic_map *bmap2, int pos2);
595 __isl_give isl_basic_map *isl_basic_map_set_div_expr_constant_num_si_inplace(
596 	__isl_take isl_basic_map *bmap, int div, int value);