Searched refs:AssumptionSet (Results 1 – 2 of 2) sorted by relevance
62 SmallPtrSet<Value *, 16> AssumptionSet; in registerAssumption() local71 assert(AssumptionSet.insert(VH).second && in registerAssumption()117 SmallPtrSet<const CallInst *, 4> AssumptionSet; in verifyAnalysis() local121 AssumptionSet.insert(cast<CallInst>(VH)); in verifyAnalysis()126 assert(AssumptionSet.count(cast<CallInst>(&II)) && in verifyAnalysis()
189 SmallPtrSet<Value *, 16> AssumptionSet; in registerAssumption() local198 assert(AssumptionSet.insert(VH).second && in registerAssumption()252 SmallPtrSet<const CallInst *, 4> AssumptionSet; in verifyAnalysis() local256 AssumptionSet.insert(cast<CallInst>(VH)); in verifyAnalysis()261 !AssumptionSet.count(cast<CallInst>(&II))) in verifyAnalysis()