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
 1165 	unsigned total = isl_basic_map_total_dim(bmap);
 1168 	if (!bmap || bmap->n_ineq <= 1)
 1168 	if (!bmap || bmap->n_ineq <= 1)
 1169 		return bmap;
 1171 	if (create_constraint_index(&ci, bmap) < 0)
 1172 		return bmap;
 1174 	h = isl_seq_get_hash_bits(bmap->ineq[0] + 1, total, ci.bits);
 1175 	ci.index[h] = &bmap->ineq[0];
 1176 	for (k = 1; k < bmap->n_ineq; ++k) {
 1177 		h = hash_index(&ci, bmap, k);
 1179 			ci.index[h] = &bmap->ineq[k];
 1184 		l = ci.index[h] - &bmap->ineq[0];
 1185 		if (isl_int_lt(bmap->ineq[k][0], bmap->ineq[l][0]))
 1185 		if (isl_int_lt(bmap->ineq[k][0], bmap->ineq[l][0]))
 1186 			swap_inequality(bmap, k, l);
 1187 		isl_basic_map_drop_inequality(bmap, k);
 1191 	for (k = 0; k < bmap->n_ineq-1; ++k) {
 1192 		isl_seq_neg(bmap->ineq[k]+1, bmap->ineq[k]+1, total);
 1192 		isl_seq_neg(bmap->ineq[k]+1, bmap->ineq[k]+1, total);
 1193 		h = hash_index(&ci, bmap, k);
 1194 		isl_seq_neg(bmap->ineq[k]+1, bmap->ineq[k]+1, total);
 1194 		isl_seq_neg(bmap->ineq[k]+1, bmap->ineq[k]+1, total);
 1197 		l = ci.index[h] - &bmap->ineq[0];
 1198 		isl_int_add(sum, bmap->ineq[k][0], bmap->ineq[l][0]);
 1198 		isl_int_add(sum, bmap->ineq[k][0], bmap->ineq[l][0]);
 1201 				bmap = check_for_div_constraints(bmap, k, l,
 1201 				bmap = check_for_div_constraints(bmap, k, l,
 1213 			isl_basic_map_drop_inequality(bmap, l);
 1214 			isl_basic_map_inequality_to_equality(bmap, k);
 1216 			bmap = isl_basic_map_set_to_empty(bmap);
 1216 			bmap = isl_basic_map_set_to_empty(bmap);
 1222 	return bmap;