• Home
  • Raw
  • Download

Lines Matching refs:Assume

121         [&](RetainedKnowledge RKOther, Instruction *Assume,  in tryToPreserveWithoutAddingAssume()
123 if (!isValidAssumeForContext(Assume, InstBeingRemoved, DT)) in tryToPreserveWithoutAddingAssume()
128 } else if (isValidAssumeForContext(InstBeingRemoved, Assume, in tryToPreserveWithoutAddingAssume()
131 IntrinsicInst *Intr = cast<IntrinsicInst>(Assume); in tryToPreserveWithoutAddingAssume()
324 IntrinsicInst *Assume = cast<IntrinsicInst>(V); in buildMapping() local
326 auto *Arg = dyn_cast<ConstantInt>(Assume->getOperand(0)); in buildMapping()
330 BBToAssume[Assume->getParent()].push_back(Assume); in buildMapping()
344 for (IntrinsicInst *Assume : CleanupToDo) { in RunCleanup()
345 auto *Arg = dyn_cast<ConstantInt>(Assume->getOperand(0)); in RunCleanup()
347 (!ForceCleanup && !isAssumeWithEmptyBundle(*Assume))) in RunCleanup()
354 Assume->eraseFromParent(); in RunCleanup()
364 IntrinsicInst *Assume; in dropRedundantKnowledge() member
376 IntrinsicInst *Assume = cast<IntrinsicInst>(V); in dropRedundantKnowledge() local
377 for (CallInst::BundleOpInfo &BOI : Assume->bundle_op_infos()) { in dropRedundantKnowledge()
379 CleanupToDo.insert(Assume); in dropRedundantKnowledge()
381 Use *U = &Assume->op_begin()[BOI.Begin + ABA_WasOn]; in dropRedundantKnowledge()
387 CleanupToDo.insert(Assume); in dropRedundantKnowledge()
390 RetainedKnowledge RK = getKnowledgeFromBundle(*Assume, BOI); in dropRedundantKnowledge()
401 Assume, &*F.getEntryBlock().getFirstInsertionPt()) || in dropRedundantKnowledge()
402 Assume == &*F.getEntryBlock().getFirstInsertionPt()) { in dropRedundantKnowledge()
413 if (!isValidAssumeForContext(Elem.Assume, Assume, DT)) in dropRedundantKnowledge()
418 } else if (isValidAssumeForContext(Assume, Elem.Assume, DT)) { in dropRedundantKnowledge()
419 Elem.Assume->op_begin()[Elem.BOI->Begin + ABA_Argument].set( in dropRedundantKnowledge()
426 Lookup.push_back({Assume, RK.ArgValue, &BOI}); in dropRedundantKnowledge()