gcc __attribute__ 位置之间的区别

Question

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

编译器：x86-64 gcc(trunk)

选项：-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，但恐怕我不是很了解。

Answer 1

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

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

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

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