[LLVMbugs] [Bug 2160] New: anders-aa wrong result on external function call

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=2160

           Summary: anders-aa wrong result on external function call
           Product: new-bugs
           Version: unspecified
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: baldrick at free.fr
                CC: llvmbugs at cs.uiuc.edu


On this testcase "opt -anders-aa -gvn" results in the function
returning undef, because Andersen's says that the call to @f
cannot modify the memory pointed to by %tmp.

declare void @f(i32*)

define i32 @g() {
entry:
        %tmp = alloca i32               ; <i32*> [#uses=2]
        call void @f( i32* %tmp )
        %tmp2 = load i32* %tmp          ; <i32> [#uses=1]
        ret i32 %tmp2
}


-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.