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