Searched refs:NonStrictPredicate (Results 1 – 1 of 1) sorted by relevance
11657 CmpPredicate NonStrictPredicate = ICmpInst::getNonStrictCmpPredicate(Pred); in isBasicBlockEntryGuardedByCond() local11659 Pred != NonStrictPredicate.dropSameSign(); in isBasicBlockEntryGuardedByCond()11665 ProvedNonStrictComparison = Fn(NonStrictPredicate); in isBasicBlockEntryGuardedByCond()