reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1291 if (!bmap) 1294 ctx = isl_basic_map_get_ctx(bmap); 1295 total = 1 + isl_space_dim(bmap->dim, isl_dim_all); 1297 for (i = 0; i < bmap->n_div; ++i) { 1298 if (isl_int_is_zero(bmap->div[i][0])) 1300 if (isl_int_is_one(bmap->div[i][0])) 1302 for (j = 0; j < bmap->n_ineq; ++j) { 1305 if (!isl_int_is_one(bmap->ineq[j][total + i]) && 1306 !isl_int_is_negone(bmap->ineq[j][total + i])) 1311 s = isl_int_sgn(bmap->ineq[j][total + i]); 1312 isl_int_set_si(bmap->ineq[j][total + i], 0); 1314 isl_seq_combine(bmap->ineq[j], 1315 ctx->negone, bmap->div[i] + 1, 1316 bmap->div[i][0], bmap->ineq[j], 1316 bmap->div[i][0], bmap->ineq[j], 1317 total + bmap->n_div); 1319 isl_seq_combine(bmap->ineq[j], 1320 ctx->one, bmap->div[i] + 1, 1321 bmap->div[i][0], bmap->ineq[j], 1321 bmap->div[i][0], bmap->ineq[j], 1322 total + bmap->n_div); 1324 isl_int_add(bmap->ineq[j][0], 1325 bmap->ineq[j][0], bmap->div[i][0]); 1325 bmap->ineq[j][0], bmap->div[i][0]); 1326 isl_int_sub_ui(bmap->ineq[j][0], 1327 bmap->ineq[j][0], 1); 1330 bmap = isl_basic_map_extend_constraints(bmap, 0, 1); 1330 bmap = isl_basic_map_extend_constraints(bmap, 0, 1); 1331 if (isl_basic_map_add_div_constraint(bmap, i, s) < 0) 1332 return isl_basic_map_free(bmap); 1336 return bmap;