3

我需要为 C 代码制作数据流图。数据流图是指图中的节点表示加法和乘法等操作，边表示节点之间的操作数（数据）流的图。我的目标是分析计算密集型内核的数据流图的并行性和执行时间。我使用了许多工具从 Trimaran、Oink、GCC 等 C 程序生成数据流图。在这些工具中，GCC 的 Gimple 内部表示为我提供了 SSA 中每个基本块的一些数据流分析（静态单一分配）表格。SSA 表格简化了我的分析。这是我使用 GCC 的方法：

-fdump-tree-cfg为每个函数生成一个控制流图，其中节点代表基本块，边代表控制依赖。还显示了每个基本块中的数据依赖性。但是，它没有给出每个基本块的数据流图。我需要将数据依赖可视化，以便分析每个基本块中的数据流。

举个例子，如果你应用-fdump-tree-cfg到下面的代码

for (i1=0; i1<=N1-N2; i1++)
    for (i2=0; i2<N2; i2++) //N2=31
        y[i1] = y[i1] + w[i2]*x[i1+i2];

你得到这个：

...
<bb 3>:
  i2 = 0;
  goto <bb 5>;

<bb 4>: //the inner-most loop, where real computation happens
  i1.0 = i1;
  i1.1 = i1;
  D.1608 = y[i1.1];
  i2.2 = i2;
  D.1610 = w[i2.2];
  D.1611 = i1 + i2;
  D.1612 = x[D.1611];
  D.1613 = D.1610 * D.1612;
  D.1614 = D.1608 + D.1613;
  y[i1.0] = D.1614;
  i2 = i2 + 1;

<bb 5>:
  if (i2 <= 31)
    goto <bb 4>;
  else
    goto <bb 6>;
...

-fdump-tree-vcg生成格式的控制流图VCG，但不携带任何数据依赖信息。

但是，GCC 有一些限制。例如，GCC 不会为每个基本块生成可视化的数据流图。我想知道是否有任何工具可以为 C 程序生成数据流图？或者可能有一个 GCC 插件来从 Gimple 表示生成数据流图。

PS：工具应该是平台独立的，不限于特定的架构。例如，GCC 中的 Gimple 表示是独立于体系结构的。

4

1 回答 1

2

没有特定的插件可以这样做。但是您可以使用“点”绘制图形。由于 gimple 表示具有特定格式，您可以轻松地制作一个解析器，它将 gimple 表示作为输入并将点文件作为输出。从点文件中，您可以轻松地绘制图形。只要做人点，你会得到一切。无论如何，这是一个很好的问题。

于 2012-07-19T18:44:46.190 回答