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

References

tools/polly/lib/External/isl/isl_transitive_closure.c
  584 	path = isl_basic_map_alloc_space(isl_space_copy(dim), n_div + d + 1,
  589 		k = isl_basic_map_alloc_div(path);
  592 		isl_int_set_si(path->div[k][0], 0);
  596 		k = isl_basic_map_alloc_equality(path);
  599 		isl_seq_clr(path->eq[k], 1 + isl_basic_map_total_dim(path));
  599 		isl_seq_clr(path->eq[k], 1 + isl_basic_map_total_dim(path));
  600 		isl_int_set_si(path->eq[k][1 + nparam + i], 1);
  601 		isl_int_set_si(path->eq[k][1 + nparam + d + 1 + i], -1);
  602 		isl_int_set_si(path->eq[k][off + i], 1);
  609 	path = add_delta_constraints(path, delta, off, nparam, d,
  609 	path = add_delta_constraints(path, delta, off, nparam, d,
  611 	path = add_delta_constraints(path, delta, off, nparam, d,
  611 	path = add_delta_constraints(path, delta, off, nparam, d,
  621 		path = isl_basic_map_extend_constraints(path, delta->n_eq,
  621 		path = isl_basic_map_extend_constraints(path, delta->n_eq,
  623 		path = add_delta_constraints(path, delta, off, nparam, d,
  623 		path = add_delta_constraints(path, delta, off, nparam, d,
  625 		path = add_delta_constraints(path, delta, off, nparam, d,
  625 		path = add_delta_constraints(path, delta, off, nparam, d,
  627 		path = isl_basic_map_gauss(path, NULL);
  627 		path = isl_basic_map_gauss(path, NULL);
  630 	is_id = empty_path_is_identity(path, off + d);
  634 	k = isl_basic_map_alloc_inequality(path);
  637 	isl_seq_clr(path->ineq[k], 1 + isl_basic_map_total_dim(path));
  637 	isl_seq_clr(path->ineq[k], 1 + isl_basic_map_total_dim(path));
  639 		isl_int_set_si(path->ineq[k][0], -1);
  640 	isl_int_set_si(path->ineq[k][off + d], 1);
  644 	path = isl_basic_map_finalize(path);
  644 	path = isl_basic_map_finalize(path);
  647 		return isl_map_from_basic_map(path);
  649 	return isl_basic_map_union(path, isl_basic_map_identity(dim));
  654 	isl_basic_map_free(path);