isl_seq_clr(bmap->eq[bmap->n_eq] +
1 + isl_basic_map_total_dim(bmap),
bmap->extra - bmap->n_div);
+ F_CLR(bmap, ISL_BASIC_MAP_NORMALIZED_DIVS);
return bmap->n_eq++;
}
bmap->n_ineq--;
bmap->ineq++;
F_CLR(bmap, ISL_BASIC_MAP_NORMALIZED);
+ F_CLR(bmap, ISL_BASIC_MAP_NORMALIZED_DIVS);
}
int isl_basic_map_alloc_inequality(struct isl_basic_map *bmap)
isl_seq_clr(bmap->div[bmap->n_div] +
1 + 1 + isl_basic_map_total_dim(bmap),
bmap->extra - bmap->n_div);
+ F_CLR(bmap, ISL_BASIC_MAP_NORMALIZED_DIVS);
return bmap->n_div++;
}