HomeSort by: relevance | last modified time | path
    Searched refs:n_known (Results 1 - 3 of 3) sorted by relevancy

  /src/external/mit/isl/dist/
isl_affine_hull.c 1027 __isl_keep isl_mat *M, int n_known)
1050 isl_seq_clr(bmap->eq[k] + M->n_col, bmap->n_div - n_known);
1051 isl_int_set(bmap->eq[k][M->n_col - n_known + div],
1094 int n_known; local
1110 for (n_known = 0; n_known < bmap->n_div; ++n_known)
1111 if (isl_int_is_zero(bmap->div[n_known][0]))
1117 if (isl_seq_first_non_zero(bmap->eq[n] + 1 + v_div + n_known,
1118 bmap->n_div - n_known) == -1
    [all...]
isl_tab_pip.c 360 int n_known; local
365 n_known = n_div - sol->context->n_unknown;
370 n_known, n_div - n_known);
isl_map.c 7981 int n_known; local
7989 n_known = isl_basic_map_first_unknown_div(bmap);
7993 if (n_known < 0 || nparam < 0 || n_in < 0 || n_out < 0)
7997 nparam + n_in + n_out + n_known, 0);
8003 n_known, bmap->n_div - n_known);
8004 if (n_known > 0) {
8005 for (i = n_known; i < bmap->n_div; ++i)
8006 swap_div(bmap, i - n_known, i);
8007 bmap->n_div -= n_known;
    [all...]

Completed in 28 milliseconds