Converted documentation to doxygen.

[libfirm] / ir / ir / ircgcons.c

diff --git a/ir/ir/ircgcons.c b/ir/ir/ircgcons.c
index 52676b0..bd442c5 100644 (file)
--- a/ir/ir/ircgcons.c
+++ b/ir/ir/ircgcons.c
@@ -8,6 +8,7 @@
  * ---------------------------------------------------------------- */
 
 
+#include <string.h>
 #include "ircgcons.h"
 
 #include "array.h"
@@ -65,17 +66,17 @@ static void caller_init(int arr_length, entity ** free_methods) {
 }
 
 
-static void clear_link(ir_node * node, void * env) {
+static INLINE void clear_link(ir_node * node, void * env) {
   set_irn_link(node, NULL);
 }
 
-
-static inline ir_node * tail(ir_node * node) {
+/*
+static INLINE ir_node * tail(ir_node * node) {
   ir_node * link;
   for (; (link = get_irn_link(node)); node = link) ;
   return node;
 }
-
+*/
 
 /* Call-Operationen an die "link"-Liste von "call_tail" anhängen (und
  * "call_tail" aktualisieren), Proj-Operationen in die Liste ihrer Definition
@@ -131,7 +132,7 @@ static void collect_phicallproj(void) {
     link(start, get_irg_frame(irg));
     link(start, get_irg_globals(irg));
     /* walk */
-    irg_walk_graph(irg, clear_link, (irg_walk_func) collect_phicallproj_walker, &end);
+    irg_walk_graph(irg, clear_link, (irg_walk_func *) collect_phicallproj_walker, &end);
   }
 }
 
@@ -251,7 +252,7 @@ static void prepare_irg_end(ir_graph * irg, irg_data_t * data) {
     }
   }
   if (n_ret > 0) {
-    int n_res = get_method_n_res(get_entity_type(get_irg_ent(irg)));
+    int n_res = get_method_n_ress(get_entity_type(get_irg_ent(irg)));
     ir_node ** in = NEW_ARR_F(ir_node *, n_ret);
     /* block */
     for (i = n_ret - 1; i >= 0; --i) {
@@ -273,11 +274,17 @@ static void prepare_irg_end(ir_graph * irg, irg_data_t * data) {
     /* res */
     data->res = NEW_ARR_F(ir_node *, n_res);
     for (j = n_res - 1; j >= 0; --j) {
+      ir_mode *mode = NULL;
+      /* In[0] could be a Bad node with wrong mode. */
       for (i = n_ret - 1; i >= 0; --i) {
        in[i] = get_Return_res(ret_arr[i], j);
+       if (!mode && get_irn_mode(in[i]) != mode_T)
+         mode = get_irn_mode(in[i]);
       }
-      /* Has in[0] always the valid mode? */
-      data->res[j] = new_Phi(n_ret, in, get_irn_mode(in[0]));
+      if (mode)
+       data->res[j] = new_Phi(n_ret, in, mode);
+      else  /* All preds are Bad */
+       data->res[j] = new_Bad();
     }
     DEL_ARR_F(in);
   }
@@ -376,10 +383,16 @@ static void move_nodes(ir_node * from_block, ir_node * to_block, ir_node * node)
 
 /* Abhängigkeiten vom Start-Block und den Filter-Operationen im
  * Start-Block auf den Aufrufer hinzufügen. */
-static void construct_start(entity * caller, entity * callee, ir_node * call, ir_node * exec) {
+static void construct_start(entity * caller, entity * callee,
+                           ir_node * call, ir_node * exec) {
   irg_data_t * data = get_entity_link(callee);
   ir_graph * irg = get_entity_irg(callee);
   ir_node * start = get_irg_start(irg), * filter;
+
+  assert(irg);
+  assert(get_entity_peculiarity(callee) == existent); /* Else data is not initalized. */
+  assert((0 <= data->count) &&
+        (data->count < get_Block_cg_n_cfgpreds(get_nodes_Block(start))));
   set_Block_cg_cfgpred(get_nodes_Block(start), data->count, exec);
   for (filter = get_irn_link(start); filter; filter = get_irn_link(filter)) {
     if (get_irn_op(filter) != op_Filter) continue;
@@ -504,14 +517,16 @@ static void construct_call(ir_node * call) {
   /* post_block kann bereits interprozedurale Steuerflussvorgänger
    * besitzen. Diese müssen dann auch noch für den pre_block gesetzt werden. */
   if (get_Block_cg_cfgpred_arr(post_block)) {
-    set_Block_cg_cfgpred_arr(pre_block, get_Block_cg_n_cfgpreds(post_block), get_Block_cg_cfgpred_arr(post_block));
+    set_Block_cg_cfgpred_arr(pre_block, get_Block_cg_n_cfgpreds(post_block),
+                            get_Block_cg_cfgpred_arr(post_block));
     remove_Block_cg_cfgpred_arr(post_block);
   }
 
   /* Operationen verschieben */
   move_phis(post_block, pre_block);
   move_nodes(post_block, pre_block, call);
-  /* @@@ GL Wer setzt die Laenge des PostBlock cgfpred array auf 1? */
+  /* @@@ GL Wer setzt die Laenge des PostBlock cgfpred array auf 1?
+     GL: na, dieser Befehl... generiert neuen array. */
   set_irn_in(post_block, 1, &jmp);
 
   /* Wiederverwendete Daten initialisieren. */
@@ -521,6 +536,12 @@ static void construct_call(ir_node * call) {
     data[i] = get_entity_link(callees[i]);
   }
 
+  /*
+   * Set flag to suppress verifying placement on proper irg:
+   * optimization can return block on other irg.
+   */
+  set_interprocedural_view(1);
+
   /* Die interprozeduralen Steuerflussvorgänger des post_block
    * bestimmen. */
   for (i = 0; i < n_callees; ++i) {
@@ -535,6 +556,8 @@ static void construct_call(ir_node * call) {
       in[i] = new_Unknown();
     }
   }
+  set_interprocedural_view(0);
+
   set_Block_cg_cfgpred_arr(post_block, n_callees, in);
 
   /* Die interprozeduralen Steuerflussvorgänger des except_block
@@ -546,6 +569,13 @@ static void construct_call(ir_node * call) {
     set_irg_current_block(current_ir_graph, pre_block);
     set_irn_n(except_block, 0, new_Proj(call, mode_X, 1));
     set_irg_current_block(current_ir_graph, post_block);
+
+    /*
+     * Set flag to suppress verifying placement on proper irg:
+     * optimization can return block on other irg.
+     */
+    set_interprocedural_view(1);
+
     for (i = 0; i < n_callees; ++i) {
       entity * callee = get_Call_callee(call, i);
       if (data[i]) { /* explicit */
@@ -562,6 +592,8 @@ static void construct_call(ir_node * call) {
     set_Block_cg_cfgpred_arr(except_block, n_callees, in);
   }
 
+  set_interprocedural_view(0);
+
   /* Diesen Vorgänger in den Start-Blöcken der aufgerufenen Methoden
    * eintragen. */
   set_irg_current_block(current_ir_graph, pre_block);