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);
319 RetainedKnowledge llvm::simplifyRetainedKnowledge(AssumeInst *Assume,
323   AssumeBuilderState Builder(Assume->getModule(), Assume, AC, DT);
324   RK = canonicalizedKnowledge(RK, Assume->getDataLayout());
356       IntrinsicInst *Assume = cast<IntrinsicInst>(V);
358         auto *Arg = dyn_cast<ConstantInt>(Assume->getOperand(0));
362       BBToAssume[Assume->getParent()].push_back(Assume);
376     for (IntrinsicInst *Assume : CleanupToDo) {
377       auto *Arg = dyn_cast<ConstantInt>(Assume->getOperand(0));
380            !isAssumeWithEmptyBundle(cast<AssumeInst>(*Assume))))
387       Assume->eraseFromParent();
397       IntrinsicInst *Assume;
409         IntrinsicInst *Assume = cast<IntrinsicInst>(V);
410         for (CallInst::BundleOpInfo &BOI : Assume->bundle_op_infos()) {
412             CleanupToDo.insert(Assume);
414               Use *U = &Assume->op_begin()[BOI.Begin + ABA_WasOn];
420             CleanupToDo.insert(Assume);
424             getKnowledgeFromBundle(cast<AssumeInst>(*Assume), BOI);
435                     Assume, &*F.getEntryBlock().getFirstInsertionPt()) ||
436                 Assume == &*F.getEntryBlock().getFirstInsertionPt()) {
447             if (!isValidAssumeForContext(Elem.Assume, Assume, DT))
452             } else if (isValidAssumeForContext(Assume, Elem.Assume, DT)) {
453               Elem.Assume->op_begin()[Elem.BOI->Begin + ABA_Argument].set(
460           Lookup.push_back({Assume, RK.ArgValue, &BOI});