- my %n = %{ $nodes{"$op"} };
-
- $orig_op = $op;
- $op = $arch."_".$op;
- $arity = $n{"arity"};
-
- push(@obst_opvar, "ir_op *op_$op = NULL;\n");
- push(@obst_get_opvar, "ir_op *get_op_$op(void) { return op_$op; }\n");
- push(@obst_get_opvar, "int is_$op(ir_node *n) { return get_irn_op(n) == op_$op ? 1 : 0; }\n\n");
-
- push(@obst_header, "int is_$op(ir_node *n);\n");
-
- $n{"comment"} =~ s/^"|"$//g;
- $n{"comment"} = "/* ".$n{"comment"}." */\n";
- push(@obst_constructor, $n{"comment"});
-
- # create constructor head
- my $complete_args = "";
- my $arg_names = "";
- $temp = "ir_node *new_rd_$op(dbg_info *db, ir_graph *irg, ir_node *block";
- if (!exists($n{"args"}) || $n{"args"} eq "DEFAULT") { # default args
- if ($n{"arity"} !~ /^[0-3]$/) {
- print "DEFAULT args require arity 0,1,2 or 3! Ignoring op $orig_op!\n";
- next;
- }
- for (my $i = 1; $i <= $n{"arity"}; $i++) {
- $complete_args .= ", ir_node *op".$i;
- $arg_names .= ", op".$i;
- }
- $complete_args .= ", ir_mode *mode";
- $arg_names .= ", mode";
- }
- else { # user defined args
- for my $href (@{ $n{"args"} }) {
- $complete_args .= ", ".$href->{"type"}.$href->{"name"};
- $arg_names .= ", ".$href->{"name"};
- }
- }
- $complete_args = substr($complete_args, 2);
- $temp .= ", $complete_args)";
- push(@obst_constructor, $temp." {\n");
- push(@obst_header, $temp.";\n");
-
- # emit constructor code
- if (!exists($n{"rd_constructor"}) || $n{"rd_constructor"} eq "DEFAULT") { # default constructor
- if ($n{"arity"} !~ /^[0-3]$/) {
- print "DEFAULT rd_constructor requires arity 0,1,2 or 3! Ignoring op $orig_op!\n";
- next;
- }
- $temp = " ir_node *res;\n";
- $temp .= " ir_node *in[$arity];\n" if ($arity > 0);
- $temp .= "\n";
- $temp .= " if (!op_$op) {\n";
- $temp .= " assert(0);\n";
- $temp .= " return NULL;\n";
- $temp .= " }\n\n";
- for (my $i = 1; $i <= $arity; $i++) {
- $temp .= " in[".($i - 1)."] = op".$i.";\n";
- }
- $temp .= " res = new_ir_node(db, irg, block, op_$op, mode, $arity, ".($arity > 0 ? "in" : "NULL").");\n";
- $temp .= " res = optimize_node(res);\n";
- $temp .= " irn_vrfy_irg(res, irg);\n";
- $temp .= " return res;\n";
-
- push(@obst_constructor, $temp);
- }
- else { # user defined constructor
- push(@obst_constructor, $n{"rd_constructor"});
- }
-
- # close constructor function
- push(@obst_constructor, "}\n\n");
-
-# # create the _r and _d wrapper
-# $temp = "ir_node *new_r_$op(ir_graph *irg, ir_node *block, $complete_args)";
-# push(@obst_header, $temp.";\n");
-# $temp .= " {\n";
-# $temp .= " return new_rd_$op(NULL, irg, block".$arg_names.");\n";
-# $temp .= "}\n\n";
-# push(@obst_constructor, $temp);
-#
-# $temp = "ir_node *new_d_$op(dbg_info *db, $complete_args)";
-# push(@obst_header, $temp.";\n");
-# $temp .= " {\n";
-# $temp .= " return new_rd_$op(db, current_ir_graph, current_ir_graph->current_block".$arg_names.");\n";
-# $temp .= "}\n\n";
-# push(@obst_constructor, $temp);
-#
-# $temp = "ir_node *new_$op($complete_args)";
-# push(@obst_header, $temp.";\n");
-# $temp .= " {\n";
-# $temp .= " return new_d_$op(NULL".$arg_names.");\n";
-# $temp .= "}\n\n";
-# push(@obst_constructor, $temp);
-
- # construct the new_ir_op calls
-
- # set default values for state and flags if not given
- $n{"state"} = "pinned" if (! exists($n{"state"}));
- $n{"op_flags"} = "N" if (! exists($n{"op_flags"}));
-
- my $arity_str = $arity == 0 ? "zero" : ($arity == 1 ? "unary" : ($arity == 2 ? "binary" : ($arity == 3 ? "trinary" : $arity)));
- $temp = " op_$op = new_ir_op(get_next_ir_opcode(), \"$op\", op_pin_state_".$n{"state"}.", ".$n{"op_flags"};
- $temp .= ", oparity_".$arity_str.", 0, sizeof(asmop_attr), &ops);\n";
- push(@obst_new_irop, $temp);
+ my %n = %{ $nodes{"$op"} };
+ my $known_mode;
+ my $num_outs = 0;
+ my $out_arity;
+ my @out_flags;
+
+ # determine arity
+ $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
+ $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;
+ }
+
+ $orig_op = $op;
+ $op = $arch."_".$op;
+ $temp = "";
+
+ # define proj numbers and in numbers
+ if (exists($n{"outs"})) {
+ undef my @outs;
+
+ @outs = @{ $n{"outs"} };
+ if($out_arity >= 0 && scalar(@outs) != $out_arity) {
+ die "Fatal error: Op ${op} has different number of outs and out_arity\n";
+ }
+
+ $num_outs = $#outs + 1;
+
+ push(@obst_proj, "\nenum pn_$op {\n");
+
+ for (my $idx = 0; $idx <= $#outs; $idx++) {
+ # check, if we have additional flags annotated to out
+ if ($outs[$idx] =~ /:((S|I)(\|(S|I))*)/) {
+ push(@out_flags, $1);
+ $outs[$idx] =~ s/:((S|I)(\|(S|I))*)//;
+ }
+ push(@obst_proj, "\tpn_$op\_".$outs[$idx]." = $idx,\n");
+ }
+
+ push(@obst_proj, "};\n");
+ # outs have names, it must be a mode_T node
+ $known_mode = "mode_T";
+ }
+ if (exists($n{"ins"})) {
+ undef my @ins;
+
+ @ins = @{ $n{"ins"} };
+ if($arity >= 0 && scalar(@ins) != $arity) {
+ die "Fatal error: Op ${op} has different number of ins and arity\n";
+ }
+
+ push(@obst_proj, "\nenum n_$op {\n");
+
+ for (my $idx = 0; $idx <= $#ins; $idx++) {
+ push(@obst_proj, "\tn_${op}_".$ins[$idx]." = $idx,\n");
+ }
+
+ push(@obst_proj, "};\n");
+ }
+
+ # determine mode
+ if (exists($n{"mode"})) {
+ $known_mode = $n{"mode"};
+ }
+
+ push(@obst_opvar, "ir_op *op_$op = NULL;\n");
+ push(@obst_get_opvar, "ir_op *get_op_$op(void) { return op_$op; }\n");
+ push(@obst_get_opvar, "int is_$op(const ir_node *n) { return get_$arch\_irn_opcode(n) == iro_$op; }\n\n");
+
+ push(@obst_is_archirn, "is_$op(node)");
+
+ push(@obst_header, "extern ir_op *op_$op;\n");
+ push(@obst_header, "ir_op *get_op_$op(void);\n");
+ push(@obst_header, "int is_$op(const ir_node *n);\n");
+
+ my $attr_type= $n{"attr_type"};
+ if(!defined($attr_type)) {
+ $attr_type = $default_attr_type;
+ }
+
+ # determine hash function
+ my $hash_func;
+ if (exists($n{"hash_func"})) {
+ $hash_func = $n{"hash_func"};
+ }
+
+ # determine compare function
+ my $cmp_attr_func;
+ if (exists($n{"cmp_attr"})) {
+ my $cmpcode = $n{"cmp_attr"};
+
+ push(@obst_cmp_attr, "static int cmp_attr_$op(ir_node *a, ir_node *b) {\n");
+ if($cmpcode =~ m/attr_a/) {
+ push(@obst_cmp_attr, "\t${attr_type} *attr_a = get_irn_generic_attr(a);\n");
+ } else {
+ push(@obst_cmp_attr, "\t(void) a;\n");
+ }
+ if($cmpcode =~ m/attr_b/) {
+ push(@obst_cmp_attr, "\t${attr_type} *attr_b = get_irn_generic_attr(b);\n");
+ } else {
+ push(@obst_cmp_attr, "\t(void) b;\n");
+ }
+ push(@obst_cmp_attr, "\t${cmpcode}\n");
+ push(@obst_cmp_attr, "}\n\n");
+
+ $cmp_attr_func = "cmp_attr_${op}";
+ } else {
+ if(defined($compare_attr{${attr_type}})) {
+ $cmp_attr_func = $compare_attr{${attr_type}};
+ } else {
+ die "Fatal error: No compare function defined for ${attr_type} attributes.";
+ }
+ }
+
+ if (exists($n{"rd_constructor"}) && $n{"rd_constructor"} =~ /^NONE$/i) {
+ # we explicitly skip the constructor if the specification entry says NONE
+ } else {
+ my $comment = $n{"comment"};
+ if(!exists($n{"comment"})) {
+ $comment = "construct ${orig_op} node";
+ }
+ $comment =
+ "/**\n".
+ " * ${comment}\n".
+ " */\n";
+
+ push(@obst_constructor, $comment);
+
+ # create constructor head
+ my $complete_args = "";
+ $temp = "";
+
+ $temp = "ir_node *new_bd_$op(dbg_info *db, 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)";
+ push(@obst_constructor, $temp."\n{\n");
+ push(@obst_header, $comment);
+ push(@obst_header, $temp.";\n");
+
+ # emit constructor code
+ if (!exists($n{"rd_constructor"})) { # default constructor
+ $temp = "\tir_node *res;\n";
+ $temp .= "\tir_op *op = op_${op};\n";
+ $temp .= "\tint flags = 0;\n";
+
+ if($arity == $ARITY_DYNAMIC) {
+ $temp .= "\tint arity = -1;\n";
+ $temp .= "\tir_node **in = NULL;\n";
+ } elsif($arity == $ARITY_VARIABLE) {
+ } else {
+ $temp .= "\tint arity = $arity;\n";
+ if($arity > 0) {
+ $temp .= "\tir_node *in[$arity];\n";
+ } else {
+ $temp .= "\tir_node **in = NULL;\n";
+ }
+ }
+ if($out_arity == $ARITY_DYNAMIC) {
+ $temp .= "\tint n_res = -1;\n";
+ } elsif($out_arity == $ARITY_VARIABLE) {
+ } else {
+ $temp .= "\tint n_res = ${out_arity};\n";
+ }
+
+ if (defined($known_mode)) {
+ $temp .= "\tir_mode *mode = ${known_mode};\n";
+ }
+
+ # set up static variables for cpu execution unit assigments
+ if (exists($n{"units"})) {
+ $temp .= gen_execunit_list_initializer($n{"units"});
+ } else {
+ $temp .= "\tstatic const be_execution_unit_t ***exec_units = NULL;\n";
+ }
+
+ undef my $in_req_var;
+ undef my $out_req_var;
+
+ # 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, $op, $idx, 1);
+ }
+ for(my $idx = 0; $idx < $#out; $idx++) {
+ my $req = $out[$idx];
+ generate_requirements($req, \%n, $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, $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";
+ }
+
+ $temp .= "\tstatic const arch_register_req_t *out_reqs[] =\n";
+ $temp .= "\t{\n";
+ for ($idx = 0; $idx <= $#out; $idx++) {
+ my $req = $out[$idx];
+ my $reqstruct = generate_requirements($req, \%n, $op, $idx, 0);
+ $temp .= "\t\t& ${reqstruct},\n";
+ }
+ $temp .= "\t};\n";
+ } else {
+ if($out_arity > 0) {
+ die "Fatal error: need out requirements for ${op}\n";
+ }
+ $temp .= "\tstatic const arch_register_req_t **out_reqs = NULL;\n";
+ }
+ } else {
+ $temp .= "\tstatic const arch_register_req_t **in_reqs = NULL;\n";
+ $temp .= "\tstatic const arch_register_req_t **out_reqs = NULL;\n";
+ }
+ 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";
+ foreach my $flag (split(/\|/, $n{"irn_flags"})) {
+ if ($flag eq "R") {
+ $temp .= "\tflags |= arch_irn_flags_rematerializable;\n";
+ } elsif ($flag eq "N") {
+ $temp .= "\tflags |= arch_irn_flags_dont_spill;\n";
+ } else {
+ die "Fatal error: unknown flag $flag for ${op}\n";
+ }
+ }
+ $temp .= "\n";
+ }
+
+ $temp .= "\t/* create node */\n";
+ $temp .= "\tassert(op != NULL);\n";
+ $temp .= "\tres = new_ir_node(db, current_ir_graph, block, op, mode, arity, in);\n";
+ $temp .= "\n";
+
+ $temp .= "\t/* init node attributes */\n";
+ # lookup init function
+ my $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}'";
+ }
+ $temp .= "${attr_init_code}\n";
+ if(defined($custom_init_attr_func)) {
+ $temp .= &$custom_init_attr_func(\%n, $op);
+ }
+ $temp .= "\n";
+
+ if (exists($n{"init_attr"})) {
+ $temp .= "\tattr = get_irn_generic_attr(res);\n";
+ $temp .= "\t".$n{"init_attr"}."\n";
+ }
+
+ $temp .= "\t/* optimize node */\n";
+ $temp .= "\tres = optimize_node(res);\n";
+ $temp .= "\tirn_vrfy_irg(res, current_ir_graph);\n";
+ $temp .= "\n";
+
+ $temp .= "\treturn res;\n";
+
+ push(@obst_constructor, $temp);
+ }
+ else { # user defined constructor
+ push(@obst_constructor, $n{"rd_constructor"});
+ }
+
+ # close constructor function
+ push(@obst_constructor, "}\n\n");
+ } # constructor creation
+
+ # set default values for state and flags if not given
+ $n{"state"} = "floats" if (! exists($n{"state"}));
+ $n{"op_flags"} = "N" if (! exists($n{"op_flags"}));
+
+
+ push(@obst_new_irop, "\n\tmemset(&ops, 0, sizeof(ops));\n");
+ push(@obst_new_irop, "\tops.be_ops = be_ops;\n");
+ push(@obst_new_irop, "\tops.dump_node = $arch\_dump_node;\n");
+
+ if (defined($cmp_attr_func)) {
+ push(@obst_new_irop, "\tops.node_cmp_attr = ${cmp_attr_func};\n");
+ }
+ my $copy_attr_func = $copy_attr{$attr_type};
+ if (!defined($copy_attr_func)) {
+ $copy_attr_func = $default_copy_attr;
+ }
+ if (defined($copy_attr_func)) {
+ push(@obst_new_irop, "\tops.copy_attr = ${copy_attr_func};\n");
+ }
+ if (defined($hash_func)) {
+ push(@obst_new_irop, "\tops.hash = ${hash_func};\n");
+ }
+
+ $n_opcodes++;
+ my $n_res = $out_arity;
+ if($n_res < 0) {
+ $n_res = "20"; # hacky....
+ }
+ $temp = "\top_$op = new_ir_op(cur_opcode + iro_$op, \"$op\", op_pin_state_".$n{"state"}.", ".$n{"op_flags"};
+ $temp .= "|M, ".translate_arity($arity).", 0, sizeof(${attr_type}), &ops);\n";
+ push(@obst_new_irop, $temp);
+ push(@obst_new_irop, "\tset_op_tag(op_$op, $arch\_op_tag);\n");
+ if(defined($default_op_attr_type)) {
+ push(@obst_new_irop, "\tattr = &attrs[iro_$op];\n");
+ if(defined($n{op_attr_init})) {
+ push(@obst_new_irop, "\t".$n{op_attr_init}."\n");
+ }
+ push(@obst_new_irop, "\tset_op_attr(op_$op, attr);\n");
+ }
+
+ push(@obst_enum_op, "\tiro_$op,\n");
+
+ push(@obst_header, "\n");