+sub create_constructor {
+ my $op = shift;
+ my $name = shift;
+ my $n = shift;
+ my $on = shift;
+ my $known_mode;
+
+ my $suffix = "";
+ if ($name ne "") {
+ $suffix = "_${name}";
+ }
+
+ # determine mode
+ if (exists($n->{mode})) {
+ $known_mode = $n->{mode};
+ }
+
+ # determine arity
+ my $arity = 0;
+ if(exists($n->{"arity"})) {
+ $arity = $n->{"arity"};
+ } elsif (exists($n->{"reg_req"}) && exists($n->{"reg_req"}{"in"})) {
+ $arity = scalar(@{ $n->{"reg_req"}{"in"} });
+ } elsif (exists($n->{"ins"})) {
+ $arity = scalar(@{ $n->{"ins"} });
+ }
+ if($arity eq "variable") {
+ $arity = $ARITY_VARIABLE;
+ } elsif($arity eq "dynamic") {
+ $arity = $ARITY_DYNAMIC;
+ }
+
+ # determine out arity
+ my $out_arity = 0;
+ if(exists($n->{"out_arity"})) {
+ $out_arity = $n->{"out_arity"};
+ } elsif (exists($n->{"reg_req"}) && exists($n->{"reg_req"}{"out"})) {
+ $out_arity = scalar(@{ $n->{"reg_req"}{"out"} });
+ } elsif (exists($n->{"outs"})) {
+ $out_arity = scalar(@{ $n->{"outs"} });
+ }
+ if($out_arity eq "variable") {
+ $out_arity = $ARITY_VARIABLE;
+ } elsif($out_arity eq "dynamic") {
+ $out_arity = $ARITY_DYNAMIC;
+ }
+ if ($out_arity != 0 && $out_arity != 1 && !defined($known_mode)) {
+ $known_mode = "mode_T";
+ }
+
+ my $comment = $n->{"comment"};
+ if(!exists($n->{"comment"})) {
+ $comment = "construct ${orig_op} node";
+ }
+ $comment =
+ "/**\n".
+ " * ${comment}\n".
+ " */\n";
+
+ $obst_constructor .= $comment;
+
+ # create constructor head
+ my $complete_args = "";
+ $temp = "";
+
+ $temp = "ir_node *new_bd_${arch}_${op}${suffix}(dbg_info *dbgi, ir_node *block";
+ if (!exists($n->{"args"})) { # default args
+ if ($arity == $ARITY_VARIABLE) {
+ $complete_args = ", int arity, ir_node *in[]";
+ } elsif ($arity == $ARITY_DYNAMIC) {
+ $complete_args = "";
+ } else {
+ for (my $i = 0; $i < $arity; $i++) {
+ my $opname = "op${i}";
+ if (exists($n->{"ins"})) {
+ my @ins = @{ $n->{"ins"} };
+ $opname = $ins[$i];
+ }
+
+ $complete_args .= ", ir_node *${opname}";
+ }
+ }
+ if ($out_arity == $ARITY_VARIABLE) {
+ $complete_args .= ", int n_res";
+ }
+
+ if (!defined($known_mode)) {
+ $complete_args .= ", ir_mode *mode";
+ }
+ } else { # user defined args
+ for my $href (@{ $n->{"args"} }) {
+ $href->{"type"} .= " " if ($href->{"type"} !~ / [*]?$/); # put a space between name and type if there is none at the end
+ $complete_args .= ", ".$href->{"type"}.$href->{"name"};
+ }
+ }
+
+ # we have additional attribute arguements
+ if (exists($n->{"attr"})) {
+ $complete_args .= ", ".$n->{"attr"};
+ }
+
+ $temp .= "$complete_args)";
+ $obst_constructor .= "${temp}\n{\n";
+
+ $obst_header .= $comment;
+ $obst_header .= "${temp};\n";
+
+ # emit constructor code
+ $temp = <<EOF;
+ ir_graph *irg = get_irn_irg(block);
+ ir_op *op = op_${arch}_${op};
+ arch_irn_flags_t irn_flags_ = arch_irn_flags_none;
+ ir_node *res;
+ backend_info_t *info;
+EOF
+
+ if($arity == $ARITY_DYNAMIC) {
+ $temp .= <<EOF;
+ int arity = -1;
+ ir_node **in = NULL;
+EOF
+ } elsif($arity == $ARITY_VARIABLE) {
+ } else {
+ $temp .= <<EOF;
+ int arity = $arity;
+EOF
+ if($arity > 0) {
+ $temp .= <<EOF;
+ ir_node *in[$arity];
+EOF
+ } else {
+ $temp .= <<EOF;
+ ir_node **in = NULL;
+EOF
+ }
+ }
+ if($out_arity == $ARITY_DYNAMIC) {
+ $temp .= <<EOF;
+ int n_res = -1;
+EOF
+ } elsif($out_arity == $ARITY_VARIABLE) {
+ } else {
+ $temp .= <<EOF;
+ int n_res = ${out_arity};
+EOF
+ }
+
+ if (defined($known_mode)) {
+ $temp .= <<EOF;
+ ir_mode *mode = ${known_mode};
+EOF
+ }
+
+ undef my $in_req_var;
+ undef my $out_req_var;
+
+ my $set_out_reqs = "";
+
+ # set up static variables for requirements and registers
+ if (exists($n->{"reg_req"})) {
+ my %req = %{ $n->{"reg_req"} };
+ my $idx;
+
+ undef my @in;
+ @in = @{ $req{"in"} } if (exists($req{"in"}));
+ undef my @out;
+ @out = @{ $req{"out"} } if exists(($req{"out"}));
+
+ for(my $idx = 0; $idx < $#in; $idx++) {
+ my $req = $in[$idx];
+ generate_requirements($req, $n, "${arch}_${op}", $idx, 1);
+ }
+ for(my $idx = 0; $idx < $#out; $idx++) {
+ my $req = $out[$idx];
+ generate_requirements($req, $n, "${arch}_${op}", $idx, 0);
+ }
+
+ if (@in) {
+ if($arity >= 0 && scalar(@in) != $arity) {
+ die "Fatal error: Arity and number of in requirements don't match for ${op}\n";
+ }
+
+ $temp .= "\tstatic const arch_register_req_t *in_reqs[] =\n";
+ $temp .= "\t{\n";
+ for ($idx = 0; $idx <= $#in; $idx++) {
+ my $req = $in[$idx];
+ my $reqstruct = generate_requirements($req, $n, "${arch}_${op}", $idx, 1);
+ $temp .= "\t\t& ${reqstruct},\n";
+ }
+ $temp .= "\t};\n";
+ } else {
+ if($arity > 0) {
+ die "Fatal error: need in requirements for ${op}\n";
+ }
+ $temp .= "\tstatic const arch_register_req_t **in_reqs = NULL;\n";
+ }
+
+ if (@out) {
+ if($out_arity >= 0 && scalar(@out) != $out_arity) {
+ die "Fatal error: Out-Arity and number of out requirements don't match for ${op}\n";
+ }
+
+ for ($idx = 0; $idx <= $#out; $idx++) {
+ my $req = $out[$idx];
+ my $reqstruct = generate_requirements($req, $n, "${arch}_${op}", $idx, 0);
+ $set_out_reqs .= <<EOF;
+ info->out_infos[${idx}].req = &${reqstruct};
+EOF
+ }
+ } else {
+ if($out_arity > 0) {
+ die "Fatal error: need out requirements for ${op}\n";
+ }
+ }
+ } else {
+ $temp .= "\tstatic const arch_register_req_t **in_reqs = NULL;\n";
+ }
+ my $attr_type = $on->{attr_type};
+ if(exists($n->{"init_attr"})) {
+ $temp .= "\t${attr_type} *attr;\n";
+ }
+
+ $temp .= "\n";
+
+ if($arity > 0) {
+ $temp .= "\t/* construct in array */\n";
+ for (my $i = 0; $i < $arity; $i++) {
+ my $opname = "op${i}";
+ if (exists($n->{"ins"})) {
+ my @ins = @{ $n->{"ins"} };
+ $opname = $ins[$i];
+ }
+
+ $temp .= "\tin[${i}] = ${opname};\n";
+ }
+ $temp .= "\n";
+ }
+
+ # set flags
+ if (exists($n->{"irn_flags"})) {
+ $temp .= "\t/* flags */\n";
+ my %known_irn_flags = (
+ "none" => "arch_irn_flags_none",
+ "dont_spill" => "arch_irn_flags_dont_spill",
+ "rematerializable" => "arch_irn_flags_rematerializable",
+ "modify_flags" => "arch_irn_flags_modify_flags",
+ "simple_jump" => "arch_irn_flags_simple_jump",
+ "not_scheduled" => "arch_irn_flags_not_scheduled",
+ );
+ if (%custom_irn_flags) {
+ %known_irn_flags = (%known_irn_flags, %custom_irn_flags);
+ }
+ foreach my $flag (@{$n->{"irn_flags"}}) {
+ if (not defined($known_irn_flags{$flag})) {
+ print STDERR "WARNING: irn_flag '$flag' in opcode $op is unknown\n";
+ } else {
+ $temp .= "\tirn_flags_ |= " . $known_irn_flags{$flag} . ";\n";
+ }
+ }
+ $temp .= "\n";
+ }
+
+ # lookup init function
+ my $attr_init_code = "(void)in;(void)irn_flags_;(void)in_reqs;(void)n_res;";
+ if ($attr_type ne "") {
+ $attr_init_code = $init_attr{$attr_type};
+ if(!defined($attr_init_code)) {
+ die "Fatal error: Couldn't find attribute initialisation code for type '${attr_type}'";
+ }
+ }
+ my $custominit = "";
+ if(defined($custom_init_attr_func)) {
+ $custominit .= &$custom_init_attr_func($n, $on, "${arch}_${op}");
+ }
+ if(defined($n->{custominit})) {
+ $custominit .= $n->{custominit};
+ }
+
+ $temp .= <<EOF;
+ /* create node */
+ assert(op != NULL);
+ res = new_ir_node(dbgi, irg, block, op, mode, arity, in);
+
+ /* init node attributes */
+ ${attr_init_code}
+ ${custominit}
+ info = be_get_info(res);
+ (void) info; /* avoid potential warning */
+${set_out_reqs}
+
+EOF
+
+ if (exists($n->{"init_attr"})) {
+ $temp .= "\tattr = (${attr_type}*)get_irn_generic_attr(res);\n";
+ $temp .= "\t(void) attr; /* avoid potential warning */\n";
+ $temp .= "\t".$n->{"init_attr"}."\n";
+ }
+
+ $temp .= <<EOF;
+ /* optimize node */
+ res = optimize_node(res);
+ irn_verify_irg(res, irg);
+
+ return res;
+EOF
+
+ $obst_constructor .= $temp;
+
+ # close constructor function
+ $obst_constructor .= "}\n\n";
+}
+
+push(@obst_enum_op, "typedef enum ${arch}_opcodes {\n");