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)是添加到DEFAULt_DEF的ssa_name节点的后缀。

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

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

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

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

GCC SSA格式的变量的含义

1 个答案: