1925 bool Scop::isEffectiveAssumption(isl::set Set, AssumptionSign Sign) {  in isEffectiveAssumption()  argument
1926   if (Sign == AS_ASSUMPTION) {  in isEffectiveAssumption()
1943                            AssumptionSign Sign, BasicBlock *BB) {  in trackAssumption()  argument
1944   if (PollyRemarksMinimal && !isEffectiveAssumption(Set, Sign))  in trackAssumption()
1950     if (Sign == AS_ASSUMPTION)  in trackAssumption()
1953     bool IsTrivial = (Sign == AS_RESTRICTION && Set.is_empty()) ||  in trackAssumption()
1954                      (Sign == AS_ASSUMPTION && Univ.is_equal(Set));  in trackAssumption()
1993   auto Suffix = Sign == AS_ASSUMPTION ? " assumption:\t" : " restriction:\t";  in trackAssumption()
2006                          AssumptionSign Sign, BasicBlock *BB,  in addAssumption()  argument
2010   intersectDefinedBehavior(Set, Sign);  in addAssumption()
2015   if (!trackAssumption(Kind, Set, Loc, Sign, BB))  in addAssumption()
2018   if (Sign == AS_ASSUMPTION)  in addAssumption()
2024 void Scop::intersectDefinedBehavior(isl::set Set, AssumptionSign Sign) {  in intersectDefinedBehavior()  argument
2028   if (Sign == AS_ASSUMPTION)  in intersectDefinedBehavior()