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
   52 	unsigned total = isl_basic_map_total_dim(bmap);
   54 	if (!bmap)
   58 	for (i = bmap->n_eq - 1; i >= 0; --i) {
   59 		isl_seq_gcd(bmap->eq[i]+1, total, &gcd);
   61 			if (!isl_int_is_zero(bmap->eq[i][0])) {
   62 				bmap = isl_basic_map_set_to_empty(bmap);
   62 				bmap = isl_basic_map_set_to_empty(bmap);
   65 			isl_basic_map_drop_equality(bmap, i);
   68 		if (ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL))
   69 			isl_int_gcd(gcd, gcd, bmap->eq[i][0]);
   72 		if (!isl_int_is_divisible_by(bmap->eq[i][0], gcd)) {
   73 			bmap = isl_basic_map_set_to_empty(bmap);
   73 			bmap = isl_basic_map_set_to_empty(bmap);
   76 		isl_seq_scale_down(bmap->eq[i], bmap->eq[i], gcd, 1+total);
   76 		isl_seq_scale_down(bmap->eq[i], bmap->eq[i], gcd, 1+total);
   79 	for (i = bmap->n_ineq - 1; i >= 0; --i) {
   80 		isl_seq_gcd(bmap->ineq[i]+1, total, &gcd);
   82 			if (isl_int_is_neg(bmap->ineq[i][0])) {
   83 				bmap = isl_basic_map_set_to_empty(bmap);
   83 				bmap = isl_basic_map_set_to_empty(bmap);
   86 			isl_basic_map_drop_inequality(bmap, i);
   89 		if (ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL))
   90 			isl_int_gcd(gcd, gcd, bmap->ineq[i][0]);
   93 		isl_int_fdiv_q(bmap->ineq[i][0], bmap->ineq[i][0], gcd);
   93 		isl_int_fdiv_q(bmap->ineq[i][0], bmap->ineq[i][0], gcd);
   94 		isl_seq_scale_down(bmap->ineq[i]+1, bmap->ineq[i]+1, gcd, total);
   94 		isl_seq_scale_down(bmap->ineq[i]+1, bmap->ineq[i]+1, gcd, total);
   98 	return bmap;