Searched refs:AssumeHandles (Results 1 – 6 of 6) sorted by relevance
135 AssumeHandles.erase( in unregisterAssumption()136 remove_if(AssumeHandles, [CI](WeakTrackingVH &VH) { return CI == VH; }), in unregisterAssumption()137 AssumeHandles.end()); in unregisterAssumption()173 assert(AssumeHandles.empty() && "Already have assumes when scanning!"); in scanFunction()180 AssumeHandles.push_back(&II); in scanFunction()186 for (auto &A : AssumeHandles) in scanFunction()199 AssumeHandles.push_back(CI); in registerAssumption()211 for (auto &VH : AssumeHandles) { in registerAssumption()
158 AssumeHandles.erase( in unregisterAssumption()159 remove_if(AssumeHandles, [CI](ResultElem &RE) { return CI == RE; }), in unregisterAssumption()160 AssumeHandles.end()); in unregisterAssumption()196 assert(AssumeHandles.empty() && "Already have assumes when scanning!"); in scanFunction()203 AssumeHandles.push_back({&II, ExprResultIdx}); in scanFunction()209 for (auto &A : AssumeHandles) in scanFunction()222 AssumeHandles.push_back({CI, ExprResultIdx}); in registerAssumption()234 for (auto &VH : AssumeHandles) { in registerAssumption()
29 assert(AssumeHandles.empty() && "Already have assumes when scanning!"); in scanFunction()36 AssumeHandles.push_back(&II); in scanFunction()51 AssumeHandles.push_back(CI); in registerAssumption()63 for (auto &VH : AssumeHandles) { in registerAssumption()
47 SmallVector<WeakVH, 4> AssumeHandles; variable73 AssumeHandles.clear(); in clear()88 return AssumeHandles; in assumptions()
49 SmallVector<WeakTrackingVH, 4> AssumeHandles; variable118 AssumeHandles.clear(); in clear()134 return AssumeHandles; in assumptions()
64 SmallVector<ResultElem, 4> AssumeHandles; variable133 AssumeHandles.clear(); in clear()149 return AssumeHandles; in assumptions()