reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
10984 if (!bmap) 10987 ctx = isl_basic_map_get_ctx(bmap); 10988 total = isl_basic_map_total_dim(bmap); 10989 n_out = isl_basic_map_dim(bmap, isl_dim_out); 10990 o_out = isl_basic_map_offset(bmap, isl_dim_out); 10991 n_div = isl_basic_map_dim(bmap, isl_dim_div); 10992 o_div = isl_basic_map_offset(bmap, isl_dim_div); 10993 for (i = 0; i < bmap->n_ineq; ++i) { 10994 if (!isl_int_abs_eq(bmap->ineq[i][o_out + pos], ctx->one)) 10996 if (isl_seq_first_non_zero(bmap->ineq[i] + o_out + pos + 1, 10999 if (first_div_may_involve_output(bmap, bmap->ineq[i] + o_div, 10999 if (first_div_may_involve_output(bmap, bmap->ineq[i] + o_div, 11002 for (j = i + 1; j < bmap->n_ineq; ++j) { 11003 if (!isl_int_abs_eq(bmap->ineq[j][o_out + pos], 11006 if (!isl_seq_is_neg(bmap->ineq[i] + 1, 11007 bmap->ineq[j] + 1, total)) 11011 if (j >= bmap->n_ineq) 11013 isl_int_add(bmap->ineq[i][0], 11014 bmap->ineq[i][0], bmap->ineq[j][0]); 11014 bmap->ineq[i][0], bmap->ineq[j][0]); 11015 less = isl_int_abs_lt(bmap->ineq[i][0], m); 11016 isl_int_sub(bmap->ineq[i][0], 11017 bmap->ineq[i][0], bmap->ineq[j][0]); 11017 bmap->ineq[i][0], bmap->ineq[j][0]); 11020 if (isl_int_is_one(bmap->ineq[i][o_out + pos])) 11026 return bmap->n_ineq;