Home
last modified time | relevance | path

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

/netbsd-src/external/mit/isl/dist/
H A Disl_tab.h62 struct isl_tab_undo { struct
65 struct isl_tab_undo *next; argument
156 struct isl_tab_undo bottom;
157 struct isl_tab_undo *top;
240 struct isl_tab_undo *isl_tab_snap(struct isl_tab *tab);
241 isl_stat isl_tab_rollback(struct isl_tab *tab, struct isl_tab_undo *snap) WARN_UNUSED;
H A Disl_vertices.c275 struct isl_tab_undo *snap; in can_select()
430 struct isl_tab_undo **snap = NULL; in isl_basic_set_compute_vertices()
482 snap = isl_alloc_array(copy->ctx, struct isl_tab_undo *, copy->n_ineq); in isl_basic_set_compute_vertices()
627 struct isl_tab_undo *snap; in can_intersect()
668 struct isl_tab_undo *snap; in add_chamber()
747 struct isl_tab_undo *snap; in create_todo()
798 struct isl_tab_undo *snap; in init_todo()
856 struct isl_tab_undo *snap; in update_todo()
924 struct isl_tab_undo *snap; in compute_chambers()
H A 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()
H A Disl_tab_pip.c1609 struct isl_tab_undo *snap; in add_lexmin_eq()
2008 struct isl_tab_undo *snap; in check_integer_feasible()
2429 struct isl_tab_undo *snap; in best_split()
2441 struct isl_tab_undo *snap2; in best_split()
2619 struct isl_tab_undo *snap; in context_lex_test_ineq()
2680 struct isl_tab_undo *snap; in context_lex_best_split()
2705 struct isl_tab_undo *snap; in context_lex_save()
2719 if (isl_tab_rollback(clex->tab, (struct isl_tab_undo *)save) < 0) { in context_lex_restore()
2744 struct isl_tab_undo *snap; in tab_detect_nonnegative_parameters()
2798 struct isl_tab_undo *snap; in context_lex_detect_nonnegative_parameters()
[all …]
H A 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()
H A 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()
2110 struct isl_tab_undo *snap = NULL; in isl_tab_add_eq()
3355 struct isl_tab_undo *snap; in isl_tab_min()
3674 struct isl_tab_undo *isl_tab_snap(struct isl_tab *tab) in isl_tab_snap()
3780 static isl_stat perform_undo_var(struct isl_tab *tab, struct isl_tab_undo *undo)
3782 static isl_stat perform_undo_var(struct isl_tab *tab, struct isl_tab_undo *undo) in perform_undo_var()
3966 static isl_stat perform_undo(struct isl_tab *tab, struct isl_tab_undo *undo)
[all …]
H A 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()
H A 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()
1543 struct isl_tab_undo *snap; in add_selected_wraps_around_facet()
1846 struct isl_tab_undo *snap) in wrap_in_facet()
1888 struct isl_tab_undo *snap; in try_wrap_in_facets()
3139 struct isl_tab_undo *snap; in tab_insert_divs()
3299 struct isl_tab_undo *snap; in coalesce_expand_tab_divs()
3846 struct isl_tab_undo *snap; in coalesce_with_subs()
H A 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()
H A Disl_sample.c283 struct isl_tab_undo *snap; in greedy_search()
393 struct isl_tab_undo **snap; in isl_tab_sample()
427 snap = isl_alloc_array(ctx, struct isl_tab_undo *, dim); in isl_tab_sample()
H A Disl_map.c11684 struct isl_tab_undo *snap; in isl_basic_set_vars_get_sign()