diff options
author | Malcolm Beattie <mbeattie@sable.ox.ac.uk> | 1998-02-20 16:42:13 +0000 |
---|---|---|
committer | Malcolm Beattie <mbeattie@sable.ox.ac.uk> | 1998-02-20 16:42:13 +0000 |
commit | a8a597b252f6dd39ef24cf476a20f8618821e02f (patch) | |
tree | 9174bca691850d453d3313367a31f17d28fc39e6 /bytecode.pl | |
parent | 78857c3c631dc8d94f4168aa465a27b5efceb36e (diff) | |
download | perl-a8a597b252f6dd39ef24cf476a20f8618821e02f.tar.gz |
Merge perlext/Compiler/... into mainline. Some files move to
ext/B/..., some to lib/B/..., O.pm and B.pm go in lib and some
move to the base perl directory (e.g. headers). Will need some
cleaning up before it builds properly, I would guess.
p4raw-id: //depot/perl@562
Diffstat (limited to 'bytecode.pl')
-rw-r--r-- | bytecode.pl | 377 |
1 files changed, 377 insertions, 0 deletions
diff --git a/bytecode.pl b/bytecode.pl new file mode 100644 index 0000000000..2423e3c93a --- /dev/null +++ b/bytecode.pl @@ -0,0 +1,377 @@ +use strict; +my %alias_to = ( + U32 => [qw(PADOFFSET STRLEN)], + I32 => [qw(SSize_t long)], + U16 => [qw(OPCODE line_t short)], + U8 => [qw(char)], + objindex => [qw(svindex opindex)] +); + +my @optype= qw(OP UNOP BINOP LOGOP CONDOP LISTOP PMOP SVOP GVOP PVOP LOOP COP); + +# Nullsv *must* come first in the following so that the condition +# ($$sv == 0) can continue to be used to test (sv == Nullsv). +my @specialsv = qw(Nullsv &sv_undef &sv_yes &sv_no); + +my (%alias_from, $from, $tos); +while (($from, $tos) = each %alias_to) { + map { $alias_from{$_} = $from } @$tos; +} + +my $c_header = <<'EOT'; +/* + * Copyright (c) 1996, 1997 Malcolm Beattie + * + * You may distribute under the terms of either the GNU General Public + * License or the Artistic License, as specified in the README file. + * + */ +/* + * This file is autogenerated from bytecode.pl. Changes made here will be lost. + */ +EOT + +my $perl_header; +($perl_header = $c_header) =~ s{[/ ]?\*/?}{#}g; + +if (-f "byterun.c") { + rename("byterun.c", "byterun.c.old"); +} +if (-f "byterun.h") { + rename("byterun.h", "byterun.h.old"); +} +if (-f "B/Asmdata.pm") { + rename("B/Asmdata.pm", "B/Asmdata.pm.old"); +} + +# +# Start with boilerplate for Asmdata.pm +# +open(ASMDATA_PM, ">B/Asmdata.pm") or die "Asmdata.pm: $!"; +print ASMDATA_PM $perl_header, <<'EOT'; +package B::Asmdata; +use Exporter; +@ISA = qw(Exporter); +@EXPORT_OK = qw(%insn_data @insn_name @optype @specialsv_name); +use vars qw(%insn_data @insn_name @optype @specialsv_name); + +EOT +print ASMDATA_PM <<"EOT"; +\@optype = qw(@optype); +\@specialsv_name = qw(@specialsv); + +# XXX insn_data is initialised this way because with a large +# %insn_data = (foo => [...], bar => [...], ...) initialiser +# I get a hard-to-track-down stack underflow and segfault. +EOT + +# +# Boilerplate for byterun.c +# +open(BYTERUN_C, ">byterun.c") or die "byterun.c: $!"; +print BYTERUN_C $c_header, <<'EOT'; + +#include "EXTERN.h" +#include "perl.h" +#include "bytecode.h" +#include "byterun.h" + +#ifdef INDIRECT_BGET_MACROS +void byterun(bs) +struct bytestream bs; +#else +void byterun(fp) +FILE *fp; +#endif /* INDIRECT_BGET_MACROS */ +{ + dTHR; + int insn; + while ((insn = FGETC()) != EOF) { + switch (insn) { +EOT + + +my (@insn_name, $insn_num, $insn, $lvalue, $argtype, $flags, $fundtype); + +while (<DATA>) { + chop; + s/#.*//; # remove comments + next unless length; + if (/^%number\s+(.*)/) { + $insn_num = $1; + next; + } elsif (/%enum\s+(.*?)\s+(.*)/) { + create_enum($1, $2); # must come before instructions + next; + } + ($insn, $lvalue, $argtype, $flags) = split; + $insn_name[$insn_num] = $insn; + $fundtype = $alias_from{$argtype} || $argtype; + + # + # Add the case statement and code for the bytecode interpreter in byterun.c + # + printf BYTERUN_C "\t case INSN_%s:\t\t/* %d */\n\t {\n", + uc($insn), $insn_num; + my $optarg = $argtype eq "none" ? "" : ", arg"; + if ($optarg) { + printf BYTERUN_C "\t\t$argtype arg;\n\t\tBGET_%s(arg);\n", $fundtype; + } + if ($flags =~ /x/) { + print BYTERUN_C "\t\tBSET_$insn($lvalue$optarg);\n"; + } elsif ($flags =~ /s/) { + # Store instructions store to obj_list[arg]. "lvalue" field is rvalue. + print BYTERUN_C "\t\tBSET_OBJ_STORE($lvalue$optarg);\n"; + } + elsif ($optarg && $lvalue ne "none") { + print BYTERUN_C "\t\t$lvalue = arg;\n"; + } + print BYTERUN_C "\t\tbreak;\n\t }\n"; + + # + # Add the initialiser line for %insn_data in Asmdata.pm + # + print ASMDATA_PM <<"EOT"; +\$insn_data{$insn} = [$insn_num, \\&PUT_$fundtype, "GET_$fundtype"]; +EOT + + # Find the next unused instruction number + do { $insn_num++ } while $insn_name[$insn_num]; +} + +# +# Finish off byterun.c +# +print BYTERUN_C <<'EOT'; + default: + croak("Illegal bytecode instruction %d\n", insn); + /* NOTREACHED */ + } + } +} +EOT + +# +# Write the instruction and optype enum constants into byterun.h +# +open(BYTERUN_H, ">byterun.h") or die "byterun.h: $!"; +print BYTERUN_H $c_header, <<'EOT'; +#ifdef INDIRECT_BGET_MACROS +struct bytestream { + void *data; + int (*fgetc)(void *); + int (*fread)(char *, size_t, size_t, void*); + void (*freadpv)(U32, void*); +}; +void freadpv _((U32, void *)); +void byterun _((struct bytestream)); +#else +void byterun _((FILE *)); +#endif /* INDIRECT_BGET_MACROS */ + +#ifndef PATCHLEVEL +#include "patchlevel.h" +#endif +#if PATCHLEVEL < 4 || (PATCHLEVEL == 4 && SUBVERSION < 50) +#define dTHR extern int errno +#endif + +enum { +EOT + +my $i = 0; +my $add_enum_value = 0; +my $max_insn; +for ($i = 0; $i < @insn_name; $i++) { + $insn = uc($insn_name[$i]); + if (defined($insn)) { + $max_insn = $i; + if ($add_enum_value) { + print BYTERUN_H " INSN_$insn = $i,\t\t\t/* $i */\n"; + $add_enum_value = 0; + } else { + print BYTERUN_H " INSN_$insn,\t\t\t/* $i */\n"; + } + } else { + $add_enum_value = 1; + } +} + +print BYTERUN_H " MAX_INSN = $max_insn\n};\n"; + +print BYTERUN_H "\nenum {\n"; +for ($i = 0; $i < @optype - 1; $i++) { + printf BYTERUN_H " OPt_%s,\t\t/* %d */\n", $optype[$i], $i; +} +printf BYTERUN_H " OPt_%s\t\t/* %d */\n};\n\n", $optype[$i], $i; +print BYTERUN_H <<'EOT'; +EXT int optype_size[] +#ifdef DOINIT += { +EOT +for ($i = 0; $i < @optype - 1; $i++) { + printf BYTERUN_H " sizeof(%s),\n", $optype[$i], $i; +} +printf BYTERUN_H " sizeof(%s)\n}\n", $optype[$i], $i; +print BYTERUN_H <<'EOT'; +#endif /* DOINIT */ +; + +EOT + +printf BYTERUN_H <<'EOT', scalar(@specialsv); +EXT SV * specialsv_list[%d]; +#define INIT_SPECIALSV_LIST STMT_START { \ +EOT +for ($i = 0; $i < @specialsv; $i++) { + print BYTERUN_H "specialsv_list[$i] = $specialsv[$i]; \\\n"; +} +print BYTERUN_H <<'EOT'; +} STMT_END +EOT + +# +# Finish off insn_data and create array initialisers in Asmdata.pm +# +print ASMDATA_PM <<'EOT'; + +my ($insn_name, $insn_data); +while (($insn_name, $insn_data) = each %insn_data) { + $insn_name[$insn_data->[0]] = $insn_name; +} +# Fill in any gaps +@insn_name = map($_ || "unused", @insn_name); + +1; +EOT + +__END__ +# First set instruction ord("#") to read comment to end-of-line (sneaky) +%number 35 +comment arg comment +# Then make ord("\n") into a no-op +%number 10 +nop none none +# Now for the rest of the ordinary ones, beginning with \0 which is +# ret so that \0-terminated strings can be read properly as bytecode. +%number 0 +# +#opcode lvalue argtype flags +# +ret none none x +ldsv sv svindex +ldop op opindex +stsv sv U32 s +stop op U32 s +ldspecsv sv U8 x +newsv sv U8 x +newop op U8 x +newopn op U8 x +newpv none PV +pv_cur pv.xpv_cur STRLEN +pv_free pv none x +sv_upgrade sv char x +sv_refcnt SvREFCNT(sv) U32 +sv_refcnt_add SvREFCNT(sv) I32 x +sv_flags SvFLAGS(sv) U32 +xrv SvRV(sv) svindex +xpv sv none x +xiv32 SvIVX(sv) I32 +xiv64 SvIVX(sv) IV64 +xnv SvNVX(sv) double +xlv_targoff LvTARGOFF(sv) STRLEN +xlv_targlen LvTARGLEN(sv) STRLEN +xlv_targ LvTARG(sv) svindex +xlv_type LvTYPE(sv) char +xbm_useful BmUSEFUL(sv) I32 +xbm_previous BmPREVIOUS(sv) U16 +xbm_rare BmRARE(sv) U8 +xfm_lines FmLINES(sv) I32 +xio_lines IoLINES(sv) long +xio_page IoPAGE(sv) long +xio_page_len IoPAGE_LEN(sv) long +xio_lines_left IoLINES_LEFT(sv) long +xio_top_name IoTOP_NAME(sv) pvcontents +xio_top_gv *(SV**)&IoTOP_GV(sv) svindex +xio_fmt_name IoFMT_NAME(sv) pvcontents +xio_fmt_gv *(SV**)&IoFMT_GV(sv) svindex +xio_bottom_name IoBOTTOM_NAME(sv) pvcontents +xio_bottom_gv *(SV**)&IoBOTTOM_GV(sv) svindex +xio_subprocess IoSUBPROCESS(sv) short +xio_type IoTYPE(sv) char +xio_flags IoFLAGS(sv) char +xcv_stash *(SV**)&CvSTASH(sv) svindex +xcv_start CvSTART(sv) opindex +xcv_root CvROOT(sv) opindex +xcv_gv *(SV**)&CvGV(sv) svindex +xcv_filegv *(SV**)&CvFILEGV(sv) svindex +xcv_depth CvDEPTH(sv) long +xcv_padlist *(SV**)&CvPADLIST(sv) svindex +xcv_outside *(SV**)&CvOUTSIDE(sv) svindex +xcv_flags CvFLAGS(sv) U8 +av_extend sv SSize_t x +av_push sv svindex x +xav_fill AvFILLp(sv) SSize_t +xav_max AvMAX(sv) SSize_t +xav_flags AvFLAGS(sv) U8 +xhv_riter HvRITER(sv) I32 +xhv_name HvNAME(sv) pvcontents +hv_store sv svindex x +sv_magic sv char x +mg_obj SvMAGIC(sv)->mg_obj svindex +mg_private SvMAGIC(sv)->mg_private U16 +mg_flags SvMAGIC(sv)->mg_flags U8 +mg_pv SvMAGIC(sv) pvcontents x +xmg_stash *(SV**)&SvSTASH(sv) svindex +gv_fetchpv sv strconst x +gv_stashpv sv strconst x +gp_sv GvSV(sv) svindex +gp_refcnt GvREFCNT(sv) U32 +gp_refcnt_add GvREFCNT(sv) I32 x +gp_av *(SV**)&GvAV(sv) svindex +gp_hv *(SV**)&GvHV(sv) svindex +gp_cv *(SV**)&GvCV(sv) svindex +gp_filegv *(SV**)&GvFILEGV(sv) svindex +gp_io *(SV**)&GvIOp(sv) svindex +gp_form *(SV**)&GvFORM(sv) svindex +gp_cvgen GvCVGEN(sv) U32 +gp_line GvLINE(sv) line_t +gp_share sv svindex x +xgv_flags GvFLAGS(sv) U8 +op_next op->op_next opindex +op_sibling op->op_sibling opindex +op_ppaddr op->op_ppaddr strconst x +op_targ op->op_targ PADOFFSET +op_type op OPCODE x +op_seq op->op_seq U16 +op_flags op->op_flags U8 +op_private op->op_private U8 +op_first cUNOP->op_first opindex +op_last cBINOP->op_last opindex +op_other cLOGOP->op_other opindex +op_true cCONDOP->op_true opindex +op_false cCONDOP->op_false opindex +op_children cLISTOP->op_children U32 +op_pmreplroot cPMOP->op_pmreplroot opindex +op_pmreplrootgv *(SV**)&cPMOP->op_pmreplroot svindex +op_pmreplstart cPMOP->op_pmreplstart opindex +op_pmnext *(OP**)&cPMOP->op_pmnext opindex +pregcomp op pvcontents x +op_pmflags cPMOP->op_pmflags U16 +op_pmpermflags cPMOP->op_pmpermflags U16 +op_sv cSVOP->op_sv svindex +op_gv *(SV**)&cGVOP->op_gv svindex +op_pv cPVOP->op_pv pvcontents +op_pv_tr cPVOP->op_pv op_tr_array +op_redoop cLOOP->op_redoop opindex +op_nextop cLOOP->op_nextop opindex +op_lastop cLOOP->op_lastop opindex +cop_label cCOP->cop_label pvcontents +cop_stash *(SV**)&cCOP->cop_stash svindex +cop_filegv *(SV**)&cCOP->cop_filegv svindex +cop_seq cCOP->cop_seq U32 +cop_arybase cCOP->cop_arybase I32 +cop_line cCOP->cop_line line_t +main_start main_start opindex +main_root main_root opindex +curpad curpad svindex x |