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