X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fscripts%2Fgenerate_emitter.pl;h=b05af7eaabea3db3b59c0061148458ef23c183a9;hb=c23b55879df97f49fc6f1e95651f9f28a980b620;hp=d9966ea30f3918d8c8b82aa3604ef5175da515ed;hpb=c34a85e0908c0c2ca1a1fe1e5d9d07c56445f35e;p=libfirm

diff --git a/ir/be/scripts/generate_emitter.pl b/ir/be/scripts/generate_emitter.pl
index d9966ea30..b05af7eaa 100755
--- a/ir/be/scripts/generate_emitter.pl
+++ b/ir/be/scripts/generate_emitter.pl
@@ -1,5 +1,24 @@
 #!/usr/bin/perl -w
 
+#
+# Copyright (C) 1995-2008 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 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().
@@ -8,12 +27,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,166 +45,182 @@ 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;
+	die "Fatal error: couldn't parse $specfile: $@" if $@;
+	die "Fatal error: couldn't do $specfile: $!"    unless defined $return;
+	die "Fatal error: 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") {
+		die "Fatal error: couldn't parse $newscript: $@" if $@;
+		die "Fatal error: couldn't do $newscript: $!"    unless defined $return;
+		die "Fatal error: 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;
 
 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\_in_regnr(n, 1) == get_$arch\_out_regnr(n, 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");
+open(OUT, ">$target_h") || die("Fatal error: Could not open $target_h, reason: $!\n");
 
 my $creation_time = localtime(time());
 
 my $tmp = uc($arch);
 
 print OUT<<EOF;
-#ifndef _GEN_$tmp\_EMITTER_H_
-#define _GEN_$tmp\_EMITTER_H_
-
 /**
- * Function prototypes for the emitter functions.
- * DO NOT EDIT THIS FILE, your changes will be lost.
- * Edit $specfile instead.
- * created by: $0 $specfile $target_dir
- * date:       $creation_time
+ * \@file
+ * \@brief Function prototypes for the emitter functions.
+ * \@note  DO NOT EDIT THIS FILE, your changes will be lost.
+ *        Edit $specfile instead.
+ *        created by: $0 $specfile $target_dir
+ * \@date  $creation_time
  */
+#ifndef FIRM_BE_${tmp}_GEN_${tmp}_EMITTER_H
+#define FIRM_BE_${tmp}_GEN_${tmp}_EMITTER_H
 
 #include "irnode.h"
 #include "$arch\_emitter.h"
 
-EOF
+void $arch\_register_spec_emitters(void);
 
-print OUT @obst_header;
+#endif
 
-print OUT "#endif /* _GEN_$tmp\_EMITTER_H_ */\n";
+EOF
 
 close(OUT);
 
-open(OUT, ">$target_c") || die("Could not open $target_c, reason: $!\n");
+open(OUT, ">$target_c") || die("Fatal error: Could not open $target_c, reason: $!\n");
 
 $creation_time = localtime(time());
 
 print OUT<<EOF;
 /**
- * Generated functions to emit code for assembler ir nodes.
- * DO NOT EDIT THIS FILE, your changes will be lost.
- * Edit $specfile instead.
- * created by: $0 $specfile $target_dir
- * date:       $creation_time
+ * \@file
+ * \@brief  Generated functions to emit code for assembler ir nodes.
+ * \@note   DO NOT EDIT THIS FILE, your changes will be lost.
+ *         Edit $specfile instead.
+ *         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"
 
@@ -188,4 +228,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);