X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fscripts%2Fgenerate_emitter.pl;h=42d1d8b2794305ac03727083162166bbe686be2f;hb=8535fe8732b0acf822be252812a7158ce5b8134a;hp=cf744e6ee07f284865df388f1fdbd3aceadf22e5;hpb=9b95a289a8728a0fd40d3693a6ce125e242f4443;p=libfirm

diff --git a/ir/be/scripts/generate_emitter.pl b/ir/be/scripts/generate_emitter.pl
index cf744e6ee..42d1d8b27 100755
--- a/ir/be/scripts/generate_emitter.pl
+++ b/ir/be/scripts/generate_emitter.pl
@@ -8,12 +8,17 @@
 
 use strict;
 use Data::Dumper;
+use File::Basename;
 
-my $specfile   = $ARGV[0];
-my $target_dir = $ARGV[1];
+my $myname = $0;
+our $specfile   = $ARGV[0];
+our $target_dir = $ARGV[1];
 
 our $arch;
+our $comment_string = "/*";
+our $comment_string_end = "*/" ;
 our %nodes;
+our $new_emit_syntax = 0;
 
 # include spec file
 
@@ -21,138 +26,128 @@ my $return;
 
 no 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;
+	warn "couldn't parse $specfile: $@" if $@;
+	warn "couldn't do $specfile: $!"    unless defined $return;
+	warn "couldn't run $specfile"       unless $return;
 }
 use strict "subs";
 
+if ($new_emit_syntax) {
+	my $newscript = dirname($myname) . "/generate_emitter_new.pl";
+	unless ($return = do "$newscript") {
+		warn "couldn't parse $newscript: $@" if $@;
+		warn "couldn't do $newscript: $!"    unless defined $return;
+		warn "couldn't run $newscript"       unless $return;
+	}
+	exit;
+}
+
+my $comment_string_quoted = quotemeta($comment_string);
+
 my $target_c = $target_dir."/gen_".$arch."_emitter.c";
 my $target_h = $target_dir."/gen_".$arch."_emitter.h";
 
 # stacks for output
 my @obst_func;   # stack for the emit functions
-my @obst_header;  # stack for the function prototypes
+my @obst_register;  # stack for emitter register code
 my $line;
 
-# some default emitter functions (Copy, Perm)
-
-$line  = "#undef is_ia32_Perm\n";
-$line .= "#define is_ia32_Perm(irn) (arch_irn_classify(arch_env, irn) == arch_irn_class_perm && ! is_Proj(irn))\n";
-$line .= "#undef is_ia32_Copy\n";
-$line .= "#define is_ia32_Copy(irn) (arch_irn_classify(arch_env, irn) == arch_irn_class_copy)\n";
-push(@obst_header, $line."\n");
-
-$line = "void emit_".$arch."_Copy(ir_node *n, emit_env_t *env)";
-push(@obst_header, $line.";\n");
-$line .= " {\n  FILE *F = env->out;\n";
-$line .= '  lc_efprintf(ia32_get_arg_env(), F, "\tmov %1S, %1D\t\t\t/* %+F */\n", n, n, n);'."\n}\n\n";
-push(@obst_func, $line);
-
-$line = "void emit_".$arch."_Perm(ir_node *n, emit_env_t *env)";
-push(@obst_header, $line.";\n");
-$line .= " {\n  FILE *F = env->out;\n";
-$line .= '  lc_efprintf(ia32_get_arg_env(), F, "\txchg %1S, %1D\t\t\t/* %+F */\n", n, n, n);'."\n}\n\n";
-push(@obst_func, $line);
-
 foreach my $op (keys(%nodes)) {
-  my %n = %{ $nodes{"$op"} };
-
-  # skip this node description if no emit information is available
-  next if (!$n{"emit"} || length($n{"emit"}) < 1);
-
-  $line = "void emit_".$arch."_".$op."(ir_node *n, emit_env_t *env)";
-  push(@obst_header, $line.";\n");
-  push(@obst_func, $line." {\n  FILE *F = env->out;\n");
-
-  my $cio = 0;
-  # check in/out register if needed
-  if (exists($n{"check_inout"}) && $n{"check_inout"} == 1) {
-    push(@obst_func, "  equalize_dest_src(F, n);\n\n");
-    $cio = 1;
-  }
-
-  my @emit = split(/\n/, $n{"emit"});
-
-  foreach my $template (@emit) {
-    # substitute only lines, starting with a '.'
-    if ($template =~ /^(\d*)\.\s*/) {
-      my @params;
-      my $res    = "";
-      my $res2   = "";
-      my $indent = "  "; # default indent is 2 spaces
-
-      $indent = " " x $1 if ($1 && $1 > 0);
-      # remove indent, dot and trailing spaces
-      $template =~ s/^\d*\.\s*//;
-      # substitute all format parameter
-      while ($template =~ /\%(([ASD])(\d)|([COM]))/) {
-        $res  .= $`;      # get everything before the match
-        $res2 .= $`;
-
-        if ($4 && $4 eq "C") {
-          push(@params, "n");
-          $res  .= "\%C";
-          $res2 .= "\%C";
-        }
-        elsif ($4 && $4 eq "O") {
-          push(@params, "n");
-          $res  .= "\%O";
-          $res2 .= "\%O";
-        }
-        elsif ($4 && $4 eq "M") {
-          push(@params, "n");
-          $res  .= "\%M";
-          $res2 .= "\%M";
-        }
-        elsif ($2 && $2 eq "S") {
-          push(@params, "n");
-          if ($cio && $3 == 2) {
-            # check_in_out was set: if (s1 != d1) we
-            # need to exchange s2 by s1
-            $res2 .= "%1S"; # get name for first register
-          }
-          else {
-            $res2 .= "%".$3."S"; # substitute %sx with %xs
-          }
-          $res .= "%".$3."S"; # substitute %sx with %xs
-        }
-        elsif ($2 && $2 eq "D") {
-          push(@params, "n");
-          $res  .= "%".$3."D"; # substitute %sx with %xs
-          $res2 .= "%".$3."D"; # substitute %sx with %xs
-        }
-        elsif ($2 && $2 eq "A") {
-          push(@params, "get_irn_n(n, ".($3 - 1).")");
-          $res  .= "%+F";
-          $res2 .= "%+F";
-        }
-
-        $template = $'; # scan everything after the match
-      }
-      $res  .= $template; # get the remaining string
-      $res2 .= $template; # get the remaining string
-
-      my $parm = "";
-      $parm = ", ".join(", ", @params) if (@params);
-
-      if ($cio) {
-        push(@obst_func, $indent."if (get_irn_arity(n) > 1 && get_$arch\_reg_nr(n, 1, 1) == get_$arch\_reg_nr(n, 0, 0)) {\n");
-        push(@obst_func, $indent.'  lc_efprintf(ia32_get_arg_env(), F, "\t'.$res2.'\n"'.$parm.');'."\n");
-        push(@obst_func, $indent."}\n");
-        push(@obst_func, $indent."else {\n");
-        push(@obst_func, $indent.'  lc_efprintf(ia32_get_arg_env(), F, "\t'.$res.'\n"'.$parm.');'."\n");
-        push(@obst_func, $indent."}\n");
-      }
-      else {
-        push(@obst_func, $indent.'lc_efprintf(ia32_get_arg_env(), F, "\t'.$res.'\n"'.$parm.');'."\n");
-      }
-    }
-    else {
-      push(@obst_func, $template,"\n");
-    }
-  }
-  push(@obst_func, "}\n\n");
+	my %n = %{ $nodes{"$op"} };
+
+	# skip this node description if no emit information is available
+	next if (!defined($n{"emit"}));
+
+	$line = "static void emit_".$arch."_".$op."(const ir_node *n, $arch\_emit_env_t *env)";
+
+	push(@obst_register, "  BE_EMIT($op);\n");
+
+	if($n{"emit"} eq "") {
+		push(@obst_func, $line." {\n");
+		push(@obst_func, "}\n\n");
+		next;
+	}
+
+	push(@obst_func, $line." {\n  FILE *F = env->out;\n");
+	push(@obst_func, "  char cmd_buf[256], cmnt_buf[256];\n");
+	push(@obst_func, "  const lc_arg_env_t *arg_env = $arch\_get_arg_env();\n\n");
+	my @emit = split(/\n/, $n{"emit"});
+
+	foreach my $template (@emit) {
+		# substitute only lines, starting with a '.'
+		if ($template =~ /^(\d*)\.\s*/) {
+			my $indent = "  "; # default indent is 2 spaces
+
+			$indent = " " x $1 if ($1 && $1 > 0);
+			# remove indent, dot and trailing spaces
+			$template =~ s/^\d*\.\s*//;
+			my $fmt = $template;
+			my $cnt = 0;
+			my $buf = 'cmd_buf';
+
+			push(@obst_func, $indent."cmnt_buf[0] = '\\0';\n");
+			foreach $template (split(/$comment_string_quoted/, $fmt, 2)) {
+				my @params;
+				my $res = "";
+				$cnt++;
+
+				$template =~ s/(\\t)*$//;
+
+				if ($cnt == 2) {
+					# add the comment begin string
+					$res .= $comment_string;
+					$buf  = "cmnt_buf";
+				}
+
+				# substitute all format parameter
+				while ($template =~ /(\%\%)|\%([ASDX])(\d)|\%([COM])|\%(\w+)/) {
+					$res  .= $`;      # get everything before the match
+
+					if ($1) {
+						$res .= "%%";
+					}
+					elsif ($2 && $2 eq "S") {
+						push(@params, "n");
+						$res .= "%".$3."S"; # substitute %Sx with %xS
+					}
+					elsif ($2 && $2 eq "D") {
+						push(@params, "n");
+						$res .= "%".$3."D"; # substitute %Dx with %xD
+					}
+					elsif ($2 && $2 eq "X") {
+						push(@params, "n");
+						$res .= "%".$3."X"; # substitute %Xx with %xX
+					}
+					elsif ($2 && $2 eq "A") {
+						push(@params, "get_irn_n(n, ".($3 - 1).")");
+						$res .= "%+F";
+					}
+					elsif ($4) {
+						push(@params, "n");
+						$res .= "%".$4;
+					}
+					elsif ($5) {  # backend provided function to call, has to return a string
+						push(@params, $5."(n, env)");
+						$res .= "\%s";
+					}
+
+					$template = $'; # scan everything after the match
+				}
+				$res .= $template; # get the remaining string
+
+				my $parm = "";
+				$parm = ", ".join(", ", @params) if (@params);
+
+				push(@obst_func, $indent.'lc_esnprintf(arg_env, '.$buf.', 256, "'.$res.'"'.$parm.');'."\n");
+			}
+			push(@obst_func, $indent.'lc_efprintf(arg_env, F, "\t%-35s %-60s '.$comment_string.' %+F (%+G) '.$comment_string_end.'\n", cmd_buf, cmnt_buf, n, n);'."\n");
+		}
+		else {
+			push(@obst_func, $template,"\n");
+		}
+	}
+
+	push(@obst_func, "}\n\n");
 }
 
 open(OUT, ">$target_h") || die("Could not open $target_h, reason: $!\n");
@@ -176,11 +171,11 @@ print OUT<<EOF;
 #include "irnode.h"
 #include "$arch\_emitter.h"
 
-EOF
+void $arch\_register_spec_emitters(void);
 
-print OUT @obst_header;
+#endif /* _GEN_$tmp\_EMITTER_H_ */
 
-print OUT "#endif /* _GEN_$tmp\_EMITTER_H_ */\n";
+EOF
 
 close(OUT);
 
@@ -196,10 +191,16 @@ print OUT<<EOF;
  * created by: $0 $specfile $target_dir
  * date:       $creation_time
  */
+#ifdef HAVE_CONFIG_H
+#include <config.h>
+#endif
 
 #include <stdio.h>
 
 #include "irnode.h"
+#include "irop_t.h"
+#include "irprog_t.h"
+
 #include "gen_$arch\_emitter.h"
 #include "$arch\_new_nodes.h"
 
@@ -207,4 +208,25 @@ EOF
 
 print OUT @obst_func;
 
+print OUT<<EOF;
+/**
+ * Enters the emitter functions for handled nodes into the generic
+ * pointer of an opcode.
+ */
+void $arch\_register_spec_emitters(void) {
+
+#define BE_EMIT(a) op_$arch\_##a->ops.generic = (op_func)emit_$arch\_##a
+
+  /* generated emitter functions */
+EOF
+
+print OUT @obst_register;
+
+print OUT<<EOF;
+
+#undef BE_EMIT
+}
+
+EOF
+
 close(OUT);