28 lines · c
1/*2 * Copyright 2020 Cerebras Systems3 *4 * Use of this software is governed by the MIT license5 *6 * Written by Sven Verdoolaege,7 * Cerebras Systems, 175 S San Antonio Rd, Los Altos, CA, USA8 */9 10/* isl_union_*_every_* callback that checks whether "pw"11 * is free of local variables.12 */13static isl_bool FN(UNION,no_locals_el)(__isl_keep PW *pw, void *user)14{15 return isl_bool_not(FN(PW,involves_locals)(pw));16}17 18/* Does "u" involve any local variables, i.e., integer divisions?19 */20isl_bool FN(UNION,involves_locals)(__isl_keep UNION *u)21{22 isl_bool no_locals;23 24 no_locals = FN(FN(UNION,every),BASE)(u, &FN(UNION,no_locals_el), NULL);25 26 return isl_bool_not(no_locals);27}28