int j = isl_basic_map_alloc_div(ctx, dst);
isl_seq_cpy(dst->div[j], src->div[i], 1+1+total);
}
- F_SET(dst, ISL_PRIMITIVE_SET_FINAL);
+ F_SET(dst, ISL_BASIC_SET_FINAL);
}
struct isl_basic_map *isl_basic_map_dup(struct isl_ctx *ctx,
if (!bset)
return NULL;
- if (F_ISSET(bset, ISL_PRIMITIVE_SET_FINAL)) {
+ if (F_ISSET(bset, ISL_BASIC_SET_FINAL)) {
bset->ref++;
return bset;
}
if (!bmap)
return NULL;
- if (F_ISSET(bmap, ISL_PRIMITIVE_SET_FINAL)) {
+ if (F_ISSET(bmap, ISL_BASIC_SET_FINAL)) {
bmap->ref++;
return bmap;
}
bmap->ref--;
bmap = isl_basic_map_dup(ctx, bmap);
}
- F_CLR(bmap, ISL_PRIMITIVE_SET_FINAL);
+ F_CLR(bmap, ISL_BASIC_SET_FINAL);
return bmap;
}
bmap = remove_redundant_divs(ctx, bmap);
if (!bmap)
return NULL;
- F_SET(bmap, ISL_PRIMITIVE_SET_FINAL);
+ F_SET(bmap, ISL_BASIC_SET_FINAL);
return bmap;
}