0

在使用 gcc __attribute__ 处理函数时，我注意到代码生成会有所不同，具体取决于我放置属性的位置。在下面的示例中，我希望编译器不要优化我对 use() 的调用。

编译器：x86-64 gcc（主干）

选项：-O3 -Wall

void  __attribute__((noinline, optimize("O0"))) use() {} 
int main () 
{
    use();
}
use:
        push    rbp
        mov     rbp, rsp
        nop
        pop     rbp
        ret
main:
        xor     eax, eax
        call    use
        xor     eax, eax
        ret

但是，如果我更改属性的位置，则会生成不同的代码。

void   use() {} __attribute__((noinline, optimize("O0")))
int main () 
{
    use();
}
main:
        push    rbp
        mov     rbp, rsp
        mov     eax, 0
        pop     rbp
        ret
use:
        ret

如果我不放置任何属性，我会得到：

void   use() {} 
int main () 
{
    use();
}
use:
        ret
main:
        xor     eax, eax
        ret

现在，我在gcc_Common-Function-Attributes看到的属性都存在于函数声明中，而不是定义中。我不确定我是否应该只在声明中使用它们。（因为在定义中使用它们似乎在上面的一个实例中起作用）我的问题是放置 __attribute__ 的规则是什么，为什么上面的行为方式呢？我检查了gcc_Attribute-Syntax，但恐怕我不太了解它。

4

1 回答 1

5

__attribute__是它后面的函数规范的一部分。您的第二个版本实际上是：

__attribute__((noinline, optimize("O0"))) int main() {
    ...
}

您正在设置函数的属性main()，而不是use()函数。

请记住，newlies 在解析 C 代码时没有任何特殊含义，因此将属性与use()声明放在同一行实际上并不能使其成为其中的一部分。

于 2018-12-03T09:29:00.510 回答