- isl_int_init(val);
- v = isl_vec_alloc(ctx, n);
- if (isl_vec_get_element(offset, first, &val) < 0)
- v = isl_vec_free(v);
- isl_int_neg(val, val);
- v = isl_vec_set(v, val);
- v = isl_vec_add(v, isl_vec_copy(offset));
- v = isl_vec_fdiv_r(v, stride);
+ mv = isl_multi_val_copy(offset);
+ val = isl_multi_val_get_val(offset, first);
+ val = isl_val_neg(val);
+ mv = isl_multi_val_add_val(mv, val);
+ mv = isl_multi_val_mod_val(mv, isl_val_copy(stride));