Home
last modified time | relevance | path

Searched refs:isl_tab_undo (Results 1 – 11 of 11) sorted by relevance

/external/llvm-project/polly/lib/External/isl/
Disl_tab.h61 struct isl_tab_undo { struct
64 struct isl_tab_undo *next; argument
155 struct isl_tab_undo bottom;
156 struct isl_tab_undo *top;
239 struct isl_tab_undo *isl_tab_snap(struct isl_tab *tab);
240 isl_stat isl_tab_rollback(struct isl_tab *tab, struct isl_tab_undo *snap) WARN_UNUSED;
Disl_vertices.c275 struct isl_tab_undo *snap; in can_select()
384 struct isl_tab_undo **snap = NULL; in isl_basic_set_compute_vertices()
426 snap = isl_alloc_array(bset->ctx, struct isl_tab_undo *, bset->n_ineq); in isl_basic_set_compute_vertices()
571 struct isl_tab_undo *snap; in can_intersect()
612 struct isl_tab_undo *snap; in add_chamber()
691 struct isl_tab_undo *snap; in create_todo()
742 struct isl_tab_undo *snap; in init_todo()
800 struct isl_tab_undo *snap; in update_todo()
867 struct isl_tab_undo *snap; in compute_chambers()
Disl_scan.c110 struct isl_tab_undo **snap; in isl_basic_set_scan()
126 snap = isl_alloc_array(bset->ctx, struct isl_tab_undo *, dim); in isl_basic_set_scan()
Disl_tab_pip.c1583 struct isl_tab_undo *snap; in add_lexmin_eq()
1982 struct isl_tab_undo *snap; in check_integer_feasible()
2403 struct isl_tab_undo *snap; in best_split()
2415 struct isl_tab_undo *snap2; in best_split()
2593 struct isl_tab_undo *snap; in context_lex_test_ineq()
2654 struct isl_tab_undo *snap; in context_lex_best_split()
2679 struct isl_tab_undo *snap; in context_lex_save()
2693 if (isl_tab_rollback(clex->tab, (struct isl_tab_undo *)save) < 0) { in context_lex_restore()
2718 struct isl_tab_undo *snap; in tab_detect_nonnegative_parameters()
2772 struct isl_tab_undo *snap; in context_lex_detect_nonnegative_parameters()
[all …]
Dbasis_reduction_tab.c21 struct isl_tab_undo **stack;
156 lp->stack = isl_alloc_array(lp->ctx, struct isl_tab_undo *, lp->dim); in init_lp()
Disl_tab.c182 static void free_undo_record(struct isl_tab_undo *undo) in free_undo_record()
195 struct isl_tab_undo *undo, *next; in free_undo()
802 struct isl_tab_undo *undo; in push_union()
809 undo = isl_alloc_type(tab->mat->ctx, struct isl_tab_undo); in push_union()
2121 struct isl_tab_undo *snap = NULL; in isl_tab_add_eq()
3366 struct isl_tab_undo *snap; in isl_tab_min()
3685 struct isl_tab_undo *isl_tab_snap(struct isl_tab *tab) in isl_tab_snap()
3791 static isl_stat perform_undo_var(struct isl_tab *tab, struct isl_tab_undo *undo)
3793 static isl_stat perform_undo_var(struct isl_tab *tab, struct isl_tab_undo *undo) in perform_undo_var()
3976 static isl_stat perform_undo(struct isl_tab *tab, struct isl_tab_undo *undo)
[all …]
Disl_map_subtract.c318 struct isl_tab_undo **snap = NULL; in basic_map_collect_diff()
338 snap = isl_alloc_array(map->ctx, struct isl_tab_undo *, map->n); in basic_map_collect_diff()
384 struct isl_tab_undo *snap2; in basic_map_collect_diff()
Disl_coalesce.c628 struct isl_tab_undo *snap, *snap2; in check_facets()
763 struct isl_tab_undo *snap; in is_adj_ineq_extension_with_wraps()
1122 struct isl_tab_undo *snap, *snap2; in is_relaxed_extension()
1540 struct isl_tab_undo *snap; in add_selected_wraps_around_facet()
1836 struct isl_tab_undo *snap) in wrap_in_facet()
1878 struct isl_tab_undo *snap; in try_wrap_in_facets()
3129 struct isl_tab_undo *snap; in tab_insert_divs()
3289 struct isl_tab_undo *snap; in coalesce_expand_tab_divs()
3834 struct isl_tab_undo *snap; in coalesce_with_subs()
Disl_affine_hull.c271 struct isl_tab_undo *snap; in outside_point()
537 struct isl_tab_undo *snap; in uset_affine_hull_bounded()
630 struct isl_tab_undo *snap; in isl_tab_detect_equalities()
Disl_sample.c280 struct isl_tab_undo *snap; in greedy_search()
390 struct isl_tab_undo **snap; in isl_tab_sample()
424 snap = isl_alloc_array(ctx, struct isl_tab_undo *, dim); in isl_tab_sample()
Disl_map.c11418 struct isl_tab_undo *snap; in isl_basic_set_vars_get_sign()