reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
9574 assert(isAvailableAtLoopEntry(LHS, L) && 9579 if (isKnownViaNonRecursiveReasoning(Pred, LHS, RHS)) 9594 isKnownViaNonRecursiveReasoning(NonStrictPredicate, LHS, RHS); 9596 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_NE, LHS, RHS); 9603 if (isImpliedViaGuard(Block, Pred, LHS, RHS)) 9608 isImpliedViaGuard(Block, NonStrictPredicate, LHS, RHS); 9611 isImpliedViaGuard(Block, ICmpInst::ICMP_NE, LHS, RHS); 9620 if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse)) 9625 isImpliedCond(NonStrictPredicate, LHS, RHS, Condition, Inverse); 9628 isImpliedCond(ICmpInst::ICMP_NE, LHS, RHS, Condition, Inverse);