diff options
Diffstat (limited to 'lib/Analysis/BasicAliasAnalysis.cpp')
| -rw-r--r-- | lib/Analysis/BasicAliasAnalysis.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp index 86c27d3e6c..8251bb05d2 100644 --- a/lib/Analysis/BasicAliasAnalysis.cpp +++ b/lib/Analysis/BasicAliasAnalysis.cpp @@ -11,6 +11,11 @@ // that simply implements a few identities (two different globals cannot alias, // etc), but otherwise does no analysis. // +// FIXME: This could be extended for a very simple form of mod/ref information. +// If a pointer is locally allocated (either malloc or alloca) and never passed +// into a call or stored to memory, then we know that calls will not mod/ref the +// memory. This can be important for tailcallelim. +// //===----------------------------------------------------------------------===// #include "llvm/Analysis/AliasAnalysis.h" |