reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4491 if (isl_basic_map_check_equal_params(bmap1, bmap2) < 0) 4493 if (!isl_space_tuple_is_equal(bmap1->dim, isl_dim_out, 4495 isl_die(isl_basic_map_get_ctx(bmap1), isl_error_invalid, 4498 dim_result = isl_space_join(isl_space_copy(bmap1->dim), 4501 n_in = isl_basic_map_dim(bmap1, isl_dim_in); 4503 n = isl_basic_map_dim(bmap1, isl_dim_out); 4504 nparam = isl_basic_map_dim(bmap1, isl_dim_param); 4506 total = nparam + n_in + n_out + bmap1->n_div + bmap2->n_div + n; 4507 dim_map1 = isl_dim_map_alloc(bmap1->ctx, total); 4508 dim_map2 = isl_dim_map_alloc(bmap1->ctx, total); 4509 isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_param, pos = 0); 4511 isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_in, pos += nparam); 4513 isl_dim_map_div(dim_map1, bmap1, pos += n_out); 4514 isl_dim_map_div(dim_map2, bmap2, pos += bmap1->n_div); 4515 isl_dim_map_dim(dim_map1, bmap1->dim, isl_dim_out, pos += bmap2->n_div); 4519 bmap1->n_div + bmap2->n_div + n, 4520 bmap1->n_eq + bmap2->n_eq, 4521 bmap1->n_ineq + bmap2->n_ineq); 4522 bmap = isl_basic_map_add_constraints_dim_map(bmap, bmap1, dim_map1); 4529 isl_basic_map_free(bmap1);