Home
last modified time | relevance | path

Searched refs:isl_seq_combine (Results 1 – 14 of 14) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_seq.c105 void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1, in isl_seq_combine() function
153 isl_seq_combine(dst, a, dst, b, src, len); in isl_seq_elim()
333 isl_seq_combine(p + 1, subs[0], p + 1, v, subs + 1, subs_len - 1); in isl_seq_substitute()
H A Dbasis_reduction_templ.c192 isl_seq_combine(b_tmp->el, in isl_tab_compute_reduced_basis()
215 isl_seq_combine(B->row[1+i+1]+1, ctx->one, B->row[1+i+1]+1, in isl_tab_compute_reduced_basis()
H A Disl_seq.h36 void isl_seq_combine(isl_int *dst, isl_int m1, isl_int *src1,
H A Disl_affine_hull.c138 isl_seq_combine(bset1->eq[r], a, bset1->eq[r], in construct_column()
184 isl_seq_combine(bset1->eq[i], g, bset1->eq[i], a, bset1->eq[t], in transform_column()
186 isl_seq_combine(bset2->eq[i], g, bset2->eq[i], a, bset2->eq[t], in transform_column()
283 isl_seq_combine(sample->el + 1, in outside_point()
H A Disl_mat.c998 isl_seq_combine(left->row[i]+row, in inv_subtract()
1002 isl_seq_combine(right->row[i], right->ctx->one, right->row[i], in inv_subtract()
1067 isl_seq_combine(left->row[i] + i, in isl_mat_inverse_product()
1071 isl_seq_combine(right->row[i], a, right->row[i], in isl_mat_inverse_product()
H A Disl_constraint.c887 isl_seq_combine(bset->ineq[k], t, a, a[1 + abs_pos], b, 1 + abs_pos); in add_larger_bound_constraint()
888 isl_seq_combine(bset->ineq[k] + 1 + abs_pos, in add_larger_bound_constraint()
H A Disl_vec.c506 isl_seq_combine(vec1->el, vec1->ctx->one, vec1->el, in isl_vec_add()
H A Disl_map_simplify.c1387 isl_seq_combine(bmap->ineq[j], in eliminate_unit_div()
1391 isl_seq_combine(bmap->ineq[j], in eliminate_unit_div()
4353 isl_seq_combine(data->v->el, data->fl, bmap->ineq[u], in int_between_bounds()
4554 isl_seq_combine(bmap->ineq[i], m, bmap->ineq[i], in coalesce_divs()
4557 isl_seq_combine(bmap->ineq[i], m, bmap->ineq[i], in coalesce_divs()
H A Disl_convex_hull.c356 isl_seq_combine(facet, num, facet, den, ridge, dim); in isl_set_wrap_facet()
1110 isl_seq_combine(dir->block.data, in valid_direction()
1117 isl_seq_combine(dir->block.data, in valid_direction()
H A Disl_tab_pip.c1082 isl_seq_combine(tab->mat->row[row] + 1, in set_row_cst_to_div()
2290 isl_seq_combine(r_row + 1, gcd, r_row + 1, in add_parametric_cut()
4700 isl_seq_combine(bset->ineq[k], ctx->one, var->row[j], in select_minimum()
H A Disl_polynomial.c2598 isl_seq_combine(qp->div->row[j] + 1, in substitute_non_divs()
5265 isl_seq_combine(qp->div->row[j] + 1, in make_divs_pos()
H A Disl_aff.c6035 isl_seq_combine(dst + o_dst, c1, dst + o_dst, in isl_seq_preimage()
6041 isl_seq_combine(dst + o_dst, c1, dst + o_dst, in isl_seq_preimage()
6047 isl_seq_combine(dst + o_dst, c1, dst + o_dst, in isl_seq_preimage()
H A Disl_output.c706 isl_seq_combine(c, ctx->negone, c, in print_eq_mod_constraint()
H A Disl_tab.c1841 isl_seq_combine(row + 1, a, row + 1, in isl_tab_add_row()