3

我想看看 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吗？

4

1 回答 1

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 用于返回值 D.2186 尚未删除（使用 O0），但不会扩展（到 rtl）。添加-fdump-rtl-all，您会看到 _8 将被扩展，但不是 D.2186。

于 2020-11-15T09:28:37.567 回答