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

References

tools/polly/lib/External/isl/isl_map_subtract.c
  118 	if (!tab || !bmap)
  122 	bmap_total = isl_basic_map_total_dim(bmap);
  125 	v = isl_vec_alloc(bmap->ctx, 1 + tab_total);
  129 	if (c < 2 * bmap->n_eq) {
  131 			isl_seq_neg(bmap->eq[c/2], bmap->eq[c/2],
  131 			isl_seq_neg(bmap->eq[c/2], bmap->eq[c/2],
  134 			isl_int_sub_ui(bmap->eq[c/2][0], bmap->eq[c/2][0], 1);
  134 			isl_int_sub_ui(bmap->eq[c/2][0], bmap->eq[c/2][0], 1);
  135 		expand_constraint(v, dim, bmap->eq[c/2], div_map, bmap->n_div);
  135 		expand_constraint(v, dim, bmap->eq[c/2], div_map, bmap->n_div);
  138 			isl_int_add_ui(bmap->eq[c/2][0], bmap->eq[c/2][0], 1);
  138 			isl_int_add_ui(bmap->eq[c/2][0], bmap->eq[c/2][0], 1);
  140 			isl_seq_neg(bmap->eq[c/2], bmap->eq[c/2],
  140 			isl_seq_neg(bmap->eq[c/2], bmap->eq[c/2],
  143 		c -= 2 * bmap->n_eq;
  145 			isl_seq_neg(bmap->ineq[c], bmap->ineq[c],
  145 			isl_seq_neg(bmap->ineq[c], bmap->ineq[c],
  147 			isl_int_sub_ui(bmap->ineq[c][0], bmap->ineq[c][0], 1);
  147 			isl_int_sub_ui(bmap->ineq[c][0], bmap->ineq[c][0], 1);
  149 		expand_constraint(v, dim, bmap->ineq[c], div_map, bmap->n_div);
  149 		expand_constraint(v, dim, bmap->ineq[c], div_map, bmap->n_div);
  152 			isl_int_add_ui(bmap->ineq[c][0], bmap->ineq[c][0], 1);
  152 			isl_int_add_ui(bmap->ineq[c][0], bmap->ineq[c][0], 1);
  153 			isl_seq_neg(bmap->ineq[c], bmap->ineq[c],
  153 			isl_seq_neg(bmap->ineq[c], bmap->ineq[c],