pjs/js2/tools/gencode.pl

461 строка
11 KiB
Perl
Исходник Обычный вид История

2000-04-28 17:17:35 +04:00
#!perl
use strict;
my $tab = " ";
my $init_tab = $tab;
my $enum_decs = "";
my $class_decs = "";
2000-04-18 05:19:12 +04:00
my @name_array;
my $opcode_maxlen = 0;
2000-04-25 01:43:49 +04:00
#
# fields are:
#
# * super: Class to inherit from, if super is Instruction_(1|2|3), the script
# will automatically append the correct template info based on |params|
# * super_has_print: Set to 1 if you want to inherit the print() and print_args()
# methods from the superclass, set to 0 (or just don't set)
# to generate print methods.
2000-04-25 01:43:49 +04:00
# * rem: Remark you want to show up after the enum def, and inside the class.
# * params: The parameter list expected by the constructor, you can specify a
# default value, using the syntax, [ ("Type = default") ].
#
2000-04-28 06:26:14 +04:00
# class names will be generated based on the opcode mnemonic. See the
2000-04-25 01:43:49 +04:00
# subroutine get_classname for the implementation. Basically underscores will
# be removes and the class name will be WordCapped, using the positions where the
# underscores were as word boundries. The only exception occurs when a word is
# two characters, in which case both characters will be capped,
# as in BRANCH_GT -> BranchGT.
#
2000-04-28 06:26:14 +04:00
#
# template definitions for compare, arithmetic, and conditional branch ops
#
my $compare_op =
{
super => "Compare",
super_has_print => 1,
rem => "dest, source",
params => [ ("Register", "Register") ]
};
my $math_op =
{
super => "Arithmetic",
super_has_print => 1,
rem => "dest, source1, source2",
params => [ ("Register", "Register", "Register") ]
};
my $cbranch_op =
{
super => "GenericBranch",
super_has_print => 1,
rem => "target label, condition",
params => [ ("Label*", "Register") ]
};
my $unary_op =
{
super => "Instruction_2",
rem => "dest, source",
params => [ ("Register", "Register") ]
};
2000-04-25 01:43:49 +04:00
#
# op defititions
#
my %ops;
$ops{"NOP"} =
{
super => "Instruction",
rem => "do nothing and like it",
};
$ops{"MOVE"} =
{
super => "Instruction_2",
rem => "dest, source",
params => [ ("Register", "Register") ]
};
$ops{"LOAD_IMMEDIATE"} =
{
super => "Instruction_2",
rem => "dest, immediate value (double)",
params => [ ("Register", "double" ) ]
};
2000-05-06 03:23:13 +04:00
$ops{"LOAD_STRING"} =
{
super => "Instruction_2",
rem => "dest, immediate value (string)",
params => [ ("Register", "String *" ) ]
};
$ops{"LOAD_NAME"} =
{
super => "Instruction_2",
rem => "dest, name",
params => [ ("Register", "const StringAtom*" ) ]
};
$ops{"SAVE_NAME"} =
{
super => "Instruction_2",
rem => "name, source",
params => [ ("const StringAtom*", "Register") ]
};
$ops{"NEW_OBJECT"} =
{
super => "Instruction_1",
rem => "dest",
params => [ ("Register") ]
};
$ops{"NEW_ARRAY"} =
{
super => "Instruction_1",
rem => "dest",
params => [ ("Register") ]
};
$ops{"GET_PROP"} =
{
super => "Instruction_3",
rem => "dest, object, prop name",
params => [ ("Register", "Register", "const StringAtom*") ]
};
$ops{"SET_PROP"} =
{
super => "Instruction_3",
rem => "object, name, source",
params => [ ("Register", "const StringAtom*", "Register") ]
};
$ops{"GET_ELEMENT"} =
{
super => "Instruction_3",
rem => "dest, array, index",
params => [ ("Register", "Register", "Register") ]
};
$ops{"SET_ELEMENT"} =
{
super => "Instruction_3",
rem => "base, source1, source2",
params => [ ("Register", "Register", "Register") ]
};
$ops{"ADD"} = $math_op;
$ops{"SUBTRACT"} = $math_op;
$ops{"MULTIPLY"} = $math_op;
$ops{"DIVIDE"} = $math_op;
$ops{"REMAINDER"} = $math_op;
$ops{"SHIFTLEFT"} = $math_op;
$ops{"SHIFTRIGHT"} = $math_op;
$ops{"USHIFTRIGHT"}= $math_op;
$ops{"AND"} = $math_op;
$ops{"OR"} = $math_op;
$ops{"XOR"} = $math_op;
$ops{"COMPARE_LT"} = $compare_op;
$ops{"COMPARE_LE"} = $compare_op;
$ops{"COMPARE_EQ"} = $compare_op;
$ops{"COMPARE_NE"} = $compare_op;
$ops{"COMPARE_GE"} = $compare_op;
$ops{"COMPARE_GT"} = $compare_op;
$ops{"COMPARE_IN"} = $compare_op;
$ops{"STRICT_EQ"} = $compare_op;
$ops{"STRICT_NE"} = $compare_op;
$ops{"INSTANCEOF"} = $compare_op;
$ops{"BITNOT"} = $unary_op;
$ops{"NOT"} = $unary_op;
$ops{"NEGATE"} = $unary_op;
$ops{"POSATE"} = $unary_op;
$ops{"BRANCH"} =
{
super => "GenericBranch",
rem => "target label",
params => [ ("Label*") ]
};
$ops{"BRANCH_LT"} = $cbranch_op;
$ops{"BRANCH_LE"} = $cbranch_op;
$ops{"BRANCH_EQ"} = $cbranch_op;
$ops{"BRANCH_NE"} = $cbranch_op;
$ops{"BRANCH_GE"} = $cbranch_op;
$ops{"BRANCH_GT"} = $cbranch_op;
$ops{"RETURN"} =
{
super => "Instruction_1",
rem => "return value",
params => [ ("Register") ]
};
$ops{"RETURN_VOID"} =
{
super => "Instruction",
rem => "Return without a value"
};
$ops{"CALL"} =
{
super => "Instruction_3",
rem => "result, target, args",
params => [ ("Register" , "Register", "RegisterList") ]
};
2000-04-25 02:40:53 +04:00
$ops{"THROW"} =
{
super => "Instruction_1",
rem => "exception value",
params => [ ("Register") ]
};
$ops{"TRYIN"} =
2000-04-25 02:40:53 +04:00
{
super => "Instruction_2",
rem => "catch target, finally target",
params => [ ("Label*", "Label*") ]
};
$ops{"TRYOUT"} =
2000-04-25 02:40:53 +04:00
{
super => "Instruction",
rem => "mmm, there is no try, only do",
};
$ops{"JSR"} =
{
super => "GenericBranch",
rem => "target",
params => [ ("Label*") ]
};
$ops{"RTS"} =
{
super => "Instruction",
rem => "Return to sender",
};
2000-04-29 18:10:53 +04:00
$ops{"WITHIN"} =
{
super => "Instruction_1",
rem => "within this object",
params => [ ("Register") ]
};
$ops{"WITHOUT"} =
{
super => "Instruction",
rem => "without this object",
};
2000-04-25 01:43:49 +04:00
#
# nasty perl code, you probably don't need to muck around below this line
#
my $k;
if (!$ARGV[0]) {
2000-04-25 01:43:49 +04:00
# no args, collect all opcodes
for $k (sort(keys(%ops))) {
&collect($k);
}
} else {
2000-04-25 01:43:49 +04:00
# collect defs for only the opcodes specified on the command line
while ($k = pop(@ARGV)) {
2000-04-25 01:43:49 +04:00
&collect (uc($k));
}
}
&spew;
sub collect {
2000-04-25 01:43:49 +04:00
# grab the info from the $k record in $ops, and append it to
# $enum_decs, @name_aray, and $class_decs.
my ($k) = @_;
2000-04-18 05:19:12 +04:00
if (length($k) > $opcode_maxlen) {
$opcode_maxlen = length($k);
}
my $c = $ops{$k};
2000-04-25 01:43:49 +04:00
if (!$c) {
die ("Unknown opcode, $k\n");
}
my $opname = $k;
my $cname = get_classname ($k);
my $super = $c->{"super"};
my $constructor = $super;
2000-04-25 02:40:53 +04:00
my @params;
if ($c->{"params"}) {
@params = @{$c->{"params"}};
} else {
@params = ();
}
my $rem = $c->{"rem"};
2000-04-18 11:04:24 +04:00
my ($dec_list, $call_list, $template_list) =
2000-04-25 02:40:53 +04:00
&get_paramlists(@params);
2000-04-28 06:20:23 +04:00
my @types = split (", ", $template_list);
2000-04-25 02:40:53 +04:00
my $constr_params = $call_list ? $opname . ", " . $call_list : $opname;
2000-04-18 11:04:24 +04:00
if ($super =~ /Instruction_\d/) {
$super .= "<" . $template_list . ">";
2000-04-18 05:19:12 +04:00
}
2000-04-18 05:19:12 +04:00
push (@name_array, $opname);
$enum_decs .= "$init_tab$tab$opname, /* $rem */\n";
$class_decs .= ($init_tab . "class $cname : public $super {\n" .
$init_tab . "public:\n" .
$init_tab . $tab . "/* $rem */\n" .
$init_tab . $tab . "$cname ($dec_list) :\n" .
$init_tab . $tab . $tab . "$super\n" .
2000-04-25 02:40:53 +04:00
"$init_tab$tab$tab($constr_params) " .
"{};\n");
2000-04-28 19:32:54 +04:00
if (!$c->{"super_has_print"}) {
$class_decs .= ($init_tab . $tab .
2000-04-28 09:39:27 +04:00
"virtual Formatter& print(Formatter& f) {\n" .
$init_tab . $tab . $tab . "f << opcodeNames[$opname]" .
2000-04-28 09:39:27 +04:00
&get_print_body(@types) . ";\n" .
$init_tab . $tab . $tab . "return f;\n" .
$init_tab . $tab . "}\n");
2000-04-28 17:17:35 +04:00
my $printops_body = &get_printops_body(@types);
2000-04-28 19:32:54 +04:00
my $printops_decl = "virtual Formatter& printOperands(Formatter& f, ";
$printops_decl .= ($printops_body ne "" ?
"const JSValues& registers" :
"const JSValues& /*registers*/");
$printops_decl .= ") {\n";
2000-04-28 17:17:35 +04:00
2000-04-28 09:39:27 +04:00
$class_decs .= ($init_tab . $tab .
2000-04-28 19:32:54 +04:00
$printops_decl .
$printops_body .
$init_tab . $tab . $tab . "return f;\n" .
$init_tab . $tab . "}\n");
} else {
$class_decs .= $init_tab . $tab .
2000-04-28 09:39:27 +04:00
"/* print() and printOperands() inherited from $super */\n";
}
$class_decs .= $init_tab . "};\n\n";
}
sub spew {
2000-04-25 01:43:49 +04:00
# print the info in $enum_decs, @name_aray, and $class_decs to stdout.
2000-04-18 05:19:12 +04:00
my $opname;
print $tab . "enum ICodeOp {\n$enum_decs$tab};\n\n";
2000-04-18 05:19:12 +04:00
print $tab . "static char *opcodeNames[] = {\n";
for $opname (@name_array) {
print "$tab$tab\"$opname";
for (0 .. $opcode_maxlen - length($opname) - 1) {
print " ";
}
print "\",\n"
}
print "$tab};\n\n";
print $class_decs;
}
sub get_classname {
2000-04-25 01:43:49 +04:00
# munge an OPCODE_MNEMONIC into a ClassName
my ($enum_name) = @_;
my @words = split ("_", $enum_name);
my $cname = "";
my $i = 0;
my $word;
for $word (@words) {
if ((length($word) == 2) && ($i != 0)) {
$cname .= uc($word);
} else {
$cname .= uc(substr($word, 0, 1)) . lc(substr($word, 1));
}
$i++;
}
return $cname;
}
sub get_paramlists {
2000-04-25 01:43:49 +04:00
# parse the params entry (passed into @types) into various parameter lists
# used in the class declaration
my @types = @_;
my @dec;
my @call;
my @tostr;
my @template;
my $op = 1;
my $type;
for $type (@types) {
my $pfx;
my $deref;
my $member;
my $default;
($type, $default) = split (" = ", $type);
if ($default ne "") {
$default = " = " . $default;
}
$pfx = $deref = "";
$member = "mOp$op";
push (@dec, "$type aOp$op" . "$default");
push (@call, "aOp$op");
push (@template, $type);
2000-04-18 11:04:24 +04:00
$op++;
}
return (join (", ", @dec), join (", ", @call), join (", ", @template));
}
2000-04-28 06:20:23 +04:00
sub get_print_body {
2000-04-25 01:43:49 +04:00
# generate the body of the print() function
2000-04-18 11:04:24 +04:00
my (@types) = @_;
my $type;
my @oplist;
my $op = 1;
my $in = $init_tab . $tab . $tab;
2000-04-18 11:04:24 +04:00
for $type (@types) {
if ($type eq "Register") {
push (@oplist, "\"R\" << mOp$op");
} elsif ($type eq "Label*") {
push (@oplist, "\"Offset \" << mOp$op->mOffset");
} elsif ($type =~ /StringAtom/) {
push (@oplist, "\"'\" << *mOp$op << \"'\"");
} else {
push (@oplist, "mOp$op");
}
2000-04-18 11:04:24 +04:00
$op++;
}
my $rv = join (" << \", \" << ", @oplist);
2000-04-18 11:04:24 +04:00
if ($rv ne "") {
$rv = " << \"\\t\" << " . $rv;
2000-04-18 11:04:24 +04:00
}
2000-04-28 09:39:27 +04:00
return $rv;
}
2000-04-28 06:20:23 +04:00
2000-04-28 09:39:27 +04:00
sub get_printops_body {
2000-04-28 19:32:54 +04:00
# generate the body of the printOperands() function
2000-04-28 09:39:27 +04:00
my (@types) = @_;
my $type;
my @oplist;
my $op = 1;
my $in = $init_tab . $tab . $tab;
2000-04-28 06:20:23 +04:00
2000-04-28 09:39:27 +04:00
for $type (@types) {
if ($type eq "Register") {
push (@oplist, "\"R\" << mOp$op << '=' << registers[mOp$op]");
2000-04-28 09:39:27 +04:00
} elsif ($type eq "RegisterList") {
2000-04-28 17:17:35 +04:00
push (@oplist, "ArgList(mOp$op, registers)");
2000-04-28 09:39:27 +04:00
}
$op++;
}
my $rv = join (" << \", \" << ", @oplist);
if ($rv ne "") {
$rv = $init_tab . $tab . $tab . "f << " . $rv . ";\n";
}
return $rv;
2000-04-28 06:20:23 +04:00
}