-
Notifications
You must be signed in to change notification settings - Fork 2
/
optimizer.pm
371 lines (281 loc) · 10.8 KB
/
optimizer.pm
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
package optimizer;
use Carp;
use B;
{ no warnings 'redefine';
use B::Generate;
}
use 5.007002;
use strict;
use warnings;
BEGIN {
# op_seq workaround for 5.10, store it as package global.
my $seq = 0;
if ($] > 5.009) {
eval q(
package B::OP;
sub seq {
shift;
@_ ? $optimizer::seq = shift : $optimizer::seq;
}
);
}
}
require DynaLoader;
our $VERSION = '0.08';
our @ISA = q(DynaLoader);
our %callbacks;
bootstrap optimizer $VERSION;
my ($file, $line) = ("unknown", "unknown");
{
sub _preparewarn {
my $args = join '', @_;
$args = "Something's wrong " unless $args;
$args .= " at $file line $line.\n" unless substr($args, length($args) -1) eq "\n";
}
sub _update {
my $cop = shift; $file = $cop->file; $line = $cop->line;
}
sub _die (@) { CORE::die(preparewarn(@_)) }
sub _warn (@) { CORE::warn(preparewarn(@_)) }
}
sub import {
my ($class,$type) = (shift, shift);
if (!defined $type) {
CORE::warn("Must pass an action to ${class}'s importer");
return
}
if ($type eq 'C' or $type eq 'c') {
optimizer::uninstall();
} elsif ($type =~ /^Perl$/i) {
optimizer::install( sub { optimizer::peepextend($_[0], sub {}) });
} elsif ($type eq "callback" or $type eq "extend" or $type eq "mine") {
my $subref = shift;
croak "Supplied callback was not a subref" unless ref $subref eq "CODE";
optimizer::install( sub { callbackoptimizer($_[0], $subref) }) if $type eq "callback";
optimizer::install( sub { optimizer::peepextend($_[0], $subref) }) if $type eq "extend";
optimizer::install( $subref ) if $type eq "mine";
} elsif ($type eq 'extend-c') {
optimizer::c_extend_install(shift);
} elsif ($type eq 'sub-detect') {
my ($package, $filename, $line) = caller;
$callbacks{$package} = shift;
optimizer::c_sub_detect_install();
} else { croak "Unknown optimizer option '$type'"; }
}
sub unimport {
optimizer::install(sub {callbackoptimizer($_[0], sub{})});
}
sub callbackoptimizer {
my ($op, $callback) = @_;
while ($$op) {
$op->seq(optimizer::op_seqmax_inc());
_update($op) if $op->isa("B::COP");
# crashes: wrong op_sv, strange cv
#_relocatetopad($op, $op->find_cv()) if $op->name eq "const"; # For thread safety
$callback->($op);
$op = $op->next;
last unless $op->can("next"); # Shouldn't get here
}
}
sub peepextend {
# Oh boy
my ($o, $callback) = @_;
my $oldop = 0;
return if !$$o or $o->seq;
op_seqmax_inc() unless op_seqmax();
while ($$o) {
#warn ("Trying op $o ($$o) -> ".$o->name."\n");
if ($o->isa("B::COP")) {
$o->seq(optimizer::op_seqmax_inc());
_update($o); # For warnings
} elsif ($o->name eq "const") {
optimizer::_die("Bareword ",$o->sv->sv, " not allowed while \"strict subs\" in use")
if ($o->private & 8);
# crashes: wrong op_sv, strange cv
#_relocatetopad($o, $o->find_cv());
$o->seq(optimizer::op_seqmax_inc());
} elsif ($o->name eq "concat") {
if ($o->next && $o->next->name eq "stringify" and !($o->flags &64)) {
if ($o->next->private & 16) {
$o->targ($o->next->targ);
$o->next->targ(0);
}
#$o->null;
}
$o->seq(optimizer::op_seqmax_inc());
#} elsif ($o->name eq "stub") {
# CORE::die "Eep.";
#} elsif ($o->name eq "null") {
# CORE::die "Eep.";
} elsif ($o->name eq "scalar" or $o->name eq "lineseq" or $o->name eq "scope") {
if ($$oldop and ${$o->next}) {
$oldop->next($o->next);
$o=$o->next;
next;
}
$o->seq(optimizer::op_seqmax_inc());
#} elsif ($o->name eq "gv") {
# CORE::die "Eep.";
} elsif ($o->name =~ /^((map|grep)while|(and|or)(assign)?|cond_expr|range)$/) {
$o->seq(optimizer::op_seqmax_inc());
$o->other($o->other->next) while $o->other->name eq "null";
peepextend($o->other, $callback); # Weee.
} elsif ($o->name =~ /^enter(loop|iter|given|when)/) {
$o->seq(optimizer::op_seqmax_inc());
$o->redoop($o->redoop->next) while $o->redoop->name eq "null";
peepextend($o->redoop, $callback);
$o->nextop($o->nextop->next) while $o->nextop->name eq "null";
peepextend($o->nextop, $callback);
$o->lastop($o->lastop->next) while $o->lastop->name eq "null";
peepextend($o->lastop, $callback);
} elsif ($o->name eq "qr" or $o->name eq "match" or $o->name eq "subst") {
$o->seq(optimizer::op_seqmax_inc());
$o->pmreplstart($o->pmreplstart->next)
while ${$o->pmreplstart} and $o->pmreplstart->name eq "null";
peepextend($o->pmreplstart, $callback);
} elsif ($o->name eq "exec") {
$o->seq(optimizer::op_seqmax_inc());
if (${$o->next} and $o->next->name eq "nextstate" and
${$o->next->sibling} and $o->next->sibling->type !~ /exit|warn|die/) {
optimizer::_warn("Statement unlikely to be reached");
optimizer::_warn("\t(Maybe you meant system() when you said exec()?)\n");
}
} else {
# Screw pseudohashes.
$o->seq(optimizer::op_seqmax_inc());
}
my $plop = $o;
$callback->($o);
$oldop = $o;
$o = $o->next;
last unless $o->can("next"); # Shouldn't get here
}
}
1;
__END__
=head1 NAME
optimizer - Write your own Perl optimizer, in Perl
=head1 SYNOPSIS
# Use Perl's default optimizer
use optimizer 'C';
# Use a Perl implementation of the default optimizer
use optimizer 'perl';
# Use an extension of the default optimizer
use optimizer extend => sub {
warn "goto considered harmful" if $_[0]-1>name eq "goto"
}
# Use a simple optimizer with callbacks for each op
use optimizer callback => sub { .. }
# Completely implement your own optimizer
use optimizer mine => sub { ... }
# use the standard optimizer with an extra callback
# this is the most compatible optimizer version
use optimizer 'extend-c' => sub { print $_[0]->name() };
# don't provide a peep optimizer, rather get a callback
# after we are finished with every code block
use optimizer 'sub-detect' => sub { print $_[0]->name() };
no optimizer; # Use the simplest working optimizer
=head1 DESCRIPTION
This module allows you to replace the default Perl optree
optimizer, C<peep>, with a Perl function of your own devising.
It requires a Perl > 5.8 or patched with the plugpeep patch supplied
with the module distribution; this patch allows the optimizer to be
pluggable and replaceable with a C function pointer. This module
provides the glue between the C function and a Perl subroutine.
This patch was integrated as of perl 5.8.
Your optimizer subroutine will be handed a C<B::OP>-derived object
representing the first (NOT the root) op in the program. You are
expected to be fluent with the C<B> module to know what to do with this.
You can use L<B::Generate> to fiddle around with the optree you are
given, while traversing it in execution order.
If you choose complete control over your optimizer, you B<must> assign
sequence numbers to operations. This can be done via the
C<optimizer::op_seqmax_inc> function, which supplies a new
incremented sequence number. Do something like this:
while ($$op) {
$op->seq(optimizer::op_seqmax_inc);
... more optimizations ...
$op = $op->next;
last unless $op->can("next"); # Shouldn't get here
}
The C<callback> option to this module will essentially do the above,
calling your given subroutine with each op.
If you just want to use this function to get a callback after every
code block is compiled so you can do any arbitrary work on it use the
C<sub-detect> option, you will be passed LEAVE* ops after the standard
peep optimizer has been run, this minimises the risk for bugs as we
use the standard one. The op tree you are handed is also stable so you
are free to work on it. This is useful if you are limited by
C<CHECK> and C<INIT> blocks as this works with string eval and
C<require> aswell. Only one callback per package is allowed.
PERL_DL_NONLAZY and B::Generate
Note that optimizer do works fine on most platforms and perl versions,
only on Windows some libperl functions are not exported anymore, which
B::Generate needs.
=head1 OPTIONS
=over 4
=item C
Use Perl's default optimizer.
use optimizer 'C';
=item perl
Use a Perl implementation of Perl's default optimizer.
use optimizer 'perl';
=item extend
Use an extension of the default optimizer.
The callback is called for every visited op.
use optimizer extend => sub {
warn "goto considered harmful" if $_[0]->name eq "goto"
}
=item callback
Use a simple optimizer with callbacks for each op.
use optimizer callback => sub { .. }
=item mine
Completely implement your own optimizer. You have to provide your own walker and peep.
use optimizer mine => sub { ... }
=item extend-c
Use the standard optimizer with an extra callback.
This is the most compatible optimizer version.
use optimizer 'extend-c' => sub { print $_[0]->name() };
=item sub-detect
Don't provide a peep optimizer, rather get a callback
after we are finished with every code block (I<sub>).
You will be passed LEAVE* ops after the standard
peep optimizer has been run, this minimises the risk
for bugs as we use the standard one.
use optimizer 'sub-detect' => sub { print $_[0]->name() };
=back
=head1 HELPER FUNCTIONS
=over 4
=item callbackoptimizer (this, callback)
The helper function for the option B<callback>.
=item peepextend (this, callback)
The helper function for the option B<extend>.
->import('perl') uses B<peepextend> with an empty callback.
=item c_extend_install
The helper function for the option B<extend-c>.
It uses the longish XS function C<c_extend_peep> as
experimental peeper, and calls the user-side perl callback
for each OP.
=item c_sub_detect_install
The XS helper function for the option B<sub-detect>.
It installs C<c_sub_detect> as C<PL_peep>.
B<c_sub_detect> calls all perl-side callbacks at any LEAVE op.
=item unimport
Override with an empty B<callbackoptimizer>, effectively disabling any
installed optimizer.
=back
=head1 STATUS
relocatetopad fails with threaded perls.
=head1 5.10 Changes
Since Perl 5.10 there are no op_seqmax and op_seq numbers in CORE
anymore, so we add a package global op_seqmax for the op-tree
numbering, for $B::OP::seq also. This is not thread-safe.
=head1 AUTHOR
Simon Cozens, C<[email protected]>
Extended functionality:
Artur Bergman, C<[email protected]>
5.10 support and current maintainer Reini Urban:
Reini Urban, C<[email protected]>
=head1 SEE ALSO
L<B::Generate>, L<optimize>
=cut