Lines Matching refs:RetainedKnowledge

70 RetainedKnowledge canonicalizedKnowledge(RetainedKnowledge RK,  in canonicalizedKnowledge()
116   bool tryToPreserveWithoutAddingAssume(RetainedKnowledge RK) {  in tryToPreserveWithoutAddingAssume()
123         [&](RetainedKnowledge RKOther, Instruction *Assume,  in tryToPreserveWithoutAddingAssume()
144   bool isKnowledgeWorthPreserving(RetainedKnowledge RK) {  in isKnowledgeWorthPreserving()
172   void addKnowledge(RetainedKnowledge RK) {  in addKnowledge()
309 llvm::buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge,  in buildAssumeFromKnowledge()
313   for (const RetainedKnowledge &RK : Knowledge)  in buildAssumeFromKnowledge()
318 RetainedKnowledge llvm::simplifyRetainedKnowledge(AssumeInst *Assume,  in simplifyRetainedKnowledge()
319                                                   RetainedKnowledge RK,  in simplifyRetainedKnowledge()
326     return RetainedKnowledge::none();  in simplifyRetainedKnowledge()
329     return RetainedKnowledge::none();  in simplifyRetainedKnowledge()
422           RetainedKnowledge RK =  in dropRedundantKnowledge()
482         RetainedKnowledge RK =  in mergeRange()