[llvm-commits] [llvm] r43326 - in /llvm/trunk: lib/Analysis/BasicAliasAnalysis.cpp test/Analysis/BasicAA/2007-10-24-ArgumentsGlobals.ll

[Owen Anderson]

Author: resistor
Date: Wed Oct 24 21:36:18 2007
New Revision: 43326

URL: http://llvm.org/viewvc/llvm-project?rev=43326&view=rev
Log:
Fix for PR1741.

Added:
    llvm/trunk/test/Analysis/BasicAA/2007-10-24-ArgumentsGlobals.ll
Modified:
    llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp

Modified: llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp?rev=43326&r1=43325&r2=43326&view=diff

==============================================================================
--- llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp Wed Oct 24 21:36:18 2007
@@ -339,8 +339,9 @@
           
         // Otherwise, nothing is known...
       } else if (O1 != O2) {
-        // If they are two different objects, we know that we have no alias...
-        return NoAlias;
+        if (!isa<Argument>(O1))
+          // If they are two different objects, we know that we have no alias...
+          return NoAlias;
       }
 
       // If they are the same object, they we can look at the indexes.  If they

Added: llvm/trunk/test/Analysis/BasicAA/2007-10-24-ArgumentsGlobals.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/BasicAA/2007-10-24-ArgumentsGlobals.ll?rev=43326&view=auto

==============================================================================
--- llvm/trunk/test/Analysis/BasicAA/2007-10-24-ArgumentsGlobals.ll (added)
+++ llvm/trunk/test/Analysis/BasicAA/2007-10-24-ArgumentsGlobals.ll Wed Oct 24 21:36:18 2007
@@ -0,0 +1,14 @@
+; RUN: llvm-as < %s | opt -basicaa -gvn -dce | llvm-dis | grep tmp7
+
+        %struct.A = type { i32 }
+        %struct.B = type { %struct.A }
+ at a = global %struct.B zeroinitializer           ; <%struct.B*> [#uses=2]
+
+define i32 @_Z3fooP1A(%struct.A* %b) {
+entry:
+        store i32 1, i32* getelementptr (%struct.B* @a, i32 0, i32 0, i32 0), align 8
+        %tmp4 = getelementptr %struct.A* %b, i32 0, i32 0               ;<i32*> [#uses=1]
+        store i32 0, i32* %tmp4, align 4
+        %tmp7 = load i32* getelementptr (%struct.B* @a, i32 0, i32 0, i32 0), align 8           ; <i32> [#uses=1]
+        ret i32 %tmp7
+}