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
  753 	if (!bmap)
  756 	dim = isl_basic_map_total_dim(bmap);
  757 	isl_assert(bmap->ctx, bmap->n_eq == dim, return NULL);
  757 	isl_assert(bmap->ctx, bmap->n_eq == dim, return NULL);
  758 	point = isl_vec_alloc(bmap->ctx, 1 + dim);
  765 	for (j = 0; j < bmap->n_eq; ++j) {
  767 		isl_assert(bmap->ctx,
  768 		    isl_seq_first_non_zero(bmap->eq[j] + 1, i) == -1,
  770 		isl_assert(bmap->ctx,
  771 		    isl_int_is_one(bmap->eq[j][1 + i]) ||
  772 		    isl_int_is_negone(bmap->eq[j][1 + i]),
  774 		isl_assert(bmap->ctx,
  775 		    isl_seq_first_non_zero(bmap->eq[j]+1+i+1, dim-i-1) == -1,
  778 		isl_int_gcd(m, point->el[0], bmap->eq[j][1 + i]);
  779 		isl_int_divexact(m, bmap->eq[j][1 + i], m);
  782 		isl_int_divexact(m, point->el[0], bmap->eq[j][1 + i]);
  784 		isl_int_mul(point->el[1 + i], m, bmap->eq[j][0]);
  788 	return isl_point_alloc(isl_basic_map_get_space(bmap), point);