#include <isl_val_private.h> /* Return a reference to an isl_val representing the unsigned * integer value stored in the "n" chunks of size "size" at "chunks". * The least significant chunk is assumed to be stored first. */ __isl_give isl_val *isl_val_int_from_chunks(isl_ctx *ctx, size_t n, size_t size, const void *chunks) { … } /* Store a representation of the absolute value of the numerator of "v" * in terms of chunks of size "size" at "chunks". * The least significant chunk is stored first. * The number of chunks in the result can be obtained by calling * isl_val_n_abs_num_chunks. The user is responsible for allocating * enough memory to store the results. * * In the special case of a zero value, isl_val_n_abs_num_chunks will * return one, while impz_export will not fill in any chunks. We therefore * do it ourselves. */ isl_stat isl_val_get_abs_num_chunks(__isl_keep isl_val *v, size_t size, void *chunks) { … } /* Return the number of chunks of size "size" required to * store the absolute value of the numerator of "v". */ isl_size isl_val_n_abs_num_chunks(__isl_keep isl_val *v, size_t size) { … }