Lines Matching refs:elim
1958 static void compute_elimination_index(__isl_keep isl_basic_map *bmap, int *elim, in compute_elimination_index() argument
1964 elim[d] = -1; in compute_elimination_index()
1969 elim[d] = i; in compute_elimination_index()
1976 int *elim, unsigned len) in set_compute_elimination_index() argument
1978 compute_elimination_index(bset_to_bmap(bset), elim, len); in set_compute_elimination_index()
1982 __isl_keep isl_basic_map *bmap, int *elim, unsigned total) in reduced_using_equalities() argument
1990 if (elim[d] == -1) in reduced_using_equalities()
1996 isl_seq_elim(dst, bmap->eq[elim[d]], 1 + d, 1 + total, NULL); in reduced_using_equalities()
2002 __isl_keep isl_basic_set *bset, int *elim, unsigned total) in set_reduced_using_equalities() argument
2005 bset_to_bmap(bset), elim, total); in set_reduced_using_equalities()
2012 int *elim; in isl_basic_set_reduce_using_equalities() local
2028 elim = isl_alloc_array(bset->ctx, int, dim); in isl_basic_set_reduce_using_equalities()
2029 if (!elim) in isl_basic_set_reduce_using_equalities()
2031 set_compute_elimination_index(context, elim, dim); in isl_basic_set_reduce_using_equalities()
2034 context, elim, dim); in isl_basic_set_reduce_using_equalities()
2037 context, elim, dim); in isl_basic_set_reduce_using_equalities()
2039 free(elim); in isl_basic_set_reduce_using_equalities()
3814 int *elim = NULL; in isl_basic_map_plain_is_disjoint() local
3833 elim = isl_alloc_array(bmap1->ctx, int, total); in isl_basic_map_plain_is_disjoint()
3834 if (!elim) in isl_basic_map_plain_is_disjoint()
3836 compute_elimination_index(bmap1, elim, total); in isl_basic_map_plain_is_disjoint()
3840 bmap1, elim, total); in isl_basic_map_plain_is_disjoint()
3848 bmap2->ineq[i], bmap1, elim, total); in isl_basic_map_plain_is_disjoint()
3853 compute_elimination_index(bmap2, elim, total); in isl_basic_map_plain_is_disjoint()
3857 bmap1->ineq[i], bmap2, elim, total); in isl_basic_map_plain_is_disjoint()
3863 free(elim); in isl_basic_map_plain_is_disjoint()
3867 free(elim); in isl_basic_map_plain_is_disjoint()
3871 free(elim); in isl_basic_map_plain_is_disjoint()