added sequence numbers for a pair of (filename, lineno)

[r6225]

diff --git a/ir/debug/Makefile.in b/ir/debug/Makefile.in
index 957e7ed..9f4a80b 100644 (file)
--- a/ir/debug/Makefile.in
+++ b/ir/debug/Makefile.in
@@ -15,11 +15,11 @@ srcdir = @srcdir@
 topdir = ../..
 subdir := ir/debug
 
-INSTALL_HEADERS = dbginfo.h
+INSTALL_HEADERS = dbginfo.h seqnumbers.h
 
 SOURCES = $(INSTALL_HEADERS)
 
-SOURCES += Makefile.in dbginfo.c dbginfo.h
+SOURCES += Makefile.in dbginfo.c dbginfo.h seqnumbers.c
 
 include $(topdir)/MakeRules
 

diff --git a/ir/debug/seqnumbers.c b/ir/debug/seqnumbers.c
new file mode 100644 (file)
index 0000000..b6a982d
--- /dev/null
+++ b/ir/debug/seqnumbers.c
@@ -0,0 +1,102 @@
+/*
+ * Project:     libFIRM
+ * File name:   ir/debug/seqnumbers.c
+ * Purpose:     Implements simple sequence numbers for Firm debug info.
+ * Author:      Michael Beck
+ * Modified by:
+ * Created:     2005
+ * CVS-ID:      $Id$
+ * Copyright:   (c) 2001-2005 Universität Karlsruhe
+ * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
+ */
+
+/**
+ * @file seqnumbers.c
+ *
+ * Sequence numbers for Firm.
+ *
+ * A sequence number is an unique number representing a filename
+ * and a line number. The number 0 represents empty information.
+ * This module is an optional "snap-in" for the Firm debug info.
+ */
+
+#ifdef HAVE_CONFIG_H
+# include "config.h"
+#endif
+
+#include "set.h"
+#include "hashptr.h"
+#include "ident.h"
+#include "seqnumbers.h"
+
+/**
+ * A entry in the sequence number table.
+ */
+struct sn_entry {
+  ident    *filename;  /**< the filename */
+  unsigned lineno;     /**< the line number */
+};
+
+static set *seqnos = NULL;
+
+/** hash a seqno entry */
+#define HASH(key) (HASH_PTR((key).filename) ^ (key).lineno)
+
+/**
+ * Compare two seqno entries.
+ */
+static int seqno_cmp(const void *elt, const void *key, size_t size)
+{
+  seqno_t e1 = (seqno_t)elt;
+  seqno_t e2 = (seqno_t)key;
+
+  return (e1->filename != e2->filename) | (e1->lineno - e2->lineno);
+}
+/*
+ * Create a new sequence number from a filename and a line number.
+ */
+seqno_t firm_seqno_enter(const char *filename, unsigned lineno)
+{
+  struct sn_entry key;
+
+  key.filename = new_id_from_str(filename);
+  key.lineno   = lineno;
+
+  return set_insert(seqnos, &key, sizeof(key), HASH(key));
+}
+
+/**
+ * Retrieve filename and line number form a sequence number
+ */
+const char *firm_seqno_retrieve(seqno_t seqno, unsigned *lineno)
+{
+  if (seqnos && seqno) {
+    *lineno = seqno->lineno;
+    return get_id_str(seqno->filename);
+  }
+  *lineno = 0;
+  return NULL;
+}
+
+/*
+ * Creates the seqno pool.
+ */
+void firm_seqno_init(void)
+{
+  if (seqnos)
+    firm_seqno_term();
+
+  seqnos = new_set(seqno_cmp, 8);
+}
+
+/*
+ * Terminates the seqno pool.
+ * Sequence numbers cannot be resolved anymore.
+ */
+void firm_seqno_term(void)
+{
+  if (seqnos) {
+    del_set(seqnos);
+    seqnos = NULL;
+  }
+}

diff --git a/ir/debug/seqnumbers.h b/ir/debug/seqnumbers.h
new file mode 100644 (file)
index 0000000..fa9a2c6
--- /dev/null
+++ b/ir/debug/seqnumbers.h
@@ -0,0 +1,68 @@
+/*
+ * Project:     libFIRM
+ * File name:   ir/debug/seqnumbers.h
+ * Purpose:     Implements simple sequence numbers for Firm debug info.
+ * Author:      Michael Beck
+ * Modified by:
+ * Created:     2005
+ * CVS-ID:      $Id$
+ * Copyright:   (c) 2001-2005 Universität Karlsruhe
+ * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
+ */
+
+/**
+ * @file seqnumbers.h
+ *
+ * Sequence numbers for Firm.
+ *
+ * A sequence number is an unique number representing a filename
+ * and a line number. The number 0 represents empty information.
+ * This module is an optional "snap-in" for the Firm debug info.
+ */
+#ifndef _SEQNUMBERS_H_
+#define _SEQNUMBERS_H_
+
+#include "ident.h"
+
+#ifndef _SEQNO_T_TYPEDEF_
+#define _SEQNO_T_TYPEDEF_
+typedef struct sn_entry *seqno_t;
+#endif
+
+/**
+ * Create a new sequence number from a filename and a line number.
+ *
+ * @param filename  a file name
+ * @param lineno    a line number
+ *
+ * @return  a sequence number for this position.
+ */
+seqno_t firm_seqno_enter(const char *filename, unsigned lineno);
+
+/**
+ * Retrieve filename and line number from a sequence number.
+ *
+ * @param seqno   a sequence number
+ * @param lineno  after return contains the line number of this position
+ *
+ * @return  the file name of this position.
+ */
+const char *firm_seqno_retrieve(seqno_t seqno, unsigned *lineno);
+
+/**
+ * Creates the seqno pool.
+ * Is not called by init_firm(), because the sequence number
+ * support is optional. Call firm_seqno_init() after init_firm()
+ * if sequence numbers should be used.
+ */
+void firm_seqno_init(void);
+
+/**
+ * Terminates the seqno pool.
+ * Sequence numbers cannot be resolved anymore.
+ * Call this fucntion to terminate the sequence
+ * pool.
+ */
+void firm_seqno_term(void);
+
+#endif /* _SEQNUMBERS_H_ */