Lines Matching refs:assumptions
11 // the functions of a module (allowing assumptions within any function to be
33 /// This cache provides fast lookup of assumptions within a function by caching
35 /// that create new assumptions are required to call registerAssumption() to
39 /// \brief The function for which this cache is handling assumptions.
41 /// We track this to lazily populate our assumptions.
63 /// information to the relevant set of assumptions.
69 /// Get the vector of assumptions which affect a value from the cache.
81 /// \brief Scan the function for assumptions and add them to the cache.
123 MutableArrayRef<WeakVH> assumptions() {
129 /// \brief Access the list of assumptions which affect this value.
196 /// \brief Get the cached assumptions for a function.
198 /// If no assumptions are cached, this will scan the function. Otherwise, the
