/* * Copyright 2011 Sven Verdoolaege * Copyright 2012-2014 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/id.h> #include <isl_space_private.h> #include <isl/set.h> #include <isl_reordering.h> #include <isl_multi_macro.h> #define MULTI_NAME(BASE) … isl_ctx *FN(MULTI(BASE),get_ctx)(__isl_keep MULTI(BASE) *multi) { … } /* Return the space of "multi". */ __isl_keep isl_space *FN(MULTI(BASE),peek_space)(__isl_keep MULTI(BASE) *multi) { … } __isl_give isl_space *FN(MULTI(BASE),get_space)(__isl_keep MULTI(BASE) *multi) { … } __isl_give isl_space *FN(MULTI(BASE),get_domain_space)( __isl_keep MULTI(BASE) *multi) { … } /* Allocate a multi expression living in "space". * * If the number of base expressions is zero, then make sure * there is enough room in the structure for the explicit domain, * in case the type supports such an explicit domain. */ __isl_give MULTI(BASE) *FN(MULTI(BASE),alloc)(__isl_take isl_space *space) { … } __isl_give MULTI(BASE) *FN(MULTI(BASE),dup)(__isl_keep MULTI(BASE) *multi) { … } __isl_give MULTI(BASE) *FN(MULTI(BASE),cow)(__isl_take MULTI(BASE) *multi) { … } __isl_give MULTI(BASE) *FN(MULTI(BASE),copy)(__isl_keep MULTI(BASE) *multi) { … } __isl_null MULTI(BASE) *FN(MULTI(BASE),free)(__isl_take MULTI(BASE) *multi) { … } /* Return the space of "multi". * The caller is not allowed to modify "multi" between this call * and the call to *_restore_space because the number * of references needs to stay the same. * The only exception is that isl_multi_*_free can be called instead. * No copy is taken of multi->space if "multi" has only one reference * such that it can be modified inplace if both have only a single reference. */ __isl_give isl_space *FN(MULTI(BASE),take_space)(__isl_keep MULTI(BASE) *multi) { … } /* Set the space of "multi" to "space", where the space of "multi" * may be missing due to a preceding call to isl_multi_*_take_space. * However, in this case, "multi" only has a single reference and * then the call to isl_multi_*_cow has no effect. */ __isl_give MULTI(BASE) *FN(MULTI(BASE),restore_space)( __isl_take MULTI(BASE) *multi, __isl_take isl_space *space) { … } isl_size FN(MULTI(BASE),dim)(__isl_keep MULTI(BASE) *multi, enum isl_dim_type type) { … } /* Return the number of base expressions in "multi". */ isl_size FN(MULTI(BASE),size)(__isl_keep MULTI(BASE) *multi) { … } #undef TYPE #define TYPE … static #include "check_type_range_templ.c" /* Return the base expression at position "pos" in "multi". */ static __isl_give EL *FN(MULTI(BASE),peek_at)(__isl_keep MULTI(BASE) *multi, int pos) { … } /* Return a copy of the base expression at position "pos" in "multi". */ __isl_give EL *FN(MULTI(BASE),get_at)(__isl_keep MULTI(BASE) *multi, int pos) { … } /* This is an alternative name for the function above. */ __isl_give EL *FN(FN(MULTI(BASE),get),BASE)(__isl_keep MULTI(BASE) *multi, int pos) { … } /* Return the base expression at position "pos" in "multi". * This may be either a copy or the base expression itself * if there is only one reference to "multi". * This allows the base expression to be modified inplace * if both the multi expression and this base expression * have only a single reference. * The caller is not allowed to modify "multi" between this call and * the subsequent call to isl_multi_*_restore_at_*. * The only exception is that isl_multi_*_free can be called instead. */ static __isl_give EL *FN(MULTI(BASE),take_at)(__isl_keep MULTI(BASE) *multi, int pos) { … } /* Set the element at position "pos" of "multi" to "el", * where the position may be empty if "multi" has only a single reference. */ static __isl_give MULTI(BASE) *FN(MULTI(BASE),restore_at)( __isl_take MULTI(BASE) *multi, int pos, __isl_take EL *el) { … } /* Set the element at position "pos" of "multi" to "el", * where the position may be empty if "multi" has only a single reference. * However, the space of "multi" is available and is checked * for compatibility with "el". */ static __isl_give MULTI(BASE) *FN(MULTI(BASE),restore_check_space)( __isl_take MULTI(BASE) *multi, int pos, __isl_take EL *el) { … } /* Replace the base expression at position "pos" in "multi" with "el". */ __isl_give MULTI(BASE) *FN(MULTI(BASE),set_at)( __isl_take MULTI(BASE) *multi, int pos, __isl_take EL *el) { … } /* This is an alternative name for the function above. */ __isl_give MULTI(BASE) *FN(FN(MULTI(BASE),set),BASE)( __isl_take MULTI(BASE) *multi, int pos, __isl_take EL *el) { … } /* Return the base expressions of "multi" as a list. */ __isl_give LIST(EL) *FN(MULTI(BASE),get_list)( __isl_keep MULTI(BASE) *multi) { … } /* Reset the space of "multi". This function is called from isl_pw_templ.c * and doesn't know if the space of an element object is represented * directly or through its domain. It therefore passes along both, * which we pass along to the element function since we don't know how * that is represented either. * * If "multi" has an explicit domain, then the caller is expected * to make sure that any modification that would change the dimensions * of the explicit domain has bee applied before this function is called. */ __isl_give MULTI(BASE) *FN(MULTI(BASE),reset_space_and_domain)( __isl_take MULTI(BASE) *multi, __isl_take isl_space *space, __isl_take isl_space *domain) { … } __isl_give MULTI(BASE) *FN(MULTI(BASE),reset_domain_space)( __isl_take MULTI(BASE) *multi, __isl_take isl_space *domain) { … } __isl_give MULTI(BASE) *FN(MULTI(BASE),reset_space)( __isl_take MULTI(BASE) *multi, __isl_take isl_space *space) { … } /* Reset the user pointer on all identifiers of parameters and tuples * of the space of "multi". */ __isl_give MULTI(BASE) *FN(MULTI(BASE),reset_user)( __isl_take MULTI(BASE) *multi) { … } __isl_give MULTI(BASE) *FN(MULTI(BASE),realign_domain)( __isl_take MULTI(BASE) *multi, __isl_take isl_reordering *exp) { … } /* Align the parameters of "multi" to those of "model". * * If "multi" has an explicit domain, then align the parameters * of the domain first. */ __isl_give MULTI(BASE) *FN(MULTI(BASE),align_params)( __isl_take MULTI(BASE) *multi, __isl_take isl_space *model) { … } /* Create a multi expression in the given space with the elements of "list" * as base expressions. * * Since isl_multi_*_restore_* assumes that the element and * the multi expression have matching spaces, the alignment * (if any) needs to be performed beforehand. */ __isl_give MULTI(BASE) *FN(FN(MULTI(BASE),from),LIST(BASE))( __isl_take isl_space *space, __isl_take LIST(EL) *list) { … } /* This function performs the same operation as isl_multi_*_from_*_list, * but is considered as a function on an isl_space when exported. */ __isl_give MULTI(BASE) *FN(isl_space_multi,BASE)(__isl_take isl_space *space, __isl_take LIST(EL) *list) { … } /* Drop the "n" output dimensions of "multi" starting at "first", * where the space is assumed to have been adjusted already. */ static __isl_give MULTI(BASE) *FN(MULTI(BASE),drop_output_dims)( __isl_take MULTI(BASE) *multi, unsigned first, unsigned n) { … } __isl_give MULTI(BASE) *FN(MULTI(BASE),drop_dims)( __isl_take MULTI(BASE) *multi, enum isl_dim_type type, unsigned first, unsigned n) { … } #undef TYPE #define TYPE … #include "isl_check_named_params_templ.c" static #include "isl_align_params_bin_templ.c" /* Given two MULTI(BASE)s A -> B and C -> D, * construct a MULTI(BASE) (A * C) -> [B -> D]. * * If "multi1" and/or "multi2" has an explicit domain, then * intersect the domain of the result with these explicit domains. */ __isl_give MULTI(BASE) *FN(MULTI(BASE),range_product)( __isl_take MULTI(BASE) *multi1, __isl_take MULTI(BASE) *multi2) { … } /* Is the range of "multi" a wrapped relation? */ isl_bool FN(MULTI(BASE),range_is_wrapping)(__isl_keep MULTI(BASE) *multi) { … } /* Given a function A -> [B -> C], extract the function A -> B. */ __isl_give MULTI(BASE) *FN(MULTI(BASE),range_factor_domain)( __isl_take MULTI(BASE) *multi) { … } /* Given a function A -> [B -> C], extract the function A -> C. */ __isl_give MULTI(BASE) *FN(MULTI(BASE),range_factor_range)( __isl_take MULTI(BASE) *multi) { … } /* Given a function [B -> C], extract the function C. */ __isl_give MULTI(BASE) *FN(MULTI(BASE),factor_range)( __isl_take MULTI(BASE) *multi) { … } __isl_give MULTI(BASE) *FN(MULTI(BASE),flatten_range)( __isl_take MULTI(BASE) *multi) { … } /* Given two MULTI(BASE)s A -> B and C -> D, * construct a MULTI(BASE) (A * C) -> (B, D). */ __isl_give MULTI(BASE) *FN(MULTI(BASE),flat_range_product)( __isl_take MULTI(BASE) *multi1, __isl_take MULTI(BASE) *multi2) { … } /* Given two multi expressions, "multi1" * * [A] -> [B1 B2] * * where B2 starts at position "pos", and "multi2" * * [A] -> [D] * * return the multi expression * * [A] -> [B1 D B2] */ __isl_give MULTI(BASE) *FN(MULTI(BASE),range_splice)( __isl_take MULTI(BASE) *multi1, unsigned pos, __isl_take MULTI(BASE) *multi2) { … } #undef TYPE #define TYPE … static #include "isl_type_has_equal_space_bin_templ.c" static #include "isl_type_check_equal_space_templ.c" /* This function is currently only used from isl_aff.c */ static __isl_give MULTI(BASE) *FN(MULTI(BASE),bin_op)( __isl_take MULTI(BASE) *multi1, __isl_take MULTI(BASE) *multi2, __isl_give EL *(*fn)(__isl_take EL *, __isl_take EL *)) __attribute__ ((unused)); /* Pairwise perform "fn" to the elements of "multi1" and "multi2" and * return the result. * * If "multi2" has an explicit domain, then * intersect the domain of the result with this explicit domain. */ static __isl_give MULTI(BASE) *FN(MULTI(BASE),bin_op)( __isl_take MULTI(BASE) *multi1, __isl_take MULTI(BASE) *multi2, __isl_give EL *(*fn)(__isl_take EL *, __isl_take EL *)) { … } /* Only used on some multi-expressions. */ static isl_bool FN(MULTI(BASE),any)(__isl_keep MULTI(BASE) *multi, isl_bool (*test)(__isl_keep EL *)) __attribute__ ((unused)); /* Does "test" succeed on any base expression of "multi"? */ static isl_bool FN(MULTI(BASE),any)(__isl_keep MULTI(BASE) *multi, isl_bool (*test)(__isl_keep EL *)) { … } /* Only used on some multi-expressions. */ static isl_bool FN(MULTI(BASE),every)(__isl_keep MULTI(BASE) *multi, isl_bool (*test)(__isl_keep EL *)) __attribute__ ((unused)); /* Does "test" succeed on every base expression of "multi"? */ static isl_bool FN(MULTI(BASE),every)(__isl_keep MULTI(BASE) *multi, isl_bool (*test)(__isl_keep EL *)) { … } #undef TYPE #define TYPE … #include "isl_from_range_templ.c" /* Are "multi1" and "multi2" obviously equal? */ isl_bool FN(MULTI(BASE),plain_is_equal)(__isl_keep MULTI(BASE) *multi1, __isl_keep MULTI(BASE) *multi2) { … }
Codebase Browser
llvm