reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
61 map_space = isl_basic_map_get_space(bmap); 64 n_in = isl_basic_map_dim(bmap, isl_dim_param) + 65 isl_basic_map_dim(bmap, isl_dim_in); 66 n_out = isl_basic_map_dim(bmap, isl_dim_all) - n_in; 68 ctx = isl_basic_map_get_ctx(bmap); 69 list = isl_alloc_array(ctx, int, bmap->n_ineq); 71 if ((bmap->n_ineq && !list) || (n_out && !var)) 76 isl_seq_cpy(var->el, bmap->ineq[first] + 1 + n_in, n_out); 77 for (i = second + 1, n = 2; i < bmap->n_ineq; ++i) { 78 if (isl_seq_eq(var->el, bmap->ineq[i] + 1 + n_in, n_out) && 79 all_single_occurrence(bmap, i, n_in)) 88 isl_seq_cpy(cst->row[i], bmap->ineq[list[i]], 1 + n_in); 90 bmap = isl_basic_map_cow(bmap); 90 bmap = isl_basic_map_cow(bmap); 91 if (!bmap) 94 if (isl_basic_map_drop_inequality(bmap, list[i]) < 0) 97 bmap = isl_basic_map_add_dims(bmap, isl_dim_in, 1); 97 bmap = isl_basic_map_add_dims(bmap, isl_dim_in, 1); 98 bmap = isl_basic_map_extend_constraints(bmap, 0, 1); 98 bmap = isl_basic_map_extend_constraints(bmap, 0, 1); 99 k = isl_basic_map_alloc_inequality(bmap); 102 isl_seq_clr(bmap->ineq[k], 1 + n_in); 103 isl_int_set_si(bmap->ineq[k][1 + n_in], 1); 104 isl_seq_cpy(bmap->ineq[k] + 1 + n_in + 1, var->el, n_out); 105 bmap = isl_basic_map_finalize(bmap); 105 bmap = isl_basic_map_finalize(bmap); 122 return SF(basic_map_partial_lexopt_symm_core,SUFFIX)(bmap, dom, empty, 131 isl_basic_map_free(bmap);