This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
[win32] various cleanups so that B can be built as "just another extension"
[perl5.git] / bytecode.pl
CommitLineData
a8a597b2
MB
1use strict;
2my %alias_to = (
3 U32 => [qw(PADOFFSET STRLEN)],
4 I32 => [qw(SSize_t long)],
5 U16 => [qw(OPCODE line_t short)],
6 U8 => [qw(char)],
7 objindex => [qw(svindex opindex)]
8);
9
10my @optype= qw(OP UNOP BINOP LOGOP CONDOP LISTOP PMOP SVOP GVOP PVOP LOOP COP);
11
12# Nullsv *must* come first in the following so that the condition
13# ($$sv == 0) can continue to be used to test (sv == Nullsv).
14my @specialsv = qw(Nullsv &sv_undef &sv_yes &sv_no);
15
16my (%alias_from, $from, $tos);
17while (($from, $tos) = each %alias_to) {
18 map { $alias_from{$_} = $from } @$tos;
19}
20
21my $c_header = <<'EOT';
22/*
a8581515 23 * Copyright (c) 1996-1998 Malcolm Beattie
a8a597b2
MB
24 *
25 * You may distribute under the terms of either the GNU General Public
26 * License or the Artistic License, as specified in the README file.
27 *
28 */
29/*
30 * This file is autogenerated from bytecode.pl. Changes made here will be lost.
31 */
32EOT
33
34my $perl_header;
35($perl_header = $c_header) =~ s{[/ ]?\*/?}{#}g;
36
33b839e2 37unlink "byterun.c", "byterun.h", "ext/B/B/Asmdata.pm";
a8a597b2
MB
38
39#
40# Start with boilerplate for Asmdata.pm
41#
33b839e2 42open(ASMDATA_PM, ">ext/B/B/Asmdata.pm") or die "ext/B/B/Asmdata.pm: $!";
a8a597b2
MB
43print ASMDATA_PM $perl_header, <<'EOT';
44package B::Asmdata;
45use Exporter;
46@ISA = qw(Exporter);
47@EXPORT_OK = qw(%insn_data @insn_name @optype @specialsv_name);
48use vars qw(%insn_data @insn_name @optype @specialsv_name);
49
50EOT
51print ASMDATA_PM <<"EOT";
52\@optype = qw(@optype);
53\@specialsv_name = qw(@specialsv);
54
55# XXX insn_data is initialised this way because with a large
56# %insn_data = (foo => [...], bar => [...], ...) initialiser
57# I get a hard-to-track-down stack underflow and segfault.
58EOT
59
60#
61# Boilerplate for byterun.c
62#
63open(BYTERUN_C, ">byterun.c") or die "byterun.c: $!";
64print BYTERUN_C $c_header, <<'EOT';
65
66#include "EXTERN.h"
67#include "perl.h"
d613ef02
GS
68
69void *
70bset_obj_store(void *obj, I32 ix)
71{
72 if (ix > obj_list_fill) {
73 if (obj_list_fill == -1)
74 New(666, obj_list, ix + 1, void*);
75 else
76 Renew(obj_list, ix + 1, void*);
77 obj_list_fill = ix;
78 }
79 obj_list[ix] = obj;
80 return obj;
81}
a8a597b2
MB
82
83#ifdef INDIRECT_BGET_MACROS
33b839e2 84void byterun(struct bytestream bs)
a8a597b2 85#else
33b839e2 86void byterun(FILE *fp)
a8a597b2
MB
87#endif /* INDIRECT_BGET_MACROS */
88{
89 dTHR;
90 int insn;
91 while ((insn = FGETC()) != EOF) {
92 switch (insn) {
93EOT
94
95
96my (@insn_name, $insn_num, $insn, $lvalue, $argtype, $flags, $fundtype);
97
98while (<DATA>) {
99 chop;
100 s/#.*//; # remove comments
101 next unless length;
102 if (/^%number\s+(.*)/) {
103 $insn_num = $1;
104 next;
105 } elsif (/%enum\s+(.*?)\s+(.*)/) {
106 create_enum($1, $2); # must come before instructions
107 next;
108 }
109 ($insn, $lvalue, $argtype, $flags) = split;
110 $insn_name[$insn_num] = $insn;
111 $fundtype = $alias_from{$argtype} || $argtype;
112
113 #
114 # Add the case statement and code for the bytecode interpreter in byterun.c
115 #
116 printf BYTERUN_C "\t case INSN_%s:\t\t/* %d */\n\t {\n",
117 uc($insn), $insn_num;
118 my $optarg = $argtype eq "none" ? "" : ", arg";
119 if ($optarg) {
120 printf BYTERUN_C "\t\t$argtype arg;\n\t\tBGET_%s(arg);\n", $fundtype;
121 }
122 if ($flags =~ /x/) {
123 print BYTERUN_C "\t\tBSET_$insn($lvalue$optarg);\n";
124 } elsif ($flags =~ /s/) {
125 # Store instructions store to obj_list[arg]. "lvalue" field is rvalue.
126 print BYTERUN_C "\t\tBSET_OBJ_STORE($lvalue$optarg);\n";
127 }
128 elsif ($optarg && $lvalue ne "none") {
129 print BYTERUN_C "\t\t$lvalue = arg;\n";
130 }
131 print BYTERUN_C "\t\tbreak;\n\t }\n";
132
133 #
134 # Add the initialiser line for %insn_data in Asmdata.pm
135 #
136 print ASMDATA_PM <<"EOT";
137\$insn_data{$insn} = [$insn_num, \\&PUT_$fundtype, "GET_$fundtype"];
138EOT
139
140 # Find the next unused instruction number
141 do { $insn_num++ } while $insn_name[$insn_num];
142}
143
144#
145# Finish off byterun.c
146#
147print BYTERUN_C <<'EOT';
148 default:
149 croak("Illegal bytecode instruction %d\n", insn);
150 /* NOTREACHED */
151 }
152 }
153}
154EOT
155
156#
157# Write the instruction and optype enum constants into byterun.h
158#
159open(BYTERUN_H, ">byterun.h") or die "byterun.h: $!";
160print BYTERUN_H $c_header, <<'EOT';
161#ifdef INDIRECT_BGET_MACROS
162struct bytestream {
163 void *data;
164 int (*fgetc)(void *);
165 int (*fread)(char *, size_t, size_t, void*);
166 void (*freadpv)(U32, void*);
167};
a8a597b2
MB
168void byterun _((struct bytestream));
169#else
170void byterun _((FILE *));
171#endif /* INDIRECT_BGET_MACROS */
172
d613ef02 173void *bset_obj_store _((void *, I32));
a8a597b2
MB
174
175enum {
176EOT
177
178my $i = 0;
179my $add_enum_value = 0;
180my $max_insn;
181for ($i = 0; $i < @insn_name; $i++) {
182 $insn = uc($insn_name[$i]);
183 if (defined($insn)) {
184 $max_insn = $i;
185 if ($add_enum_value) {
186 print BYTERUN_H " INSN_$insn = $i,\t\t\t/* $i */\n";
187 $add_enum_value = 0;
188 } else {
189 print BYTERUN_H " INSN_$insn,\t\t\t/* $i */\n";
190 }
191 } else {
192 $add_enum_value = 1;
193 }
194}
195
196print BYTERUN_H " MAX_INSN = $max_insn\n};\n";
197
198print BYTERUN_H "\nenum {\n";
199for ($i = 0; $i < @optype - 1; $i++) {
200 printf BYTERUN_H " OPt_%s,\t\t/* %d */\n", $optype[$i], $i;
201}
202printf BYTERUN_H " OPt_%s\t\t/* %d */\n};\n\n", $optype[$i], $i;
203print BYTERUN_H <<'EOT';
204EXT int optype_size[]
205#ifdef DOINIT
206= {
207EOT
208for ($i = 0; $i < @optype - 1; $i++) {
209 printf BYTERUN_H " sizeof(%s),\n", $optype[$i], $i;
210}
211printf BYTERUN_H " sizeof(%s)\n}\n", $optype[$i], $i;
212print BYTERUN_H <<'EOT';
213#endif /* DOINIT */
214;
215
216EOT
217
218printf BYTERUN_H <<'EOT', scalar(@specialsv);
219EXT SV * specialsv_list[%d];
220#define INIT_SPECIALSV_LIST STMT_START { \
221EOT
222for ($i = 0; $i < @specialsv; $i++) {
33b839e2 223 print BYTERUN_H "\tspecialsv_list[$i] = $specialsv[$i]; \\\n";
a8a597b2
MB
224}
225print BYTERUN_H <<'EOT';
33b839e2 226 } STMT_END
a8a597b2
MB
227EOT
228
229#
230# Finish off insn_data and create array initialisers in Asmdata.pm
231#
232print ASMDATA_PM <<'EOT';
233
234my ($insn_name, $insn_data);
235while (($insn_name, $insn_data) = each %insn_data) {
236 $insn_name[$insn_data->[0]] = $insn_name;
237}
238# Fill in any gaps
239@insn_name = map($_ || "unused", @insn_name);
240
2411;
242EOT
243
244__END__
245# First set instruction ord("#") to read comment to end-of-line (sneaky)
246%number 35
247comment arg comment
248# Then make ord("\n") into a no-op
249%number 10
250nop none none
251# Now for the rest of the ordinary ones, beginning with \0 which is
252# ret so that \0-terminated strings can be read properly as bytecode.
253%number 0
254#
255#opcode lvalue argtype flags
256#
257ret none none x
258ldsv sv svindex
259ldop op opindex
260stsv sv U32 s
261stop op U32 s
262ldspecsv sv U8 x
263newsv sv U8 x
264newop op U8 x
265newopn op U8 x
266newpv none PV
267pv_cur pv.xpv_cur STRLEN
268pv_free pv none x
269sv_upgrade sv char x
270sv_refcnt SvREFCNT(sv) U32
271sv_refcnt_add SvREFCNT(sv) I32 x
272sv_flags SvFLAGS(sv) U32
273xrv SvRV(sv) svindex
274xpv sv none x
275xiv32 SvIVX(sv) I32
276xiv64 SvIVX(sv) IV64
277xnv SvNVX(sv) double
278xlv_targoff LvTARGOFF(sv) STRLEN
279xlv_targlen LvTARGLEN(sv) STRLEN
280xlv_targ LvTARG(sv) svindex
281xlv_type LvTYPE(sv) char
282xbm_useful BmUSEFUL(sv) I32
283xbm_previous BmPREVIOUS(sv) U16
284xbm_rare BmRARE(sv) U8
285xfm_lines FmLINES(sv) I32
286xio_lines IoLINES(sv) long
287xio_page IoPAGE(sv) long
288xio_page_len IoPAGE_LEN(sv) long
289xio_lines_left IoLINES_LEFT(sv) long
290xio_top_name IoTOP_NAME(sv) pvcontents
291xio_top_gv *(SV**)&IoTOP_GV(sv) svindex
292xio_fmt_name IoFMT_NAME(sv) pvcontents
293xio_fmt_gv *(SV**)&IoFMT_GV(sv) svindex
294xio_bottom_name IoBOTTOM_NAME(sv) pvcontents
295xio_bottom_gv *(SV**)&IoBOTTOM_GV(sv) svindex
296xio_subprocess IoSUBPROCESS(sv) short
297xio_type IoTYPE(sv) char
298xio_flags IoFLAGS(sv) char
299xcv_stash *(SV**)&CvSTASH(sv) svindex
300xcv_start CvSTART(sv) opindex
301xcv_root CvROOT(sv) opindex
302xcv_gv *(SV**)&CvGV(sv) svindex
303xcv_filegv *(SV**)&CvFILEGV(sv) svindex
304xcv_depth CvDEPTH(sv) long
305xcv_padlist *(SV**)&CvPADLIST(sv) svindex
306xcv_outside *(SV**)&CvOUTSIDE(sv) svindex
307xcv_flags CvFLAGS(sv) U8
308av_extend sv SSize_t x
309av_push sv svindex x
310xav_fill AvFILLp(sv) SSize_t
311xav_max AvMAX(sv) SSize_t
312xav_flags AvFLAGS(sv) U8
313xhv_riter HvRITER(sv) I32
314xhv_name HvNAME(sv) pvcontents
315hv_store sv svindex x
316sv_magic sv char x
317mg_obj SvMAGIC(sv)->mg_obj svindex
318mg_private SvMAGIC(sv)->mg_private U16
319mg_flags SvMAGIC(sv)->mg_flags U8
320mg_pv SvMAGIC(sv) pvcontents x
321xmg_stash *(SV**)&SvSTASH(sv) svindex
322gv_fetchpv sv strconst x
323gv_stashpv sv strconst x
324gp_sv GvSV(sv) svindex
325gp_refcnt GvREFCNT(sv) U32
326gp_refcnt_add GvREFCNT(sv) I32 x
327gp_av *(SV**)&GvAV(sv) svindex
328gp_hv *(SV**)&GvHV(sv) svindex
329gp_cv *(SV**)&GvCV(sv) svindex
330gp_filegv *(SV**)&GvFILEGV(sv) svindex
331gp_io *(SV**)&GvIOp(sv) svindex
332gp_form *(SV**)&GvFORM(sv) svindex
333gp_cvgen GvCVGEN(sv) U32
334gp_line GvLINE(sv) line_t
335gp_share sv svindex x
336xgv_flags GvFLAGS(sv) U8
337op_next op->op_next opindex
338op_sibling op->op_sibling opindex
339op_ppaddr op->op_ppaddr strconst x
340op_targ op->op_targ PADOFFSET
341op_type op OPCODE x
342op_seq op->op_seq U16
343op_flags op->op_flags U8
344op_private op->op_private U8
345op_first cUNOP->op_first opindex
346op_last cBINOP->op_last opindex
347op_other cLOGOP->op_other opindex
348op_true cCONDOP->op_true opindex
349op_false cCONDOP->op_false opindex
350op_children cLISTOP->op_children U32
351op_pmreplroot cPMOP->op_pmreplroot opindex
352op_pmreplrootgv *(SV**)&cPMOP->op_pmreplroot svindex
353op_pmreplstart cPMOP->op_pmreplstart opindex
354op_pmnext *(OP**)&cPMOP->op_pmnext opindex
355pregcomp op pvcontents x
356op_pmflags cPMOP->op_pmflags U16
357op_pmpermflags cPMOP->op_pmpermflags U16
358op_sv cSVOP->op_sv svindex
359op_gv *(SV**)&cGVOP->op_gv svindex
360op_pv cPVOP->op_pv pvcontents
361op_pv_tr cPVOP->op_pv op_tr_array
362op_redoop cLOOP->op_redoop opindex
363op_nextop cLOOP->op_nextop opindex
364op_lastop cLOOP->op_lastop opindex
365cop_label cCOP->cop_label pvcontents
366cop_stash *(SV**)&cCOP->cop_stash svindex
367cop_filegv *(SV**)&cCOP->cop_filegv svindex
368cop_seq cCOP->cop_seq U32
369cop_arybase cCOP->cop_arybase I32
370cop_line cCOP->cop_line line_t
371main_start main_start opindex
372main_root main_root opindex
373curpad curpad svindex x