3 # Regenerate (overwriting only if changed):
10 # from information stored in this file. pod/perlguts.pod is not completely
11 # regenerated. Only the magic table is replaced; the other parts remain
14 # Accepts the standard regen_lib -q and -v args.
16 # This script is normally invoked from regen.pl.
18 # Its output files contain:
21 # included by dump.c - the textual representation for each magic type.
24 # { PERL_MAGIC_foo, "foo(f)" }
30 # processed by generate_uudmap.c into mg_data.h which eventually
31 # populates PL_magic_vtables[].
35 # { 'f', "want_vtbl_foo | FLAGS", "description for comments" }
37 # triplets. FLAGS can be:
38 # PERL_MAGIC_READONLY_ACCEPTABLE
39 # ok set this type of magic on an SvREADONLY() SV
40 # PERL_MAGIC_VALUE_MAGIC
41 # this is value magic (pos, taint etc)
42 # rather than container magic (%ENV, $1 etc)
46 # This contains five kinds of entries:
48 # #define PERL_MAGIC_arylen '#'
51 # enum { /* pass one of these to get_vtbl */
56 # PL_magic_vtable_names[] = {
61 # PL_magic_vtables[] = {
62 # /* per-magic sets of vtable function pointers */
63 # { get, set, len, clear, free, copy, dup, local },
66 # define PL_vtbl_arylen PL_magic_vtables[want_vtbl_arylen]
72 # updates the list of magic types between
73 # =for mg_vtable.pl begin
75 # =for mg_vtable.pl end
82 # Get function prototypes
83 require './regen/regen_lib.pl';
86 # =====================================================================
88 # START OF CONFIGURATION DATA
93 # This hash is mainly concerned with populating all the other stuff
94 # ancillary to the vtable.
96 # The key is the name, e.g. 'regdata' for PERL_MAGIC_regdata
98 # The keys of the value hash are:
100 # the magic's char identifier
103 # a description which appears in code comments in generated files
105 # readonly_acceptable
106 # If true, set PERL_MAGIC_READONLY_ACCEPTABLE flag;
107 # SvREADONLY() svs are allowed to have this magic added to them
109 # unknown_to_sv_magic
110 # if true, this isn't one of the standard magic types which
111 # Perl_sv_magic() knows how to deal with
114 # If true, set PERL_MAGIC_VALUE_MAGIC flag;
115 # this kind of magic is value (pos, taint etc) rather than
116 # container magic (%ENV, $1 etc)
119 # name of the vtable lookup enum, e.g. 'foo' creates want_vtbl_foo
123 sv => { char => "\0", vtable => 'sv', readonly_acceptable => 1,
124 desc => 'Special scalar variable' },
125 # overload, or type "A" magic, used to be here. Hence overloaded is
126 # often called AMAGIC internally, even though it does not use "A"
128 overload_table => { char => 'c', vtable => 'ovrld',
129 desc => 'Holds overload table (AMT) on stash' },
130 bm => { char => 'B', vtable => 'regexp', value_magic => 1,
131 readonly_acceptable => 1,
132 desc => 'Boyer-Moore (fast string search)' },
133 regdata => { char => 'D', vtable => 'regdata',
134 desc => "Regex match position data\n(\@+ and \@- vars)" },
135 regdatum => { char => 'd', vtable => 'regdatum',
136 desc => 'Regex match position data element' },
137 env => { char => 'E', vtable => 'env', desc => '%ENV hash' },
138 envelem => { char => 'e', vtable => 'envelem',
139 desc => '%ENV hash element' },
140 fm => { char => 'f', vtable => 'regexp', value_magic => 1,
141 readonly_acceptable => 1, desc => "Formline ('compiled' format)" },
142 regex_global => { char => 'g', vtable => 'mglob', value_magic => 1,
143 readonly_acceptable => 1, desc => 'm//g target' },
144 hints => { char => 'H', vtable => 'hints', desc => '%^H hash' },
145 hintselem => { char => 'h', vtable => 'hintselem',
146 desc => '%^H hash element' },
147 isa => { char => 'I', vtable => 'isa', desc => '@ISA array' },
148 isaelem => { char => 'i', vtable => 'isaelem',
149 desc => '@ISA array element' },
150 nkeys => { char => 'k', vtable => 'nkeys', value_magic => 1,
151 desc => 'scalar(keys()) lvalue' },
152 dbfile => { char => 'L',
153 desc => 'Debugger %_<filename' },
154 dbline => { char => 'l', vtable => 'dbline',
155 desc => 'Debugger %_<filename element' },
156 shared => { char => 'N', desc => 'Shared between threads',
157 unknown_to_sv_magic => 1 },
158 shared_scalar => { char => 'n', desc => 'Shared between threads',
159 unknown_to_sv_magic => 1 },
160 collxfrm => { char => 'o', vtable => 'collxfrm', value_magic => 1,
161 desc => 'Locale transformation' },
162 tied => { char => 'P', vtable => 'pack',
163 value_magic => 1, # treat as value, so 'local @tied' isn't tied
164 desc => 'Tied array or hash' },
165 tiedelem => { char => 'p', vtable => 'packelem',
166 desc => 'Tied array or hash element' },
167 tiedscalar => { char => 'q', vtable => 'packelem',
168 desc => 'Tied scalar or handle' },
169 qr => { char => 'r', vtable => 'regexp', value_magic => 1,
170 readonly_acceptable => 1, desc => 'Precompiled qr// regex' },
171 sig => { char => 'S', desc => '%SIG hash' },
172 sigelem => { char => 's', vtable => 'sigelem',
173 desc => '%SIG hash element' },
174 taint => { char => 't', vtable => 'taint', value_magic => 1,
175 desc => 'Taintedness' },
176 uvar => { char => 'U', vtable => 'uvar',
177 desc => 'Available for use by extensions' },
178 uvar_elem => { char => 'u', desc => 'Reserved for use by extensions',
179 unknown_to_sv_magic => 1 },
180 vec => { char => 'v', vtable => 'vec', value_magic => 1,
181 desc => 'vec() lvalue' },
182 vstring => { char => 'V', value_magic => 1,
183 desc => 'SV was vstring literal' },
184 utf8 => { char => 'w', vtable => 'utf8', value_magic => 1,
185 desc => 'Cached UTF-8 information' },
186 substr => { char => 'x', vtable => 'substr', value_magic => 1,
187 desc => 'substr() lvalue' },
188 defelem => { char => 'y', vtable => 'defelem', value_magic => 1,
189 desc => "Shadow \"foreach\" iterator variable /\nsmart parameter vivification" },
190 nonelem => { char => 'Y', vtable => 'nonelem', value_magic => 1,
191 desc => "Array element that does not exist" },
192 arylen => { char => '#', vtable => 'arylen', value_magic => 1,
193 desc => 'Array length ($#ary)' },
194 pos => { char => '.', vtable => 'pos', value_magic => 1,
195 desc => 'pos() lvalue' },
196 backref => { char => '<', vtable => 'backref', value_magic => 1,
197 readonly_acceptable => 1, desc => 'For weak ref data' },
198 symtab => { char => ':', value_magic => 1,
199 desc => 'Extra data for symbol tables' },
200 rhash => { char => '%', value_magic => 1,
201 desc => 'Extra data for restricted hashes' },
202 arylen_p => { char => '@', value_magic => 1,
203 desc => 'To move arylen out of XPVAV' },
204 ext => { char => '~', desc => 'Available for use by extensions',
205 readonly_acceptable => 1 },
206 checkcall => { char => ']', value_magic => 1, vtable => 'checkcall',
207 desc => 'Inlining/mutation of call to this CV'},
208 debugvar => { char => '*', desc => '$DB::single, signal, trace vars',
209 vtable => 'debugvar' },
210 lvref => { char => '\\', vtable => 'lvref',
211 desc => "Lvalue reference constructor" },
217 # This hash is mainly concerned with populating the vtable.
218 # (despite the name it has nothing to do with signals!)
220 # These have a subtly different "namespace" from the magic types.
222 # The key is the name, e.g. 'regdata' for PERL_MAGIC_regdata
223 # The keys of the value hash are:
226 # for each entry in the anon array, add
227 # add "#define want_vtbl_$_ want_vtbl_$name"
230 # prefix the vtable with the specified entry (e.g. '#ifdef FOO')
231 # and suffix it with '#else { 0, 0, 0, 0, 0, 0, 0, 0 } #endif'
234 # special-case cast a 'get' function whose signature expects
235 # a pointer to constant magic, so that it can be added to a vtable
236 # which expects pointers to functions without the 'const'.
246 # For each specified method, add a vtable function pointer
247 # of the form "Perl_magic_$sig{foo}{get}" etc
251 'sv' => {get => 'get', set => 'set'},
252 'env' => {set => 'set_all_env', clear => 'clear_all_env'},
253 'envelem' => {set => 'setenv', clear => 'clearenv'},
254 'sigelem' => {get => 'getsig', set => 'setsig', clear => 'clearsig',
255 cond => '#ifndef PERL_MICRO'},
256 'pack' => {len => 'sizepack', clear => 'wipepack'},
257 'packelem' => {get => 'getpack', set => 'setpack', clear => 'clearpack'},
258 'dbline' => {set => 'setdbline'},
259 'isa' => {set => 'setisa', clear => 'clearisa'},
260 'isaelem' => {set => 'setisa'},
261 'arylen' => {get => 'getarylen', set => 'setarylen', const => 1},
262 'arylen_p' => {clear => 'cleararylen_p', free => 'freearylen_p'},
263 'mglob' => {set => 'setmglob'},
264 'nkeys' => {get => 'getnkeys', set => 'setnkeys'},
265 'taint' => {get => 'gettaint', set => 'settaint'},
266 'substr' => {get => 'getsubstr', set => 'setsubstr'},
267 'vec' => {get => 'getvec', set => 'setvec'},
268 'pos' => {get => 'getpos', set => 'setpos'},
269 'uvar' => {get => 'getuvar', set => 'setuvar'},
270 'defelem' => {get => 'getdefelem', set => 'setdefelem'},
271 'nonelem' => {set => 'setnonelem'},
272 'regexp' => {set => 'setregexp', alias => [qw(bm fm)]},
273 'regdata' => {len => 'regdata_cnt'},
274 'regdatum' => {get => 'regdatum_get', set => 'regdatum_set'},
275 'backref' => {free => 'killbackrefs'},
276 'ovrld' => {free => 'freeovrld'},
277 'utf8' => {set => 'setutf8'},
278 'collxfrm' => {set => 'setcollxfrm',
279 cond => '#ifdef USE_LOCALE_COLLATE'},
280 'hintselem' => {set => 'sethint', clear => 'clearhint'},
281 'hints' => {clear => 'clearhints'},
282 'checkcall' => {copy => 'copycallchecker'},
283 'debugvar' => { set => 'setdebugvar', get => 'getdebugvar' },
284 'lvref' => {set => 'setlvref'},
288 # END OF CONFIGURATION DATA
290 # =====================================================================
294 my ($vt, $raw, $names) = map {
296 { by => 'regen/mg_vtable.pl', file => $_, style => '*' });
297 } 'mg_vtable.h', 'mg_raw.h', 'mg_names.inc';
298 my $guts = open_new("pod/perlguts.pod", ">");
301 /* These constants should be used in preference to raw characters
302 * when using magic. Note that some perl guts still assume
303 * certain character properties of these constants, namely that
304 * isUPPER() and toLOWER() may do useful mappings.
309 # Of course, it would be *much* easier if we could output this table directly
310 # here and now. However, for our sins, we try to support EBCDIC, which wouldn't
311 # be *so* bad, except that there are (at least) 3 EBCDIC charset variants, and
312 # they don't agree on the code point for '~'. Which we use. Great.
313 # So we have to get the local build runtime to sort our table in character order
314 # (And of course, just to be helpful, in POSIX BC '~' is \xFF, so we can't even
315 # simplify the C code by assuming that the last element of the array is
323 $longest = length $_ if length $_ > $longest;
326 my $longest_p1 = $longest + 1;
329 while (my ($name, $data) = each %mg) {
330 my $byte = $data->{char};
331 if ($byte =~ /[[:print:]]/) {
332 $data->{r_char} = $byte; # readable char
333 ($data->{c_char} = $byte) =~ s/([\\"])/\\$1/g; # for C strings
336 $data->{c_char} = $data->{r_char} = '\\'.ord $byte;
338 $mg_order{(uc $byte) . $byte} = $name;
343 foreach (sort keys %mg_order) {
344 my $name = $mg_order{$_};
346 my $data = $mg{$name};
347 my $i = ord $data->{char};
349 # add entry to mg_raw.h
351 unless ($data->{unknown_to_sv_magic}) {
352 my $value = $data->{vtable}
353 ? "want_vtbl_$data->{vtable}" : 'magic_vtable_max';
354 $value .= ' | PERL_MAGIC_READONLY_ACCEPTABLE'
355 if $data->{readonly_acceptable};
356 $value .= ' | PERL_MAGIC_VALUE_MAGIC' if $data->{value_magic};
357 my $comment = "/* $name '$data->{r_char}' $data->{desc} */";
358 $comment =~ s/([\\"])/\\$1/g;
359 $comment =~ tr/\n/ /;
360 print $raw qq{ { '$data->{c_char}', "$value",\n "$comment" },\n};
363 # add #define PERL_MAGIC_foo entry to vt_table.h
365 my $comment = $data->{desc};
366 my $leader = ' ' x ($longest + 27);
367 $comment =~ s/\n/\n$leader/s;
368 printf $vt "#define PERL_MAGIC_%-${longest}s '%s' /* %s */\n",
369 $name, $data->{c_char}, $comment;
371 # add entry to mg_names.inc
373 my $char = $data->{r_char};
374 $char =~ s/([\\"])/\\$1/g;
375 printf $names qq[\t{ PERL_MAGIC_%-${longest_p1}s "%s(%s)" },\n],
376 "$name,", $name, $char;
378 # construct perlguts.pod entry
380 push @rows, [(sprintf "%-2s PERL_MAGIC_%s", $data->{r_char},$name),
381 $data->{vtable} ? "vtbl_$data->{vtable}" : '(none)',
385 # output @rows to perlguts.pod
387 select +(select($guts), do {
388 my @header = ('(old-style char and macro)', 'MGVTBL', 'Type of magic');
390 foreach my $row (@rows) {
392 $widths[$_] = length $row->[$_]
393 if length $row->[$_] > $widths[$_];
398 = sprintf "$indent%%-%ds%%-%ds%%s\n", $widths[0] + 1, $widths[1] + 1;
400 79 - 7 - (length $indent) - $widths[0] - $widths[1] - 2;
402 open my $oldguts, "<", "pod/perlguts.pod"
403 or die "$0 cannot open pod/perlguts.pod for reading: $!";
406 last if /^=for mg_vtable.pl begin/
409 print "\n", $indent . "mg_type\n";
410 printf $format, @header;
411 printf $format, map {'-' x length $_} @header;
413 my ($type, $vtbl, $desc) = @$_;
416 if (length $desc > $desc_wrap) {
417 # If it's too long, first split on '(', if there.
418 # [Which, if there, is always short enough, currently.
419 # Make this more robust if that changes]
420 ($desc, @cont) = split /(?=\()/, $desc;
422 ($desc, @cont) = $desc =~ /(.{1,$desc_wrap})(?: |\z)/g
425 printf $format, $type, $vtbl, $desc;
426 printf $format, '', '', $_ foreach @cont;
430 print "=for apidoc Amnh||PERL_MAGIC_$names[0]\n";
431 for (my $i = 1; $i < @names; $i++) {
432 print "=for apidoc_item ||PERL_MAGIC_$_\n";
437 last if /^=for mg_vtable.pl end/;
439 do { print } while <$oldguts>;
444 # Process %sig - everything goes to mg_vtable.h
446 my @names = sort keys %sig;
448 my $want = join ",\n ", (map {"want_vtbl_$_"} @names), 'magic_vtable_max';
449 my $names = join qq{",\n "}, @names;
453 enum { /* pass one of these to get_vtbl */
458 EXTCONST char * const PL_magic_vtable_names[magic_vtable_max] = {
462 EXTCONST char * const PL_magic_vtable_names[magic_vtable_max];
469 /* These all need to be 0, not NULL, as NULL can be (void*)0, which is a
470 * pointer to data, whereas we're assigning pointers to functions, which are
471 * not the same beast. ANSI doesn't allow the assignment from one to the other.
472 * (although most, but not all, compilers are prepared to do it)
487 EXT_MGVTBL PL_magic_vtables[magic_vtable_max] = {
493 while (my $name = shift @names) {
494 my $data = $sig{$name};
495 push @vtable_names, $name;
497 $data->{$_} ? "Perl_magic_$data->{$_}" : 0;
498 } qw(get set len clear free copy dup local);
500 $funcs[0] = "(int (*)(pTHX_ SV *, MAGIC *))" . $funcs[0] if $data->{const};
501 my $funcs = join ", ", @funcs;
503 # Because we can't have a , after the last {...}
504 my $comma = @names ? ',' : '';
506 print $vt "$data->{cond}\n" if $data->{cond};
507 print $vt " { $funcs }$comma\n";
508 print $vt <<"EOH" if $data->{cond};
510 { 0, 0, 0, 0, 0, 0, 0, 0 }$comma
513 foreach(@{$data->{alias}}) {
514 push @aliases, "#define want_vtbl_$_ want_vtbl_$name\n";
515 push @vtable_names, $_;
522 EXT_MGVTBL PL_magic_vtables[magic_vtable_max];
527 print $vt (sort @aliases), "\n";
529 print $vt "#define PL_vtbl_$_ PL_magic_vtables[want_vtbl_$_]\n"
530 foreach sort @vtable_names;
532 # 63, not 64, As we rely on the last possible value to mean "NULL vtable"
533 die "Too many vtable names" if @vtable_names > 63;
535 read_only_bottom_close_and_rename($_) foreach $vt, $raw, $names;
536 close_and_rename($guts);