* PURPOSE.
*/
-/*
- * 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
+/**
+ * @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 */