[LLVMbugs] [Bug 18813] New: Alias handles case of "0+pointertoint" incorrect

[bugzilla-daemon at llvm.org]

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

            Bug ID: 18813
           Summary: Alias handles case of "0+pointertoint" incorrect
           Product: tools
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: opt
          Assignee: unassignedbugs at nondot.org
          Reporter: ili.filippov at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

This issue is reproducible with LLVM trunk.

The reproducer is attached.
Command to reproduce: opt reproducer_load.ll -dse -basicaa > temp.bc

Optimizer deletes first "store" instruction (dead store elimination stage)
although it is needed for subsequent "load" instruction. It seems that it is an
alias problem. Alias analysis doesn't understand that "a" and "ptr" locations
are the same.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20140212/6b453d4d/attachment.html>