- 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 $tuple = 0;
+ my $n_res = 0;
+ my $num_outs = 0;
+ my @out_flags;
+
+ # determine arity from in requirements
+ $arity = exists($n{"arity"}) ? $n{"arity"} : 0;
+ if (exists($n{"reg_req"}) && exists($n{"reg_req"}{"in"})) {
+ $arity = scalar(@{ $n{"reg_req"}{"in"} });
+ }
+
+ $orig_op = $op;
+ $op = $arch."_".$op;
+ $temp = "";
+
+ # define some proj numbers
+ if (exists($n{"outs"})) {
+ undef my @outs;
+
+ @outs = @{ $n{"outs"} };
+ $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, " pn_$op\_".$outs[$idx]." = $idx,\n");
+ }
+
+ push(@obst_proj, "};\n");
+ $tuple = 1;
+ }
+
+ 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");
+
+ $cmp_attr_func = 0;
+ # create compare attribute function if needed
+ if (exists($n{"cmp_attr"})) {
+ push(@obst_cmp_attr, "static int cmp_attr_$op(ir_node *a, ir_node *b) {\n");
+ push(@obst_cmp_attr, " $arch\_attr_t *attr_a = get_$arch\_attr(a);\n");
+ push(@obst_cmp_attr, " $arch\_attr_t *attr_b = get_$arch\_attr(b);\n");
+ push(@obst_cmp_attr, " (void) attr_a;\n");
+ push(@obst_cmp_attr, " (void) attr_b;\n");
+ push(@obst_cmp_attr, $n{"cmp_attr"});
+ push(@obst_cmp_attr, "}\n\n");
+
+ $cmp_attr_func = 1;
+ }
+
+ if (exists($n{"rd_constructor"}) && $n{"rd_constructor"} =~ /^NONE$/i) {
+ # we explicitly skip the constructor if the specification entry says NONE
+ }
+ else {
+ $n{"comment"} = "construct $op" if(!exists($n{"comment"}));
+ $n{"comment"} =~ s/^"|"$//g; # remove "
+ $n{"comment"} = "/* ".$n{"comment"}." */\n";
+ push(@obst_constructor, $n{"comment"});
+
+ # create constructor head
+ my $complete_args = "";
+ my $arg_names = "";
+ $temp = "";
+
+ $temp = "ir_node *new_rd_$op(dbg_info *db, ir_graph *irg, ir_node *block";
+ if (!exists($n{"args"}) || $n{"args"} =~ /^DEFAULT$/i) { # default args
+ if ($arity !~ /^\d+$/) {
+ print "DEFAULT args require numeric arity (0, 1, 2, ...)! Ignoring op $orig_op!\n";
+ next;
+ }
+ for (my $i = 1; $i <= $arity; $i++) {
+ $complete_args .= ", ir_node *op".$i;
+ $arg_names .= ", op".$i;
+ }
+ if ($tuple == 0) {
+ $complete_args .= ", ir_mode *mode";
+ $arg_names .= ", 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"};
+ $arg_names .= ", ".$href->{"name"};
+ }
+ }
+
+ # we have additional attribute arguements
+ if (exists($n{"attr"})) {
+ $complete_args .= ", ".$n{"attr"};
+ }
+
+ # $complete_args = substr($complete_args, 2);
+ $temp .= "$complete_args)";
+ push(@obst_constructor, $temp." {\n");
+ push(@obst_header, $n{"comment"});
+ push(@obst_header, $temp.";\n");
+
+ # emit constructor code
+ if (!exists($n{"rd_constructor"}) || $n{"rd_constructor"} =~ /^DEFAULT$/i) { # default constructor
+ if ($arity !~ /^\d+$/) {
+ print "DEFAULT rd_constructor requires numeric arity! Ignoring op $orig_op!\n";
+ next;
+ }
+
+ $temp = " ir_node *res;\n";
+ $temp .= " ir_node *in[$arity];\n" if ($arity > 0);
+ $temp .= " int flags = 0;\n";
+ $temp .= " $arch\_attr_t *attr;\n" if (exists($n{"init_attr"}));
+
+ 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"}));
+
+ if (@in) {
+ $in_req_var = "_in_req_$op";
+ $temp .= " static const $arch\_register_req_t *".$in_req_var."[] =\n {\n";
+ for ($idx = 0; $idx <= $#in; $idx++) {
+ $temp .= " ".$op."_reg_req_in_".$idx.",\n";
+ }
+ $temp .= " };\n";
+ }
+
+ if (@out) {
+ $out_req_var = "_out_req_$op";
+
+ $temp .= " static const $arch\_register_req_t *".$out_req_var."[] =\n {\n";
+ for ($idx = 0; $idx <= $#out; $idx++) {
+ $temp .= " ".$op."_reg_req_out_".$idx.",\n";
+ }
+ $temp .= " };\n";
+ }
+ }
+
+ $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";
+ }
+
+ # set flags
+ if (exists($n{"irn_flags"})) {
+ foreach my $flag (split(/\|/, $n{"irn_flags"})) {
+ if ($flag eq "R") {
+ $temp .= " flags |= arch_irn_flags_rematerializable; /* op can be easily recalculated */\n";
+ }
+ elsif ($flag eq "N") {
+ $temp .= " flags |= arch_irn_flags_dont_spill; /* op is NOT spillable */\n";
+ }
+ elsif ($flag eq "I") {
+ $temp .= " flags |= arch_irn_flags_ignore; /* ignore op for register allocation */\n";
+ }
+ elsif ($flag eq "S") {
+ $temp .= " flags |= arch_irn_flags_modify_sp; /* op modifies stack pointer */\n";
+ }
+ }
+ }
+
+ my $in_param;
+ my $out_param;
+ # allocate memory and set pointer to register requirements
+ if (exists($n{"reg_req"})) {
+ my %req = %{ $n{"reg_req"} };
+
+ undef my @in;
+ @in = @{ $req{"in"} } if (exists($req{"in"}));
+ undef my @out;
+ @out = @{ $req{"out"} } if exists(($req{"out"}));
+
+ if (@in) {
+ $in_param = $in_req_var;
+ }
+ else {
+ $in_param = "NULL";
+ }
+
+ if (@out) {
+ $n_res = $#out + 1;
+ $out_param = "$out_req_var, $n_res";
+ }
+ else {
+ $out_param = "NULL, 0";
+ }
+ }
+ else {
+ $in_param = "NULL";
+ $out_param = "NULL, 0";
+ }
+ $temp .= "\n /* create node */\n";
+
+ my $latency = 1;
+ if (exists($n{"latency"})) {
+ $latency = $n{"latency"};
+ }
+
+ my $mode = "mode";
+ if ($tuple == 1) {
+ $mode = "mode_T";
+ }
+ $temp .= " res = new_ir_node(db, irg, block, op_$op, $mode, $arity, ".($arity > 0 ? "in" : "NULL").");\n";
+
+ $temp .= "\n /* init node attributes */\n";
+ $temp .= " init_$arch\_attributes(res, flags, $in_param, $out_param, $latency);\n";
+
+ # set flags for outs
+ if ($#out_flags >= 0) {
+ $temp .= "\n /* set flags for outs */\n";
+ for (my $idx = 0; $idx <= $#out_flags; $idx++) {
+ my $flags = "";
+ my $prefix = "";
+
+ foreach my $flag (split(/\|/, $out_flags[$idx])) {
+ if ($flag eq "I") {
+ $flags .= $prefix."arch_irn_flags_ignore";
+ $prefix = " | ";
+ }
+ elsif ($flag eq "S") {
+ $flags .= $prefix."arch_irn_flags_modify_sp";
+ $prefix = " | ";
+ }
+ }
+
+ $temp .= " set_$arch\_out_flags(res, $flags, $idx);\n";
+ }
+ }
+
+
+ if (exists($n{"init_attr"})) {
+ $temp .= " attr = get_$arch\_attr(res);\n";
+ $temp .= $n{"init_attr"}."\n";
+ }
+
+ $temp .= "\n /* optimize node */\n";
+ $temp .= " res = optimize_node(res);\n";
+ $temp .= " irn_vrfy_irg(res, irg);\n\n";
+
+ $temp .= "\n 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");
+ } # 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 memset(&ops, 0, sizeof(ops));\n");
+ push(@obst_new_irop, " ops.dump_node = $arch\_dump_node;\n");
+
+ if ($cmp_attr_func) {
+ push(@obst_new_irop, " ops.node_cmp_attr = cmp_attr_$op;\n");
+ }
+
+ $n_opcodes++;
+ $temp = " op_$op = new_ir_op(cur_opcode + iro_$op, \"$op\", op_pin_state_".$n{"state"}.", ".$n{"op_flags"};
+ $temp .= "|M, ".translate_arity($arity).", 0, sizeof($arch\_attr_t) + $n_res * sizeof(arch_register_t *), &ops);\n";
+ push(@obst_new_irop, $temp);
+ push(@obst_new_irop, " set_op_tag(op_$op, &$arch\_op_tag);\n");
+ push(@obst_enum_op, " iro_$op,\n");
+
+ push(@obst_header, "\n");