added new licence header
[libfirm] / ir / be / scripts / generate_regalloc_if.pl
index 45c1054..6043999 100755 (executable)
@@ -1,13 +1,32 @@
 #!/usr/bin/perl -w
 
-# This script generates C code which emits assembler code for the
-# assembler ir nodes. It takes a "emit" key from the node specification
-# and substitutes lines starting with . with a corresponding fprintf().
+#
+# Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+#
+# This file is part of libFirm.
+#
+# This file may be distributed and/or modified under the terms of the
+# GNU General Public License version 2 as published by the Free Software
+# Foundation and appearing in the file LICENSE.GPL included in the
+# packaging of this file.
+#
+# Licensees holding valid libFirm Professional Edition licenses may use
+# this file in accordance with the libFirm Commercial License.
+# Agreement provided with the Software.
+#
+# This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+# WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+# PURPOSE.
+#
+
+# This script generates C code which creates ands sets up functions and
+# data structures for the register allocator.
 # Creation: 2005/11/14
 # $Id$
 
 use strict;
 use Data::Dumper;
+use integer;
 
 my $specfile   = $ARGV[0];
 my $target_dir = $ARGV[1];
@@ -15,16 +34,18 @@ my $target_dir = $ARGV[1];
 our $arch;
 our %reg_classes;
 our %nodes;
+our %cpu;
+our %flags = ();
 
 # 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;
-       warn "couldn't run $specfile"       unless $return;
+       die "couldn't parse $specfile: $@" if $@;
+       die "couldn't do $specfile: $!"    unless defined $return;
+       die "couldn't run $specfile"       unless $return;
 }
 use strict "subs";
 
@@ -54,21 +75,33 @@ sub translate_reg_type {
                        push(@types, "arch_register_type_ignore");
                }
 
+               if ($t & 8) {
+                       push(@types, "arch_register_type_joker");
+               }
+
+               if ($t & 16) {
+                       push(@types, "arch_register_type_virtual");
+               }
+
+               if ($t & 32) {
+                       push(@types, "arch_register_type_state");
+               }
+
                return join(" | ", @types);
        }
 }
 
 # stacks for output
-my @obst_regtypes;     # stack for the register type variables
+my @obst_regtypes_def; # stack for the register type variables definitions
+my @obst_regtypes_decl;# stack for the register type variables declarations
 my @obst_regclasses;   # stack for the register class variables
 my @obst_classdef;     # stack to define a name for a class index
 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;
@@ -77,28 +110,19 @@ my $class_idx = 0;
 my $tmp;
 
 my %reg2class;
+my %regclass2len;
 
-# 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");
-
-push(@obst_classdef, "#define N_CLASSES ".scalar(keys(%reg_classes))."\n");
+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"} };
@@ -109,85 +133,70 @@ foreach my $class_name (keys(%reg_classes)) {
        $class_ptr  = "&".$arch."_reg_classes[CLASS_".$class_name."]";
        $class_mode = pop(@class)->{"mode"};
 
-       push(@obst_regtypes, "#define $numregs ".($#class + 1)."\n");
-       push(@obst_regtypes, "arch_register_t ".$class_name."_regs[$numregs];\n\n");
+       push(@obst_regtypes_decl, "extern const arch_register_t ${class_name}_regs[$numregs];\n");
 
-       push(@obst_classdef, "#define 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/* 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_regtypes_def, "const arch_register_t ${class_name}_regs[$numregs] = {\n");
+
+       push(@obst_regdef, "enum reg_${class_name}_indices {\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");
+               my $ucname = uc($_->{"name"});
+               my $type = translate_reg_type($_->{"type"});
+               # realname is name if not set by user
+               $_->{"realname"} = $_->{"name"} if (! exists($_->{"realname"}));
+               my $realname = $_->{realname};
+               my $execunitvarname = get_execunit_variable_name($_->{"unit"});
+
 
                $reg2class{$_->{"name"}} = { "class" => $old_classname, "index" => $idx }; # remember reg to class for later use
-               push(@obst_regdef, "#define 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_reginit, "\n");
+               push(@obst_regdef, "\tREG_${ucname},\n");
+
+               push(@obst_regtypes_def, "\t{\n");
+               push(@obst_regtypes_def, "\t\t\"$realname\",\n");
+               push(@obst_regtypes_def, "\t\t$class_ptr,\n");
+               push(@obst_regtypes_def, "\t\tREG_${ucname},\n");
+               push(@obst_regtypes_def, "\t\t$type,\n");
+               push(@obst_regtypes_def, "\t\t$execunitvarname\n");
+               push(@obst_regtypes_def, "\t},\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_regtypes_def, "};\n");
+
+       $regclass2len{$old_classname} = $idx;
+       push(@obst_regdef, "\t$numregs = $idx\n");
+       push(@obst_regdef, "};\n\n");
 
        $class_idx++;
 }
 
+push(@obst_regdef, "enum flag_indices {\n");
+foreach my $flag (keys(%flags)) {
+       my %f = %{ $flags{$flag} };
+
+       push(@obst_regdef, "\tFLAG_$flag,\n");
+}
+push(@obst_regdef, "\tFLAG_LAST\n");
+push(@obst_regdef, "};\n");
+push(@obst_regtypes_decl, "extern arch_flag_t ${arch}_flags[];\n");
+
+push(@obst_classdef, "\tN_CLASSES = ".scalar(keys(%reg_classes))."\n");
+push(@obst_classdef, "};\n\n");
+
 # generate node-register constraints
 foreach my $op (keys(%nodes)) {
-       my %n = %{ $nodes{"$op"} };
+       my %n = %{ $nodes{$op} };
 
        next if (!exists($n{"reg_req"}));
 
@@ -216,9 +225,6 @@ my $creation_time = localtime(time());
 $tmp = uc($arch);
 
 print OUT<<EOF;
-#ifndef _GEN_$tmp\_REGALLOC_IF_T_H_
-#define _GEN_$tmp\_REGALLOC_IF_T_H_
-
 /**
  * Generated register classes from spec.
  *
@@ -227,10 +233,14 @@ print OUT<<EOF;
  * created by: $0 $specfile $target_dir
  * date:       $creation_time
  */
+#ifndef _GEN_${tmp}_REGALLOC_IF_T_H_
+#define _GEN_${tmp}_REGALLOC_IF_T_H_
+
+#include "gen_${arch}_regalloc_if.h"
 
 EOF
 
-print OUT @obst_requirement_def;
+print OUT @obst_header_t;
 
 print OUT "\n#endif /* _GEN_$tmp\_REGALLOC_IF_T_H_ */\n";
 
@@ -242,9 +252,6 @@ open(OUT, ">$target_h") || die("Could not open $target_h, reason: $!\n");
 $creation_time = localtime(time());
 
 print OUT<<EOF;
-#ifndef _GEN_$tmp\_REGALLOC_IF_H_
-#define _GEN_$tmp\_REGALLOC_IF_H_
-
 /**
  * Contains additional external requirements defs for external includes.
  *
@@ -253,9 +260,11 @@ print OUT<<EOF;
  * created by: $0 $specfile $target_dir
  * date:       $creation_time
  */
+#ifndef _GEN_${tmp}_REGALLOC_IF_H_
+#define _GEN_${tmp}_REGALLOC_IF_H_
 
 #include "../bearch.h"
-#include "$arch\_nodes_attr.h"
+#include "${arch}_nodes_attr.h"
 
 EOF
 
@@ -263,7 +272,7 @@ print OUT @obst_regdef, "\n";
 
 print OUT @obst_classdef, "\n";
 
-print OUT @obst_regtypes, "\n";
+print OUT @obst_regtypes_decl, "\n";
 
 print OUT "extern arch_register_class_t $arch\_reg_classes[N_CLASSES];\n\n";
 
@@ -271,15 +280,13 @@ print OUT "void ".$arch."_register_init(void *isa_ptr);\n\n";
 
 print OUT @obst_header_all, "\n";
 
-print OUT @obst_defreq_head, "\n";
-
 print OUT "\n#endif /* _GEN_$tmp\_REGALLOC_IF_H_ */\n";
 
 close(OUT);
 
 
 
-# generate c inline file
+# generate c file
 open(OUT, ">$target_c") || die("Could not open $target_c, reason: $!\n");
 
 $creation_time = localtime(time());
@@ -295,18 +302,28 @@ print OUT<<EOF;
  * created by: $0 $specfile $target_dir
  * date:       $creation_time
  */
-
-#include "gen_$arch\_regalloc_if.h"
-#include "bearch_ia32_t.h"   /* we need this to put the caller saved registers into the isa set */
-#include "ia32_map_regs.h"
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#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 "void ".$arch."_register_init(void *isa_ptr) {\n";
-print OUT "  ia32_isa_t *isa = (ia32_isa_t *)isa_ptr;\n\n";
+print OUT @obst_regtypes_def, "\n";
+
+print OUT "void ${arch}_register_init(void *isa_ptr) {\n";
 print OUT @obst_reginit;
 print OUT "}\n\n";
 
@@ -335,14 +352,12 @@ 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+/) {
+                                       if ($reg =~ /!?(in|out)\_r\d+/ || $reg =~ /!in/) {
                                                $class = "UNKNOWN_CLASS";
                                        }
                                        else {
@@ -380,16 +395,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 (is_reg_class($reqs[$idx])) {
-                       $tmp .= "&$arch\_default_req_".$arch."_".$reqs[$idx]."\n";
-               }
-               else {
+                       $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)) {
+                               $tmp2 .= "{\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_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])) {
+                       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]);
 
@@ -404,28 +450,25 @@ sub generate_requirements {
                                push(@req_type_mask, "arch_register_req_type_should_be_same");
                        }
                        if (defined($different_pos)) {
-                               push(@req_type_mask, "arch_register_req_type_should_be_different");
+                               if ($different_pos == 666) {
+                                       push(@req_type_mask, "arch_register_req_type_should_be_different_from_all");
+                                       undef $different_pos;
+                               } 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);
        }
 
 }
@@ -446,6 +489,7 @@ sub is_reg_class {
 ###
 sub get_reg_class {
        my $reg = shift;
+       $reg = substr($reg, 1) if ($reg =~ /!.*/);
        return $reg2class{"$reg"}{"class"} if (exists($reg2class{"$reg"}));
        return undef;
 }
@@ -473,8 +517,10 @@ sub build_subset_class_func {
        my $same_pos      = undef;
        my $different_pos = undef;
        my $temp;
-       my @temp_obst;
-
+       my @obst_init;
+       my @obst_limits;
+       my @obst_ignore;
+       my @limit_array;
 
        # build function header
        my $n   = shift;
@@ -490,7 +536,7 @@ sub build_subset_class_func {
        # set/unset registers
 CHECK_REQS: foreach (@regs) {
                if (/(!)?$outin\_r(\d+)/) {
-                       if (($1 && defined($different_pos)) || defined($same_pos)) {
+                       if (($1 && defined($different_pos)) || (!$1 && defined($same_pos))) {
                                print STDERR "Multiple in/out references of same type in one requirement not allowed.\n";
                                return (undef, undef, undef, undef);
                        }
@@ -505,6 +551,10 @@ CHECK_REQS: foreach (@regs) {
                        $class = $idx_class[$2 - 1];
                        next CHECK_REQS;
                }
+               elsif (/!in/) {
+                       $class = $idx_class[0];
+                       return ($class, 0, undef, 666);
+               }
 
                # check for negate
                if (substr($_, 0, 1) eq "!") {
@@ -517,13 +567,11 @@ CHECK_REQS: foreach (@regs) {
 
                        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 {
+               } 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
@@ -531,10 +579,7 @@ CHECK_REQS: foreach (@regs) {
                                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");
-                       }
+                       $has_limit = 1;
                        $neg = 0;
                }
 
@@ -548,31 +593,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(@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");
+               # calculate position inside the initializer bitfield (only 32 bits per
+               # element)
+               my $regidx = get_reg_index($_);
+               my $arrayp = $regidx / 32;
+               push(@{$limit_array[$arrayp]}, $_);
+       }
+
+       # 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, @temp_obst);
-               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;
+}