mirror of
https://git.code.sf.net/p/quake/quakeforge
synced 2024-11-13 08:27:39 +00:00
6d5ffa9f8e
There's still some cleanup to do, but everything seems to be working nicely: `make -j` works, `make distcheck` passes. There is probably plenty of bitrot in the package directories (RPM, debian), though. The vc project files have been removed since those versions are way out of date and quakeforge is pretty much dependent on gcc now anyway. Most of the old Makefile.am files are now Makemodule.am. This should allow for new Makefile.am files that allow local building (to be added on an as-needed bases). The current remaining Makefile.am files are for standalone sub-projects.a The installable bins are currently built in the top-level build directory. This may change if the clutter gets to be too much. While this does make a noticeable difference in build times, the main reason for the switch was to take care of the growing dependency issues: now it's possible to build tools for code generation (eg, using qfcc and ruamoko programs for code-gen).
613 lines
17 KiB
C
613 lines
17 KiB
C
/*
|
|
dot_expr.c
|
|
|
|
"emit" expressions to dot (graphvis).
|
|
|
|
Copyright (C) 2011 Bill Currie <bill@taniwha.org>
|
|
|
|
Author: Bill Currie <bill@taniwha.org>
|
|
Date: 2011/01/20
|
|
|
|
This program is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU General Public License
|
|
as published by the Free Software Foundation; either version 2
|
|
of the License, or (at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
|
|
|
|
See the GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to:
|
|
|
|
Free Software Foundation, Inc.
|
|
59 Temple Place - Suite 330
|
|
Boston, MA 02111-1307, USA
|
|
|
|
*/
|
|
#ifdef HAVE_CONFIG_H
|
|
# include "config.h"
|
|
#endif
|
|
|
|
#ifdef HAVE_STRING_H
|
|
# include <string.h>
|
|
#endif
|
|
#ifdef HAVE_STRINGS_H
|
|
# include <strings.h>
|
|
#endif
|
|
#include <stdlib.h>
|
|
|
|
#include <QF/dstring.h>
|
|
#include <QF/mathlib.h>
|
|
#include <QF/quakeio.h>
|
|
#include <QF/va.h>
|
|
|
|
#include "qfalloca.h"
|
|
|
|
#include "tools/qfcc/include/expr.h"
|
|
#include "tools/qfcc/include/symtab.h"
|
|
#include "tools/qfcc/include/type.h"
|
|
#include "tools/qfcc/include/strpool.h"
|
|
|
|
#include "tools/qfcc/source/qc-parse.h"
|
|
|
|
const char *expr_names[] =
|
|
{
|
|
"error",
|
|
"state",
|
|
"bool",
|
|
"label",
|
|
"labelref",
|
|
"block",
|
|
"expr",
|
|
"uexpr",
|
|
"def",
|
|
"symbol",
|
|
"temp",
|
|
"vector",
|
|
"nil",
|
|
"value",
|
|
"compound",
|
|
"memset",
|
|
};
|
|
|
|
const char *
|
|
get_op_string (int op)
|
|
{
|
|
switch (op) {
|
|
case OR: return "||";
|
|
case AND: return "&&";
|
|
case EQ: return "==";
|
|
case NE: return "!=";
|
|
case LE: return "<=";
|
|
case GE: return ">=";
|
|
case LT: return "<";
|
|
case GT: return ">";
|
|
case '=': return "=";
|
|
case '+': return "+";
|
|
case '-': return "-";
|
|
case '*': return "*";
|
|
case '/': return "/";
|
|
case '%': return "%";
|
|
case MOD: return "%%";
|
|
case '&': return "&";
|
|
case '|': return "|";
|
|
case '^': return "^";
|
|
case '~': return "~";
|
|
case '!': return "!";
|
|
case SHL: return "<<";
|
|
case SHR: return ">>";
|
|
case '.': return ".";
|
|
case 'i': return "<if>";
|
|
case 'n': return "<ifnot>";
|
|
case IFBE: return "<ifbe>";
|
|
case IFB: return "<ifb>";
|
|
case IFAE: return "<ifae>";
|
|
case IFA: return "<ifa>";
|
|
case 'g': return "<goto>";
|
|
case 'r': return "<return>";
|
|
case 's': return "<state>";
|
|
case 'c': return "<call>";
|
|
case 'A': return "<alias>";
|
|
case 'C': return "<cast>";
|
|
case 'M': return "<move>";
|
|
case 'm': return "<move>";
|
|
default:
|
|
return "unknown";
|
|
}
|
|
}
|
|
|
|
typedef void (*print_f) (dstring_t *dstr, expr_t *, int, int, expr_t *);
|
|
static void _print_expr (dstring_t *dstr, expr_t *e, int level, int id,
|
|
expr_t *next);
|
|
|
|
static void
|
|
print_error (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
|
|
dasprintf (dstr, "%*se_%p [label=\"(error)\\n%d\"];\n", indent, "", e,
|
|
e->line);
|
|
}
|
|
|
|
static void
|
|
print_state (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
|
|
_print_expr (dstr, e->e.state.frame, level, id, next);
|
|
_print_expr (dstr, e->e.state.think, level, id, next);
|
|
if (e->e.state.step)
|
|
_print_expr (dstr, e->e.state.step, level, id, next);
|
|
dasprintf (dstr, "%*se_%p:f -> \"e_%p\";\n", indent, "", e,
|
|
e->e.state.frame);
|
|
dasprintf (dstr, "%*se_%p:t -> \"e_%p\";\n", indent, "", e,
|
|
e->e.state.think);
|
|
if (e->e.state.step)
|
|
dasprintf (dstr, "%*se_%p:s -> e_%p;\n", indent, "", e,
|
|
e->e.state.step);
|
|
dasprintf (dstr,
|
|
"%*se_%p [label=\"<f>state|<t>think|<s>step\",shape=record];\n",
|
|
indent, "", e);
|
|
}
|
|
|
|
static void
|
|
print_bool (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
int i, count;
|
|
int tl_count = 0, fl_count = 0;
|
|
ex_bool_t *bool = &e->e.bool;
|
|
|
|
dasprintf (dstr, "%*se_%p [shape=none,label=<\n", indent, "", e);
|
|
dasprintf (dstr, "%*s<table border=\"0\" cellborder=\"1\" "
|
|
"cellspacing=\"0\">\n",
|
|
indent + 2, "");
|
|
dasprintf (dstr, "%*s<tr><td colspan=\"2\"><bool>(%d)</td></tr>\n",
|
|
indent + 4, "", e->line);
|
|
dasprintf (dstr, "%*s<tr><td>true</td><td>false</td></tr>\n",
|
|
indent + 4, "");
|
|
if (bool->true_list)
|
|
tl_count = bool->true_list->size;
|
|
if (bool->false_list)
|
|
fl_count = bool->false_list->size;
|
|
count = min (tl_count, fl_count);
|
|
for (i = 0; i < count; i++)
|
|
dasprintf (dstr, "%*s<tr><td port=\"t%d\">t</td>"
|
|
"<td port=\"f%d\">f</td></tr>\n", indent, "", i, i);
|
|
for ( ; i < tl_count; i++)
|
|
dasprintf (dstr, "%*s<tr><td port=\"t%d\">t</td>%s</tr>\n",
|
|
indent, "", i,
|
|
i == count ? va ("<td rowspan=\"%d\"></td>",
|
|
bool->true_list->size - count)
|
|
: "");
|
|
for ( ; i < fl_count; i++)
|
|
dasprintf (dstr, "%*s<tr>%s<td port=\"f%d\">f</td></tr>\n",
|
|
indent, "",
|
|
i == count ? va ("<td rowspan=\"%d\"></td>",
|
|
bool->false_list->size - count)
|
|
: "",
|
|
i);
|
|
dasprintf (dstr, "%*s</table>\n", indent + 2, "");
|
|
dasprintf (dstr, "%*s>];\n", indent, "");
|
|
if (e->next)
|
|
next = e->next;
|
|
_print_expr (dstr, e->e.bool.e, level, id, next);
|
|
for (i = 0; i < tl_count; i++)
|
|
dasprintf (dstr, "%*se_%p:t%d -> e_%p;\n", indent, "", e, i,
|
|
bool->true_list->e[i]);
|
|
for (i = 0; i < fl_count; i++)
|
|
dasprintf (dstr, "%*se_%p:f%d -> e_%p;\n", indent, "", e, i,
|
|
bool->false_list->e[i]);
|
|
dasprintf (dstr, "%*se_%p -> e_%p;\n", indent, "", e, e->e.bool.e);
|
|
}
|
|
|
|
static void
|
|
print_label (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
|
|
if (e->next)
|
|
next = e->next;
|
|
if (next)
|
|
dasprintf (dstr, "%*se_%p -> e_%p [constraint=true,style=dashed];\n",
|
|
indent, "", e, next);
|
|
dasprintf (dstr, "%*se_%p [label=\"%s\\n%d\"];\n", indent, "", e,
|
|
e->e.label.name, e->line);
|
|
}
|
|
|
|
static void
|
|
print_labelref (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
|
|
if (e->next)
|
|
next = e->next;
|
|
if (next)
|
|
dasprintf (dstr, "%*se_%p -> e_%p [constraint=true,style=dashed];\n",
|
|
indent, "", e, e->next);
|
|
dasprintf (dstr, "%*se_%p [label=\"&%s\\n%d\"];\n", indent, "", e,
|
|
e->e.label.name, e->line);
|
|
}
|
|
|
|
static void
|
|
print_block (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
int i;
|
|
expr_t *se;
|
|
|
|
dasprintf (dstr, "%*se_%p [shape=none,label=<\n", indent, "", e);
|
|
dasprintf (dstr, "%*s<table border=\"0\" cellborder=\"1\" "
|
|
"cellspacing=\"0\">\n", indent + 2, "");
|
|
dasprintf (dstr, "%*s<tr><td colspan=\"2\"><block>(%d)%s</td>"
|
|
"</tr>\n", indent + 4, "", e->line,
|
|
e->e.block.is_call ? "c" : "");
|
|
if (e->e.block.result)
|
|
dasprintf (dstr, "%*s<tr><td colspan=\"2\" port=\"result\">=</td>"
|
|
"</tr>\n", indent + 4, "");
|
|
for (se = e->e.block.head, i = 0; se; se = se->next, i++)
|
|
dasprintf (dstr, "%*s<tr><td>%d</td><td port=\"b%d\">%s</td></tr>\n",
|
|
indent + 4, "", se->line, i, expr_names[se->type]);
|
|
dasprintf (dstr, "%*s</table>\n", indent + 2, "");
|
|
dasprintf (dstr, "%*s>];\n", indent, "");
|
|
|
|
if (e->e.block.result) {
|
|
_print_expr (dstr, e->e.block.result, level + 1, id, next);
|
|
dasprintf (dstr, "%*se_%p:result -> e_%p;\n", indent, "", e,
|
|
e->e.block.result);
|
|
}
|
|
if (e->next)
|
|
next = e->next;
|
|
for (se = e->e.block.head, i = 0; se; se = se->next, i++) {
|
|
_print_expr (dstr, se, level + 1, id, next);
|
|
dasprintf (dstr, "%*se_%p:b%d -> e_%p;\n", indent, "", e,
|
|
i, se);
|
|
}
|
|
}
|
|
|
|
static void
|
|
print_call (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
expr_t *p;
|
|
int i, count;
|
|
expr_t **args;
|
|
|
|
for (count = 0, p = e->e.expr.e2; p; p = p->next)
|
|
count++;
|
|
args = alloca (count * sizeof (expr_t *));
|
|
for (i = 0, p = e->e.expr.e2; p; p = p->next, i++)
|
|
args[count - 1 - i] = p;
|
|
|
|
_print_expr (dstr, e->e.expr.e1, level, id, next);
|
|
dasprintf (dstr, "%*se_%p [label=\"<c>call", indent, "", e);
|
|
for (i = 0; i < count; i++)
|
|
dasprintf (dstr, "|<p%d>p%d", i, i);
|
|
dasprintf (dstr, "\",shape=record];\n");
|
|
for (i = 0; i < count; i++) {
|
|
_print_expr (dstr, args[i], level + 1, id, next);
|
|
dasprintf (dstr, "%*se_%p:p%d -> e_%p;\n", indent + 2, "", e, i,
|
|
args[i]);
|
|
}
|
|
dasprintf (dstr, "%*se_%p:c -> e_%p;\n", indent, "", e, e->e.expr.e1);
|
|
}
|
|
|
|
static void
|
|
print_subexpr (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
|
|
if (e->e.expr.op == 'c') {
|
|
print_call (dstr, e, level, id, next);
|
|
return;
|
|
} else if (e->e.expr.op == 'i' || e->e.expr.op == 'n'
|
|
|| e->e.expr.op == IFB || e->e.expr.op ==IFBE
|
|
|| e->e.expr.op == IFA || e->e.expr.op ==IFAE) {
|
|
_print_expr (dstr, e->e.expr.e1, level, id, next);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\" [label=\"t\"];\n", indent, "", e,
|
|
e->e.expr.e1);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\" [label=\"g\"];\n", indent, "", e,
|
|
e->e.expr.e2);
|
|
if (e->next)
|
|
next = e->next;
|
|
if (next)
|
|
dasprintf (dstr, "%*se_%p -> e_%p [constraint=true,"
|
|
"style=dashed];\n", indent, "", e, next);
|
|
} else {
|
|
_print_expr (dstr, e->e.expr.e1, level, id, next);
|
|
_print_expr (dstr, e->e.expr.e2, level, id, next);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\" [label=\"l\"];\n", indent, "", e,
|
|
e->e.expr.e1);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\" [label=\"r\"];\n", indent, "", e,
|
|
e->e.expr.e2);
|
|
}
|
|
if (e->e.expr.op == 'A') {
|
|
dstring_t *typestr = dstring_newstr();
|
|
print_type_str (typestr, e->e.expr.type);
|
|
dasprintf (dstr, "%*se_%p [label=\"%s (%s)\\n%d\"];\n", indent, "", e,
|
|
get_op_string (e->e.expr.op), typestr->str, e->line);
|
|
dstring_delete (typestr);
|
|
} else {
|
|
dasprintf (dstr, "%*se_%p [label=\"%s\\n%d\"];\n", indent, "", e,
|
|
get_op_string (e->e.expr.op), e->line);
|
|
}
|
|
}
|
|
|
|
static void
|
|
print_uexpr (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
dstring_t *typestr = dstring_newstr();
|
|
|
|
if (e->e.expr.op != 'g' && e->e.expr.e1)
|
|
_print_expr (dstr, e->e.expr.e1, level, id, next);
|
|
if (e->e.expr.op == 'A') {
|
|
dstring_copystr (typestr, "\\n");
|
|
print_type_str (typestr, e->e.expr.type);
|
|
}
|
|
if (e->e.expr.op != 'r' || e->e.expr.e1)
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e,
|
|
e->e.expr.e1);
|
|
dasprintf (dstr, "%*se_%p [label=\"%s%s\\n%d\"];\n", indent, "", e,
|
|
get_op_string (e->e.expr.op), typestr->str, e->line);
|
|
dstring_delete (typestr);
|
|
}
|
|
|
|
static void
|
|
print_def (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
|
|
dasprintf (dstr, "%*se_%p [label=\"d %s\\n%d\"];\n", indent, "", e,
|
|
e->e.def->name, e->line);
|
|
}
|
|
|
|
static void
|
|
print_symbol (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
|
|
dasprintf (dstr, "%*se_%p [label=\"%s\\n%d\"];\n", indent, "", e,
|
|
e->e.symbol->name, e->line);
|
|
}
|
|
|
|
static void
|
|
print_temp (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
|
|
dasprintf (dstr, "%*se_%p [label=\"tmp_%p\\n%d\"];\n", indent, "", e, e,
|
|
e->line);
|
|
}
|
|
|
|
static void
|
|
print_vector (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
|
|
if (is_vector(e->e.vector.type)) {
|
|
expr_t *x = e->e.vector.list;
|
|
expr_t *y = x->next;
|
|
expr_t *z = y->next;
|
|
_print_expr (dstr, x, level, id, next);
|
|
_print_expr (dstr, y, level, id, next);
|
|
_print_expr (dstr, z, level, id, next);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e, x);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e, y);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e, z);
|
|
}
|
|
if (is_quaternion(e->e.vector.type)) {
|
|
if (e->e.vector.list->next->next) {
|
|
expr_t *x = e->e.vector.list;
|
|
expr_t *y = x->next;
|
|
expr_t *z = y->next;
|
|
expr_t *w = z->next;
|
|
_print_expr (dstr, x, level, id, next);
|
|
_print_expr (dstr, y, level, id, next);
|
|
_print_expr (dstr, z, level, id, next);
|
|
_print_expr (dstr, w, level, id, next);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e, x);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e, y);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e, z);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e, w);
|
|
} else {
|
|
expr_t *v = e->e.vector.list;
|
|
expr_t *s = v->next;
|
|
_print_expr (dstr, v, level, id, next);
|
|
_print_expr (dstr, s, level, id, next);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e, v);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e, s);
|
|
}
|
|
}
|
|
dasprintf (dstr, "%*se_%p [label=\"vector %d\"];\n", indent, "", e,
|
|
e->line);
|
|
}
|
|
|
|
static void
|
|
print_nil (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
|
|
dasprintf (dstr, "%*se_%p [label=\"nil\\n%d\"];\n", indent, "", e,
|
|
e->line);
|
|
}
|
|
|
|
static void
|
|
print_value (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
type_t *type;
|
|
const char *label = "?!?";
|
|
static dstring_t *type_str;
|
|
|
|
if (!type_str) {
|
|
type_str = dstring_newstr ();
|
|
}
|
|
|
|
switch (e->e.value->lltype) {
|
|
case ev_string:
|
|
label = va ("\\\"%s\\\"", quote_string (e->e.value->v.string_val));
|
|
break;
|
|
case ev_double:
|
|
label = va ("f %g", e->e.value->v.double_val);
|
|
break;
|
|
case ev_float:
|
|
label = va ("f %g", e->e.value->v.float_val);
|
|
break;
|
|
case ev_vector:
|
|
label = va ("'%g %g %g'",
|
|
e->e.value->v.vector_val[0],
|
|
e->e.value->v.vector_val[1],
|
|
e->e.value->v.vector_val[2]);
|
|
break;
|
|
case ev_quat:
|
|
label = va ("'%g %g %g %g'",
|
|
e->e.value->v.quaternion_val[0],
|
|
e->e.value->v.quaternion_val[1],
|
|
e->e.value->v.quaternion_val[2],
|
|
e->e.value->v.quaternion_val[3]);
|
|
break;
|
|
case ev_pointer:
|
|
type = e->e.value->v.pointer.type;
|
|
dstring_clearstr(type_str);
|
|
if (type) {
|
|
print_type_str (type_str, type);
|
|
}
|
|
if (e->e.value->v.pointer.def)
|
|
label = va ("(*%s)[%d]<%s>",
|
|
type ? type_str->str : "???",
|
|
e->e.value->v.pointer.val,
|
|
e->e.value->v.pointer.def->name);
|
|
else
|
|
label = va ("(*%s)[%d]",
|
|
type ? type_str->str : "???",
|
|
e->e.value->v.pointer.val);
|
|
break;
|
|
case ev_field:
|
|
label = va ("field %d", e->e.value->v.pointer.val);
|
|
break;
|
|
case ev_entity:
|
|
label = va ("ent %d", e->e.value->v.integer_val);
|
|
break;
|
|
case ev_func:
|
|
label = va ("func %d", e->e.value->v.integer_val);
|
|
break;
|
|
case ev_integer:
|
|
label = va ("i %d", e->e.value->v.integer_val);
|
|
break;
|
|
case ev_uinteger:
|
|
label = va ("u %u", e->e.value->v.uinteger_val);
|
|
break;
|
|
case ev_short:
|
|
label = va ("s %d", e->e.value->v.short_val);
|
|
break;
|
|
case ev_void:
|
|
label = "<void>";
|
|
break;
|
|
case ev_invalid:
|
|
label = "<invalid>";
|
|
break;
|
|
case ev_type_count:
|
|
label = "<type_count>";
|
|
break;
|
|
}
|
|
dasprintf (dstr, "%*se_%p [label=\"%s\\n%d\"];\n", indent, "", e, label,
|
|
e->line);
|
|
}
|
|
|
|
static void
|
|
print_compound (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
dasprintf (dstr, "%*se_%p [label=\"compound init\"];\n", indent, "", e);
|
|
}
|
|
|
|
static void
|
|
print_memset (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
int indent = level * 2 + 2;
|
|
expr_t *dst = e->e.memset.dst;
|
|
expr_t *val = e->e.memset.val;
|
|
expr_t *count = e->e.memset.count;
|
|
_print_expr (dstr, dst, level, id, next);
|
|
_print_expr (dstr, val, level, id, next);
|
|
_print_expr (dstr, count, level, id, next);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e, dst);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e, val);
|
|
dasprintf (dstr, "%*se_%p -> \"e_%p\";\n", indent, "", e, count);
|
|
dasprintf (dstr, "%*se_%p [label=\"memset\"];\n", indent, "", e);
|
|
}
|
|
|
|
static void
|
|
_print_expr (dstring_t *dstr, expr_t *e, int level, int id, expr_t *next)
|
|
{
|
|
static print_f print_funcs[] = {
|
|
print_error,
|
|
print_state,
|
|
print_bool,
|
|
print_label,
|
|
print_labelref,
|
|
print_block,
|
|
print_subexpr,
|
|
print_uexpr,
|
|
print_def,
|
|
print_symbol,
|
|
print_temp,
|
|
print_vector,
|
|
print_nil,
|
|
print_value,
|
|
print_compound,
|
|
print_memset,
|
|
};
|
|
int indent = level * 2 + 2;
|
|
|
|
if (!e) {
|
|
dasprintf (dstr, "%*s\"e_%p\" [label=\"(null)\"];\n", indent, "", e);
|
|
return;
|
|
}
|
|
if (e->printid == id) // already printed this expression
|
|
return;
|
|
e->printid = id;
|
|
|
|
if ((int) e->type < 0 || e->type > ex_memset) {
|
|
dasprintf (dstr, "%*se_%p [label=\"(bad expr type)\\n%d\"];\n",
|
|
indent, "", e, e->line);
|
|
return;
|
|
}
|
|
print_funcs [e->type] (dstr, e, level, id, next);
|
|
|
|
}
|
|
|
|
void
|
|
dump_dot_expr (void *_e, const char *filename)
|
|
{
|
|
static int id = 0;
|
|
dstring_t *dstr = dstring_newstr ();
|
|
expr_t *e = (expr_t *) _e;
|
|
|
|
dasprintf (dstr, "digraph expr_%p {\n", e);
|
|
dasprintf (dstr, " graph [label=\"%s\"];\n", quote_string (filename));
|
|
dasprintf (dstr, " layout=dot; rankdir=TB; compound=true;\n");
|
|
_print_expr (dstr, e, 0, ++id, 0);
|
|
dasprintf (dstr, "}\n");
|
|
|
|
if (filename) {
|
|
QFile *file;
|
|
|
|
file = Qopen (filename, "wt");
|
|
Qwrite (file, dstr->str, dstr->size - 1);
|
|
Qclose (file);
|
|
} else {
|
|
fputs (dstr->str, stdout);
|
|
}
|
|
dstring_delete (dstr);
|
|
}
|
|
|
|
void
|
|
print_expr (expr_t *e)
|
|
{
|
|
dump_dot_expr (e, 0);
|
|
}
|