Lines Matching defs:Assume

123         [&](RetainedKnowledge RKOther, Instruction *Assume,
125           if (!isValidAssumeForContext(Assume, InstBeingModified, DT))
130           } else if (isValidAssumeForContext(InstBeingModified, Assume, DT)) {
132             IntrinsicInst *Intr = cast<IntrinsicInst>(Assume);
318 RetainedKnowledge llvm::simplifyRetainedKnowledge(AssumeInst *Assume,
322   AssumeBuilderState Builder(Assume->getModule(), Assume, AC, DT);
323   RK = canonicalizedKnowledge(RK, Assume->getDataLayout());
355       IntrinsicInst *Assume = cast<IntrinsicInst>(V);
357         auto *Arg = dyn_cast<ConstantInt>(Assume->getOperand(0));
361       BBToAssume[Assume->getParent()].push_back(Assume);
375     for (IntrinsicInst *Assume : CleanupToDo) {
376       auto *Arg = dyn_cast<ConstantInt>(Assume->getOperand(0));
379            !isAssumeWithEmptyBundle(cast<AssumeInst>(*Assume))))
386       Assume->eraseFromParent();
396       IntrinsicInst *Assume;
408         IntrinsicInst *Assume = cast<IntrinsicInst>(V);
409         for (CallInst::BundleOpInfo &BOI : Assume->bundle_op_infos()) {
411             CleanupToDo.insert(Assume);
413               Use *U = &Assume->op_begin()[BOI.Begin + ABA_WasOn];
419             CleanupToDo.insert(Assume);
423             getKnowledgeFromBundle(cast<AssumeInst>(*Assume), BOI);
434                     Assume, &*F.getEntryBlock().getFirstInsertionPt()) ||
435                 Assume == &*F.getEntryBlock().getFirstInsertionPt()) {
446             if (!isValidAssumeForContext(Elem.Assume, Assume, DT))
451             } else if (isValidAssumeForContext(Assume, Elem.Assume, DT)) {
452               Elem.Assume->op_begin()[Elem.BOI->Begin + ABA_Argument].set(
459           Lookup.push_back({Assume, RK.ArgValue, &BOI});