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);