my $cur_op = "";
my $line_nr = 0;
-my $target_c = $target_dir."/new_nodes.c";
-my $target_h = $target_dir."/new_nodes.h";
-
our $arch;
our %nodes;
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";
+my $target_c = $target_dir."/gen_".$arch."_new_nodes.c.inl";
+my $target_h = $target_dir."/gen_".$arch."_new_nodes.h";
+
#print Dumper(%nodes);
# create c code file from specs
my @obst_constructor; # stack for node constructor functions
my @obst_new_irop; # stack for the new_ir_op calls
my @obst_header; # stack for function prototypes
-my $temp;
+my @obst_is_archirn; # stack for the is_$arch_irn() function
+my @obst_cmp_attr; # stack for the compare attribute functions
my $orig_op;
my $arity;
+my $cmp_attr_func;
+my $temp;
+my $n_opcodes = 2; # we have two additional border opcodes (lowest/highest)
-push(@obst_header, "void create_bearch_asm_opcodes(void);");
+push(@obst_header, "void ".$arch."_create_opcodes(void);\n");
foreach my $op (keys(%nodes)) {
- my %n = %{ $nodes{"$op"} };
-
- $orig_op = $op;
- $op = $arch."_".$op;
- $arity = $n{"arity"};
-
- push(@obst_opvar, "ir_op *op_$op = NULL;\n");
- push(@obst_get_opvar, "ir_op *get_op_$op(void) { return op_$op; }\n");
- push(@obst_get_opvar, "int is_$op(ir_node *n) { return get_irn_op(n) == op_$op ? 1 : 0; }\n\n");
-
- push(@obst_header, "int is_$op(ir_node *n);\n");
-
- $n{"comment"} =~ s/^"|"$//g;
- $n{"comment"} = "/* ".$n{"comment"}." */\n";
- push(@obst_constructor, $n{"comment"});
-
- # create constructor head
- my $complete_args = "";
- my $arg_names = "";
- $temp = "ir_node *new_rd_$op(dbg_info *db, ir_graph *irg, ir_node *block";
- if (!exists($n{"args"}) || $n{"args"} eq "DEFAULT") { # default args
- if ($n{"arity"} !~ /^[0-3]$/) {
- print "DEFAULT args require arity 0,1,2 or 3! Ignoring op $orig_op!\n";
- next;
- }
- for (my $i = 1; $i <= $n{"arity"}; $i++) {
- $complete_args .= ", ir_node *op".$i;
- $arg_names .= ", op".$i;
- }
- $complete_args .= ", ir_mode *mode";
- $arg_names .= ", mode";
- }
- else { # user defined args
- for my $href (@{ $n{"args"} }) {
- $complete_args .= ", ".$href->{"type"}.$href->{"name"};
- $arg_names .= ", ".$href->{"name"};
- }
- }
- $complete_args = substr($complete_args, 2);
- $temp .= ", $complete_args)";
- push(@obst_constructor, $temp." {\n");
- push(@obst_header, $temp.";\n");
-
- # emit constructor code
- if (!exists($n{"rd_constructor"}) || $n{"rd_constructor"} eq "DEFAULT") { # default constructor
- if ($n{"arity"} !~ /^[0-3]$/) {
- print "DEFAULT rd_constructor requires arity 0,1,2 or 3! Ignoring op $orig_op!\n";
- next;
- }
- $temp = " ir_node *res;\n";
- $temp .= " ir_node *in[$arity];\n" if ($arity > 0);
- $temp .= "\n";
- $temp .= " if (!op_$op) {\n";
- $temp .= " assert(0);\n";
- $temp .= " return NULL;\n";
- $temp .= " }\n\n";
- for (my $i = 1; $i <= $arity; $i++) {
- $temp .= " in[".($i - 1)."] = op".$i.";\n";
- }
- $temp .= " res = new_ir_node(db, irg, block, op_$op, mode, $arity, ".($arity > 0 ? "in" : "NULL").");\n";
- $temp .= " res = optimize_node(res);\n";
- $temp .= " irn_vrfy_irg(res, irg);\n";
- $temp .= " return res;\n";
-
- push(@obst_constructor, $temp);
- }
- else { # user defined constructor
- push(@obst_constructor, $n{"rd_constructor"});
- }
-
- # close constructor function
- push(@obst_constructor, "}\n\n");
-
-# # create the _r and _d wrapper
-# $temp = "ir_node *new_r_$op(ir_graph *irg, ir_node *block, $complete_args)";
-# push(@obst_header, $temp.";\n");
-# $temp .= " {\n";
-# $temp .= " return new_rd_$op(NULL, irg, block".$arg_names.");\n";
-# $temp .= "}\n\n";
-# push(@obst_constructor, $temp);
-#
-# $temp = "ir_node *new_d_$op(dbg_info *db, $complete_args)";
-# push(@obst_header, $temp.";\n");
-# $temp .= " {\n";
-# $temp .= " return new_rd_$op(db, current_ir_graph, current_ir_graph->current_block".$arg_names.");\n";
-# $temp .= "}\n\n";
-# push(@obst_constructor, $temp);
-#
-# $temp = "ir_node *new_$op($complete_args)";
-# push(@obst_header, $temp.";\n");
-# $temp .= " {\n";
-# $temp .= " return new_d_$op(NULL".$arg_names.");\n";
-# $temp .= "}\n\n";
-# push(@obst_constructor, $temp);
-
- # construct the new_ir_op calls
-
- # set default values for state and flags if not given
- $n{"state"} = "pinned" if (! exists($n{"state"}));
- $n{"op_flags"} = "N" if (! exists($n{"op_flags"}));
-
- my $arity_str = $arity == 0 ? "zero" : ($arity == 1 ? "unary" : ($arity == 2 ? "binary" : ($arity == 3 ? "trinary" : $arity)));
- $temp = " op_$op = new_ir_op(get_next_ir_opcode(), \"$op\", op_pin_state_".$n{"state"}.", ".$n{"op_flags"};
- $temp .= ", oparity_".$arity_str.", 0, sizeof(asmop_attr), &ops);\n";
- push(@obst_new_irop, $temp);
+ my %n = %{ $nodes{"$op"} };
+
+ # determine arity from in requirements
+ $arity = 0;
+ if (exists($n{"reg_req"}) && exists($n{"reg_req"}{"in"})) {
+ $arity = scalar(@{ $n{"reg_req"}{"in"} });
+ }
+
+ $orig_op = $op;
+ $op = $arch."_".$op;
+ $temp = "";
+
+ push(@obst_opvar, "ir_op *op_$op = NULL;\n");
+ push(@obst_get_opvar, "ir_op *get_op_$op(void) { return op_$op; }\n");
+ push(@obst_get_opvar, "int is_$op(const ir_node *n) { return get_irn_op(n) == op_$op; }\n\n");
+
+ push(@obst_is_archirn, "is_$op(node)");
+
+ push(@obst_header, "ir_op *get_op_$op(void);\n");
+ push(@obst_header, "int is_$op(const ir_node *n);\n");
+
+ $cmp_attr_func = 0;
+ # create compare attribute function if needed
+ if (exists($n{"cmp_attr"})) {
+ push(@obst_cmp_attr, "static int cmp_attr_$op(ir_node *a, ir_node *b) {\n");
+ push(@obst_cmp_attr, " $arch\_attr_t *attr_a = get_$arch\_attr(a);\n");
+ push(@obst_cmp_attr, " $arch\_attr_t *attr_b = get_$arch\_attr(b);\n");
+ push(@obst_cmp_attr, $n{"cmp_attr"});
+ push(@obst_cmp_attr, "}\n\n");
+
+ $cmp_attr_func = 1;
+ }
+
+ if (exists($n{"rd_constructor"}) && $n{"rd_constructor"} =~ /^NONE$/i) {
+ # we explicitly skip the constructor if the specification entry says NONE
+ }
+ else {
+ $n{"comment"} = "construct $op" if(!exists($n{"comment"}));
+ $n{"comment"} =~ s/^"|"$//g; # remove "
+ $n{"comment"} = "/* ".$n{"comment"}." */\n";
+ push(@obst_constructor, $n{"comment"});
+
+ # create constructor head
+ my $complete_args = "";
+ my $arg_names = "";
+ $temp = "";
+
+ $temp = "ir_node *new_rd_$op(dbg_info *db, ir_graph *irg, ir_node *block";
+ if (!exists($n{"args"}) || $n{"args"} =~ /^DEFAULT$/i) { # default args
+ if ($arity !~ /^\d+$/) {
+ print "DEFAULT args require numeric arity (0, 1, 2, ...)! Ignoring op $orig_op!\n";
+ next;
+ }
+ for (my $i = 1; $i <= $arity; $i++) {
+ $complete_args .= ", ir_node *op".$i;
+ $arg_names .= ", op".$i;
+ }
+ $complete_args .= ", ir_mode *mode";
+ $arg_names .= ", mode";
+ }
+ else { # user defined args
+ for my $href (@{ $n{"args"} }) {
+ $href->{"type"} .= " " if ($href->{"type"} !~ / [*]?$/); # put a space between name and type if there is none at the end
+ $complete_args .= ", ".$href->{"type"}.$href->{"name"};
+ $arg_names .= ", ".$href->{"name"};
+ }
+ }
+ $complete_args = substr($complete_args, 2);
+ $temp .= ", $complete_args)";
+ push(@obst_constructor, $temp." {\n");
+ push(@obst_header, $temp.";\n");
+
+ # emit constructor code
+ if (!exists($n{"rd_constructor"}) || $n{"rd_constructor"} =~ /^DEFAULT$/i) { # default constructor
+ if ($arity !~ /^\d+$/) {
+ print "DEFAULT rd_constructor requires numeric arity! Ignoring op $orig_op!\n";
+ next;
+ }
+ $temp = " $arch\_attr_t *attr;\n";
+ $temp .= " ir_node *res;\n";
+ $temp .= " ir_node *in[$arity];\n" if ($arity > 0);
+
+ undef my $in_req_var;
+ undef my $out_req_var;
+
+ # set up static variables for requirements and registers
+ if (exists($n{"reg_req"})) {
+ my %req = %{ $n{"reg_req"} };
+ my $idx;
+
+ undef my @in;
+ @in = @{ $req{"in"} } if (exists($req{"in"}));
+ undef my @out;
+ @out = @{ $req{"out"} } if exists(($req{"out"}));
+
+ if (@in) {
+ $in_req_var = "_in_req_$op";
+ $temp .= " static const $arch\_register_req_t *".$in_req_var."[] =\n {\n";
+ for ($idx = 0; $idx <= $#in; $idx++) {
+ $temp .= " ".$op."_reg_req_in_".$idx.",\n";
+ }
+ $temp .= " };\n";
+ }
+
+ if (@out) {
+ $out_req_var = "_out_req_$op";
+
+ $temp .= " static const $arch\_register_req_t *".$out_req_var."[] =\n {\n";
+ for ($idx = 0; $idx <= $#out; $idx++) {
+ $temp .= " ".$op."_reg_req_out_".$idx.",\n";
+ }
+ $temp .= " };\n";
+ }
+ }
+
+ $temp .= "\n";
+ $temp .= " if (!op_$op) {\n";
+ $temp .= " assert(0);\n";
+ $temp .= " return NULL;\n";
+ $temp .= " }\n\n";
+ for (my $i = 1; $i <= $arity; $i++) {
+ $temp .= " in[".($i - 1)."] = op".$i.";\n";
+ }
+ $temp .= " res = new_ir_node(db, irg, block, op_$op, mode, $arity, ".($arity > 0 ? "in" : "NULL").");\n";
+ $temp .= " res = optimize_node(res);\n";
+ $temp .= " irn_vrfy_irg(res, irg);\n\n";
+
+ # set flags
+ $temp .= " attr = get_$arch\_attr(res);\n\n";
+ $temp .= " attr->flags = 0; /* clear flags */\n";
+
+ if (exists($n{"irn_flags"})) {
+ foreach my $flag (split(/\|/, $n{"irn_flags"})) {
+ if ($flag eq "R") {
+ $temp .= " attr->flags |= arch_irn_flags_rematerializable; /* op can be easily recalulated */\n";
+ }
+ elsif ($flag eq "N") {
+ $temp .= " attr->flags |= arch_irn_flags_dont_spill; /* op is NOT spillable */\n";
+ }
+ elsif ($flag eq "I") {
+ $temp .= " attr->flags |= arch_irn_flags_ignore; /* ignore op for register allocation */\n";
+ }
+ }
+ }
+
+ # allocate memory and set pointer to register requirements
+ if (exists($n{"reg_req"})) {
+ my %req = %{ $n{"reg_req"} };
+
+ undef my @in;
+ @in = @{ $req{"in"} } if (exists($req{"in"}));
+ undef my @out;
+ @out = @{ $req{"out"} } if exists(($req{"out"}));
+
+ $temp .= "\n /* set IN register requirements */\n";
+ if (@in) {
+ $temp .= " attr->in_req = ".$in_req_var.";\n";
+ }
+ else {
+ $temp .= " attr->in_req = NULL;\n";
+ }
+
+ $temp .= "\n /* set OUT register requirements and get space for registers */\n";
+ if (@out) {
+ $temp .= " attr->out_req = ".$out_req_var.";\n";
+ $temp .= " attr->slots = xcalloc(".($#out + 1).", sizeof(attr->slots[0]));\n";
+ $temp .= " attr->n_res = ".($#out + 1).";\n";
+ }
+ else {
+ $temp .= " attr->out_req = NULL;\n";
+ $temp .= " attr->slots = NULL;\n";
+ $temp .= " attr->n_res = 0;\n";
+ }
+ }
+
+ $temp .= "\n return res;\n";
+
+ push(@obst_constructor, $temp);
+ }
+ else { # user defined constructor
+ push(@obst_constructor, $n{"rd_constructor"});
+ }
+
+ # close constructor function
+ push(@obst_constructor, "}\n\n");
+
+ } # constructor creation
+
+ # set default values for state and flags if not given
+ $n{"state"} = "floats" if (! exists($n{"state"}));
+ $n{"op_flags"} = "N" if (! exists($n{"op_flags"}));
+
+ push(@obst_new_irop, "\n memset(&ops, 0, sizeof(ops));\n");
+ push(@obst_new_irop, " ops.dump_node = dump_node_$arch;\n");
+
+ if ($cmp_attr_func) {
+ push(@obst_new_irop, " ops.node_cmp_attr = cmp_attr_$op;\n");
+ }
+
+ $n_opcodes++;
+ $temp = " op_$op = new_ir_op(cur_opcode++, \"$op\", op_pin_state_".$n{"state"}.", ".$n{"op_flags"};
+ $temp .= ", ".translate_arity($arity).", 2, sizeof($arch\_attr_t), &ops);\n";
+ push(@obst_new_irop, $temp);
}
# emit the code
-my $creation_time = localtime(time());
open(OUT, ">$target_c") || die("Could not open $target_c, reason: $!\n");
-print OUT<<ENDOFHEADER;
-/**
- * This file implements the creation of the achitecture specific firm opcodes
- * and the coresponding node constructors for the $arch assembler irg.
- * 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 <stdlib.h>
-
-#include "irprog_t.h"
-#include "irgraph_t.h"
-#include "irnode_t.h"
-#include "irmode_t.h"
-#include "ircons_t.h"
-#include "iropt_t.h"
-#include "firm_common_t.h"
-#include "irvrfy_t.h"
-
-#include "../firm2arch_nodes_attr.h"
-#include "../bearch_firm.h"
-
-#include "new_nodes.h"
-#include "dump_support.inl"
-
-/**
- * Return the tarval of an immediate operation or NULL in case of SymConst
- */
-tarval *get_Immop_tarval(ir_node *node) {
- asmop_attr *attr = (asmop_attr *)get_irn_generic_attr(node);
- if (attr->tp == asmop_Const)
- return attr->data.tv;
- else
- return NULL;
-}
-
-/**
- * Copy the attributes from an Imm to an Immop (Add_i, Sub_i, ...) node
- */
-void set_Immop_attr(ir_node *node, ir_node *imm) {
- asmop_attr *attr = (asmop_attr *)get_irn_generic_attr(node);
- assert(is_Imm(imm) && "Need Imm to set Immop attr");
-
- imm_attr_t *ia = (imm_attr_t *)get_irn_generic_attr(imm);
- if (ia->tp == imm_Const) {
- attr->tp = asmop_Const;
- attr->data.tv = ia->data.tv;
- }
- else {
- attr->tp = asmop_SymConst;
- attr->data.symconst = ia->data.symconst;
- }
-}
+print OUT "#include \"gen_$arch\_regalloc_if_t.h\"\n\n";
+print OUT @obst_cmp_attr;
+print OUT "\n";
+print OUT @obst_opvar;
+print OUT "\n";
+print OUT @obst_get_opvar;
+print OUT "\n";
-/**
- * Sets the attributes of an immediate operation to the specified tarval
- */
-void set_Immop_attr_tv(ir_node *node, tarval *tv) {
- asmop_attr *attr = (asmop_attr *)get_irn_generic_attr(node);
+print OUT<<ENDOFISIRN;
- attr->tp = asmop_Const;
- attr->data.tv = tv;
-}
+static opcode ia32_opcode_start = -1;
+static opcode ia32_opcode_end = -1;
-/**
- * Sets the offset for a Lea.
- */
-void set_ia32_Lea_offs(ir_node *node, tarval *offs) {
- assert(is_ia32_Lea(node) && "Cannot set offset in non-Lea node.");
+int is_$arch\_irn(const ir_node *node) {
+ opcode opc = get_irn_opcode(node);
- asmop_attr *attr = (asmop_attr *)get_irn_generic_attr(node);
- attr->data.offset = offs;
-}
+ assert(ia32_opcode_start > 0 && "missing opcode init");
+ assert(ia32_opcode_end > 0 && "missing opcode init");
-/**
- * Gets the offset for a Lea.
- */
-tarval *get_ia32_Lea_offs(ir_node *node) {
- assert(is_ia32_Lea(node) && "Cannot get offset for a non-Lea node.");
+ if (opc > ia32_opcode_start && opc < ia32_opcode_end)
+ return 1;
- asmop_attr *attr = (asmop_attr *)get_irn_generic_attr(node);
- return attr->data.offset;
+ return 0;
}
-ENDOFHEADER
+ENDOFISIRN
-print OUT @obst_opvar;
-print OUT "\n";
-print OUT @obst_get_opvar;
-print OUT "\n";
print OUT @obst_constructor;
print OUT<<ENDOFMAIN;
/**
- * Creates the architecture specific firm operations
+ * Creates the $arch specific firm operations
* needed for the assembler irgs.
*/
-void create_bearch_asm_opcodes(void) {
+void $arch\_create_opcodes(void) {
#define N irop_flag_none
#define L irop_flag_labeled
#define C irop_flag_commutative
#define Y irop_flag_forking
#define H irop_flag_highlevel
#define c irop_flag_constlike
+#define K irop_flag_keep
ir_op_ops ops;
+ int cur_opcode = get_next_ir_opcodes($n_opcodes);
- memset(&ops, 0, sizeof(ops));
-
- /* enter our modified dumper */
- ops.dump_node = dump_node_ia32;
+ ia32_opcode_start = cur_opcode++;
ENDOFMAIN
print OUT @obst_new_irop;
+print OUT "\n ia32_opcode_end = cur_opcode;\n";
print OUT "}\n";
close(OUT);
-$creation_time = localtime(time());
-
open(OUT, ">$target_h") || die("Could not open $target_h, reason: $!\n");
-print OUT<<EOF;
-#ifndef NEW_NODES_H
-#define NEW_NODES_H
-
-/**
- * Function prototypes for the assembler ir node constructors.
- * DO NOT EDIT THIS FILE, your changes will be lost.
- * Edit $specfile instead.
- * created by: $0 $specfile $target_dir
- * date: $creation_time
- */
-
-tarval *get_Immop_tarval(ir_node *node);
-void set_Immop_attr(ir_node *node, ir_node *imm);
-void set_Immop_attr_tv(ir_node *node, tarval *tv);
-void set_ia32_Lea_offs(ir_node *node, tarval *offs);
-tarval *get_ia32_Lea_offs(ir_node *node);
-
-EOF
+print OUT "int is_$arch\_irn(const ir_node *node);\n";
print OUT @obst_header;
-print OUT "\n#endif\n";
close(OUT);
+
+###
+# Translates numeric arity into string constant.
+###
+sub translate_arity {
+ my $arity = shift;
+
+ if ($arity =~ /^\d+$/) {
+ if ($arity == 0) {
+ return "oparity_zero";
+ }
+ elsif ($arity == 1) {
+ return "oparity_unary";
+ }
+ elsif ($arity == 2) {
+ return "oparity_binary";
+ }
+ elsif ($arity == 3) {
+ return "oparity_trinary";
+ }
+ else {
+ return "$arity";
+ }
+ }
+ else {
+ return "oparity_".$arity;
+ }
+}
projects / libfirm / blobdiff