/* * Copyright 2011 Sven Verdoolaege * Copyright 2012-2013 Ecole Normale Superieure * * Use of this software is governed by the MIT license * * Written by Sven Verdoolaege, * Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France */ #include <isl_space_private.h> #include <isl_multi_macro.h> /* Check whether "multi" has non-zero coefficients for any dimension * in the given range or if any of these dimensions appear * with non-zero coefficients in any of the integer divisions involved. */ isl_bool FN(MULTI(BASE),involves_dims)(__isl_keep MULTI(BASE) *multi, enum isl_dim_type type, unsigned first, unsigned n) { … } __isl_give MULTI(BASE) *FN(MULTI(BASE),insert_dims)( __isl_take MULTI(BASE) *multi, enum isl_dim_type type, unsigned first, unsigned n) { … } __isl_give MULTI(BASE) *FN(MULTI(BASE),add_dims)(__isl_take MULTI(BASE) *multi, enum isl_dim_type type, unsigned n) { … } /* Project the domain of "multi" onto its parameter space. * "multi" may not involve any of the domain dimensions. */ __isl_give MULTI(BASE) *FN(MULTI(BASE),project_domain_on_params)( __isl_take MULTI(BASE) *multi) { … }