为什么 GCC 没有为我决定内联或不内联这个功能?

why didn't gcc decide inline-or-not for me for this function?

本文关键字:功能 GCC 决定 为什么      更新时间:2023-10-16

从网络上的一些词中,我知道GCC足够聪明,可以决定是否内联一个函数。inline关键词只是一个提示:
GCC 可以内联一个通用函数,也可能不内联一个内联函数

但是对于我项目中的这个函数:

struct vb_pos{
union{
struct{
int offset;
int l;
};
unsigned long long g_offset;    
};
};
static inline void vi_write_vtail_smart(struct vi *vi){
struct vb_pos *vhead, *vtail, *cursor;
vhead = &vi->v_head;                    
vtail = &vi->v_tail;
cursor = &vi->cursor;
int curoff = vi->curr - vi->lines[vi->currl].buf;
cursor->offset = curoff;    
if(cursor->g_offset >= vhead->g_offset){
*vtail = *cursor;
}
else{
*vtail = *vhead;
*vhead = *cursor;
}
}

使用 -O2 编译。
我检查了汇编代码,知道这个函数是按预期内联的。
但是,当我删除它的inline修饰符并重新编译时,我发现它不是内联的。它的函数体出现在最终的二进制文件中:

0000000000000000 <vi_write_vtail_smart>:
0:       48 63 47 14             movslq 0x14(%rdi),%rax
4:       48 8b 17                mov    (%rdi),%rdx
7:       48 8d 04 40             lea    (%rax,%rax,2),%rax
b:       48 8d 04 c2             lea    (%rdx,%rax,8),%rax
f:       48 8b 57 18             mov    0x18(%rdi),%rdx
13:       48 2b 10                sub    (%rax),%rdx
16:       89 57 10                mov    %edx,0x10(%rdi)
19:       48 8b 47 10             mov    0x10(%rdi),%rax
1d:       48 3b 47 38             cmp    0x38(%rdi),%rax
21:       73 0d                   jae    30 <vi_write_vtail_smart+0x30>
23:       48 8b 57 38             mov    0x38(%rdi),%rdx
27:       48 89 47 38             mov    %rax,0x38(%rdi)
2b:       48 89 57 40             mov    %rdx,0x40(%rdi)
2f:       c3                      retq   
30:       48 89 47 40             mov    %rax,0x40(%rdi)
34:       c3                      retq

我想知道,既然海湾合作委员会足够聪明,为什么它没有自己的决定?为什么它在我指定时执行内联,而在我不指定时不执行?

因为他没有找到足够的线索来做出强有力的决定? 或者,因为他已经做出了决定,他的决定是:内联与否没有太大区别,既然你问我,我为你内联; 否则,我把它作为一个通用函数。

我想知道真正的原因。
如果是第一种情况,我想我们可能需要重新考虑这篇文章开头的观点(在网上很受欢迎————至少,GCC没有他们说的那么聪明,内联关键词也不像他们说的那么无用。

在文章末尾,我想为上述代码片段的上下文添加更多描述:

1,我原本想把vi_write_vtail_smart()内联到函数A()B()中,它们被导出为库API,两者都会被用户经常调用。

2、A()B()vi_write_vtail_smart()在同一个文件中。

3、vi_write_vtail_smart()只用A()B(),别的地方没有用。

4、函数体大小A()约为450字节,B()相似。

5、A()B()基本上都是普通机器码,不涉及大循环或繁重的计算,只调用一个子函数,除了vi_write_vtail_smart()。 该子函数位于另一个文件中。

6、我做了一个小测试,我在if(cursor->g_offset>= vhead->g_offset({之前加了一行return;,(我想看看这个函数足够小时会发生什么(,即:

...
int curoff = vi->curr - vi->lines[vi->currl].buf;
cursor->offset = curoff;    
return;
if(cursor->g_offset >= vhead->g_offset){
...

并在没有inline修饰符的情况下编译,并检查了汇编代码————这次GCC内联了它,其功能定义从最终的二进制文件中消失了。

7、我的开发环境:
ubuntu-16.04/64bit
gcc 5.4.0 版本 20160609
架构:英特尔X86常春藤桥移动

9、编译标志(这里还要再写一遍,有人看的时候会错过( -O2 -std=gnu99

根据 GCC 文档,GCC 有一个名为-finline-functions的优化设置。这实际上是使 GCC在所有函数上使用其启发式内联条件的设置,即使它们未声明为inline。此设置在优化级别启用-O3。因此,如果您想让 GCC 完全自由地将其启发式应用于所有函数,您必须至少指定-O3(或明确指定-finline-functions(。

如果没有-finline-functionsGCC通常不会尝试内联未声明为inline的函数,但有一些值得注意的例外:许多其他内联选项也可能导致非内联函数被内联。但是,这些选项针对非常具体的情况

  • -finline-functions-called-once早在-O1年就已启用。仅调用一次的静态函数是内联的,即使它们未声明为inline

  • -finline-small-functions-O2上启用。如果它导致代码大小减小,即使函数未声明为inline,也会触发内联。

您的函数显然没有通过这些在-O2级别激活的特定内联过滤器:它相对较大并且(显然(多次调用。出于这个原因,GCC不认为它在-O2内联,除非你用inline关键字明确请求它。请注意,显式inline关键字基本上类似于仅为该特定功能打开-finline-functions设置。它将使 GCC考虑将其内联,但不保证内联。

同样,如果您希望 GCC 完全接管这些决定,您需要-finline-functions-O3。显式inline关键字触发内联 at-O2的事实意味着 GCC 应该决定在-O3处内联它,而不管那里是否存在inline