Searched refs:NonStrictPredicate (Results 1 – 1 of 1) sorted by relevance
9306 auto NonStrictPredicate = ICmpInst::getNonStrictPredicate(Pred); in isLoopEntryGuardedByCond() local9307 const bool ProvingStrictComparison = (Pred != NonStrictPredicate); in isLoopEntryGuardedByCond()9313 isKnownViaNonRecursiveReasoning(NonStrictPredicate, LHS, RHS); in isLoopEntryGuardedByCond()9327 isImpliedViaGuard(Block, NonStrictPredicate, LHS, RHS); in isLoopEntryGuardedByCond()9344 isImpliedCond(NonStrictPredicate, LHS, RHS, Condition, Inverse); in isLoopEntryGuardedByCond()