Home
last modified time | relevance | path

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

12

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_sample.c82 isl_assert(bset->ctx, bset->n_eq == 1, goto error); in interval_sample()
83 isl_assert(bset->ctx, bset->n_ineq == 0, goto error); in interval_sample()
87 isl_assert(bset->ctx, isl_int_is_negone(bset->eq[0][1]), in interval_sample()
160 isl_assert(tab->mat->ctx, bset, return NULL); in tab_equalities()
183 isl_assert(bset->ctx, j == n_eq, goto error); in tab_equalities()
401 isl_assert(tab->mat->ctx, tab->basis->n_row == tab->n_var + 1, in isl_tab_sample()
795 isl_assert(cone->ctx, cone->n_eq == 0, goto error); in shift_cone()
848 isl_assert(vec->ctx, vec->size != 0, goto error); in round_up_in_cone()
884 isl_assert(vec1->ctx, vec1->size > 0, goto error); in vec_concat()
885 isl_assert(vec2->ctx, vec2->size > 0, goto error); in vec_concat()
[all …]
H A Disl_tab.c714 isl_assert(tab->mat->ctx, var->is_row, return); in find_pivot()
1055 isl_assert(mat->ctx, row_sgn > 0, return); in update_row_sign()
1220 isl_assert(tab->mat->ctx, r >= 0, return -1); in to_row()
1243 isl_assert(tab->mat->ctx, in check_table()
1907 isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq, in isl_tab_add_ineq()
1909 isl_assert(tab->mat->ctx, in isl_tab_add_ineq()
1965 isl_assert(tab->mat->ctx, row != -1, return -1); in to_col()
2005 isl_assert(tab->mat->ctx, i >= 0, goto error); in add_eq()
3724 isl_assert(tab->mat->ctx, sgn >= 0, in unrelax()
3805 isl_assert(tab->mat->ctx, !var->is_row, in perform_undo_var()
[all …]
H A Disl_mat.c459 isl_assert(mat->ctx, mat->n_col == vec->size, goto error); in isl_mat_vec_product()
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()
1038 isl_assert(left->ctx, pivot >= 0, goto error); in isl_mat_inverse_product()
1082 isl_assert(left->ctx, 0, goto error); in isl_mat_inverse_product()
1147 isl_assert(mat->ctx, pivot >= 0, goto error); in isl_mat_right_inverse()
1374 isl_assert(ctx, mat->n_col > 0, goto error); in isl_basic_set_preimage()
[all …]
H A Disl_pw_morph_templ.c21 isl_assert(ctx, isl_space_is_domain_internal(morph->dom->dim, pw->dim), in FN()
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_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_factorization.c208 isl_assert(H->ctx, g->cnt[g->group[k]] != 0, return -1); in update_group_i_with_row_j()
209 isl_assert(H->ctx, g->cnt[g->group[i]] != 0, return -1); in update_group_i_with_row_j()
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()
1424 isl_assert(poly->ctx, rec->n >= 1, goto error); in reorder()
2124 isl_assert(poly->ctx, rec->n == 2, return -1); in isl_poly_update_affine()
2307 isl_assert(poly->ctx, rec->n >= 1, goto error); in isl_poly_subs()
2337 isl_assert(ctx, len >= 1, return NULL); in isl_poly_from_affine()
2728 isl_assert(qp->dim->ctx, type == isl_dim_param || in isl_qpolynomial_involves_dims()
2920 isl_assert(qp->dim->ctx, type == isl_dim_param || in isl_qpolynomial_drop_dims()
[all …]
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_hash.c225 isl_assert(ctx, h >= 0 && h < size, return); in isl_hash_table_remove()
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.c2184 isl_assert(s->ctx, type == 0 || type == 1, goto error); in basic_map_read_polylib_constraint()
2262 isl_assert(s->ctx, !on_new_line, return NULL); in basic_map_read_polylib()
2263 isl_assert(s->ctx, n_row >= 0, return NULL); in basic_map_read_polylib()
2264 isl_assert(s->ctx, n_col >= 2 + nparam, return NULL); in basic_map_read_polylib()
2371 isl_assert(s->ctx, n >= 1, return NULL); in map_read_polylib()
2733 isl_assert(ctx, 0, goto error); in to_union()
3022 isl_assert(s->ctx, obj.type == isl_obj_map || in isl_stream_read_map()
3044 isl_assert(s->ctx, obj.type == isl_obj_set, goto error); in isl_stream_read_set()
3090 isl_assert(ctx, obj.type == isl_obj_union_set, goto error); in extract_union_set()
3358 isl_assert(s->ctx, obj.type == isl_obj_pw_qpolynomial, in isl_stream_read_pw_qpolynomial()
[all …]
H A Disl_ctx.c277 isl_assert(ctx, ctx->ref > 0, return); in isl_ctx_deref()
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_output.c1544 isl_assert(bmap->ctx, 0, goto error); in isl_printer_print_basic_map()
1566 isl_assert(p->ctx, 0, goto error); in isl_printer_print_basic_set()
1587 isl_assert(set->ctx, 0, goto error); in isl_printer_print_set()
1609 isl_assert(map->ctx, 0, goto error); in isl_printer_print_map()
1981 isl_assert(qp->dim->ctx, output_format == ISL_FORMAT_ISL, return); in isl_qpolynomial_print()
2023 isl_assert(fold->dim->ctx, output_format == ISL_FORMAT_ISL, return); in isl_qpolynomial_fold_print()
2284 isl_assert(p->ctx, 0, goto error); in isl_printer_print_pw_qpolynomial()
2429 isl_assert(p->ctx, 0, goto error); in isl_printer_print_pw_qpolynomial_fold()
H A Disl_tab_pip.c1054 isl_assert(tab->mat->ctx, in set_row_cst_to_div()
1289 isl_assert(tab->mat->ctx, col >= 0, goto error); in lexmin_pivot_col()
1925 isl_assert(tab->mat->ctx, tab->bmap, goto error); in check_samples()
1926 isl_assert(tab->mat->ctx, tab->samples, goto error); in check_samples()
1927 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error); in check_samples()
2024 isl_assert(tab->mat->ctx, tab->bmap, return -1); in tab_has_valid_sample()
2025 isl_assert(tab->mat->ctx, tab->samples, return -1); in tab_has_valid_sample()
2026 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, return -1); in tab_has_valid_sample()
2551 isl_assert(tab->mat->ctx, tab->samples, return isl_tab_row_unknown); in tab_ineq_sign()
2552 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, in tab_ineq_sign()
H A Disl_space.c224 isl_assert(isl_space_get_ctx(space), 0, return isl_size_error); in global_pos()
1187 isl_assert(space->ctx, space->nparam <= nparam, goto error); in space_extend()
1188 isl_assert(space->ctx, space->n_in <= n_in, goto error); in space_extend()
1189 isl_assert(space->ctx, space->n_out <= n_out, goto error); in space_extend()
1409 isl_assert(space->ctx, dst_type != src_type, goto error); in isl_space_move_dims()
1513 isl_assert(left->ctx, in isl_space_join()
H A Disl_stream.c261 isl_assert(s->ctx, s->n_un < 5, return); in isl_stream_ungetc()
304 isl_assert(s->ctx, s->n_token < 5, return); in isl_stream_push_token()
H A Disl_fold.c1125 isl_assert(pw1->dim->ctx, isl_space_is_equal(pw1->dim, pw2->dim), goto error); in isl_pw_qpolynomial_fold_fold()
1394 isl_assert(pnt->dim->ctx, isl_space_is_equal(pnt->dim, fold->dim), goto error); in isl_qpolynomial_fold_eval()
1395 isl_assert(pnt->dim->ctx, in isl_qpolynomial_fold_eval()
H A Disl_range.c438 isl_assert(ctx, d >= 1, goto error); in propagate_on_domain()
H A Disl_map.c1367 isl_assert(space->ctx, space->n_in == 0, goto error); in isl_basic_set_alloc_space()
1647 isl_assert(ctx, room_for_con(bmap, 1), return -1); in isl_basic_map_alloc_equality()
1708 isl_assert(bmap->ctx, pos < bmap->n_eq, return -1); in isl_basic_map_drop_equality()
1758 isl_assert(ctx, room_for_ineq(bmap, 1), return -1); in isl_basic_map_alloc_inequality()
1798 isl_assert(bmap->ctx, pos < bmap->n_ineq, return -1); in isl_basic_map_drop_inequality()
3462 isl_assert(map->ctx, n >= 0, goto error); in isl_map_grow()
3921 isl_assert(map1->ctx, in map_intersect_internal()
4216 isl_assert(set->ctx, type != isl_dim_in, goto error); in isl_set_add_dims()
5733 isl_assert(ctx, dim == bmap_total, goto error); in isl_basic_map_overlying_set()
6440 isl_assert(map->ctx, map->n < map->size, goto error); in isl_map_add_basic_map()
[all …]
H A Disl_vertices.c146 isl_assert(bset->ctx, v->v.vertex->n_eq >= nvar, goto error); in add_vertex()
1413 isl_assert(vertices->bset->ctx, vertices->ref == 1, goto error); in isl_morph_vertices()
H A Disl_vec.c503 isl_assert(vec1->ctx, vec1->size == vec2->size, goto error); in isl_vec_add()
/llvm-project-15.0.7/polly/lib/External/isl/include/isl/
H A Dctx.h152 #define isl_assert(ctx,test,code) \ macro

12