reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1234 !isa<SCEVCouldNotCompute>(MaxNotTaken);
lib/Analysis/ScalarEvolution.cpp6985 assert((isa<SCEVCouldNotCompute>(MaxNotTaken) || 6986 isa<SCEVConstant>(MaxNotTaken)) && 6995 !isa<SCEVCouldNotCompute>(MaxNotTaken)) && 6997 assert((isa<SCEVCouldNotCompute>(MaxNotTaken) || 6998 isa<SCEVConstant>(MaxNotTaken)) && 7009 assert((isa<SCEVCouldNotCompute>(MaxNotTaken) || 7010 isa<SCEVConstant>(MaxNotTaken)) && 7017 assert((isa<SCEVCouldNotCompute>(MaxNotTaken) || 7018 isa<SCEVConstant>(MaxNotTaken)) && 7038 return ExitNotTakenInfo(ExitBB, EL.ExactNotTaken, EL.MaxNotTaken, 7045 return ExitNotTakenInfo(ExitBB, EL.ExactNotTaken, EL.MaxNotTaken, 7102 if (EL.MaxNotTaken != getCouldNotCompute() && Latch && 7105 MustExitMaxBECount = EL.MaxNotTaken; 7109 getUMinFromMismatchedTypes(MustExitMaxBECount, EL.MaxNotTaken); 7112 if (!MayExitMaxBECount || EL.MaxNotTaken == getCouldNotCompute()) 7113 MayExitMaxBECount = EL.MaxNotTaken; 7116 getUMaxFromMismatchedTypes(MayExitMaxBECount, EL.MaxNotTaken); 7248 if (EL0.MaxNotTaken == getCouldNotCompute()) 7249 MaxBECount = EL1.MaxNotTaken; 7250 else if (EL1.MaxNotTaken == getCouldNotCompute()) 7251 MaxBECount = EL0.MaxNotTaken; 7254 getUMinFromMismatchedTypes(EL0.MaxNotTaken, EL1.MaxNotTaken); 7254 getUMinFromMismatchedTypes(EL0.MaxNotTaken, EL1.MaxNotTaken); 7258 if (EL0.MaxNotTaken == EL1.MaxNotTaken) 7258 if (EL0.MaxNotTaken == EL1.MaxNotTaken) 7259 MaxBECount = EL0.MaxNotTaken; 7296 if (EL0.MaxNotTaken == getCouldNotCompute()) 7297 MaxBECount = EL1.MaxNotTaken; 7298 else if (EL1.MaxNotTaken == getCouldNotCompute()) 7299 MaxBECount = EL0.MaxNotTaken; 7302 getUMinFromMismatchedTypes(EL0.MaxNotTaken, EL1.MaxNotTaken); 7302 getUMinFromMismatchedTypes(EL0.MaxNotTaken, EL1.MaxNotTaken); 7306 if (EL0.MaxNotTaken == EL1.MaxNotTaken) 7306 if (EL0.MaxNotTaken == EL1.MaxNotTaken) 7307 MaxBECount = EL0.MaxNotTaken; 11852 return ContainsS(ExactNotTaken) || ContainsS(MaxNotTaken);