[PATCH] D29977: AssumptionCache: Update documentation comment.
Peter Collingbourne via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Feb 14 20:01:43 PST 2017
This revision was automatically updated to reflect the committed changes.
Closed by commit rL295148: AssumptionCache: Update documentation comment. (authored by pcc).
Changed prior to commit:
https://reviews.llvm.org/D29977?vs=88481&id=88482#toc
Repository:
rL LLVM
https://reviews.llvm.org/D29977
Files:
llvm/trunk/include/llvm/Analysis/AssumptionCache.h
Index: llvm/trunk/include/llvm/Analysis/AssumptionCache.h
===================================================================
--- llvm/trunk/include/llvm/Analysis/AssumptionCache.h
+++ llvm/trunk/include/llvm/Analysis/AssumptionCache.h
@@ -31,11 +31,10 @@
/// \brief A cache of @llvm.assume calls within a function.
///
/// This cache provides fast lookup of assumptions within a function by caching
-/// them and amortizing the cost of scanning for them across all queries. The
-/// cache is also conservatively self-updating so that it will never return
-/// incorrect results about a function even as the function is being mutated.
-/// However, flushing the cache and rebuilding it (or explicitly updating it)
-/// may allow it to discover new assumptions.
+/// them and amortizing the cost of scanning for them across all queries. Passes
+/// that create new assumptions are required to call registerAssumption() to
+/// register any new @llvm.assume calls that they create. Deletions of
+/// @llvm.assume calls do not require special handling.
class AssumptionCache {
/// \brief The function for which this cache is handling assumptions.
///
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D29977.88482.patch
Type: text/x-patch
Size: 1158 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170215/df52f0ac/attachment.bin>
More information about the llvm-commits
mailing list