Experiments show that looking through phi nodes
authorDuncan Sands <baldrick@free.fr>
Mon, 29 Dec 2008 20:51:17 +0000 (20:51 +0000)
committerDuncan Sands <baldrick@free.fr>
Mon, 29 Dec 2008 20:51:17 +0000 (20:51 +0000)
and select instructions doesn't buy anything here
except extra complexity: the only difference in
the entire testsuite was that a readonly function
became readnone in MiBench/consumer-typeset.  Add
a comment about this.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61478 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Transforms/IPO/AddReadAttrs.cpp

index 2835d5e9f3617c0b8e41221f42987d32882a443c..96c1427e0e0f10162b57a4ad209a0bcacc1b4659 100644 (file)
@@ -64,6 +64,8 @@ bool AddReadAttrs::PointsToLocalMemory(Value *V) {
   // A global constant counts as local memory for our purposes.
   if (GlobalVariable *GV = dyn_cast<GlobalVariable>(V))
     return GV->isConstant();
+  // Could look through phi nodes and selects here, but it doesn't seem
+  // to be useful in practice.
   return false;
 }