Use ir_variable::clone to copy parameters to the function body
Several other code movements were also done. This partitions this function into two halves. The first half processes the prototype part, and the second have processes the actual function definition. The coming patch series will parition ast_function_definition::hir into (at least) two separate functions.
This commit is contained in:
@@ -1544,32 +1544,29 @@ ast_function_definition::hir(exec_list *instructions,
|
||||
}
|
||||
}
|
||||
|
||||
parameters.move_nodes_to(& signature->parameters);
|
||||
|
||||
|
||||
assert(state->current_function == NULL);
|
||||
state->current_function = signature;
|
||||
|
||||
ast_function_parameters_to_hir(& this->prototype->parameters,
|
||||
& signature->parameters,
|
||||
state);
|
||||
|
||||
label = new ir_label(name);
|
||||
if (signature->definition == NULL) {
|
||||
signature->definition = label;
|
||||
}
|
||||
instructions->push_tail(label);
|
||||
|
||||
/* Add the function parameters to the symbol table. During this step the
|
||||
* parameter declarations are also moved from the temporary "parameters" list
|
||||
* to the instruction list. There are other more efficient ways to do this,
|
||||
* but they involve ugly linked-list gymnastics.
|
||||
/* Duplicate parameters declared in the prototype as concrete variables.
|
||||
* Add these to the symbol table.
|
||||
*/
|
||||
state->symbols->push_scope();
|
||||
foreach_iter(exec_list_iterator, iter, parameters) {
|
||||
ir_variable *const var = ((ir_instruction *) iter.get())->as_variable();
|
||||
foreach_iter(exec_list_iterator, iter, signature->parameters) {
|
||||
ir_variable *const proto = ((ir_instruction *) iter.get())->as_variable();
|
||||
|
||||
assert(var != NULL);
|
||||
assert(proto != NULL);
|
||||
|
||||
ir_variable *const var = proto->clone();
|
||||
|
||||
iter.remove();
|
||||
instructions->push_tail(var);
|
||||
|
||||
/* The only way a parameter would "exist" is if two parameters have
|
||||
|
Reference in New Issue
Block a user