<html>
    <head>
      <base href="https://llvm.org/bugs/" />
    </head>
    <body><span class="vcard"><a class="email" href="mailto:aprantl@apple.com" title="Adrian Prantl <aprantl@apple.com>"> <span class="fn">Adrian Prantl</span></a>
</span> changed
              <a class="bz_bug_link 
          bz_status_RESOLVED  bz_closed"
   title="RESOLVED FIXED - LiveDebugVariables propagates constant values without joining at bb boundaries"
   href="https://llvm.org/bugs/show_bug.cgi?id=24563">bug 24563</a>
        <br>
             <table border="1" cellspacing="0" cellpadding="8">
          <tr>
            <th>What</th>
            <th>Removed</th>
            <th>Added</th>
          </tr>

         <tr>
           <td style="text-align:right;">Status</td>
           <td>NEW
           </td>
           <td>RESOLVED
           </td>
         </tr>

         <tr>
           <td style="text-align:right;">Resolution</td>
           <td>---
           </td>
           <td>FIXED
           </td>
         </tr></table>
      <p>
        <div>
            <b><a class="bz_bug_link 
          bz_status_RESOLVED  bz_closed"
   title="RESOLVED FIXED - LiveDebugVariables propagates constant values without joining at bb boundaries"
   href="https://llvm.org/bugs/show_bug.cgi?id=24563#c9">Comment # 9</a>
              on <a class="bz_bug_link 
          bz_status_RESOLVED  bz_closed"
   title="RESOLVED FIXED - LiveDebugVariables propagates constant values without joining at bb boundaries"
   href="https://llvm.org/bugs/show_bug.cgi?id=24563">bug 24563</a>
              from <span class="vcard"><a class="email" href="mailto:aprantl@apple.com" title="Adrian Prantl <aprantl@apple.com>"> <span class="fn">Adrian Prantl</span></a>
</span></b>
        <pre>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: <a href="https://llvm.org/svn/llvm-project/llvm/trunk@256188">https://llvm.org/svn/llvm-project/llvm/trunk@256188</a></pre>
        </div>
      </p>
      <hr>
      <span>You are receiving this mail because:</span>
      
      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>