Lines Matching refs:assumptions
11 // the functions of a module (allowing assumptions within any function to be
37 /// This cache provides fast lookup of assumptions within a function by caching
39 /// that create new assumptions are required to call registerAssumption() to
43 /// \brief The function for which this cache is handling assumptions.
45 /// We track this to lazily populate our assumptions.
68 /// information to the relevant set of assumptions.
74 /// Get the vector of assumptions which affect a value from the cache.
86 /// \brief Scan the function for assumptions and add them to the cache.
128 MutableArrayRef<WeakTrackingVH> assumptions() {
134 /// \brief Access the list of assumptions which affect this value.
206 /// \brief Get the cached assumptions for a function.
208 /// If no assumptions are cached, this will scan the function. Otherwise, the
