<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - [AArch64][AArch64LoadStoreOptimizer][DebugInfo] load store optimizer generates different code when debug info present"
   href="https://bugs.llvm.org/show_bug.cgi?id=37271">37271</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>[AArch64][AArch64LoadStoreOptimizer][DebugInfo] load store optimizer generates different code when debug info present
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>libraries
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>6.0
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>All
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>All
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>normal
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>Backend: AArch64
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>unassignedbugs@nondot.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>gberry@codeaurora.org
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>chad.rosier@gmail.com, dblaikie@gmail.com, francisvm@yahoo.com, junbuml@codeaurora.org, llvm-bugs@lists.llvm.org, t.p.northover@gmail.com
          </td>
        </tr></table>
      <p>
        <div>
        <pre>In the following test, the presence of the DBG_VALUE will prevent the loads
from being paired.  The AArch64LoadStoreOptimizer should treat DBG_VALUE
instructions specially since e.g. they can be moved down with the newly paired
load in this case.

See <a href="https://reviews.llvm.org/D45878">https://reviews.llvm.org/D45878</a> for similar DBG_VALUE handling in
MachineCopyPropagation.

Test case:
# RUN: llc -mtriple=aarch64 -run-pass aarch64-ldst-opt -verify-machineinstrs -o
- %s | FileCheck %s
---
name: test_LDdbg
body: |
  bb.0.entry:
    liveins: $x0, $x3

    $x1 = LDRXui $x0, 0 :: (load 8)
    DBG_VALUE debug-use $x1, debug-use $noreg
    $x2 = ADDXri $x3, 1, 0
    $x3 = LDRXui $x0, 1 :: (load 8)
    RET_ReallyLR implicit $x1</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>