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
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");
#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);
* 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"
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);
projects / libfirm / blobdiff