From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Sun, 1 Jun 2008 13:00:30 +0000 (+0000)
Subject: - used MINGW instead of Win32 again
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=34e93c1cc9f4703fd8b2b50a88cc538a78fef35f;p=cparser

- used MINGW instead of Win32 again
- alloca must be catched in ALL modes
- alloca must be immediate converted into a Alloc node

[r19899]
---

diff --git a/ast2firm.c b/ast2firm.c
index 6bfa2db..40b462d 100644
--- a/ast2firm.c
+++ b/ast2firm.c
@@ -826,7 +826,7 @@ static const struct {
 } rts_data[] = {
 	{ rts_debugbreak, 0, "__debugbreak", 0, _MS },
 	{ rts_abort,      0, "abort",        0, _C89 },
-	{ rts_alloca,     1, "alloca",       1, _GNUC },
+	{ rts_alloca,     1, "alloca",       1, _ALL },
 	{ rts_abs,        1, "abs",          1, _C89 },
 	{ rts_labs,       1, "labs",         1, _C89 },
 	{ rts_llabs,      1, "llabs",        1, _C99 },
@@ -1345,6 +1345,9 @@ static ir_node *reference_addr(const reference_expression_t *ref)
 	panic("reference to declaration with unknown type found");
 }
 
+/**
+ * Transform calls to builtin functions.
+ */
 static ir_node *process_builtin_call(const call_expression_t *call)
 {
 	dbg_info *dbgi = get_dbg_info(&call->base.source_position);
@@ -1398,6 +1401,12 @@ static ir_node *process_builtin_call(const call_expression_t *call)
 	}
 }
 
+/**
+ * Transform a call expression.
+ * Handles some special cases, like alloca() calls, which must be resolved BEFORE the inlines runs.
+ * Inlining routines calling alloca() is dangerous, 176.gcc for instance might allocate 2GB instead of
+ * 256 MB if alloca is not handled right...
+ */
 static ir_node *call_expression_to_firm(const call_expression_t *call)
 {
 	assert(get_cur_block() != NULL);
@@ -1406,6 +1415,28 @@ static ir_node *call_expression_to_firm(const call_expression_t *call)
 	if(function->kind == EXPR_BUILTIN_SYMBOL) {
 		return process_builtin_call(call);
 	}
+	if(function->kind == EXPR_REFERENCE) {
+		const reference_expression_t *ref = &function->reference;
+		declaration_t *declaration = ref->declaration;
+
+		if((declaration_kind_t)declaration->declaration_kind == DECLARATION_KIND_FUNCTION) {
+			if (declaration->v.entity == rts_entities[rts_alloca]) {
+				/* handle alloca() call */
+				expression_t *argument = call->arguments->expression;
+		                ir_node      *size     = expression_to_firm(argument);
+
+                		ir_node *store  = get_store();
+				dbg_info *dbgi  = get_dbg_info(&call->base.source_position);
+		                ir_node *alloca = new_d_Alloc(dbgi, store, size, firm_unknown_type,
+                                              stack_alloc);
+               			ir_node *proj_m = new_Proj(alloca, mode_M, pn_Alloc_M);
+		                set_store(proj_m);
+		                ir_node *res    = new_Proj(alloca, mode_P_data, pn_Alloc_res);
+
+                		return res;
+			}
+		}
+	}
 	ir_node *callee = expression_to_firm(function);
 
 	type_t *type = skip_typeref(function->base.type);
@@ -4920,7 +4951,7 @@ void init_ast2firm(void)
 	/* OS option must be set to the backend */
 	const char *s = "ia32-gasmode=linux";
 	switch (firm_opt.os_support) {
-	case OS_SUPPORT_WIN32:
+	case OS_SUPPORT_MINGW:
 		create_ld_ident = create_ld_ident_win32;
 		s = "ia32-gasmode=mingw";
 		break;