reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
994 ctx = isl_basic_map_get_ctx(info->bmap); 995 total = isl_basic_map_total_dim(info->bmap); 996 isl_int_add_ui(info->bmap->ineq[k][0], info->bmap->ineq[k][0], 1); 996 isl_int_add_ui(info->bmap->ineq[k][0], info->bmap->ineq[k][0], 1); 997 T = isl_mat_sub_alloc6(ctx, info->bmap->ineq, k, 1, 0, 1 + total); 999 isl_int_sub_ui(info->bmap->ineq[k][0], info->bmap->ineq[k][0], 1); 999 isl_int_sub_ui(info->bmap->ineq[k][0], info->bmap->ineq[k][0], 1); 1014 for (i = 0; i < info->bmap->n_ineq; ++i) { 1018 if (info->ineq[i] == STATUS_REDUNDANT) 1020 handle = is_affected(info->bmap, i, affected, total); 1028 isl_seq_cpy(v->el, info->bmap->ineq[i], 1 + total); 1030 v = try_tightening(info, i, v);