reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2589 for (j = 0; (lb || ub) && j < total + bmap->n_div; ++j) { 2591 isl_int_sub(v, bmap->ineq[i][1 + j], 2592 bmap->div[div][1 + 1 + j]); 2593 lb = isl_int_is_divisible_by(v, bmap->div[div][0]); 2596 isl_int_add(v, bmap->ineq[i][1 + j], 2597 bmap->div[div][1 + 1 + j]); 2598 ub = isl_int_is_divisible_by(v, bmap->div[div][0]); 2602 return bmap; 2604 bmap = isl_basic_map_cow(bmap); 2604 bmap = isl_basic_map_cow(bmap); 2605 bmap = isl_basic_map_extend_constraints(bmap, 0, lb + ub); 2605 bmap = isl_basic_map_extend_constraints(bmap, 0, lb + ub); 2607 int k = isl_basic_map_alloc_inequality(bmap); 2610 for (j = 0; j < 1 + total + bmap->n_div; ++j) { 2611 isl_int_sub(bmap->ineq[k][j], bmap->ineq[i][j], 2611 isl_int_sub(bmap->ineq[k][j], bmap->ineq[i][j], 2612 bmap->div[div][1 + j]); 2613 isl_int_cdiv_q(bmap->ineq[k][j], 2614 bmap->ineq[k][j], bmap->div[div][0]); 2614 bmap->ineq[k][j], bmap->div[div][0]); 2616 isl_int_set_si(bmap->ineq[k][1 + total + div], 1); 2619 int k = isl_basic_map_alloc_inequality(bmap); 2622 for (j = 0; j < 1 + total + bmap->n_div; ++j) { 2623 isl_int_add(bmap->ineq[k][j], bmap->ineq[i][j], 2623 isl_int_add(bmap->ineq[k][j], bmap->ineq[i][j], 2624 bmap->div[div][1 + j]); 2625 isl_int_fdiv_q(bmap->ineq[k][j], 2626 bmap->ineq[k][j], bmap->div[div][0]); 2626 bmap->ineq[k][j], bmap->div[div][0]); 2628 isl_int_set_si(bmap->ineq[k][1 + total + div], -1); 2631 ISL_F_CLR(bmap, ISL_BASIC_MAP_NORMALIZED); 2632 return bmap; 2634 isl_basic_map_free(bmap);