Commit | Line | Data |
---|---|---|
a798dbf2 MB |
1 | # CC.pm |
2 | # | |
1a52ab62 | 3 | # Copyright (c) 1996, 1997, 1998 Malcolm Beattie |
a798dbf2 MB |
4 | # |
5 | # You may distribute under the terms of either the GNU General Public | |
6 | # License or the Artistic License, as specified in the README file. | |
7 | # | |
8 | package B::CC; | |
28b605d8 JH |
9 | |
10 | our $VERSION = '1.00'; | |
11 | ||
18228111 | 12 | use Config; |
a798dbf2 MB |
13 | use strict; |
14 | use B qw(main_start main_root class comppadlist peekop svref_2object | |
56eca212 | 15 | timing_info init_av sv_undef amagic_generation |
4c1f658f NIS |
16 | OPf_WANT_LIST OPf_WANT OPf_MOD OPf_STACKED OPf_SPECIAL |
17 | OPpASSIGN_BACKWARDS OPpLVAL_INTRO OPpDEREF_AV OPpDEREF_HV | |
a6f4eb0a | 18 | OPpDEREF OPpFLIP_LINENUM G_ARRAY G_SCALAR |
4c1f658f NIS |
19 | CXt_NULL CXt_SUB CXt_EVAL CXt_LOOP CXt_SUBST CXt_BLOCK |
20 | ); | |
0cc1d052 | 21 | use B::C qw(save_unused_subs objsym init_sections mark_unused |
a798dbf2 MB |
22 | output_all output_boilerplate output_main); |
23 | use B::Bblock qw(find_leaders); | |
24 | use B::Stackobj qw(:types :flags); | |
25 | ||
26 | # These should probably be elsewhere | |
27 | # Flags for $op->flags | |
a798dbf2 MB |
28 | |
29 | my $module; # module name (when compiled with -m) | |
30 | my %done; # hash keyed by $$op of leaders of basic blocks | |
31 | # which have already been done. | |
32 | my $leaders; # ref to hash of basic block leaders. Keys are $$op | |
33 | # addresses, values are the $op objects themselves. | |
34 | my @bblock_todo; # list of leaders of basic blocks that need visiting | |
35 | # sometime. | |
36 | my @cc_todo; # list of tuples defining what PP code needs to be | |
37 | # saved (e.g. CV, main or PMOP repl code). Each tuple | |
38 | # is [$name, $root, $start, @padlist]. PMOP repl code | |
39 | # tuples inherit padlist. | |
40 | my @stack; # shadows perl's stack when contents are known. | |
41 | # Values are objects derived from class B::Stackobj | |
42 | my @pad; # Lexicals in current pad as Stackobj-derived objects | |
43 | my @padlist; # Copy of current padlist so PMOP repl code can find it | |
44 | my @cxstack; # Shadows the (compile-time) cxstack for next,last,redo | |
45 | my $jmpbuf_ix = 0; # Next free index for dynamically allocated jmpbufs | |
46 | my %constobj; # OP_CONST constants as Stackobj-derived objects | |
47 | # keyed by $$sv. | |
48 | my $need_freetmps = 0; # We may postpone FREETMPS to the end of each basic | |
49 | # block or even to the end of each loop of blocks, | |
50 | # depending on optimisation options. | |
51 | my $know_op = 0; # Set when C variable op already holds the right op | |
52 | # (from an immediately preceding DOOP(ppname)). | |
53 | my $errors = 0; # Number of errors encountered | |
54 | my %skip_stack; # Hash of PP names which don't need write_back_stack | |
55 | my %skip_lexicals; # Hash of PP names which don't need write_back_lexicals | |
56 | my %skip_invalidate; # Hash of PP names which don't need invalidate_lexicals | |
57 | my %ignore_op; # Hash of ops which do nothing except returning op_next | |
df2464c8 | 58 | my %need_curcop; # Hash of ops which need PL_curcop |
a798dbf2 | 59 | |
88eda19b NIS |
60 | my %lexstate; #state of padsvs at the start of a bblock |
61 | ||
a798dbf2 | 62 | BEGIN { |
9d28db1a | 63 | foreach (qw(pp_scalar pp_regcmaybe pp_lineseq pp_scope pp_null)) { |
a798dbf2 MB |
64 | $ignore_op{$_} = 1; |
65 | } | |
66 | } | |
67 | ||
a798dbf2 MB |
68 | my ($module_name); |
69 | my ($debug_op, $debug_stack, $debug_cxstack, $debug_pad, $debug_runtime, | |
70 | $debug_shadow, $debug_queue, $debug_lineno, $debug_timings); | |
71 | ||
72 | # Optimisation options. On the command line, use hyphens instead of | |
73 | # underscores for compatibility with gcc-style options. We use | |
74 | # underscores here because they are OK in (strict) barewords. | |
75 | my ($freetmps_each_bblock, $freetmps_each_loop, $omit_taint); | |
76 | my %optimise = (freetmps_each_bblock => \$freetmps_each_bblock, | |
77 | freetmps_each_loop => \$freetmps_each_loop, | |
78 | omit_taint => \$omit_taint); | |
79 | # perl patchlevel to generate code for (defaults to current patchlevel) | |
80 | my $patchlevel = int(0.5 + 1000 * ($] - 5)); | |
81 | ||
82 | # Could rewrite push_runtime() and output_runtime() to use a | |
83 | # temporary file if memory is at a premium. | |
84 | my $ppname; # name of current fake PP function | |
85 | my $runtime_list_ref; | |
86 | my $declare_ref; # Hash ref keyed by C variable type of declarations. | |
87 | ||
88 | my @pp_list; # list of [$ppname, $runtime_list_ref, $declare_ref] | |
89 | # tuples to be written out. | |
90 | ||
91 | my ($init, $decl); | |
92 | ||
93 | sub init_hash { map { $_ => 1 } @_ } | |
94 | ||
95 | # | |
96 | # Initialise the hashes for the default PP functions where we can avoid | |
97 | # either write_back_stack, write_back_lexicals or invalidate_lexicals. | |
98 | # | |
99 | %skip_lexicals = init_hash qw(pp_enter pp_enterloop); | |
100 | %skip_invalidate = init_hash qw(pp_enter pp_enterloop); | |
5ab5c7a4 VB |
101 | %need_curcop = init_hash qw(pp_rv2gv pp_bless pp_repeat pp_sort pp_caller |
102 | pp_reset pp_rv2cv pp_entereval pp_require pp_dofile | |
103 | pp_entertry pp_enterloop pp_enteriter pp_entersub | |
3f872cb9 | 104 | pp_enter pp_method); |
a798dbf2 MB |
105 | |
106 | sub debug { | |
107 | if ($debug_runtime) { | |
108 | warn(@_); | |
109 | } else { | |
e9a14d94 VB |
110 | my @tmp=@_; |
111 | runtime(map { chomp; "/* $_ */"} @tmp); | |
a798dbf2 MB |
112 | } |
113 | } | |
114 | ||
115 | sub declare { | |
116 | my ($type, $var) = @_; | |
117 | push(@{$declare_ref->{$type}}, $var); | |
118 | } | |
119 | ||
120 | sub push_runtime { | |
121 | push(@$runtime_list_ref, @_); | |
122 | warn join("\n", @_) . "\n" if $debug_runtime; | |
123 | } | |
124 | ||
125 | sub save_runtime { | |
126 | push(@pp_list, [$ppname, $runtime_list_ref, $declare_ref]); | |
127 | } | |
128 | ||
129 | sub output_runtime { | |
130 | my $ppdata; | |
131 | print qq(#include "cc_runtime.h"\n); | |
132 | foreach $ppdata (@pp_list) { | |
133 | my ($name, $runtime, $declare) = @$ppdata; | |
0a574d6e | 134 | print "\nstatic\nCCPP($name)\n{\n"; |
a798dbf2 MB |
135 | my ($type, $varlist, $line); |
136 | while (($type, $varlist) = each %$declare) { | |
137 | print "\t$type ", join(", ", @$varlist), ";\n"; | |
138 | } | |
139 | foreach $line (@$runtime) { | |
140 | print $line, "\n"; | |
141 | } | |
142 | print "}\n"; | |
143 | } | |
144 | } | |
145 | ||
146 | sub runtime { | |
147 | my $line; | |
148 | foreach $line (@_) { | |
149 | push_runtime("\t$line"); | |
150 | } | |
151 | } | |
152 | ||
153 | sub init_pp { | |
154 | $ppname = shift; | |
155 | $runtime_list_ref = []; | |
156 | $declare_ref = {}; | |
39644a26 | 157 | runtime("dSP;"); |
a798dbf2 MB |
158 | declare("I32", "oldsave"); |
159 | declare("SV", "**svp"); | |
160 | map { declare("SV", "*$_") } qw(sv src dst left right); | |
161 | declare("MAGIC", "*mg"); | |
66918de8 | 162 | $decl->add("static OP * $ppname (pTHX);"); |
a798dbf2 MB |
163 | debug "init_pp: $ppname\n" if $debug_queue; |
164 | } | |
165 | ||
166 | # Initialise runtime_callback function for Stackobj class | |
167 | BEGIN { B::Stackobj::set_callback(\&runtime) } | |
168 | ||
169 | # Initialise saveoptree_callback for B::C class | |
170 | sub cc_queue { | |
171 | my ($name, $root, $start, @pl) = @_; | |
172 | debug "cc_queue: name $name, root $root, start $start, padlist (@pl)\n" | |
173 | if $debug_queue; | |
174 | if ($name eq "*ignore*") { | |
175 | $name = 0; | |
176 | } else { | |
177 | push(@cc_todo, [$name, $root, $start, (@pl ? @pl : @padlist)]); | |
178 | } | |
179 | my $fakeop = new B::FAKEOP ("next" => 0, sibling => 0, ppaddr => $name); | |
180 | $start = $fakeop->save; | |
181 | debug "cc_queue: name $name returns $start\n" if $debug_queue; | |
182 | return $start; | |
183 | } | |
184 | BEGIN { B::C::set_callback(\&cc_queue) } | |
185 | ||
186 | sub valid_int { $_[0]->{flags} & VALID_INT } | |
187 | sub valid_double { $_[0]->{flags} & VALID_DOUBLE } | |
188 | sub valid_numeric { $_[0]->{flags} & (VALID_INT | VALID_DOUBLE) } | |
189 | sub valid_sv { $_[0]->{flags} & VALID_SV } | |
190 | ||
191 | sub top_int { @stack ? $stack[-1]->as_int : "TOPi" } | |
192 | sub top_double { @stack ? $stack[-1]->as_double : "TOPn" } | |
193 | sub top_numeric { @stack ? $stack[-1]->as_numeric : "TOPn" } | |
194 | sub top_sv { @stack ? $stack[-1]->as_sv : "TOPs" } | |
a9b6343a | 195 | sub top_bool { @stack ? $stack[-1]->as_bool : "SvTRUE(TOPs)" } |
a798dbf2 MB |
196 | |
197 | sub pop_int { @stack ? (pop @stack)->as_int : "POPi" } | |
198 | sub pop_double { @stack ? (pop @stack)->as_double : "POPn" } | |
199 | sub pop_numeric { @stack ? (pop @stack)->as_numeric : "POPn" } | |
200 | sub pop_sv { @stack ? (pop @stack)->as_sv : "POPs" } | |
201 | sub pop_bool { | |
202 | if (@stack) { | |
a9b6343a | 203 | return ((pop @stack)->as_bool); |
a798dbf2 MB |
204 | } else { |
205 | # Careful: POPs has an auto-decrement and SvTRUE evaluates | |
206 | # its argument more than once. | |
207 | runtime("sv = POPs;"); | |
208 | return "SvTRUE(sv)"; | |
209 | } | |
210 | } | |
211 | ||
212 | sub write_back_lexicals { | |
213 | my $avoid = shift || 0; | |
214 | debug "write_back_lexicals($avoid) called from @{[(caller(1))[3]]}\n" | |
215 | if $debug_shadow; | |
216 | my $lex; | |
217 | foreach $lex (@pad) { | |
218 | next unless ref($lex); | |
219 | $lex->write_back unless $lex->{flags} & $avoid; | |
220 | } | |
221 | } | |
222 | ||
88eda19b NIS |
223 | sub save_or_restore_lexical_state { |
224 | my $bblock=shift; | |
225 | unless( exists $lexstate{$bblock}){ | |
226 | foreach my $lex (@pad) { | |
227 | next unless ref($lex); | |
228 | ${$lexstate{$bblock}}{$lex->{iv}} = $lex->{flags} ; | |
229 | } | |
18228111 GS |
230 | } |
231 | else { | |
88eda19b NIS |
232 | foreach my $lex (@pad) { |
233 | next unless ref($lex); | |
234 | my $old_flags=${$lexstate{$bblock}}{$lex->{iv}} ; | |
235 | next if ( $old_flags eq $lex->{flags}); | |
236 | if (($old_flags & VALID_SV) && !($lex->{flags} & VALID_SV)){ | |
237 | $lex->write_back; | |
238 | } | |
239 | if (($old_flags & VALID_DOUBLE) && !($lex->{flags} & VALID_DOUBLE)){ | |
240 | $lex->load_double; | |
241 | } | |
242 | if (($old_flags & VALID_INT) && !($lex->{flags} & VALID_INT)){ | |
243 | $lex->load_int; | |
244 | } | |
245 | } | |
246 | } | |
247 | } | |
248 | ||
a798dbf2 MB |
249 | sub write_back_stack { |
250 | my $obj; | |
251 | return unless @stack; | |
252 | runtime(sprintf("EXTEND(sp, %d);", scalar(@stack))); | |
253 | foreach $obj (@stack) { | |
254 | runtime(sprintf("PUSHs((SV*)%s);", $obj->as_sv)); | |
255 | } | |
256 | @stack = (); | |
257 | } | |
258 | ||
259 | sub invalidate_lexicals { | |
260 | my $avoid = shift || 0; | |
261 | debug "invalidate_lexicals($avoid) called from @{[(caller(1))[3]]}\n" | |
262 | if $debug_shadow; | |
263 | my $lex; | |
264 | foreach $lex (@pad) { | |
265 | next unless ref($lex); | |
266 | $lex->invalidate unless $lex->{flags} & $avoid; | |
267 | } | |
268 | } | |
269 | ||
270 | sub reload_lexicals { | |
271 | my $lex; | |
272 | foreach $lex (@pad) { | |
273 | next unless ref($lex); | |
274 | my $type = $lex->{type}; | |
275 | if ($type == T_INT) { | |
276 | $lex->as_int; | |
277 | } elsif ($type == T_DOUBLE) { | |
278 | $lex->as_double; | |
279 | } else { | |
280 | $lex->as_sv; | |
281 | } | |
282 | } | |
283 | } | |
284 | ||
285 | { | |
286 | package B::Pseudoreg; | |
287 | # | |
288 | # This class allocates pseudo-registers (OK, so they're C variables). | |
289 | # | |
290 | my %alloc; # Keyed by variable name. A value of 1 means the | |
291 | # variable has been declared. A value of 2 means | |
292 | # it's in use. | |
293 | ||
294 | sub new_scope { %alloc = () } | |
295 | ||
296 | sub new ($$$) { | |
297 | my ($class, $type, $prefix) = @_; | |
298 | my ($ptr, $i, $varname, $status, $obj); | |
299 | $prefix =~ s/^(\**)//; | |
300 | $ptr = $1; | |
301 | $i = 0; | |
302 | do { | |
303 | $varname = "$prefix$i"; | |
304 | $status = $alloc{$varname}; | |
305 | } while $status == 2; | |
306 | if ($status != 1) { | |
307 | # Not declared yet | |
308 | B::CC::declare($type, "$ptr$varname"); | |
309 | $alloc{$varname} = 2; # declared and in use | |
310 | } | |
311 | $obj = bless \$varname, $class; | |
312 | return $obj; | |
313 | } | |
314 | sub DESTROY { | |
315 | my $obj = shift; | |
316 | $alloc{$$obj} = 1; # no longer in use but still declared | |
317 | } | |
318 | } | |
319 | { | |
320 | package B::Shadow; | |
321 | # | |
322 | # This class gives a standard API for a perl object to shadow a | |
323 | # C variable and only generate reloads/write-backs when necessary. | |
324 | # | |
325 | # Use $obj->load($foo) instead of runtime("shadowed_c_var = foo"). | |
326 | # Use $obj->write_back whenever shadowed_c_var needs to be up to date. | |
327 | # Use $obj->invalidate whenever an unknown function may have | |
328 | # set shadow itself. | |
329 | ||
330 | sub new { | |
331 | my ($class, $write_back) = @_; | |
332 | # Object fields are perl shadow variable, validity flag | |
333 | # (for *C* variable) and callback sub for write_back | |
334 | # (passed perl shadow variable as argument). | |
335 | bless [undef, 1, $write_back], $class; | |
336 | } | |
337 | sub load { | |
338 | my ($obj, $newval) = @_; | |
339 | $obj->[1] = 0; # C variable no longer valid | |
340 | $obj->[0] = $newval; | |
341 | } | |
342 | sub write_back { | |
343 | my $obj = shift; | |
344 | if (!($obj->[1])) { | |
345 | $obj->[1] = 1; # C variable will now be valid | |
346 | &{$obj->[2]}($obj->[0]); | |
347 | } | |
348 | } | |
349 | sub invalidate { $_[0]->[1] = 0 } # force C variable to be invalid | |
350 | } | |
351 | my $curcop = new B::Shadow (sub { | |
352 | my $opsym = shift->save; | |
81009501 | 353 | runtime("PL_curcop = (COP*)$opsym;"); |
a798dbf2 MB |
354 | }); |
355 | ||
356 | # | |
357 | # Context stack shadowing. Mimics stuff in pp_ctl.c, cop.h and so on. | |
358 | # | |
359 | sub dopoptoloop { | |
360 | my $cxix = $#cxstack; | |
361 | while ($cxix >= 0 && $cxstack[$cxix]->{type} != CXt_LOOP) { | |
362 | $cxix--; | |
363 | } | |
364 | debug "dopoptoloop: returning $cxix" if $debug_cxstack; | |
365 | return $cxix; | |
366 | } | |
367 | ||
368 | sub dopoptolabel { | |
369 | my $label = shift; | |
370 | my $cxix = $#cxstack; | |
73544139 NIS |
371 | while ($cxix >= 0 && |
372 | ($cxstack[$cxix]->{type} != CXt_LOOP || | |
373 | $cxstack[$cxix]->{label} ne $label)) { | |
a798dbf2 MB |
374 | $cxix--; |
375 | } | |
376 | debug "dopoptolabel: returning $cxix" if $debug_cxstack; | |
377 | return $cxix; | |
378 | } | |
379 | ||
380 | sub error { | |
381 | my $format = shift; | |
57843af0 | 382 | my $file = $curcop->[0]->file; |
a798dbf2 MB |
383 | my $line = $curcop->[0]->line; |
384 | $errors++; | |
385 | if (@_) { | |
386 | warn sprintf("%s:%d: $format\n", $file, $line, @_); | |
387 | } else { | |
388 | warn sprintf("%s:%d: %s\n", $file, $line, $format); | |
389 | } | |
390 | } | |
391 | ||
392 | # | |
393 | # Load pad takes (the elements of) a PADLIST as arguments and loads | |
394 | # up @pad with Stackobj-derived objects which represent those lexicals. | |
395 | # If/when perl itself can generate type information (my int $foo) then | |
396 | # we'll take advantage of that here. Until then, we'll use various hacks | |
397 | # to tell the compiler when we want a lexical to be a particular type | |
398 | # or to be a register. | |
399 | # | |
400 | sub load_pad { | |
401 | my ($namelistav, $valuelistav) = @_; | |
402 | @padlist = @_; | |
403 | my @namelist = $namelistav->ARRAY; | |
404 | my @valuelist = $valuelistav->ARRAY; | |
405 | my $ix; | |
406 | @pad = (); | |
407 | debug "load_pad: $#namelist names, $#valuelist values\n" if $debug_pad; | |
408 | # Temporary lexicals don't get named so it's possible for @valuelist | |
409 | # to be strictly longer than @namelist. We count $ix up to the end of | |
410 | # @valuelist but index into @namelist for the name. Any temporaries which | |
411 | # run off the end of @namelist will make $namesv undefined and we treat | |
412 | # that the same as having an explicit SPECIAL sv_undef object in @namelist. | |
413 | # [XXX If/when @_ becomes a lexical, we must start at 0 here.] | |
414 | for ($ix = 1; $ix < @valuelist; $ix++) { | |
415 | my $namesv = $namelist[$ix]; | |
416 | my $type = T_UNKNOWN; | |
417 | my $flags = 0; | |
418 | my $name = "tmp$ix"; | |
419 | my $class = class($namesv); | |
420 | if (!defined($namesv) || $class eq "SPECIAL") { | |
81009501 | 421 | # temporaries have &PL_sv_undef instead of a PVNV for a name |
a798dbf2 MB |
422 | $flags = VALID_SV|TEMPORARY|REGISTER; |
423 | } else { | |
424 | if ($namesv->PV =~ /^\$(.*)_([di])(r?)$/) { | |
425 | $name = $1; | |
426 | if ($2 eq "i") { | |
427 | $type = T_INT; | |
428 | $flags = VALID_SV|VALID_INT; | |
429 | } elsif ($2 eq "d") { | |
430 | $type = T_DOUBLE; | |
431 | $flags = VALID_SV|VALID_DOUBLE; | |
432 | } | |
433 | $flags |= REGISTER if $3; | |
434 | } | |
435 | } | |
436 | $pad[$ix] = new B::Stackobj::Padsv ($type, $flags, $ix, | |
437 | "i_$name", "d_$name"); | |
8bac7e00 | 438 | |
81009501 | 439 | debug sprintf("PL_curpad[$ix] = %s\n", $pad[$ix]->peek) if $debug_pad; |
a798dbf2 MB |
440 | } |
441 | } | |
442 | ||
8bac7e00 GS |
443 | sub declare_pad { |
444 | my $ix; | |
445 | for ($ix = 1; $ix <= $#pad; $ix++) { | |
446 | my $type = $pad[$ix]->{type}; | |
447 | declare("IV", $type == T_INT ? | |
448 | sprintf("%s=0",$pad[$ix]->{iv}):$pad[$ix]->{iv}) if $pad[$ix]->save_int; | |
449 | declare("double", $type == T_DOUBLE ? | |
450 | sprintf("%s = 0",$pad[$ix]->{nv}):$pad[$ix]->{nv} )if $pad[$ix]->save_double; | |
451 | ||
452 | } | |
453 | } | |
a798dbf2 MB |
454 | # |
455 | # Debugging stuff | |
456 | # | |
457 | sub peek_stack { sprintf "stack = %s\n", join(" ", map($_->minipeek, @stack)) } | |
458 | ||
459 | # | |
460 | # OP stuff | |
461 | # | |
462 | ||
463 | sub label { | |
464 | my $op = shift; | |
465 | # XXX Preserve original label name for "real" labels? | |
466 | return sprintf("lab_%x", $$op); | |
467 | } | |
468 | ||
469 | sub write_label { | |
470 | my $op = shift; | |
471 | push_runtime(sprintf(" %s:", label($op))); | |
472 | } | |
473 | ||
474 | sub loadop { | |
475 | my $op = shift; | |
476 | my $opsym = $op->save; | |
81009501 | 477 | runtime("PL_op = $opsym;") unless $know_op; |
a798dbf2 MB |
478 | return $opsym; |
479 | } | |
480 | ||
481 | sub doop { | |
482 | my $op = shift; | |
483 | my $ppname = $op->ppaddr; | |
484 | my $sym = loadop($op); | |
485 | runtime("DOOP($ppname);"); | |
486 | $know_op = 1; | |
487 | return $sym; | |
488 | } | |
489 | ||
490 | sub gimme { | |
491 | my $op = shift; | |
492 | my $flags = $op->flags; | |
a6f4eb0a | 493 | return (($flags & OPf_WANT) ? (($flags & OPf_WANT)== OPf_WANT_LIST? G_ARRAY:G_SCALAR) : "dowantarray()"); |
a798dbf2 MB |
494 | } |
495 | ||
496 | # | |
497 | # Code generation for PP code | |
498 | # | |
499 | ||
500 | sub pp_null { | |
501 | my $op = shift; | |
502 | return $op->next; | |
503 | } | |
504 | ||
505 | sub pp_stub { | |
506 | my $op = shift; | |
507 | my $gimme = gimme($op); | |
a6f4eb0a VB |
508 | if ($gimme != G_ARRAY) { |
509 | my $obj= new B::Stackobj::Const(sv_undef); | |
510 | push(@stack, $obj); | |
a798dbf2 | 511 | # XXX Change to push a constant sv_undef Stackobj onto @stack |
a6f4eb0a VB |
512 | #write_back_stack(); |
513 | #runtime("if ($gimme != G_ARRAY) XPUSHs(&PL_sv_undef);"); | |
a798dbf2 MB |
514 | } |
515 | return $op->next; | |
516 | } | |
517 | ||
518 | sub pp_unstack { | |
519 | my $op = shift; | |
520 | @stack = (); | |
521 | runtime("PP_UNSTACK;"); | |
522 | return $op->next; | |
523 | } | |
524 | ||
525 | sub pp_and { | |
526 | my $op = shift; | |
527 | my $next = $op->next; | |
528 | reload_lexicals(); | |
529 | unshift(@bblock_todo, $next); | |
530 | if (@stack >= 1) { | |
531 | my $bool = pop_bool(); | |
532 | write_back_stack(); | |
88eda19b | 533 | save_or_restore_lexical_state($$next); |
44887cfa | 534 | runtime(sprintf("if (!$bool) {XPUSHs(&PL_sv_no); goto %s;}", label($next))); |
a798dbf2 | 535 | } else { |
88eda19b | 536 | save_or_restore_lexical_state($$next); |
a798dbf2 MB |
537 | runtime(sprintf("if (!%s) goto %s;", top_bool(), label($next)), |
538 | "*sp--;"); | |
539 | } | |
540 | return $op->other; | |
541 | } | |
542 | ||
543 | sub pp_or { | |
544 | my $op = shift; | |
545 | my $next = $op->next; | |
546 | reload_lexicals(); | |
547 | unshift(@bblock_todo, $next); | |
548 | if (@stack >= 1) { | |
44887cfa | 549 | my $bool = pop_bool @stack; |
a798dbf2 | 550 | write_back_stack(); |
88eda19b | 551 | save_or_restore_lexical_state($$next); |
44887cfa NIS |
552 | runtime(sprintf("if (%s) { XPUSHs(&PL_sv_yes); goto %s; }", |
553 | $bool, label($next))); | |
a798dbf2 | 554 | } else { |
88eda19b | 555 | save_or_restore_lexical_state($$next); |
a798dbf2 MB |
556 | runtime(sprintf("if (%s) goto %s;", top_bool(), label($next)), |
557 | "*sp--;"); | |
558 | } | |
559 | return $op->other; | |
560 | } | |
561 | ||
562 | sub pp_cond_expr { | |
563 | my $op = shift; | |
1a67a97c | 564 | my $false = $op->next; |
a798dbf2 MB |
565 | unshift(@bblock_todo, $false); |
566 | reload_lexicals(); | |
567 | my $bool = pop_bool(); | |
568 | write_back_stack(); | |
88eda19b | 569 | save_or_restore_lexical_state($$false); |
a798dbf2 | 570 | runtime(sprintf("if (!$bool) goto %s;", label($false))); |
1a67a97c | 571 | return $op->other; |
a798dbf2 MB |
572 | } |
573 | ||
574 | sub pp_padsv { | |
575 | my $op = shift; | |
576 | my $ix = $op->targ; | |
577 | push(@stack, $pad[$ix]); | |
578 | if ($op->flags & OPf_MOD) { | |
579 | my $private = $op->private; | |
580 | if ($private & OPpLVAL_INTRO) { | |
81009501 | 581 | runtime("SAVECLEARSV(PL_curpad[$ix]);"); |
a798dbf2 | 582 | } elsif ($private & OPpDEREF) { |
81009501 | 583 | runtime(sprintf("vivify_ref(PL_curpad[%d], %d);", |
a798dbf2 MB |
584 | $ix, $private & OPpDEREF)); |
585 | $pad[$ix]->invalidate; | |
586 | } | |
587 | } | |
588 | return $op->next; | |
589 | } | |
590 | ||
591 | sub pp_const { | |
592 | my $op = shift; | |
593 | my $sv = $op->sv; | |
18228111 GS |
594 | my $obj; |
595 | # constant could be in the pad (under useithreads) | |
596 | if ($$sv) { | |
597 | $obj = $constobj{$$sv}; | |
598 | if (!defined($obj)) { | |
599 | $obj = $constobj{$$sv} = new B::Stackobj::Const ($sv); | |
600 | } | |
601 | } | |
602 | else { | |
603 | $obj = $pad[$op->targ]; | |
a798dbf2 MB |
604 | } |
605 | push(@stack, $obj); | |
606 | return $op->next; | |
607 | } | |
608 | ||
609 | sub pp_nextstate { | |
610 | my $op = shift; | |
611 | $curcop->load($op); | |
612 | @stack = (); | |
57843af0 | 613 | debug(sprintf("%s:%d\n", $op->file, $op->line)) if $debug_lineno; |
a798dbf2 | 614 | runtime("TAINT_NOT;") unless $omit_taint; |
81009501 | 615 | runtime("sp = PL_stack_base + cxstack[cxstack_ix].blk_oldsp;"); |
a798dbf2 MB |
616 | if ($freetmps_each_bblock || $freetmps_each_loop) { |
617 | $need_freetmps = 1; | |
618 | } else { | |
619 | runtime("FREETMPS;"); | |
620 | } | |
621 | return $op->next; | |
622 | } | |
623 | ||
624 | sub pp_dbstate { | |
625 | my $op = shift; | |
626 | $curcop->invalidate; # XXX? | |
627 | return default_pp($op); | |
628 | } | |
629 | ||
df2464c8 | 630 | #default_pp will handle this: |
df2464c8 VB |
631 | #sub pp_bless { $curcop->write_back; default_pp(@_) } |
632 | #sub pp_repeat { $curcop->write_back; default_pp(@_) } | |
a798dbf2 MB |
633 | # The following subs need $curcop->write_back if we decide to support arybase: |
634 | # pp_pos, pp_substr, pp_index, pp_rindex, pp_aslice, pp_lslice, pp_splice | |
df2464c8 VB |
635 | #sub pp_caller { $curcop->write_back; default_pp(@_) } |
636 | #sub pp_reset { $curcop->write_back; default_pp(@_) } | |
a798dbf2 | 637 | |
5ab5c7a4 VB |
638 | sub pp_rv2gv{ |
639 | my $op =shift; | |
640 | $curcop->write_back; | |
641 | write_back_lexicals() unless $skip_lexicals{$ppname}; | |
642 | write_back_stack() unless $skip_stack{$ppname}; | |
643 | my $sym=doop($op); | |
644 | if ($op->private & OPpDEREF) { | |
645 | $init->add(sprintf("((UNOP *)$sym)->op_first = $sym;")); | |
646 | $init->add(sprintf("((UNOP *)$sym)->op_type = %d;", | |
647 | $op->first->type)); | |
648 | } | |
649 | return $op->next; | |
650 | } | |
59c10aa2 VB |
651 | sub pp_sort { |
652 | my $op = shift; | |
653 | my $ppname = $op->ppaddr; | |
5ab5c7a4 VB |
654 | if ( $op->flags & OPf_SPECIAL && $op->flags & OPf_STACKED){ |
655 | #this indicates the sort BLOCK Array case | |
656 | #ugly surgery required. | |
657 | my $root=$op->first->sibling->first; | |
658 | my $start=$root->first; | |
59c10aa2 VB |
659 | $op->first->save; |
660 | $op->first->sibling->save; | |
661 | $root->save; | |
5ab5c7a4 VB |
662 | my $sym=$start->save; |
663 | my $fakeop=cc_queue("pp_sort".$$op,$root,$start); | |
664 | $init->add(sprintf("(%s)->op_next=%s;",$sym,$fakeop)); | |
665 | } | |
59c10aa2 | 666 | $curcop->write_back; |
5ab5c7a4 VB |
667 | write_back_lexicals(); |
668 | write_back_stack(); | |
59c10aa2 VB |
669 | doop($op); |
670 | return $op->next; | |
18228111 GS |
671 | } |
672 | ||
a798dbf2 MB |
673 | sub pp_gv { |
674 | my $op = shift; | |
18228111 GS |
675 | my $gvsym; |
676 | if ($Config{useithreads}) { | |
677 | $gvsym = $pad[$op->padix]->as_sv; | |
678 | } | |
679 | else { | |
680 | $gvsym = $op->gv->save; | |
681 | } | |
a798dbf2 MB |
682 | write_back_stack(); |
683 | runtime("XPUSHs((SV*)$gvsym);"); | |
684 | return $op->next; | |
685 | } | |
686 | ||
687 | sub pp_gvsv { | |
688 | my $op = shift; | |
18228111 GS |
689 | my $gvsym; |
690 | if ($Config{useithreads}) { | |
691 | $gvsym = $pad[$op->padix]->as_sv; | |
692 | } | |
693 | else { | |
694 | $gvsym = $op->gv->save; | |
695 | } | |
a798dbf2 MB |
696 | write_back_stack(); |
697 | if ($op->private & OPpLVAL_INTRO) { | |
698 | runtime("XPUSHs(save_scalar($gvsym));"); | |
699 | } else { | |
700 | runtime("XPUSHs(GvSV($gvsym));"); | |
701 | } | |
702 | return $op->next; | |
703 | } | |
704 | ||
705 | sub pp_aelemfast { | |
706 | my $op = shift; | |
18228111 GS |
707 | my $gvsym; |
708 | if ($Config{useithreads}) { | |
709 | $gvsym = $pad[$op->padix]->as_sv; | |
710 | } | |
711 | else { | |
712 | $gvsym = $op->gv->save; | |
713 | } | |
a798dbf2 MB |
714 | my $ix = $op->private; |
715 | my $flag = $op->flags & OPf_MOD; | |
716 | write_back_stack(); | |
717 | runtime("svp = av_fetch(GvAV($gvsym), $ix, $flag);", | |
81009501 | 718 | "PUSHs(svp ? *svp : &PL_sv_undef);"); |
a798dbf2 MB |
719 | return $op->next; |
720 | } | |
721 | ||
722 | sub int_binop { | |
723 | my ($op, $operator) = @_; | |
724 | if ($op->flags & OPf_STACKED) { | |
725 | my $right = pop_int(); | |
726 | if (@stack >= 1) { | |
727 | my $left = top_int(); | |
728 | $stack[-1]->set_int(&$operator($left, $right)); | |
729 | } else { | |
730 | runtime(sprintf("sv_setiv(TOPs, %s);",&$operator("TOPi", $right))); | |
731 | } | |
732 | } else { | |
733 | my $targ = $pad[$op->targ]; | |
734 | my $right = new B::Pseudoreg ("IV", "riv"); | |
735 | my $left = new B::Pseudoreg ("IV", "liv"); | |
736 | runtime(sprintf("$$right = %s; $$left = %s;", pop_int(), pop_int)); | |
737 | $targ->set_int(&$operator($$left, $$right)); | |
738 | push(@stack, $targ); | |
739 | } | |
740 | return $op->next; | |
741 | } | |
742 | ||
743 | sub INTS_CLOSED () { 0x1 } | |
744 | sub INT_RESULT () { 0x2 } | |
745 | sub NUMERIC_RESULT () { 0x4 } | |
746 | ||
747 | sub numeric_binop { | |
748 | my ($op, $operator, $flags) = @_; | |
749 | my $force_int = 0; | |
750 | $force_int ||= ($flags & INT_RESULT); | |
751 | $force_int ||= ($flags & INTS_CLOSED && @stack >= 2 | |
752 | && valid_int($stack[-2]) && valid_int($stack[-1])); | |
753 | if ($op->flags & OPf_STACKED) { | |
754 | my $right = pop_numeric(); | |
755 | if (@stack >= 1) { | |
756 | my $left = top_numeric(); | |
757 | if ($force_int) { | |
758 | $stack[-1]->set_int(&$operator($left, $right)); | |
759 | } else { | |
760 | $stack[-1]->set_numeric(&$operator($left, $right)); | |
761 | } | |
762 | } else { | |
763 | if ($force_int) { | |
73544139 NIS |
764 | my $rightruntime = new B::Pseudoreg ("IV", "riv"); |
765 | runtime(sprintf("$$rightruntime = %s;",$right)); | |
a798dbf2 | 766 | runtime(sprintf("sv_setiv(TOPs, %s);", |
73544139 | 767 | &$operator("TOPi", $$rightruntime))); |
a798dbf2 | 768 | } else { |
73544139 NIS |
769 | my $rightruntime = new B::Pseudoreg ("double", "rnv"); |
770 | runtime(sprintf("$$rightruntime = %s;",$right)); | |
a798dbf2 | 771 | runtime(sprintf("sv_setnv(TOPs, %s);", |
73544139 | 772 | &$operator("TOPn",$$rightruntime))); |
a798dbf2 MB |
773 | } |
774 | } | |
775 | } else { | |
776 | my $targ = $pad[$op->targ]; | |
777 | $force_int ||= ($targ->{type} == T_INT); | |
778 | if ($force_int) { | |
779 | my $right = new B::Pseudoreg ("IV", "riv"); | |
780 | my $left = new B::Pseudoreg ("IV", "liv"); | |
781 | runtime(sprintf("$$right = %s; $$left = %s;", | |
782 | pop_numeric(), pop_numeric)); | |
783 | $targ->set_int(&$operator($$left, $$right)); | |
784 | } else { | |
785 | my $right = new B::Pseudoreg ("double", "rnv"); | |
786 | my $left = new B::Pseudoreg ("double", "lnv"); | |
787 | runtime(sprintf("$$right = %s; $$left = %s;", | |
788 | pop_numeric(), pop_numeric)); | |
789 | $targ->set_numeric(&$operator($$left, $$right)); | |
790 | } | |
791 | push(@stack, $targ); | |
792 | } | |
793 | return $op->next; | |
794 | } | |
795 | ||
8bac7e00 GS |
796 | sub pp_ncmp { |
797 | my ($op) = @_; | |
798 | if ($op->flags & OPf_STACKED) { | |
799 | my $right = pop_numeric(); | |
800 | if (@stack >= 1) { | |
801 | my $left = top_numeric(); | |
802 | runtime sprintf("if (%s > %s){",$left,$right); | |
803 | $stack[-1]->set_int(1); | |
804 | $stack[-1]->write_back(); | |
805 | runtime sprintf("}else if (%s < %s ) {",$left,$right); | |
806 | $stack[-1]->set_int(-1); | |
807 | $stack[-1]->write_back(); | |
808 | runtime sprintf("}else if (%s == %s) {",$left,$right); | |
809 | $stack[-1]->set_int(0); | |
810 | $stack[-1]->write_back(); | |
811 | runtime sprintf("}else {"); | |
812 | $stack[-1]->set_sv("&PL_sv_undef"); | |
813 | runtime "}"; | |
814 | } else { | |
815 | my $rightruntime = new B::Pseudoreg ("double", "rnv"); | |
816 | runtime(sprintf("$$rightruntime = %s;",$right)); | |
817 | runtime sprintf(qq/if ("TOPn" > %s){/,$rightruntime); | |
818 | runtime sprintf("sv_setiv(TOPs,1);"); | |
819 | runtime sprintf(qq/}else if ( "TOPn" < %s ) {/,$$rightruntime); | |
820 | runtime sprintf("sv_setiv(TOPs,-1);"); | |
821 | runtime sprintf(qq/} else if ("TOPn" == %s) {/,$$rightruntime); | |
822 | runtime sprintf("sv_setiv(TOPs,0);"); | |
823 | runtime sprintf(qq/}else {/); | |
824 | runtime sprintf("sv_setiv(TOPs,&PL_sv_undef;"); | |
825 | runtime "}"; | |
826 | } | |
827 | } else { | |
828 | my $targ = $pad[$op->targ]; | |
829 | my $right = new B::Pseudoreg ("double", "rnv"); | |
830 | my $left = new B::Pseudoreg ("double", "lnv"); | |
831 | runtime(sprintf("$$right = %s; $$left = %s;", | |
832 | pop_numeric(), pop_numeric)); | |
833 | runtime sprintf("if (%s > %s){",$$left,$$right); | |
834 | $targ->set_int(1); | |
835 | $targ->write_back(); | |
836 | runtime sprintf("}else if (%s < %s ) {",$$left,$$right); | |
837 | $targ->set_int(-1); | |
838 | $targ->write_back(); | |
839 | runtime sprintf("}else if (%s == %s) {",$$left,$$right); | |
840 | $targ->set_int(0); | |
841 | $targ->write_back(); | |
842 | runtime sprintf("}else {"); | |
843 | $targ->set_sv("&PL_sv_undef"); | |
844 | runtime "}"; | |
845 | push(@stack, $targ); | |
846 | } | |
847 | return $op->next; | |
848 | } | |
849 | ||
a798dbf2 MB |
850 | sub sv_binop { |
851 | my ($op, $operator, $flags) = @_; | |
852 | if ($op->flags & OPf_STACKED) { | |
853 | my $right = pop_sv(); | |
854 | if (@stack >= 1) { | |
855 | my $left = top_sv(); | |
856 | if ($flags & INT_RESULT) { | |
857 | $stack[-1]->set_int(&$operator($left, $right)); | |
858 | } elsif ($flags & NUMERIC_RESULT) { | |
859 | $stack[-1]->set_numeric(&$operator($left, $right)); | |
860 | } else { | |
861 | # XXX Does this work? | |
862 | runtime(sprintf("sv_setsv($left, %s);", | |
863 | &$operator($left, $right))); | |
864 | $stack[-1]->invalidate; | |
865 | } | |
866 | } else { | |
867 | my $f; | |
868 | if ($flags & INT_RESULT) { | |
869 | $f = "sv_setiv"; | |
870 | } elsif ($flags & NUMERIC_RESULT) { | |
871 | $f = "sv_setnv"; | |
872 | } else { | |
873 | $f = "sv_setsv"; | |
874 | } | |
875 | runtime(sprintf("%s(TOPs, %s);", $f, &$operator("TOPs", $right))); | |
876 | } | |
877 | } else { | |
878 | my $targ = $pad[$op->targ]; | |
879 | runtime(sprintf("right = %s; left = %s;", pop_sv(), pop_sv)); | |
880 | if ($flags & INT_RESULT) { | |
881 | $targ->set_int(&$operator("left", "right")); | |
882 | } elsif ($flags & NUMERIC_RESULT) { | |
883 | $targ->set_numeric(&$operator("left", "right")); | |
884 | } else { | |
885 | # XXX Does this work? | |
886 | runtime(sprintf("sv_setsv(%s, %s);", | |
887 | $targ->as_sv, &$operator("left", "right"))); | |
888 | $targ->invalidate; | |
889 | } | |
890 | push(@stack, $targ); | |
891 | } | |
892 | return $op->next; | |
893 | } | |
894 | ||
895 | sub bool_int_binop { | |
896 | my ($op, $operator) = @_; | |
897 | my $right = new B::Pseudoreg ("IV", "riv"); | |
898 | my $left = new B::Pseudoreg ("IV", "liv"); | |
899 | runtime(sprintf("$$right = %s; $$left = %s;", pop_int(), pop_int())); | |
900 | my $bool = new B::Stackobj::Bool (new B::Pseudoreg ("int", "b")); | |
901 | $bool->set_int(&$operator($$left, $$right)); | |
902 | push(@stack, $bool); | |
903 | return $op->next; | |
904 | } | |
905 | ||
906 | sub bool_numeric_binop { | |
907 | my ($op, $operator) = @_; | |
908 | my $right = new B::Pseudoreg ("double", "rnv"); | |
909 | my $left = new B::Pseudoreg ("double", "lnv"); | |
910 | runtime(sprintf("$$right = %s; $$left = %s;", | |
911 | pop_numeric(), pop_numeric())); | |
912 | my $bool = new B::Stackobj::Bool (new B::Pseudoreg ("int", "b")); | |
913 | $bool->set_numeric(&$operator($$left, $$right)); | |
914 | push(@stack, $bool); | |
915 | return $op->next; | |
916 | } | |
917 | ||
918 | sub bool_sv_binop { | |
919 | my ($op, $operator) = @_; | |
920 | runtime(sprintf("right = %s; left = %s;", pop_sv(), pop_sv())); | |
921 | my $bool = new B::Stackobj::Bool (new B::Pseudoreg ("int", "b")); | |
922 | $bool->set_numeric(&$operator("left", "right")); | |
923 | push(@stack, $bool); | |
924 | return $op->next; | |
925 | } | |
926 | ||
927 | sub infix_op { | |
928 | my $opname = shift; | |
929 | return sub { "$_[0] $opname $_[1]" } | |
930 | } | |
931 | ||
932 | sub prefix_op { | |
933 | my $opname = shift; | |
934 | return sub { sprintf("%s(%s)", $opname, join(", ", @_)) } | |
935 | } | |
936 | ||
937 | BEGIN { | |
938 | my $plus_op = infix_op("+"); | |
939 | my $minus_op = infix_op("-"); | |
940 | my $multiply_op = infix_op("*"); | |
941 | my $divide_op = infix_op("/"); | |
942 | my $modulo_op = infix_op("%"); | |
943 | my $lshift_op = infix_op("<<"); | |
a0d31f98 | 944 | my $rshift_op = infix_op(">>"); |
a798dbf2 MB |
945 | my $scmp_op = prefix_op("sv_cmp"); |
946 | my $seq_op = prefix_op("sv_eq"); | |
947 | my $sne_op = prefix_op("!sv_eq"); | |
948 | my $slt_op = sub { "sv_cmp($_[0], $_[1]) < 0" }; | |
949 | my $sgt_op = sub { "sv_cmp($_[0], $_[1]) > 0" }; | |
950 | my $sle_op = sub { "sv_cmp($_[0], $_[1]) <= 0" }; | |
951 | my $sge_op = sub { "sv_cmp($_[0], $_[1]) >= 0" }; | |
952 | my $eq_op = infix_op("=="); | |
953 | my $ne_op = infix_op("!="); | |
954 | my $lt_op = infix_op("<"); | |
955 | my $gt_op = infix_op(">"); | |
956 | my $le_op = infix_op("<="); | |
957 | my $ge_op = infix_op(">="); | |
958 | ||
959 | # | |
960 | # XXX The standard perl PP code has extra handling for | |
961 | # some special case arguments of these operators. | |
962 | # | |
0ca04487 VB |
963 | sub pp_add { numeric_binop($_[0], $plus_op) } |
964 | sub pp_subtract { numeric_binop($_[0], $minus_op) } | |
965 | sub pp_multiply { numeric_binop($_[0], $multiply_op) } | |
a798dbf2 MB |
966 | sub pp_divide { numeric_binop($_[0], $divide_op) } |
967 | sub pp_modulo { int_binop($_[0], $modulo_op) } # differs from perl's | |
a798dbf2 MB |
968 | |
969 | sub pp_left_shift { int_binop($_[0], $lshift_op) } | |
970 | sub pp_right_shift { int_binop($_[0], $rshift_op) } | |
971 | sub pp_i_add { int_binop($_[0], $plus_op) } | |
972 | sub pp_i_subtract { int_binop($_[0], $minus_op) } | |
973 | sub pp_i_multiply { int_binop($_[0], $multiply_op) } | |
974 | sub pp_i_divide { int_binop($_[0], $divide_op) } | |
975 | sub pp_i_modulo { int_binop($_[0], $modulo_op) } | |
976 | ||
977 | sub pp_eq { bool_numeric_binop($_[0], $eq_op) } | |
978 | sub pp_ne { bool_numeric_binop($_[0], $ne_op) } | |
979 | sub pp_lt { bool_numeric_binop($_[0], $lt_op) } | |
980 | sub pp_gt { bool_numeric_binop($_[0], $gt_op) } | |
981 | sub pp_le { bool_numeric_binop($_[0], $le_op) } | |
982 | sub pp_ge { bool_numeric_binop($_[0], $ge_op) } | |
983 | ||
984 | sub pp_i_eq { bool_int_binop($_[0], $eq_op) } | |
985 | sub pp_i_ne { bool_int_binop($_[0], $ne_op) } | |
986 | sub pp_i_lt { bool_int_binop($_[0], $lt_op) } | |
987 | sub pp_i_gt { bool_int_binop($_[0], $gt_op) } | |
988 | sub pp_i_le { bool_int_binop($_[0], $le_op) } | |
989 | sub pp_i_ge { bool_int_binop($_[0], $ge_op) } | |
990 | ||
991 | sub pp_scmp { sv_binop($_[0], $scmp_op, INT_RESULT) } | |
992 | sub pp_slt { bool_sv_binop($_[0], $slt_op) } | |
993 | sub pp_sgt { bool_sv_binop($_[0], $sgt_op) } | |
994 | sub pp_sle { bool_sv_binop($_[0], $sle_op) } | |
995 | sub pp_sge { bool_sv_binop($_[0], $sge_op) } | |
996 | sub pp_seq { bool_sv_binop($_[0], $seq_op) } | |
997 | sub pp_sne { bool_sv_binop($_[0], $sne_op) } | |
998 | } | |
999 | ||
1000 | ||
1001 | sub pp_sassign { | |
1002 | my $op = shift; | |
1003 | my $backwards = $op->private & OPpASSIGN_BACKWARDS; | |
1004 | my ($dst, $src); | |
1005 | if (@stack >= 2) { | |
1006 | $dst = pop @stack; | |
1007 | $src = pop @stack; | |
1008 | ($src, $dst) = ($dst, $src) if $backwards; | |
1009 | my $type = $src->{type}; | |
1010 | if ($type == T_INT) { | |
0ca04487 | 1011 | $dst->set_int($src->as_int,$src->{flags} & VALID_UNSIGNED); |
a798dbf2 MB |
1012 | } elsif ($type == T_DOUBLE) { |
1013 | $dst->set_numeric($src->as_numeric); | |
1014 | } else { | |
1015 | $dst->set_sv($src->as_sv); | |
1016 | } | |
1017 | push(@stack, $dst); | |
1018 | } elsif (@stack == 1) { | |
1019 | if ($backwards) { | |
1020 | my $src = pop @stack; | |
1021 | my $type = $src->{type}; | |
81009501 | 1022 | runtime("if (PL_tainting && PL_tainted) TAINT_NOT;"); |
a798dbf2 | 1023 | if ($type == T_INT) { |
0ca04487 VB |
1024 | if ($src->{flags} & VALID_UNSIGNED){ |
1025 | runtime sprintf("sv_setuv(TOPs, %s);", $src->as_int); | |
1026 | }else{ | |
1027 | runtime sprintf("sv_setiv(TOPs, %s);", $src->as_int); | |
1028 | } | |
a798dbf2 MB |
1029 | } elsif ($type == T_DOUBLE) { |
1030 | runtime sprintf("sv_setnv(TOPs, %s);", $src->as_double); | |
1031 | } else { | |
1032 | runtime sprintf("sv_setsv(TOPs, %s);", $src->as_sv); | |
1033 | } | |
1034 | runtime("SvSETMAGIC(TOPs);"); | |
1035 | } else { | |
b8f1fa48 | 1036 | my $dst = $stack[-1]; |
a798dbf2 MB |
1037 | my $type = $dst->{type}; |
1038 | runtime("sv = POPs;"); | |
1039 | runtime("MAYBE_TAINT_SASSIGN_SRC(sv);"); | |
1040 | if ($type == T_INT) { | |
1041 | $dst->set_int("SvIV(sv)"); | |
1042 | } elsif ($type == T_DOUBLE) { | |
1043 | $dst->set_double("SvNV(sv)"); | |
1044 | } else { | |
0bfcb1eb | 1045 | runtime("SvSetMagicSV($dst->{sv}, sv);"); |
a798dbf2 MB |
1046 | $dst->invalidate; |
1047 | } | |
1048 | } | |
1049 | } else { | |
1050 | if ($backwards) { | |
1051 | runtime("src = POPs; dst = TOPs;"); | |
1052 | } else { | |
1053 | runtime("dst = POPs; src = TOPs;"); | |
1054 | } | |
1055 | runtime("MAYBE_TAINT_SASSIGN_SRC(src);", | |
1056 | "SvSetSV(dst, src);", | |
1057 | "SvSETMAGIC(dst);", | |
1058 | "SETs(dst);"); | |
1059 | } | |
1060 | return $op->next; | |
1061 | } | |
1062 | ||
1063 | sub pp_preinc { | |
1064 | my $op = shift; | |
1065 | if (@stack >= 1) { | |
1066 | my $obj = $stack[-1]; | |
1067 | my $type = $obj->{type}; | |
1068 | if ($type == T_INT || $type == T_DOUBLE) { | |
1069 | $obj->set_int($obj->as_int . " + 1"); | |
1070 | } else { | |
1071 | runtime sprintf("PP_PREINC(%s);", $obj->as_sv); | |
1072 | $obj->invalidate(); | |
1073 | } | |
1074 | } else { | |
1075 | runtime sprintf("PP_PREINC(TOPs);"); | |
1076 | } | |
1077 | return $op->next; | |
1078 | } | |
1079 | ||
88eda19b | 1080 | |
a798dbf2 MB |
1081 | sub pp_pushmark { |
1082 | my $op = shift; | |
1083 | write_back_stack(); | |
1084 | runtime("PUSHMARK(sp);"); | |
1085 | return $op->next; | |
1086 | } | |
1087 | ||
1088 | sub pp_list { | |
1089 | my $op = shift; | |
1090 | write_back_stack(); | |
1091 | my $gimme = gimme($op); | |
a6f4eb0a | 1092 | if ($gimme == G_ARRAY) { # sic |
a798dbf2 MB |
1093 | runtime("POPMARK;"); # need this even though not a "full" pp_list |
1094 | } else { | |
1095 | runtime("PP_LIST($gimme);"); | |
1096 | } | |
1097 | return $op->next; | |
1098 | } | |
1099 | ||
1100 | sub pp_entersub { | |
1101 | my $op = shift; | |
8bac7e00 | 1102 | $curcop->write_back; |
a798dbf2 MB |
1103 | write_back_lexicals(REGISTER|TEMPORARY); |
1104 | write_back_stack(); | |
1105 | my $sym = doop($op); | |
5cfd8ad4 | 1106 | runtime("while (PL_op != ($sym)->op_next && PL_op != (OP*)0 ){"); |
66918de8 | 1107 | runtime("PL_op = (*PL_op->op_ppaddr)(aTHX);"); |
5cfd8ad4 | 1108 | runtime("SPAGAIN;}"); |
a798dbf2 MB |
1109 | $know_op = 0; |
1110 | invalidate_lexicals(REGISTER|TEMPORARY); | |
1111 | return $op->next; | |
1112 | } | |
a6f4eb0a VB |
1113 | sub pp_formline { |
1114 | my $op = shift; | |
1115 | my $ppname = $op->ppaddr; | |
a6f4eb0a VB |
1116 | write_back_lexicals() unless $skip_lexicals{$ppname}; |
1117 | write_back_stack() unless $skip_stack{$ppname}; | |
1118 | my $sym=doop($op); | |
1119 | # See comment in pp_grepwhile to see why! | |
1120 | $init->add("((LISTOP*)$sym)->op_first = $sym;"); | |
0bfcb1eb | 1121 | runtime("if (PL_op == ((LISTOP*)($sym))->op_first){"); |
88eda19b | 1122 | save_or_restore_lexical_state(${$op->first}); |
0bfcb1eb | 1123 | runtime( sprintf("goto %s;",label($op->first))); |
a6f4eb0a VB |
1124 | runtime("}"); |
1125 | return $op->next; | |
1126 | } | |
a798dbf2 | 1127 | |
5cfd8ad4 VB |
1128 | sub pp_goto{ |
1129 | ||
1130 | my $op = shift; | |
1131 | my $ppname = $op->ppaddr; | |
1132 | write_back_lexicals() unless $skip_lexicals{$ppname}; | |
1133 | write_back_stack() unless $skip_stack{$ppname}; | |
1134 | my $sym=doop($op); | |
1135 | runtime("if (PL_op != ($sym)->op_next && PL_op != (OP*)0){return PL_op;}"); | |
1136 | invalidate_lexicals() unless $skip_invalidate{$ppname}; | |
1137 | return $op->next; | |
1138 | } | |
a798dbf2 MB |
1139 | sub pp_enterwrite { |
1140 | my $op = shift; | |
1141 | pp_entersub($op); | |
1142 | } | |
5ab5c7a4 VB |
1143 | sub pp_leavesub{ |
1144 | my $op = shift; | |
1145 | write_back_lexicals() unless $skip_lexicals{$ppname}; | |
1146 | write_back_stack() unless $skip_stack{$ppname}; | |
1147 | runtime("if (PL_curstackinfo->si_type == PERLSI_SORT){"); | |
1148 | runtime("\tPUTBACK;return 0;"); | |
1149 | runtime("}"); | |
1150 | doop($op); | |
1151 | return $op->next; | |
1152 | } | |
a798dbf2 MB |
1153 | sub pp_leavewrite { |
1154 | my $op = shift; | |
1155 | write_back_lexicals(REGISTER|TEMPORARY); | |
1156 | write_back_stack(); | |
1157 | my $sym = doop($op); | |
1158 | # XXX Is this the right way to distinguish between it returning | |
1159 | # CvSTART(cv) (via doform) and pop_return()? | |
66918de8 | 1160 | #runtime("if (PL_op) PL_op = (*PL_op->op_ppaddr)(aTHX);"); |
a798dbf2 MB |
1161 | runtime("SPAGAIN;"); |
1162 | $know_op = 0; | |
1163 | invalidate_lexicals(REGISTER|TEMPORARY); | |
1164 | return $op->next; | |
1165 | } | |
1166 | ||
1167 | sub doeval { | |
1168 | my $op = shift; | |
1169 | $curcop->write_back; | |
1170 | write_back_lexicals(REGISTER|TEMPORARY); | |
1171 | write_back_stack(); | |
1172 | my $sym = loadop($op); | |
1173 | my $ppaddr = $op->ppaddr; | |
cd2dd2fd | 1174 | #runtime(qq/printf("$ppaddr type eval\n");/); |
a798dbf2 MB |
1175 | runtime("PP_EVAL($ppaddr, ($sym)->op_next);"); |
1176 | $know_op = 1; | |
1177 | invalidate_lexicals(REGISTER|TEMPORARY); | |
1178 | return $op->next; | |
1179 | } | |
1180 | ||
1181 | sub pp_entereval { doeval(@_) } | |
a798dbf2 MB |
1182 | sub pp_dofile { doeval(@_) } |
1183 | ||
cd2dd2fd VB |
1184 | #pp_require is protected by pp_entertry, so no protection for it. |
1185 | sub pp_require { | |
1186 | my $op = shift; | |
1187 | $curcop->write_back; | |
1188 | write_back_lexicals(REGISTER|TEMPORARY); | |
1189 | write_back_stack(); | |
1190 | my $sym = doop($op); | |
1191 | runtime("while (PL_op != ($sym)->op_next && PL_op != (OP*)0 ){"); | |
1192 | runtime("PL_op = (*PL_op->op_ppaddr)(ARGS);"); | |
1193 | runtime("SPAGAIN;}"); | |
1194 | $know_op = 1; | |
1195 | invalidate_lexicals(REGISTER|TEMPORARY); | |
1196 | return $op->next; | |
1197 | } | |
1198 | ||
1199 | ||
a798dbf2 MB |
1200 | sub pp_entertry { |
1201 | my $op = shift; | |
1202 | $curcop->write_back; | |
1203 | write_back_lexicals(REGISTER|TEMPORARY); | |
1204 | write_back_stack(); | |
1205 | my $sym = doop($op); | |
1206 | my $jmpbuf = sprintf("jmpbuf%d", $jmpbuf_ix++); | |
a6f4eb0a | 1207 | declare("JMPENV", $jmpbuf); |
a798dbf2 MB |
1208 | runtime(sprintf("PP_ENTERTRY(%s,%s);", $jmpbuf, label($op->other->next))); |
1209 | invalidate_lexicals(REGISTER|TEMPORARY); | |
1210 | return $op->next; | |
1211 | } | |
1212 | ||
a6f4eb0a VB |
1213 | sub pp_leavetry{ |
1214 | my $op=shift; | |
1215 | default_pp($op); | |
1216 | runtime("PP_LEAVETRY;"); | |
1217 | return $op->next; | |
1218 | } | |
1219 | ||
a798dbf2 MB |
1220 | sub pp_grepstart { |
1221 | my $op = shift; | |
1222 | if ($need_freetmps && $freetmps_each_loop) { | |
1223 | runtime("FREETMPS;"); # otherwise the grepwhile loop messes things up | |
1224 | $need_freetmps = 0; | |
1225 | } | |
1226 | write_back_stack(); | |
a2093a06 GS |
1227 | my $sym= doop($op); |
1228 | my $next=$op->next; | |
1229 | $next->save; | |
1230 | my $nexttonext=$next->next; | |
1231 | $nexttonext->save; | |
88eda19b | 1232 | save_or_restore_lexical_state($$nexttonext); |
a2093a06 GS |
1233 | runtime(sprintf("if (PL_op == (($sym)->op_next)->op_next) goto %s;", |
1234 | label($nexttonext))); | |
a798dbf2 MB |
1235 | return $op->next->other; |
1236 | } | |
1237 | ||
1238 | sub pp_mapstart { | |
1239 | my $op = shift; | |
1240 | if ($need_freetmps && $freetmps_each_loop) { | |
1241 | runtime("FREETMPS;"); # otherwise the mapwhile loop messes things up | |
1242 | $need_freetmps = 0; | |
1243 | } | |
1244 | write_back_stack(); | |
e0c90f07 VB |
1245 | # pp_mapstart can return either op_next->op_next or op_next->op_other and |
1246 | # we need to be able to distinguish the two at runtime. | |
1247 | my $sym= doop($op); | |
1248 | my $next=$op->next; | |
1249 | $next->save; | |
1250 | my $nexttonext=$next->next; | |
1251 | $nexttonext->save; | |
88eda19b | 1252 | save_or_restore_lexical_state($$nexttonext); |
a2093a06 GS |
1253 | runtime(sprintf("if (PL_op == (($sym)->op_next)->op_next) goto %s;", |
1254 | label($nexttonext))); | |
a798dbf2 MB |
1255 | return $op->next->other; |
1256 | } | |
1257 | ||
1258 | sub pp_grepwhile { | |
1259 | my $op = shift; | |
1260 | my $next = $op->next; | |
1261 | unshift(@bblock_todo, $next); | |
1262 | write_back_lexicals(); | |
1263 | write_back_stack(); | |
1264 | my $sym = doop($op); | |
1265 | # pp_grepwhile can return either op_next or op_other and we need to | |
1266 | # be able to distinguish the two at runtime. Since it's possible for | |
1267 | # both ops to be "inlined", the fields could both be zero. To get | |
1268 | # around that, we hack op_next to be our own op (purely because we | |
1269 | # know it's a non-NULL pointer and can't be the same as op_other). | |
1270 | $init->add("((LOGOP*)$sym)->op_next = $sym;"); | |
88eda19b | 1271 | save_or_restore_lexical_state($$next); |
81009501 | 1272 | runtime(sprintf("if (PL_op == ($sym)->op_next) goto %s;", label($next))); |
a798dbf2 MB |
1273 | $know_op = 0; |
1274 | return $op->other; | |
1275 | } | |
1276 | ||
1277 | sub pp_mapwhile { | |
1278 | pp_grepwhile(@_); | |
1279 | } | |
1280 | ||
1281 | sub pp_return { | |
1282 | my $op = shift; | |
1283 | write_back_lexicals(REGISTER|TEMPORARY); | |
1284 | write_back_stack(); | |
1285 | doop($op); | |
a9b6343a | 1286 | runtime("PUTBACK;", "return PL_op;"); |
a798dbf2 MB |
1287 | $know_op = 0; |
1288 | return $op->next; | |
1289 | } | |
1290 | ||
1291 | sub nyi { | |
1292 | my $op = shift; | |
1293 | warn sprintf("%s not yet implemented properly\n", $op->ppaddr); | |
1294 | return default_pp($op); | |
1295 | } | |
1296 | ||
1297 | sub pp_range { | |
1298 | my $op = shift; | |
1299 | my $flags = $op->flags; | |
4c1f658f | 1300 | if (!($flags & OPf_WANT)) { |
a798dbf2 MB |
1301 | error("context of range unknown at compile-time"); |
1302 | } | |
1303 | write_back_lexicals(); | |
1304 | write_back_stack(); | |
cfa4c8ee | 1305 | unless (($flags & OPf_WANT)== OPf_WANT_LIST) { |
a798dbf2 MB |
1306 | # We need to save our UNOP structure since pp_flop uses |
1307 | # it to find and adjust out targ. We don't need it ourselves. | |
1308 | $op->save; | |
88eda19b | 1309 | save_or_restore_lexical_state(${$op->other}); |
81009501 | 1310 | runtime sprintf("if (SvTRUE(PL_curpad[%d])) goto %s;", |
1a67a97c SM |
1311 | $op->targ, label($op->other)); |
1312 | unshift(@bblock_todo, $op->other); | |
a798dbf2 | 1313 | } |
1a67a97c | 1314 | return $op->next; |
a798dbf2 MB |
1315 | } |
1316 | ||
1317 | sub pp_flip { | |
1318 | my $op = shift; | |
1319 | my $flags = $op->flags; | |
4c1f658f | 1320 | if (!($flags & OPf_WANT)) { |
a798dbf2 MB |
1321 | error("context of flip unknown at compile-time"); |
1322 | } | |
cfa4c8ee | 1323 | if (($flags & OPf_WANT)==OPf_WANT_LIST) { |
1a67a97c | 1324 | return $op->first->other; |
a798dbf2 MB |
1325 | } |
1326 | write_back_lexicals(); | |
1327 | write_back_stack(); | |
1328 | # We need to save our UNOP structure since pp_flop uses | |
1329 | # it to find and adjust out targ. We don't need it ourselves. | |
1330 | $op->save; | |
1331 | my $ix = $op->targ; | |
1332 | my $rangeix = $op->first->targ; | |
1333 | runtime(($op->private & OPpFLIP_LINENUM) ? | |
81009501 | 1334 | "if (PL_last_in_gv && SvIV(TOPs) == IoLINES(GvIOp(PL_last_in_gv))) {" |
a798dbf2 | 1335 | : "if (SvTRUE(TOPs)) {"); |
81009501 | 1336 | runtime("\tsv_setiv(PL_curpad[$rangeix], 1);"); |
a798dbf2 | 1337 | if ($op->flags & OPf_SPECIAL) { |
81009501 | 1338 | runtime("sv_setiv(PL_curpad[$ix], 1);"); |
a798dbf2 | 1339 | } else { |
88eda19b | 1340 | save_or_restore_lexical_state(${$op->first->other}); |
81009501 | 1341 | runtime("\tsv_setiv(PL_curpad[$ix], 0);", |
a798dbf2 | 1342 | "\tsp--;", |
1a67a97c | 1343 | sprintf("\tgoto %s;", label($op->first->other))); |
a798dbf2 MB |
1344 | } |
1345 | runtime("}", | |
81009501 GS |
1346 | qq{sv_setpv(PL_curpad[$ix], "");}, |
1347 | "SETs(PL_curpad[$ix]);"); | |
a798dbf2 MB |
1348 | $know_op = 0; |
1349 | return $op->next; | |
1350 | } | |
1351 | ||
1352 | sub pp_flop { | |
1353 | my $op = shift; | |
1354 | default_pp($op); | |
1355 | $know_op = 0; | |
1356 | return $op->next; | |
1357 | } | |
1358 | ||
1359 | sub enterloop { | |
1360 | my $op = shift; | |
1361 | my $nextop = $op->nextop; | |
1362 | my $lastop = $op->lastop; | |
1363 | my $redoop = $op->redoop; | |
1364 | $curcop->write_back; | |
1365 | debug "enterloop: pushing on cxstack" if $debug_cxstack; | |
1366 | push(@cxstack, { | |
1367 | type => CXt_LOOP, | |
1368 | op => $op, | |
1369 | "label" => $curcop->[0]->label, | |
1370 | nextop => $nextop, | |
1371 | lastop => $lastop, | |
1372 | redoop => $redoop | |
1373 | }); | |
1374 | $nextop->save; | |
1375 | $lastop->save; | |
1376 | $redoop->save; | |
1377 | return default_pp($op); | |
1378 | } | |
1379 | ||
1380 | sub pp_enterloop { enterloop(@_) } | |
1381 | sub pp_enteriter { enterloop(@_) } | |
1382 | ||
1383 | sub pp_leaveloop { | |
1384 | my $op = shift; | |
1385 | if (!@cxstack) { | |
1386 | die "panic: leaveloop"; | |
1387 | } | |
1388 | debug "leaveloop: popping from cxstack" if $debug_cxstack; | |
1389 | pop(@cxstack); | |
1390 | return default_pp($op); | |
1391 | } | |
1392 | ||
1393 | sub pp_next { | |
1394 | my $op = shift; | |
1395 | my $cxix; | |
1396 | if ($op->flags & OPf_SPECIAL) { | |
1397 | $cxix = dopoptoloop(); | |
1398 | if ($cxix < 0) { | |
1399 | error('"next" used outside loop'); | |
1400 | return $op->next; # ignore the op | |
1401 | } | |
1402 | } else { | |
1403 | $cxix = dopoptolabel($op->pv); | |
1404 | if ($cxix < 0) { | |
1405 | error('Label not found at compile time for "next %s"', $op->pv); | |
1406 | return $op->next; # ignore the op | |
1407 | } | |
1408 | } | |
1409 | default_pp($op); | |
1410 | my $nextop = $cxstack[$cxix]->{nextop}; | |
1411 | push(@bblock_todo, $nextop); | |
88eda19b | 1412 | save_or_restore_lexical_state($$nextop); |
a798dbf2 MB |
1413 | runtime(sprintf("goto %s;", label($nextop))); |
1414 | return $op->next; | |
1415 | } | |
1416 | ||
1417 | sub pp_redo { | |
1418 | my $op = shift; | |
1419 | my $cxix; | |
1420 | if ($op->flags & OPf_SPECIAL) { | |
1421 | $cxix = dopoptoloop(); | |
1422 | if ($cxix < 0) { | |
1423 | error('"redo" used outside loop'); | |
1424 | return $op->next; # ignore the op | |
1425 | } | |
1426 | } else { | |
1427 | $cxix = dopoptolabel($op->pv); | |
1428 | if ($cxix < 0) { | |
1429 | error('Label not found at compile time for "redo %s"', $op->pv); | |
1430 | return $op->next; # ignore the op | |
1431 | } | |
1432 | } | |
1433 | default_pp($op); | |
1434 | my $redoop = $cxstack[$cxix]->{redoop}; | |
1435 | push(@bblock_todo, $redoop); | |
88eda19b | 1436 | save_or_restore_lexical_state($$redoop); |
a798dbf2 MB |
1437 | runtime(sprintf("goto %s;", label($redoop))); |
1438 | return $op->next; | |
1439 | } | |
1440 | ||
1441 | sub pp_last { | |
1442 | my $op = shift; | |
1443 | my $cxix; | |
1444 | if ($op->flags & OPf_SPECIAL) { | |
1445 | $cxix = dopoptoloop(); | |
1446 | if ($cxix < 0) { | |
1447 | error('"last" used outside loop'); | |
1448 | return $op->next; # ignore the op | |
1449 | } | |
1450 | } else { | |
1451 | $cxix = dopoptolabel($op->pv); | |
1452 | if ($cxix < 0) { | |
1453 | error('Label not found at compile time for "last %s"', $op->pv); | |
1454 | return $op->next; # ignore the op | |
1455 | } | |
1456 | # XXX Add support for "last" to leave non-loop blocks | |
1457 | if ($cxstack[$cxix]->{type} != CXt_LOOP) { | |
1458 | error('Use of "last" for non-loop blocks is not yet implemented'); | |
1459 | return $op->next; # ignore the op | |
1460 | } | |
1461 | } | |
1462 | default_pp($op); | |
1463 | my $lastop = $cxstack[$cxix]->{lastop}->next; | |
1464 | push(@bblock_todo, $lastop); | |
88eda19b | 1465 | save_or_restore_lexical_state($$lastop); |
a798dbf2 MB |
1466 | runtime(sprintf("goto %s;", label($lastop))); |
1467 | return $op->next; | |
1468 | } | |
1469 | ||
1470 | sub pp_subst { | |
1471 | my $op = shift; | |
1472 | write_back_lexicals(); | |
1473 | write_back_stack(); | |
1474 | my $sym = doop($op); | |
1475 | my $replroot = $op->pmreplroot; | |
1476 | if ($$replroot) { | |
88eda19b | 1477 | save_or_restore_lexical_state($$replroot); |
81009501 | 1478 | runtime sprintf("if (PL_op == ((PMOP*)(%s))->op_pmreplroot) goto %s;", |
a798dbf2 MB |
1479 | $sym, label($replroot)); |
1480 | $op->pmreplstart->save; | |
1481 | push(@bblock_todo, $replroot); | |
1482 | } | |
1483 | invalidate_lexicals(); | |
1484 | return $op->next; | |
1485 | } | |
1486 | ||
1487 | sub pp_substcont { | |
1488 | my $op = shift; | |
1489 | write_back_lexicals(); | |
1490 | write_back_stack(); | |
1491 | doop($op); | |
1492 | my $pmop = $op->other; | |
0cc1d052 NIS |
1493 | # warn sprintf("substcont: op = %s, pmop = %s\n", |
1494 | # peekop($op), peekop($pmop));#debug | |
1495 | # my $pmopsym = objsym($pmop); | |
a798dbf2 | 1496 | my $pmopsym = $pmop->save; # XXX can this recurse? |
0cc1d052 | 1497 | # warn "pmopsym = $pmopsym\n";#debug |
88eda19b | 1498 | save_or_restore_lexical_state(${$pmop->pmreplstart}); |
81009501 | 1499 | runtime sprintf("if (PL_op == ((PMOP*)(%s))->op_pmreplstart) goto %s;", |
a798dbf2 MB |
1500 | $pmopsym, label($pmop->pmreplstart)); |
1501 | invalidate_lexicals(); | |
1502 | return $pmop->next; | |
1503 | } | |
1504 | ||
1505 | sub default_pp { | |
1506 | my $op = shift; | |
3f872cb9 | 1507 | my $ppname = "pp_" . $op->name; |
df2464c8 VB |
1508 | if ($curcop and $need_curcop{$ppname}){ |
1509 | $curcop->write_back; | |
1510 | } | |
a798dbf2 MB |
1511 | write_back_lexicals() unless $skip_lexicals{$ppname}; |
1512 | write_back_stack() unless $skip_stack{$ppname}; | |
1513 | doop($op); | |
1514 | # XXX If the only way that ops can write to a TEMPORARY lexical is | |
1515 | # when it's named in $op->targ then we could call | |
1516 | # invalidate_lexicals(TEMPORARY) and avoid having to write back all | |
1517 | # the temporaries. For now, we'll play it safe and write back the lot. | |
1518 | invalidate_lexicals() unless $skip_invalidate{$ppname}; | |
1519 | return $op->next; | |
1520 | } | |
1521 | ||
1522 | sub compile_op { | |
1523 | my $op = shift; | |
3f872cb9 | 1524 | my $ppname = "pp_" . $op->name; |
a798dbf2 MB |
1525 | if (exists $ignore_op{$ppname}) { |
1526 | return $op->next; | |
1527 | } | |
1528 | debug peek_stack() if $debug_stack; | |
1529 | if ($debug_op) { | |
1530 | debug sprintf("%s [%s]\n", | |
1531 | peekop($op), | |
1532 | $op->flags & OPf_STACKED ? "OPf_STACKED" : $op->targ); | |
1533 | } | |
1534 | no strict 'refs'; | |
1535 | if (defined(&$ppname)) { | |
1536 | $know_op = 0; | |
1537 | return &$ppname($op); | |
1538 | } else { | |
1539 | return default_pp($op); | |
1540 | } | |
1541 | } | |
1542 | ||
1543 | sub compile_bblock { | |
1544 | my $op = shift; | |
1545 | #warn "compile_bblock: ", peekop($op), "\n"; # debug | |
88eda19b | 1546 | save_or_restore_lexical_state($$op); |
a798dbf2 MB |
1547 | write_label($op); |
1548 | $know_op = 0; | |
1549 | do { | |
1550 | $op = compile_op($op); | |
1551 | } while (defined($op) && $$op && !exists($leaders->{$$op})); | |
1552 | write_back_stack(); # boo hoo: big loss | |
1553 | reload_lexicals(); | |
1554 | return $op; | |
1555 | } | |
1556 | ||
1557 | sub cc { | |
1558 | my ($name, $root, $start, @padlist) = @_; | |
1559 | my $op; | |
e9a14d94 VB |
1560 | if($done{$$start}){ |
1561 | #warn "repeat=>".ref($start)."$name,\n";#debug | |
1562 | $decl->add(sprintf("#define $name %s",$done{$$start})); | |
1563 | return; | |
1564 | } | |
a798dbf2 MB |
1565 | init_pp($name); |
1566 | load_pad(@padlist); | |
88eda19b | 1567 | %lexstate=(); |
a798dbf2 MB |
1568 | B::Pseudoreg->new_scope; |
1569 | @cxstack = (); | |
1570 | if ($debug_timings) { | |
1571 | warn sprintf("Basic block analysis at %s\n", timing_info); | |
1572 | } | |
1573 | $leaders = find_leaders($root, $start); | |
56eca212 GS |
1574 | my @leaders= keys %$leaders; |
1575 | if ($#leaders > -1) { | |
1576 | @bblock_todo = ($start, values %$leaders) ; | |
1577 | } else{ | |
1578 | runtime("return PL_op?PL_op->op_next:0;"); | |
1579 | } | |
a798dbf2 MB |
1580 | if ($debug_timings) { |
1581 | warn sprintf("Compilation at %s\n", timing_info); | |
1582 | } | |
1583 | while (@bblock_todo) { | |
1584 | $op = shift @bblock_todo; | |
1585 | #warn sprintf("Considering basic block %s\n", peekop($op)); # debug | |
1586 | next if !defined($op) || !$$op || $done{$$op}; | |
1587 | #warn "...compiling it\n"; # debug | |
1588 | do { | |
e9a14d94 | 1589 | $done{$$op} = $name; |
a798dbf2 MB |
1590 | $op = compile_bblock($op); |
1591 | if ($need_freetmps && $freetmps_each_bblock) { | |
1592 | runtime("FREETMPS;"); | |
1593 | $need_freetmps = 0; | |
1594 | } | |
1595 | } while defined($op) && $$op && !$done{$$op}; | |
1596 | if ($need_freetmps && $freetmps_each_loop) { | |
1597 | runtime("FREETMPS;"); | |
1598 | $need_freetmps = 0; | |
1599 | } | |
1600 | if (!$$op) { | |
a9b6343a | 1601 | runtime("PUTBACK;","return PL_op;"); |
a798dbf2 | 1602 | } elsif ($done{$$op}) { |
88eda19b | 1603 | save_or_restore_lexical_state($$op); |
a798dbf2 MB |
1604 | runtime(sprintf("goto %s;", label($op))); |
1605 | } | |
1606 | } | |
1607 | if ($debug_timings) { | |
1608 | warn sprintf("Saving runtime at %s\n", timing_info); | |
1609 | } | |
8bac7e00 | 1610 | declare_pad(@padlist) ; |
a798dbf2 MB |
1611 | save_runtime(); |
1612 | } | |
1613 | ||
1614 | sub cc_recurse { | |
1615 | my $ccinfo; | |
1616 | my $start; | |
1617 | $start = cc_queue(@_) if @_; | |
1618 | while ($ccinfo = shift @cc_todo) { | |
1619 | cc(@$ccinfo); | |
1620 | } | |
1621 | return $start; | |
1622 | } | |
1623 | ||
1624 | sub cc_obj { | |
1625 | my ($name, $cvref) = @_; | |
1626 | my $cv = svref_2object($cvref); | |
1627 | my @padlist = $cv->PADLIST->ARRAY; | |
1628 | my $curpad_sym = $padlist[1]->save; | |
1629 | cc_recurse($name, $cv->ROOT, $cv->START, @padlist); | |
1630 | } | |
1631 | ||
1632 | sub cc_main { | |
1633 | my @comppadlist = comppadlist->ARRAY; | |
0cc1d052 NIS |
1634 | my $curpad_nam = $comppadlist[0]->save; |
1635 | my $curpad_sym = $comppadlist[1]->save; | |
1636 | my $init_av = init_av->save; | |
a798dbf2 | 1637 | my $start = cc_recurse("pp_main", main_root, main_start, @comppadlist); |
cfa4c8ee | 1638 | # Do save_unused_subs before saving inc_hv |
0cc1d052 | 1639 | save_unused_subs(); |
a798dbf2 MB |
1640 | cc_recurse(); |
1641 | ||
cfa4c8ee VB |
1642 | my $inc_hv = svref_2object(\%INC)->save; |
1643 | my $inc_av = svref_2object(\@INC)->save; | |
56eca212 | 1644 | my $amagic_generate= amagic_generation; |
a798dbf2 MB |
1645 | return if $errors; |
1646 | if (!defined($module)) { | |
81009501 GS |
1647 | $init->add(sprintf("PL_main_root = s\\_%x;", ${main_root()}), |
1648 | "PL_main_start = $start;", | |
5cfd8ad4 | 1649 | "PL_curpad = AvARRAY($curpad_sym);", |
5ab5c7a4 | 1650 | "PL_initav = (AV *) $init_av;", |
0cc1d052 NIS |
1651 | "GvHV(PL_incgv) = $inc_hv;", |
1652 | "GvAV(PL_incgv) = $inc_av;", | |
5cfd8ad4 | 1653 | "av_store(CvPADLIST(PL_main_cv),0,SvREFCNT_inc($curpad_nam));", |
44887cfa | 1654 | "av_store(CvPADLIST(PL_main_cv),1,SvREFCNT_inc($curpad_sym));", |
56eca212 | 1655 | "PL_amagic_generation= $amagic_generate;", |
44887cfa NIS |
1656 | ); |
1657 | ||
a798dbf2 | 1658 | } |
73544139 | 1659 | seek(STDOUT,0,0); #prevent print statements from BEGIN{} into the output |
a798dbf2 MB |
1660 | output_boilerplate(); |
1661 | print "\n"; | |
1662 | output_all("perl_init"); | |
1663 | output_runtime(); | |
1664 | print "\n"; | |
1665 | output_main(); | |
1666 | if (defined($module)) { | |
1667 | my $cmodule = $module; | |
1668 | $cmodule =~ s/::/__/g; | |
1669 | print <<"EOT"; | |
1670 | ||
1671 | #include "XSUB.h" | |
1672 | XS(boot_$cmodule) | |
1673 | { | |
1674 | dXSARGS; | |
1675 | perl_init(); | |
1676 | ENTER; | |
1677 | SAVETMPS; | |
7766f137 GS |
1678 | SAVEVPTR(PL_curpad); |
1679 | SAVEVPTR(PL_op); | |
81009501 GS |
1680 | PL_curpad = AvARRAY($curpad_sym); |
1681 | PL_op = $start; | |
66918de8 | 1682 | pp_main(aTHX); |
a798dbf2 MB |
1683 | FREETMPS; |
1684 | LEAVE; | |
81009501 | 1685 | ST(0) = &PL_sv_yes; |
a798dbf2 MB |
1686 | XSRETURN(1); |
1687 | } | |
1688 | EOT | |
1689 | } | |
1690 | if ($debug_timings) { | |
1691 | warn sprintf("Done at %s\n", timing_info); | |
1692 | } | |
1693 | } | |
1694 | ||
1695 | sub compile { | |
1696 | my @options = @_; | |
1697 | my ($option, $opt, $arg); | |
1698 | OPTION: | |
1699 | while ($option = shift @options) { | |
1700 | if ($option =~ /^-(.)(.*)/) { | |
1701 | $opt = $1; | |
1702 | $arg = $2; | |
1703 | } else { | |
1704 | unshift @options, $option; | |
1705 | last OPTION; | |
1706 | } | |
1707 | if ($opt eq "-" && $arg eq "-") { | |
1708 | shift @options; | |
1709 | last OPTION; | |
1710 | } elsif ($opt eq "o") { | |
1711 | $arg ||= shift @options; | |
ff06c60c | 1712 | open(STDOUT, ">$arg") or return "open '>$arg': $!\n"; |
a798dbf2 MB |
1713 | } elsif ($opt eq "n") { |
1714 | $arg ||= shift @options; | |
1715 | $module_name = $arg; | |
1716 | } elsif ($opt eq "u") { | |
1717 | $arg ||= shift @options; | |
0cc1d052 | 1718 | mark_unused($arg,undef); |
a798dbf2 MB |
1719 | } elsif ($opt eq "f") { |
1720 | $arg ||= shift @options; | |
1721 | my $value = $arg !~ s/^no-//; | |
1722 | $arg =~ s/-/_/g; | |
1723 | my $ref = $optimise{$arg}; | |
1724 | if (defined($ref)) { | |
1725 | $$ref = $value; | |
1726 | } else { | |
1727 | warn qq(ignoring unknown optimisation option "$arg"\n); | |
1728 | } | |
1729 | } elsif ($opt eq "O") { | |
1730 | $arg = 1 if $arg eq ""; | |
1731 | my $ref; | |
1732 | foreach $ref (values %optimise) { | |
1733 | $$ref = 0; | |
1734 | } | |
1735 | if ($arg >= 2) { | |
1736 | $freetmps_each_loop = 1; | |
1737 | } | |
1738 | if ($arg >= 1) { | |
1739 | $freetmps_each_bblock = 1 unless $freetmps_each_loop; | |
1740 | } | |
1741 | } elsif ($opt eq "m") { | |
1742 | $arg ||= shift @options; | |
1743 | $module = $arg; | |
a9b6343a | 1744 | mark_unused($arg,undef); |
a798dbf2 MB |
1745 | } elsif ($opt eq "p") { |
1746 | $arg ||= shift @options; | |
1747 | $patchlevel = $arg; | |
1748 | } elsif ($opt eq "D") { | |
1749 | $arg ||= shift @options; | |
1750 | foreach $arg (split(//, $arg)) { | |
1751 | if ($arg eq "o") { | |
1752 | B->debug(1); | |
1753 | } elsif ($arg eq "O") { | |
1754 | $debug_op = 1; | |
1755 | } elsif ($arg eq "s") { | |
1756 | $debug_stack = 1; | |
1757 | } elsif ($arg eq "c") { | |
1758 | $debug_cxstack = 1; | |
1759 | } elsif ($arg eq "p") { | |
1760 | $debug_pad = 1; | |
1761 | } elsif ($arg eq "r") { | |
1762 | $debug_runtime = 1; | |
1763 | } elsif ($arg eq "S") { | |
1764 | $debug_shadow = 1; | |
1765 | } elsif ($arg eq "q") { | |
1766 | $debug_queue = 1; | |
1767 | } elsif ($arg eq "l") { | |
1768 | $debug_lineno = 1; | |
1769 | } elsif ($arg eq "t") { | |
1770 | $debug_timings = 1; | |
1771 | } | |
1772 | } | |
1773 | } | |
1774 | } | |
1775 | init_sections(); | |
1776 | $init = B::Section->get("init"); | |
1777 | $decl = B::Section->get("decl"); | |
1778 | ||
1779 | if (@options) { | |
1780 | return sub { | |
1781 | my ($objname, $ppname); | |
1782 | foreach $objname (@options) { | |
1783 | $objname = "main::$objname" unless $objname =~ /::/; | |
1784 | ($ppname = $objname) =~ s/^.*?:://; | |
1785 | eval "cc_obj(qq(pp_sub_$ppname), \\&$objname)"; | |
1786 | die "cc_obj(qq(pp_sub_$ppname, \\&$objname) failed: $@" if $@; | |
1787 | return if $errors; | |
1788 | } | |
1789 | output_boilerplate(); | |
1790 | print "\n"; | |
1791 | output_all($module_name || "init_module"); | |
1792 | output_runtime(); | |
1793 | } | |
1794 | } else { | |
1795 | return sub { cc_main() }; | |
1796 | } | |
1797 | } | |
1798 | ||
1799 | 1; | |
7f20e9dd GS |
1800 | |
1801 | __END__ | |
1802 | ||
1803 | =head1 NAME | |
1804 | ||
1805 | B::CC - Perl compiler's optimized C translation backend | |
1806 | ||
1807 | =head1 SYNOPSIS | |
1808 | ||
1809 | perl -MO=CC[,OPTIONS] foo.pl | |
1810 | ||
1811 | =head1 DESCRIPTION | |
1812 | ||
1a52ab62 MB |
1813 | This compiler backend takes Perl source and generates C source code |
1814 | corresponding to the flow of your program. In other words, this | |
1815 | backend is somewhat a "real" compiler in the sense that many people | |
1816 | think about compilers. Note however that, currently, it is a very | |
1817 | poor compiler in that although it generates (mostly, or at least | |
1818 | sometimes) correct code, it performs relatively few optimisations. | |
1819 | This will change as the compiler develops. The result is that | |
1820 | running an executable compiled with this backend may start up more | |
1821 | quickly than running the original Perl program (a feature shared | |
1822 | by the B<C> compiler backend--see F<B::C>) and may also execute | |
1823 | slightly faster. This is by no means a good optimising compiler--yet. | |
1824 | ||
1825 | =head1 OPTIONS | |
1826 | ||
1827 | If there are any non-option arguments, they are taken to be | |
1828 | names of objects to be saved (probably doesn't work properly yet). | |
1829 | Without extra arguments, it saves the main program. | |
1830 | ||
1831 | =over 4 | |
1832 | ||
1833 | =item B<-ofilename> | |
1834 | ||
1835 | Output to filename instead of STDOUT | |
1836 | ||
1837 | =item B<-v> | |
1838 | ||
1839 | Verbose compilation (currently gives a few compilation statistics). | |
1840 | ||
1841 | =item B<--> | |
1842 | ||
1843 | Force end of options | |
1844 | ||
1845 | =item B<-uPackname> | |
1846 | ||
1847 | Force apparently unused subs from package Packname to be compiled. | |
1848 | This allows programs to use eval "foo()" even when sub foo is never | |
1849 | seen to be used at compile time. The down side is that any subs which | |
1850 | really are never used also have code generated. This option is | |
1851 | necessary, for example, if you have a signal handler foo which you | |
1852 | initialise with C<$SIG{BAR} = "foo">. A better fix, though, is just | |
1853 | to change it to C<$SIG{BAR} = \&foo>. You can have multiple B<-u> | |
1854 | options. The compiler tries to figure out which packages may possibly | |
1855 | have subs in which need compiling but the current version doesn't do | |
1856 | it very well. In particular, it is confused by nested packages (i.e. | |
1857 | of the form C<A::B>) where package C<A> does not contain any subs. | |
1858 | ||
1859 | =item B<-mModulename> | |
1860 | ||
1861 | Instead of generating source for a runnable executable, generate | |
1862 | source for an XSUB module. The boot_Modulename function (which | |
1863 | DynaLoader can look for) does the appropriate initialisation and runs | |
1864 | the main part of the Perl source that is being compiled. | |
1865 | ||
1866 | ||
1867 | =item B<-D> | |
1868 | ||
1869 | Debug options (concatenated or separate flags like C<perl -D>). | |
1870 | ||
1871 | =item B<-Dr> | |
1872 | ||
1873 | Writes debugging output to STDERR just as it's about to write to the | |
1874 | program's runtime (otherwise writes debugging info as comments in | |
1875 | its C output). | |
1876 | ||
1877 | =item B<-DO> | |
1878 | ||
1879 | Outputs each OP as it's compiled | |
1880 | ||
1881 | =item B<-Ds> | |
1882 | ||
1883 | Outputs the contents of the shadow stack at each OP | |
1884 | ||
1885 | =item B<-Dp> | |
1886 | ||
1887 | Outputs the contents of the shadow pad of lexicals as it's loaded for | |
1888 | each sub or the main program. | |
1889 | ||
1890 | =item B<-Dq> | |
1891 | ||
1892 | Outputs the name of each fake PP function in the queue as it's about | |
1893 | to process it. | |
1894 | ||
1895 | =item B<-Dl> | |
1896 | ||
1897 | Output the filename and line number of each original line of Perl | |
1898 | code as it's processed (C<pp_nextstate>). | |
1899 | ||
1900 | =item B<-Dt> | |
1901 | ||
1902 | Outputs timing information of compilation stages. | |
1903 | ||
1904 | =item B<-f> | |
1905 | ||
1906 | Force optimisations on or off one at a time. | |
1907 | ||
1908 | =item B<-ffreetmps-each-bblock> | |
1909 | ||
1910 | Delays FREETMPS from the end of each statement to the end of the each | |
1911 | basic block. | |
1912 | ||
1913 | =item B<-ffreetmps-each-loop> | |
1914 | ||
1915 | Delays FREETMPS from the end of each statement to the end of the group | |
1916 | of basic blocks forming a loop. At most one of the freetmps-each-* | |
1917 | options can be used. | |
1918 | ||
1919 | =item B<-fomit-taint> | |
1920 | ||
1921 | Omits generating code for handling perl's tainting mechanism. | |
1922 | ||
1923 | =item B<-On> | |
1924 | ||
1925 | Optimisation level (n = 0, 1, 2, ...). B<-O> means B<-O1>. | |
1926 | Currently, B<-O1> sets B<-ffreetmps-each-bblock> and B<-O2> | |
1927 | sets B<-ffreetmps-each-loop>. | |
1928 | ||
1929 | =back | |
1930 | ||
1931 | =head1 EXAMPLES | |
1932 | ||
1933 | perl -MO=CC,-O2,-ofoo.c foo.pl | |
1934 | perl cc_harness -o foo foo.c | |
1935 | ||
1936 | Note that C<cc_harness> lives in the C<B> subdirectory of your perl | |
1937 | library directory. The utility called C<perlcc> may also be used to | |
1938 | help make use of this compiler. | |
1939 | ||
1940 | perl -MO=CC,-mFoo,-oFoo.c Foo.pm | |
1941 | perl cc_harness -shared -c -o Foo.so Foo.c | |
1942 | ||
1943 | =head1 BUGS | |
1944 | ||
1945 | Plenty. Current status: experimental. | |
1946 | ||
1947 | =head1 DIFFERENCES | |
1948 | ||
1949 | These aren't really bugs but they are constructs which are heavily | |
1950 | tied to perl's compile-and-go implementation and with which this | |
1951 | compiler backend cannot cope. | |
1952 | ||
1953 | =head2 Loops | |
1954 | ||
1955 | Standard perl calculates the target of "next", "last", and "redo" | |
1956 | at run-time. The compiler calculates the targets at compile-time. | |
1957 | For example, the program | |
1958 | ||
1959 | sub skip_on_odd { next NUMBER if $_[0] % 2 } | |
1960 | NUMBER: for ($i = 0; $i < 5; $i++) { | |
1961 | skip_on_odd($i); | |
1962 | print $i; | |
1963 | } | |
1964 | ||
1965 | produces the output | |
1966 | ||
1967 | 024 | |
1968 | ||
1969 | with standard perl but gives a compile-time error with the compiler. | |
1970 | ||
1971 | =head2 Context of ".." | |
1972 | ||
1973 | The context (scalar or array) of the ".." operator determines whether | |
1974 | it behaves as a range or a flip/flop. Standard perl delays until | |
1975 | runtime the decision of which context it is in but the compiler needs | |
1976 | to know the context at compile-time. For example, | |
1977 | ||
1978 | @a = (4,6,1,0,0,1); | |
1979 | sub range { (shift @a)..(shift @a) } | |
1980 | print range(); | |
1981 | while (@a) { print scalar(range()) } | |
1982 | ||
1983 | generates the output | |
1984 | ||
1985 | 456123E0 | |
1986 | ||
1987 | with standard Perl but gives a compile-time error with compiled Perl. | |
1988 | ||
1989 | =head2 Arithmetic | |
1990 | ||
1991 | Compiled Perl programs use native C arithemtic much more frequently | |
1992 | than standard perl. Operations on large numbers or on boundary | |
1993 | cases may produce different behaviour. | |
1994 | ||
1995 | =head2 Deprecated features | |
1996 | ||
1997 | Features of standard perl such as C<$[> which have been deprecated | |
1998 | in standard perl since Perl5 was released have not been implemented | |
1999 | in the compiler. | |
7f20e9dd GS |
2000 | |
2001 | =head1 AUTHOR | |
2002 | ||
2003 | Malcolm Beattie, C<mbeattie@sable.ox.ac.uk> | |
2004 | ||
2005 | =cut |