.quad 命令定义4字带符号整数(gdb 中 gd 选项查看4字内存内容)

beyes

.quad 命令可以定义一个或者多个带符号的整数值，这时会为每个值分配 8 个字节，如下程序所示：

.section .data
data1:
        .int 1, -1, 463345, -333252322, 0
data2:
        .quad 1, -1, 463345, -333252322, 0

.section .text
.global _start
_start:
        nop
        movl $1, %eax
        movl $0, %ebx
        int $0x80

先看一下 data1 和 data2 数组中的十进制值是什么：

(gdb) x/5d &data1
0x8049084 <data1>:      1       -1      463345  -333252322
0x8049094 <data1+16>:   0
(gdb) x/5d &data2
0x8049098 <data2>:      1       0       -1      -1
0x80490a8 <data2+16>:   463345

由上可见，data1 数组中的值正如我们期望的，但是 data2 数组中的值却不是了，这并不是程序中使用的值 --- 问题的原因是调试器假设这些值是双字的带符号值，而不是 4 字 (我们用 .quad 明令定义的是 4 字).

接着，再查看内存标签 data1 位置的数值是如何存储的：

(gdb) x/20xb &data1
0x8049084 <data1>:      0x01    0x00    0x00    0x00    0xff    0xff    0xff    0xff
0x804908c <data1+8>:    0xf1    0x11    0x07    0x00    0x1e    0xf9    0x22    0xec
0x8049094 <data1+16>:   0x00    0x00    0x00    0x00

没错，这正是我们期望的 --- 每个数组元素使用 4 个字节，并且按照小端格式存储。现在，查看一下标签 data2 位置的数组值：

(gdb) x/20b &data2
0x8049098 <data2>:      0x01    0x00    0x00    0x00    0x00    0x00    0x00    0x00
0x80490a0 <data2+8>:    0xff    0xff    0xff    0xff    0xff    0xff    0xff    0xff
0x80490a8 <data2+16>:   0xf1    0x11    0x07    0x00

由上可以看到，每个值都使用四字编码，所以每个值都使用 8 个字节。确实，汇编器把这些值存放到了正确的位置，但是调试器并知道 x/d 命令来显示这样一次 8 字节的值。如果希望正确显示这些 4 字符号整数值，就必须使用 gd 选项：

(gdb) x/5gd &data2
0x8049098 <data2>:      1       -1
0x80490a8 <data2+16>:   463345  -333252322
0x80490b8 <data2+32>:   0

这次，情况正常了！