Lines Matching defs:involves
550 isl_bool involves;
558 involves = bmap_eq_involves_unknown_divs(bmap, eq, 0, div);
559 if (involves < 0)
561 if (involves)
926 * If any of the equalities involves more than one divs, then
3116 * If any of these constraints involves only a single local variable y,
3386 * If a constraint of "bmap" involves variables not in "context",
3443 * If a constraint of "bmap" involves variables not in "context",
5034 isl_bool involves, opp, set_div;
5037 involves = any_div_involves_div(bmap, i);
5038 if (involves < 0)
5040 if (involves)
5310 /* Does "bmap" satisfy any equality that involves more than 2 variables