Searched refs:NonStrictPredicate (Results 1 – 1 of 1) sorted by relevance
9507 auto NonStrictPredicate = ICmpInst::getNonStrictPredicate(Pred); in isLoopEntryGuardedByCond() local9508 const bool ProvingStrictComparison = (Pred != NonStrictPredicate); in isLoopEntryGuardedByCond()9514 isKnownViaNonRecursiveReasoning(NonStrictPredicate, LHS, RHS); in isLoopEntryGuardedByCond()9528 isImpliedViaGuard(Block, NonStrictPredicate, LHS, RHS); in isLoopEntryGuardedByCond()9545 isImpliedCond(NonStrictPredicate, LHS, RHS, Condition, Inverse); in isLoopEntryGuardedByCond()