X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fscripts%2Fgenerate_new_opcodes.pl;h=329ca17bb6f14b0a4983dd7da94cc39199096fcd;hb=516482fa4892951b0f20a507f10cc7488ac6b250;hp=c31a73213bb9974170acab665328c052479527e9;hpb=4cedd3bc8f85d75971bdd1fe6606f37c951babfb;p=libfirm diff --git a/ir/be/scripts/generate_new_opcodes.pl b/ir/be/scripts/generate_new_opcodes.pl index c31a73213..329ca17bb 100755 --- a/ir/be/scripts/generate_new_opcodes.pl +++ b/ir/be/scripts/generate_new_opcodes.pl @@ -16,6 +16,7 @@ my $cur_op = ""; my $line_nr = 0; our $arch; +our $additional_opcodes; our %nodes; # include spec file @@ -34,6 +35,7 @@ my $target_c = $target_dir."/gen_".$arch."_new_nodes.c.inl"; my $target_h = $target_dir."/gen_".$arch."_new_nodes.h"; #print Dumper(%nodes); +#print Dumper(%operands); # create c code file from specs @@ -41,38 +43,80 @@ my @obst_opvar; # stack for the "ir_op *op__ = NULL;" state my @obst_get_opvar; # stack for the get_op__() functions my @obst_constructor; # stack for node constructor functions my @obst_new_irop; # stack for the new_ir_op calls +my @obst_enum_op; # stack for creating the _opcode enum my @obst_header; # stack for function prototypes my @obst_is_archirn; # stack for the is_$arch_irn() function my @obst_cmp_attr; # stack for the compare attribute functions +my @obst_proj; # stack for the pn_ numbers my $orig_op; my $arity; my $cmp_attr_func; my $temp; +my $n_opcodes = 0; # number of opcodes + +# for registering additional opcodes +$n_opcodes += $additional_opcodes if (defined($additional_opcodes)); push(@obst_header, "void ".$arch."_create_opcodes(void);\n"); +push(@obst_enum_op, "typedef enum _$arch\_opcodes {\n"); foreach my $op (keys(%nodes)) { - my %n = %{ $nodes{"$op"} }; + 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; - $arity = $n{"arity"}; $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_irn_op(n) == op_$op; }\n\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, " asmop_attr *attr_a = get_ia32_attr(a);\n"); - push(@obst_cmp_attr, " asmop_attr *attr_b = get_ia32_attr(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"); @@ -95,16 +139,18 @@ foreach my $op (keys(%nodes)) { $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 ($n{"arity"} !~ /^\d+$/) { + if ($arity !~ /^\d+$/) { print "DEFAULT args require numeric arity (0, 1, 2, ...)! Ignoring op $orig_op!\n"; next; } - for (my $i = 1; $i <= $n{"arity"}; $i++) { + for (my $i = 1; $i <= $arity; $i++) { $complete_args .= ", ir_node *op".$i; $arg_names .= ", op".$i; } - $complete_args .= ", ir_mode *mode"; - $arg_names .= ", mode"; + if ($tuple == 0) { + $complete_args .= ", ir_mode *mode"; + $arg_names .= ", mode"; + } } else { # user defined args for my $href (@{ $n{"args"} }) { @@ -113,24 +159,32 @@ foreach my $op (keys(%nodes)) { $arg_names .= ", ".$href->{"name"}; } } - $complete_args = substr($complete_args, 2); - $temp .= ", $complete_args)"; + + # 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 ($n{"arity"} !~ /^\d+$/) { - print "DEFAULT rd_constructor requires arity 0,1,2 or 3! Ignoring op $orig_op!\n"; + if ($arity !~ /^\d+$/) { + print "DEFAULT rd_constructor requires numeric arity! Ignoring op $orig_op!\n"; next; } - $temp = " asmop_attr *attr;\n"; - $temp .= " ir_node *res;\n"; + + $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; - undef my $slots_var; # set up static variables for requirements and registers if (exists($n{"reg_req"})) { @@ -153,14 +207,12 @@ foreach my $op (keys(%nodes)) { if (@out) { $out_req_var = "_out_req_$op"; - $slots_var = "_slots_$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 .= " static arch_register_t *".$slots_var."[".($#out + 1)."];\n"; } } @@ -172,21 +224,27 @@ foreach my $op (keys(%nodes)) { 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 .= " set_ia32_pncode(res, -1);\n"; - $temp .= " res = optimize_node(res);\n"; - $temp .= " irn_vrfy_irg(res, irg);\n\n"; - # set register flags - $temp .= " attr = get_ia32_attr(res);\n\n"; - $temp .= " attr->flags = 0; /* clear flags */\n"; - if (exists($n{"spill"}) && $n{"spill"} == 0) { - $temp .= " attr->flags |= arch_irn_flags_dont_spill; /* op is NOT spillable */\n"; - } - if (exists($n{"remat"}) && $n{"remat"} == 1) { - $temp .= " attr->flags |= arch_irn_flags_rematerializable; /* op can be easily recalulated */\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"} }; @@ -196,27 +254,73 @@ foreach my $op (keys(%nodes)) { undef my @out; @out = @{ $req{"out"} } if exists(($req{"out"})); - $temp .= "\n /* set IN register requirements */\n"; if (@in) { - $temp .= " attr->in_req = ".$in_req_var.";\n"; + $in_param = $in_req_var; } else { - $temp .= " attr->in_req = NULL;\n"; + $in_param = "NULL"; } - $temp .= "\n /* set OUT register requirements and get space for registers */\n"; if (@out) { - $temp .= " attr->out_req = ".$out_req_var.";\n"; - $temp .= " attr->slots = ".$slots_var.";\n"; - $temp .= " attr->n_res = ".($#out + 1).";\n"; + $n_res = $#out + 1; + $out_param = "$out_req_var, $n_res"; } else { - $temp .= " attr->out_req = NULL;\n"; - $temp .= " attr->slots = NULL;\n"; - $temp .= " attr->n_res = 0;\n"; + $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); @@ -227,24 +331,33 @@ foreach my $op (keys(%nodes)) { # close constructor function push(@obst_constructor, "}\n\n"); - } # constructor creation # set default values for state and flags if not given - $n{"state"} = "pinned" if (! exists($n{"state"})); + $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 = dump_node_$arch;\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"); } - $temp = " op_$op = new_ir_op(get_next_ir_opcode(), \"$op\", op_pin_state_".$n{"state"}.", ".$n{"op_flags"}; - $temp .= ", ".translate_arity($arity).", 0, sizeof(asmop_attr), &ops);\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"); } +push(@obst_enum_op, " iro_$arch\_last_generated,\n"); +push(@obst_enum_op, " iro_$arch\_last = iro_$arch\_last_generated"); +push(@obst_enum_op, " + $additional_opcodes") if (defined($additional_opcodes)); +push(@obst_enum_op, "\n} $arch\_opcodes;\n\n"); # emit the code @@ -258,21 +371,56 @@ print OUT "\n"; print OUT @obst_get_opvar; print OUT "\n"; -print OUT<= 1) { + $a = uc(substr($arch, 0, 1)); +} - assert(ia32_opcode_start > 0 && "missing opcode init"); - assert(ia32_opcode_end > 0 && "missing opcode init"); +if (length($arch) >= 2) { + $b = uc(substr($arch, 1, 1)); +} + +if (length($arch) >= 3) { + $c = uc(substr($arch, 2, 1)); +} + +if (length($arch) >= 4) { + $d = uc(substr($arch, 3, 1)); +} + +print OUT "static unsigned $arch\_op_tag = FOURCC('$a', '$b', '$c', '$d');\n"; + +print OUT< ia32_opcode_start && opc < ia32_opcode_end) - return 1; +/** Return the opcode number of the first $arch opcode. */ +int get_$arch\_opcode_first(void) { + return $arch\_opcode_start; +} + +/** Return the opcode number of the last $arch opcode + 1. */ +int get_$arch\_opcode_last(void) { + return $arch\_opcode_end; +} + +/** Return 1 if the given node is a $arch machine node, 0 otherwise */ +int is_$arch\_irn(const ir_node *node) { + return get_op_tag(get_irn_op(node)) == &$arch\_op_tag; +} - return 0; +int get_$arch\_irn_opcode(const ir_node *node) { + if (is_$arch\_irn(node)) + return get_irn_opcode(node) - $arch\_opcode_start; + return -1; } ENDOFISIRN @@ -281,7 +429,7 @@ print OUT @obst_constructor; print OUT<$target_h") || die("Could not open $target_h, reason: $!\n"); +print OUT "#ifndef __GEN_$arch\_NEW_NODES_H__\n"; +print OUT "#define __GEN_$arch\_NEW_NODES_H__\n\n"; +print OUT @obst_enum_op; +print OUT "int is_$arch\_irn(const ir_node *node);\n\n"; +print OUT "int get_$arch\_opcode_first(void);\n"; +print OUT "int get_$arch\_opcode_last(void);\n"; +print OUT "int get_$arch\_irn_opcode(const ir_node *node);\n"; print OUT @obst_header; +print OUT @obst_proj; +print OUT "\n#endif /* __GEN_$arch\_NEW_NODES_H__ */\n"; close(OUT);