有没有办法在 gnu 汇编常量中使用数学表达式?

Is there a way to use math expressions in gnu assembly constants?

执行以下操作的正确 gnu 汇编语法是什么:

.section .data2
.asciz "******* Output Data ********"
total_sectors_written:   .word 0x0
max_buffer_sectors: .word ((0x9fc00 - $data_buffer) / 512)  # <=== need help here
.align 512
data_buffer: .asciz "<The actual data will overwrite this>"

具体来说,我正在写一个玩具OS。上面的代码是在 16 位实模式下。我正在设置一个将被转储回引导磁盘的数据缓冲区。我想计算 data_buffer 被放置在内存中的位置与该数据缓冲区的上限之间的扇区数。 (地址 0x9fc00 是缓冲区 运行 进入为其他目的保留的 RAM 的位置。)

我知道我可以编写汇编代码来计算这个;但是,由于它是构建时已知的常量,我很好奇是否可以让汇编程序为我计算它。

我运行正在解决三个具体问题:

(1) 如果我使用 $data_buffer 我会得到这个错误:

os_src/boot.S: Assembler messages:
os_src/boot.S:497: Error: missing ')'
os_src/boot.S:497: Error: can't resolve `L0' {*ABS* section} - `$data_buffer' {*UND* section}

这让我感到困惑,因为当我想要标签的内存地址时我应该使用 $,对吗?

(2) 如果我使用 data_buffer 而不是 $data_buffer,我会得到这个错误:

os_src/boot.S: Assembler messages:
os_src/boot.S:497: Error: missing ')'
os_src/boot.S:497: Error: value of 653855 too large for field of 2 bytes at 31
make: *** [obj/boot/dd_test.o] Error 1

这似乎表明汇编程序在抱怨中间值的大小(不需要适合 16 位字)。

(3) 当然,缺少的 ')' 是怎么回事?

当您在 GNU 汇编程序中使用表达式时,它们必须解析为绝对值。 GNU 汇编器并不知道代码的起点实际上是什么。这就是链接器的用途。因为 data_buffer 绝对地址在链接完成之前是未知的,所以它被认为是可重定位的。如果你取一个像 0x9fc00 这样的绝对值并从中减去一个可重定位的值,你就会得到一个可重定位的值。可重定位值不能用于常量(绝对)表达式。

一切都没有丢失。一旦将所有内容都安排在内存中,链接器本身就会知道绝对地址。您似乎建议您已经使用链接描述文件,这意味着您要做的工作很少。您可以使用链接器计算 max_buffer_sectors.

的值

您的链接描述文件将有一个 SECTIONS 指令,例如:

SECTIONS
{
    [your section contents here]
}

您可以创建一个链接器符号 max_buffer_sectors,其内容如下:

SECTIONS
{
    max_buffer_sectors = (0x9fc00 - (data_buffer)) / 512;
    [your section contents here]
}

这将允许链接器计算大小,因为它将知道 data_buffer 内存中的绝对地址。

您的 GNU 汇编文件需要一些调整:

.globl data_buffer

.section .data2
.asciz "******* Output Data ********"
total_sectors_written:   .word 0x0
.align 512
data_buffer: .asciz "<The actual data will overwrite this>"

你会注意到我使用了 .globl data_buffer。这会导出符号并使其成为全局符号,以便链接器可以使用它。

然后您可以在如下代码中使用符号 max_buffer_sectors

mov $max_buffer_sectors, %ax