/* * Copyright 2019 Cerebras Systems * * Use of this software is governed by the MIT license * * Written by Sven Verdoolaege, * Cerebras Systems, 175 S San Antonio Rd, Los Altos, CA, USA */ #define xFN(TYPE,NAME) … #define FN(TYPE,NAME) … /* If "obj" involves a parameter with identifier "id", * then turn it into an existentially quantified variable. */ __isl_give TYPE *FN(TYPE,project_out_param_id)(__isl_take TYPE *obj, __isl_take isl_id *id) { … } /* If "obj" involves any of the parameters with identifiers in "list", * then turn them into existentially quantified variables. */ __isl_give TYPE *FN(TYPE,project_out_param_id_list)(__isl_take TYPE *obj, __isl_take isl_id_list *list) { … }