Lines Matching defs:Assumption

1817       std::pair<Value *, IntrinsicInst *> Assumption;
1827               Assumption = {CmpI->getOperand(Idx), IntrI};
1832         if (Assumption.first)
1837       if (!Assumption.first || !Assumption.second)
1840       LLVM_DEBUG(dbgs() << "[AAPointerInfo] Assumption found "
1841                         << *Assumption.second << ": " << *LoadI
1842                         << " == " << *Assumption.first << "\n");
1845       if (Assumption.first)
1847             A.getAssumedSimplified(*Assumption.first, *this,
1850           A, *Assumption.second, Content, AccessKind::AK_ASSUMPTION,
11756 /// ---------------------- Assumption Propagation ------------------------------
11780   bool hasAssumption(const StringRef Assumption) const override {
11781     return isValidState() && setContains(Assumption);
11848 /// Assumption Info defined for call sites.