diff --git a/tools/qfcc/include/Makefile.am b/tools/qfcc/include/Makefile.am index 09a50756c..2ff644f81 100644 --- a/tools/qfcc/include/Makefile.am +++ b/tools/qfcc/include/Makefile.am @@ -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 diff --git a/tools/qfcc/include/dags.h b/tools/qfcc/include/dags.h new file mode 100644 index 000000000..b0104d241 --- /dev/null +++ b/tools/qfcc/include/dags.h @@ -0,0 +1,50 @@ +/* + dags.h + + DAG representation of basic blocks + + Copyright (C) 2012 Bill Currie + + Author: Bill Currie + 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 diff --git a/tools/qfcc/source/Makefile.am b/tools/qfcc/source/Makefile.am index 93e017464..7d4840ada 100644 --- a/tools/qfcc/source/Makefile.am +++ b/tools/qfcc/source/Makefile.am @@ -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) diff --git a/tools/qfcc/source/dags.c b/tools/qfcc/source/dags.c new file mode 100644 index 000000000..6cd8090d9 --- /dev/null +++ b/tools/qfcc/source/dags.c @@ -0,0 +1,54 @@ +/* + dags.c + + DAG representation of basic blocks + + Copyright (C) 2012 Bill Currie + + Author: Bill Currie + 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 +#endif +#ifdef HAVE_STRINGS_H +# include +#endif +#include + +#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); +} diff --git a/tools/qfcc/source/dot_dag.c b/tools/qfcc/source/dot_dag.c new file mode 100644 index 000000000..69fd44c77 --- /dev/null +++ b/tools/qfcc/source/dot_dag.c @@ -0,0 +1,103 @@ +/* + dot_dag.c + + Output dags to dot (graphvis). + + Copyright (C) 2012 Bill Currie + + Author: Bill Currie + 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 +#endif +#ifdef HAVE_STRINGS_H +# include +#endif +#include + +#include +#include +#include + +#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, " \n"); + dasprintf (dstr, " \n"); + dasprintf (dstr, " "); + dasprintf (dstr, " \n"); + dasprintf (dstr, "
"); + for (id = node->identifiers; id; id = id->next) + dasprintf (dstr, "%s%s", daglabel_string(id), id->next ? " " : ""); + dasprintf (dstr, "
>];\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); +}