Searched refs:NonStrictPredicate (Results 1 – 1 of 1) sorted by relevance
10411 auto NonStrictPredicate = ICmpInst::getNonStrictPredicate(Pred); in isBasicBlockEntryGuardedByCond() local10412 const bool ProvingStrictComparison = (Pred != NonStrictPredicate); in isBasicBlockEntryGuardedByCond()10419 ProvedNonStrictComparison = Fn(NonStrictPredicate); in isBasicBlockEntryGuardedByCond()