From: Christoph Mallon <christoph.mallon@gmx.de>
Date: Tue, 13 Nov 2007 22:49:15 +0000 (+0000)
Subject: Create IR for for-statements.
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=603715f1486af6096c5e4194b4c60ed2786c52f3;p=cparser

Create IR for for-statements.

[r18386]
---

diff --git a/ast2firm.c b/ast2firm.c
index ebe3957..24c8955 100644
--- a/ast2firm.c
+++ b/ast2firm.c
@@ -1273,6 +1273,69 @@ static void do_while_statement_to_firm(do_while_statement_t *statement)
 	set_cur_block(false_block);
 }
 
+static void for_statement_to_firm(for_statement_t *statement)
+{
+	dbg_info *const dbgi = get_dbg_info(&statement->statement.source_position);
+
+	ir_node *jmp = NULL;
+	if (get_cur_block() != NULL) {
+		expression_to_firm(statement->initialisation);
+		jmp = new_Jmp();
+	}
+
+	/* create the step block */
+	ir_node *const step_block = new_immBlock();
+	expression_to_firm(statement->step);
+	ir_node *const step_jmp   = new_Jmp();
+
+	/* create the header block */
+	ir_node *const header_block = new_immBlock();
+	if (jmp != NULL) {
+		add_immBlock_pred(header_block, jmp);
+	}
+	add_immBlock_pred(header_block, step_jmp);
+
+	/* create the condition */
+	ir_node *const cond_expr = _expression_to_firm(statement->condition);
+	ir_node *const condition = create_conv(dbgi, cond_expr, mode_b);
+
+	ir_node *const cond       = new_d_Cond(dbgi, condition);
+	ir_node *const true_proj  = new_d_Proj(dbgi, cond, mode_X, pn_Cond_true);
+	ir_node *const false_proj = new_d_Proj(dbgi, cond, mode_X, pn_Cond_false);
+
+	/* the false block */
+	ir_node *const false_block = new_immBlock();
+	add_immBlock_pred(false_block, false_proj);
+
+	/* the loop body */
+	ir_node *const body_block = new_immBlock();
+	add_immBlock_pred(body_block, true_proj);
+	mature_immBlock(body_block);
+
+	ir_node *const old_continue_label = continue_label;
+	ir_node *const old_break_label    = break_label;
+	continue_label = step_block;
+	break_label    = false_block;
+
+	statement_to_firm(statement->body);
+
+	assert(continue_label == step_block);
+	assert(break_label    == false_block);
+	continue_label = old_continue_label;
+	break_label    = old_break_label;
+
+	if (get_cur_block() != NULL) {
+		ir_node *const jmp = new_Jmp();
+		add_immBlock_pred(step_block, jmp);
+	}
+
+	mature_immBlock(step_block);
+	mature_immBlock(header_block);
+	mature_immBlock(false_block);
+
+	set_cur_block(false_block);
+}
+
 static void create_declaration_entity(declaration_t *declaration,
                                       declaration_type_t declaration_type,
                                       ir_type *parent_type)
@@ -1471,6 +1534,9 @@ static void statement_to_firm(statement_t *statement)
 	case STATEMENT_CASE_LABEL:
 		case_label_to_firm((case_label_statement_t*) statement);
 		return;
+	case STATEMENT_FOR:
+		for_statement_to_firm((for_statement_t*) statement);
+		return;
 	default:
 		break;
 	}