Lines Matching defs:TestVal
360 /// between TestVal and UpperBound, i.e,
361 /// TestVal < UpperBound OR TestVal <= UpperBound
367 // Do not take NonNeg assumption on TestVal
369 isl_pw_aff *TestVal = getPwAff(BB, InvalidDomainMap, SCEV_TestVal, false);
374 // 0 <= TestVal
377 isl_pw_aff_get_domain_space(TestVal))),
378 isl_pw_aff_copy(TestVal));
382 // TestVal < UpperBound
383 Second = isl_pw_aff_lt_set(TestVal, UpperBound);
385 // TestVal <= UpperBound
386 Second = isl_pw_aff_le_set(TestVal, UpperBound);