C语言if/if-else何时与x86汇编一样仅执行一次比较？附实现代码

在x86汇编中，cmp指令通过设置ZF（零标志位）和CF（进位标志位），仅需一次比较就能判断两个整数的相等、大于或小于关系。要让C语言中的if/if-else语句对应汇编仅执行一次比较，核心条件是：通过if-else的链式结构完整覆盖x与y的所有互斥关系分支（x>y、x<y、x==y），且后续分支不再发起新的比较操作——编译器会优化为复用第一次比较产生的标志位，避免重复执行cmp指令。

以下是6种符合要求的C语言写法：

// 写法1
if (x > y) { /*code1*/ } else if (x < y) { /*code2*/ } else { /*code3*/ }

// 写法2
if (x < y) { /*code2*/ } else if (x > y) { /*code1*/ } else { /*code3*/ }

// 写法3
if (x > y) { /*code1*/ } else if (x == y) { /*code3*/ } else { /*code2*/ }

// 写法4
if (x < y) { /*code2*/ } else if (x == y) { /*code3*/ } else { /*code1*/ }

// 写法5
if (x == y) { /*code3*/ } else if (x < y) { /*code2*/ } else { /*code1*/ }

// 写法6
if (x == y) { /*code3*/ } else if (x > y) { /*code1*/ } else { /*code2*/ }

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