From: Götz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Date: Fri, 19 Dec 2003 09:31:58 +0000 (+0000)
Subject:  faster irn_loop access
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=74ac9588f8bec6d4237fa044be2fa61e22843ea3;p=libfirm

 faster irn_loop access

[r2248]
---

diff --git a/ir/ana/irloop.h b/ir/ana/irloop.h
index 1dfe236f2..f2a182474 100644
--- a/ir/ana/irloop.h
+++ b/ir/ana/irloop.h
@@ -79,11 +79,7 @@ typedef union {
 void     set_irg_loop(ir_graph *irg, ir_loop *l);
 ir_loop *get_irg_loop(ir_graph *irg);
 
-/** Returns the loop n is contained in.
-    assumes current_ir_graph set properly. */
-/*  @@@ @@@ @@@ @@@@ @@@
-    current impl is very expensive: O(#nodes in irg).
-    Is used by heapanal (O(#phi)) --> better impl required. */
+/** Returns the loop n is contained in.  NULL if node is in no loop. */
 ir_loop *get_irn_loop(ir_node *n);
 
 /** Returns outer loop, itself if outermost. */
diff --git a/ir/ana/irscc.c b/ir/ana/irscc.c
index ed19bac6d..d62387a79 100644
--- a/ir/ana/irscc.c
+++ b/ir/ana/irscc.c
@@ -21,6 +21,7 @@
 #include "irnode.h"
 #include "irgraph_t.h"
 #include "array.h"
+#include "pmap.h"
 #include "irgwalk.h"
 #include "irprog.h"
 
@@ -34,6 +35,13 @@ static int loop_node_cnt = 0;      /* Counts the number of allocated loop nodes.
 static int current_dfn = 1;        /* Counter to generate depth first numbering
 				      of visited nodes.  */
 
+/**********************************************************************/
+/* Node attributes                                                   **/
+/**********************************************************************/
+
+/* A map to get from irnodes to loop nodes. */
+static pmap *node_loop_map = NULL;
+
 /**********************************************************************/
 /* Node attributes needed for the construction.                      **/
 /**********************************************************************/
@@ -42,7 +50,7 @@ typedef struct scc_info {
   bool in_stack;         /* Marks whether node is on the stack. */
   int dfn;               /* Depth first search number. */
   int uplink;            /* dfn number of ancestor. */
-  ir_loop *loop;         /* Refers to the containing loop. */
+  //  ir_loop *loop;         /* Refers to the containing loop. */
   /*
       struct section *section;
       xset def;
@@ -102,19 +110,27 @@ get_irn_dfn (ir_node *n) {
 /* Uses temporary information to set the loop */
 static INLINE void
 set_irn_loop_tmp (ir_node *n, ir_loop* loop) {
-  assert(get_irn_link(n));
-  ((scc_info *)get_irn_link(n))->loop = loop;
+  //assert(get_irn_link(n));
+  //((scc_info *)get_irn_link(n))->loop = loop;
+  assert(node_loop_map && "not initialized!");
+  pmap_insert(node_loop_map, (void *)n, (void *)loop);
 }
 
-#if 0
 /* Uses temporary information to get the loop */
-static INLINE ir_loop *
-get_irn_loop_tmp (ir_node *n) {
-  assert(get_irn_link(n));
-  return ((scc_info *)get_irn_link(n))->loop;
+INLINE ir_loop *
+get_irn_loop (ir_node *n) {
+  ir_loop *res = NULL;
+  //assert(get_irn_link(n));
+  //return ((scc_info *)get_irn_link(n))->loop;
+  assert(node_loop_map && "not initialized!");
+
+  if (pmap_contains(node_loop_map, (void *)n))
+    res = (ir_loop *) pmap_get(node_loop_map, (void *)n);
+
+  return res;
 }
-#endif
 
+#if 0
 static ir_loop *find_nodes_loop (ir_node *n, ir_loop *l) {
   int i;
   ir_loop *res = NULL;
@@ -140,6 +156,7 @@ ir_loop * get_irn_loop(ir_node *n) {
   l = find_nodes_loop(n, l);
   return l;
 }
+#endif
 
 /**********************************************************************/
 /* A stack.                                                          **/
@@ -447,6 +464,7 @@ static INLINE void
 init_scc (ir_graph *irg) {
   current_dfn = 1;
   loop_node_cnt = 0;
+  if (!node_loop_map) node_loop_map = pmap_create();
   init_stack();
   irg_walk_graph (irg, init_node, NULL, NULL);
   /*
@@ -892,5 +910,7 @@ void free_all_loop_information (void) {
   for (i = 0; i < get_irp_n_irgs(); i++) {
     free_loop_information(get_irp_irg(i));
   }
+  pmap_destroy(node_loop_map);
+  node_loop_map = NULL;
   interprocedural_view = rem;
 }