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