+static ir_node *process_builtin_call(const call_expression_t *call)
+{
+ dbg_info *dbgi = get_dbg_info(&call->expression.source_position);
+
+ assert(call->function->type == EXPR_BUILTIN_SYMBOL);
+ builtin_symbol_expression_t *builtin
+ = (builtin_symbol_expression_t*) call->function;
+ symbol_t *symbol = builtin->symbol;
+
+ if(symbol == symbol_alloca) {
+ if(call->arguments == NULL || call->arguments->next != NULL) {
+ panic("invalid number of parameters on __builtin_alloca");
+ }
+ expression_t *argument = call->arguments->expression;
+ ir_node *size = expression_to_firm(argument);
+
+ ir_node *store = get_store();
+ 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;
+ } else {
+ panic("Unsupported builtin found\n");
+ }
+}
+