Home
last modified time | relevance | path

Searched refs:isl_tab_undo_nonneg (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_tab.h34 isl_tab_undo_nonneg, enumerator
H A Disl_tab_pip.c1514 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) in add_lexmin_valid_eq()
1521 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) in add_lexmin_valid_eq()
1592 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r1]) < 0) in add_lexmin_eq()
1619 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r2]) < 0) in add_lexmin_eq()
1674 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) in add_lexmin_ineq()
1850 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) in add_cut()
2275 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) in add_parametric_cut()
H A Disl_tab.c964 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, var) < 0) in isl_tab_mark_redundant()
1931 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) in isl_tab_add_ineq()
2474 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) in isl_tab_from_recession_cone()
3786 case isl_tab_undo_nonneg: in perform_undo_var()
3977 case isl_tab_undo_nonneg: in perform_undo()