reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3676 isl_assert(map1->ctx, map1->n == 1, goto error); 3676 isl_assert(map1->ctx, map1->n == 1, goto error); 3677 isl_assert(map2->ctx, map1->n == 1, goto error); 3678 isl_assert(map1->ctx, map1->p[0]->n_div == 0, goto error); 3678 isl_assert(map1->ctx, map1->p[0]->n_div == 0, goto error); 3679 isl_assert(map2->ctx, map1->p[0]->n_div == 0, goto error); 3682 return isl_map_intersect(map2, map1); 3684 map1 = isl_map_cow(map1); 3684 map1 = isl_map_cow(map1); 3685 if (!map1) 3687 if (isl_map_plain_is_empty(map1)) { 3689 return map1; 3691 map1->p[0] = isl_basic_map_cow(map1->p[0]); 3691 map1->p[0] = isl_basic_map_cow(map1->p[0]); 3693 map1->p[0] = isl_basic_map_add_eq(map1->p[0], map2->p[0]->eq[0]); 3693 map1->p[0] = isl_basic_map_add_eq(map1->p[0], map2->p[0]->eq[0]); 3695 map1->p[0] = isl_basic_map_add_ineq(map1->p[0], 3695 map1->p[0] = isl_basic_map_add_ineq(map1->p[0], 3698 map1->p[0] = isl_basic_map_simplify(map1->p[0]); 3698 map1->p[0] = isl_basic_map_simplify(map1->p[0]); 3699 map1->p[0] = isl_basic_map_finalize(map1->p[0]); 3699 map1->p[0] = isl_basic_map_finalize(map1->p[0]); 3700 if (!map1->p[0]) 3703 if (isl_basic_map_plain_is_empty(map1->p[0])) { 3704 isl_basic_map_free(map1->p[0]); 3705 map1->n = 0; 3710 map1 = isl_map_unmark_normalized(map1); 3710 map1 = isl_map_unmark_normalized(map1); 3711 return map1; 3713 isl_map_free(map1);