导入二进制文件gnu-assembler时检查标签之间的距离

Question

我有以下宏来嵌入文件名中的二进制数据：

#define INCBIN(identifier, filename)                                                          \
    asm(".pushsection .rodata\n"                                                                   \
        "\t.local " #identifier "_begin\n"                                                         \
        "\t.type " #identifier "_begin, @object\n"                                                 \
        "\t.align 16\n" #identifier "_begin:\n"                                                    \
        "\t.incbin \"" filename "\"\n\n"                                                           \
                                                                                                   \
        "\t.local " #identifier "_end\n"                                                           \
        "\t.type " #identifier "_end, @object\n"                                                   \
        "\t.align 1\n" #identifier "_end:\n"                                                       \
        "\t.byte 0\n"                                                                              \
        "\t.popsection\n");                                                                        \
                                                                                                   \
    extern std::byte const identifier##_begin[];                                                   \
    extern std::byte const identifier##_end[]

我希望能够声明它是 uint32_t 而不是 std::byte。这将要求文件具有 4 字节的整数倍。对齐已经由宏处理（对齐到 16）。如果文件大小错误，我可以触发编译时错误吗？即在程序集中添加一些编译时断言。

Answer 1

如果你只是 .p2align 2 在文件之后，它会将总大小四舍五入到 4 字节的倍数，而不管有多少字节 .incbin assembled 到。（因为文件从对齐的位置开始）。

如果您想检查而不是 pad，可以在 assemble 时使用 assemble r 指令。显然不在 compile-time 正确的位置，因为它只是将 C++ 转换为 asm，以便稍后提供给 assembler。（在 GCC 中，这些步骤实际上是分开的，并不是同一个编译器进程的所有部分。但在其他实现中逻辑上仍然是顺序的。）

同一文件中两个标签之间的距离是一个 assemble-time 常量，您可以在 (b-a)&3.

等 GAS 表达式中使用它

如果你使用 .rept -((b-a)&3)，你将有一个 0 或负的重复计数，后者是一个 assemble-time 错误，根据文件大小 % 4 是 non-zero. （有趣的事实：Linux 内核在 C 中使用这样的技巧，通过生成大小为 0 或负数的数组来执行静态断言）。

或者更好，.error can be controlled by .rept or other GAS directives like .ifgt.（.rept 会重复错误消息 (b-a)%4 次，而 if-greater-than-zero只重复一次。)

.p2align 2
a:
  .incbin "bin"
  # .p2align 2
b:

.ifgt (b-a)&3         # true if remainder > 0
  .error  "asm static_assert failed: file size not a multiple of 4"
.endif

$ echo xyz > bin   # size 4
$ gcc -c foo.s
$ echo >> bin      # size 5
$ gcc -c foo.s
foo.s: Assembler messages:
foo.s:9: Error: asm static_assert failed: file size not a multiple of 4

使用 GNU assembler (GNU Binutils) 2.36.1

测试

我会留给你把它填回你的内联 asm 宏，文件名在 .error 字符串中。

导入二进制文件gnu-assembler时检查标签之间的距离

Check distance between labels when importing binary file gnu-assembler

c++

assembly

gnu-assembler