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("%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 : Nonzero if this SSA_NAME is the defaultdefinition for the underlying symbol. A default SSA name iscreated for symbol S if the very first reference to S in thefunction is a read operation. Default definitions are alwayscreated by an empty statement and belong to no basic block.

通常是参数的大小写，所以你会发现这个后缀添加到参数中。

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

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