Commit | Line | Data |
1df34986 |
1 | # B::Bytecode.pm |
2 | # Copyright (c) 2003 Enache Adrian. All rights reserved. |
3 | # This module is free software; you can redistribute and/or modify |
4 | # it under the same terms as Perl itself. |
5 | |
6 | # Based on the original Bytecode.pm module written by Malcolm Beattie. |
059a8bb7 |
7 | |
1df34986 |
8 | package B::Bytecode; |
28b605d8 |
9 | |
eaade9ad |
10 | our $VERSION = '1.01'; |
11 | |
a798dbf2 |
12 | use strict; |
1df34986 |
13 | use Config; |
14 | use B qw(class main_cv main_root main_start cstring comppadlist |
15 | defstash curstash begin_av init_av end_av inc_gv warnhook diehook |
16 | dowarn SVt_PVGV SVt_PVHV OPf_SPECIAL OPf_STACKED OPf_MOD |
17 | OPpLVAL_INTRO SVf_FAKE SVf_READONLY); |
18 | use B::Asmdata qw(@specialsv_name); |
19 | use B::Assembler qw(asm newasm endasm); |
1df34986 |
20 | |
21 | ################################################# |
22 | |
f66c782a |
23 | my ($varix, $opix, $savebegins, %walked, %files, @cloop); |
1df34986 |
24 | my %strtab = (0,0); |
25 | my %svtab = (0,0); |
26 | my %optab = (0,0); |
27 | my %spectab = (0,0); |
1df34986 |
28 | my $tix = 1; |
29 | sub asm; |
30 | sub nice ($) { } |
f66c782a |
31 | |
32 | BEGIN { |
33 | my $ithreads = $Config{'useithreads'} eq 'define'; |
34 | eval qq{ |
35 | sub ITHREADS() { $ithreads } |
36 | sub VERSION() { $] } |
37 | }; die $@ if $@; |
38 | } |
1df34986 |
39 | |
40 | ################################################# |
059a8bb7 |
41 | |
1df34986 |
42 | sub pvstring { |
43 | my $pv = shift; |
44 | defined($pv) ? cstring ($pv."\0") : "\"\""; |
059a8bb7 |
45 | } |
a798dbf2 |
46 | |
1df34986 |
47 | sub pvix { |
48 | my $str = pvstring shift; |
49 | my $ix = $strtab{$str}; |
50 | defined($ix) ? $ix : do { |
51 | asm "newpv", $str; |
52 | asm "stpv", $strtab{$str} = $tix; |
53 | $tix++; |
a798dbf2 |
54 | } |
55 | } |
56 | |
1df34986 |
57 | sub B::OP::ix { |
58 | my $op = shift; |
59 | my $ix = $optab{$$op}; |
60 | defined($ix) ? $ix : do { |
f66c782a |
61 | nice "[".$op->name." $tix]"; |
566ece03 |
62 | asm "newopx", $op->size | $op->type <<7; |
63 | $optab{$$op} = $opix = $ix = $tix++; |
1df34986 |
64 | $op->bsave($ix); |
65 | $ix; |
a798dbf2 |
66 | } |
67 | } |
68 | |
1df34986 |
69 | sub B::SPECIAL::ix { |
70 | my $spec = shift; |
71 | my $ix = $spectab{$$spec}; |
72 | defined($ix) ? $ix : do { |
73 | nice '['.$specialsv_name[$$spec].']'; |
566ece03 |
74 | asm "ldspecsvx", $$spec; |
75 | $spectab{$$spec} = $varix = $tix++; |
1df34986 |
76 | } |
a798dbf2 |
77 | } |
78 | |
1df34986 |
79 | sub B::SV::ix { |
80 | my $sv = shift; |
81 | my $ix = $svtab{$$sv}; |
82 | defined($ix) ? $ix : do { |
83 | nice '['.class($sv).']'; |
566ece03 |
84 | asm "newsvx", $sv->FLAGS; |
85 | $svtab{$$sv} = $varix = $ix = $tix++; |
1df34986 |
86 | $sv->bsave($ix); |
87 | $ix; |
88 | } |
89 | } |
90 | |
91 | sub B::GV::ix { |
92 | my ($gv,$desired) = @_; |
93 | my $ix = $svtab{$$gv}; |
94 | defined($ix) ? $ix : do { |
95 | if ($gv->GP) { |
96 | my ($svix, $avix, $hvix, $cvix, $ioix, $formix); |
97 | nice "[GV]"; |
98 | my $name = $gv->STASH->NAME . "::" . $gv->NAME; |
566ece03 |
99 | asm "gv_fetchpvx", cstring $name; |
100 | $svtab{$$gv} = $varix = $ix = $tix++; |
1df34986 |
101 | asm "sv_flags", $gv->FLAGS; |
102 | asm "sv_refcnt", $gv->REFCNT; |
103 | asm "xgv_flags", $gv->GvFLAGS; |
104 | |
105 | asm "gp_refcnt", $gv->GvREFCNT; |
106 | asm "load_glob", $ix if $name eq "CORE::GLOBAL::glob"; |
107 | return $ix |
108 | unless $desired || desired $gv; |
109 | $svix = $gv->SV->ix; |
110 | $avix = $gv->AV->ix; |
111 | $hvix = $gv->HV->ix; |
112 | |
566ece03 |
113 | # XXX {{{{ |
1df34986 |
114 | my $cv = $gv->CV; |
115 | $cvix = $$cv && defined $files{$cv->FILE} ? $cv->ix : 0; |
116 | my $form = $gv->FORM; |
117 | $formix = $$form && defined $files{$form->FILE} ? $form->ix : 0; |
118 | |
566ece03 |
119 | $ioix = $name !~ /STDOUT$/ ? $gv->IO->ix : 0; |
120 | # }}}} XXX |
1df34986 |
121 | |
122 | nice "-GV-", |
123 | asm "ldsv", $varix = $ix unless $ix == $varix; |
124 | asm "gp_sv", $svix; |
125 | asm "gp_av", $avix; |
126 | asm "gp_hv", $hvix; |
127 | asm "gp_cv", $cvix; |
128 | asm "gp_io", $ioix; |
129 | asm "gp_cvgen", $gv->CVGEN; |
130 | asm "gp_form", $formix; |
131 | asm "gp_file", pvix $gv->FILE; |
132 | asm "gp_line", $gv->LINE; |
133 | asm "formfeed", $svix if $name eq "main::\cL"; |
134 | } else { |
135 | nice "[GV]"; |
566ece03 |
136 | asm "newsvx", $gv->FLAGS; |
137 | $svtab{$$gv} = $varix = $ix = $tix++; |
1df34986 |
138 | my $stashix = $gv->STASH->ix; |
139 | $gv->B::PVMG::bsave($ix); |
140 | asm "xgv_flags", $gv->GvFLAGS; |
141 | asm "xgv_stash", $stashix; |
142 | } |
143 | $ix; |
144 | } |
a798dbf2 |
145 | } |
146 | |
1df34986 |
147 | sub B::HV::ix { |
148 | my $hv = shift; |
149 | my $ix = $svtab{$$hv}; |
150 | defined($ix) ? $ix : do { |
151 | my ($ix,$i,@array); |
152 | my $name = $hv->NAME; |
153 | if ($name) { |
154 | nice "[STASH]"; |
566ece03 |
155 | asm "gv_stashpvx", cstring $name; |
156 | asm "sv_flags", $hv->FLAGS; |
157 | $svtab{$$hv} = $varix = $ix = $tix++; |
1df34986 |
158 | asm "xhv_name", pvix $name; |
159 | # my $pmrootix = $hv->PMROOT->ix; # XXX |
160 | asm "ldsv", $varix = $ix unless $ix == $varix; |
161 | # asm "xhv_pmroot", $pmrootix; # XXX |
162 | } else { |
163 | nice "[HV]"; |
566ece03 |
164 | asm "newsvx", $hv->FLAGS; |
165 | $svtab{$$hv} = $varix = $ix = $tix++; |
1df34986 |
166 | my $stashix = $hv->SvSTASH->ix; |
167 | for (@array = $hv->ARRAY) { |
168 | next if $i = not $i; |
169 | $_ = $_->ix; |
170 | } |
171 | nice "-HV-", |
172 | asm "ldsv", $varix = $ix unless $ix == $varix; |
173 | ($i = not $i) ? asm ("newpv", pvstring $_) : asm("hv_store", $_) |
174 | for @array; |
1df34986 |
175 | asm "xmg_stash", $stashix; |
6a1bf161 |
176 | asm "xhv_riter", $hv->RITER; |
1df34986 |
177 | } |
178 | asm "sv_refcnt", $hv->REFCNT; |
1df34986 |
179 | $ix; |
a798dbf2 |
180 | } |
181 | } |
182 | |
1df34986 |
183 | sub B::NULL::ix { |
184 | my $sv = shift; |
185 | $$sv ? $sv->B::SV::ix : 0; |
059a8bb7 |
186 | } |
187 | |
1df34986 |
188 | sub B::NULL::opwalk { 0 } |
a798dbf2 |
189 | |
1df34986 |
190 | ################################################# |
a798dbf2 |
191 | |
1df34986 |
192 | sub B::NULL::bsave { |
193 | my ($sv,$ix) = @_; |
059a8bb7 |
194 | |
1df34986 |
195 | nice '-'.class($sv).'-', |
196 | asm "ldsv", $varix = $ix unless $ix == $varix; |
197 | asm "sv_refcnt", $sv->REFCNT; |
a798dbf2 |
198 | } |
199 | |
1df34986 |
200 | sub B::SV::bsave; |
201 | *B::SV::bsave = *B::NULL::bsave; |
a798dbf2 |
202 | |
1df34986 |
203 | sub B::RV::bsave { |
204 | my ($sv,$ix) = @_; |
205 | my $rvix = $sv->RV->ix; |
206 | $sv->B::NULL::bsave($ix); |
207 | asm "xrv", $rvix; |
a798dbf2 |
208 | } |
209 | |
1df34986 |
210 | sub B::PV::bsave { |
211 | my ($sv,$ix) = @_; |
212 | $sv->B::NULL::bsave($ix); |
213 | asm "newpv", pvstring $sv->PVBM; |
214 | asm "xpv"; |
a798dbf2 |
215 | } |
216 | |
1df34986 |
217 | sub B::IV::bsave { |
218 | my ($sv,$ix) = @_; |
219 | $sv->B::NULL::bsave($ix); |
220 | asm "xiv", $sv->IVX; |
a798dbf2 |
221 | } |
222 | |
1df34986 |
223 | sub B::NV::bsave { |
224 | my ($sv,$ix) = @_; |
225 | $sv->B::NULL::bsave($ix); |
226 | asm "xnv", sprintf "%.40g", $sv->NVX; |
a798dbf2 |
227 | } |
228 | |
1df34986 |
229 | sub B::PVIV::bsave { |
230 | my ($sv,$ix) = @_; |
231 | $sv->POK ? |
232 | $sv->B::PV::bsave($ix): |
233 | $sv->ROK ? |
234 | $sv->B::RV::bsave($ix): |
235 | $sv->B::NULL::bsave($ix); |
97d63060 |
236 | # See note below in B::PVNV::bsave |
237 | return if $sv->isa('B::AV'); |
238 | return if $sv->isa('B::HV'); |
f66c782a |
239 | asm "xiv", !ITHREADS && $sv->FLAGS & (SVf_FAKE|SVf_READONLY) ? |
1df34986 |
240 | "0 but true" : $sv->IVX; |
a798dbf2 |
241 | } |
242 | |
1df34986 |
243 | sub B::PVNV::bsave { |
244 | my ($sv,$ix) = @_; |
245 | $sv->B::PVIV::bsave($ix); |
fefd4cb9 |
246 | # Magical AVs end up here, but AVs now don't have an NV slot actually |
247 | # allocated. Hence don't write out assembly to store the NV slot if we're |
248 | # actually an array. |
249 | return if $sv->isa('B::AV'); |
250 | # Likewise HVs have no NV slot actually allocated. |
251 | # I don't think that they can get here, but better safe than sorry |
252 | return if $sv->isa('B::HV'); |
1df34986 |
253 | asm "xnv", sprintf "%.40g", $sv->NVX; |
a798dbf2 |
254 | } |
255 | |
1df34986 |
256 | sub B::PVMG::domagic { |
257 | my ($sv,$ix) = @_; |
258 | nice '-MAGICAL-'; |
259 | my @mglist = $sv->MAGIC; |
260 | my (@mgix, @namix); |
261 | for (@mglist) { |
262 | push @mgix, $_->OBJ->ix; |
263 | push @namix, $_->PTR->ix if $_->LENGTH == B::HEf_SVKEY; |
a798dbf2 |
264 | } |
a798dbf2 |
265 | |
1df34986 |
266 | nice '-'.class($sv).'-', |
267 | asm "ldsv", $varix = $ix unless $ix == $varix; |
268 | for (@mglist) { |
269 | asm "sv_magic", cstring $_->TYPE; |
270 | asm "mg_obj", shift @mgix; |
271 | my $length = $_->LENGTH; |
272 | if ($length == B::HEf_SVKEY) { |
273 | asm "mg_namex", shift @namix; |
274 | } elsif ($length) { |
275 | asm "newpv", pvstring $_->PTR; |
276 | asm "mg_name"; |
277 | } |
a798dbf2 |
278 | } |
279 | } |
280 | |
1df34986 |
281 | sub B::PVMG::bsave { |
282 | my ($sv,$ix) = @_; |
283 | my $stashix = $sv->SvSTASH->ix; |
284 | $sv->B::PVNV::bsave($ix); |
285 | asm "xmg_stash", $stashix; |
286 | $sv->domagic($ix) if $sv->MAGICAL; |
287 | } |
288 | |
289 | sub B::PVLV::bsave { |
290 | my ($sv,$ix) = @_; |
291 | my $targix = $sv->TARG->ix; |
292 | $sv->B::PVMG::bsave($ix); |
293 | asm "xlv_targ", $targix; |
294 | asm "xlv_targoff", $sv->TARGOFF; |
295 | asm "xlv_targlen", $sv->TARGLEN; |
296 | asm "xlv_type", $sv->TYPE; |
297 | |
298 | } |
299 | |
300 | sub B::BM::bsave { |
301 | my ($sv,$ix) = @_; |
302 | $sv->B::PVMG::bsave($ix); |
303 | asm "xpv_cur", $sv->CUR; |
304 | asm "xbm_useful", $sv->USEFUL; |
305 | asm "xbm_previous", $sv->PREVIOUS; |
306 | asm "xbm_rare", $sv->RARE; |
307 | } |
308 | |
309 | sub B::IO::bsave { |
310 | my ($io,$ix) = @_; |
311 | my $topix = $io->TOP_GV->ix; |
312 | my $fmtix = $io->FMT_GV->ix; |
313 | my $bottomix = $io->BOTTOM_GV->ix; |
314 | $io->B::PVMG::bsave($ix); |
315 | asm "xio_lines", $io->LINES; |
316 | asm "xio_page", $io->PAGE; |
317 | asm "xio_page_len", $io->PAGE_LEN; |
318 | asm "xio_lines_left", $io->LINES_LEFT; |
319 | asm "xio_top_name", pvix $io->TOP_NAME; |
320 | asm "xio_top_gv", $topix; |
321 | asm "xio_fmt_name", pvix $io->FMT_NAME; |
322 | asm "xio_fmt_gv", $fmtix; |
323 | asm "xio_bottom_name", pvix $io->BOTTOM_NAME; |
324 | asm "xio_bottom_gv", $bottomix; |
325 | asm "xio_subprocess", $io->SUBPROCESS; |
326 | asm "xio_type", ord $io->IoTYPE; |
327 | # asm "xio_flags", ord($io->IoFLAGS) & ~32; # XXX XXX |
328 | } |
329 | |
330 | sub B::CV::bsave { |
331 | my ($cv,$ix) = @_; |
332 | my $stashix = $cv->STASH->ix; |
1df34986 |
333 | my $gvix = $cv->GV->ix; |
334 | my $padlistix = $cv->PADLIST->ix; |
335 | my $outsideix = $cv->OUTSIDE->ix; |
336 | my $constix = $cv->CONST ? $cv->XSUBANY->ix : 0; |
566ece03 |
337 | my $startix = $cv->START->opwalk; |
338 | my $rootix = $cv->ROOT->ix; |
1df34986 |
339 | |
340 | $cv->B::PVMG::bsave($ix); |
341 | asm "xcv_stash", $stashix; |
342 | asm "xcv_start", $startix; |
343 | asm "xcv_root", $rootix; |
344 | asm "xcv_xsubany", $constix; |
345 | asm "xcv_gv", $gvix; |
346 | asm "xcv_file", pvix $cv->FILE if $cv->FILE; # XXX AD |
347 | asm "xcv_padlist", $padlistix; |
348 | asm "xcv_outside", $outsideix; |
349 | asm "xcv_flags", $cv->CvFLAGS; |
350 | asm "xcv_outside_seq", $cv->OUTSIDE_SEQ; |
351 | asm "xcv_depth", $cv->DEPTH; |
352 | } |
353 | |
354 | sub B::FM::bsave { |
355 | my ($form,$ix) = @_; |
356 | |
357 | $form->B::CV::bsave($ix); |
358 | asm "xfm_lines", $form->LINES; |
359 | } |
360 | |
361 | sub B::AV::bsave { |
362 | my ($av,$ix) = @_; |
363 | return $av->B::PVMG::bsave($ix) if $av->MAGICAL; |
364 | my @array = $av->ARRAY; |
365 | $_ = $_->ix for @array; |
366 | my $stashix = $av->SvSTASH->ix; |
367 | |
368 | nice "-AV-", |
369 | asm "ldsv", $varix = $ix unless $ix == $varix; |
ecd04c98 |
370 | asm "av_extend", $av->MAX if $av->MAX >= 0; |
1df34986 |
371 | asm "av_pushx", $_ for @array; |
372 | asm "sv_refcnt", $av->REFCNT; |
1df34986 |
373 | asm "xmg_stash", $stashix; |
374 | } |
375 | |
376 | sub B::GV::desired { |
377 | my $gv = shift; |
378 | my ($cv, $form); |
379 | $files{$gv->FILE} && $gv->LINE |
380 | || ${$cv = $gv->CV} && $files{$cv->FILE} |
381 | || ${$form = $gv->FORM} && $files{$form->FILE} |
a798dbf2 |
382 | } |
383 | |
1df34986 |
384 | sub B::HV::bwalk { |
385 | my $hv = shift; |
386 | return if $walked{$$hv}++; |
387 | my %stash = $hv->ARRAY; |
388 | while (my($k,$v) = each %stash) { |
389 | if ($v->SvTYPE == SVt_PVGV) { |
390 | my $hash = $v->HV; |
391 | if ($$hash && $hash->NAME) { |
392 | $hash->bwalk; |
393 | } |
394 | $v->ix(1) if desired $v; |
395 | } else { |
396 | nice "[prototype]"; |
566ece03 |
397 | asm "gv_fetchpvx", cstring $hv->NAME . "::$k"; |
398 | $svtab{$$v} = $varix = $tix; |
1df34986 |
399 | $v->bsave($tix++); |
566ece03 |
400 | asm "sv_flags", $v->FLAGS; |
1df34986 |
401 | } |
402 | } |
a798dbf2 |
403 | } |
404 | |
1df34986 |
405 | ###################################################### |
a798dbf2 |
406 | |
a798dbf2 |
407 | |
1df34986 |
408 | sub B::OP::bsave_thin { |
409 | my ($op, $ix) = @_; |
410 | my $next = $op->next; |
411 | my $nextix = $optab{$$next}; |
412 | $nextix = 0, push @cloop, $op unless defined $nextix; |
413 | if ($ix != $opix) { |
414 | nice '-'.$op->name.'-', |
415 | asm "ldop", $opix = $ix; |
a798dbf2 |
416 | } |
1df34986 |
417 | asm "op_next", $nextix; |
418 | asm "op_targ", $op->targ if $op->type; # tricky |
419 | asm "op_flags", $op->flags; |
420 | asm "op_private", $op->private; |
a798dbf2 |
421 | } |
422 | |
1df34986 |
423 | sub B::OP::bsave; |
424 | *B::OP::bsave = *B::OP::bsave_thin; |
a798dbf2 |
425 | |
1df34986 |
426 | sub B::UNOP::bsave { |
427 | my ($op, $ix) = @_; |
428 | my $name = $op->name; |
429 | my $flags = $op->flags; |
430 | my $first = $op->first; |
431 | my $firstix = |
432 | $name =~ /fl[io]p/ |
433 | # that's just neat |
f66c782a |
434 | || (!ITHREADS && $name eq 'regcomp') |
1df34986 |
435 | # trick for /$a/o in pp_regcomp |
436 | || $name eq 'rv2sv' |
437 | && $op->flags & OPf_MOD |
438 | && $op->private & OPpLVAL_INTRO |
439 | # change #18774 made my life hard |
440 | ? $first->ix |
441 | : 0; |
442 | |
443 | $op->B::OP::bsave($ix); |
444 | asm "op_first", $firstix; |
445 | } |
446 | |
566ece03 |
447 | sub B::BINOP::bsave { |
448 | my ($op, $ix) = @_; |
449 | if ($op->name eq 'aassign' && $op->private & B::OPpASSIGN_HASH()) { |
450 | my $last = $op->last; |
451 | my $lastix = do { |
452 | local *B::OP::bsave = *B::OP::bsave_fat; |
453 | local *B::UNOP::bsave = *B::UNOP::bsave_fat; |
454 | $last->ix; |
455 | }; |
456 | asm "ldop", $lastix unless $lastix == $opix; |
457 | asm "op_targ", $last->targ; |
458 | $op->B::OP::bsave($ix); |
459 | asm "op_last", $lastix; |
460 | } else { |
461 | $op->B::OP::bsave($ix); |
462 | } |
463 | } |
464 | |
465 | # not needed if no pseudohashes |
466 | |
f66c782a |
467 | *B::BINOP::bsave = *B::OP::bsave if VERSION >= 5.009; |
1df34986 |
468 | |
469 | # deal with sort / formline |
470 | |
471 | sub B::LISTOP::bsave { |
472 | my ($op, $ix) = @_; |
473 | my $name = $op->name; |
f66c782a |
474 | sub blocksort() { OPf_SPECIAL|OPf_STACKED } |
475 | if ($name eq 'sort' && ($op->flags & blocksort) == blocksort) { |
1df34986 |
476 | my $first = $op->first; |
f66c782a |
477 | my $pushmark = $first->sibling; |
478 | my $rvgv = $pushmark->first; |
479 | my $leave = $rvgv->first; |
480 | |
481 | my $leaveix = $leave->ix; |
482 | |
483 | my $rvgvix = $rvgv->ix; |
484 | asm "ldop", $rvgvix unless $rvgvix == $opix; |
485 | asm "op_first", $leaveix; |
486 | |
487 | my $pushmarkix = $pushmark->ix; |
488 | asm "ldop", $pushmarkix unless $pushmarkix == $opix; |
489 | asm "op_first", $rvgvix; |
490 | |
1df34986 |
491 | my $firstix = $first->ix; |
1df34986 |
492 | asm "ldop", $firstix unless $firstix == $opix; |
f66c782a |
493 | asm "op_sibling", $pushmarkix; |
494 | |
1df34986 |
495 | $op->B::OP::bsave($ix); |
496 | asm "op_first", $firstix; |
497 | } elsif ($name eq 'formline') { |
498 | $op->B::UNOP::bsave_fat($ix); |
a798dbf2 |
499 | } else { |
1df34986 |
500 | $op->B::OP::bsave($ix); |
a798dbf2 |
501 | } |
a798dbf2 |
502 | } |
503 | |
1df34986 |
504 | # fat versions |
a798dbf2 |
505 | |
1df34986 |
506 | sub B::OP::bsave_fat { |
507 | my ($op, $ix) = @_; |
508 | my $siblix = $op->sibling->ix; |
a798dbf2 |
509 | |
1df34986 |
510 | $op->B::OP::bsave_thin($ix); |
511 | asm "op_sibling", $siblix; |
512 | # asm "op_seq", -1; XXX don't allocate OPs piece by piece |
a798dbf2 |
513 | } |
514 | |
1df34986 |
515 | sub B::UNOP::bsave_fat { |
516 | my ($op,$ix) = @_; |
517 | my $firstix = $op->first->ix; |
a798dbf2 |
518 | |
1df34986 |
519 | $op->B::OP::bsave($ix); |
520 | asm "op_first", $firstix; |
a798dbf2 |
521 | } |
522 | |
1df34986 |
523 | sub B::BINOP::bsave_fat { |
524 | my ($op,$ix) = @_; |
525 | my $last = $op->last; |
526 | my $lastix = $op->last->ix; |
f66c782a |
527 | if (VERSION < 5.009 && $op->name eq 'aassign' && $last->name eq 'null') { |
1df34986 |
528 | asm "ldop", $lastix unless $lastix == $opix; |
529 | asm "op_targ", $last->targ; |
a798dbf2 |
530 | } |
a798dbf2 |
531 | |
1df34986 |
532 | $op->B::UNOP::bsave($ix); |
533 | asm "op_last", $lastix; |
a798dbf2 |
534 | } |
535 | |
1df34986 |
536 | sub B::LOGOP::bsave { |
537 | my ($op,$ix) = @_; |
538 | my $otherix = $op->other->ix; |
a798dbf2 |
539 | |
1df34986 |
540 | $op->B::UNOP::bsave($ix); |
541 | asm "op_other", $otherix; |
a798dbf2 |
542 | } |
543 | |
1df34986 |
544 | sub B::PMOP::bsave { |
545 | my ($op,$ix) = @_; |
546 | my ($rrop, $rrarg, $rstart); |
059a8bb7 |
547 | |
1df34986 |
548 | # my $pmnextix = $op->pmnext->ix; # XXX |
059a8bb7 |
549 | |
f66c782a |
550 | if (ITHREADS) { |
1df34986 |
551 | if ($op->name eq 'subst') { |
552 | $rrop = "op_pmreplroot"; |
553 | $rrarg = $op->pmreplroot->ix; |
554 | $rstart = $op->pmreplstart->ix; |
555 | } elsif ($op->name eq 'pushre') { |
556 | $rrop = "op_pmreplrootpo"; |
557 | $rrarg = $op->pmreplroot; |
a798dbf2 |
558 | } |
1df34986 |
559 | $op->B::BINOP::bsave($ix); |
560 | asm "op_pmstashpv", pvix $op->pmstashpv; |
561 | } else { |
562 | $rrop = "op_pmreplrootgv"; |
563 | $rrarg = $op->pmreplroot->ix; |
564 | $rstart = $op->pmreplstart->ix if $op->name eq 'subst'; |
565 | my $stashix = $op->pmstash->ix; |
566 | $op->B::BINOP::bsave($ix); |
567 | asm "op_pmstash", $stashix; |
a798dbf2 |
568 | } |
1df34986 |
569 | |
570 | asm $rrop, $rrarg if $rrop; |
571 | asm "op_pmreplstart", $rstart if $rstart; |
572 | |
573 | asm "op_pmflags", $op->pmflags; |
574 | asm "op_pmpermflags", $op->pmpermflags; |
575 | asm "op_pmdynflags", $op->pmdynflags; |
576 | # asm "op_pmnext", $pmnextix; # XXX |
577 | asm "newpv", pvstring $op->precomp; |
578 | asm "pregcomp"; |
a798dbf2 |
579 | } |
580 | |
1df34986 |
581 | sub B::SVOP::bsave { |
582 | my ($op,$ix) = @_; |
583 | my $svix = $op->sv->ix; |
584 | |
585 | $op->B::OP::bsave($ix); |
586 | asm "op_sv", $svix; |
a798dbf2 |
587 | } |
588 | |
1df34986 |
589 | sub B::PADOP::bsave { |
590 | my ($op,$ix) = @_; |
591 | |
592 | $op->B::OP::bsave($ix); |
593 | asm "op_padix", $op->padix; |
a798dbf2 |
594 | } |
595 | |
1df34986 |
596 | sub B::PVOP::bsave { |
597 | my ($op,$ix) = @_; |
598 | $op->B::OP::bsave($ix); |
599 | return unless my $pv = $op->pv; |
600 | |
601 | if ($op->name eq 'trans') { |
602 | asm "op_pv_tr", join ',', length($pv)/2, unpack("s*", $pv); |
603 | } else { |
604 | asm "newpv", pvstring $pv; |
605 | asm "op_pv"; |
a798dbf2 |
606 | } |
a798dbf2 |
607 | } |
608 | |
1df34986 |
609 | sub B::LOOP::bsave { |
610 | my ($op,$ix) = @_; |
611 | my $nextix = $op->nextop->ix; |
612 | my $lastix = $op->lastop->ix; |
613 | my $redoix = $op->redoop->ix; |
614 | |
615 | $op->B::BINOP::bsave($ix); |
616 | asm "op_redoop", $redoix; |
617 | asm "op_nextop", $nextix; |
618 | asm "op_lastop", $lastix; |
a798dbf2 |
619 | } |
620 | |
1df34986 |
621 | sub B::COP::bsave { |
622 | my ($cop,$ix) = @_; |
623 | my $warnix = $cop->warnings->ix; |
624 | my $ioix = $cop->io->ix; |
f66c782a |
625 | if (ITHREADS) { |
1df34986 |
626 | $cop->B::OP::bsave($ix); |
627 | asm "cop_stashpv", pvix $cop->stashpv; |
628 | asm "cop_file", pvix $cop->file; |
629 | } else { |
630 | my $stashix = $cop->stash->ix; |
631 | my $fileix = $cop->filegv->ix(1); |
632 | $cop->B::OP::bsave($ix); |
633 | asm "cop_stash", $stashix; |
634 | asm "cop_filegv", $fileix; |
a798dbf2 |
635 | } |
1df34986 |
636 | asm "cop_label", pvix $cop->label if $cop->label; # XXX AD |
637 | asm "cop_seq", $cop->cop_seq; |
638 | asm "cop_arybase", $cop->arybase; |
639 | asm "cop_line", $cop->line; |
640 | asm "cop_warnings", $warnix; |
641 | asm "cop_io", $ioix; |
a798dbf2 |
642 | } |
643 | |
1df34986 |
644 | sub B::OP::opwalk { |
645 | my $op = shift; |
646 | my $ix = $optab{$$op}; |
647 | defined($ix) ? $ix : do { |
648 | my $ix; |
649 | my @oplist = $op->oplist; |
650 | push @cloop, undef; |
651 | $ix = $_->ix while $_ = pop @oplist; |
652 | while ($_ = pop @cloop) { |
653 | asm "ldop", $optab{$$_}; |
654 | asm "op_next", $optab{${$_->next}}; |
a798dbf2 |
655 | } |
1df34986 |
656 | $ix; |
a798dbf2 |
657 | } |
658 | } |
659 | |
1df34986 |
660 | ################################################# |
661 | |
662 | sub save_cq { |
663 | my $av; |
664 | if (($av=begin_av)->isa("B::AV")) { |
665 | if ($savebegins) { |
666 | for ($av->ARRAY) { |
667 | next unless $_->FILE eq $0; |
668 | asm "push_begin", $_->ix; |
669 | } |
670 | } else { |
671 | for ($av->ARRAY) { |
672 | next unless $_->FILE eq $0; |
566ece03 |
673 | # XXX BEGIN { goto A while 1; A: } |
1df34986 |
674 | for (my $op = $_->START; $$op; $op = $op->next) { |
566ece03 |
675 | next unless $op->name eq 'require' || |
676 | # this kludge needed for tests |
677 | $op->name eq 'gv' && do { |
678 | my $gv = class($op) eq 'SVOP' ? |
679 | $op->gv : |
680 | (($_->PADLIST->ARRAY)[1]->ARRAY)[$op->padix]; |
681 | $$gv && $gv->NAME =~ /use_ok|plan/ |
682 | }; |
1df34986 |
683 | asm "push_begin", $_->ix; |
684 | last; |
059a8bb7 |
685 | } |
059a8bb7 |
686 | } |
687 | } |
a798dbf2 |
688 | } |
1df34986 |
689 | if (($av=init_av)->isa("B::AV")) { |
690 | for ($av->ARRAY) { |
691 | next unless $_->FILE eq $0; |
692 | asm "push_init", $_->ix; |
059a8bb7 |
693 | } |
694 | } |
1df34986 |
695 | if (($av=end_av)->isa("B::AV")) { |
696 | for ($av->ARRAY) { |
697 | next unless $_->FILE eq $0; |
698 | asm "push_end", $_->ix; |
059a8bb7 |
699 | } |
a798dbf2 |
700 | } |
701 | } |
702 | |
a798dbf2 |
703 | sub compile { |
566ece03 |
704 | my ($head, $scan, $T_inhinc, $keep_syn); |
1df34986 |
705 | my $cwd = ''; |
706 | $files{$0} = 1; |
707 | sub keep_syn { |
708 | $keep_syn = 1; |
709 | *B::OP::bsave = *B::OP::bsave_fat; |
710 | *B::UNOP::bsave = *B::UNOP::bsave_fat; |
711 | *B::BINOP::bsave = *B::BINOP::bsave_fat; |
712 | *B::LISTOP::bsave = *B::LISTOP::bsave_fat; |
713 | } |
714 | sub bwarn { print STDERR "Bytecode.pm: @_\n" } |
715 | |
716 | for (@_) { |
717 | if (/^-S/) { |
718 | *newasm = *endasm = sub { }; |
719 | *asm = sub { print " @_\n" }; |
720 | *nice = sub ($) { print "\n@_\n" }; |
721 | } elsif (/^-H/) { |
722 | require ByteLoader; |
723 | $head = "#! $^X\nuse ByteLoader $ByteLoader::VERSION;\n"; |
724 | } elsif (/^-k/) { |
725 | keep_syn; |
726 | } elsif (/^-o(.*)$/) { |
566ece03 |
727 | open STDOUT, ">$1" or die "open $1: $!"; |
1df34986 |
728 | } elsif (/^-f(.*)$/) { |
729 | $files{$1} = 1; |
566ece03 |
730 | } elsif (/^-s(.*)$/) { |
731 | $scan = length($1) ? $1 : $0; |
1df34986 |
732 | } elsif (/^-b/) { |
733 | $savebegins = 1; |
566ece03 |
734 | # this is here for the testsuite |
735 | } elsif (/^-TI/) { |
1df34986 |
736 | $T_inhinc = 1; |
566ece03 |
737 | } elsif (/^-TF(.*)/) { |
738 | my $thatfile = $1; |
739 | *B::COP::file = sub { $thatfile }; |
a798dbf2 |
740 | } else { |
1df34986 |
741 | bwarn "Ignoring '$_' option"; |
a798dbf2 |
742 | } |
1df34986 |
743 | } |
744 | if ($scan) { |
566ece03 |
745 | my $f; |
47682f07 |
746 | if (open $f, $scan) { |
747 | while (<$f>) { |
748 | /^#\s*line\s+\d+\s+("?)(.*)\1/ and $files{$2} = 1; |
749 | /^#/ and next; |
750 | if (/\bgoto\b\s*[^&]/ && !$keep_syn) { |
751 | bwarn "keeping the syntax tree: \"goto\" op found"; |
752 | keep_syn; |
753 | } |
a798dbf2 |
754 | } |
47682f07 |
755 | } else { |
756 | bwarn "cannot rescan '$scan'"; |
1df34986 |
757 | } |
566ece03 |
758 | close $f; |
1df34986 |
759 | } |
760 | binmode STDOUT; |
761 | return sub { |
762 | print $head if $head; |
763 | newasm sub { print @_ }; |
764 | |
765 | defstash->bwalk; |
766 | asm "main_start", main_start->opwalk; |
767 | asm "main_root", main_root->ix; |
768 | asm "main_cv", main_cv->ix; |
769 | asm "curpad", (comppadlist->ARRAY)[1]->ix; |
770 | |
771 | asm "signal", cstring "__WARN__" # XXX |
772 | if warnhook->ix; |
773 | asm "incav", inc_gv->AV->ix if $T_inhinc; |
774 | save_cq; |
775 | asm "incav", inc_gv->AV->ix if $T_inhinc; |
776 | asm "dowarn", dowarn; |
777 | |
778 | { |
779 | no strict 'refs'; |
780 | nice "<DATA>"; |
781 | my $dh = *{defstash->NAME."::DATA"}; |
f66c782a |
782 | unless (eof $dh) { |
783 | local undef $/; |
1df34986 |
784 | asm "data", ord 'D'; |
f66c782a |
785 | print <$dh>; |
a798dbf2 |
786 | } else { |
1df34986 |
787 | asm "ret"; |
a798dbf2 |
788 | } |
a798dbf2 |
789 | } |
1df34986 |
790 | |
791 | endasm; |
a798dbf2 |
792 | } |
793 | } |
794 | |
795 | 1; |
566ece03 |
796 | |
797 | =head1 NAME |
798 | |
799 | B::Bytecode - Perl compiler's bytecode backend |
800 | |
801 | =head1 SYNOPSIS |
802 | |
803 | B<perl -MO=Bytecode>[B<,-H>][B<,-o>I<script.plc>] I<script.pl> |
804 | |
805 | =head1 DESCRIPTION |
806 | |
807 | Compiles a Perl script into a bytecode format that could be loaded |
808 | later by the ByteLoader module and executed as a regular Perl script. |
809 | |
810 | =head1 EXAMPLE |
811 | |
812 | $ perl -MO=Bytecode,-H,-ohi -e 'print "hi!\n"' |
813 | $ perl hi |
814 | hi! |
815 | |
816 | =head1 OPTIONS |
817 | |
818 | =over 4 |
819 | |
820 | =item B<-b> |
821 | |
822 | Save all the BEGIN blocks. Normally only BEGIN blocks that C<require> |
823 | other files (ex. C<use Foo;>) are saved. |
824 | |
825 | =item B<-H> |
826 | |
827 | prepend a C<use ByteLoader VERSION;> line to the produced bytecode. |
828 | |
829 | =item B<-k> |
830 | |
831 | keep the syntax tree - it is stripped by default. |
832 | |
833 | =item B<-o>I<outfile> |
834 | |
835 | put the bytecode in <outfile> instead of dumping it to STDOUT. |
836 | |
837 | =item B<-s> |
838 | |
839 | scan the script for C<# line ..> directives and for <goto LABEL> |
840 | expressions. When gotos are found keep the syntax tree. |
841 | |
842 | =back |
843 | |
844 | =head1 KNOWN BUGS |
845 | |
846 | =over 4 |
847 | |
848 | =item * |
849 | |
850 | C<BEGIN { goto A: while 1; A: }> won't even compile. |
851 | |
852 | =item * |
853 | |
854 | C<?...?> and C<reset> do not work as expected. |
855 | |
856 | =item * |
857 | |
858 | variables in C<(?{ ... })> constructs are not properly scoped. |
859 | |
860 | =item * |
861 | |
862 | scripts that use source filters will fail miserably. |
863 | |
864 | =back |
865 | |
866 | =head1 NOTICE |
867 | |
868 | There are also undocumented bugs and options. |
869 | |
870 | THIS CODE IS HIGHLY EXPERIMENTAL. USE AT YOUR OWN RISK. |
871 | |
872 | =head1 AUTHORS |
873 | |
874 | Originally written by Malcolm Beattie <mbeattie@sable.ox.ac.uk> and |
875 | modified by Benjamin Stuhl <sho_pi@hotmail.com>. |
876 | |
877 | Rewritten by Enache Adrian <enache@rdslink.ro>, 2003 a.d. |
878 | |
879 | =cut |