Searched refs:isl_tab_snap (Results 1 – 11 of 11) sorted by relevance
286 snap = isl_tab_snap(tab); in can_select()498 snap[level] = isl_tab_snap(tab); in isl_basic_set_compute_vertices()635 snap = isl_tab_snap(tab); in can_intersect()673 snap = isl_tab_snap(tab); in add_chamber()748 snap = isl_tab_snap(tab); in create_todo()799 snap = isl_tab_snap(tab); in init_todo()857 snap = isl_tab_snap(tab); in update_todo()952 snap = isl_tab_snap(tab); in compute_chambers()
1587 snap = isl_tab_snap(tab); in add_lexmin_eq()1987 snap = isl_tab_snap(tab); in check_integer_feasible()2412 snap = isl_tab_snap(context_tab); in best_split()2602 snap = isl_tab_snap(clex->tab); in context_lex_test_ineq()2657 snap = isl_tab_snap(clex->tab); in context_lex_best_split()2681 snap = isl_tab_snap(clex->tab); in context_lex_save()2777 snap = isl_tab_snap(clex->tab); in context_lex_detect_nonnegative_parameters()3036 snap = isl_tab_snap(cgbr->tab); in gbr_get_sample()3257 snap = isl_tab_snap(cgbr->tab); in context_gbr_test_ineq()3353 snap = isl_tab_snap(tab); in propagate_equalities()[all …]
385 snap2 = isl_tab_snap(tab); in basic_map_collect_diff()390 snap[level] = isl_tab_snap(tab); in basic_map_collect_diff()432 snap[level] = isl_tab_snap(tab); in basic_map_collect_diff()
631 snap = isl_tab_snap(info[i].tab); in check_facets()634 snap2 = isl_tab_snap(info[i].tab); in check_facets()781 snap = isl_tab_snap(info[i].tab); in is_adj_ineq_extension_with_wraps()1129 snap = isl_tab_snap(info[i].tab); in is_relaxed_extension()1140 snap2 = isl_tab_snap(info[i].tab); in is_relaxed_extension()1550 snap = isl_tab_snap(info->tab); in add_selected_wraps_around_facet()1892 snap = isl_tab_snap(info[j].tab); in try_wrap_in_facets()3157 snap = isl_tab_snap(info->tab); in tab_insert_divs()3308 snap = isl_tab_snap(info[i].tab); in coalesce_expand_tab_divs()3849 snap = isl_tab_snap(info[j].tab); in coalesce_with_subs()
291 snap = isl_tab_snap(tab); in outside_point()538 snap = isl_tab_snap(tab); in uset_affine_hull_bounded()635 snap = isl_tab_snap(tab); in isl_tab_detect_equalities()
239 struct isl_tab_undo *isl_tab_snap(struct isl_tab *tab);
169 snap[level] = isl_tab_snap(tab); in isl_basic_set_scan()
270 lp->stack[lp->neq] = isl_tab_snap(lp->tab); in add_lp_row()
283 snap = isl_tab_snap(tab); in greedy_search()481 snap[level] = isl_tab_snap(tab); in isl_tab_sample()
2122 snap = isl_tab_snap(tab); in isl_tab_add_eq()3363 snap = isl_tab_snap(tab); in isl_tab_min()3674 struct isl_tab_undo *isl_tab_snap(struct isl_tab *tab) in isl_tab_snap() function4103 snap = isl_tab_snap(tab); in isl_tab_ineq_type()
11595 snap = isl_tab_snap(tab); in isl_basic_set_vars_get_sign()