我正在使用 TCC（Tiny C 编译器）进行 jit 编译，但它对汇编的支持有限，我经常被这个卡住......我想知道是否有某种技巧可以插入 raw指令到内联汇编？如：
mov -0x18(%rbp), %rax
finit
flds (%rax)
/* Custom unsupported binary instructions here */
flds (%rcx)
我知道这不是一件容易维护的事情，但我希望 TCC 保持不变。
【问题讨论】：
.byte 0x12这样的标准GAS / unix-assembler指令，你可以发出任何你想要的字节序列。
标签： c assembly inline-assembly jit tcc
如果它支持标准 GAS / unix-assembler 指令，如.byte 0x00, 0x12，您可以发出任何您想要的字节序列。 （如果您想将 16 位或 32 位立即数写入单个 32 位数字，也可以使用 .word 或 .long。）
【讨论】：
GNU as 支持两种处理原始指令的好方法。有.byte、.short、.long和similar directives可用于直接在输出中发出原始数字。
另一种方式（仅针对少数架构实现）是.insn 指令，它允许在普通汇编指令和上述原始数字之间提供一种中间方式。例如，请参阅RISC-V .insn formats 的文档。
要在 C 中使用它们中的任何一个，您可以使用（非标准）asm 语句（或其变体）。以下示例使用 GCC 的 naked 函数属性（也仅在某些架构上可用）来防止编译器发出任何其他指令（例如，函数序言/结尾），这很容易破坏寄存器。
此示例适用于 RISC-V，显示标准的 32 位指令以及压缩的 16 位指令：
void __attribute__ ((naked)) rawinst (void) {
__asm__ volatile ("li t5,1");
__asm__ volatile (".short 0x4f05"); // li t5,1
__asm__ volatile ("lui t5, 0x1c000");
__asm__ volatile (".word 0x1c000f37"); // lui t5, 0x1c000
__asm__ volatile (".insn r 0x33, 0, 0, a0, a1, a2"); // add a0, a1, a2
__asm__ volatile ("ret");
}
如果您想在非naked 函数中使用它，请使用带有约束/破坏器的 GNU C Extended asm 来告诉编译器您的 asm 做什么以及输入/输出在哪里。当然不要使用你自己的ret。至少使用 gcc/clang；如果您实际使用的是 TCC，它根本不会在 C 语句之间进行优化，因此对我们 Basic asm 语句来说应该是安全的。
【讨论】：
__attribute__((naked)) 是使用像这样的 GNU C Basic asm 语句所必需的，除了不修改寄存器或内存的指令。如果在非裸函数中使用此类指令，您可能希望 GNU C Extended asm 指定 "memory" clobber 或不控制排序 wrt。通过周围的 C 语句访问内存。 （就像您禁用中断或执行内存屏障指令一样）。
naked 函数之外修改寄存器，您必须告诉编译器。否则，当此函数内联到更大的调用者时，您的代码可能会完全中断。 （在这种情况下，您不得自己使用 ret 之类的指令。）请参阅 gcc.gnu.org/wiki/ConvertBasicAsmToExtended 回复：为什么除了 naked 函数之外的任何东西都很糟糕。
asm("stuff") 应该只是在正常功能中工作，就像 MSVC 风格的 asm{} 块一样。鉴于问题标题，我可以很容易地想象天真的未来读者会在这里登陆，不知道 GNU C 内联汇编是如何工作的。