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

References

tools/polly/lib/External/isl/isl_map_simplify.c
  553 	bmap = isl_basic_map_order_divs(bmap);
  553 	bmap = isl_basic_map_order_divs(bmap);
  555 	if (!bmap)
  558 	total = isl_basic_map_total_dim(bmap);
  559 	total_var = total - bmap->n_div;
  562 	for (done = 0; done < bmap->n_eq; ++done) {
  564 			for (k = done; k < bmap->n_eq; ++k)
  565 				if (!isl_int_is_zero(bmap->eq[k][1+last_var]))
  567 			if (k < bmap->n_eq)
  573 			swap_equality(bmap, k, done);
  574 		if (isl_int_is_neg(bmap->eq[done][1+last_var]))
  575 			isl_seq_neg(bmap->eq[done], bmap->eq[done], 1+total);
  575 			isl_seq_neg(bmap->eq[done], bmap->eq[done], 1+total);
  577 		eliminate_var_using_equality(bmap, last_var, bmap->eq[done], 1,
  577 		eliminate_var_using_equality(bmap, last_var, bmap->eq[done], 1,
  581 			bmap = set_div_from_eq(bmap, last_var - total_var,
  581 			bmap = set_div_from_eq(bmap, last_var - total_var,
  583 		if (!bmap)
  586 	if (done == bmap->n_eq)
  587 		return bmap;
  588 	for (k = done; k < bmap->n_eq; ++k) {
  589 		if (isl_int_is_zero(bmap->eq[k][0]))
  591 		return isl_basic_map_set_to_empty(bmap);
  593 	isl_basic_map_free_equality(bmap, bmap->n_eq-done);
  593 	isl_basic_map_free_equality(bmap, bmap->n_eq-done);
  594 	return bmap;