C优化:为什么编译器不将对象视为常量?

编译以下C模块

static const int i = 1;

void f (const int *i);

int g (void)
{
  f (&i);
  return i;
}

使用 gcc -S -O3 在x86_64机器上,为函数生成以下程序集 g :

g:
        leaq    i(%rip), %rdi
        subq    $8, %rsp
        call    f@PLT
        movl    $1, %eax           # inlined constant as an immediate
        addq    $8, %rsp
        ret

换句话说 return 语句编译为移动常量 $1 进入返回寄存器 %eax ,这是有道理的,因为 i 声明为常量。

然而,如果我去掉这个 const 所以我有

static int i = 1;

void f (const int *i);

int g (void)
{
  f (&i);
  return i;
}

的输出 gcc-S-O3

g:
        leaq    i(%rip), %rdi
        subq    $8, %rsp
        call    f@PLT
        movl    i(%rip), %eax     # reload i
        addq    $8, %rsp
        ret

f .

为什么会这样?的论点 f 声明为指向常量int的指针,因此 f 不允许更改 一、 f 无法调用修改的函数 g 像 一、 声明为静态。