aiSee3 矢量圖像文本格式 示例

DEBUG_FUNCTION void
debug_cfg_vcg(void)
{
  basic_block bb;
  edge ee;
  edge_iterator ei;
  static int i = 1;
  int indent = 0;
  char srcname[64], targetname[64];
  char filename[64];
  FILE *fp = NULL;
  snprintf_s (filename, sizeof(filename), sizeof(filename), "cfg-%d.vcg", i++);
  fp = fopen(filename, "w+");
  gcc_assert(fp);

  fprintf(fp, "graph: {\n");
  fprintf(fp, "%*s""title: \"%d\"\n", indent, "", i);
  indent += 2;
  /* entry block */
  bb = ENTRY_BLOCK_PTR;
  fprintf(fp, "%*s""node: { \n", indent, "");
  fprintf(fp, "%*s""title: \"bb-%d\"\n", indent + 2, "", bb->index);
  fprintf(fp, "%*s""color: %s\n", indent + 2, "", "blue");
  fprintf(fp, "%*s""label: \"ENTRY\"\n", indent + 2, "");
  fprintf(fp, "%*s""}\n", indent, "");
  fprintf(fp, "\n");

   /* end graph */
  fprintf(fp, "}\n");
  fclose(fp);
  printf("View cfg in %s\n", filename);
}