-
-###
-# Remember the register class for each index in the given requirements.
-# We need this information for requirements like "in_sX" or "out_dX"
-# @return array of classes corresponding to the requirement for each index
-###
-sub build_inout_idx_class {
- my $n = shift;
- my $op = shift;
- my $inout = shift;
- my @idx_class;
-
- if (exists($n->{"reg_req"}{"$inout"})) {
- my @reqs = @{ $n->{"reg_req"}{"$inout"} };
-
- for (my $idx = 0; $idx <= $#reqs; $idx++) {
- my $class = undef;
-
- if ($reqs[$idx] eq "none") {
- $class = "none";
- }
- elsif (is_reg_class($reqs[$idx])) {
- $class = $reqs[$idx];
- }
- else {
- my @regs = split(/ /, $reqs[$idx]);
-GET_CLASS: foreach my $reg (@regs) {
- if ($reg =~ /!?(in|out)\_r\d+/) {
- $class = "UNKNOWN_CLASS";
- }
- else {
- $class = get_reg_class($reg);
- if (!defined $class) {
- die("Could not get ".uc($inout)." register class for '$op' pos $idx (reg $reg) ... exiting.\n");
- }
- else {
- last GET_CLASS;
- } # !defined class
- } # if (reg =~ ...
- } # foreach
- } # if
-
- push(@idx_class, $class);
- } # for
- } # if
-
- return @idx_class;
-}
-
-###
-# Generates the requirements for the given description
-###
-sub generate_requirements {
- my $n = shift;
- my $op = shift;
- my $inout = shift;
-
- # get classes for the complementary direction
- my $outin = ($inout eq "in") ? "out" : "in";
-
- my @reqs = @{ $n->{"reg_req"}{"$inout"} };
-
- for (my $idx = 0; $idx <= $#reqs; $idx++) {
- my $class = undef;
-
- my $tmp2 = "const $arch\_register_req_t _".$op."_reg_req_$inout\_$idx = ";
- my $tmp = "const $arch\_register_req_t *".$op."_reg_req_$inout\_$idx = ";
-
- push(@obst_header_all, "extern const $arch\_register_req_t *".$op."_reg_req_$inout\_$idx;\n");
-
- if ($reqs[$idx] eq "none") {
- $tmp .= "&$arch\_default_req_none;\n";
- }
- elsif (is_reg_class($reqs[$idx])) {
- $tmp .= "&$arch\_default_req_".$arch."_".$reqs[$idx].";\n";
- }
- else {
- my @req_type_mask;
- my ($class, $has_limit, $pos, $same) = build_subset_class_func($n, $op, $idx, (($inout eq "in") ? 1 : 0), $reqs[$idx]);
- if (!defined($class)) {
- die("Could not build subset for ".uc($inout)." requirements '$op' pos $idx ... exiting.\n");
- }
- if ($has_limit) {
- push(@req_type_mask, "arch_register_req_type_limited");
- }
- if (defined($pos)) {
- push(@req_type_mask, "arch_register_req_type_should_be_".($same ? "same" : "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\n";
- $tmp2 .= " },\n";
- $tmp2 .= " ".(defined($pos) ? $pos : "0")."\n};\n";
-
- $tmp = $tmp2.$tmp;
- }
-
- push(@obst_req, $tmp."\n");
- }
-
-}
-
-###
-# Determines whether $name is a specified register class or not.
-# @return 1 if name is register class, 0 otherwise
-###
-sub is_reg_class {
- my $name = shift;
- return 1 if exists($reg_classes{"$name"});
- return 0;
-}
-
-###
-# Returns the register class for a given register.
-# @return class or undef
-###
-sub get_reg_class {
- my $reg = shift;
- return $reg2class{"$reg"}{"class"} if (exists($reg2class{"$reg"}));
- return undef;
-}
-
-###
-# Returns the index of a given register within it's register class.
-# @return index or undef
-###
-sub get_reg_index {
- my $reg = shift;
- return $reg2class{"$reg"}{"index"} if (exists($reg2class{"$reg"}));
- return undef;
-}
-
-###
-# Generates the function for a given $op and a given IN-index
-# which returns a subset of possible register from a register class
-# @return classname from which the subset is derived or undef and
-# pos which corresponds to in/out reference position or undef
-###
-sub build_subset_class_func {
- my $neg = undef;
- my $class = undef;
- my $temp;
- my $has_limit = 0;
-
- # build function header
- my $n = shift;
- my $op = shift;
- my $idx = shift;
- my $in = shift;
- my $pos = undef;
- my $same = 1;
-
- my @temp_obst;
-
- my $outin = $in ? "out" : "in";
- my @regs = split(/ /, shift);
-
- my @idx_class = build_inout_idx_class($n, $op, $outin);
-
- # set/unset registers
-CHECK_REQS: foreach (@regs) {
- if (/(!)?$outin\_r(\d+)/) {
- if (defined($pos)) {
- print STDERR "Multiple in/out references in one requirement not allowed.\n";
- return (undef, undef, undef, undef);
- }
- $same = 0 if ($1);
- $class = $idx_class[$2 - 1];
- $pos = $in ? -$2 : $2 - 1;
- next CHECK_REQS;
- }
-
- # check for negate
- if (substr($_, 0, 1) eq "!") {
- if (defined($neg) && $neg == 0) {
- # we have seen a positiv constraint as first one but this one is negative
- # this doesn't make sense
- print STDERR "Mixed positive and negative constraints for the same slot are not allowed.\n";
- return (undef, undef, undef, undef);
- }
-
- if (!defined($neg)) {
- $has_limit = 1;
- push(@temp_obst, " bs = bitset_set_all(bs); /* allow all register (negative constraints given) */\n");
- }
-
- $_ = substr($_, 1); # skip '!'
- $neg = 1;
- }
- 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
- print STDERR "Mixed positive and negative constraints for the same slot are not allowed.\n";
- return (undef, undef, undef, undef);
- }
-
- if (!defined($neg)) {
- $has_limit = 1;
- push(@temp_obst, " bs = bitset_clear_all(bs); /* disallow all register (positive constraints given) */\n");
- }
- $neg = 0;
- }
-
- # check if register belongs to one of the given classes
- $temp = get_reg_class($_);
- if (!defined($temp)) {
- print STDERR "Unknown register '$_'!\n";
- return (undef, undef, undef, undef);
- }
-
- # set class
- if (!defined($class)) {
- $class = $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(@temp_obst, " bitset_clear(bs, ".get_reg_index($_)."); /* disallow $_ */\n");
- }
- else {
- $has_limit = 1;
- push(@temp_obst, " bitset_set(bs, ".get_reg_index($_)."); /* allow $_ */\n");
- }
- }
-
- if ($has_limit == 1) {
- 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."(const ir_node *irn, int pos, bitset_t *bs) {\n");
- push(@obst_limit_func, @temp_obst);
- push(@obst_limit_func, "}\n\n");
- }
-
- return ($class, $has_limit, $pos, $same);
-}