]> git.ipfire.org Git - thirdparty/gcc.git/commit
DWARF: Handle expressions containing "-1" in dw2_asm_output_delta_uleb128.
authorMark Wielaard <mark@klomp.org>
Mon, 28 May 2018 09:06:02 +0000 (09:06 +0000)
committerMark Wielaard <mark@gcc.gnu.org>
Mon, 28 May 2018 09:06:02 +0000 (09:06 +0000)
commit7728669d4b058aa3e66163a89ebbf22e5cd49cc1
tree70dddc3d4e6cb24ebf8e0987a31db95e579117af
parentab4dad49127bc65de7dd4af02db3cad437a477d6
DWARF: Handle expressions containing "-1" in dw2_asm_output_delta_uleb128.

In dwarf2out.c dwarf2out_var_location () we create loclabels that might
contain -1 (for example ".LVL5-1"). Technically those are expressions,
not just plain labels. But they work fine everywhere we use them, except
when calculating an uleb128 delta between two labels.

For example we might create the following DWARF5 location list entry:

        .byte   0x3     # DW_LLE_startx_length (*.LLST0)
        .uleb128 0x6    # Location list range start index (*.LVL5-1)
        .uleb128 .LFE1-.LVL5-1        # Location list length (*.LLST0)
        .uleb128 0x1    # Location expression size
        .byte   0x54    # DW_OP_reg4
        .byte   0       # DW_LLE_end_of_list (*.LLST0)

Note the length is calculated using .uleb128 .LFE1-.LVL5-1. This is
wrong, since both .LVL5 and 1 are substracted from .LFE1, instead of
1 being subtracted from .LVL5 first, before substracting from .LFE1.

This happens because dw2_asm_output_delta_uleb128 expects two plain
labels and simply inserts a minus sign between them. To fix this we
simply look if the second label is actually an expression containing
a minus sign and then add brackets around it. That will emit the
correct .uleb128 expression:

        .uleb128 .LFE1-(.LVL5-1)        # Location list length (*.LLST0)

We cannot simply generate the loclabel containing brackets directly
because we do use them also in contexts that don't take a full
expression (for example we use them with .quad too).

gcc/

* dwarf2asm.c (dw2_asm_output_delta_uleb128): Add brackets around
lab2 if it is an expression containing a minus sign.

From-SVN: r260845
gcc/ChangeLog
gcc/dwarf2asm.c