124         [&](RetainedKnowledge RKOther, Instruction *Assume,  in tryToPreserveWithoutAddingAssume()
126           if (!isValidAssumeForContext(Assume, InstBeingModified, DT))  in tryToPreserveWithoutAddingAssume()
131           } else if (isValidAssumeForContext(InstBeingModified, Assume, DT)) {  in tryToPreserveWithoutAddingAssume()
133             IntrinsicInst *Intr = cast<IntrinsicInst>(Assume);  in tryToPreserveWithoutAddingAssume()
316 RetainedKnowledge llvm::simplifyRetainedKnowledge(AssumeInst *Assume,  in simplifyRetainedKnowledge()  argument
320   AssumeBuilderState Builder(Assume->getModule(), Assume, AC, DT);  in simplifyRetainedKnowledge()
321   RK = canonicalizedKnowledge(RK, Assume->getModule()->getDataLayout());  in simplifyRetainedKnowledge()
353       IntrinsicInst *Assume = cast<IntrinsicInst>(V);  in buildMapping()  local
355         auto *Arg = dyn_cast<ConstantInt>(Assume->getOperand(0));  in buildMapping()
359       BBToAssume[Assume->getParent()].push_back(Assume);  in buildMapping()
373     for (IntrinsicInst *Assume : CleanupToDo) {  in RunCleanup()
374       auto *Arg = dyn_cast<ConstantInt>(Assume->getOperand(0));  in RunCleanup()
377            !isAssumeWithEmptyBundle(cast<AssumeInst>(*Assume))))  in RunCleanup()
384       Assume->eraseFromParent();  in RunCleanup()
394       IntrinsicInst *Assume;  in dropRedundantKnowledge()  member
406         IntrinsicInst *Assume = cast<IntrinsicInst>(V);  in dropRedundantKnowledge()  local
407         for (CallInst::BundleOpInfo &BOI : Assume->bundle_op_infos()) {  in dropRedundantKnowledge()
409             CleanupToDo.insert(Assume);  in dropRedundantKnowledge()
411               Use *U = &Assume->op_begin()[BOI.Begin + ABA_WasOn];  in dropRedundantKnowledge()
417             CleanupToDo.insert(Assume);  in dropRedundantKnowledge()
421             getKnowledgeFromBundle(cast<AssumeInst>(*Assume), BOI);  in dropRedundantKnowledge()
432                     Assume, &*F.getEntryBlock().getFirstInsertionPt()) ||  in dropRedundantKnowledge()
433                 Assume == &*F.getEntryBlock().getFirstInsertionPt()) {  in dropRedundantKnowledge()
444             if (!isValidAssumeForContext(Elem.Assume, Assume, DT))  in dropRedundantKnowledge()
449             } else if (isValidAssumeForContext(Assume, Elem.Assume, DT)) {  in dropRedundantKnowledge()
450               Elem.Assume->op_begin()[Elem.BOI->Begin + ABA_Argument].set(  in dropRedundantKnowledge()
457           Lookup.push_back({Assume, RK.ArgValue, &BOI});  in dropRedundantKnowledge()