Home
last modified time | relevance | path

Searched refs:isl_seq_elim (Results 1 – 8 of 8) sorted by relevance

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_seq.h38 void isl_seq_elim(isl_int *dst, isl_int *src, unsigned pos, unsigned len,
H A Disl_seq.c135 void isl_seq_elim(isl_int *dst, isl_int *src, unsigned pos, unsigned len, in isl_seq_elim() function
H A Disl_map_simplify.c322 isl_seq_elim(bmap->eq[k], eq, 1+pos, 1+total, NULL); in eliminate_var_using_equality()
331 isl_seq_elim(bmap->ineq[k], eq, 1+pos, 1+total, NULL); in eliminate_var_using_equality()
352 isl_seq_elim(bmap->div[k]+1, eq, in eliminate_var_using_equality()
1786 isl_seq_elim(bmap->ineq[k], bmap->ineq[j], in isl_basic_map_eliminate_vars()
1996 isl_seq_elim(dst, bmap->eq[elim[d]], 1 + d, 1 + total, NULL); in reduced_using_equalities()
H A Disl_vertices.c1506 isl_seq_elim(v->el, vertex->eq[i], k, v->size, &m); in vertex_on_facet()
H A Disl_local_space.c1087 isl_seq_elim(ls->div->row[k] + 1, eq->eq[i], j, total, in isl_local_space_substitute_equalities()
H A Disl_mat.c746 isl_seq_elim(mat->row[k], mat->row[row], col, nc, NULL); in eliminate()
H A Disl_polynomial.c3007 isl_seq_elim(qp->div->row[k] + 1, eq->eq[i], j, total, in isl_qpolynomial_substitute_equalities_lifted()
H A Disl_aff.c2216 isl_seq_elim(aff->v->el + 1, eq->eq[i], j, o_div, in isl_aff_substitute_equalities_lifted()