/*
- * Project: libFIRM
- * File name: ir/ir/pattern_dmp.c
- * Purpose: Statistics for Firm.
- * Author: Michael Beck
- * Created:
- * CVS-ID: $Id$
- * Copyright: (c) 2004 Universität Karlsruhe
- * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
+ * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
+ *
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
+ *
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
+ *
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
*/
+/**
+ * @file
+ * @brief Statistics for Firm. Dumping patterns.
+ * @author Michael Beck
+ * @version $Id$
+ */
#ifdef HAVE_CONFIG_H
# include "config.h"
#endif
+#ifdef FIRM_STATISTICS
+
#include <stdio.h>
#ifdef HAVE_STDLIB_H
# include <stdlib.h>
static void vcg_dump_edge(pattern_dumper_t *self, unsigned tgt, unsigned src, unsigned pos, unsigned mode_code)
{
vcg_private_t *priv = self->data;
+ (void) mode_code;
if (priv->pattern_id > priv->max_pattern)
return;
FILE *f = self->data;
ir_op *op = stat_get_op_from_opcode(op_code);
ir_mode *mode = (ir_mode *)mode_code;
+ (void) attr;
/* if (env->options & OPT_ENC_GRAPH) */
fprintf(f, "%u:", id);
static void stdout_dump_edge(pattern_dumper_t *self, unsigned tgt, unsigned src, unsigned pos, unsigned mode_code)
{
FILE *f = self->data;
+ (void) tgt;
+ (void) src;
+ (void) pos;
+ (void) mode_code;
if (pos > 0)
fprintf(f, ", ");
static void stdout_start_children(pattern_dumper_t *self, unsigned id)
{
FILE *f = self->data;
+ (void) id;
fprintf(f, "(");
} /* stdout_start_children */
static void stdout_finish_children(pattern_dumper_t *self, unsigned id)
{
FILE *f = self->data;
+ (void) id;
fprintf(f, ")");
} /* stdout_finish_children */
return res;
} /* new_vcg_dumper */
+
+#endif /* FIRM_STATISTICS */