gcc 会自动“展开”if 语句吗

gcc 是一种常用的编译器，用于将高级语言源代码编译成机器码。在编写代码时，我们经常会使用 if 语句来实现条件控制。在某些情况下，我们可能会考虑 if 语句的执行效率。于是，有人提出了一个问题：gcc 是否会自动展开 if 语句，以提高执行效率呢？本文将深入探讨这个问题，并通过案例代码进行验证。

c
if (条件) {
    // 如果条件为真，执行这里的代码块
} else {
    // 如果条件为假，执行这里的代码块
}

c
#include 
int main() {
    int x = 10;
    int y = 20;
    int z;
    if (x > y) {
        z = x - y;
    } else {
        z = y - x;
    }
    printf("The result is: %d\n", z);
    return 0;
}

gcc -S example.c -o example.s

assembly
	.file	"example.c"
	.text
	.globl	main
	.type	main, @function
main:
.LFB0:
	.cfi_startproc
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$16, %rsp
	movl	$10, -4(%rbp)
	movl	$20, -8(%rbp)
	movl	-4(%rbp), %eax
	cmpl	-8(%rbp), %eax
	jle	.L2
	movl	-4(%rbp), %eax
	subl	-8(%rbp), %eax
	movl	%eax, -12(%rbp)
	jmp	.L3
.L2:
	movl	-8(%rbp), %eax
	subl	-4(%rbp), %eax
	movl	%eax, -12(%rbp)
.L3:
	movl	-12(%rbp), %eax
	movl	%eax, %esi
	leaq	.LC0(%rip), %rdi
	movl	$0, %eax
	call	printf@PLT
	movl	$0, %eax
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc