Added phi handler

[libfirm] / ir / be / scripts / generate_regalloc_if.pl

diff --git a/ir/be/scripts/generate_regalloc_if.pl b/ir/be/scripts/generate_regalloc_if.pl
index 12a14e8..ba1499a 100755 (executable)
--- a/ir/be/scripts/generate_regalloc_if.pl
+++ b/ir/be/scripts/generate_regalloc_if.pl
@@ -32,25 +32,31 @@ my $target_c   = $target_dir."/gen_".$arch."_regalloc_if.c";
 my $target_h   = $target_dir."/gen_".$arch."_regalloc_if.h";
 my $target_h_t = $target_dir."/gen_".$arch."_regalloc_if_t.h";
 
-# helper array
-my @rt = ("arch_register_type_none",           # 0
-          "arch_register_type_caller_save",    # 1
-          "arch_register_type_callee_save",    # 2
-                 "",
-                 "arch_register_type_ignore",         # 4
-                 "",
-                 "",
-                 "",
-          "arch_register_type_sp",             # 8
-                 "",
-                 "",
-                 "",
-                 "",
-                 "",
-                 "",
-                 "",
-                 "arch_register_type_bp"              # 16
-                 );
+# helper function
+sub translate_reg_type {
+       my $t = shift;
+
+       if ($t == 0) {
+               return "arch_register_type_none";
+       }
+       else {
+               my @types;
+
+               if ($t & 1) {
+                       push(@types, "arch_register_type_caller_save");
+               }
+
+               if ($t & 2) {
+                       push(@types, "arch_register_type_callee_save");
+               }
+
+               if ($t & 4) {
+                       push(@types, "arch_register_type_ignore");
+               }
+
+               return join(" | ", @types);
+       }
+}
 
 # stacks for output
 my @obst_regtypes;     # stack for the register type variables
@@ -62,7 +68,6 @@ 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_projnum_map;  # stack for mapping register projnums to requirements
 my @obst_requirement_def;  # stack for requirement name defines
 
 my $numregs;
@@ -92,7 +97,6 @@ push(@obst_header_all, "extern const $arch\_register_req_t $arch\_default_req_no
 
 push(@obst_classdef, "#define N_CLASSES ".scalar(keys(%reg_classes))."\n");
 
-my $global_projnum_idx = 0;
 my $class_mode;
 
 # generate register type and class variable, init function and default requirements
@@ -173,13 +177,7 @@ foreach my $class_name (keys(%reg_classes)) {
                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      = ".$rt[$_->{"type"}].";\n");
-               if ($_->{"type"} == 2) {
-                       # this is a caller saved register
-                       push(@obst_reginit, "  ia32_set_reg_projnum(&".$class_name."_regs[$idx], $global_projnum_idx, isa->reg_projnum_map);\n");
-                       push(@obst_projnum_map, "&$arch\_default_req_$class_name\_".$_->{"name"});
-                       $global_projnum_idx++;
-               }
+               push(@obst_reginit, "  ".$class_name."_regs[$idx].type      = ".translate_reg_type($_->{"type"}).";\n");
                push(@obst_reginit, "\n");
                $idx++;
        }
@@ -187,10 +185,6 @@ foreach my $class_name (keys(%reg_classes)) {
        $class_idx++;
 }
 
-push(@obst_regdef, "\n#define N_CALLER_SAVE_REGS ".scalar(@obst_projnum_map)."\n");
-
-push(@obst_header_all, "\nextern const $arch\_register_req_t *$arch\_projnum_reg_req_map[N_CALLER_SAVE_REGS];\n\n");
-
 # generate node-register constraints
 foreach my $op (keys(%nodes)) {
        my %n = %{ $nodes{"$op"} };
@@ -303,18 +297,15 @@ print OUT<<EOF;
  */
 
 #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"
+#include "bearch_$arch\_t.h"   /* we need this to put the caller saved registers into the isa set */
+#include "$arch\_map_regs.h"
 #include "irmode.h"
 
 EOF
 
 print OUT "arch_register_class_t $arch\_reg_classes[] = {\n  ".join(",\n  ", @obst_regclasses)."\n};\n\n";
 
-print OUT "const $arch\_register_req_t *$arch\_projnum_reg_req_map[] = {\n  ".join(",\n  ", @obst_projnum_map)."\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_reginit;
 print OUT "}\n\n";
 
@@ -394,6 +385,29 @@ sub generate_requirements {
                if ($reqs[$idx] eq "none") {
                        $tmp .= "&$arch\_default_req_none\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 .= "};\n";
+
+                               push(@obst_req, $tmp2."\n");
+                               push(@obst_header_all, "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";
                }
@@ -454,6 +468,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;
 }
@@ -498,7 +513,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);
                        }