Значение переменной в формате GCC SSA

Question

Я хочу посмотреть на формат SSA, который использует GCC, поэтому я попробовал следующую простую тестовую программу:

    #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 является определением по умолчанию для базового символа. Имя SSA по умолчанию создается для символа S, если самая первая ссылка на S в функции - это операция чтения. Определения по умолчанию всегда создаются пустым оператором и не относятся ни к какому базовому блоку.

Обычно это случай аргумента, поэтому вы найдете этот суффикс добавленным к аргументам.

В D. - это префикс, добавляемый при выгрузке имени узла, который является узлом _DECL, не имеет имени или флага для отображения decl UIDsn и не является ни метками, ни выражением отладки, ни константами, иначе будет использоваться другой префикс.

Если у вас в дампе есть D.2186, возможно, вы скомпилировали с O0. обычно вы обнаружите, что в предыдущем дампе он использовался для возвращаемого значения. в ssa_dump _8 используется для значения retuen D.2186 еще не был удален (с O0), но он не будет расширен (до rtl). Добавить -fdump-rtl-all и вы видите, что _8 будет расширен, но не D.2186, например.