Add a couple of more functions that cannot access memory (the intrinsics) and

don't write to memory

llvm-svn: 12808

1 files changed, 7 insertions, 0 deletions

diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
index f9c63cd15ca..a68913574a9 100644
--- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
@@ -606,6 +606,9 @@ namespace {
 // Note that this list cannot contain libm functions (such as acos and sqrt)
 // that set errno on a domain or other error.
 static const char *DoesntAccessMemoryTable[] = {
+  // LLVM intrinsics:
+  "llvm.frameaddress", "llvm.returnaddress", "llvm.readport",
+
   "abs", "labs", "llabs", "imaxabs", "fabs", "fabsf", "fabsl",
   "trunc", "truncf", "truncl", "ldexp",
   
@@ -685,6 +688,10 @@ static const char *OnlyReadsMemoryTable[] = {
 
   // C99
   "nan", "nanf", "nand",
+
+  // File I/O
+  "feof", "ferror", "fileno",
+  "feof_unlocked", "ferror_unlocked", "fileno_unlocked"
 };
 
 static const unsigned ORMTableSize =