Lines Matching refs:assumptions
10 // the functions of a module (allowing assumptions within any function to be
36 /// This cache provides fast lookup of assumptions within a function by caching
38 /// that create new assumptions are required to call registerAssumption() to
42 /// The function for which this cache is handling assumptions.
44 /// We track this to lazily populate our assumptions.
67 /// information to the relevant set of assumptions.
73 /// Get the vector of assumptions which affect a value from the cache.
85 /// Scan the function for assumptions and add them to the cache.
131 MutableArrayRef<WeakTrackingVH> assumptions() {
137 /// Access the list of assumptions which affect this value.
209 /// Get the cached assumptions for a function.
211 /// If no assumptions are cached, this will scan the function. Otherwise, the
215 /// Return the cached assumptions for a function if it has already been