GCC编译x86/x86_64时，执行内联汇编前是否保证DF标志状态？

当使用GCC为x86或x86_64架构编译代码时，执行扩展内联汇编块前，编译器是否会保证Direction Flag（DF，方向标志位）处于特定状态？我在GCC文档中没找到相关明确说明，而且扩展内联汇编也没有指定该状态的输入操作数选项。

带rep前缀的指令会受DF标志位控制：DF=0时，%esi/%edi（x86）或%rsi/%rdi（x86_64）寄存器递增；DF=1时则递减。如果不确定DF状态，必须手动执行cld（清除DF，设为0）或std（设置DF，设为1）来确保方向符合预期，比如原生汇编代码会这么写：

; 把0x1234开始的54字节数据发送到端口0x1234
copy:   cld
        movl  $0x1234, %esi
        movw  $0x1234, %dx
        movl  $54,     %ecx
        rep outsb

对应到GCC的C内联汇编，通常会写成这样（手动加cld）：

uint16_t    io  = 0x1234;
char const *buf = …;
size_t      len = …;
asm volatile("cld\n\t"
             "rep outsb"
             : "+c"(len), "+S"(buf)
             : "d"(io)
             : "memory");

但实际测试中，我去掉cld后的代码也能正常运行，因为DF始终是0：

uint16_t    io  = 0x1234;
char const *buf = …;
size_t      len = …;
asm volatile("rep outsb"
             : "+c"(len), "+S"(buf)
             : "d"(io)
             : "memory");

我想知道这只是巧合（比如多数代码都会清除DF），还是GCC确实会在执行内联汇编前保证DF处于未置位状态（DF=0）。

GCC在x86/x86_64平台上确实会保证执行扩展内联汇编前，DF标志位处于清除状态（DF=0，寄存器递增方向），这是编译器遵循的x86 ABI隐含约定，尽管这一点没有在GCC文档中单独高亮说明。

原因在于：

• 标准C库和GCC生成的所有代码，都默认假设DF=0，所有字符串/内存操作相关的编译器生成代码（如memcpy、strcpy）都不会主动设置DF，且会在必要时维持DF=0的状态。
• 内联汇编作为编译器生成代码的一部分，继承了这个ABI约定，编译器不会在进入内联汇编前修改DF为1。

不过需要注意：

1. 如果你的内联汇编代码修改了DF（比如执行了std），必须在汇编块结束前恢复DF为0，否则会破坏后续编译器生成的代码逻辑。
2. 虽然依赖DF=0的约定是安全的，但如果你的代码需要兼容其他非GCC的编译器，或者极端场景下可能有第三方代码修改DF，手动添加cld可以进一步提升鲁棒性——不过在纯GCC编译的x86/x86_64代码中，这一步并非必需。

• memory约束可以替换为"m"内存源操作数，作用是明确告知编译器：内联汇编会访问指针buf指向的内存区域，避免编译器误优化相关内存操作。
• 计数len和指针buf需要使用读写约束（如+c、+S），让编译器知道这些寄存器（RCX/RSI）的值会被内联汇编修改，不会保留原值。
• volatile关键字必须添加，因为向I/O端口写入是独立于内存的副作用，不能被编译器优化掉。

内容的提问来源于stack exchange，提问作者bindiff