reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
392 bmap = isl_basic_map_order_divs(bmap); 392 bmap = isl_basic_map_order_divs(bmap); 394 if (!bmap) 397 off = 1 + isl_space_dim(bmap->dim, isl_dim_all); 399 for (d = bmap->n_div - 1; d >= 0 ; --d) { 400 for (i = 0; i < bmap->n_eq; ++i) { 403 if (!isl_int_is_one(bmap->eq[i][off + d]) && 404 !isl_int_is_negone(bmap->eq[i][off + d])) 406 ok = ok_to_eliminate_div(bmap, bmap->eq[i], d); 406 ok = ok_to_eliminate_div(bmap, bmap->eq[i], d); 408 return isl_basic_map_free(bmap); 413 bmap = eliminate_div(bmap, bmap->eq[i], d, 1); 413 bmap = eliminate_div(bmap, bmap->eq[i], d, 1); 413 bmap = eliminate_div(bmap, bmap->eq[i], d, 1); 414 if (isl_basic_map_drop_equality(bmap, i) < 0) 415 return isl_basic_map_free(bmap); 420 return eliminate_divs_eq(bmap, progress); 421 return bmap;