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("%d\n", 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 ("%d\n", n_1);
  _8 = 0;

<L3>:
  return _8;

}

这在很大程度上是显而易见的，但是argc_5(D)是什么意思呢？这和int D.2186有关吗？

Answer 1

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

SSA_NAME_IS_DEFAULT_DEF :如果此SSA_NAME是基础符号的默认定义，则为非零。如果函数中对S的第一次引用是读取操作，则为符号S创建默认SSA名称。默认定义总是由空语句创建的，并且不属于基本块。

这通常是参数的情况，因此您会发现参数中添加了这个后缀。

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

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