Lines Matching refs:snap
275 struct isl_tab_undo *snap; in can_select() local
286 snap = isl_tab_snap(tab); in can_select()
291 if (isl_tab_rollback(tab, snap) < 0) in can_select()
311 if (isl_tab_rollback(tab, snap) < 0) in can_select()
384 struct isl_tab_undo **snap = NULL; in isl_basic_set_compute_vertices() local
426 snap = isl_alloc_array(bset->ctx, struct isl_tab_undo *, bset->n_ineq); in isl_basic_set_compute_vertices()
428 if ((bset->n_ineq && (!selection || !snap)) || !facets) in isl_basic_set_compute_vertices()
444 snap[level] = isl_tab_snap(tab); in isl_basic_set_compute_vertices()
457 if (isl_tab_rollback(tab, snap[level]) < 0) in isl_basic_set_compute_vertices()
477 free(snap); in isl_basic_set_compute_vertices()
490 free(snap); in isl_basic_set_compute_vertices()
571 struct isl_tab_undo *snap; in can_intersect() local
581 snap = isl_tab_snap(tab); in can_intersect()
598 if (isl_tab_rollback(tab, snap) < 0) in can_intersect()
612 struct isl_tab_undo *snap; in add_chamber() local
619 snap = isl_tab_snap(tab); in add_chamber()
657 if (isl_tab_rollback(tab, snap) < 0) in add_chamber()
691 struct isl_tab_undo *snap; in create_todo() local
694 snap = isl_tab_snap(tab); in create_todo()
727 if (isl_tab_rollback(tab, snap) < 0) in create_todo()
742 struct isl_tab_undo *snap; in init_todo() local
745 snap = isl_tab_snap(tab); in init_todo()
763 if (isl_tab_rollback(tab, snap) < 0) in init_todo()
800 struct isl_tab_undo *snap; in update_todo() local
803 snap = isl_tab_snap(tab); in update_todo()
831 if (isl_tab_rollback(tab, snap) < 0) in update_todo()
867 struct isl_tab_undo *snap; in compute_chambers() local
891 snap = isl_tab_snap(tab); in compute_chambers()
919 if (isl_tab_rollback(tab, snap) < 0) in compute_chambers()