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