Home
last modified time | relevance | path

Searched refs:isl_assert (Results 1 – 25 of 29) sorted by relevance

12

/netbsd-src/external/mit/isl/dist/
H A Disl_sample.c85 isl_assert(bset->ctx, bset->n_eq == 1, goto error); in interval_sample()
86 isl_assert(bset->ctx, bset->n_ineq == 0, goto error); in interval_sample()
90 isl_assert(bset->ctx, isl_int_is_negone(bset->eq[0][1]), in interval_sample()
163 isl_assert(tab->mat->ctx, bset, return NULL); in tab_equalities()
186 isl_assert(bset->ctx, j == n_eq, goto error); in tab_equalities()
404 isl_assert(tab->mat->ctx, tab->basis->n_row == tab->n_var + 1, in isl_tab_sample()
406 isl_assert(tab->mat->ctx, tab->basis->n_col == tab->n_var + 1, in isl_tab_sample()
798 isl_assert(cone->ctx, cone->n_eq == 0, goto error); in shift_cone()
851 isl_assert(vec->ctx, vec->size != 0, goto error); in round_up_in_cone()
887 isl_assert(vec1->ctx, vec1->size > 0, goto error); in vec_concat()
[all …]
H A Disl_tab.c444 isl_assert(tab1->mat->ctx, tab1->M == tab2->M, return NULL); in isl_tab_product()
445 isl_assert(tab1->mat->ctx, tab1->rational == tab2->rational, return NULL); in isl_tab_product()
446 isl_assert(tab1->mat->ctx, tab1->cone == tab2->cone, return NULL); in isl_tab_product()
447 isl_assert(tab1->mat->ctx, !tab1->row_sign, return NULL); in isl_tab_product()
448 isl_assert(tab1->mat->ctx, !tab2->row_sign, return NULL); in isl_tab_product()
449 isl_assert(tab1->mat->ctx, tab1->n_param == 0, return NULL); in isl_tab_product()
450 isl_assert(tab1->mat->ctx, tab2->n_param == 0, return NULL); in isl_tab_product()
451 isl_assert(tab1->mat->ctx, tab1->n_div == 0, return NULL); in isl_tab_product()
452 isl_assert(tab1->mat->ctx, tab2->n_div == 0, return NULL); in isl_tab_product()
714 isl_assert(tab->mat->ctx, var->is_row, return); in find_pivot()
[all …]
H A Disl_mat.c459 isl_assert(mat->ctx, mat->n_col == vec->size, goto error); in isl_mat_vec_product()
515 isl_assert(mat->ctx, mat->n_row == vec->size, goto error); in isl_vec_mat_product()
544 isl_assert(left->ctx, left->n_row == right->n_row, goto error); in isl_mat_aff_direct_sum()
545 isl_assert(left->ctx, left->n_row >= 1, goto error); in isl_mat_aff_direct_sum()
546 isl_assert(left->ctx, left->n_col >= 1, goto error); in isl_mat_aff_direct_sum()
547 isl_assert(left->ctx, right->n_col >= 1, goto error); in isl_mat_aff_direct_sum()
548 isl_assert(left->ctx, in isl_mat_aff_direct_sum()
551 isl_assert(left->ctx, in isl_mat_aff_direct_sum()
1017 isl_assert(left->ctx, left->n_row == left->n_col, goto error); in isl_mat_inverse_product()
1018 isl_assert(left->ctx, left->n_row == right->n_row, goto error); in isl_mat_inverse_product()
[all …]
H A Disl_affine_hull.c241 isl_assert(bset1->ctx, row == bset1->n_eq, goto error); in affine_hull()
587 isl_assert(ctx, vec->size != 0, goto error); in initial_hull()
640 isl_assert(tab->mat->ctx, tab->bmap, goto error); in isl_tab_detect_equalities()
641 isl_assert(tab->mat->ctx, tab->samples, goto error); in isl_tab_detect_equalities()
642 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error); in isl_tab_detect_equalities()
643 isl_assert(tab->mat->ctx, tab->n_sample > tab->n_outside, goto error); in isl_tab_detect_equalities()
H A Disl_pw_morph_templ.c24 isl_assert(ctx, isl_space_is_domain_internal(morph->dom->dim, pw->dim), in FN()
H A Disl_map_subtract.c757 isl_assert(bmap->ctx, bmap->n_eq == dim, return NULL); in singleton_extract_point()
767 isl_assert(bmap->ctx, in singleton_extract_point()
770 isl_assert(bmap->ctx, in singleton_extract_point()
774 isl_assert(bmap->ctx, in singleton_extract_point()
H A Disl_polynomial.c64 isl_assert(poly->ctx, poly->var < 0, return NULL); in isl_poly_as_cst()
74 isl_assert(poly->ctx, poly->var >= 0, return NULL); in isl_poly_as_rec()
396 isl_assert(ctx, var >= 0, return NULL); in isl_poly_alloc_rec()
397 isl_assert(ctx, size >= 0, return NULL); in isl_poly_alloc_rec()
1592 isl_assert(poly->ctx, rec->n >= 1, goto error); in reorder()
1617 isl_assert(div1->ctx, div1->n_row >= div2->n_row && in compatible_divs()
1809 isl_assert(qp1->div->ctx, qp1->div->n_row >= qp2->div->n_row && in with_merged_divs()
2210 isl_assert(poly->ctx, rec->n > 1, return isl_bool_error); in isl_poly_is_affine()
2271 isl_assert(poly->ctx, rec->n == 2, return -1); in isl_poly_update_affine()
2458 isl_assert(poly->ctx, rec->n >= 1, goto error); in isl_poly_subs()
[all …]
H A Disl_factorization.c207 isl_assert(H->ctx, g->cnt[g->group[k]] != 0, return -1); in update_group_i_with_row_j()
208 isl_assert(H->ctx, g->cnt[g->group[i]] != 0, return -1); in update_group_i_with_row_j()
H A Disl_equalities.c201 isl_assert(T->ctx, isl_int_is_one(T->row[0][0]), goto error); in parameter_compression_multi()
319 isl_assert(B->ctx, B->n_row == d->size, goto error); in isl_mat_parameter_compression()
681 isl_assert(bset->ctx, bset->n_eq <= dim, goto error); in compress_variables()
H A Disl_convex_hull.c366 isl_assert(ctx, res == isl_lp_ok || res == isl_lp_unbounded, in isl_set_wrap_facet()
400 isl_assert(set->ctx, set->n > 0, goto error); in initial_facet_constraint()
410 isl_assert(set->ctx, is_bound, goto error); in initial_facet_constraint()
429 isl_assert(set->ctx, i < face->n_eq, goto error); in initial_facet_constraint()
552 isl_assert(set->ctx, set->n > 0, goto error); in extend()
617 isl_assert(set->ctx, set->n > 0, goto error); in convex_hull_1d()
623 isl_assert(set->ctx, set->p[0]->n_eq == 1, goto error); in convex_hull_1d()
1504 isl_assert(set->ctx, 1 + dim == bounds->n_col, goto error); in initial_hull()
1675 isl_assert(hull->ctx, !entry->data, goto error); in common_constraints()
H A Disl_bernstein.c81 isl_assert(vertex->ctx, !isl_int_is_zero(denom), goto error); in vertex_coordinate()
177 isl_assert(ctx, n >= 2, return isl_stat_error); in extract_coefficients()
H A Disl_input.c2328 isl_assert(s->ctx, type == 0 || type == 1, goto error); in basic_map_read_polylib_constraint()
2397 isl_assert(s->ctx, !on_new_line, return NULL); in basic_map_read_polylib()
2398 isl_assert(s->ctx, n_row >= 0, return NULL); in basic_map_read_polylib()
2399 isl_assert(s->ctx, n_col >= 2 + nparam, return NULL); in basic_map_read_polylib()
2506 isl_assert(s->ctx, n >= 1, return NULL); in map_read_polylib()
2861 isl_assert(ctx, 0, goto error); in to_union()
3150 isl_assert(s->ctx, obj.type == isl_obj_map || in isl_stream_read_map()
3172 isl_assert(s->ctx, obj.type == isl_obj_set, goto error); in isl_stream_read_set()
3218 isl_assert(ctx, obj.type == isl_obj_union_set, goto error); in extract_union_set()
3440 isl_assert(s->ctx, obj.type == isl_obj_pw_qpolynomial, in isl_stream_read_pw_qpolynomial()
[all …]
H A Disl_hash.c270 isl_assert(ctx, h >= 0 && h < size, return); in isl_hash_table_remove()
H A Disl_ctx.c277 isl_assert(ctx, ctx->ref > 0, return); in isl_ctx_deref()
H A Disl_output.c1568 isl_assert(bmap->ctx, 0, goto error); in isl_printer_print_basic_map()
1590 isl_assert(p->ctx, 0, goto error); in isl_printer_print_basic_set()
1611 isl_assert(set->ctx, 0, goto error); in isl_printer_print_set()
1633 isl_assert(map->ctx, 0, goto error); in isl_printer_print_map()
1960 isl_assert(qp->dim->ctx, output_format == ISL_FORMAT_ISL, return); in isl_qpolynomial_print()
2002 isl_assert(fold->dim->ctx, output_format == ISL_FORMAT_ISL, return); in isl_qpolynomial_fold_print()
2263 isl_assert(p->ctx, 0, goto error); in isl_printer_print_pw_qpolynomial()
2377 isl_assert(p->ctx, 0, goto error); in isl_printer_print_pw_qpolynomial_fold()
H A Disl_constraint.c215 isl_assert(bmap->ctx, ISL_F_ISSET(bmap, ISL_BASIC_MAP_FINAL), in isl_basic_map_foreach_constraint()
334 isl_assert(ctx, equal_space, goto error); in isl_basic_map_add_constraint()
1149 isl_assert(bset->ctx, type == isl_dim_param || type == isl_dim_set, in isl_basic_set_foreach_bound_pair()
H A Disl_tab_pip.c1080 isl_assert(tab->mat->ctx, in set_row_cst_to_div()
1315 isl_assert(tab->mat->ctx, col >= 0, goto error); in lexmin_pivot_col()
1951 isl_assert(tab->mat->ctx, tab->bmap, goto error); in check_samples()
1952 isl_assert(tab->mat->ctx, tab->samples, goto error); in check_samples()
1953 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error); in check_samples()
2050 isl_assert(tab->mat->ctx, tab->bmap, return -1); in tab_has_valid_sample()
2051 isl_assert(tab->mat->ctx, tab->samples, return -1); in tab_has_valid_sample()
2052 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, return -1); in tab_has_valid_sample()
2577 isl_assert(tab->mat->ctx, tab->samples, return isl_tab_row_unknown); in tab_ineq_sign()
2578 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, in tab_ineq_sign()
H A Disl_space.c239 isl_assert(isl_space_get_ctx(space), 0, return isl_size_error); in global_pos()
1202 isl_assert(space->ctx, space->nparam <= nparam, goto error); in space_extend()
1203 isl_assert(space->ctx, space->n_in <= n_in, goto error); in space_extend()
1204 isl_assert(space->ctx, space->n_out <= n_out, goto error); in space_extend()
1424 isl_assert(space->ctx, dst_type != src_type, goto error); in isl_space_move_dims()
1528 isl_assert(left->ctx, in isl_space_join()
H A Disl_stream.c270 isl_assert(s->ctx, s->n_un < 5, return); in isl_stream_ungetc()
313 isl_assert(s->ctx, s->n_token < 5, return); in isl_stream_push_token()
H A Disl_fold.c1126 isl_assert(pw1->dim->ctx, isl_space_is_equal(pw1->dim, pw2->dim), goto error); in isl_pw_qpolynomial_fold_fold()
1395 isl_assert(pnt->dim->ctx, isl_space_is_equal(pnt->dim, fold->dim), goto error); in isl_qpolynomial_fold_eval()
1396 isl_assert(pnt->dim->ctx, in isl_qpolynomial_fold_eval()
H A Disl_map.c1366 isl_assert(space->ctx, space->n_in == 0, goto error); in isl_basic_set_alloc_space()
1639 isl_assert(ctx, room_for_con(bmap, 1), return -1); in isl_basic_map_alloc_equality()
1640 isl_assert(ctx, (bmap->eq - bmap->ineq) + bmap->n_eq <= bmap->c_size, in isl_basic_map_alloc_equality()
1700 isl_assert(bmap->ctx, pos < bmap->n_eq, return -1); in isl_basic_map_drop_equality()
1750 isl_assert(ctx, room_for_ineq(bmap, 1), return -1); in isl_basic_map_alloc_inequality()
1790 isl_assert(bmap->ctx, pos < bmap->n_ineq, return -1); in isl_basic_map_drop_inequality()
1875 isl_assert(bmap->ctx, bmap->n_div < bmap->extra, return -1); in isl_basic_map_alloc_div()
1941 isl_assert(bmap->ctx, n <= bmap->n_div, return isl_stat_error); in isl_basic_map_free_div()
3458 isl_assert(map->ctx, n >= 0, goto error); in isl_map_grow()
3917 isl_assert(map1->ctx, in map_intersect_internal()
[all …]
H A Disl_range.c438 isl_assert(ctx, d >= 1, goto error); in propagate_on_domain()
H A Disl_pw_templ.c32 isl_assert(ctx, n >= 0, goto error); in FN()
74 isl_assert(ctx, isl_space_is_equal(pw->dim, el_dim), goto error); in FN()
75 isl_assert(ctx, pw->n < pw->size, goto error); in FN()
H A Disl_vertices.c146 isl_assert(bset->ctx, v->v.vertex->n_eq >= nvar, goto error); in add_vertex()
1415 isl_assert(vertices->bset->ctx, vertices->ref == 1, goto error); in isl_morph_vertices()
/netbsd-src/external/mit/isl/dist/include/isl/
H A Dctx.h152 #define isl_assert(ctx,test,code) \ macro

12