reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
725 unsigned n_eq = info[i].bmap->n_eq; 726 unsigned total = isl_basic_map_total_dim(info[i].bmap); 730 if (isl_tab_extend_cons(info[i].tab, 1 + info[j].bmap->n_ineq) < 0) 730 if (isl_tab_extend_cons(info[i].tab, 1 + info[j].bmap->n_ineq) < 0) 733 k = find_ineq(&info[i], STATUS_ADJ_INEQ); 735 isl_die(isl_basic_map_get_ctx(info[i].bmap), isl_error_internal, 739 snap = isl_tab_snap(info[i].tab); 741 if (isl_tab_unrestrict(info[i].tab, n_eq + k) < 0) 744 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total); 744 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total); 745 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1); 745 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1); 746 r = isl_tab_add_ineq(info[i].tab, info[i].bmap->ineq[k]); 746 r = isl_tab_add_ineq(info[i].tab, info[i].bmap->ineq[k]); 747 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total); 747 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total); 748 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1); 748 isl_int_sub_ui(info[i].bmap->ineq[k][0], info[i].bmap->ineq[k][0], 1); 752 for (k = 0; k < info[j].bmap->n_ineq; ++k) { 753 if (info[j].ineq[k] != STATUS_VALID) 755 if (isl_tab_add_ineq(info[i].tab, info[j].bmap->ineq[k]) < 0) 755 if (isl_tab_add_ineq(info[i].tab, info[j].bmap->ineq[k]) < 0) 758 if (isl_tab_detect_constants(info[i].tab) < 0) 761 super = contains(&info[j], info[i].tab); 761 super = contains(&info[j], info[i].tab); 765 return fuse(i, j, info, NULL, 0, 0); 767 if (isl_tab_rollback(info[i].tab, snap) < 0)