From 26ebeab8deeff030a97924b66ea48373e893deca Mon Sep 17 00:00:00 2001 From: Sebastian Buchwald Date: Tue, 11 Sep 2012 19:00:40 +0200 Subject: [PATCH] Revert "Prevent SSA construction from running into endless loops." This reverts commit 2a018b8111bd0596816c1d00c38a0024857753f7. Unreachable loops always have a loop entry edge and thus a Phi node. --- ir/ir/ircons.c | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/ir/ir/ircons.c b/ir/ir/ircons.c index cd3864f18..852774acc 100644 --- a/ir/ir/ircons.c +++ b/ir/ir/ircons.c @@ -230,8 +230,6 @@ static ir_node *set_phi_arguments(ir_node *phi, int pos) if (is_Bad(cfgpred)) { value = new_r_Bad(irg, mode); } else { - inc_irg_visited(irg); - value = get_r_value_internal(cfgpred, pos, mode); } in[i] = value; @@ -268,12 +266,6 @@ static ir_node *get_r_value_internal(ir_node *block, int pos, ir_mode *mode) if (res != NULL) return res; - /* We ran into a cycle. This may happen in unreachable loops. */ - if (irn_visited_else_mark(block)) { - /* Since the loop is unreachable, return a Bad. */ - return new_r_Bad(irg, mode); - } - /* in a matured block we can immediately determine the phi arguments */ if (get_Block_matured(block)) { int arity = get_irn_arity(block); @@ -523,7 +515,6 @@ ir_node *get_r_value(ir_graph *irg, int pos, ir_mode *mode) { assert(get_irg_phase_state(irg) == phase_building); assert(pos >= 0); - inc_irg_visited(irg); return get_r_value_internal(irg->current_block, pos + 1, mode); } @@ -604,7 +595,6 @@ void set_value(int pos, ir_node *value) ir_node *get_r_store(ir_graph *irg) { assert(get_irg_phase_state(irg) == phase_building); - inc_irg_visited(irg); return get_r_value_internal(irg->current_block, 0, mode_M); } -- 2.20.1