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
  530 	if (!map1 || !map2)
  533 	isl_assert(map1->ctx, isl_space_is_equal(map1->dim, map2->dim), goto error);
  533 	isl_assert(map1->ctx, isl_space_is_equal(map1->dim, map2->dim), goto error);
  535 	equal = isl_map_plain_is_equal(map1, map2);
  539 		return replace_pair_by_empty(map1, map2);
  541 	disjoint = isl_map_is_disjoint(map1, map2);
  546 		return map1;
  549 	map1 = isl_map_compute_divs(map1);
  549 	map1 = isl_map_compute_divs(map1);
  551 	if (!map1 || !map2)
  554 	map1 = isl_map_remove_empty_parts(map1);
  554 	map1 = isl_map_remove_empty_parts(map1);
  557 	diff = isl_map_empty(isl_map_get_space(map1));
  558 	for (i = 0; i < map1->n; ++i) {
  560 		d = basic_map_subtract(isl_basic_map_copy(map1->p[i]),
  562 		if (ISL_F_ISSET(map1, ISL_MAP_DISJOINT))
  568 	isl_map_free(map1);
  573 	isl_map_free(map1);