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