[llvm-bugs] [Bug 24563] LiveDebugVariables propagates constant values without joining at bb boundaries

[via llvm-bugs]

https://llvm.org/bugs/show_bug.cgi?id=24563

Adrian Prantl <aprantl at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #9 from Adrian Prantl <aprantl at apple.com> ---
256188: Fix PR24563 (LiveDebugVariables unconditionally propagates all
DBG_VALUEs)

    LiveDebugVariables unconditionally propagates all DBG_VALUE down the
    dominator tree, which happens to work fine if there already is another
    DBG_VALUE or the DBG_VALUE happends to describe a single-assignment vreg
    but is otherwise wrong if the DBG_VALUE is coming from only one of the
    predecessors.

    In r255759 we introduced a proper data flow analysis scheduled after
    LiveDebugVariables that correctly propagates DBG_VALUEs across basic block
    boundaries. With the new pass in place, the incorrect propagation in
    LiveDebugVariables can be retired witout loosing any of the benefits
    where LiveDebugVariables happened to do the right thing.

    git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@256188

-- 
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/20151221/ca335618/attachment.html>