Lines Matching refs:RetainedKnowledge

70 RetainedKnowledge canonicalizedKnowledge(RetainedKnowledge RK, DataLayout DL) {  in canonicalizedKnowledge()
115   bool tryToPreserveWithoutAddingAssume(RetainedKnowledge RK) {  in tryToPreserveWithoutAddingAssume()
122         [&](RetainedKnowledge RKOther, Instruction *Assume,  in tryToPreserveWithoutAddingAssume()
143   bool isKnowledgeWorthPreserving(RetainedKnowledge RK) {  in isKnowledgeWorthPreserving()
171   void addKnowledge(RetainedKnowledge RK) {  in addKnowledge()
307 llvm::buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge,  in buildAssumeFromKnowledge()
311   for (const RetainedKnowledge &RK : Knowledge)  in buildAssumeFromKnowledge()
316 RetainedKnowledge llvm::simplifyRetainedKnowledge(AssumeInst *Assume,  in simplifyRetainedKnowledge()
317                                                   RetainedKnowledge RK,  in simplifyRetainedKnowledge()
324     return RetainedKnowledge::none();  in simplifyRetainedKnowledge()
327     return RetainedKnowledge::none();  in simplifyRetainedKnowledge()
420           RetainedKnowledge RK =  in dropRedundantKnowledge()
480         RetainedKnowledge RK =  in mergeRange()