reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4143 if (!bmap) 4146 ctx = isl_basic_map_get_ctx(bmap); 4147 off = isl_basic_map_offset(bmap, isl_dim_div); 4148 n_div = isl_basic_map_dim(bmap, isl_dim_div); 4167 for (l = 0; l < bmap->n_ineq; ++l) { 4168 if (!isl_int_is_pos(bmap->ineq[l][off + i])) 4170 if (isl_int_is_one(bmap->ineq[l][off + i])) 4172 for (u = 0; u < bmap->n_ineq; ++u) { 4173 if (!isl_int_is_neg(bmap->ineq[u][off + i])) 4175 if (isl_int_is_negone(bmap->ineq[u][off + i])) 4177 has_int = int_between_bounds(bmap, i, l, u, 4186 if (u < bmap->n_ineq) 4190 bmap = isl_basic_map_set_to_empty(bmap); 4190 bmap = isl_basic_map_set_to_empty(bmap); 4193 if (l == bmap->n_ineq) { 4206 return bmap; 4208 bmap = isl_basic_map_remove_dims(bmap, isl_dim_div, remove, 1); 4208 bmap = isl_basic_map_remove_dims(bmap, isl_dim_div, remove, 1); 4209 return isl_basic_map_drop_redundant_divs(bmap); 4212 isl_basic_map_free(bmap);