Lines Matching refs:VH
205 for (auto &VH : AssumeHandles) { in registerAssumption() local
206 if (!VH) in registerAssumption()
209 assert(&F == cast<Instruction>(VH)->getParent()->getParent() && in registerAssumption()
211 assert(match(cast<CallInst>(VH), m_Intrinsic<Intrinsic::assume>()) && in registerAssumption()
213 assert(AssumptionSet.insert(VH).second && in registerAssumption()
234 for (auto &VH : AC.assumptions()) in run() local
235 if (VH) in run()
236 OS << " " << *cast<CallInst>(VH)->getArgOperand(0) << "\n"; in run()
285 for (auto &VH : I.second->assumptions()) in verifyAnalysis() local
286 if (VH) in verifyAnalysis()
287 AssumptionSet.insert(cast<CallInst>(VH)); in verifyAnalysis()