mirror of
https://git.code.sf.net/p/quake/quakeforge
synced 2025-04-04 00:10:52 +00:00
Initial support for basic block dags.
Currently, only dumping to dot, but that seems to be a very sensible place to start: debug support.
This commit is contained in:
Bill Currie
parent
d5c831b6da
commit
0fefeb73fe
5 changed files with 217 additions and 10 deletions
|
|
@ -1,7 +1,7 @@
|
|||
AUTOMAKE_OPTIONS= foreign
|
||||
|
||||
EXTRA_DIST= class.h codespace.h cpp.h debug.h def.h defspace.h diagnostic.h \
|
||||
emit.h expr.h function.h grab.h idstuff.h linker.h method.h \
|
||||
obj_file.h obj_type.h opcodes.h options.h qfcc.h qfprogs.h reloc.h \
|
||||
shared.h statements.h strpool.h struct.h switch.h symtab.h type.h \
|
||||
value.h
|
||||
EXTRA_DIST= class.h codespace.h cpp.h dags.h debug.h def.h defspace.h \
|
||||
diagnostic.h emit.h expr.h function.h grab.h idstuff.h linker.h \
|
||||
method.h obj_file.h obj_type.h opcodes.h options.h qfcc.h qfprogs.h \
|
||||
reloc.h shared.h statements.h strpool.h struct.h switch.h symtab.h \
|
||||
type.h value.h
|
||||
|
|
|
|||
50
tools/qfcc/include/dags.h
Normal file
50
tools/qfcc/include/dags.h
Normal file
|
|
@ -0,0 +1,50 @@
|
|||
/*
|
||||
dags.h
|
||||
|
||||
DAG representation of basic blocks
|
||||
|
||||
Copyright (C) 2012 Bill Currie <bill@taniwha.org>
|
||||
|
||||
Author: Bill Currie <bill@taniwha.org>
|
||||
Date: 2012/05/08
|
||||
|
||||
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
|
||||
|
||||
*/
|
||||
#ifndef dags_h
|
||||
#define dags_h
|
||||
|
||||
typedef struct daglabel_s {
|
||||
struct daglabel_s *next;
|
||||
const char *opcode; ///< not if op
|
||||
struct operand_s *op; ///< not if opcode;
|
||||
} daglabel_t;
|
||||
|
||||
typedef struct dagnode_s {
|
||||
struct dagnode_s *next;
|
||||
daglabel_t *label; ///< ident/const if leaf node, or operator
|
||||
struct dagnode_s *left; ///< null if leaf node
|
||||
struct dagnode_s *right; ///< null if unary op
|
||||
daglabel_t *identifiers; ///< list of identifiers with value of this node
|
||||
} dagnode_t;
|
||||
|
||||
const char *daglabel_string (daglabel_t *label);
|
||||
void print_dag (dagnode_t *node, const char *filename);
|
||||
|
||||
#endif//dags_h
|
||||
|
|
@ -39,11 +39,11 @@ bin_PROGRAMS= qfcc qfprogs
|
|||
bin_SCRIPTS= qfpreqcc
|
||||
|
||||
common_src=\
|
||||
class.c codespace.c constfold.c cpp.c debug.c def.c defspace.c \
|
||||
diagnostic.c dot_expr.c dot_flow.c emit.c expr.c function.c grab.c \
|
||||
idstuff.c linker.c method.c obj_file.c obj_type.c opcodes.c options.c \
|
||||
qfcc.c reloc.c shared.c statements.c strpool.c struct.c switch.c symtab.c \
|
||||
type.c value.c
|
||||
class.c codespace.c constfold.c cpp.c dags.c debug.c def.c defspace.c \
|
||||
diagnostic.c dot_dag.c dot_expr.c dot_flow.c emit.c expr.c \
|
||||
function.c grab.c idstuff.c linker.c method.c obj_file.c obj_type.c \
|
||||
opcodes.c options.c qfcc.c reloc.c shared.c statements.c strpool.c \
|
||||
struct.c switch.c symtab.c type.c value.c
|
||||
|
||||
qfcc_SOURCES= qc-lex.l qc-parse.y qp-lex.l qp-parse.y $(common_src)
|
||||
qfcc_LDADD= $(QFCC_LIBS)
|
||||
|
|
|
|||
54
tools/qfcc/source/dags.c
Normal file
54
tools/qfcc/source/dags.c
Normal file
|
|
@ -0,0 +1,54 @@
|
|||
/*
|
||||
dags.c
|
||||
|
||||
DAG representation of basic blocks
|
||||
|
||||
Copyright (C) 2012 Bill Currie <bill@taniwha.org>
|
||||
|
||||
Author: Bill Currie <bill@taniwha.org>
|
||||
Date: 2012/05/08
|
||||
|
||||
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 "dags.h"
|
||||
#include "statements.h"
|
||||
#include "symtab.h"
|
||||
|
||||
const char *
|
||||
daglabel_string (daglabel_t *label)
|
||||
{
|
||||
if ((label->opcode && label->op) || (!label->opcode || !label->op))
|
||||
return "bad label";
|
||||
if (label->opcode)
|
||||
return label->opcode;
|
||||
return operand_string (label->op);
|
||||
}
|
||||
103
tools/qfcc/source/dot_dag.c
Normal file
103
tools/qfcc/source/dot_dag.c
Normal file
|
|
@ -0,0 +1,103 @@
|
|||
/*
|
||||
dot_dag.c
|
||||
|
||||
Output dags to dot (graphvis).
|
||||
|
||||
Copyright (C) 2012 Bill Currie <bill@taniwha.org>
|
||||
|
||||
Author: Bill Currie <bill@taniwha.org>
|
||||
Date: 2012/05/08
|
||||
|
||||
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/quakeio.h>
|
||||
#include <QF/va.h>
|
||||
|
||||
#include "dags.h"
|
||||
#include "statements.h"
|
||||
#include "symtab.h"
|
||||
#include "type.h"
|
||||
|
||||
static void
|
||||
print_node (dstring_t *dstr, dagnode_t *node)
|
||||
{
|
||||
if (!node->left && node->right) {
|
||||
// broken node (right is not null)
|
||||
dasprintf (dstr, " \"dag_%p\" [label=\"bad node\"];\n", node);
|
||||
return;
|
||||
}
|
||||
if (node->left)
|
||||
dasprintf (dstr, " \"dag_%p\" -> \"dag_%p\";\n", node, node->left);
|
||||
if (node->right)
|
||||
dasprintf (dstr, " \"dag_%p\" -> \"dag_%p\";\n", node, node->right);
|
||||
dasprintf (dstr, " \"dag_%p\" [%slabel=\"%s\"];\n", node,
|
||||
node->left ? "" : "shape=none,",
|
||||
daglabel_string (node->label));
|
||||
if (node->identifiers) {
|
||||
daglabel_t *id;
|
||||
|
||||
dasprintf (dstr, " \"dag_%p\" -> \"dagid_%p\";\n", node, node);
|
||||
dasprintf (dstr, " \"dagid_%p\" [shap=none,label=<\n", node);
|
||||
dasprintf (dstr, " <table border=\"0\" cellborder=\"1\" "
|
||||
"cellspacing=\"0\">\n");
|
||||
dasprintf (dstr, " <tr>\n");
|
||||
dasprintf (dstr, " <td>");
|
||||
for (id = node->identifiers; id; id = id->next)
|
||||
dasprintf (dstr, "%s%s", daglabel_string(id), id->next ? " " : "");
|
||||
dasprintf (dstr, " </td>");
|
||||
dasprintf (dstr, " </tr>\n");
|
||||
dasprintf (dstr, " </table>>];\n");
|
||||
}
|
||||
}
|
||||
|
||||
void
|
||||
print_dag (dagnode_t *dag, const char *filename)
|
||||
{
|
||||
dstring_t *dstr = dstring_newstr();
|
||||
|
||||
dasprintf (dstr, "digraph dag_%p {\n", dag);
|
||||
dasprintf (dstr, " layout=dot; rankdir=TB;\n");
|
||||
print_node (dstr, dag);
|
||||
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);
|
||||
}
|
||||
Loading…
Reference in a new issue