Searched refs:PWAMod (Results 1 – 1 of 1) sorted by relevance
142 isl::pw_aff PWAMod = addModuloSemantic(PWAC.first, Expr->getType()); in checkForWrapping() local144 isl::set NotEqualSet = PWAC.first.ne_set(PWAMod); in checkForWrapping()