Searched refs:AssumptionSet (Results 1 – 1 of 1) sorted by relevance
204 SmallPtrSet<Value *, 16> AssumptionSet; in registerAssumption() local213 assert(AssumptionSet.insert(VH).second && in registerAssumption()283 SmallPtrSet<const CallInst *, 4> AssumptionSet; in verifyAnalysis() local287 AssumptionSet.insert(cast<CallInst>(VH)); in verifyAnalysis()292 !AssumptionSet.count(cast<CallInst>(&II))) in verifyAnalysis()