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
 4274 	ctx = isl_basic_map_get_ctx(bmap);
 4276 	dim = isl_space_dim(bmap->dim, isl_dim_all);
 4277 	total = 1 + dim + bmap->n_div;
 4280 	isl_int_add(m, bmap->ineq[l][0], bmap->ineq[u][0]);
 4280 	isl_int_add(m, bmap->ineq[l][0], bmap->ineq[u][0]);
 4283 	for (i = 0; i < bmap->n_ineq; ++i) {
 4286 		if (isl_int_is_zero(bmap->ineq[i][1 + dim + div2]))
 4288 		if (isl_int_is_zero(bmap->ineq[i][1 + dim + div1])) {
 4289 			if (isl_int_is_pos(bmap->ineq[i][1 + dim + div2]))
 4290 				isl_seq_combine(bmap->ineq[i], m, bmap->ineq[i],
 4290 				isl_seq_combine(bmap->ineq[i], m, bmap->ineq[i],
 4291 						ctx->one, bmap->ineq[l], total);
 4293 				isl_seq_combine(bmap->ineq[i], m, bmap->ineq[i],
 4293 				isl_seq_combine(bmap->ineq[i], m, bmap->ineq[i],
 4294 						ctx->one, bmap->ineq[u], total);
 4296 		isl_int_set(bmap->ineq[i][1 + dim + div2],
 4297 			    bmap->ineq[i][1 + dim + div1]);
 4298 		isl_int_set_si(bmap->ineq[i][1 + dim + div1], 0);
 4303 		isl_basic_map_drop_inequality(bmap, l);
 4304 		isl_basic_map_drop_inequality(bmap, u);
 4306 		isl_basic_map_drop_inequality(bmap, u);
 4307 		isl_basic_map_drop_inequality(bmap, l);
 4309 	bmap = isl_basic_map_mark_div_unknown(bmap, div2);
 4309 	bmap = isl_basic_map_mark_div_unknown(bmap, div2);
 4310 	bmap = isl_basic_map_drop_div(bmap, div1);
 4310 	bmap = isl_basic_map_drop_div(bmap, div1);
 4311 	return bmap;