Make GVN be more intelligent about redundant load

elimination: when finding dependent load/stores, realize that
they are the same if aliasing claims must alias instead of relying
on the pointers to be exactly equal.  This makes load elimination
more aggressive.  For example, on 403.gcc, we had:

<     68 gvn    - Number of instructions PRE'd
< 152718 gvn    - Number of instructions deleted
<  49699 gvn    - Number of loads deleted
<   6153 memdep - Number of dirty cached non-local responses
< 169336 memdep - Number of fully cached non-local responses
< 162428 memdep - Number of uncached non-local responses

now we have:

>     64 gvn    - Number of instructions PRE'd
> 153623 gvn    - Number of instructions deleted
>  49856 gvn    - Number of loads deleted
>   5022 memdep - Number of dirty cached non-local responses
> 159030 memdep - Number of fully cached non-local responses
> 162443 memdep - Number of uncached non-local responses

That's an extra 157 loads deleted and extra 905 other instructions nuked.

This slows down GVN very slightly, from 3.91 to 3.96s.

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

diff --git a/lib/Transforms/Scalar/GVN.cpp b/lib/Transforms/Scalar/GVN.cpp
index 292a97e392ac96ab0c4b2efee0c0e1a281baa95f..9189f41c19c09005b35732b55b90c095aff14215 100644 (file)
--- a/lib/Transforms/Scalar/GVN.cpp
+++ b/lib/Transforms/Scalar/GVN.cpp
@@ -915,11 +915,28 @@ bool GVN::processNonLocalLoad(LoadInst* L,
     }
   
     if (StoreInst* S = dyn_cast<StoreInst>(DepInfo.getInst())) {
-      if (S->getPointerOperand() != L->getPointerOperand())
+      // Reject loads and stores that are to the same address but are of 
+      // different types.
+      // NOTE: 403.gcc does have this case (e.g. in readonly_fields_p) because
+      // of bitfield access, it would be interesting to optimize for it at some
+      // point.
+      if (S->getOperand(0)->getType() != L->getType())
+        return false;
+      
+      if (S->getPointerOperand() != L->getPointerOperand() &&
+          VN.getAliasAnalysis()->alias(S->getPointerOperand(), 1,
+                                       L->getPointerOperand(), 1)
+            != AliasAnalysis::MustAlias)
         return false;
       repl[DepBB] = S->getOperand(0);
     } else if (LoadInst* LD = dyn_cast<LoadInst>(DepInfo.getInst())) {
-      if (LD->getPointerOperand() != L->getPointerOperand())
+      if (LD->getType() != L->getType())
+        return false;
+      
+      if (LD->getPointerOperand() != L->getPointerOperand() &&
+          VN.getAliasAnalysis()->alias(LD->getPointerOperand(), 1,
+                                       L->getPointerOperand(), 1)
+            != AliasAnalysis::MustAlias)
         return false;
       repl[DepBB] = LD;
     } else {