Lines Matching defs:Sign
1932 bool Scop::isEffectiveAssumption(isl::set Set, AssumptionSign Sign) {
1933 if (Sign == AS_ASSUMPTION) {
1950 AssumptionSign Sign, BasicBlock *BB) {
1951 if (PollyRemarksMinimal && !isEffectiveAssumption(Set, Sign))
1957 if (Sign == AS_ASSUMPTION)
1960 bool IsTrivial = (Sign == AS_RESTRICTION && Set.is_empty()) ||
1961 (Sign == AS_ASSUMPTION && Univ.is_equal(Set));
2000 auto Suffix = Sign == AS_ASSUMPTION ? " assumption:\t" : " restriction:\t";
2013 AssumptionSign Sign, BasicBlock *BB,
2017 intersectDefinedBehavior(Set, Sign);
2022 if (!trackAssumption(Kind, Set, Loc, Sign, BB))
2025 if (Sign == AS_ASSUMPTION)
2031 void Scop::intersectDefinedBehavior(isl::set Set, AssumptionSign Sign) {
2035 if (Sign == AS_ASSUMPTION)