From: Chris Lattner <sabre@nondot.org>
Date: Thu, 29 Jul 2004 07:56:39 +0000 (+0000)
Subject: Fix test/Regression/Analysis/BasicAA/2004-07-28-MustAliasbug.llx
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=730b1ad2c4e33dd8b0f22744ece4f884f44c816a;p=oota-llvm.git

Fix test/Regression/Analysis/BasicAA/2004-07-28-MustAliasbug.llx

This also fixes the miscompilation of MallocBench/gs with dead store
elimination enabled.


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

diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp
index 5c8dbe16c8b..9145322894f 100644
--- a/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/lib/Analysis/BasicAliasAnalysis.cpp
@@ -322,11 +322,15 @@ BasicAliasAnalysis::alias(const Value *V1, unsigned V1Size,
       BasePtr1 = GetGEPOperands(V1, GEP1Ops);
       BasePtr2 = GetGEPOperands(V2, GEP2Ops);
 
-      AliasResult GAlias =
-        CheckGEPInstructions(BasePtr1->getType(), GEP1Ops, V1Size,
-                             BasePtr2->getType(), GEP2Ops, V2Size);
-      if (GAlias != MayAlias)
-        return GAlias;
+      // If GetGEPOperands were able to fold to the same must-aliased pointer,
+      // do the comparison.
+      if (BasePtr1 == BasePtr2) {
+        AliasResult GAlias =
+          CheckGEPInstructions(BasePtr1->getType(), GEP1Ops, V1Size,
+                               BasePtr2->getType(), GEP2Ops, V2Size);
+        if (GAlias != MayAlias)
+          return GAlias;
+      }
     }
   }