Lines Matching refs:RetainedKnowledge

70 RetainedKnowledge canonicalizedKnowledge(RetainedKnowledge RK,
116   bool tryToPreserveWithoutAddingAssume(RetainedKnowledge RK) {
123         [&](RetainedKnowledge RKOther, Instruction *Assume,
144   bool isKnowledgeWorthPreserving(RetainedKnowledge RK) {
172   void addKnowledge(RetainedKnowledge RK) {
310 llvm::buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge,
314   for (const RetainedKnowledge &RK : Knowledge)
319 RetainedKnowledge llvm::simplifyRetainedKnowledge(AssumeInst *Assume,
320                                                   RetainedKnowledge RK,
327     return RetainedKnowledge::none();
330     return RetainedKnowledge::none();
423           RetainedKnowledge RK =
483         RetainedKnowledge RK =