[PATCH] Fix sleb128 encoding for difference expressions

Julian Brown julian@codesourcery.com
Thu Nov 8 13:05:00 GMT 2012


We encountered a situation where .sleb128 directives would behave in an
unexpected way. For a source file such as:

    .globl foo
    .byte 0
    .byte 0
    .byte 0

    .sleb128 .L1 - .L2
    .byte 42

assembled and objdump'd, we get:

Contents of section .data:
 0000 fdffffff ffffffff ff012a00 00000000  ..........*.....

the value of "-3" has been interpreted as a (64-bit) unsigned quantity
0xfffffffffffffffd, and henceforth encoded as a sleb128 value, whereas
what we wanted was simply the encoding "7d", i.e. -3.

The clause in read.c:emit_leb128_expr is a clue as to why this is

  else if (op == O_constant
	   && sign
	   && (exp->X_add_number < 0) != !exp->X_unsigned)
      /* We're outputting a signed leb128 and the sign of X_add_number
	 doesn't reflect the sign of the original value.  Convert EXP
	 to a correctly-extended bignum instead.  */
      convert_to_bignum (exp);
      op = O_big;

so in this case we have exp->X_add_number less than zero, but
exp->X_unsigned is true: the operands (.L1, .L2) are unsigned, so the
result of the expression .L1 - .L2 is also unsigned. Hence,
convert_to_bignum converts "exp" to a bignum as an unsigned expression.

My proposed fix is a change to the ad-hoc type system for expressions.
The basic idea is simply to see if the result of a subtraction
operation will fall below zero, and if so force the "unsigned" flag for
the result value to be false (normally all of an expression's operands,
and its result, are unsigned). No other operators are altered.

This still works for expressions such as,

    .sleb128 .L2 - .L1 + (1 << 31)
(or .sleb128 .L2 - .L1 + (1 << 63))

where L2 is greater than L1, i.e. where the sign bit "looks like" it is
set, since the result of these will still be regarded as unsigned.
There may be other corner cases which behave unexpectedly, however.

OK to apply, or any comments? Maybe suggestions for other ways of
tackling the problem? (Tested with cross to mips-linux.)




    * expr.c (subtract_from_result): New.
    (expr): Use above.

    * gas/all/sleb128-2.s: New test.
    * gas/all/sleb128-3.s: Likewise.
    * gas/all/sleb128-4.s: Likewise.
    * gas/all/sleb128-2.d: New.
    * gas/all/sleb128-3.d: New.
    * gas/all/sleb123-4.d: New.
    * gas/all/gas.exp (sleb128-2, sleb128-3, sleb128-4): Run new tests.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: sleb128-fix-2.diff
Type: text/x-patch
Size: 5104 bytes
Desc: not available
URL: <https://sourceware.org/pipermail/binutils/attachments/20121108/f58ef187/attachment.bin>

More information about the Binutils mailing list