| /src/external/mit/isl/dist/ |
| isl_pw_morph_templ.c | 24 isl_assert(ctx, isl_space_is_domain_internal(morph->dom->dim, pw->dim),
|
| isl_sample.c | 85 isl_assert(bset->ctx, bset->n_eq == 1, goto error);
86 isl_assert(bset->ctx, bset->n_ineq == 0, goto error);
90 isl_assert(bset->ctx, isl_int_is_negone(bset->eq[0][1]),
163 isl_assert(tab->mat->ctx, bset, return NULL);
186 isl_assert(bset->ctx, j == n_eq, goto error);
404 isl_assert(tab->mat->ctx, tab->basis->n_row == tab->n_var + 1,
406 isl_assert(tab->mat->ctx, tab->basis->n_col == tab->n_var + 1,
798 isl_assert(cone->ctx, cone->n_eq == 0, goto error);
851 isl_assert(vec->ctx, vec->size != 0, goto error);
887 isl_assert(vec1->ctx, vec1->size > 0, goto error)
[all...] |
| isl_tab.c | 444 isl_assert(tab1->mat->ctx, tab1->M == tab2->M, return NULL);
445 isl_assert(tab1->mat->ctx, tab1->rational == tab2->rational, return NULL);
446 isl_assert(tab1->mat->ctx, tab1->cone == tab2->cone, return NULL);
447 isl_assert(tab1->mat->ctx, !tab1->row_sign, return NULL);
448 isl_assert(tab1->mat->ctx, !tab2->row_sign, return NULL);
449 isl_assert(tab1->mat->ctx, tab1->n_param == 0, return NULL);
450 isl_assert(tab1->mat->ctx, tab2->n_param == 0, return NULL);
451 isl_assert(tab1->mat->ctx, tab1->n_div == 0, return NULL);
452 isl_assert(tab1->mat->ctx, tab2->n_div == 0, return NULL);
714 isl_assert(tab->mat->ctx, var->is_row, return)
[all...] |
| isl_mat.c | 459 isl_assert(mat->ctx, mat->n_col == vec->size, goto error);
515 isl_assert(mat->ctx, mat->n_row == vec->size, goto error);
544 isl_assert(left->ctx, left->n_row == right->n_row, goto error);
545 isl_assert(left->ctx, left->n_row >= 1, goto error);
546 isl_assert(left->ctx, left->n_col >= 1, goto error);
547 isl_assert(left->ctx, right->n_col >= 1, goto error);
548 isl_assert(left->ctx,
551 isl_assert(left->ctx,
1017 isl_assert(left->ctx, left->n_row == left->n_col, goto error);
1018 isl_assert(left->ctx, left->n_row == right->n_row, goto error)
[all...] |
| isl_affine_hull.c | 241 isl_assert(bset1->ctx, row == bset1->n_eq, goto error);
587 isl_assert(ctx, vec->size != 0, goto error);
640 isl_assert(tab->mat->ctx, tab->bmap, goto error);
641 isl_assert(tab->mat->ctx, tab->samples, goto error);
642 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error);
643 isl_assert(tab->mat->ctx, tab->n_sample > tab->n_outside, goto error);
|
| isl_factorization.c | 207 isl_assert(H->ctx, g->cnt[g->group[k]] != 0, return -1);
208 isl_assert(H->ctx, g->cnt[g->group[i]] != 0, return -1);
|
| isl_hash.c | 270 isl_assert(ctx, h >= 0 && h < size, return);
|
| isl_map_subtract.c | 757 isl_assert(bmap->ctx, bmap->n_eq == dim, return NULL);
767 isl_assert(bmap->ctx,
770 isl_assert(bmap->ctx,
774 isl_assert(bmap->ctx,
|
| isl_polynomial.c | 64 isl_assert(poly->ctx, poly->var < 0, return NULL);
74 isl_assert(poly->ctx, poly->var >= 0, return NULL);
396 isl_assert(ctx, var >= 0, return NULL);
397 isl_assert(ctx, size >= 0, return NULL);
1592 isl_assert(poly->ctx, rec->n >= 1, goto error);
1617 isl_assert(div1->ctx, div1->n_row >= div2->n_row &&
1809 isl_assert(qp1->div->ctx, qp1->div->n_row >= qp2->div->n_row &&
2210 isl_assert(poly->ctx, rec->n > 1, return isl_bool_error);
2271 isl_assert(poly->ctx, rec->n == 2, return -1);
2458 isl_assert(poly->ctx, rec->n >= 1, goto error)
[all...] |
| isl_bernstein.c | 81 isl_assert(vertex->ctx, !isl_int_is_zero(denom), goto error);
177 isl_assert(ctx, n >= 2, return isl_stat_error);
|
| isl_ctx.c | 277 isl_assert(ctx, ctx->ref > 0, return);
|
| isl_equalities.c | 201 isl_assert(T->ctx, isl_int_is_one(T->row[0][0]), goto error);
319 isl_assert(B->ctx, B->n_row == d->size, goto error);
681 isl_assert(bset->ctx, bset->n_eq <= dim, goto error);
|
| isl_input.c | 2328 isl_assert(s->ctx, type == 0 || type == 1, goto error);
2397 isl_assert(s->ctx, !on_new_line, return NULL);
2398 isl_assert(s->ctx, n_row >= 0, return NULL);
2399 isl_assert(s->ctx, n_col >= 2 + nparam, return NULL);
2506 isl_assert(s->ctx, n >= 1, return NULL);
2861 isl_assert(ctx, 0, goto error);
3150 isl_assert(s->ctx, obj.type == isl_obj_map ||
3172 isl_assert(s->ctx, obj.type == isl_obj_set, goto error);
3218 isl_assert(ctx, obj.type == isl_obj_union_set, goto error);
3440 isl_assert(s->ctx, obj.type == isl_obj_pw_qpolynomial
[all...] |
| isl_constraint.c | 215 isl_assert(bmap->ctx, ISL_F_ISSET(bmap, ISL_BASIC_MAP_FINAL),
334 isl_assert(ctx, equal_space, goto error);
1149 isl_assert(bset->ctx, type == isl_dim_param || type == isl_dim_set,
|
| isl_convex_hull.c | 366 isl_assert(ctx, res == isl_lp_ok || res == isl_lp_unbounded,
400 isl_assert(set->ctx, set->n > 0, goto error);
410 isl_assert(set->ctx, is_bound, goto error);
429 isl_assert(set->ctx, i < face->n_eq, goto error);
552 isl_assert(set->ctx, set->n > 0, goto error);
617 isl_assert(set->ctx, set->n > 0, goto error);
623 isl_assert(set->ctx, set->p[0]->n_eq == 1, goto error);
1504 isl_assert(set->ctx, 1 + dim == bounds->n_col, goto error);
1675 isl_assert(hull->ctx, !entry->data, goto error);
|
| isl_output.c | 1568 isl_assert(bmap->ctx, 0, goto error);
1590 isl_assert(p->ctx, 0, goto error);
1611 isl_assert(set->ctx, 0, goto error);
1633 isl_assert(map->ctx, 0, goto error);
1960 isl_assert(qp->dim->ctx, output_format == ISL_FORMAT_ISL, return);
2002 isl_assert(fold->dim->ctx, output_format == ISL_FORMAT_ISL, return);
2263 isl_assert(p->ctx, 0, goto error);
2377 isl_assert(p->ctx, 0, goto error);
|
| isl_stream.c | 270 isl_assert(s->ctx, s->n_un < 5, return);
313 isl_assert(s->ctx, s->n_token < 5, return);
|
| isl_tab_pip.c | 1080 isl_assert(tab->mat->ctx,
1315 isl_assert(tab->mat->ctx, col >= 0, goto error);
1951 isl_assert(tab->mat->ctx, tab->bmap, goto error);
1952 isl_assert(tab->mat->ctx, tab->samples, goto error);
1953 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error);
2050 isl_assert(tab->mat->ctx, tab->bmap, return -1);
2051 isl_assert(tab->mat->ctx, tab->samples, return -1);
2052 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, return -1);
2577 isl_assert(tab->mat->ctx, tab->samples, return isl_tab_row_unknown);
2578 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var
[all...] |
| isl_fold.c | 1126 isl_assert(pw1->dim->ctx, isl_space_is_equal(pw1->dim, pw2->dim), goto error);
1395 isl_assert(pnt->dim->ctx, isl_space_is_equal(pnt->dim, fold->dim), goto error);
1396 isl_assert(pnt->dim->ctx,
|
| isl_range.c | 438 isl_assert(ctx, d >= 1, goto error);
|
| isl_vec.c | 504 isl_assert(vec1->ctx, vec1->size == vec2->size, goto error);
|
| isl_space.c | 239 isl_assert(isl_space_get_ctx(space), 0, return isl_size_error);
1202 isl_assert(space->ctx, space->nparam <= nparam, goto error);
1203 isl_assert(space->ctx, space->n_in <= n_in, goto error);
1204 isl_assert(space->ctx, space->n_out <= n_out, goto error);
1424 isl_assert(space->ctx, dst_type != src_type, goto error);
1528 isl_assert(left->ctx,
|
| isl_map.c | 1366 isl_assert(space->ctx, space->n_in == 0, goto error);
1639 isl_assert(ctx, room_for_con(bmap, 1), return -1);
1640 isl_assert(ctx, (bmap->eq - bmap->ineq) + bmap->n_eq <= bmap->c_size,
1700 isl_assert(bmap->ctx, pos < bmap->n_eq, return -1);
1750 isl_assert(ctx, room_for_ineq(bmap, 1), return -1);
1790 isl_assert(bmap->ctx, pos < bmap->n_ineq, return -1);
1875 isl_assert(bmap->ctx, bmap->n_div < bmap->extra, return -1);
1941 isl_assert(bmap->ctx, n <= bmap->n_div, return isl_stat_error);
3458 isl_assert(map->ctx, n >= 0, goto error);
3917 isl_assert(map1->ctx
[all...] |
| isl_pw_templ.c | 32 isl_assert(ctx, n >= 0, goto error);
74 isl_assert(ctx, isl_space_is_equal(pw->dim, el_dim), goto error);
75 isl_assert(ctx, pw->n < pw->size, goto error);
|
| /src/external/mit/isl/dist/include/isl/ |
| ctx.h | 152 #define isl_assert(ctx,test,code) \ macro
|
