C语言 GCC SSA 格式变量的含义

Question

我想看看GCC使用的SSA格式，所以我尝试了以下简单的测试程序：

#include <stdio.h>
int main(int argc, char **argv) {
int n = 0;
int i;
for (i = 0; i < 13; i++)
n += argc;
printf("%dn", n);
return 0;
}

用gcc -fdump-tree-all a.c编译，除其他外，a.c.016t.ssa以下内容：

;; Function main (main, funcdef_no=0, decl_uid=2178, cgraph_uid=0)
main (int argc, char * * argv)
{
int i;
int n;
int D.2186;
int _8;
<bb 2>:
n_3 = 0;
i_4 = 0;
goto <bb 4>;
<bb 3>:
n_6 = n_1 + argc_5(D);
i_7 = i_2 + 1;
<bb 4>:
# n_1 = PHI <n_3(2), n_6(3)>
# i_2 = PHI <i_4(2), i_7(3)>
if (i_2 <= 12)
goto <bb 3>;
else
goto <bb 5>;
<bb 5>:
printf ("%dn", n_1);
_8 = 0;
<L3>:
return _8;
}

其中大部分都很清楚，但argc_5(D)是什么意思？它与int D.2186有什么关系吗？

Answer 1

(D)是添加到DEFAULt_DEF节点ssa_name后缀。

SSA_NAME_IS_DEFAULT_DEF：如果此SSA_NAME是默认值，则为非零值 基础符号的定义。 默认 SSA 名称为 为符号 S 创建，如果第一个引用 S 在 函数是读取操作。 默认定义始终为 由空语句创建，不属于基本块。

通常参数就是这种情况，因此您会发现此后缀已添加到参数中。

D.是在转储节点名称时添加的前缀，这些节点是_DECL节点，没有名称或具有显示decl UIDsn的标志，既不是标签也不是调试表达式或常量，否则将使用其他前缀。

如果转储中有 D.2186，则可能是使用 O0 编译的。 通常你会发现在先例转储中它被用于返回值。 在 ssa_dump _8 用于 retuen 值 由 D.2186 尚未删除(使用 O0(，但它不会被扩展(到 RTL(。添加-fdump-rtl-all，您会看到 _8 将被扩展，但不会扩展 D.2186。