reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/polly/lib/External/isl/isl_coalesce.c
  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)