Lines Matching defs:Assumption

2644   llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption(
2650                                OffsetValue, TheCheck, Assumption);
3132     llvm::Instruction *Assumption) {
3133   assert(isa_and_nonnull<llvm::CallInst>(Assumption) &&
3134          cast<llvm::CallInst>(Assumption)->getCalledOperand() ==
3138          "Assumption should be a call to llvm.assume().");
3139   assert(&(Builder.GetInsertBlock()->back()) == Assumption &&
3140          "Assumption should be the last instruction of the basic block, "
3153   Assumption->removeFromParent();
3173   Builder.Insert(Assumption);
3174   // FIXME: Assumption still has it's original basic block as it's Parent.