Home
last modified time | relevance | path

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

/llvm-project-15.0.7/polly/lib/External/isl/
H A 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;
H A Disl_vertices.c275 struct isl_tab_undo *snap; in can_select()
428 struct isl_tab_undo **snap = NULL; in isl_basic_set_compute_vertices()
480 snap = isl_alloc_array(copy->ctx, struct isl_tab_undo *, copy->n_ineq); in isl_basic_set_compute_vertices()
625 struct isl_tab_undo *snap; in can_intersect()
666 struct isl_tab_undo *snap; in add_chamber()
745 struct isl_tab_undo *snap; in create_todo()
796 struct isl_tab_undo *snap; in init_todo()
854 struct isl_tab_undo *snap; in update_todo()
922 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.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()
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()
2718 struct isl_tab_undo *snap; in tab_detect_nonnegative_parameters()
2772 struct isl_tab_undo *snap; in context_lex_detect_nonnegative_parameters()
3246 struct isl_tab_undo *snap; in context_gbr_test_ineq()
3469 struct isl_tab_undo *snap; in context_gbr_best_split()
[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()
3966 static isl_stat perform_undo(struct isl_tab *tab, struct isl_tab_undo *undo)
4014 isl_stat isl_tab_rollback(struct isl_tab *tab, struct isl_tab_undo *snap) in isl_tab_rollback()
4016 struct isl_tab_undo *undo, *next; in isl_tab_rollback()
[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()
1844 struct isl_tab_undo *snap) in wrap_in_facet()
1886 struct isl_tab_undo *snap; in try_wrap_in_facets()
3137 struct isl_tab_undo *snap; in tab_insert_divs()
3297 struct isl_tab_undo *snap; in coalesce_expand_tab_divs()
3844 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.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()
H A Disl_map.c11579 struct isl_tab_undo *snap; in isl_basic_set_vars_get_sign()