-/* debug makros used in sel_methods_walker */
-#define SIZ(x) sizeof(x)/sizeof((x)[0])
-
-#define DBG_OPT_NORMALIZE \
- __dbg_info_merge_pair(new_node, node, dbg_const_eval)
-#define DBG_OPT_POLY_ALLOC \
- do { \
- ir_node *ons[2]; \
- ons[0] = node; \
- ons[1] = skip_Proj(get_Sel_ptr(node)); \
- __dbg_info_merge_sets(&new_node, 1, ons, SIZ(ons), dbg_rem_poly_call); \
- } while(0)
-#define DBG_OPT_POLY \
- __dbg_info_merge_pair(new_node, node, dbg_rem_poly_call)
-
-
-static void sel_methods_walker(ir_node * node, pmap * ldname_map) {
- if (get_irn_op(node) == op_SymConst) {
- /* Wenn möglich SymConst-Operation durch Const-Operation
- * ersetzen. */
- if (get_SymConst_kind(node) == linkage_ptr_info) {
- pmap_entry * entry = pmap_find(ldname_map, (void *) get_SymConst_ptrinfo(node));
- if (entry != NULL) { /* Method is declared in the compiled code */
- entity * ent = entry->value;
- if (get_opt_normalize() && (get_entity_visibility(ent) != external_allocated)) { /* Meth. is defined */
- ir_node *new_node;
- assert(get_entity_irg(ent));
- set_irg_current_block(current_ir_graph, get_nodes_Block(node));
- new_node = new_d_Const(get_irn_dbg_info(node),
- mode_P_mach, new_tarval_from_entity(ent, mode_P_mach)); DBG_OPT_NORMALIZE;
- exchange(node, new_node);
- }
- }
- }
- } else if (get_irn_op(node) == op_Sel &&
- is_method_type(get_entity_type(get_Sel_entity(node)))) {
- entity * ent = get_Sel_entity(node);
- if (get_optimize() && get_opt_dyn_meth_dispatch() &&
- (get_irn_op(skip_Proj(get_Sel_ptr(node))) == op_Alloc)) {
- ir_node *new_node;
- /* We know which method will be called, no dispatch necessary. */
- assert(get_entity_peculiarity(ent) != description);
- set_irg_current_block(current_ir_graph, get_nodes_Block(node));
- /* @@@ Is this correct?? Alloc could reference a subtype of the owner
- of Sel that overwrites the method referenced in Sel. */
- new_node = copy_const_value(get_atomic_ent_value(ent)); DBG_OPT_POLY_ALLOC;
- exchange (node, new_node);
- } else {
- assert(get_entity_peculiarity(ent) != inherited);
- if (!eset_contains(entities, ent)) {
- /* Entity noch nicht behandelt. Alle (intern oder extern)
- * implementierten Methoden suchen, die diese Entity
- * überschreiben. Die Menge an entity.link speichern. */
- set_entity_link(ent, get_impl_methods(ent));
- eset_insert(entities, ent);
- }
- if (get_entity_link(ent) == NULL) {
- /* Die Sel-Operation kann nie einen Zeiger auf eine aufrufbare
- * Methode zurückgeben. Damit ist sie insbesondere nicht
- * ausführbar und nicht erreichbar. */
- /* Gib eine Warnung aus wenn die Entitaet eine Beschreibung ist
- fuer die es keine Implementierung gibt. */
- if (get_entity_peculiarity(ent) == description) {
- /* @@@ GL Methode um Fehler anzuzeigen aufrufen! */
- printf("WARNING: Calling method description %s in method %s which has "
- "no implementation!\n", id_to_str(get_entity_ident(ent)),
- id_to_str(get_entity_ident(get_irg_ent(current_ir_graph))));
- } else {
- exchange(node, new_Bad());
+/* forward */
+static void free_mark(ir_node * node, eset * set);
+
+static void free_mark_proj(ir_node * node, long n, eset * set)
+{
+ assert(get_irn_mode(node) == mode_T);
+ if (get_irn_link(node) == MARK) {
+ /* already visited */
+ return;
+ }
+ set_irn_link(node, MARK);
+ switch (get_irn_opcode(node)) {
+ case iro_Proj: {
+ /* proj_proj: in einem "sinnvollen" Graphen kommt jetzt ein
+ * op_Tuple oder ein Knoten, der in "free_ana_walker" behandelt
+ * wird. */
+ ir_node * pred = get_Proj_pred(node);
+ if (get_irn_link(pred) != MARK && is_Tuple(pred)) {
+ free_mark_proj(get_Tuple_pred(pred, get_Proj_proj(node)), n, set);
+ } else {
+ /* nothing: da in "free_ana_walker" behandelt. */
+ }
+ break;