X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fscripts%2Fgenerate_regalloc_if.pl;h=535182d8cfaad526f52494a87dce5c48f388c6b4;hb=8535fe8732b0acf822be252812a7158ce5b8134a;hp=c71ee996479521561a25c5393da7429f047f311a;hpb=fdfe91fb54ca1b31ecf6ab1d3b06de6c10e2c217;p=libfirm diff --git a/ir/be/scripts/generate_regalloc_if.pl b/ir/be/scripts/generate_regalloc_if.pl index c71ee9964..535182d8c 100755 --- a/ir/be/scripts/generate_regalloc_if.pl +++ b/ir/be/scripts/generate_regalloc_if.pl @@ -7,6 +7,7 @@ use strict; use Data::Dumper; +use integer; my $specfile = $ARGV[0]; my $target_dir = $ARGV[1]; @@ -14,12 +15,13 @@ my $target_dir = $ARGV[1]; our $arch; our %reg_classes; our %nodes; +our %cpu; # include spec file my $return; -no strict "subs"; +use strict "subs"; unless ($return = do $specfile) { warn "couldn't parse $specfile: $@" if $@; warn "couldn't do $specfile: $!" unless defined $return; @@ -74,9 +76,8 @@ my @obst_regdef; # stack to define a name for a register index my @obst_reginit; # stack for the register type inits my @obst_req; # stack for the register requirements my @obst_limit_func; # stack for functions to return a subset of a register class -my @obst_defreq_head; # stack for prototypes of default requirement function my @obst_header_all; # stack for some extern struct defs needed for bearch_$arch include -my @obst_requirement_def; # stack for requirement name defines +my @obst_header_t; my $numregs; my $class_ptr; @@ -85,28 +86,19 @@ my $class_idx = 0; my $tmp; my %reg2class; - -# there is a default NONE requirement -$tmp = "/* Default NONE register requirements */\n"; -$tmp .= "const $arch\_register_req_t $arch\_default_req_none = {\n"; -$tmp .= " {\n"; -$tmp .= " arch_register_req_type_none, /* register type */\n"; -$tmp .= " NULL, /* register class */\n"; -$tmp .= " NULL, /* limit function */\n"; -$tmp .= " NULL, /* limit environment */\n"; -$tmp .= " NULL, /* node for same */\n"; -$tmp .= " NULL /* node for different */\n"; -$tmp .= " },\n"; -$tmp .= " 0, /* same pos */\n"; -$tmp .= " 0 /* different pos */\n"; -$tmp .= "};\n\n"; -push(@obst_req, $tmp); -push(@obst_header_all, "extern const $arch\_register_req_t $arch\_default_req_none;\n"); +my %regclass2len; push(@obst_classdef, "enum reg_classes {\n"); my $class_mode; +# assure, the initialization is done only once +push(@obst_reginit, "\tstatic int run_once = 0;\n"); +push(@obst_reginit, "\n"); +push(@obst_reginit, "\tif (run_once)\n"); +push(@obst_reginit, "\t\treturn;\n"); +push(@obst_reginit, "\trun_once = 1;\n"); + # generate register type and class variable, init function and default requirements foreach my $class_name (keys(%reg_classes)) { my @class = @{ $reg_classes{"$class_name"} }; @@ -120,83 +112,36 @@ foreach my $class_name (keys(%reg_classes)) { push(@obst_regtypes_decl, "extern arch_register_t ".$class_name."_regs[$numregs];\n"); push(@obst_regtypes_def, "arch_register_t ".$class_name."_regs[$numregs];\n"); - push(@obst_classdef, " CLASS_$class_name = $class_idx,\n"); + push(@obst_classdef, "\tCLASS_$class_name = $class_idx,\n"); push(@obst_regclasses, "{ \"$class_name\", $numregs, NULL, ".$class_name."_regs }"); - # there is a default NORMAL requirement for each class - $tmp = "/* Default NORMAL register requirements for class $class_name */\n"; - $tmp .= "const $arch\_register_req_t $arch\_default_req_$class_name = {\n"; - $tmp .= " {\n"; - $tmp .= " arch_register_req_type_normal,\n"; - $tmp .= " $class_ptr,\n"; - $tmp .= " NULL, /* limit function */ \n"; - $tmp .= " NULL, /* limit environment */\n"; - $tmp .= " NULL, /* node for same */\n"; - $tmp .= " NULL /* node for different */\n"; - $tmp .= " },\n"; - $tmp .= " 0, /* same pos */\n"; - $tmp .= " 0 /* different pos */\n"; - $tmp .= "};\n\n"; - push(@obst_req, $tmp); - push(@obst_header_all, "extern const $arch\_register_req_t $arch\_default_req_$class_name;\n"); - my $idx = 0; - push(@obst_reginit, " /* Init of all registers in class '$class_name' */\n\n"); - push(@obst_reginit, " /* set largest possible mode for '$class_name' */\n"); - push(@obst_reginit, " $arch\_reg_classes[CLASS_".$class_name."].mode = $class_mode;\n\n"); + push(@obst_reginit, "\t/* Init of all registers in class '$class_name' */\n\n"); + push(@obst_reginit, "\t/* set largest possible mode for '$class_name' */\n"); + push(@obst_reginit, "\t$arch\_reg_classes[CLASS_".$class_name."].mode = $class_mode;\n\n"); push(@obst_regdef, "enum reg_".$class_name."_values {\n"); foreach (@class) { - # For each class we build for each of it's member registers a limit function - # which limits the class to this particular register. We also build the - # corresponding requirement structs. - # We need those functions to set register requirements on demand in transformation - # esp. for Call and RegParams where we can mix int and float parameters. - - my $limit_func_name = $arch."_limit_".$class_name."_".$_->{"name"}; - - # push the function prototype - $tmp = "void $limit_func_name(void *_unused, bitset_t *bs)"; - push(@obst_defreq_head, $tmp.";\n"); - - # push the function definition - $tmp .= " {\n"; - $tmp .= " bs = bitset_clear_all(bs);\n"; - $tmp .= " bitset_set(bs, REG_".uc($_->{"name"}).");\n"; # REGISTER to index assignment is done some lines down - $tmp .= "}\n\n"; - push(@obst_limit_func, $tmp); - - # push the default requirement struct - $tmp = "const $arch\_register_req_t $arch\_default_req_$class_name\_".$_->{"name"}." = {\n"; - $tmp .= " {\n"; - $tmp .= " arch_register_req_type_limited,\n"; - $tmp .= " $class_ptr,\n"; - $tmp .= " $limit_func_name,\n"; - $tmp .= " NULL, /* limit environment */\n"; - $tmp .= " NULL, /* node for same */\n"; - $tmp .= " NULL /* node for different */\n"; - $tmp .= " },\n"; - $tmp .= " 0, /* same pos */\n"; - $tmp .= " 0 /* different pos */\n"; - $tmp .= "};\n\n"; - push(@obst_req, $tmp); - push(@obst_header_all,"extern const $arch\_register_req_t $arch\_default_req_$class_name\_".$_->{"name"}.";\n"); + # realname is name if not set by user + $_->{"realname"} = $_->{"name"} if (! exists($_->{"realname"})); $reg2class{$_->{"name"}} = { "class" => $old_classname, "index" => $idx }; # remember reg to class for later use - push(@obst_regdef, " REG_".uc($_->{"name"})." = $idx,\n"); - push(@obst_reginit, " ".$class_name."_regs[$idx].name = \"".$_->{"name"}."\";\n"); - push(@obst_reginit, " ".$class_name."_regs[$idx].reg_class = $class_ptr;\n"); - push(@obst_reginit, " ".$class_name."_regs[$idx].index = $idx;\n"); - push(@obst_reginit, " ".$class_name."_regs[$idx].type = ".translate_reg_type($_->{"type"}).";\n"); + push(@obst_regdef, "\tREG_".uc($_->{"name"})." = $idx,\n"); + push(@obst_reginit, "\t${class_name}_regs[$idx].name = \"".$_->{"realname"}."\";\n"); + push(@obst_reginit, "\t${class_name}_regs[$idx].reg_class = $class_ptr;\n"); + push(@obst_reginit, "\t${class_name}_regs[$idx].index = $idx;\n"); + push(@obst_reginit, "\t${class_name}_regs[$idx].type = ".translate_reg_type($_->{"type"}).";\n"); + push(@obst_reginit, "\t${class_name}_regs[$idx].data = ".get_execunit_variable_name($_->{"unit"}).";\n"); push(@obst_reginit, "\n"); $idx++; } - push(@obst_regdef, " $numregs = $idx\n"); + $regclass2len{$old_classname} = $idx; + push(@obst_regdef, "\t$numregs = $idx\n"); push(@obst_regdef, "};\n\n"); $class_idx++; } -push(@obst_classdef, " N_CLASSES = ".scalar(keys(%reg_classes))."\n"); +push(@obst_classdef, "\tN_CLASSES = ".scalar(keys(%reg_classes))."\n"); push(@obst_classdef, "};\n\n"); # generate node-register constraints @@ -230,9 +175,6 @@ my $creation_time = localtime(time()); $tmp = uc($arch); print OUT<$target_h") || die("Could not open $target_h, reason: $!\n"); $creation_time = localtime(time()); print OUT< +#endif + +#include "gen_${arch}_regalloc_if.h" +#include "gen_${arch}_machine.h" +#include "bearch_${arch}_t.h" +#include "${arch}_map_regs.h" #include "irmode.h" +#ifdef BIT +#undef BIT +#endif +#define BIT(x) (1 << (x % 32)) + EOF -print OUT "arch_register_class_t $arch\_reg_classes[] = {\n ".join(",\n ", @obst_regclasses)."\n};\n\n"; +print OUT "arch_register_class_t ${arch}_reg_classes[] = {\n\t".join(",\n\t", @obst_regclasses)."\n};\n\n"; print OUT @obst_regtypes_def, "\n"; -print OUT "void ".$arch."_register_init(void *isa_ptr) {\n"; +print OUT "void ${arch}_register_init(void *isa_ptr) {\n"; print OUT @obst_reginit; print OUT "}\n\n"; @@ -350,11 +302,9 @@ sub build_inout_idx_class { if ($reqs[$idx] eq "none") { $class = "none"; - } - elsif (is_reg_class($reqs[$idx])) { + } elsif (is_reg_class($reqs[$idx])) { $class = $reqs[$idx]; - } - else { + } else { my @regs = split(/ /, $reqs[$idx]); GET_CLASS: foreach my $reg (@regs) { if ($reg =~ /!?(in|out)\_r\d+/ || $reg =~ /!in/) { @@ -395,39 +345,47 @@ sub generate_requirements { for (my $idx = 0; $idx <= $#reqs; $idx++) { my $class = undef; - my $tmp2 = "const $arch\_register_req_t _".$op."_reg_req_$inout\_$idx = "; - my $tmp = "#define ".$op."_reg_req_$inout\_$idx "; + my $tmp2 = "const arch_register_req_t ${op}_reg_req_${inout}_${idx} = "; if ($reqs[$idx] eq "none") { - $tmp .= "&$arch\_default_req_none\n"; - } - elsif ($reqs[$idx] =~ /^new_reg_(.*)$/) { + $tmp2 .= "{\n"; + $tmp2 .= "\tarch_register_req_type_none,\n"; + $tmp2 .= "\tNULL, /* regclass */\n"; + $tmp2 .= "\tNULL, /* limit bitset */\n"; + $tmp2 .= "\t-1, /* same pos */\n"; + $tmp2 .= "\t-1 /* different pos */\n"; + $tmp2 .= "};\n"; + + push(@obst_req, $tmp2."\n"); + push(@obst_header_t, "extern const arch_register_req_t ${op}_reg_req_${inout}_${idx};\n"); + } elsif ($reqs[$idx] =~ /^new_reg_(.*)$/) { if (is_reg_class($1)) { - $tmp .= "&_".$op."_reg_req_$inout\_$idx\n"; $tmp2 .= "{\n"; - $tmp2 .= " {\n"; - $tmp2 .= " arch_register_req_type_should_be_different_from_all,\n"; - $tmp2 .= " &$arch\_reg_classes[CLASS_$arch\_".$1."],\n"; - $tmp2 .= " NULL, /* limit function */\n"; - $tmp2 .= " NULL, /* limit environment */\n"; - $tmp2 .= " NULL, /* same node */\n"; - $tmp2 .= " NULL /* different node */\n"; - $tmp2 .= " },\n"; - $tmp2 .= " 0,\n"; - $tmp2 .= " 0\n"; + $tmp2 .= "\tarch_register_req_type_should_be_different_from_all,\n"; + $tmp2 .= "\t&${arch}_reg_classes[CLASS_${arch}_$1],\n"; + $tmp2 .= "\tNULL, /* limit bitset */\n"; + $tmp2 .= "\t-1, /* same pos */\n"; + $tmp2 .= "\t-1 /* different pos */\n"; $tmp2 .= "};\n"; push(@obst_req, $tmp2."\n"); - push(@obst_header_all, "extern const $arch\_register_req_t _".$op."_reg_req_$inout\_$idx;\n"); - } - else { + push(@obst_header_t, "extern const arch_register_req_t ${op}_reg_req_${inout}_${idx};\n"); + } else { print STDERR "Invalid register class '$1' given in OUT requirement $idx for '$op'.\n"; } - } - elsif (is_reg_class($reqs[$idx])) { - $tmp .= "&$arch\_default_req_".$arch."_".$reqs[$idx]."\n"; - } - else { + } elsif (is_reg_class($reqs[$idx])) { + my $class = $reqs[$idx]; + $tmp2 .= "{\n"; + $tmp2 .= "\tarch_register_req_type_normal,\n"; + $tmp2 .= "\t&${arch}_reg_classes[CLASS_${arch}_${class}],\n"; + $tmp2 .= "\tNULL, /* limit bitset */\n"; + $tmp2 .= "\t-1, /* same pos */\n"; + $tmp2 .= "\t-1 /* different pos */\n"; + $tmp2 .= "};\n"; + + push(@obst_req, $tmp2."\n"); + push(@obst_header_t, "extern const arch_register_req_t ${op}_reg_req_${inout}_${idx};\n"); + } else { my @req_type_mask; my ($class, $has_limit, $same_pos, $different_pos) = build_subset_class_func($n, $op, $idx, (($inout eq "in") ? 1 : 0), $reqs[$idx]); @@ -445,31 +403,22 @@ sub generate_requirements { if ($different_pos == 666) { push(@req_type_mask, "arch_register_req_type_should_be_different_from_all"); undef $different_pos; - } - else { + } else { push(@req_type_mask, "arch_register_req_type_should_be_different"); } } - $tmp .= "&_".$op."_reg_req_$inout\_$idx\n"; $tmp2 .= "{\n"; - $tmp2 .= " {\n"; - $tmp2 .= " ".join(" | ", @req_type_mask).",\n"; - $tmp2 .= " &$arch\_reg_classes[CLASS_$arch\_".$class."],\n"; - $tmp2 .= " ".($has_limit ? "limit_reg_".$op."_$inout\_".$idx : "NULL").",\n"; - $tmp2 .= " NULL, /* limit environment */\n"; - $tmp2 .= " NULL, /* same node */\n"; - $tmp2 .= " NULL /* different node */\n"; - $tmp2 .= " },\n"; - $tmp2 .= " ".(defined($same_pos) ? $same_pos : "0").",\n"; - $tmp2 .= " ".(defined($different_pos) ? $different_pos : "0")."\n"; + $tmp2 .= "\t".join(" | ", @req_type_mask).",\n"; + $tmp2 .= "\t&${arch}_reg_classes[CLASS_${arch}_${class}],\n"; + $tmp2 .= "\t".($has_limit ? "limit_reg_${op}_${inout}_${idx}" : "NULL").",\n"; + $tmp2 .= "\t".(defined($same_pos) ? $same_pos : "-1").",\n"; + $tmp2 .= "\t".(defined($different_pos) ? $different_pos : "-1")."\n"; $tmp2 .= "};\n"; push(@obst_req, $tmp2."\n"); - push(@obst_header_all, "extern const $arch\_register_req_t _".$op."_reg_req_$inout\_$idx;\n"); + push(@obst_header_t, "extern const arch_register_req_t ${op}_reg_req_${inout}_${idx};\n"); } - - push(@obst_requirement_def, $tmp); } } @@ -521,7 +470,7 @@ sub build_subset_class_func { my @obst_init; my @obst_limits; my @obst_ignore; - + my @limit_array; # build function header my $n = shift; @@ -568,13 +517,11 @@ CHECK_REQS: foreach (@regs) { if (!defined($neg)) { $has_limit = 1; - push(@obst_init, " bs = bitset_set_all(bs); /* allow all register (negative constraints given) */\n"); } $_ = substr($_, 1); # skip '!' $neg = 1; - } - else { + } else { if (defined($neg) && $neg == 1) { # we have seen a negative constraint as first one but this one is positive # this doesn't make sense @@ -582,10 +529,7 @@ CHECK_REQS: foreach (@regs) { return (undef, undef, undef, undef); } - if (!defined($neg)) { - $has_limit = 1; - push(@obst_init, " bs = bitset_clear_all(bs); /* disallow all register (positive constraints given) */\n"); - } + $has_limit = 1; $neg = 0; } @@ -599,41 +543,94 @@ CHECK_REQS: foreach (@regs) { # set class if (!defined($class)) { $class = $temp; - } - elsif ($class ne $temp) { + } elsif ($class ne $temp) { # all registers must belong to the same class print STDERR "Registerclass mismatch. '$_' is not member of class '$class'.\n"; return (undef, undef, undef, undef); } - if ($neg == 1) { - $has_limit = 1; - push(@obst_limits, " bitset_clear(bs, ".get_reg_index($_)."); /* disallow $_ */\n"); - } - else { - $has_limit = 1; - push(@obst_limits, " bitset_set(bs, ".get_reg_index($_)."); /* allow $_ */\n"); - } + # calculate position inside the initializer bitfield (only 32 bits per + # element) + my $regidx = get_reg_index($_); + my $arrayp = $regidx / 32; + push(@{$limit_array[$arrayp]}, $_); } - my @cur_class = @{ $reg_classes{"$class"} }; - for (my $idx = 0; $idx <= $#cur_class; $idx++) { - if (defined($cur_class[$idx]{"type"}) && ($cur_class[$idx]{"type"} & 4)) { - push(@obst_ignore, " bitset_clear(bs, ".get_reg_index($cur_class[$idx]{"name"}).");"); - push(@obst_ignore, " /* disallow ignore reg ".$cur_class[$idx]{"name"}." */\n"); + # don't allow ignore regs in negative constraints + if($neg) { + my @cur_class = @{ $reg_classes{"$class"} }; + for (my $idx = 0; $idx <= $#cur_class; $idx++) { + if (defined($cur_class[$idx]{"type"}) && ($cur_class[$idx]{"type"} & 4)) { + my $reg = $cur_class[$idx]{"name"}; + my $regix = get_reg_index($reg); + my $arrayp = $regix / 32; + push(@{$limit_array[$arrayp]}, $reg); + } } } if ($has_limit == 1) { - push(@obst_header_all, "void limit_reg_".$op."_".($in ? "in" : "out")."_".$idx."(void *_unused, bitset_t *bs);\n"); - - push(@obst_limit_func, "/* limit the possible registers for ".($in ? "IN" : "OUT")." $idx at op $op */\n"); - push(@obst_limit_func, "void limit_reg_".$op."_".($in ? "in" : "out")."_".$idx."(void *_unused, bitset_t *bs) {\n"); - push(@obst_limit_func, @obst_init); - push(@obst_limit_func, @obst_ignore); - push(@obst_limit_func, @obst_limits); - push(@obst_limit_func, "}\n\n"); + push(@obst_limit_func, "static const unsigned limit_reg_${op}_".($in ? "in" : "out")."_${idx}[] = { "); + my $first = 1; + my $limitbitsetlen = $regclass2len{$class}; + my $limitarraylen = $limitbitsetlen / 32 + ($limitbitsetlen % 32 > 0 ? 1 : 0); + for(my $i = 0; $i < $limitarraylen; $i++) { + my $limitarraypart = $limit_array[$i]; + if($first) { + $first = 0; + } else { + push(@obst_limit_func, ", "); + } + my $temp; + if($neg) { + $temp = "0xFFFFFFFF"; + } + foreach my $reg (@{$limitarraypart}) { + if($neg) { + $temp .= " & ~"; + } elsif(defined($temp)) { + $temp .= " | "; + } + $temp .= "BIT(REG_".uc(${reg}).")"; + } + if(defined($temp)) { + push(@obst_limit_func, "${temp}"); + } else { + push(@obst_limit_func, "0"); + } + } + push(@obst_limit_func, " };\n"); } return ($class, $has_limit, $same_pos, $different_pos); } + +### +# Gets the variable name for the execution unit assigned to this register. +### +sub get_execunit_variable_name { + my $unit = shift; + my $name = "NULL"; + my $uc_arch = uc($arch); + + if ($unit) { + my $found = 0; +SRCH: foreach my $cur_type (keys(%cpu)) { + foreach my $cur_unit (@{ $cpu{"$cur_type"} }) { + if ($unit eq $cur_unit) { + my $tp_name = "$arch\_execution_units_$cur_type"; + my $unit_name = "$uc_arch\_EXECUNIT_TP_$cur_type\_$unit"; + $name = "&".$tp_name."[".$unit_name."]"; + $found = 1; + last SRCH; + } + } + } + + if (! $found) { + print STDERR "Invalid execution unit $unit specified!\n"; + } + } + + return $name; +}