c++ - 导入二进制文件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组装成多少字节. (因为文件从对齐的位置开始)。

---

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

同一文件中两个标签之间的距离是一个汇编时常量，您可以在 GAS 表达式中使用它，例如 (b-a)&3。

如果您使用 .rept -((b-a)&3)，您将有一个 0 或负的重复计数，根据文件大小，后者是一个汇编时错误% 4 非零。 (有趣的事实:Linux 内核在 C 语言中使用了类似这样的技巧，通过生成大小为 0 或负数的数组来执行静态断言)。

或者更好，.error可以通过 .rept 控制或其他 GAS 指令，如 .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 汇编器 (GNU Binutils) 2.36.1 测试

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