<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 - Print frame index offsets with symbolic labels when outputting verbose assembly"
   href="https://bugs.llvm.org/show_bug.cgi?id=42904">42904</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>Print frame index offsets with symbolic labels when outputting verbose assembly
          </td>
        </tr>

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

        <tr>
          <th>Version</th>
          <td>trunk
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>PC
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>Windows NT
          </td>
        </tr>

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

        <tr>
          <th>Severity</th>
          <td>enhancement
          </td>
        </tr>

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

        <tr>
          <th>Component</th>
          <td>Common Code Generator Code
          </td>
        </tr>

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

        <tr>
          <th>Reporter</th>
          <td>rnk@google.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>llvm-bugs@lists.llvm.org
          </td>
        </tr></table>
      <p>
        <div>
        <pre>Consider MSVC's assembly output for this program:
<a href="https://gcc.godbolt.org/z/wdAp5O">https://gcc.godbolt.org/z/wdAp5O</a>
int addit(int x, int y) {
  return x + y;
}

_x$ = 8                                       ; size = 4
_y$ = 12                                                ; size = 4
int addit(int,int) PROC                                    ; addit
        push    ebp
        mov     ebp, esp
        mov     eax, DWORD PTR _x$[ebp]
        add     eax, DWORD PTR _y$[ebp]
        pop     ebp
        ret     0
int addit(int,int) ENDP                                    ; addit

When a local variable offset is used, the compiler prints it using a symbolic
label. The labels are set up prior to the prologue. This should produce the
same object file as using plain integer offsets, but it's way more readable,
which is helpful to any user attempting to understand compiler output. We
should also consider how useful it might be when writing FileCheck tests.

I think we can already put MCSymbols into a MachineOperand, we just need to
make sure that operand can carry an offset, and that anything that runs after
PEI knows how to handle such operands.

It's not clear to me how we'd want to determine the local variable name for an
alloca. Value names are discarded in release builds, but debug info is also not
always present.</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>