reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4951 if (!bmap) 4953 if (isl_basic_map_divs_known(bmap)) 4954 return isl_basic_map_drop_redundant_divs_ineq(bmap); 4955 if (bmap->n_eq == 0) 4956 return isl_basic_map_drop_redundant_divs_ineq(bmap); 4957 bmap = isl_basic_map_sort_divs(bmap); 4957 bmap = isl_basic_map_sort_divs(bmap); 4958 if (!bmap) 4961 first = isl_basic_map_first_unknown_div(bmap); 4963 return isl_basic_map_free(bmap); 4965 o_div = isl_basic_map_offset(bmap, isl_dim_div); 4966 n_div = isl_basic_map_dim(bmap, isl_dim_div); 4968 for (i = 0; i < bmap->n_eq; ++i) { 4969 l = isl_seq_first_non_zero(bmap->eq[i] + o_div + first, 4974 if (isl_seq_first_non_zero(bmap->eq[i] + o_div + l + 1, 4979 if (i >= bmap->n_eq) 4980 return isl_basic_map_drop_redundant_divs_ineq(bmap); 4982 ctx = isl_basic_map_get_ctx(bmap); 4985 return isl_basic_map_free(bmap); 4986 isl_seq_cpy(T->row[0], bmap->eq[i] + o_div + l, n_div - l); 4992 bmap = isl_basic_map_mark_div_unknown(bmap, i); 4992 bmap = isl_basic_map_mark_div_unknown(bmap, i); 4993 bmap = isl_basic_map_preimage_vars(bmap, o_div - 1 + l, T); 4993 bmap = isl_basic_map_preimage_vars(bmap, o_div - 1 + l, T); 4994 bmap = isl_basic_map_simplify(bmap); 4994 bmap = isl_basic_map_simplify(bmap); 4996 return isl_basic_map_drop_redundant_divs(bmap);