Lines Matching defs:OpPWAC
285 auto OpPWAC = visit(Op);
290 return OpPWAC;
292 auto *Dom = OpPWAC.first.domain().release();
295 isl_pw_aff_ge_set(OpPWAC.first.copy(), isl_pw_aff_copy(ExpPWA));
297 isl_pw_aff_lt_set(OpPWAC.first.copy(), isl_pw_aff_neg(ExpPWA));
299 OpPWAC.second = OpPWAC.second.unite(isl::manage_copy(OutOfBoundsDom));
310 return OpPWAC;
358 auto OpPWAC = visit(Op);
362 takeNonNegativeAssumption(OpPWAC, RecordedAssumptions);
363 return OpPWAC;
369 interpretAsUnsigned(OpPWAC, Width);
370 return OpPWAC;