This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
[asperl] added AS patch#11
[perl5.git] / op.c
CommitLineData
a0d0e21e 1/* op.c
79072805 2 *
9607fc9c 3 * Copyright (c) 1991-1997, Larry Wall
79072805
LW
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 *
a0d0e21e
LW
8 */
9
10/*
11 * "You see: Mr. Drogo, he married poor Miss Primula Brandybuck. She was
12 * our Mr. Bilbo's first cousin on the mother's side (her mother being the
13 * youngest of the Old Took's daughters); and Mr. Drogo was his second
14 * cousin. So Mr. Frodo is his first *and* second cousin, once removed
15 * either way, as the saying is, if you follow me." --the Gaffer
79072805
LW
16 */
17
18#include "EXTERN.h"
19#include "perl.h"
20
76e3520e
GS
21#ifdef PERL_OBJECT
22#define CHECKCALL this->*check
23#else
24#define CHECKCALL *check
25#endif
26
e50aee73 27/*
5dc0d613 28 * In the following definition, the ", Nullop" is just to make the compiler
a5f75d66 29 * think the expression is of the right type: croak actually does a Siglongjmp.
e50aee73 30 */
11343788 31#define CHECKOP(type,o) \
28757baa 32 ((op_mask && op_mask[type]) \
5dc0d613 33 ? ( op_free((OP*)o), \
28757baa 34 croak("%s trapped by operation mask", op_desc[type]), \
35 Nullop ) \
76e3520e 36 : (CHECKCALL[type])((OP*)o))
e50aee73 37
76e3520e
GS
38static bool scalar_mod_type _((OP *o, I32 type));
39#ifndef PERL_OBJECT
11343788 40static I32 list_assignment _((OP *o));
3bc5dc61 41static void bad_type _((I32 n, char *t, char *name, OP *kid));
11343788
MB
42static OP *modkids _((OP *o, I32 type));
43static OP *no_fh_allowed _((OP *o));
44static OP *scalarboolean _((OP *o));
45static OP *too_few_arguments _((OP *o, char* name));
46static OP *too_many_arguments _((OP *o, char* name));
47static void null _((OP* o));
bbce6d69 48static PADOFFSET pad_findlex _((char* name, PADOFFSET newoff, U32 seq,
748a9306 49 CV* startcv, I32 cx_ix));
54b9620d 50static OP *newDEFSVOP _((void));
76e3520e 51#endif
79072805 52
76e3520e 53STATIC char*
8ac85365 54gv_ename(GV *gv)
4633a7c4
LW
55{
56 SV* tmpsv = sv_newmortal();
46fc3d4c 57 gv_efullname3(tmpsv, gv, Nullch);
4633a7c4
LW
58 return SvPV(tmpsv,na);
59}
60
76e3520e 61STATIC OP *
8ac85365 62no_fh_allowed(OP *o)
79072805 63{
46fc3d4c 64 yyerror(form("Missing comma after first argument to %s function",
5196be3e 65 op_desc[o->op_type]));
11343788 66 return o;
79072805
LW
67}
68
76e3520e 69STATIC OP *
8ac85365 70too_few_arguments(OP *o, char *name)
79072805 71{
46fc3d4c 72 yyerror(form("Not enough arguments for %s", name));
11343788 73 return o;
79072805
LW
74}
75
76e3520e 76STATIC OP *
8ac85365 77too_many_arguments(OP *o, char *name)
79072805 78{
46fc3d4c 79 yyerror(form("Too many arguments for %s", name));
11343788 80 return o;
79072805
LW
81}
82
76e3520e 83STATIC void
8ac85365 84bad_type(I32 n, char *t, char *name, OP *kid)
8990e307 85{
46fc3d4c 86 yyerror(form("Type of arg %d to %s must be %s (not %s)",
87 (int)n, name, t, op_desc[kid->op_type]));
8990e307
LW
88}
89
a0d0e21e 90void
8ac85365 91assertref(OP *o)
a0d0e21e 92{
11343788 93 int type = o->op_type;
a0d0e21e 94 if (type != OP_AELEM && type != OP_HELEM) {
46fc3d4c 95 yyerror(form("Can't use subscript on %s", op_desc[type]));
8ebc5c01 96 if (type == OP_ENTERSUB || type == OP_RV2HV || type == OP_PADHV)
748a9306 97 warn("(Did you mean $ or @ instead of %c?)\n",
8ebc5c01 98 type == OP_ENTERSUB ? '&' : '%');
a0d0e21e
LW
99 }
100}
101
79072805
LW
102/* "register" allocation */
103
104PADOFFSET
8ac85365 105pad_allocmy(char *name)
93a17b20 106{
11343788 107 dTHR;
a0d0e21e
LW
108 PADOFFSET off;
109 SV *sv;
110
111 if (!(isALPHA(name[1]) || name[1] == '_' && (int)strlen(name) > 2)) {
46fc3d4c 112 if (!isPRINT(name[1])) {
113 name[3] = '\0';
114 name[2] = toCTRL(name[1]);
115 name[1] = '^';
116 }
a0d0e21e
LW
117 croak("Can't use global %s in \"my\"",name);
118 }
93965878 119 if (dowarn && AvFILLp(comppad_name) >= 0) {
b1cb66bf 120 SV **svp = AvARRAY(comppad_name);
93965878 121 for (off = AvFILLp(comppad_name); off > comppad_name_floor; off--) {
b1cb66bf 122 if ((sv = svp[off])
123 && sv != &sv_undef
124 && SvIVX(sv) == 999999999 /* var is in open scope */
125 && strEQ(name, SvPVX(sv)))
126 {
127 warn("\"my\" variable %s masks earlier declaration in same scope", name);
128 break;
129 }
130 }
131 }
a0d0e21e
LW
132 off = pad_alloc(OP_PADSV, SVs_PADMY);
133 sv = NEWSV(1102,0);
93a17b20
LW
134 sv_upgrade(sv, SVt_PVNV);
135 sv_setpv(sv, name);
c750a3ec
MB
136 if (in_my_stash) {
137 if (*name != '$')
138 croak("Can't declare class for non-scalar %s in \"my\"",name);
139 SvOBJECT_on(sv);
140 (void)SvUPGRADE(sv, SVt_PVMG);
141 SvSTASH(sv) = (HV*)SvREFCNT_inc(in_my_stash);
142 sv_objcount++;
143 }
8990e307 144 av_store(comppad_name, off, sv);
748a9306 145 SvNVX(sv) = (double)999999999;
8990e307
LW
146 SvIVX(sv) = 0; /* Not yet introduced--see newSTATEOP */
147 if (!min_intro_pending)
148 min_intro_pending = off;
149 max_intro_pending = off;
93a17b20 150 if (*name == '@')
463ee0b2 151 av_store(comppad, off, (SV*)newAV());
93a17b20 152 else if (*name == '%')
463ee0b2 153 av_store(comppad, off, (SV*)newHV());
ed6116ce 154 SvPADMY_on(curpad[off]);
93a17b20
LW
155 return off;
156}
157
76e3520e 158STATIC PADOFFSET
bbce6d69 159pad_findlex(char *name, PADOFFSET newoff, U32 seq, CV* startcv, I32 cx_ix)
93a17b20 160{
11343788 161 dTHR;
748a9306 162 CV *cv;
93a17b20
LW
163 I32 off;
164 SV *sv;
93a17b20 165 register I32 i;
c09156bb 166 register PERL_CONTEXT *cx;
a0d0e21e 167 int saweval;
93a17b20 168
748a9306 169 for (cv = startcv; cv; cv = CvOUTSIDE(cv)) {
4fdae800 170 AV *curlist = CvPADLIST(cv);
171 SV **svp = av_fetch(curlist, 0, FALSE);
748a9306 172 AV *curname;
4fdae800 173
748a9306 174 if (!svp || *svp == &sv_undef)
4633a7c4 175 continue;
748a9306
LW
176 curname = (AV*)*svp;
177 svp = AvARRAY(curname);
93965878 178 for (off = AvFILLp(curname); off > 0; off--) {
748a9306
LW
179 if ((sv = svp[off]) &&
180 sv != &sv_undef &&
181 seq <= SvIVX(sv) &&
13826f2c 182 seq > I_32(SvNVX(sv)) &&
748a9306
LW
183 strEQ(SvPVX(sv), name))
184 {
5f05dabc 185 I32 depth;
186 AV *oldpad;
187 SV *oldsv;
188
189 depth = CvDEPTH(cv);
190 if (!depth) {
9607fc9c 191 if (newoff) {
192 if (SvFAKE(sv))
193 continue;
4fdae800 194 return 0; /* don't clone from inactive stack frame */
9607fc9c 195 }
5f05dabc 196 depth = 1;
197 }
198 oldpad = (AV*)*av_fetch(curlist, depth, FALSE);
199 oldsv = *av_fetch(oldpad, off, TRUE);
748a9306 200 if (!newoff) { /* Not a mere clone operation. */
9607fc9c 201 SV *namesv = NEWSV(1103,0);
748a9306 202 newoff = pad_alloc(OP_PADSV, SVs_PADMY);
9607fc9c 203 sv_upgrade(namesv, SVt_PVNV);
204 sv_setpv(namesv, name);
205 av_store(comppad_name, newoff, namesv);
206 SvNVX(namesv) = (double)curcop->cop_seq;
207 SvIVX(namesv) = 999999999; /* A ref, intro immediately */
208 SvFAKE_on(namesv); /* A ref, not a real var */
774d564b 209 if (CvANON(compcv) || SvTYPE(compcv) == SVt_PVFM) {
28757baa 210 /* "It's closures all the way down." */
211 CvCLONE_on(compcv);
54310121 212 if (cv == startcv) {
213 if (CvANON(compcv))
214 oldsv = Nullsv; /* no need to keep ref */
215 }
216 else {
28757baa 217 CV *bcv;
218 for (bcv = startcv;
219 bcv && bcv != cv && !CvCLONE(bcv);
220 bcv = CvOUTSIDE(bcv)) {
221 if (CvANON(bcv))
222 CvCLONE_on(bcv);
223 else {
774d564b 224 if (dowarn && !CvUNIQUE(cv))
44a8e56a 225 warn(
226 "Variable \"%s\" may be unavailable",
28757baa 227 name);
228 break;
229 }
230 }
231 }
232 }
44a8e56a 233 else if (!CvUNIQUE(compcv)) {
9607fc9c 234 if (dowarn && !SvFAKE(sv) && !CvUNIQUE(cv))
44a8e56a 235 warn("Variable \"%s\" will not stay shared", name);
5f05dabc 236 }
748a9306 237 }
199100c8 238 av_store(comppad, newoff, SvREFCNT_inc(oldsv));
748a9306
LW
239 return newoff;
240 }
93a17b20
LW
241 }
242 }
243
244 /* Nothing in current lexical context--try eval's context, if any.
245 * This is necessary to let the perldb get at lexically scoped variables.
246 * XXX This will also probably interact badly with eval tree caching.
247 */
248
a0d0e21e 249 saweval = 0;
748a9306 250 for (i = cx_ix; i >= 0; i--) {
93a17b20
LW
251 cx = &cxstack[i];
252 switch (cx->cx_type) {
253 default:
748a9306
LW
254 if (i == 0 && saweval) {
255 seq = cxstack[saweval].blk_oldcop->cop_seq;
256 return pad_findlex(name, newoff, seq, main_cv, 0);
257 }
93a17b20
LW
258 break;
259 case CXt_EVAL:
44a8e56a 260 switch (cx->blk_eval.old_op_type) {
261 case OP_ENTEREVAL:
262 saweval = i;
263 break;
264 case OP_REQUIRE:
265 /* require must have its own scope */
266 return 0;
267 }
93a17b20
LW
268 break;
269 case CXt_SUB:
270 if (!saweval)
271 return 0;
272 cv = cx->blk_sub.cv;
748a9306
LW
273 if (debstash && CvSTASH(cv) == debstash) { /* ignore DB'* scope */
274 saweval = i; /* so we know where we were called from */
93a17b20 275 continue;
93a17b20 276 }
748a9306
LW
277 seq = cxstack[saweval].blk_oldcop->cop_seq;
278 return pad_findlex(name, newoff, seq, cv, i-1);
93a17b20
LW
279 }
280 }
281
748a9306
LW
282 return 0;
283}
a0d0e21e 284
748a9306 285PADOFFSET
8ac85365 286pad_findmy(char *name)
748a9306 287{
11343788 288 dTHR;
748a9306 289 I32 off;
54310121 290 I32 pendoff = 0;
748a9306
LW
291 SV *sv;
292 SV **svp = AvARRAY(comppad_name);
bbce6d69 293 U32 seq = cop_seqmax;
748a9306 294
11343788
MB
295#ifdef USE_THREADS
296 /*
297 * Special case to get lexical (and hence per-thread) @_.
298 * XXX I need to find out how to tell at parse-time whether use
299 * of @_ should refer to a lexical (from a sub) or defgv (global
300 * scope and maybe weird sub-ish things like formats). See
301 * startsub in perly.y. It's possible that @_ could be lexical
302 * (at least from subs) even in non-threaded perl.
303 */
304 if (strEQ(name, "@_"))
305 return 0; /* success. (NOT_IN_PAD indicates failure) */
306#endif /* USE_THREADS */
307
748a9306 308 /* The one we're looking for is probably just before comppad_name_fill. */
93965878 309 for (off = AvFILLp(comppad_name); off > 0; off--) {
a0d0e21e
LW
310 if ((sv = svp[off]) &&
311 sv != &sv_undef &&
54310121 312 (!SvIVX(sv) ||
313 (seq <= SvIVX(sv) &&
314 seq > I_32(SvNVX(sv)))) &&
a0d0e21e
LW
315 strEQ(SvPVX(sv), name))
316 {
54310121 317 if (SvIVX(sv))
318 return (PADOFFSET)off;
319 pendoff = off; /* this pending def. will override import */
a0d0e21e
LW
320 }
321 }
748a9306
LW
322
323 /* See if it's in a nested scope */
324 off = pad_findlex(name, 0, seq, CvOUTSIDE(compcv), cxstack_ix);
54310121 325 if (off) {
326 /* If there is a pending local definition, this new alias must die */
327 if (pendoff)
328 SvIVX(AvARRAY(comppad_name)[off]) = seq;
11343788 329 return off; /* pad_findlex returns 0 for failure...*/
54310121 330 }
11343788 331 return NOT_IN_PAD; /* ...but we return NOT_IN_PAD for failure */
93a17b20
LW
332}
333
334void
8ac85365 335pad_leavemy(I32 fill)
93a17b20
LW
336{
337 I32 off;
8990e307 338 SV **svp = AvARRAY(comppad_name);
93a17b20 339 SV *sv;
8990e307
LW
340 if (min_intro_pending && fill < min_intro_pending) {
341 for (off = max_intro_pending; off >= min_intro_pending; off--) {
a0d0e21e 342 if ((sv = svp[off]) && sv != &sv_undef)
8990e307
LW
343 warn("%s never introduced", SvPVX(sv));
344 }
345 }
346 /* "Deintroduce" my variables that are leaving with this scope. */
93965878 347 for (off = AvFILLp(comppad_name); off > fill; off--) {
748a9306 348 if ((sv = svp[off]) && sv != &sv_undef && SvIVX(sv) == 999999999)
463ee0b2 349 SvIVX(sv) = cop_seqmax;
93a17b20
LW
350 }
351}
352
353PADOFFSET
8ac85365 354pad_alloc(I32 optype, U32 tmptype)
79072805 355{
11343788 356 dTHR;
79072805
LW
357 SV *sv;
358 I32 retval;
359
360 if (AvARRAY(comppad) != curpad)
463ee0b2 361 croak("panic: pad_alloc");
a0d0e21e
LW
362 if (pad_reset_pending)
363 pad_reset();
ed6116ce 364 if (tmptype & SVs_PADMY) {
79072805 365 do {
93965878 366 sv = *av_fetch(comppad, AvFILLp(comppad) + 1, TRUE);
ed6116ce 367 } while (SvPADBUSY(sv)); /* need a fresh one */
93965878 368 retval = AvFILLp(comppad);
79072805
LW
369 }
370 else {
bbce6d69 371 SV **names = AvARRAY(comppad_name);
93965878 372 SSize_t names_fill = AvFILLp(comppad_name);
bbce6d69 373 for (;;) {
374 /*
375 * "foreach" index vars temporarily become aliases to non-"my"
376 * values. Thus we must skip, not just pad values that are
377 * marked as current pad values, but also those with names.
378 */
379 if (++padix <= names_fill &&
380 (sv = names[padix]) && sv != &sv_undef)
381 continue;
382 sv = *av_fetch(comppad, padix, TRUE);
383 if (!(SvFLAGS(sv) & (SVs_PADTMP|SVs_PADMY)))
384 break;
385 }
79072805
LW
386 retval = padix;
387 }
8990e307 388 SvFLAGS(sv) |= tmptype;
79072805 389 curpad = AvARRAY(comppad);
11343788 390#ifdef USE_THREADS
5dc0d613
MB
391 DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx alloc %ld for %s\n",
392 (unsigned long) thr, (unsigned long) curpad,
393 (long) retval, op_name[optype]));
11343788 394#else
d9bb4600
GS
395 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx alloc %ld for %s\n",
396 (unsigned long) curpad,
5dc0d613 397 (long) retval, op_name[optype]));
11343788 398#endif /* USE_THREADS */
79072805
LW
399 return (PADOFFSET)retval;
400}
401
402SV *
8990e307 403pad_sv(PADOFFSET po)
79072805 404{
11343788
MB
405 dTHR;
406#ifdef USE_THREADS
5dc0d613
MB
407 DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx sv %d\n",
408 (unsigned long) thr, (unsigned long) curpad, po));
11343788 409#else
79072805 410 if (!po)
463ee0b2 411 croak("panic: pad_sv po");
d9bb4600
GS
412 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx sv %d\n",
413 (unsigned long) curpad, po));
11343788 414#endif /* USE_THREADS */
79072805
LW
415 return curpad[po]; /* eventually we'll turn this into a macro */
416}
417
418void
8990e307 419pad_free(PADOFFSET po)
79072805 420{
11343788 421 dTHR;
a0d0e21e
LW
422 if (!curpad)
423 return;
79072805 424 if (AvARRAY(comppad) != curpad)
463ee0b2 425 croak("panic: pad_free curpad");
79072805 426 if (!po)
463ee0b2 427 croak("panic: pad_free po");
11343788 428#ifdef USE_THREADS
5dc0d613
MB
429 DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx free %d\n",
430 (unsigned long) thr, (unsigned long) curpad, po));
11343788 431#else
d9bb4600
GS
432 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx free %d\n",
433 (unsigned long) curpad, po));
11343788 434#endif /* USE_THREADS */
a0d0e21e 435 if (curpad[po] && curpad[po] != &sv_undef)
ed6116ce 436 SvPADTMP_off(curpad[po]);
a0d0e21e 437 if ((I32)po < padix)
79072805
LW
438 padix = po - 1;
439}
440
441void
8990e307 442pad_swipe(PADOFFSET po)
79072805 443{
11343788 444 dTHR;
79072805 445 if (AvARRAY(comppad) != curpad)
463ee0b2 446 croak("panic: pad_swipe curpad");
79072805 447 if (!po)
463ee0b2 448 croak("panic: pad_swipe po");
11343788 449#ifdef USE_THREADS
5dc0d613
MB
450 DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx swipe %d\n",
451 (unsigned long) thr, (unsigned long) curpad, po));
11343788 452#else
d9bb4600
GS
453 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx swipe %d\n",
454 (unsigned long) curpad, po));
11343788 455#endif /* USE_THREADS */
ed6116ce 456 SvPADTMP_off(curpad[po]);
a0d0e21e
LW
457 curpad[po] = NEWSV(1107,0);
458 SvPADTMP_on(curpad[po]);
459 if ((I32)po < padix)
79072805
LW
460 padix = po - 1;
461}
462
d9bb4600
GS
463/* XXX pad_reset() is currently disabled because it results in serious bugs.
464 * It causes pad temp TARGs to be shared between OPs. Since TARGs are pushed
465 * on the stack by OPs that use them, there are several ways to get an alias
466 * to a shared TARG. Such an alias will change randomly and unpredictably.
467 * We avoid doing this until we can think of a Better Way.
468 * GSAR 97-10-29 */
79072805 469void
8ac85365 470pad_reset(void)
79072805 471{
d9bb4600 472#ifdef USE_BROKEN_PAD_RESET
11343788 473 dTHR;
79072805
LW
474 register I32 po;
475
476 if (AvARRAY(comppad) != curpad)
463ee0b2 477 croak("panic: pad_reset curpad");
11343788 478#ifdef USE_THREADS
5dc0d613
MB
479 DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx reset\n",
480 (unsigned long) thr, (unsigned long) curpad));
11343788 481#else
d9bb4600
GS
482 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx reset\n",
483 (unsigned long) curpad));
11343788 484#endif /* USE_THREADS */
748a9306
LW
485 if (!tainting) { /* Can't mix tainted and non-tainted temporaries. */
486 for (po = AvMAX(comppad); po > padix_floor; po--) {
ff0cee69 487 if (curpad[po] && !SvIMMORTAL(curpad[po]))
748a9306
LW
488 SvPADTMP_off(curpad[po]);
489 }
490 padix = padix_floor;
79072805 491 }
d9bb4600 492#endif
a0d0e21e 493 pad_reset_pending = FALSE;
79072805
LW
494}
495
a863c7d1 496#ifdef USE_THREADS
54b9620d 497/* find_threadsv is not reentrant */
a863c7d1 498PADOFFSET
54b9620d 499find_threadsv(char *name)
a863c7d1
MB
500{
501 dTHR;
502 char *p;
503 PADOFFSET key;
554b3eca 504 SV **svp;
54b9620d
MB
505 /* We currently only handle names of a single character */
506 p = strchr(threadsv_names, *name);
a863c7d1
MB
507 if (!p)
508 return NOT_IN_PAD;
54b9620d
MB
509 key = p - threadsv_names;
510 svp = av_fetch(thr->threadsv, key, FALSE);
554b3eca
MB
511 if (!svp) {
512 SV *sv = NEWSV(0, 0);
54b9620d 513 av_store(thr->threadsv, key, sv);
940cb80d 514 thr->threadsvp = AvARRAY(thr->threadsv);
554b3eca
MB
515 /*
516 * Some magic variables used to be automagically initialised
517 * in gv_fetchpv. Those which are now per-thread magicals get
518 * initialised here instead.
519 */
520 switch (*name) {
54b9620d
MB
521 case '_':
522 break;
554b3eca
MB
523 case ';':
524 sv_setpv(sv, "\034");
54b9620d 525 sv_magic(sv, 0, 0, name, 1);
554b3eca 526 break;
c277df42
IZ
527 case '&':
528 case '`':
529 case '\'':
530 sawampersand = TRUE;
531 SvREADONLY_on(sv);
d8b5173a 532 /* FALL THROUGH */
54b9620d
MB
533 default:
534 sv_magic(sv, 0, 0, name, 1);
554b3eca 535 }
a863c7d1 536 DEBUG_L(PerlIO_printf(PerlIO_stderr(),
54b9620d 537 "find_threadsv: new SV %p for $%s%c\n",
554b3eca
MB
538 sv, (*name < 32) ? "^" : "",
539 (*name < 32) ? toCTRL(*name) : *name));
a863c7d1
MB
540 }
541 return key;
542}
543#endif /* USE_THREADS */
544
79072805
LW
545/* Destructor */
546
547void
8ac85365 548op_free(OP *o)
79072805 549{
85e6fe83 550 register OP *kid, *nextkid;
79072805 551
5dc0d613 552 if (!o || o->op_seq == (U16)-1)
79072805
LW
553 return;
554
11343788
MB
555 if (o->op_flags & OPf_KIDS) {
556 for (kid = cUNOPo->op_first; kid; kid = nextkid) {
85e6fe83 557 nextkid = kid->op_sibling; /* Get before next freeing kid */
79072805 558 op_free(kid);
85e6fe83 559 }
79072805
LW
560 }
561
11343788 562 switch (o->op_type) {
8990e307 563 case OP_NULL:
11343788 564 o->op_targ = 0; /* Was holding old type, if any. */
8990e307 565 break;
a0d0e21e 566 case OP_ENTEREVAL:
11343788 567 o->op_targ = 0; /* Was holding hints. */
a0d0e21e 568 break;
554b3eca 569#ifdef USE_THREADS
2faa37cc 570 case OP_THREADSV:
54b9620d 571 o->op_targ = 0; /* Was holding index into thr->threadsv AV. */
554b3eca
MB
572 break;
573#endif /* USE_THREADS */
a6006777 574 default:
5196be3e 575 if (!(o->op_flags & OPf_REF) || (check[o->op_type] != ck_ftst))
a6006777 576 break;
577 /* FALL THROUGH */
463ee0b2 578 case OP_GVSV:
79072805 579 case OP_GV:
a6006777 580 case OP_AELEMFAST:
11343788 581 SvREFCNT_dec(cGVOPo->op_gv);
8990e307
LW
582 break;
583 case OP_NEXTSTATE:
584 case OP_DBSTATE:
5196be3e 585 Safefree(cCOPo->cop_label);
11343788 586 SvREFCNT_dec(cCOPo->cop_filegv);
79072805
LW
587 break;
588 case OP_CONST:
11343788 589 SvREFCNT_dec(cSVOPo->op_sv);
79072805 590 break;
748a9306
LW
591 case OP_GOTO:
592 case OP_NEXT:
593 case OP_LAST:
594 case OP_REDO:
11343788 595 if (o->op_flags & (OPf_SPECIAL|OPf_STACKED|OPf_KIDS))
748a9306
LW
596 break;
597 /* FALL THROUGH */
a0d0e21e 598 case OP_TRANS:
11343788 599 Safefree(cPVOPo->op_pv);
a0d0e21e
LW
600 break;
601 case OP_SUBST:
11343788 602 op_free(cPMOPo->op_pmreplroot);
a0d0e21e 603 /* FALL THROUGH */
748a9306 604 case OP_PUSHRE:
a0d0e21e 605 case OP_MATCH:
c277df42 606 ReREFCNT_dec(cPMOPo->op_pmregexp);
a0d0e21e 607 break;
79072805
LW
608 }
609
11343788
MB
610 if (o->op_targ > 0)
611 pad_free(o->op_targ);
8990e307 612
11343788 613 Safefree(o);
79072805
LW
614}
615
76e3520e 616STATIC void
8ac85365 617null(OP *o)
8990e307 618{
54b9620d 619 if (o->op_type != OP_NULL && o->op_type != OP_THREADSV && o->op_targ > 0)
11343788
MB
620 pad_free(o->op_targ);
621 o->op_targ = o->op_type;
622 o->op_type = OP_NULL;
623 o->op_ppaddr = ppaddr[OP_NULL];
8990e307
LW
624}
625
79072805
LW
626/* Contextualizers */
627
463ee0b2 628#define LINKLIST(o) ((o)->op_next ? (o)->op_next : linklist((OP*)o))
79072805
LW
629
630OP *
8ac85365 631linklist(OP *o)
79072805
LW
632{
633 register OP *kid;
634
11343788
MB
635 if (o->op_next)
636 return o->op_next;
79072805
LW
637
638 /* establish postfix order */
11343788
MB
639 if (cUNOPo->op_first) {
640 o->op_next = LINKLIST(cUNOPo->op_first);
641 for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling) {
79072805
LW
642 if (kid->op_sibling)
643 kid->op_next = LINKLIST(kid->op_sibling);
644 else
11343788 645 kid->op_next = o;
79072805
LW
646 }
647 }
648 else
11343788 649 o->op_next = o;
79072805 650
11343788 651 return o->op_next;
79072805
LW
652}
653
654OP *
8ac85365 655scalarkids(OP *o)
79072805
LW
656{
657 OP *kid;
11343788
MB
658 if (o && o->op_flags & OPf_KIDS) {
659 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
79072805
LW
660 scalar(kid);
661 }
11343788 662 return o;
79072805
LW
663}
664
76e3520e 665STATIC OP *
8ac85365 666scalarboolean(OP *o)
8990e307
LW
667{
668 if (dowarn &&
11343788 669 o->op_type == OP_SASSIGN && cBINOPo->op_first->op_type == OP_CONST) {
0f15f207 670 dTHR;
a0d0e21e
LW
671 line_t oldline = curcop->cop_line;
672
673 if (copline != NOLINE)
674 curcop->cop_line = copline;
675 warn("Found = in conditional, should be ==");
676 curcop->cop_line = oldline;
677 }
11343788 678 return scalar(o);
8990e307
LW
679}
680
681OP *
8ac85365 682scalar(OP *o)
79072805
LW
683{
684 OP *kid;
685
a0d0e21e 686 /* assumes no premature commitment */
5dc0d613
MB
687 if (!o || (o->op_flags & OPf_WANT) || error_count
688 || o->op_type == OP_RETURN)
11343788 689 return o;
79072805 690
5dc0d613 691 o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_SCALAR;
79072805 692
11343788 693 switch (o->op_type) {
79072805 694 case OP_REPEAT:
11343788
MB
695 if (o->op_private & OPpREPEAT_DOLIST)
696 null(((LISTOP*)cBINOPo->op_first)->op_first);
697 scalar(cBINOPo->op_first);
8990e307 698 break;
79072805
LW
699 case OP_OR:
700 case OP_AND:
701 case OP_COND_EXPR:
11343788 702 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
8990e307 703 scalar(kid);
79072805 704 break;
a0d0e21e 705 case OP_SPLIT:
11343788 706 if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
a0d0e21e
LW
707 if (!kPMOP->op_pmreplroot)
708 deprecate("implicit split to @_");
709 }
710 /* FALL THROUGH */
79072805
LW
711 case OP_MATCH:
712 case OP_SUBST:
713 case OP_NULL:
8990e307 714 default:
11343788
MB
715 if (o->op_flags & OPf_KIDS) {
716 for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling)
8990e307
LW
717 scalar(kid);
718 }
79072805
LW
719 break;
720 case OP_LEAVE:
721 case OP_LEAVETRY:
5dc0d613 722 kid = cLISTOPo->op_first;
54310121 723 scalar(kid);
724 while (kid = kid->op_sibling) {
725 if (kid->op_sibling)
726 scalarvoid(kid);
727 else
728 scalar(kid);
729 }
0f15f207 730 WITH_THR(curcop = &compiling);
54310121 731 break;
748a9306 732 case OP_SCOPE:
79072805 733 case OP_LINESEQ:
8990e307 734 case OP_LIST:
11343788 735 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
79072805
LW
736 if (kid->op_sibling)
737 scalarvoid(kid);
738 else
739 scalar(kid);
740 }
0f15f207 741 WITH_THR(curcop = &compiling);
79072805
LW
742 break;
743 }
11343788 744 return o;
79072805
LW
745}
746
747OP *
8ac85365 748scalarvoid(OP *o)
79072805
LW
749{
750 OP *kid;
8990e307
LW
751 char* useless = 0;
752 SV* sv;
79072805 753
54310121 754 /* assumes no premature commitment */
5dc0d613
MB
755 if (!o || (o->op_flags & OPf_WANT) == OPf_WANT_LIST || error_count
756 || o->op_type == OP_RETURN)
11343788 757 return o;
79072805 758
5dc0d613 759 o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_VOID;
79072805 760
11343788 761 switch (o->op_type) {
79072805 762 default:
11343788 763 if (!(opargs[o->op_type] & OA_FOLDCONST))
8990e307 764 break;
36477c24 765 /* FALL THROUGH */
766 case OP_REPEAT:
11343788 767 if (o->op_flags & OPf_STACKED)
8990e307
LW
768 break;
769 /* FALL THROUGH */
770 case OP_GVSV:
771 case OP_WANTARRAY:
772 case OP_GV:
773 case OP_PADSV:
774 case OP_PADAV:
775 case OP_PADHV:
776 case OP_PADANY:
777 case OP_AV2ARYLEN:
8990e307 778 case OP_REF:
a0d0e21e
LW
779 case OP_REFGEN:
780 case OP_SREFGEN:
8990e307
LW
781 case OP_DEFINED:
782 case OP_HEX:
783 case OP_OCT:
784 case OP_LENGTH:
785 case OP_SUBSTR:
786 case OP_VEC:
787 case OP_INDEX:
788 case OP_RINDEX:
789 case OP_SPRINTF:
790 case OP_AELEM:
791 case OP_AELEMFAST:
792 case OP_ASLICE:
8990e307
LW
793 case OP_HELEM:
794 case OP_HSLICE:
795 case OP_UNPACK:
796 case OP_PACK:
8990e307
LW
797 case OP_JOIN:
798 case OP_LSLICE:
799 case OP_ANONLIST:
800 case OP_ANONHASH:
801 case OP_SORT:
802 case OP_REVERSE:
803 case OP_RANGE:
804 case OP_FLIP:
805 case OP_FLOP:
806 case OP_CALLER:
807 case OP_FILENO:
808 case OP_EOF:
809 case OP_TELL:
810 case OP_GETSOCKNAME:
811 case OP_GETPEERNAME:
812 case OP_READLINK:
813 case OP_TELLDIR:
814 case OP_GETPPID:
815 case OP_GETPGRP:
816 case OP_GETPRIORITY:
817 case OP_TIME:
818 case OP_TMS:
819 case OP_LOCALTIME:
820 case OP_GMTIME:
821 case OP_GHBYNAME:
822 case OP_GHBYADDR:
823 case OP_GHOSTENT:
824 case OP_GNBYNAME:
825 case OP_GNBYADDR:
826 case OP_GNETENT:
827 case OP_GPBYNAME:
828 case OP_GPBYNUMBER:
829 case OP_GPROTOENT:
830 case OP_GSBYNAME:
831 case OP_GSBYPORT:
832 case OP_GSERVENT:
833 case OP_GPWNAM:
834 case OP_GPWUID:
835 case OP_GGRNAM:
836 case OP_GGRGID:
837 case OP_GETLOGIN:
11343788
MB
838 if (!(o->op_private & OPpLVAL_INTRO))
839 useless = op_desc[o->op_type];
8990e307
LW
840 break;
841
842 case OP_RV2GV:
843 case OP_RV2SV:
844 case OP_RV2AV:
845 case OP_RV2HV:
11343788
MB
846 if (!(o->op_private & OPpLVAL_INTRO) &&
847 (!o->op_sibling || o->op_sibling->op_type != OP_READLINE))
8990e307
LW
848 useless = "a variable";
849 break;
79072805 850
93a17b20 851 case OP_NEXTSTATE:
8990e307 852 case OP_DBSTATE:
0f15f207 853 WITH_THR(curcop = ((COP*)o)); /* for warning below */
93a17b20
LW
854 break;
855
79072805 856 case OP_CONST:
11343788 857 sv = cSVOPo->op_sv;
8990e307
LW
858 if (dowarn) {
859 useless = "a constant";
860 if (SvNIOK(sv) && (SvNV(sv) == 0.0 || SvNV(sv) == 1.0))
861 useless = 0;
862 else if (SvPOK(sv)) {
863 if (strnEQ(SvPVX(sv), "di", 2) ||
a0d0e21e 864 strnEQ(SvPVX(sv), "ds", 2) ||
8990e307
LW
865 strnEQ(SvPVX(sv), "ig", 2))
866 useless = 0;
867 }
868 }
11343788 869 null(o); /* don't execute a constant */
8990e307 870 SvREFCNT_dec(sv); /* don't even remember it */
79072805
LW
871 break;
872
873 case OP_POSTINC:
11343788
MB
874 o->op_type = OP_PREINC; /* pre-increment is faster */
875 o->op_ppaddr = ppaddr[OP_PREINC];
79072805
LW
876 break;
877
878 case OP_POSTDEC:
11343788
MB
879 o->op_type = OP_PREDEC; /* pre-decrement is faster */
880 o->op_ppaddr = ppaddr[OP_PREDEC];
79072805
LW
881 break;
882
79072805
LW
883 case OP_OR:
884 case OP_AND:
885 case OP_COND_EXPR:
11343788 886 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
79072805
LW
887 scalarvoid(kid);
888 break;
5aabfad6 889
a0d0e21e 890 case OP_NULL:
11343788 891 if (o->op_targ == OP_NEXTSTATE || o->op_targ == OP_DBSTATE)
0f15f207 892 WITH_THR(curcop = ((COP*)o)); /* for warning below */
11343788 893 if (o->op_flags & OPf_STACKED)
a0d0e21e 894 break;
5aabfad6 895 /* FALL THROUGH */
79072805
LW
896 case OP_ENTERTRY:
897 case OP_ENTER:
898 case OP_SCALAR:
11343788 899 if (!(o->op_flags & OPf_KIDS))
79072805 900 break;
54310121 901 /* FALL THROUGH */
463ee0b2 902 case OP_SCOPE:
79072805
LW
903 case OP_LEAVE:
904 case OP_LEAVETRY:
a0d0e21e 905 case OP_LEAVELOOP:
79072805 906 case OP_LINESEQ:
79072805 907 case OP_LIST:
11343788 908 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
79072805
LW
909 scalarvoid(kid);
910 break;
c90c0ff4 911 case OP_ENTEREVAL:
5196be3e 912 scalarkids(o);
c90c0ff4 913 break;
5aabfad6 914 case OP_REQUIRE:
c90c0ff4 915 /* all requires must return a boolean value */
5196be3e
MB
916 o->op_flags &= ~OPf_WANT;
917 return scalar(o);
a0d0e21e 918 case OP_SPLIT:
11343788 919 if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
a0d0e21e
LW
920 if (!kPMOP->op_pmreplroot)
921 deprecate("implicit split to @_");
922 }
923 break;
79072805 924 }
8990e307
LW
925 if (useless && dowarn)
926 warn("Useless use of %s in void context", useless);
11343788 927 return o;
79072805
LW
928}
929
930OP *
8ac85365 931listkids(OP *o)
79072805
LW
932{
933 OP *kid;
11343788
MB
934 if (o && o->op_flags & OPf_KIDS) {
935 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
79072805
LW
936 list(kid);
937 }
11343788 938 return o;
79072805
LW
939}
940
941OP *
8ac85365 942list(OP *o)
79072805
LW
943{
944 OP *kid;
945
a0d0e21e 946 /* assumes no premature commitment */
5dc0d613
MB
947 if (!o || (o->op_flags & OPf_WANT) || error_count
948 || o->op_type == OP_RETURN)
11343788 949 return o;
79072805 950
5dc0d613 951 o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_LIST;
79072805 952
11343788 953 switch (o->op_type) {
79072805
LW
954 case OP_FLOP:
955 case OP_REPEAT:
11343788 956 list(cBINOPo->op_first);
79072805
LW
957 break;
958 case OP_OR:
959 case OP_AND:
960 case OP_COND_EXPR:
11343788 961 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
79072805
LW
962 list(kid);
963 break;
964 default:
965 case OP_MATCH:
966 case OP_SUBST:
967 case OP_NULL:
11343788 968 if (!(o->op_flags & OPf_KIDS))
79072805 969 break;
11343788
MB
970 if (!o->op_next && cUNOPo->op_first->op_type == OP_FLOP) {
971 list(cBINOPo->op_first);
972 return gen_constant_list(o);
79072805
LW
973 }
974 case OP_LIST:
11343788 975 listkids(o);
79072805
LW
976 break;
977 case OP_LEAVE:
978 case OP_LEAVETRY:
5dc0d613 979 kid = cLISTOPo->op_first;
54310121 980 list(kid);
981 while (kid = kid->op_sibling) {
982 if (kid->op_sibling)
983 scalarvoid(kid);
984 else
985 list(kid);
986 }
0f15f207 987 WITH_THR(curcop = &compiling);
54310121 988 break;
748a9306 989 case OP_SCOPE:
79072805 990 case OP_LINESEQ:
11343788 991 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
79072805
LW
992 if (kid->op_sibling)
993 scalarvoid(kid);
994 else
995 list(kid);
996 }
0f15f207 997 WITH_THR(curcop = &compiling);
79072805 998 break;
c90c0ff4 999 case OP_REQUIRE:
1000 /* all requires must return a boolean value */
5196be3e
MB
1001 o->op_flags &= ~OPf_WANT;
1002 return scalar(o);
79072805 1003 }
11343788 1004 return o;
79072805
LW
1005}
1006
1007OP *
8ac85365 1008scalarseq(OP *o)
79072805
LW
1009{
1010 OP *kid;
1011
11343788
MB
1012 if (o) {
1013 if (o->op_type == OP_LINESEQ ||
1014 o->op_type == OP_SCOPE ||
1015 o->op_type == OP_LEAVE ||
1016 o->op_type == OP_LEAVETRY)
463ee0b2 1017 {
0f15f207 1018 dTHR;
11343788 1019 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
ed6116ce 1020 if (kid->op_sibling) {
463ee0b2 1021 scalarvoid(kid);
ed6116ce 1022 }
463ee0b2
LW
1023 }
1024 curcop = &compiling;
79072805 1025 }
11343788 1026 o->op_flags &= ~OPf_PARENS;
85e6fe83 1027 if (hints & HINT_BLOCK_SCOPE)
11343788 1028 o->op_flags |= OPf_PARENS;
79072805 1029 }
8990e307 1030 else
11343788
MB
1031 o = newOP(OP_STUB, 0);
1032 return o;
79072805
LW
1033}
1034
76e3520e 1035STATIC OP *
8ac85365 1036modkids(OP *o, I32 type)
79072805
LW
1037{
1038 OP *kid;
11343788
MB
1039 if (o && o->op_flags & OPf_KIDS) {
1040 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
463ee0b2 1041 mod(kid, type);
79072805 1042 }
11343788 1043 return o;
79072805
LW
1044}
1045
79072805 1046OP *
8ac85365 1047mod(OP *o, I32 type)
79072805 1048{
11343788 1049 dTHR;
79072805
LW
1050 OP *kid;
1051 SV *sv;
1052
11343788
MB
1053 if (!o || error_count)
1054 return o;
79072805 1055
11343788 1056 switch (o->op_type) {
68dc0745 1057 case OP_UNDEF:
3e3baf6d 1058 modcount++;
5dc0d613 1059 return o;
a0d0e21e 1060 case OP_CONST:
11343788 1061 if (!(o->op_private & (OPpCONST_ARYBASE)))
a0d0e21e
LW
1062 goto nomod;
1063 if (eval_start && eval_start->op_type == OP_CONST) {
1064 compiling.cop_arybase = (I32)SvIV(((SVOP*)eval_start)->op_sv);
1065 eval_start = 0;
1066 }
1067 else if (!type) {
1068 SAVEI32(compiling.cop_arybase);
748a9306 1069 compiling.cop_arybase = 0;
a0d0e21e
LW
1070 }
1071 else if (type == OP_REFGEN)
1072 goto nomod;
1073 else
1074 croak("That use of $[ is unsupported");
1075 break;
5f05dabc 1076 case OP_STUB:
5196be3e 1077 if (o->op_flags & OPf_PARENS)
5f05dabc 1078 break;
1079 goto nomod;
a0d0e21e
LW
1080 case OP_ENTERSUB:
1081 if ((type == OP_UNDEF || type == OP_REFGEN) &&
11343788
MB
1082 !(o->op_flags & OPf_STACKED)) {
1083 o->op_type = OP_RV2CV; /* entersub => rv2cv */
1084 o->op_ppaddr = ppaddr[OP_RV2CV];
1085 assert(cUNOPo->op_first->op_type == OP_NULL);
1086 null(((LISTOP*)cUNOPo->op_first)->op_first);/* disable pushmark */
79072805
LW
1087 break;
1088 }
1089 /* FALL THROUGH */
1090 default:
a0d0e21e
LW
1091 nomod:
1092 /* grep, foreach, subcalls, refgen */
1093 if (type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN)
1094 break;
46fc3d4c 1095 yyerror(form("Can't modify %s in %s",
5dc0d613 1096 op_desc[o->op_type],
46fc3d4c 1097 type ? op_desc[type] : "local"));
11343788 1098 return o;
79072805 1099
a0d0e21e
LW
1100 case OP_PREINC:
1101 case OP_PREDEC:
1102 case OP_POW:
1103 case OP_MULTIPLY:
1104 case OP_DIVIDE:
1105 case OP_MODULO:
1106 case OP_REPEAT:
1107 case OP_ADD:
1108 case OP_SUBTRACT:
1109 case OP_CONCAT:
1110 case OP_LEFT_SHIFT:
1111 case OP_RIGHT_SHIFT:
1112 case OP_BIT_AND:
1113 case OP_BIT_XOR:
1114 case OP_BIT_OR:
1115 case OP_I_MULTIPLY:
1116 case OP_I_DIVIDE:
1117 case OP_I_MODULO:
1118 case OP_I_ADD:
1119 case OP_I_SUBTRACT:
11343788 1120 if (!(o->op_flags & OPf_STACKED))
a0d0e21e
LW
1121 goto nomod;
1122 modcount++;
1123 break;
1124
79072805 1125 case OP_COND_EXPR:
11343788 1126 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
463ee0b2 1127 mod(kid, type);
79072805
LW
1128 break;
1129
1130 case OP_RV2AV:
1131 case OP_RV2HV:
93af7a87 1132 if (!type && cUNOPo->op_first->op_type != OP_GV)
706a304b 1133 croak("Can't localize through a reference");
11343788 1134 if (type == OP_REFGEN && o->op_flags & OPf_PARENS) {
748a9306 1135 modcount = 10000;
11343788 1136 return o; /* Treat \(@foo) like ordinary list. */
748a9306
LW
1137 }
1138 /* FALL THROUGH */
79072805 1139 case OP_RV2GV:
5dc0d613 1140 if (scalar_mod_type(o, type))
3fe9a6f1 1141 goto nomod;
11343788 1142 ref(cUNOPo->op_first, o->op_type);
79072805
LW
1143 /* FALL THROUGH */
1144 case OP_AASSIGN:
1145 case OP_ASLICE:
1146 case OP_HSLICE:
93a17b20
LW
1147 case OP_NEXTSTATE:
1148 case OP_DBSTATE:
a0d0e21e
LW
1149 case OP_REFGEN:
1150 case OP_CHOMP:
463ee0b2 1151 modcount = 10000;
79072805 1152 break;
463ee0b2 1153 case OP_RV2SV:
11343788 1154 if (!type && cUNOPo->op_first->op_type != OP_GV)
706a304b 1155 croak("Can't localize through a reference");
aeea060c 1156 ref(cUNOPo->op_first, o->op_type);
463ee0b2 1157 /* FALL THROUGH */
79072805 1158 case OP_GV:
463ee0b2 1159 case OP_AV2ARYLEN:
85aff577 1160 hints |= HINT_BLOCK_SCOPE;
463ee0b2 1161 case OP_SASSIGN:
8990e307
LW
1162 case OP_AELEMFAST:
1163 modcount++;
1164 break;
1165
748a9306
LW
1166 case OP_PADAV:
1167 case OP_PADHV:
1168 modcount = 10000;
5196be3e
MB
1169 if (type == OP_REFGEN && o->op_flags & OPf_PARENS)
1170 return o; /* Treat \(@foo) like ordinary list. */
1171 if (scalar_mod_type(o, type))
3fe9a6f1 1172 goto nomod;
748a9306
LW
1173 /* FALL THROUGH */
1174 case OP_PADSV:
1175 modcount++;
1176 if (!type)
1177 croak("Can't localize lexical variable %s",
11343788 1178 SvPV(*av_fetch(comppad_name, o->op_targ, 4), na));
463ee0b2
LW
1179 break;
1180
554b3eca 1181#ifdef USE_THREADS
2faa37cc 1182 case OP_THREADSV:
554b3eca 1183 modcount++; /* XXX ??? */
554b3eca
MB
1184 break;
1185#endif /* USE_THREADS */
1186
748a9306
LW
1187 case OP_PUSHMARK:
1188 break;
a0d0e21e 1189
69969c6f
SB
1190 case OP_KEYS:
1191 if (type != OP_SASSIGN)
1192 goto nomod;
5f05dabc 1193 /* FALL THROUGH */
a0d0e21e 1194 case OP_POS:
463ee0b2 1195 case OP_VEC:
a0d0e21e 1196 case OP_SUBSTR:
11343788
MB
1197 pad_free(o->op_targ);
1198 o->op_targ = pad_alloc(o->op_type, SVs_PADMY);
5dc0d613 1199 assert(SvTYPE(PAD_SV(o->op_targ)) == SVt_NULL);
11343788
MB
1200 if (o->op_flags & OPf_KIDS)
1201 mod(cBINOPo->op_first->op_sibling, type);
463ee0b2 1202 break;
a0d0e21e 1203
463ee0b2
LW
1204 case OP_AELEM:
1205 case OP_HELEM:
11343788 1206 ref(cBINOPo->op_first, o->op_type);
68dc0745 1207 if (type == OP_ENTERSUB &&
5dc0d613
MB
1208 !(o->op_private & (OPpLVAL_INTRO | OPpDEREF)))
1209 o->op_private |= OPpLVAL_DEFER;
a0d0e21e 1210 modcount++;
463ee0b2
LW
1211 break;
1212
1213 case OP_SCOPE:
1214 case OP_LEAVE:
1215 case OP_ENTER:
11343788
MB
1216 if (o->op_flags & OPf_KIDS)
1217 mod(cLISTOPo->op_last, type);
a0d0e21e
LW
1218 break;
1219
1220 case OP_NULL:
11343788 1221 if (!(o->op_flags & OPf_KIDS))
463ee0b2 1222 break;
11343788
MB
1223 if (o->op_targ != OP_LIST) {
1224 mod(cBINOPo->op_first, type);
a0d0e21e
LW
1225 break;
1226 }
1227 /* FALL THROUGH */
463ee0b2 1228 case OP_LIST:
11343788 1229 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
463ee0b2
LW
1230 mod(kid, type);
1231 break;
1232 }
11343788 1233 o->op_flags |= OPf_MOD;
a0d0e21e
LW
1234
1235 if (type == OP_AASSIGN || type == OP_SASSIGN)
11343788 1236 o->op_flags |= OPf_SPECIAL|OPf_REF;
a0d0e21e 1237 else if (!type) {
11343788
MB
1238 o->op_private |= OPpLVAL_INTRO;
1239 o->op_flags &= ~OPf_SPECIAL;
463ee0b2 1240 }
a0d0e21e 1241 else if (type != OP_GREPSTART && type != OP_ENTERSUB)
11343788
MB
1242 o->op_flags |= OPf_REF;
1243 return o;
463ee0b2
LW
1244}
1245
3fe9a6f1 1246static bool
8ac85365 1247scalar_mod_type(OP *o, I32 type)
3fe9a6f1 1248{
1249 switch (type) {
1250 case OP_SASSIGN:
5196be3e 1251 if (o->op_type == OP_RV2GV)
3fe9a6f1 1252 return FALSE;
1253 /* FALL THROUGH */
1254 case OP_PREINC:
1255 case OP_PREDEC:
1256 case OP_POSTINC:
1257 case OP_POSTDEC:
1258 case OP_I_PREINC:
1259 case OP_I_PREDEC:
1260 case OP_I_POSTINC:
1261 case OP_I_POSTDEC:
1262 case OP_POW:
1263 case OP_MULTIPLY:
1264 case OP_DIVIDE:
1265 case OP_MODULO:
1266 case OP_REPEAT:
1267 case OP_ADD:
1268 case OP_SUBTRACT:
1269 case OP_I_MULTIPLY:
1270 case OP_I_DIVIDE:
1271 case OP_I_MODULO:
1272 case OP_I_ADD:
1273 case OP_I_SUBTRACT:
1274 case OP_LEFT_SHIFT:
1275 case OP_RIGHT_SHIFT:
1276 case OP_BIT_AND:
1277 case OP_BIT_XOR:
1278 case OP_BIT_OR:
1279 case OP_CONCAT:
1280 case OP_SUBST:
1281 case OP_TRANS:
1282 case OP_ANDASSIGN: /* may work later */
1283 case OP_ORASSIGN: /* may work later */
1284 return TRUE;
1285 default:
1286 return FALSE;
1287 }
1288}
1289
463ee0b2 1290OP *
8ac85365 1291refkids(OP *o, I32 type)
463ee0b2
LW
1292{
1293 OP *kid;
11343788
MB
1294 if (o && o->op_flags & OPf_KIDS) {
1295 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
463ee0b2
LW
1296 ref(kid, type);
1297 }
11343788 1298 return o;
463ee0b2
LW
1299}
1300
1301OP *
8ac85365 1302ref(OP *o, I32 type)
463ee0b2
LW
1303{
1304 OP *kid;
463ee0b2 1305
11343788
MB
1306 if (!o || error_count)
1307 return o;
463ee0b2 1308
11343788 1309 switch (o->op_type) {
a0d0e21e 1310 case OP_ENTERSUB:
e55aaa0e 1311 if ((type == OP_DEFINED || type == OP_LOCK) &&
11343788
MB
1312 !(o->op_flags & OPf_STACKED)) {
1313 o->op_type = OP_RV2CV; /* entersub => rv2cv */
1314 o->op_ppaddr = ppaddr[OP_RV2CV];
1315 assert(cUNOPo->op_first->op_type == OP_NULL);
1316 null(((LISTOP*)cUNOPo->op_first)->op_first); /* disable pushmark */
1317 o->op_flags |= OPf_SPECIAL;
8990e307
LW
1318 }
1319 break;
aeea060c 1320
463ee0b2 1321 case OP_COND_EXPR:
11343788 1322 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
463ee0b2
LW
1323 ref(kid, type);
1324 break;
8990e307 1325 case OP_RV2SV:
11343788 1326 ref(cUNOPo->op_first, o->op_type);
4633a7c4
LW
1327 /* FALL THROUGH */
1328 case OP_PADSV:
5f05dabc 1329 if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
5dc0d613
MB
1330 o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1331 : type == OP_RV2HV ? OPpDEREF_HV
1332 : OPpDEREF_SV);
11343788 1333 o->op_flags |= OPf_MOD;
a0d0e21e 1334 }
8990e307
LW
1335 break;
1336
2faa37cc 1337 case OP_THREADSV:
a863c7d1
MB
1338 o->op_flags |= OPf_MOD; /* XXX ??? */
1339 break;
1340
463ee0b2
LW
1341 case OP_RV2AV:
1342 case OP_RV2HV:
aeea060c 1343 o->op_flags |= OPf_REF;
8990e307 1344 /* FALL THROUGH */
463ee0b2 1345 case OP_RV2GV:
11343788 1346 ref(cUNOPo->op_first, o->op_type);
463ee0b2 1347 break;
8990e307 1348
463ee0b2
LW
1349 case OP_PADAV:
1350 case OP_PADHV:
aeea060c 1351 o->op_flags |= OPf_REF;
79072805 1352 break;
aeea060c 1353
8990e307 1354 case OP_SCALAR:
79072805 1355 case OP_NULL:
11343788 1356 if (!(o->op_flags & OPf_KIDS))
463ee0b2 1357 break;
11343788 1358 ref(cBINOPo->op_first, type);
79072805
LW
1359 break;
1360 case OP_AELEM:
1361 case OP_HELEM:
11343788 1362 ref(cBINOPo->op_first, o->op_type);
5f05dabc 1363 if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
5dc0d613
MB
1364 o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1365 : type == OP_RV2HV ? OPpDEREF_HV
1366 : OPpDEREF_SV);
11343788 1367 o->op_flags |= OPf_MOD;
8990e307 1368 }
79072805
LW
1369 break;
1370
463ee0b2 1371 case OP_SCOPE:
79072805
LW
1372 case OP_LEAVE:
1373 case OP_ENTER:
8990e307 1374 case OP_LIST:
11343788 1375 if (!(o->op_flags & OPf_KIDS))
79072805 1376 break;
11343788 1377 ref(cLISTOPo->op_last, type);
79072805 1378 break;
a0d0e21e
LW
1379 default:
1380 break;
79072805 1381 }
11343788 1382 return scalar(o);
8990e307 1383
79072805
LW
1384}
1385
1386OP *
8ac85365 1387my(OP *o)
93a17b20
LW
1388{
1389 OP *kid;
93a17b20
LW
1390 I32 type;
1391
11343788
MB
1392 if (!o || error_count)
1393 return o;
93a17b20 1394
11343788 1395 type = o->op_type;
93a17b20 1396 if (type == OP_LIST) {
11343788 1397 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
93a17b20
LW
1398 my(kid);
1399 }
1400 else if (type != OP_PADSV &&
1401 type != OP_PADAV &&
1402 type != OP_PADHV &&
1403 type != OP_PUSHMARK)
1404 {
5dc0d613 1405 yyerror(form("Can't declare %s in my", op_desc[o->op_type]));
11343788 1406 return o;
93a17b20 1407 }
11343788
MB
1408 o->op_flags |= OPf_MOD;
1409 o->op_private |= OPpLVAL_INTRO;
1410 return o;
93a17b20
LW
1411}
1412
1413OP *
8ac85365 1414sawparens(OP *o)
79072805
LW
1415{
1416 if (o)
1417 o->op_flags |= OPf_PARENS;
1418 return o;
1419}
1420
1421OP *
8ac85365 1422bind_match(I32 type, OP *left, OP *right)
79072805 1423{
11343788 1424 OP *o;
79072805 1425
2ae324a7 1426 if (dowarn &&
1427 (left->op_type == OP_RV2AV ||
1428 left->op_type == OP_RV2HV ||
1429 left->op_type == OP_PADAV ||
1430 left->op_type == OP_PADHV)) {
1431 char *desc = op_desc[(right->op_type == OP_SUBST ||
1432 right->op_type == OP_TRANS)
1433 ? right->op_type : OP_MATCH];
1434 char *sample = ((left->op_type == OP_RV2AV ||
1435 left->op_type == OP_PADAV)
1436 ? "@array" : "%hash");
1437 warn("Applying %s to %s will act on scalar(%s)", desc, sample, sample);
1438 }
1439
79072805
LW
1440 if (right->op_type == OP_MATCH ||
1441 right->op_type == OP_SUBST ||
1442 right->op_type == OP_TRANS) {
1443 right->op_flags |= OPf_STACKED;
1444 if (right->op_type != OP_MATCH)
463ee0b2 1445 left = mod(left, right->op_type);
79072805 1446 if (right->op_type == OP_TRANS)
11343788 1447 o = newBINOP(OP_NULL, OPf_STACKED, scalar(left), right);
79072805 1448 else
11343788 1449 o = prepend_elem(right->op_type, scalar(left), right);
79072805 1450 if (type == OP_NOT)
11343788
MB
1451 return newUNOP(OP_NOT, 0, scalar(o));
1452 return o;
79072805
LW
1453 }
1454 else
1455 return bind_match(type, left,
1456 pmruntime(newPMOP(OP_MATCH, 0), right, Nullop));
1457}
1458
1459OP *
8ac85365 1460invert(OP *o)
79072805 1461{
11343788
MB
1462 if (!o)
1463 return o;
79072805 1464 /* XXX need to optimize away NOT NOT here? Or do we let optimizer do it? */
11343788 1465 return newUNOP(OP_NOT, OPf_SPECIAL, scalar(o));
79072805
LW
1466}
1467
1468OP *
8ac85365 1469scope(OP *o)
79072805
LW
1470{
1471 if (o) {
84902520 1472 if (o->op_flags & OPf_PARENS || PERLDB_NOOPT || tainting) {
463ee0b2
LW
1473 o = prepend_elem(OP_LINESEQ, newOP(OP_ENTER, 0), o);
1474 o->op_type = OP_LEAVE;
1475 o->op_ppaddr = ppaddr[OP_LEAVE];
1476 }
1477 else {
1478 if (o->op_type == OP_LINESEQ) {
1479 OP *kid;
1480 o->op_type = OP_SCOPE;
1481 o->op_ppaddr = ppaddr[OP_SCOPE];
1482 kid = ((LISTOP*)o)->op_first;
748a9306
LW
1483 if (kid->op_type == OP_NEXTSTATE || kid->op_type == OP_DBSTATE){
1484 SvREFCNT_dec(((COP*)kid)->cop_filegv);
8990e307 1485 null(kid);
748a9306 1486 }
463ee0b2
LW
1487 }
1488 else
748a9306 1489 o = newLISTOP(OP_SCOPE, 0, o, Nullop);
463ee0b2 1490 }
79072805
LW
1491 }
1492 return o;
1493}
1494
a0d0e21e 1495int
8ac85365 1496block_start(int full)
79072805 1497{
11343788 1498 dTHR;
a0d0e21e 1499 int retval = savestack_ix;
55497cff 1500 SAVEI32(comppad_name_floor);
1501 if (full) {
93965878 1502 if ((comppad_name_fill = AvFILLp(comppad_name)) > 0)
55497cff 1503 comppad_name_floor = comppad_name_fill;
1504 else
1505 comppad_name_floor = 0;
1506 }
1507 SAVEI32(min_intro_pending);
1508 SAVEI32(max_intro_pending);
a0d0e21e 1509 min_intro_pending = 0;
55497cff 1510 SAVEI32(comppad_name_fill);
1511 SAVEI32(padix_floor);
a0d0e21e
LW
1512 padix_floor = padix;
1513 pad_reset_pending = FALSE;
55497cff 1514 SAVEI32(hints);
a0d0e21e
LW
1515 hints &= ~HINT_BLOCK_SCOPE;
1516 return retval;
1517}
1518
1519OP*
8ac85365 1520block_end(I32 floor, OP *seq)
a0d0e21e 1521{
11343788 1522 dTHR;
a0d0e21e
LW
1523 int needblockscope = hints & HINT_BLOCK_SCOPE;
1524 OP* retval = scalarseq(seq);
a0d0e21e
LW
1525 LEAVE_SCOPE(floor);
1526 pad_reset_pending = FALSE;
1527 if (needblockscope)
1528 hints |= HINT_BLOCK_SCOPE; /* propagate out */
1529 pad_leavemy(comppad_name_fill);
bbce6d69 1530 cop_seqmax++;
a0d0e21e
LW
1531 return retval;
1532}
1533
76e3520e 1534STATIC OP *
54b9620d
MB
1535newDEFSVOP(void)
1536{
1537#ifdef USE_THREADS
1538 OP *o = newOP(OP_THREADSV, 0);
1539 o->op_targ = find_threadsv("_");
1540 return o;
1541#else
1542 return newSVREF(newGVOP(OP_GV, 0, defgv));
1543#endif /* USE_THREADS */
1544}
1545
a0d0e21e 1546void
8ac85365 1547newPROG(OP *o)
a0d0e21e 1548{
11343788 1549 dTHR;
a0d0e21e 1550 if (in_eval) {
5dc0d613 1551 eval_root = newUNOP(OP_LEAVEEVAL, ((in_eval & 4) ? OPf_SPECIAL : 0), o);
a0d0e21e
LW
1552 eval_start = linklist(eval_root);
1553 eval_root->op_next = 0;
1554 peep(eval_start);
1555 }
1556 else {
5dc0d613 1557 if (!o)
a0d0e21e 1558 return;
11343788 1559 main_root = scope(sawparens(scalarvoid(o)));
a0d0e21e
LW
1560 curcop = &compiling;
1561 main_start = LINKLIST(main_root);
1562 main_root->op_next = 0;
1563 peep(main_start);
748a9306 1564 compcv = 0;
3841441e 1565
4fdae800 1566 /* Register with debugger */
84902520 1567 if (PERLDB_INTER) {
3841441e 1568 CV *cv = perl_get_cv("DB::postponed", FALSE);
3841441e
CS
1569 if (cv) {
1570 dSP;
1571 PUSHMARK(sp);
1572 XPUSHs((SV*)compiling.cop_filegv);
1573 PUTBACK;
1574 perl_call_sv((SV*)cv, G_DISCARD);
1575 }
1576 }
79072805 1577 }
79072805
LW
1578}
1579
1580OP *
8ac85365 1581localize(OP *o, I32 lex)
79072805
LW
1582{
1583 if (o->op_flags & OPf_PARENS)
1584 list(o);
8990e307 1585 else {
8990e307
LW
1586 if (dowarn && bufptr > oldbufptr && bufptr[-1] == ',') {
1587 char *s;
1588 for (s = bufptr; *s && (isALNUM(*s) || strchr("@$%, ",*s)); s++) ;
a0d0e21e 1589 if (*s == ';' || *s == '=')
8990e307
LW
1590 warn("Parens missing around \"%s\" list", lex ? "my" : "local");
1591 }
1592 }
93a17b20 1593 in_my = FALSE;
c750a3ec 1594 in_my_stash = Nullhv;
93a17b20
LW
1595 if (lex)
1596 return my(o);
1597 else
463ee0b2 1598 return mod(o, OP_NULL); /* a bit kludgey */
79072805
LW
1599}
1600
1601OP *
8ac85365 1602jmaybe(OP *o)
79072805
LW
1603{
1604 if (o->op_type == OP_LIST) {
554b3eca
MB
1605 OP *o2;
1606#ifdef USE_THREADS
2faa37cc 1607 o2 = newOP(OP_THREADSV, 0);
54b9620d 1608 o2->op_targ = find_threadsv(";");
554b3eca
MB
1609#else
1610 o2 = newSVREF(newGVOP(OP_GV, 0, gv_fetchpv(";", TRUE, SVt_PV))),
1611#endif /* USE_THREADS */
1612 o = convert(OP_JOIN, 0, prepend_elem(OP_LIST, o2, o));
79072805
LW
1613 }
1614 return o;
1615}
1616
1617OP *
8ac85365 1618fold_constants(register OP *o)
79072805 1619{
11343788 1620 dTHR;
79072805
LW
1621 register OP *curop;
1622 I32 type = o->op_type;
748a9306 1623 SV *sv;
79072805
LW
1624
1625 if (opargs[type] & OA_RETSCALAR)
1626 scalar(o);
1627 if (opargs[type] & OA_TARGET)
ed6116ce 1628 o->op_targ = pad_alloc(type, SVs_PADTMP);
79072805 1629
85e6fe83 1630 if ((opargs[type] & OA_OTHERINT) && (hints & HINT_INTEGER))
a0d0e21e 1631 o->op_ppaddr = ppaddr[type = ++(o->op_type)];
85e6fe83 1632
79072805
LW
1633 if (!(opargs[type] & OA_FOLDCONST))
1634 goto nope;
1635
de939608
CS
1636 switch (type) {
1637 case OP_SPRINTF:
1638 case OP_UCFIRST:
1639 case OP_LCFIRST:
1640 case OP_UC:
1641 case OP_LC:
69dcf70c
MB
1642 case OP_SLT:
1643 case OP_SGT:
1644 case OP_SLE:
1645 case OP_SGE:
1646 case OP_SCMP:
1647
de939608
CS
1648 if (o->op_private & OPpLOCALE)
1649 goto nope;
1650 }
1651
a0d0e21e
LW
1652 if (error_count)
1653 goto nope; /* Don't try to run w/ errors */
1654
79072805 1655 for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
93a17b20
LW
1656 if (curop->op_type != OP_CONST &&
1657 curop->op_type != OP_LIST &&
1658 curop->op_type != OP_SCALAR &&
a0d0e21e 1659 curop->op_type != OP_NULL &&
93a17b20 1660 curop->op_type != OP_PUSHMARK) {
79072805
LW
1661 goto nope;
1662 }
1663 }
1664
1665 curop = LINKLIST(o);
1666 o->op_next = 0;
1667 op = curop;
76e3520e 1668 CALLRUNOPS();
748a9306
LW
1669 sv = *(stack_sp--);
1670 if (o->op_targ && sv == PAD_SV(o->op_targ)) /* grab pad temp? */
79072805 1671 pad_swipe(o->op_targ);
748a9306
LW
1672 else if (SvTEMP(sv)) { /* grab mortal temp? */
1673 (void)SvREFCNT_inc(sv);
1674 SvTEMP_off(sv);
85e6fe83 1675 }
79072805
LW
1676 op_free(o);
1677 if (type == OP_RV2GV)
b1cb66bf 1678 return newGVOP(OP_GV, 0, (GV*)sv);
748a9306
LW
1679 else {
1680 if ((SvFLAGS(sv) & (SVf_IOK|SVf_NOK|SVf_POK)) == SVf_NOK) {
1681 IV iv = SvIV(sv);
1682 if ((double)iv == SvNV(sv)) { /* can we smush double to int */
1683 SvREFCNT_dec(sv);
1684 sv = newSViv(iv);
1685 }
b1cb66bf 1686 else
1687 SvIOK_off(sv); /* undo SvIV() damage */
748a9306
LW
1688 }
1689 return newSVOP(OP_CONST, 0, sv);
1690 }
aeea060c 1691
79072805
LW
1692 nope:
1693 if (!(opargs[type] & OA_OTHERINT))
1694 return o;
79072805 1695
85e6fe83 1696 if (!(hints & HINT_INTEGER)) {
a0d0e21e 1697 if (type == OP_DIVIDE || !(o->op_flags & OPf_KIDS))
85e6fe83
LW
1698 return o;
1699
1700 for (curop = ((UNOP*)o)->op_first; curop; curop = curop->op_sibling) {
1701 if (curop->op_type == OP_CONST) {
b1cb66bf 1702 if (SvIOK(((SVOP*)curop)->op_sv))
85e6fe83
LW
1703 continue;
1704 return o;
1705 }
1706 if (opargs[curop->op_type] & OA_RETINTEGER)
79072805
LW
1707 continue;
1708 return o;
1709 }
a0d0e21e 1710 o->op_ppaddr = ppaddr[++(o->op_type)];
79072805
LW
1711 }
1712
79072805
LW
1713 return o;
1714}
1715
1716OP *
8ac85365 1717gen_constant_list(register OP *o)
79072805 1718{
11343788 1719 dTHR;
79072805 1720 register OP *curop;
79072805 1721 I32 oldtmps_floor = tmps_floor;
79072805 1722
a0d0e21e
LW
1723 list(o);
1724 if (error_count)
1725 return o; /* Don't attempt to run with errors */
1726
1727 op = curop = LINKLIST(o);
1728 o->op_next = 0;
11343788 1729 pp_pushmark(ARGS);
76e3520e 1730 CALLRUNOPS();
a0d0e21e 1731 op = curop;
11343788 1732 pp_anonlist(ARGS);
79072805 1733 tmps_floor = oldtmps_floor;
79072805
LW
1734
1735 o->op_type = OP_RV2AV;
1736 o->op_ppaddr = ppaddr[OP_RV2AV];
79072805 1737 curop = ((UNOP*)o)->op_first;
a0d0e21e 1738 ((UNOP*)o)->op_first = newSVOP(OP_CONST, 0, SvREFCNT_inc(*stack_sp--));
79072805 1739 op_free(curop);
79072805
LW
1740 linklist(o);
1741 return list(o);
1742}
1743
1744OP *
8ac85365 1745convert(I32 type, I32 flags, OP *o)
79072805
LW
1746{
1747 OP *kid;
a0d0e21e 1748 OP *last = 0;
79072805 1749
11343788
MB
1750 if (!o || o->op_type != OP_LIST)
1751 o = newLISTOP(OP_LIST, 0, o, Nullop);
748a9306 1752 else
5dc0d613 1753 o->op_flags &= ~OPf_WANT;
79072805 1754
8990e307 1755 if (!(opargs[type] & OA_MARK))
11343788 1756 null(cLISTOPo->op_first);
8990e307 1757
11343788
MB
1758 o->op_type = type;
1759 o->op_ppaddr = ppaddr[type];
1760 o->op_flags |= flags;
79072805 1761
11343788
MB
1762 o = CHECKOP(type, o);
1763 if (o->op_type != type)
1764 return o;
79072805 1765
11343788 1766 if (cLISTOPo->op_children < 7) {
79072805 1767 /* XXX do we really need to do this if we're done appending?? */
11343788 1768 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
79072805 1769 last = kid;
11343788 1770 cLISTOPo->op_last = last; /* in case check substituted last arg */
79072805
LW
1771 }
1772
11343788 1773 return fold_constants(o);
79072805
LW
1774}
1775
1776/* List constructors */
1777
1778OP *
8ac85365 1779append_elem(I32 type, OP *first, OP *last)
79072805
LW
1780{
1781 if (!first)
1782 return last;
8990e307
LW
1783
1784 if (!last)
79072805 1785 return first;
8990e307 1786
a0d0e21e
LW
1787 if (first->op_type != type || type==OP_LIST && first->op_flags & OPf_PARENS)
1788 return newLISTOP(type, 0, first, last);
79072805 1789
a0d0e21e
LW
1790 if (first->op_flags & OPf_KIDS)
1791 ((LISTOP*)first)->op_last->op_sibling = last;
1792 else {
1793 first->op_flags |= OPf_KIDS;
1794 ((LISTOP*)first)->op_first = last;
1795 }
1796 ((LISTOP*)first)->op_last = last;
1797 ((LISTOP*)first)->op_children++;
1798 return first;
79072805
LW
1799}
1800
1801OP *
8ac85365 1802append_list(I32 type, LISTOP *first, LISTOP *last)
79072805
LW
1803{
1804 if (!first)
1805 return (OP*)last;
8990e307
LW
1806
1807 if (!last)
79072805 1808 return (OP*)first;
8990e307
LW
1809
1810 if (first->op_type != type)
79072805 1811 return prepend_elem(type, (OP*)first, (OP*)last);
8990e307
LW
1812
1813 if (last->op_type != type)
79072805
LW
1814 return append_elem(type, (OP*)first, (OP*)last);
1815
1816 first->op_last->op_sibling = last->op_first;
1817 first->op_last = last->op_last;
1818 first->op_children += last->op_children;
1819 if (first->op_children)
1820 last->op_flags |= OPf_KIDS;
1821
1822 Safefree(last);
1823 return (OP*)first;
1824}
1825
1826OP *
8ac85365 1827prepend_elem(I32 type, OP *first, OP *last)
79072805
LW
1828{
1829 if (!first)
1830 return last;
8990e307
LW
1831
1832 if (!last)
79072805 1833 return first;
8990e307
LW
1834
1835 if (last->op_type == type) {
1836 if (type == OP_LIST) { /* already a PUSHMARK there */
1837 first->op_sibling = ((LISTOP*)last)->op_first->op_sibling;
1838 ((LISTOP*)last)->op_first->op_sibling = first;
1839 }
1840 else {
1841 if (!(last->op_flags & OPf_KIDS)) {
1842 ((LISTOP*)last)->op_last = first;
1843 last->op_flags |= OPf_KIDS;
1844 }
1845 first->op_sibling = ((LISTOP*)last)->op_first;
1846 ((LISTOP*)last)->op_first = first;
79072805 1847 }
79072805
LW
1848 ((LISTOP*)last)->op_children++;
1849 return last;
1850 }
1851
1852 return newLISTOP(type, 0, first, last);
1853}
1854
1855/* Constructors */
1856
1857OP *
8ac85365 1858newNULLLIST(void)
79072805 1859{
8990e307
LW
1860 return newOP(OP_STUB, 0);
1861}
1862
1863OP *
8ac85365 1864force_list(OP *o)
8990e307 1865{
11343788
MB
1866 if (!o || o->op_type != OP_LIST)
1867 o = newLISTOP(OP_LIST, 0, o, Nullop);
1868 null(o);
1869 return o;
79072805
LW
1870}
1871
1872OP *
8ac85365 1873newLISTOP(I32 type, I32 flags, OP *first, OP *last)
79072805
LW
1874{
1875 LISTOP *listop;
1876
1877 Newz(1101, listop, 1, LISTOP);
1878
1879 listop->op_type = type;
1880 listop->op_ppaddr = ppaddr[type];
1881 listop->op_children = (first != 0) + (last != 0);
1882 listop->op_flags = flags;
79072805
LW
1883
1884 if (!last && first)
1885 last = first;
1886 else if (!first && last)
1887 first = last;
8990e307
LW
1888 else if (first)
1889 first->op_sibling = last;
79072805
LW
1890 listop->op_first = first;
1891 listop->op_last = last;
8990e307
LW
1892 if (type == OP_LIST) {
1893 OP* pushop;
1894 pushop = newOP(OP_PUSHMARK, 0);
1895 pushop->op_sibling = first;
1896 listop->op_first = pushop;
1897 listop->op_flags |= OPf_KIDS;
1898 if (!last)
1899 listop->op_last = pushop;
1900 }
1901 else if (listop->op_children)
1902 listop->op_flags |= OPf_KIDS;
79072805
LW
1903
1904 return (OP*)listop;
1905}
1906
1907OP *
8ac85365 1908newOP(I32 type, I32 flags)
79072805 1909{
11343788
MB
1910 OP *o;
1911 Newz(1101, o, 1, OP);
1912 o->op_type = type;
1913 o->op_ppaddr = ppaddr[type];
1914 o->op_flags = flags;
79072805 1915
11343788
MB
1916 o->op_next = o;
1917 o->op_private = 0 + (flags >> 8);
79072805 1918 if (opargs[type] & OA_RETSCALAR)
11343788 1919 scalar(o);
79072805 1920 if (opargs[type] & OA_TARGET)
11343788
MB
1921 o->op_targ = pad_alloc(type, SVs_PADTMP);
1922 return CHECKOP(type, o);
79072805
LW
1923}
1924
1925OP *
8ac85365 1926newUNOP(I32 type, I32 flags, OP *first)
79072805
LW
1927{
1928 UNOP *unop;
1929
93a17b20 1930 if (!first)
aeea060c 1931 first = newOP(OP_STUB, 0);
8990e307
LW
1932 if (opargs[type] & OA_MARK)
1933 first = force_list(first);
93a17b20 1934
79072805
LW
1935 Newz(1101, unop, 1, UNOP);
1936 unop->op_type = type;
1937 unop->op_ppaddr = ppaddr[type];
1938 unop->op_first = first;
1939 unop->op_flags = flags | OPf_KIDS;
c07a80fd 1940 unop->op_private = 1 | (flags >> 8);
c277df42
IZ
1941#if 1
1942 if(type == OP_STUDY && first->op_type == OP_MATCH) {
1943 first->op_type = OP_PUSHRE;
1944 first->op_ppaddr = ppaddr[OP_PUSHRE];
1945 }
1946#endif
e50aee73 1947 unop = (UNOP*) CHECKOP(type, unop);
79072805
LW
1948 if (unop->op_next)
1949 return (OP*)unop;
1950
a0d0e21e 1951 return fold_constants((OP *) unop);
79072805
LW
1952}
1953
1954OP *
8ac85365 1955newBINOP(I32 type, I32 flags, OP *first, OP *last)
79072805
LW
1956{
1957 BINOP *binop;
1958 Newz(1101, binop, 1, BINOP);
1959
1960 if (!first)
1961 first = newOP(OP_NULL, 0);
1962
1963 binop->op_type = type;
1964 binop->op_ppaddr = ppaddr[type];
1965 binop->op_first = first;
1966 binop->op_flags = flags | OPf_KIDS;
1967 if (!last) {
1968 last = first;
c07a80fd 1969 binop->op_private = 1 | (flags >> 8);
79072805
LW
1970 }
1971 else {
c07a80fd 1972 binop->op_private = 2 | (flags >> 8);
79072805
LW
1973 first->op_sibling = last;
1974 }
1975
e50aee73 1976 binop = (BINOP*)CHECKOP(type, binop);
79072805
LW
1977 if (binop->op_next)
1978 return (OP*)binop;
1979
1980 binop->op_last = last = binop->op_first->op_sibling;
1981
a0d0e21e 1982 return fold_constants((OP *)binop);
79072805
LW
1983}
1984
1985OP *
8ac85365 1986pmtrans(OP *o, OP *expr, OP *repl)
79072805 1987{
79072805
LW
1988 SV *tstr = ((SVOP*)expr)->op_sv;
1989 SV *rstr = ((SVOP*)repl)->op_sv;
463ee0b2
LW
1990 STRLEN tlen;
1991 STRLEN rlen;
ec49126f 1992 register U8 *t = (U8*)SvPV(tstr, tlen);
1993 register U8 *r = (U8*)SvPV(rstr, rlen);
79072805
LW
1994 register I32 i;
1995 register I32 j;
8ac85365 1996 I32 Delete;
79072805 1997 I32 complement;
5d06d08e 1998 I32 squash;
79072805
LW
1999 register short *tbl;
2000
11343788
MB
2001 tbl = (short*)cPVOPo->op_pv;
2002 complement = o->op_private & OPpTRANS_COMPLEMENT;
8ac85365 2003 Delete = o->op_private & OPpTRANS_DELETE;
5d06d08e 2004 squash = o->op_private & OPpTRANS_SQUASH;
79072805
LW
2005
2006 if (complement) {
2007 Zero(tbl, 256, short);
2008 for (i = 0; i < tlen; i++)
ec49126f 2009 tbl[t[i]] = -1;
79072805
LW
2010 for (i = 0, j = 0; i < 256; i++) {
2011 if (!tbl[i]) {
2012 if (j >= rlen) {
8ac85365 2013 if (Delete)
79072805
LW
2014 tbl[i] = -2;
2015 else if (rlen)
ec49126f 2016 tbl[i] = r[j-1];
79072805
LW
2017 else
2018 tbl[i] = i;
2019 }
2020 else
ec49126f 2021 tbl[i] = r[j++];
79072805
LW
2022 }
2023 }
2024 }
2025 else {
8ac85365 2026 if (!rlen && !Delete) {
79072805 2027 r = t; rlen = tlen;
5d06d08e
MB
2028 if (!squash)
2029 o->op_private |= OPpTRANS_COUNTONLY;
79072805
LW
2030 }
2031 for (i = 0; i < 256; i++)
2032 tbl[i] = -1;
2033 for (i = 0, j = 0; i < tlen; i++,j++) {
2034 if (j >= rlen) {
8ac85365 2035 if (Delete) {
ec49126f 2036 if (tbl[t[i]] == -1)
2037 tbl[t[i]] = -2;
79072805
LW
2038 continue;
2039 }
2040 --j;
2041 }
ec49126f 2042 if (tbl[t[i]] == -1)
2043 tbl[t[i]] = r[j];
79072805
LW
2044 }
2045 }
2046 op_free(expr);
2047 op_free(repl);
2048
11343788 2049 return o;
79072805
LW
2050}
2051
2052OP *
8ac85365 2053newPMOP(I32 type, I32 flags)
79072805 2054{
11343788 2055 dTHR;
79072805
LW
2056 PMOP *pmop;
2057
2058 Newz(1101, pmop, 1, PMOP);
2059 pmop->op_type = type;
2060 pmop->op_ppaddr = ppaddr[type];
2061 pmop->op_flags = flags;
c07a80fd 2062 pmop->op_private = 0 | (flags >> 8);
79072805 2063
36477c24 2064 if (hints & HINT_LOCALE)
2065 pmop->op_pmpermflags = (pmop->op_pmflags |= PMf_LOCALE);
2066
79072805 2067 /* link into pm list */
a0d0e21e 2068 if (type != OP_TRANS && curstash) {
79072805
LW
2069 pmop->op_pmnext = HvPMROOT(curstash);
2070 HvPMROOT(curstash) = pmop;
2071 }
2072
2073 return (OP*)pmop;
2074}
2075
2076OP *
8ac85365 2077pmruntime(OP *o, OP *expr, OP *repl)
79072805
LW
2078{
2079 PMOP *pm;
2080 LOGOP *rcop;
2081
11343788
MB
2082 if (o->op_type == OP_TRANS)
2083 return pmtrans(o, expr, repl);
79072805 2084
3e3baf6d 2085 hints |= HINT_BLOCK_SCOPE;
11343788 2086 pm = (PMOP*)o;
79072805
LW
2087
2088 if (expr->op_type == OP_CONST) {
463ee0b2 2089 STRLEN plen;
79072805 2090 SV *pat = ((SVOP*)expr)->op_sv;
463ee0b2 2091 char *p = SvPV(pat, plen);
11343788 2092 if ((o->op_flags & OPf_SPECIAL) && strEQ(p, " ")) {
93a17b20 2093 sv_setpvn(pat, "\\s+", 3);
463ee0b2 2094 p = SvPV(pat, plen);
79072805
LW
2095 pm->op_pmflags |= PMf_SKIPWHITE;
2096 }
e50aee73 2097 pm->op_pmregexp = pregcomp(p, p + plen, pm);
aeea060c 2098 if (strEQ("\\s+", pm->op_pmregexp->precomp))
85e6fe83 2099 pm->op_pmflags |= PMf_WHITE;
79072805
LW
2100 op_free(expr);
2101 }
2102 else {
463ee0b2
LW
2103 if (pm->op_pmflags & PMf_KEEP)
2104 expr = newUNOP(OP_REGCMAYBE,0,expr);
2105
79072805
LW
2106 Newz(1101, rcop, 1, LOGOP);
2107 rcop->op_type = OP_REGCOMP;
2108 rcop->op_ppaddr = ppaddr[OP_REGCOMP];
2109 rcop->op_first = scalar(expr);
2110 rcop->op_flags |= OPf_KIDS;
2111 rcop->op_private = 1;
11343788 2112 rcop->op_other = o;
79072805
LW
2113
2114 /* establish postfix order */
463ee0b2
LW
2115 if (pm->op_pmflags & PMf_KEEP) {
2116 LINKLIST(expr);
2117 rcop->op_next = expr;
2118 ((UNOP*)expr)->op_first->op_next = (OP*)rcop;
2119 }
2120 else {
2121 rcop->op_next = LINKLIST(expr);
2122 expr->op_next = (OP*)rcop;
2123 }
79072805 2124
11343788 2125 prepend_elem(o->op_type, scalar((OP*)rcop), o);
79072805
LW
2126 }
2127
2128 if (repl) {
748a9306
LW
2129 OP *curop;
2130 if (pm->op_pmflags & PMf_EVAL)
2131 curop = 0;
554b3eca 2132#ifdef USE_THREADS
2faa37cc 2133 else if (repl->op_type == OP_THREADSV
554b3eca 2134 && strchr("&`'123456789+",
54b9620d 2135 threadsv_names[repl->op_targ]))
554b3eca
MB
2136 {
2137 curop = 0;
2138 }
2139#endif /* USE_THREADS */
748a9306
LW
2140 else if (repl->op_type == OP_CONST)
2141 curop = repl;
79072805 2142 else {
79072805
LW
2143 OP *lastop = 0;
2144 for (curop = LINKLIST(repl); curop!=repl; curop = LINKLIST(curop)) {
2145 if (opargs[curop->op_type] & OA_DANGEROUS) {
554b3eca 2146#ifdef USE_THREADS
2faa37cc 2147 if (curop->op_type == OP_THREADSV
554b3eca
MB
2148 && strchr("&`'123456789+", curop->op_private)) {
2149 break;
2150 }
2151#else
79072805
LW
2152 if (curop->op_type == OP_GV) {
2153 GV *gv = ((GVOP*)curop)->op_gv;
93a17b20 2154 if (strchr("&`'123456789+", *GvENAME(gv)))
79072805
LW
2155 break;
2156 }
554b3eca 2157#endif /* USE_THREADS */
79072805
LW
2158 else if (curop->op_type == OP_RV2CV)
2159 break;
2160 else if (curop->op_type == OP_RV2SV ||
2161 curop->op_type == OP_RV2AV ||
2162 curop->op_type == OP_RV2HV ||
2163 curop->op_type == OP_RV2GV) {
2164 if (lastop && lastop->op_type != OP_GV) /*funny deref?*/
2165 break;
2166 }
748a9306
LW
2167 else if (curop->op_type == OP_PADSV ||
2168 curop->op_type == OP_PADAV ||
2169 curop->op_type == OP_PADHV ||
554b3eca 2170 curop->op_type == OP_PADANY) {
748a9306
LW
2171 /* is okay */
2172 }
79072805
LW
2173 else
2174 break;
2175 }
2176 lastop = curop;
2177 }
748a9306
LW
2178 }
2179 if (curop == repl) {
2180 pm->op_pmflags |= PMf_CONST; /* const for long enough */
4633a7c4 2181 pm->op_pmpermflags |= PMf_CONST; /* const for long enough */
11343788 2182 prepend_elem(o->op_type, scalar(repl), o);
748a9306
LW
2183 }
2184 else {
2185 Newz(1101, rcop, 1, LOGOP);
2186 rcop->op_type = OP_SUBSTCONT;
2187 rcop->op_ppaddr = ppaddr[OP_SUBSTCONT];
2188 rcop->op_first = scalar(repl);
2189 rcop->op_flags |= OPf_KIDS;
2190 rcop->op_private = 1;
11343788 2191 rcop->op_other = o;
748a9306
LW
2192
2193 /* establish postfix order */
2194 rcop->op_next = LINKLIST(repl);
2195 repl->op_next = (OP*)rcop;
2196
2197 pm->op_pmreplroot = scalar((OP*)rcop);
2198 pm->op_pmreplstart = LINKLIST(rcop);
2199 rcop->op_next = 0;
79072805
LW
2200 }
2201 }
2202
2203 return (OP*)pm;
2204}
2205
2206OP *
8ac85365 2207newSVOP(I32 type, I32 flags, SV *sv)
79072805
LW
2208{
2209 SVOP *svop;
2210 Newz(1101, svop, 1, SVOP);
2211 svop->op_type = type;
2212 svop->op_ppaddr = ppaddr[type];
2213 svop->op_sv = sv;
2214 svop->op_next = (OP*)svop;
2215 svop->op_flags = flags;
2216 if (opargs[type] & OA_RETSCALAR)
463ee0b2 2217 scalar((OP*)svop);
79072805 2218 if (opargs[type] & OA_TARGET)
ed6116ce 2219 svop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2220 return CHECKOP(type, svop);
79072805
LW
2221}
2222
2223OP *
8ac85365 2224newGVOP(I32 type, I32 flags, GV *gv)
79072805 2225{
11343788 2226 dTHR;
79072805
LW
2227 GVOP *gvop;
2228 Newz(1101, gvop, 1, GVOP);
2229 gvop->op_type = type;
2230 gvop->op_ppaddr = ppaddr[type];
8990e307 2231 gvop->op_gv = (GV*)SvREFCNT_inc(gv);
79072805
LW
2232 gvop->op_next = (OP*)gvop;
2233 gvop->op_flags = flags;
2234 if (opargs[type] & OA_RETSCALAR)
463ee0b2 2235 scalar((OP*)gvop);
79072805 2236 if (opargs[type] & OA_TARGET)
ed6116ce 2237 gvop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2238 return CHECKOP(type, gvop);
79072805
LW
2239}
2240
2241OP *
8ac85365 2242newPVOP(I32 type, I32 flags, char *pv)
79072805
LW
2243{
2244 PVOP *pvop;
2245 Newz(1101, pvop, 1, PVOP);
2246 pvop->op_type = type;
2247 pvop->op_ppaddr = ppaddr[type];
2248 pvop->op_pv = pv;
2249 pvop->op_next = (OP*)pvop;
2250 pvop->op_flags = flags;
2251 if (opargs[type] & OA_RETSCALAR)
463ee0b2 2252 scalar((OP*)pvop);
79072805 2253 if (opargs[type] & OA_TARGET)
ed6116ce 2254 pvop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2255 return CHECKOP(type, pvop);
79072805
LW
2256}
2257
79072805 2258void
8ac85365 2259package(OP *o)
79072805 2260{
11343788 2261 dTHR;
93a17b20 2262 SV *sv;
79072805
LW
2263
2264 save_hptr(&curstash);
2265 save_item(curstname);
11343788 2266 if (o) {
463ee0b2
LW
2267 STRLEN len;
2268 char *name;
11343788 2269 sv = cSVOPo->op_sv;
463ee0b2 2270 name = SvPV(sv, len);
b1cb66bf 2271 curstash = gv_stashpvn(name,len,TRUE);
463ee0b2 2272 sv_setpvn(curstname, name, len);
11343788 2273 op_free(o);
93a17b20
LW
2274 }
2275 else {
2276 sv_setpv(curstname,"<none>");
2277 curstash = Nullhv;
2278 }
79072805 2279 copline = NOLINE;
8990e307 2280 expect = XSTATE;
79072805
LW
2281}
2282
85e6fe83 2283void
8ac85365 2284utilize(int aver, I32 floor, OP *version, OP *id, OP *arg)
85e6fe83 2285{
a0d0e21e
LW
2286 OP *pack;
2287 OP *meth;
2288 OP *rqop;
2289 OP *imop;
b1cb66bf 2290 OP *veop;
85e6fe83 2291
a0d0e21e
LW
2292 if (id->op_type != OP_CONST)
2293 croak("Module name must be constant");
85e6fe83 2294
b1cb66bf 2295 veop = Nullop;
2296
2297 if(version != Nullop) {
2298 SV *vesv = ((SVOP*)version)->op_sv;
2299
2300 if (arg == Nullop && !SvNIOK(vesv)) {
2301 arg = version;
2302 }
2303 else {
2304 OP *pack;
2305 OP *meth;
2306
2307 if (version->op_type != OP_CONST || !SvNIOK(vesv))
2308 croak("Version number must be constant number");
2309
2310 /* Make copy of id so we don't free it twice */
2311 pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
2312
2313 /* Fake up a method call to VERSION */
2314 meth = newSVOP(OP_CONST, 0, newSVpv("VERSION", 7));
2315 veop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
2316 append_elem(OP_LIST,
2317 prepend_elem(OP_LIST, pack, list(version)),
2318 newUNOP(OP_METHOD, 0, meth)));
2319 }
2320 }
aeea060c 2321
a0d0e21e 2322 /* Fake up an import/unimport */
4633a7c4
LW
2323 if (arg && arg->op_type == OP_STUB)
2324 imop = arg; /* no import on explicit () */
b1cb66bf 2325 else if(SvNIOK(((SVOP*)id)->op_sv)) {
2326 imop = Nullop; /* use 5.0; */
2327 }
4633a7c4
LW
2328 else {
2329 /* Make copy of id so we don't free it twice */
2330 pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
4633a7c4
LW
2331 meth = newSVOP(OP_CONST, 0,
2332 aver
2333 ? newSVpv("import", 6)
2334 : newSVpv("unimport", 8)
2335 );
2336 imop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
a0d0e21e
LW
2337 append_elem(OP_LIST,
2338 prepend_elem(OP_LIST, pack, list(arg)),
2339 newUNOP(OP_METHOD, 0, meth)));
4633a7c4
LW
2340 }
2341
2342 /* Fake up a require */
2343 rqop = newUNOP(OP_REQUIRE, 0, id);
a0d0e21e
LW
2344
2345 /* Fake up the BEGIN {}, which does its thing immediately. */
c07a80fd 2346 newSUB(floor,
a0d0e21e 2347 newSVOP(OP_CONST, 0, newSVpv("BEGIN", 5)),
4633a7c4 2348 Nullop,
a0d0e21e 2349 append_elem(OP_LINESEQ,
b1cb66bf 2350 append_elem(OP_LINESEQ,
2351 newSTATEOP(0, Nullch, rqop),
2352 newSTATEOP(0, Nullch, veop)),
a0d0e21e 2353 newSTATEOP(0, Nullch, imop) ));
85e6fe83 2354
85e6fe83
LW
2355 copline = NOLINE;
2356 expect = XSTATE;
2357}
2358
79072805 2359OP *
8ac85365 2360newSLICEOP(I32 flags, OP *subscript, OP *listval)
79072805
LW
2361{
2362 return newBINOP(OP_LSLICE, flags,
8990e307
LW
2363 list(force_list(subscript)),
2364 list(force_list(listval)) );
79072805
LW
2365}
2366
76e3520e 2367STATIC I32
8ac85365 2368list_assignment(register OP *o)
79072805 2369{
11343788 2370 if (!o)
79072805
LW
2371 return TRUE;
2372
11343788
MB
2373 if (o->op_type == OP_NULL && o->op_flags & OPf_KIDS)
2374 o = cUNOPo->op_first;
79072805 2375
11343788
MB
2376 if (o->op_type == OP_COND_EXPR) {
2377 I32 t = list_assignment(cCONDOPo->op_first->op_sibling);
2378 I32 f = list_assignment(cCONDOPo->op_first->op_sibling->op_sibling);
79072805
LW
2379
2380 if (t && f)
2381 return TRUE;
2382 if (t || f)
2383 yyerror("Assignment to both a list and a scalar");
2384 return FALSE;
2385 }
2386
11343788
MB
2387 if (o->op_type == OP_LIST || o->op_flags & OPf_PARENS ||
2388 o->op_type == OP_RV2AV || o->op_type == OP_RV2HV ||
2389 o->op_type == OP_ASLICE || o->op_type == OP_HSLICE)
79072805
LW
2390 return TRUE;
2391
11343788 2392 if (o->op_type == OP_PADAV || o->op_type == OP_PADHV)
93a17b20
LW
2393 return TRUE;
2394
11343788 2395 if (o->op_type == OP_RV2SV)
79072805
LW
2396 return FALSE;
2397
2398 return FALSE;
2399}
2400
2401OP *
8ac85365 2402newASSIGNOP(I32 flags, OP *left, I32 optype, OP *right)
79072805 2403{
11343788 2404 OP *o;
79072805 2405
a0d0e21e
LW
2406 if (optype) {
2407 if (optype == OP_ANDASSIGN || optype == OP_ORASSIGN) {
2408 return newLOGOP(optype, 0,
2409 mod(scalar(left), optype),
2410 newUNOP(OP_SASSIGN, 0, scalar(right)));
2411 }
2412 else {
2413 return newBINOP(optype, OPf_STACKED,
2414 mod(scalar(left), optype), scalar(right));
2415 }
2416 }
2417
79072805 2418 if (list_assignment(left)) {
463ee0b2 2419 modcount = 0;
748a9306 2420 eval_start = right; /* Grandfathering $[ assignment here. Bletch.*/
463ee0b2 2421 left = mod(left, OP_AASSIGN);
748a9306
LW
2422 if (eval_start)
2423 eval_start = 0;
2424 else {
a0d0e21e
LW
2425 op_free(left);
2426 op_free(right);
2427 return Nullop;
2428 }
11343788 2429 o = newBINOP(OP_AASSIGN, flags,
8990e307
LW
2430 list(force_list(right)),
2431 list(force_list(left)) );
11343788 2432 o->op_private = 0 | (flags >> 8);
a0d0e21e 2433 if (!(left->op_private & OPpLVAL_INTRO)) {
79072805 2434 OP *curop;
11343788 2435 OP *lastop = o;
79072805 2436 generation++;
11343788 2437 for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
79072805
LW
2438 if (opargs[curop->op_type] & OA_DANGEROUS) {
2439 if (curop->op_type == OP_GV) {
2440 GV *gv = ((GVOP*)curop)->op_gv;
2441 if (gv == defgv || SvCUR(gv) == generation)
2442 break;
2443 SvCUR(gv) = generation;
2444 }
748a9306
LW
2445 else if (curop->op_type == OP_PADSV ||
2446 curop->op_type == OP_PADAV ||
2447 curop->op_type == OP_PADHV ||
2448 curop->op_type == OP_PADANY) {
2449 SV **svp = AvARRAY(comppad_name);
8e07c86e 2450 SV *sv = svp[curop->op_targ];
748a9306
LW
2451 if (SvCUR(sv) == generation)
2452 break;
2453 SvCUR(sv) = generation; /* (SvCUR not used any more) */
2454 }
79072805
LW
2455 else if (curop->op_type == OP_RV2CV)
2456 break;
2457 else if (curop->op_type == OP_RV2SV ||
2458 curop->op_type == OP_RV2AV ||
2459 curop->op_type == OP_RV2HV ||
2460 curop->op_type == OP_RV2GV) {
2461 if (lastop->op_type != OP_GV) /* funny deref? */
2462 break;
2463 }
2464 else
2465 break;
2466 }
2467 lastop = curop;
2468 }
11343788
MB
2469 if (curop != o)
2470 o->op_private = OPpASSIGN_COMMON;
79072805 2471 }
c07a80fd 2472 if (right && right->op_type == OP_SPLIT) {
2473 OP* tmpop;
2474 if ((tmpop = ((LISTOP*)right)->op_first) &&
2475 tmpop->op_type == OP_PUSHRE)
2476 {
2477 PMOP *pm = (PMOP*)tmpop;
2478 if (left->op_type == OP_RV2AV &&
2479 !(left->op_private & OPpLVAL_INTRO) &&
11343788 2480 !(o->op_private & OPpASSIGN_COMMON) )
c07a80fd 2481 {
2482 tmpop = ((UNOP*)left)->op_first;
2483 if (tmpop->op_type == OP_GV && !pm->op_pmreplroot) {
2484 pm->op_pmreplroot = (OP*)((GVOP*)tmpop)->op_gv;
2485 pm->op_pmflags |= PMf_ONCE;
11343788 2486 tmpop = cUNOPo->op_first; /* to list (nulled) */
c07a80fd 2487 tmpop = ((UNOP*)tmpop)->op_first; /* to pushmark */
2488 tmpop->op_sibling = Nullop; /* don't free split */
2489 right->op_next = tmpop->op_next; /* fix starting loc */
11343788 2490 op_free(o); /* blow off assign */
54310121 2491 right->op_flags &= ~OPf_WANT;
a5f75d66 2492 /* "I don't know and I don't care." */
c07a80fd 2493 return right;
2494 }
2495 }
2496 else {
2497 if (modcount < 10000 &&
2498 ((LISTOP*)right)->op_last->op_type == OP_CONST)
2499 {
2500 SV *sv = ((SVOP*)((LISTOP*)right)->op_last)->op_sv;
2501 if (SvIVX(sv) == 0)
2502 sv_setiv(sv, modcount+1);
2503 }
2504 }
2505 }
2506 }
11343788 2507 return o;
79072805
LW
2508 }
2509 if (!right)
2510 right = newOP(OP_UNDEF, 0);
2511 if (right->op_type == OP_READLINE) {
2512 right->op_flags |= OPf_STACKED;
463ee0b2 2513 return newBINOP(OP_NULL, flags, mod(scalar(left), OP_SASSIGN), scalar(right));
79072805 2514 }
a0d0e21e 2515 else {
748a9306 2516 eval_start = right; /* Grandfathering $[ assignment here. Bletch.*/
11343788 2517 o = newBINOP(OP_SASSIGN, flags,
463ee0b2 2518 scalar(right), mod(scalar(left), OP_SASSIGN) );
748a9306
LW
2519 if (eval_start)
2520 eval_start = 0;
2521 else {
11343788 2522 op_free(o);
a0d0e21e
LW
2523 return Nullop;
2524 }
2525 }
11343788 2526 return o;
79072805
LW
2527}
2528
2529OP *
8ac85365 2530newSTATEOP(I32 flags, char *label, OP *o)
79072805 2531{
11343788 2532 dTHR;
bbce6d69 2533 U32 seq = intro_my();
79072805
LW
2534 register COP *cop;
2535
2536 Newz(1101, cop, 1, COP);
84902520 2537 if (PERLDB_LINE && curcop->cop_line && curstash != debstash) {
8990e307
LW
2538 cop->op_type = OP_DBSTATE;
2539 cop->op_ppaddr = ppaddr[ OP_DBSTATE ];
2540 }
2541 else {
2542 cop->op_type = OP_NEXTSTATE;
2543 cop->op_ppaddr = ppaddr[ OP_NEXTSTATE ];
2544 }
79072805 2545 cop->op_flags = flags;
c07a80fd 2546 cop->op_private = 0 | (flags >> 8);
ff0cee69 2547#ifdef NATIVE_HINTS
2548 cop->op_private |= NATIVE_HINTS;
2549#endif
79072805
LW
2550 cop->op_next = (OP*)cop;
2551
463ee0b2
LW
2552 if (label) {
2553 cop->cop_label = label;
85e6fe83 2554 hints |= HINT_BLOCK_SCOPE;
463ee0b2 2555 }
bbce6d69 2556 cop->cop_seq = seq;
a0d0e21e 2557 cop->cop_arybase = curcop->cop_arybase;
79072805
LW
2558
2559 if (copline == NOLINE)
2560 cop->cop_line = curcop->cop_line;
2561 else {
2562 cop->cop_line = copline;
2563 copline = NOLINE;
2564 }
44a8e56a 2565 cop->cop_filegv = (GV*)SvREFCNT_inc(curcop->cop_filegv);
79072805
LW
2566 cop->cop_stash = curstash;
2567
84902520 2568 if (PERLDB_LINE && curstash != debstash) {
93a17b20
LW
2569 SV **svp = av_fetch(GvAV(curcop->cop_filegv),(I32)cop->cop_line, FALSE);
2570 if (svp && *svp != &sv_undef && !SvIOK(*svp)) {
a0d0e21e 2571 (void)SvIOK_on(*svp);
a5f75d66 2572 SvIVX(*svp) = 1;
93a17b20
LW
2573 SvSTASH(*svp) = (HV*)cop;
2574 }
2575 }
2576
11343788 2577 return prepend_elem(OP_LINESEQ, (OP*)cop, o);
79072805
LW
2578}
2579
bbce6d69 2580/* "Introduce" my variables to visible status. */
2581U32
8ac85365 2582intro_my(void)
bbce6d69 2583{
2584 SV **svp;
2585 SV *sv;
2586 I32 i;
2587
2588 if (! min_intro_pending)
2589 return cop_seqmax;
2590
2591 svp = AvARRAY(comppad_name);
2592 for (i = min_intro_pending; i <= max_intro_pending; i++) {
2593 if ((sv = svp[i]) && sv != &sv_undef && !SvIVX(sv)) {
2594 SvIVX(sv) = 999999999; /* Don't know scope end yet. */
2595 SvNVX(sv) = (double)cop_seqmax;
2596 }
2597 }
2598 min_intro_pending = 0;
2599 comppad_name_fill = max_intro_pending; /* Needn't search higher */
2600 return cop_seqmax++;
2601}
2602
79072805 2603OP *
8ac85365 2604newLOGOP(I32 type, I32 flags, OP *first, OP *other)
79072805 2605{
11343788 2606 dTHR;
79072805 2607 LOGOP *logop;
11343788 2608 OP *o;
79072805 2609
a0d0e21e
LW
2610 if (type == OP_XOR) /* Not short circuit, but here by precedence. */
2611 return newBINOP(type, flags, scalar(first), scalar(other));
2612
8990e307 2613 scalarboolean(first);
79072805
LW
2614 /* optimize "!a && b" to "a || b", and "!a || b" to "a && b" */
2615 if (first->op_type == OP_NOT && (first->op_flags & OPf_SPECIAL)) {
2616 if (type == OP_AND || type == OP_OR) {
2617 if (type == OP_AND)
2618 type = OP_OR;
2619 else
2620 type = OP_AND;
11343788
MB
2621 o = first;
2622 first = cUNOPo->op_first;
2623 if (o->op_next)
2624 first->op_next = o->op_next;
2625 cUNOPo->op_first = Nullop;
2626 op_free(o);
79072805
LW
2627 }
2628 }
2629 if (first->op_type == OP_CONST) {
93a17b20 2630 if (dowarn && (first->op_private & OPpCONST_BARE))
c07a80fd 2631 warn("Probable precedence problem on %s", op_desc[type]);
79072805
LW
2632 if ((type == OP_AND) == (SvTRUE(((SVOP*)first)->op_sv))) {
2633 op_free(first);
2634 return other;
2635 }
2636 else {
2637 op_free(other);
2638 return first;
2639 }
2640 }
2641 else if (first->op_type == OP_WANTARRAY) {
2642 if (type == OP_AND)
2643 list(other);
2644 else
2645 scalar(other);
2646 }
a6006777 2647 else if (dowarn && (first->op_flags & OPf_KIDS)) {
2648 OP *k1 = ((UNOP*)first)->op_first;
2649 OP *k2 = k1->op_sibling;
2650 OPCODE warnop = 0;
2651 switch (first->op_type)
2652 {
2653 case OP_NULL:
2654 if (k2 && k2->op_type == OP_READLINE
2655 && (k2->op_flags & OPf_STACKED)
2656 && (k1->op_type == OP_RV2SV || k1->op_type == OP_PADSV))
2657 warnop = k2->op_type;
2658 break;
2659
2660 case OP_SASSIGN:
68dc0745 2661 if (k1->op_type == OP_READDIR
2662 || k1->op_type == OP_GLOB
2663 || k1->op_type == OP_EACH)
a6006777 2664 warnop = k1->op_type;
2665 break;
2666 }
8ebc5c01 2667 if (warnop) {
2668 line_t oldline = curcop->cop_line;
2669 curcop->cop_line = copline;
68dc0745 2670 warn("Value of %s%s can be \"0\"; test with defined()",
2671 op_desc[warnop],
2672 ((warnop == OP_READLINE || warnop == OP_GLOB)
2673 ? " construct" : "() operator"));
2674 curcop->cop_line = oldline;
8ebc5c01 2675 }
a6006777 2676 }
79072805
LW
2677
2678 if (!other)
2679 return first;
2680
a0d0e21e
LW
2681 if (type == OP_ANDASSIGN || type == OP_ORASSIGN)
2682 other->op_private |= OPpASSIGN_BACKWARDS; /* other is an OP_SASSIGN */
2683
79072805
LW
2684 Newz(1101, logop, 1, LOGOP);
2685
2686 logop->op_type = type;
2687 logop->op_ppaddr = ppaddr[type];
2688 logop->op_first = first;
2689 logop->op_flags = flags | OPf_KIDS;
2690 logop->op_other = LINKLIST(other);
c07a80fd 2691 logop->op_private = 1 | (flags >> 8);
79072805
LW
2692
2693 /* establish postfix order */
2694 logop->op_next = LINKLIST(first);
2695 first->op_next = (OP*)logop;
2696 first->op_sibling = other;
2697
11343788
MB
2698 o = newUNOP(OP_NULL, 0, (OP*)logop);
2699 other->op_next = o;
79072805 2700
11343788 2701 return o;
79072805
LW
2702}
2703
2704OP *
8ac85365 2705newCONDOP(I32 flags, OP *first, OP *trueop, OP *falseop)
79072805 2706{
11343788 2707 dTHR;
79072805 2708 CONDOP *condop;
11343788 2709 OP *o;
79072805 2710
b1cb66bf 2711 if (!falseop)
2712 return newLOGOP(OP_AND, 0, first, trueop);
2713 if (!trueop)
2714 return newLOGOP(OP_OR, 0, first, falseop);
79072805 2715
8990e307 2716 scalarboolean(first);
79072805
LW
2717 if (first->op_type == OP_CONST) {
2718 if (SvTRUE(((SVOP*)first)->op_sv)) {
2719 op_free(first);
b1cb66bf 2720 op_free(falseop);
2721 return trueop;
79072805
LW
2722 }
2723 else {
2724 op_free(first);
b1cb66bf 2725 op_free(trueop);
2726 return falseop;
79072805
LW
2727 }
2728 }
2729 else if (first->op_type == OP_WANTARRAY) {
b1cb66bf 2730 list(trueop);
2731 scalar(falseop);
79072805
LW
2732 }
2733 Newz(1101, condop, 1, CONDOP);
2734
2735 condop->op_type = OP_COND_EXPR;
2736 condop->op_ppaddr = ppaddr[OP_COND_EXPR];
2737 condop->op_first = first;
2738 condop->op_flags = flags | OPf_KIDS;
b1cb66bf 2739 condop->op_true = LINKLIST(trueop);
2740 condop->op_false = LINKLIST(falseop);
c07a80fd 2741 condop->op_private = 1 | (flags >> 8);
79072805
LW
2742
2743 /* establish postfix order */
2744 condop->op_next = LINKLIST(first);
2745 first->op_next = (OP*)condop;
2746
b1cb66bf 2747 first->op_sibling = trueop;
2748 trueop->op_sibling = falseop;
11343788 2749 o = newUNOP(OP_NULL, 0, (OP*)condop);
79072805 2750
5dc0d613
MB
2751 trueop->op_next = o;
2752 falseop->op_next = o;
79072805 2753
11343788 2754 return o;
79072805
LW
2755}
2756
2757OP *
8ac85365 2758newRANGE(I32 flags, OP *left, OP *right)
79072805 2759{
b35b2403 2760 dTHR;
79072805
LW
2761 CONDOP *condop;
2762 OP *flip;
2763 OP *flop;
11343788 2764 OP *o;
79072805
LW
2765
2766 Newz(1101, condop, 1, CONDOP);
2767
2768 condop->op_type = OP_RANGE;
2769 condop->op_ppaddr = ppaddr[OP_RANGE];
2770 condop->op_first = left;
2771 condop->op_flags = OPf_KIDS;
2772 condop->op_true = LINKLIST(left);
2773 condop->op_false = LINKLIST(right);
c07a80fd 2774 condop->op_private = 1 | (flags >> 8);
79072805
LW
2775
2776 left->op_sibling = right;
2777
2778 condop->op_next = (OP*)condop;
2779 flip = newUNOP(OP_FLIP, flags, (OP*)condop);
2780 flop = newUNOP(OP_FLOP, 0, flip);
11343788 2781 o = newUNOP(OP_NULL, 0, flop);
79072805
LW
2782 linklist(flop);
2783
2784 left->op_next = flip;
2785 right->op_next = flop;
2786
ed6116ce 2787 condop->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
79072805 2788 sv_upgrade(PAD_SV(condop->op_targ), SVt_PVNV);
ed6116ce 2789 flip->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
79072805
LW
2790 sv_upgrade(PAD_SV(flip->op_targ), SVt_PVNV);
2791
2792 flip->op_private = left->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
2793 flop->op_private = right->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
2794
11343788 2795 flip->op_next = o;
79072805 2796 if (!flip->op_private || !flop->op_private)
11343788 2797 linklist(o); /* blow off optimizer unless constant */
79072805 2798
11343788 2799 return o;
79072805
LW
2800}
2801
2802OP *
8ac85365 2803newLOOPOP(I32 flags, I32 debuggable, OP *expr, OP *block)
79072805 2804{
11343788 2805 dTHR;
463ee0b2 2806 OP* listop;
11343788 2807 OP* o;
463ee0b2 2808 int once = block && block->op_flags & OPf_SPECIAL &&
a0d0e21e 2809 (block->op_type == OP_ENTERSUB || block->op_type == OP_NULL);
93a17b20 2810
463ee0b2
LW
2811 if (expr) {
2812 if (once && expr->op_type == OP_CONST && !SvTRUE(((SVOP*)expr)->op_sv))
2813 return block; /* do {} while 0 does once */
fb73857a 2814 if (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
2815 || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB)) {
774d564b 2816 expr = newUNOP(OP_DEFINED, 0,
54b9620d 2817 newASSIGNOP(0, newDEFSVOP(), 0, expr) );
774d564b 2818 }
463ee0b2 2819 }
93a17b20 2820
8990e307 2821 listop = append_elem(OP_LINESEQ, block, newOP(OP_UNSTACK, 0));
11343788 2822 o = newLOGOP(OP_AND, 0, expr, listop);
463ee0b2 2823
11343788 2824 ((LISTOP*)listop)->op_last->op_next = LINKLIST(o);
79072805 2825
11343788
MB
2826 if (once && o != listop)
2827 o->op_next = ((LOGOP*)cUNOPo->op_first)->op_other;
79072805 2828
11343788
MB
2829 if (o == listop)
2830 o = newUNOP(OP_NULL, 0, o); /* or do {} while 1 loses outer block */
748a9306 2831
11343788
MB
2832 o->op_flags |= flags;
2833 o = scope(o);
2834 o->op_flags |= OPf_SPECIAL; /* suppress POPBLOCK curpm restoration*/
2835 return o;
79072805
LW
2836}
2837
2838OP *
8ac85365 2839newWHILEOP(I32 flags, I32 debuggable, LOOP *loop, I32 whileline, OP *expr, OP *block, OP *cont)
79072805 2840{
11343788 2841 dTHR;
79072805
LW
2842 OP *redo;
2843 OP *next = 0;
2844 OP *listop;
11343788 2845 OP *o;
79072805
LW
2846 OP *condop;
2847
fb73857a 2848 if (expr && (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
2849 || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB))) {
748a9306 2850 expr = newUNOP(OP_DEFINED, 0,
54b9620d 2851 newASSIGNOP(0, newDEFSVOP(), 0, expr) );
748a9306 2852 }
79072805
LW
2853
2854 if (!block)
2855 block = newOP(OP_NULL, 0);
2856
2857 if (cont)
2858 next = LINKLIST(cont);
fb73857a 2859 if (expr) {
79072805 2860 cont = append_elem(OP_LINESEQ, cont, newOP(OP_UNSTACK, 0));
fb73857a 2861 if ((line_t)whileline != NOLINE) {
2862 copline = whileline;
2863 cont = append_elem(OP_LINESEQ, cont,
2864 newSTATEOP(0, Nullch, Nullop));
2865 }
2866 }
79072805 2867
463ee0b2 2868 listop = append_list(OP_LINESEQ, (LISTOP*)block, (LISTOP*)cont);
79072805
LW
2869 redo = LINKLIST(listop);
2870
2871 if (expr) {
11343788
MB
2872 o = newLOGOP(OP_AND, 0, expr, scalar(listop));
2873 if (o == expr && o->op_type == OP_CONST && !SvTRUE(cSVOPo->op_sv)) {
85e6fe83 2874 op_free(expr); /* oops, it's a while (0) */
463ee0b2
LW
2875 op_free((OP*)loop);
2876 return Nullop; /* (listop already freed by newLOGOP) */
2877 }
aeea060c 2878 ((LISTOP*)listop)->op_last->op_next = condop =
11343788 2879 (o == listop ? redo : LINKLIST(o));
79072805
LW
2880 if (!next)
2881 next = condop;
2882 }
2883 else
11343788 2884 o = listop;
79072805
LW
2885
2886 if (!loop) {
2887 Newz(1101,loop,1,LOOP);
2888 loop->op_type = OP_ENTERLOOP;
2889 loop->op_ppaddr = ppaddr[OP_ENTERLOOP];
2890 loop->op_private = 0;
2891 loop->op_next = (OP*)loop;
2892 }
2893
11343788 2894 o = newBINOP(OP_LEAVELOOP, 0, (OP*)loop, o);
79072805
LW
2895
2896 loop->op_redoop = redo;
11343788 2897 loop->op_lastop = o;
79072805
LW
2898
2899 if (next)
2900 loop->op_nextop = next;
2901 else
11343788 2902 loop->op_nextop = o;
79072805 2903
11343788
MB
2904 o->op_flags |= flags;
2905 o->op_private |= (flags >> 8);
2906 return o;
79072805
LW
2907}
2908
2909OP *
8990e307 2910newFOROP(I32 flags,char *label,line_t forline,OP *sv,OP *expr,OP *block,OP *cont)
79072805
LW
2911{
2912 LOOP *loop;
fb73857a 2913 OP *wop;
85e6fe83 2914 int padoff = 0;
4633a7c4 2915 I32 iterflags = 0;
79072805 2916
79072805 2917 if (sv) {
85e6fe83 2918 if (sv->op_type == OP_RV2SV) { /* symbol table variable */
748a9306
LW
2919 sv->op_type = OP_RV2GV;
2920 sv->op_ppaddr = ppaddr[OP_RV2GV];
79072805 2921 }
85e6fe83
LW
2922 else if (sv->op_type == OP_PADSV) { /* private variable */
2923 padoff = sv->op_targ;
2924 op_free(sv);
2925 sv = Nullop;
2926 }
54b9620d
MB
2927 else if (sv->op_type == OP_THREADSV) { /* per-thread variable */
2928 padoff = sv->op_targ;
2929 iterflags |= OPf_SPECIAL;
2930 op_free(sv);
2931 sv = Nullop;
2932 }
79072805 2933 else
c07a80fd 2934 croak("Can't use %s for loop variable", op_desc[sv->op_type]);
79072805
LW
2935 }
2936 else {
54b9620d
MB
2937#ifdef USE_THREADS
2938 padoff = find_threadsv("_");
2939 iterflags |= OPf_SPECIAL;
2940#else
79072805 2941 sv = newGVOP(OP_GV, 0, defgv);
54b9620d 2942#endif
79072805 2943 }
5f05dabc 2944 if (expr->op_type == OP_RV2AV || expr->op_type == OP_PADAV) {
4633a7c4
LW
2945 expr = scalar(ref(expr, OP_ITER));
2946 iterflags |= OPf_STACKED;
2947 }
2948 loop = (LOOP*)list(convert(OP_ENTERITER, iterflags,
a0d0e21e
LW
2949 append_elem(OP_LIST, mod(force_list(expr), OP_GREPSTART),
2950 scalar(sv))));
85e6fe83
LW
2951 assert(!loop->op_next);
2952 Renew(loop, 1, LOOP);
2953 loop->op_targ = padoff;
fb73857a 2954 wop = newWHILEOP(flags, 1, loop, forline, newOP(OP_ITER, 0), block, cont);
2955 copline = forline;
2956 return newSTATEOP(0, label, wop);
79072805
LW
2957}
2958
8990e307 2959OP*
8ac85365 2960newLOOPEX(I32 type, OP *label)
8990e307 2961{
11343788
MB
2962 dTHR;
2963 OP *o;
8990e307 2964 if (type != OP_GOTO || label->op_type == OP_CONST) {
cdaebead
MB
2965 /* "last()" means "last" */
2966 if (label->op_type == OP_STUB && (label->op_flags & OPf_PARENS))
2967 o = newOP(type, OPf_SPECIAL);
2968 else {
2969 o = newPVOP(type, 0, savepv(label->op_type == OP_CONST
2970 ? SvPVx(((SVOP*)label)->op_sv, na)
2971 : ""));
2972 }
8990e307
LW
2973 op_free(label);
2974 }
2975 else {
a0d0e21e
LW
2976 if (label->op_type == OP_ENTERSUB)
2977 label = newUNOP(OP_REFGEN, 0, mod(label, OP_REFGEN));
11343788 2978 o = newUNOP(type, OPf_STACKED, label);
8990e307 2979 }
85e6fe83 2980 hints |= HINT_BLOCK_SCOPE;
11343788 2981 return o;
8990e307
LW
2982}
2983
79072805 2984void
8ac85365 2985cv_undef(CV *cv)
79072805 2986{
11343788
MB
2987 dTHR;
2988#ifdef USE_THREADS
e858de61
MB
2989 if (CvMUTEXP(cv)) {
2990 MUTEX_DESTROY(CvMUTEXP(cv));
2991 Safefree(CvMUTEXP(cv));
2992 CvMUTEXP(cv) = 0;
2993 }
11343788
MB
2994#endif /* USE_THREADS */
2995
a0d0e21e 2996 if (!CvXSUB(cv) && CvROOT(cv)) {
11343788
MB
2997#ifdef USE_THREADS
2998 if (CvDEPTH(cv) || (CvOWNER(cv) && CvOWNER(cv) != thr))
2999 croak("Can't undef active subroutine");
3000#else
a0d0e21e
LW
3001 if (CvDEPTH(cv))
3002 croak("Can't undef active subroutine");
11343788 3003#endif /* USE_THREADS */
8990e307 3004 ENTER;
a0d0e21e
LW
3005
3006 SAVESPTR(curpad);
3007 curpad = 0;
3008
a5f75d66 3009 if (!CvCLONED(cv))
748a9306 3010 op_free(CvROOT(cv));
79072805 3011 CvROOT(cv) = Nullop;
8990e307 3012 LEAVE;
79072805 3013 }
1d5db326 3014 SvPOK_off((SV*)cv); /* forget prototype */
44a8e56a 3015 CvFLAGS(cv) = 0;
8e07c86e
AD
3016 SvREFCNT_dec(CvGV(cv));
3017 CvGV(cv) = Nullgv;
3018 SvREFCNT_dec(CvOUTSIDE(cv));
3019 CvOUTSIDE(cv) = Nullcv;
3020 if (CvPADLIST(cv)) {
8ebc5c01 3021 /* may be during global destruction */
3022 if (SvREFCNT(CvPADLIST(cv))) {
93965878 3023 I32 i = AvFILLp(CvPADLIST(cv));
8ebc5c01 3024 while (i >= 0) {
3025 SV** svp = av_fetch(CvPADLIST(cv), i--, FALSE);
46fc3d4c 3026 SV* sv = svp ? *svp : Nullsv;
3027 if (!sv)
3028 continue;
3029 if (sv == (SV*)comppad_name)
3030 comppad_name = Nullav;
3031 else if (sv == (SV*)comppad) {
3032 comppad = Nullav;
3033 curpad = Null(SV**);
3034 }
3035 SvREFCNT_dec(sv);
8ebc5c01 3036 }
3037 SvREFCNT_dec((SV*)CvPADLIST(cv));
8e07c86e 3038 }
8e07c86e
AD
3039 CvPADLIST(cv) = Nullav;
3040 }
79072805
LW
3041}
3042
5f05dabc 3043#ifdef DEBUG_CLOSURES
76e3520e 3044STATIC void
5f05dabc 3045cv_dump(cv)
3046CV* cv;
3047{
3048 CV *outside = CvOUTSIDE(cv);
3049 AV* padlist = CvPADLIST(cv);
4fdae800 3050 AV* pad_name;
3051 AV* pad;
3052 SV** pname;
3053 SV** ppad;
5f05dabc 3054 I32 ix;
3055
fb73857a 3056 PerlIO_printf(Perl_debug_log, "\tCV=0x%lx (%s), OUTSIDE=0x%lx (%s)\n",
ab50184a
CS
3057 cv,
3058 (CvANON(cv) ? "ANON"
3059 : (cv == main_cv) ? "MAIN"
07055b4c 3060 : CvUNIQUE(outside) ? "UNIQUE"
44a8e56a 3061 : CvGV(cv) ? GvNAME(CvGV(cv)) : "UNDEFINED"),
ab50184a
CS
3062 outside,
3063 (!outside ? "null"
3064 : CvANON(outside) ? "ANON"
3065 : (outside == main_cv) ? "MAIN"
07055b4c 3066 : CvUNIQUE(outside) ? "UNIQUE"
44a8e56a 3067 : CvGV(outside) ? GvNAME(CvGV(outside)) : "UNDEFINED"));
5f05dabc 3068
4fdae800 3069 if (!padlist)
3070 return;
3071
3072 pad_name = (AV*)*av_fetch(padlist, 0, FALSE);
3073 pad = (AV*)*av_fetch(padlist, 1, FALSE);
3074 pname = AvARRAY(pad_name);
3075 ppad = AvARRAY(pad);
3076
93965878 3077 for (ix = 1; ix <= AvFILLp(pad_name); ix++) {
5f05dabc 3078 if (SvPOK(pname[ix]))
fb73857a 3079 PerlIO_printf(Perl_debug_log, "\t%4d. 0x%lx (%s\"%s\" %ld-%ld)\n",
4fdae800 3080 ix, ppad[ix],
3081 SvFAKE(pname[ix]) ? "FAKE " : "",
3082 SvPVX(pname[ix]),
ab50184a
CS
3083 (long)I_32(SvNVX(pname[ix])),
3084 (long)SvIVX(pname[ix]));
5f05dabc 3085 }
3086}
3087#endif /* DEBUG_CLOSURES */
3088
76e3520e 3089STATIC CV *
8ac85365 3090cv_clone2(CV *proto, CV *outside)
748a9306 3091{
11343788 3092 dTHR;
748a9306
LW
3093 AV* av;
3094 I32 ix;
3095 AV* protopadlist = CvPADLIST(proto);
3096 AV* protopad_name = (AV*)*av_fetch(protopadlist, 0, FALSE);
3097 AV* protopad = (AV*)*av_fetch(protopadlist, 1, FALSE);
5f05dabc 3098 SV** pname = AvARRAY(protopad_name);
3099 SV** ppad = AvARRAY(protopad);
93965878
NIS
3100 I32 fname = AvFILLp(protopad_name);
3101 I32 fpad = AvFILLp(protopad);
748a9306
LW
3102 AV* comppadlist;
3103 CV* cv;
3104
07055b4c
CS
3105 assert(!CvUNIQUE(proto));
3106
748a9306
LW
3107 ENTER;
3108 SAVESPTR(curpad);
3109 SAVESPTR(comppad);
46fc3d4c 3110 SAVESPTR(comppad_name);
748a9306
LW
3111 SAVESPTR(compcv);
3112
3113 cv = compcv = (CV*)NEWSV(1104,0);
fa83b5b6 3114 sv_upgrade((SV *)cv, SvTYPE(proto));
a5f75d66 3115 CvCLONED_on(cv);
5f05dabc 3116 if (CvANON(proto))
3117 CvANON_on(cv);
748a9306 3118
11343788 3119#ifdef USE_THREADS
12ca11f6 3120 New(666, CvMUTEXP(cv), 1, perl_mutex);
11343788 3121 MUTEX_INIT(CvMUTEXP(cv));
11343788
MB
3122 CvOWNER(cv) = 0;
3123#endif /* USE_THREADS */
748a9306 3124 CvFILEGV(cv) = CvFILEGV(proto);
44a8e56a 3125 CvGV(cv) = (GV*)SvREFCNT_inc(CvGV(proto));
748a9306
LW
3126 CvSTASH(cv) = CvSTASH(proto);
3127 CvROOT(cv) = CvROOT(proto);
3128 CvSTART(cv) = CvSTART(proto);
5f05dabc 3129 if (outside)
3130 CvOUTSIDE(cv) = (CV*)SvREFCNT_inc(outside);
748a9306 3131
68dc0745 3132 if (SvPOK(proto))
3133 sv_setpvn((SV*)cv, SvPVX(proto), SvCUR(proto));
3134
46fc3d4c 3135 comppad_name = newAV();
3136 for (ix = fname; ix >= 0; ix--)
3137 av_store(comppad_name, ix, SvREFCNT_inc(pname[ix]));
748a9306
LW
3138
3139 comppad = newAV();
3140
3141 comppadlist = newAV();
3142 AvREAL_off(comppadlist);
46fc3d4c 3143 av_store(comppadlist, 0, (SV*)comppad_name);
b355b4e0 3144 av_store(comppadlist, 1, (SV*)comppad);
748a9306 3145 CvPADLIST(cv) = comppadlist;
93965878 3146 av_fill(comppad, AvFILLp(protopad));
748a9306
LW
3147 curpad = AvARRAY(comppad);
3148
3149 av = newAV(); /* will be @_ */
3150 av_extend(av, 0);
3151 av_store(comppad, 0, (SV*)av);
3152 AvFLAGS(av) = AVf_REIFY;
3153
9607fc9c 3154 for (ix = fpad; ix > 0; ix--) {
3155 SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
aa689395 3156 if (namesv && namesv != &sv_undef) {
3157 char *name = SvPVX(namesv); /* XXX */
3158 if (SvFLAGS(namesv) & SVf_FAKE) { /* lexical from outside? */
3159 I32 off = pad_findlex(name, ix, SvIVX(namesv),
5f05dabc 3160 CvOUTSIDE(cv), cxstack_ix);
3161 if (!off)
3162 curpad[ix] = SvREFCNT_inc(ppad[ix]);
3163 else if (off != ix)
748a9306
LW
3164 croak("panic: cv_clone: %s", name);
3165 }
3166 else { /* our own lexical */
aa689395 3167 SV* sv;
5f05dabc 3168 if (*name == '&') {
3169 /* anon code -- we'll come back for it */
3170 sv = SvREFCNT_inc(ppad[ix]);
3171 }
3172 else if (*name == '@')
3173 sv = (SV*)newAV();
748a9306 3174 else if (*name == '%')
5f05dabc 3175 sv = (SV*)newHV();
748a9306 3176 else
5f05dabc 3177 sv = NEWSV(0,0);
3178 if (!SvPADBUSY(sv))
3179 SvPADMY_on(sv);
3180 curpad[ix] = sv;
748a9306
LW
3181 }
3182 }
3183 else {
aa689395 3184 SV* sv = NEWSV(0,0);
748a9306 3185 SvPADTMP_on(sv);
5f05dabc 3186 curpad[ix] = sv;
748a9306
LW
3187 }
3188 }
3189
5f05dabc 3190 /* Now that vars are all in place, clone nested closures. */
3191
9607fc9c 3192 for (ix = fpad; ix > 0; ix--) {
3193 SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
aa689395 3194 if (namesv
3195 && namesv != &sv_undef
3196 && !(SvFLAGS(namesv) & SVf_FAKE)
3197 && *SvPVX(namesv) == '&'
5f05dabc 3198 && CvCLONE(ppad[ix]))
3199 {
3200 CV *kid = cv_clone2((CV*)ppad[ix], cv);
3201 SvREFCNT_dec(ppad[ix]);
3202 CvCLONE_on(kid);
3203 SvPADMY_on(kid);
3204 curpad[ix] = (SV*)kid;
748a9306
LW
3205 }
3206 }
3207
5f05dabc 3208#ifdef DEBUG_CLOSURES
ab50184a
CS
3209 PerlIO_printf(Perl_debug_log, "Cloned inside:\n");
3210 cv_dump(outside);
3211 PerlIO_printf(Perl_debug_log, " from:\n");
5f05dabc 3212 cv_dump(proto);
ab50184a 3213 PerlIO_printf(Perl_debug_log, " to:\n");
5f05dabc 3214 cv_dump(cv);
3215#endif
3216
748a9306
LW
3217 LEAVE;
3218 return cv;
3219}
3220
3221CV *
8ac85365 3222cv_clone(CV *proto)
5f05dabc 3223{
3224 return cv_clone2(proto, CvOUTSIDE(proto));
3225}
3226
3fe9a6f1 3227void
8ac85365 3228cv_ckproto(CV *cv, GV *gv, char *p)
3fe9a6f1 3229{
3230 if ((!p != !SvPOK(cv)) || (p && strNE(p, SvPVX(cv)))) {
46fc3d4c 3231 SV* msg = sv_newmortal();
3fe9a6f1 3232 SV* name = Nullsv;
3233
3234 if (gv)
46fc3d4c 3235 gv_efullname3(name = sv_newmortal(), gv, Nullch);
3236 sv_setpv(msg, "Prototype mismatch:");
3237 if (name)
fc36a67e 3238 sv_catpvf(msg, " sub %_", name);
3fe9a6f1 3239 if (SvPOK(cv))
46fc3d4c 3240 sv_catpvf(msg, " (%s)", SvPVX(cv));
3241 sv_catpv(msg, " vs ");
3242 if (p)
3243 sv_catpvf(msg, "(%s)", p);
3244 else
3245 sv_catpv(msg, "none");
fc36a67e 3246 warn("%_", msg);
3fe9a6f1 3247 }
3248}
3249
760ac839 3250SV *
8ac85365 3251cv_const_sv(CV *cv)
760ac839
LW
3252{
3253 OP *o;
54310121 3254 SV *sv;
aeea060c 3255
54310121 3256 if (!cv || !SvPOK(cv) || SvCUR(cv))
3257 return Nullsv;
760ac839 3258
54310121 3259 sv = Nullsv;
3260 for (o = CvSTART(cv); o; o = o->op_next) {
3261 OPCODE type = o->op_type;
3262
3263 if (type == OP_NEXTSTATE || type == OP_NULL || type == OP_PUSHMARK)
3264 continue;
3265 if (type == OP_LEAVESUB || type == OP_RETURN)
3266 break;
3267 if (sv)
3268 return Nullsv;
3269 if (type == OP_CONST)
5dc0d613 3270 sv = cSVOPo->op_sv;
54310121 3271 else if (type == OP_PADSV) {
e858de61
MB
3272 AV* padav = (AV*)(AvARRAY(CvPADLIST(cv))[1]);
3273 sv = padav ? AvARRAY(padav)[o->op_targ] : Nullsv;
5aabfad6 3274 if (!sv || (!SvREADONLY(sv) && SvREFCNT(sv) > 1))
54310121 3275 return Nullsv;
760ac839 3276 }
54310121 3277 else
3278 return Nullsv;
760ac839 3279 }
5aabfad6 3280 if (sv)
3281 SvREADONLY_on(sv);
760ac839
LW
3282 return sv;
3283}
3284
748a9306 3285CV *
8ac85365 3286newSUB(I32 floor, OP *o, OP *proto, OP *block)
79072805 3287{
11343788 3288 dTHR;
5dc0d613 3289 char *name = o ? SvPVx(cSVOPo->op_sv, na) : Nullch;
44a8e56a 3290 GV *gv = gv_fetchpv(name ? name : "__ANON__", GV_ADDMULTI, SVt_PVCV);
3fe9a6f1 3291 char *ps = proto ? SvPVx(((SVOP*)proto)->op_sv, na) : Nullch;
79072805 3292 register CV *cv;
a0d0e21e 3293 I32 ix;
79072805 3294
11343788 3295 if (o)
5dc0d613 3296 SAVEFREEOP(o);
3fe9a6f1 3297 if (proto)
3298 SAVEFREEOP(proto);
3299
68dc0745 3300 if (!name || GvCVGEN(gv))
3301 cv = Nullcv;
3302 else if (cv = GvCV(gv)) {
3fe9a6f1 3303 cv_ckproto(cv, gv, ps);
68dc0745 3304 /* already defined (or promised)? */
3305 if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
3306 SV* const_sv;
aa689395 3307 if (!block) {
3308 /* just a "sub foo;" when &foo is already defined */
3309 SAVEFREESV(compcv);
3310 goto done;
3311 }
7bac28a0 3312 /* ahem, death to those who redefine active sort subs */
3313 if (curstack == sortstack && sortcop == CvSTART(cv))
3314 croak("Can't redefine active sort subroutine %s", name);
68dc0745 3315 const_sv = cv_const_sv(cv);
44a8e56a 3316 if (const_sv || dowarn) {
79072805 3317 line_t oldline = curcop->cop_line;
79072805 3318 curcop->cop_line = copline;
760ac839 3319 warn(const_sv ? "Constant subroutine %s redefined"
68dc0745 3320 : "Subroutine %s redefined", name);
79072805
LW
3321 curcop->cop_line = oldline;
3322 }
8990e307 3323 SvREFCNT_dec(cv);
68dc0745 3324 cv = Nullcv;
79072805
LW
3325 }
3326 }
a0d0e21e 3327 if (cv) { /* must reuse cv if autoloaded */
4633a7c4 3328 cv_undef(cv);
44a8e56a 3329 CvFLAGS(cv) = CvFLAGS(compcv);
748a9306 3330 CvOUTSIDE(cv) = CvOUTSIDE(compcv);
e9a444f0 3331 CvOUTSIDE(compcv) = 0;
748a9306 3332 CvPADLIST(cv) = CvPADLIST(compcv);
4aa0a1f7 3333 CvPADLIST(compcv) = 0;
4633a7c4
LW
3334 if (SvREFCNT(compcv) > 1) /* XXX Make closures transit through stub. */
3335 CvOUTSIDE(compcv) = (CV*)SvREFCNT_inc((SV*)cv);
748a9306 3336 SvREFCNT_dec(compcv);
a0d0e21e
LW
3337 }
3338 else {
748a9306 3339 cv = compcv;
44a8e56a 3340 if (name) {
3341 GvCV(gv) = cv;
3342 GvCVGEN(gv) = 0;
3343 sub_generation++;
3344 }
a0d0e21e 3345 }
44a8e56a 3346 CvGV(cv) = (GV*)SvREFCNT_inc(gv);
79072805 3347 CvFILEGV(cv) = curcop->cop_filegv;
8990e307 3348 CvSTASH(cv) = curstash;
11343788
MB
3349#ifdef USE_THREADS
3350 CvOWNER(cv) = 0;
12ca11f6 3351 New(666, CvMUTEXP(cv), 1, perl_mutex);
11343788 3352 MUTEX_INIT(CvMUTEXP(cv));
11343788 3353#endif /* USE_THREADS */
8990e307 3354
3fe9a6f1 3355 if (ps)
3356 sv_setpv((SV*)cv, ps);
4633a7c4 3357
c07a80fd 3358 if (error_count) {
3359 op_free(block);
3360 block = Nullop;
68dc0745 3361 if (name) {
3362 char *s = strrchr(name, ':');
3363 s = s ? s+1 : name;
6d4c2119
CS
3364 if (strEQ(s, "BEGIN")) {
3365 char *not_safe =
3366 "BEGIN not safe after errors--compilation aborted";
3367 if (in_eval & 4)
3368 croak(not_safe);
3369 else {
3370 /* force display of errors found but not reported */
38a03e6e
MB
3371 sv_catpv(ERRSV, not_safe);
3372 croak("%s", SvPVx(ERRSV, na));
6d4c2119
CS
3373 }
3374 }
68dc0745 3375 }
c07a80fd 3376 }
a0d0e21e 3377 if (!block) {
a0d0e21e
LW
3378 copline = NOLINE;
3379 LEAVE_SCOPE(floor);
3380 return cv;
3381 }
3382
93965878
NIS
3383 if (AvFILLp(comppad_name) < AvFILLp(comppad))
3384 av_store(comppad_name, AvFILLp(comppad), Nullsv);
a0d0e21e 3385
54310121 3386 if (CvCLONE(cv)) {
3387 SV **namep = AvARRAY(comppad_name);
93965878 3388 for (ix = AvFILLp(comppad); ix > 0; ix--) {
54310121 3389 SV *namesv;
3390
3391 if (SvIMMORTAL(curpad[ix]))
3392 continue;
3393 /*
3394 * The only things that a clonable function needs in its
3395 * pad are references to outer lexicals and anonymous subs.
3396 * The rest are created anew during cloning.
3397 */
3398 if (!((namesv = namep[ix]) != Nullsv &&
3399 namesv != &sv_undef &&
3400 (SvFAKE(namesv) ||
3401 *SvPVX(namesv) == '&')))
3402 {
3403 SvREFCNT_dec(curpad[ix]);
3404 curpad[ix] = Nullsv;
3405 }
3406 }
a0d0e21e 3407 }
54310121 3408 else {
3409 AV *av = newAV(); /* Will be @_ */
3410 av_extend(av, 0);
3411 av_store(comppad, 0, (SV*)av);
3412 AvFLAGS(av) = AVf_REIFY;
79072805 3413
93965878 3414 for (ix = AvFILLp(comppad); ix > 0; ix--) {
54310121 3415 if (SvIMMORTAL(curpad[ix]))
3416 continue;
3417 if (!SvPADMY(curpad[ix]))
3418 SvPADTMP_on(curpad[ix]);
3419 }
3420 }
79072805 3421
a0d0e21e 3422 CvROOT(cv) = newUNOP(OP_LEAVESUB, 0, scalarseq(block));
79072805
LW
3423 CvSTART(cv) = LINKLIST(CvROOT(cv));
3424 CvROOT(cv)->op_next = 0;
3425 peep(CvSTART(cv));
93a17b20 3426
44a8e56a 3427 if (name) {
3428 char *s;
3429
84902520 3430 if (PERLDB_SUBLINE && curstash != debstash) {
46fc3d4c 3431 SV *sv = NEWSV(0,0);
44a8e56a 3432 SV *tmpstr = sv_newmortal();
549bb64a 3433 GV *db_postponed = gv_fetchpv("DB::postponed", GV_ADDMULTI, SVt_PVHV);
44a8e56a 3434 CV *cv;
3435 HV *hv;
3436
51790459
MB
3437 sv_setpvf(sv, "%_:%ld-%ld",
3438 GvSV(curcop->cop_filegv),
3439 (long)subline, (long)curcop->cop_line);
44a8e56a 3440 gv_efullname3(tmpstr, gv, Nullch);
3441 hv_store(GvHV(DBsub), SvPVX(tmpstr), SvCUR(tmpstr), sv, 0);
44a8e56a 3442 hv = GvHVn(db_postponed);
9607fc9c 3443 if (HvFILL(hv) > 0 && hv_exists(hv, SvPVX(tmpstr), SvCUR(tmpstr))
3444 && (cv = GvCV(db_postponed))) {
44a8e56a 3445 dSP;
3446 PUSHMARK(sp);
3447 XPUSHs(tmpstr);
3448 PUTBACK;
3449 perl_call_sv((SV*)cv, G_DISCARD);
3450 }
3451 }
79072805 3452
44a8e56a 3453 if ((s = strrchr(name,':')))
28757baa 3454 s++;
3455 else
3456 s = name;
68dc0745 3457 if (strEQ(s, "BEGIN")) {
2ae324a7 3458 I32 oldscope = scopestack_ix;
28757baa 3459 ENTER;
3460 SAVESPTR(compiling.cop_filegv);
3461 SAVEI16(compiling.cop_line);
3462 SAVEI32(perldb);
3463 save_svref(&rs);
3464 sv_setsv(rs, nrs);
3465
3466 if (!beginav)
3467 beginav = newAV();
3468 DEBUG_x( dump_sub(gv) );
3469 av_push(beginav, (SV *)cv);
3470 GvCV(gv) = 0;
68dc0745 3471 call_list(oldscope, beginav);
a6006777 3472
28757baa 3473 curcop = &compiling;
3474 LEAVE;
3475 }
3476 else if (strEQ(s, "END") && !error_count) {
3477 if (!endav)
3478 endav = newAV();
3479 av_unshift(endav, 1);
3480 av_store(endav, 0, (SV *)cv);
3481 GvCV(gv) = 0;
3482 }
7d07dbc2
MB
3483 else if (strEQ(s, "INIT") && !error_count) {
3484 if (!initav)
3485 initav = newAV();
3486 av_push(initav, SvREFCNT_inc(cv));
ae77835f 3487 }
79072805 3488 }
a6006777 3489
aa689395 3490 done:
79072805 3491 copline = NOLINE;
8990e307 3492 LEAVE_SCOPE(floor);
a0d0e21e 3493 return cv;
79072805
LW
3494}
3495
57d3b86d 3496CV *
76e3520e 3497newXS(char *name, void (*subaddr) (CPERLproto_ CV *), char *filename)
a0d0e21e 3498{
11343788 3499 dTHR;
44a8e56a 3500 GV *gv = gv_fetchpv(name ? name : "__ANON__", GV_ADDMULTI, SVt_PVCV);
79072805 3501 register CV *cv;
44a8e56a 3502
3503 if (cv = (name ? GvCV(gv) : Nullcv)) {
3504 if (GvCVGEN(gv)) {
3505 /* just a cached method */
3506 SvREFCNT_dec(cv);
3507 cv = 0;
3508 }
3509 else if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
3510 /* already defined (or promised) */
a0d0e21e
LW
3511 if (dowarn) {
3512 line_t oldline = curcop->cop_line;
a0d0e21e
LW
3513 curcop->cop_line = copline;
3514 warn("Subroutine %s redefined",name);
3515 curcop->cop_line = oldline;
3516 }
3517 SvREFCNT_dec(cv);
3518 cv = 0;
79072805 3519 }
79072805 3520 }
44a8e56a 3521
3522 if (cv) /* must reuse cv if autoloaded */
3523 cv_undef(cv);
a0d0e21e
LW
3524 else {
3525 cv = (CV*)NEWSV(1105,0);
3526 sv_upgrade((SV *)cv, SVt_PVCV);
44a8e56a 3527 if (name) {
3528 GvCV(gv) = cv;
3529 GvCVGEN(gv) = 0;
3530 sub_generation++;
3531 }
a0d0e21e 3532 }
5196be3e 3533 CvGV(cv) = (GV*)SvREFCNT_inc(gv);
11343788 3534#ifdef USE_THREADS
12ca11f6 3535 New(666, CvMUTEXP(cv), 1, perl_mutex);
11343788 3536 MUTEX_INIT(CvMUTEXP(cv));
11343788
MB
3537 CvOWNER(cv) = 0;
3538#endif /* USE_THREADS */
79072805 3539 CvFILEGV(cv) = gv_fetchfile(filename);
a0d0e21e 3540 CvXSUB(cv) = subaddr;
44a8e56a 3541
28757baa 3542 if (name) {
3543 char *s = strrchr(name,':');
3544 if (s)
3545 s++;
3546 else
3547 s = name;
3548 if (strEQ(s, "BEGIN")) {
3549 if (!beginav)
3550 beginav = newAV();
44a8e56a 3551 av_push(beginav, (SV *)cv);
3552 GvCV(gv) = 0;
28757baa 3553 }
3554 else if (strEQ(s, "END")) {
3555 if (!endav)
3556 endav = newAV();
3557 av_unshift(endav, 1);
44a8e56a 3558 av_store(endav, 0, (SV *)cv);
3559 GvCV(gv) = 0;
28757baa 3560 }
7d07dbc2
MB
3561 else if (strEQ(s, "INIT")) {
3562 if (!initav)
3563 initav = newAV();
3564 av_push(initav, (SV *)cv);
ae77835f 3565 }
28757baa 3566 }
8990e307 3567 else
a5f75d66 3568 CvANON_on(cv);
44a8e56a 3569
a0d0e21e 3570 return cv;
79072805
LW
3571}
3572
3573void
8ac85365 3574newFORM(I32 floor, OP *o, OP *block)
79072805 3575{
11343788 3576 dTHR;
79072805
LW
3577 register CV *cv;
3578 char *name;
3579 GV *gv;
a0d0e21e 3580 I32 ix;
79072805 3581
11343788
MB
3582 if (o)
3583 name = SvPVx(cSVOPo->op_sv, na);
79072805
LW
3584 else
3585 name = "STDOUT";
85e6fe83 3586 gv = gv_fetchpv(name,TRUE, SVt_PVFM);
a5f75d66 3587 GvMULTI_on(gv);
79072805
LW
3588 if (cv = GvFORM(gv)) {
3589 if (dowarn) {
3590 line_t oldline = curcop->cop_line;
3591
3592 curcop->cop_line = copline;
3593 warn("Format %s redefined",name);
3594 curcop->cop_line = oldline;
3595 }
8990e307 3596 SvREFCNT_dec(cv);
79072805 3597 }
748a9306 3598 cv = compcv;
79072805 3599 GvFORM(gv) = cv;
44a8e56a 3600 CvGV(cv) = (GV*)SvREFCNT_inc(gv);
79072805
LW
3601 CvFILEGV(cv) = curcop->cop_filegv;
3602
93965878 3603 for (ix = AvFILLp(comppad); ix > 0; ix--) {
44a8e56a 3604 if (!SvPADMY(curpad[ix]) && !SvIMMORTAL(curpad[ix]))
a0d0e21e
LW
3605 SvPADTMP_on(curpad[ix]);
3606 }
3607
79072805
LW
3608 CvROOT(cv) = newUNOP(OP_LEAVEWRITE, 0, scalarseq(block));
3609 CvSTART(cv) = LINKLIST(CvROOT(cv));
3610 CvROOT(cv)->op_next = 0;
3611 peep(CvSTART(cv));
11343788 3612 op_free(o);
79072805 3613 copline = NOLINE;
8990e307 3614 LEAVE_SCOPE(floor);
79072805
LW
3615}
3616
3617OP *
8ac85365 3618newANONLIST(OP *o)
79072805 3619{
93a17b20 3620 return newUNOP(OP_REFGEN, 0,
11343788 3621 mod(list(convert(OP_ANONLIST, 0, o)), OP_REFGEN));
79072805
LW
3622}
3623
3624OP *
8ac85365 3625newANONHASH(OP *o)
79072805 3626{
93a17b20 3627 return newUNOP(OP_REFGEN, 0,
11343788 3628 mod(list(convert(OP_ANONHASH, 0, o)), OP_REFGEN));
a0d0e21e
LW
3629}
3630
3631OP *
8ac85365 3632newANONSUB(I32 floor, OP *proto, OP *block)
a0d0e21e
LW
3633{
3634 return newUNOP(OP_REFGEN, 0,
4633a7c4 3635 newSVOP(OP_ANONCODE, 0, (SV*)newSUB(floor, 0, proto, block)));
79072805
LW
3636}
3637
3638OP *
8ac85365 3639oopsAV(OP *o)
79072805 3640{
ed6116ce
LW
3641 switch (o->op_type) {
3642 case OP_PADSV:
3643 o->op_type = OP_PADAV;
3644 o->op_ppaddr = ppaddr[OP_PADAV];
3645 return ref(newUNOP(OP_RV2AV, 0, scalar(o)), OP_RV2AV);
3646
3647 case OP_RV2SV:
79072805
LW
3648 o->op_type = OP_RV2AV;
3649 o->op_ppaddr = ppaddr[OP_RV2AV];
3650 ref(o, OP_RV2AV);
ed6116ce
LW
3651 break;
3652
3653 default:
79072805 3654 warn("oops: oopsAV");
ed6116ce
LW
3655 break;
3656 }
79072805
LW
3657 return o;
3658}
3659
3660OP *
8ac85365 3661oopsHV(OP *o)
79072805 3662{
ed6116ce
LW
3663 switch (o->op_type) {
3664 case OP_PADSV:
3665 case OP_PADAV:
3666 o->op_type = OP_PADHV;
3667 o->op_ppaddr = ppaddr[OP_PADHV];
3668 return ref(newUNOP(OP_RV2HV, 0, scalar(o)), OP_RV2HV);
3669
3670 case OP_RV2SV:
3671 case OP_RV2AV:
79072805
LW
3672 o->op_type = OP_RV2HV;
3673 o->op_ppaddr = ppaddr[OP_RV2HV];
3674 ref(o, OP_RV2HV);
ed6116ce
LW
3675 break;
3676
3677 default:
79072805 3678 warn("oops: oopsHV");
ed6116ce
LW
3679 break;
3680 }
79072805
LW
3681 return o;
3682}
3683
3684OP *
8ac85365 3685newAVREF(OP *o)
79072805 3686{
ed6116ce
LW
3687 if (o->op_type == OP_PADANY) {
3688 o->op_type = OP_PADAV;
3689 o->op_ppaddr = ppaddr[OP_PADAV];
93a17b20 3690 return o;
ed6116ce 3691 }
79072805
LW
3692 return newUNOP(OP_RV2AV, 0, scalar(o));
3693}
3694
3695OP *
8ac85365 3696newGVREF(I32 type, OP *o)
79072805 3697{
a0d0e21e
LW
3698 if (type == OP_MAPSTART)
3699 return newUNOP(OP_NULL, 0, o);
748a9306 3700 return ref(newUNOP(OP_RV2GV, OPf_REF, o), type);
79072805
LW
3701}
3702
3703OP *
8ac85365 3704newHVREF(OP *o)
79072805 3705{
ed6116ce
LW
3706 if (o->op_type == OP_PADANY) {
3707 o->op_type = OP_PADHV;
3708 o->op_ppaddr = ppaddr[OP_PADHV];
93a17b20 3709 return o;
ed6116ce 3710 }
79072805
LW
3711 return newUNOP(OP_RV2HV, 0, scalar(o));
3712}
3713
3714OP *
8ac85365 3715oopsCV(OP *o)
79072805 3716{
463ee0b2 3717 croak("NOT IMPL LINE %d",__LINE__);
79072805
LW
3718 /* STUB */
3719 return o;
3720}
3721
3722OP *
8ac85365 3723newCVREF(I32 flags, OP *o)
79072805 3724{
c07a80fd 3725 return newUNOP(OP_RV2CV, flags, scalar(o));
79072805
LW
3726}
3727
3728OP *
8ac85365 3729newSVREF(OP *o)
79072805 3730{
ed6116ce
LW
3731 if (o->op_type == OP_PADANY) {
3732 o->op_type = OP_PADSV;
3733 o->op_ppaddr = ppaddr[OP_PADSV];
93a17b20 3734 return o;
ed6116ce 3735 }
224a4551
MB
3736 else if (o->op_type == OP_THREADSV && !(o->op_flags & OPpDONE_SVREF)) {
3737 o->op_flags |= OPpDONE_SVREF;
a863c7d1 3738 return o;
224a4551 3739 }
79072805
LW
3740 return newUNOP(OP_RV2SV, 0, scalar(o));
3741}
3742
3743/* Check routines. */
3744
3745OP *
8ac85365 3746ck_anoncode(OP *o)
5f05dabc 3747{
178c6305
CS
3748 PADOFFSET ix;
3749 SV* name;
3750
3751 name = NEWSV(1106,0);
3752 sv_upgrade(name, SVt_PVNV);
3753 sv_setpvn(name, "&", 1);
3754 SvIVX(name) = -1;
3755 SvNVX(name) = 1;
5dc0d613 3756 ix = pad_alloc(o->op_type, SVs_PADMY);
178c6305 3757 av_store(comppad_name, ix, name);
5dc0d613
MB
3758 av_store(comppad, ix, cSVOPo->op_sv);
3759 SvPADMY_on(cSVOPo->op_sv);
3760 cSVOPo->op_sv = Nullsv;
3761 cSVOPo->op_targ = ix;
3762 return o;
5f05dabc 3763}
3764
3765OP *
8ac85365 3766ck_bitop(OP *o)
55497cff 3767{
5dc0d613
MB
3768 o->op_private = hints;
3769 return o;
55497cff 3770}
3771
3772OP *
8ac85365 3773ck_concat(OP *o)
79072805 3774{
11343788
MB
3775 if (cUNOPo->op_first->op_type == OP_CONCAT)
3776 o->op_flags |= OPf_STACKED;
3777 return o;
79072805
LW
3778}
3779
3780OP *
8ac85365 3781ck_spair(OP *o)
79072805 3782{
11343788 3783 if (o->op_flags & OPf_KIDS) {
79072805 3784 OP* newop;
a0d0e21e 3785 OP* kid;
5dc0d613
MB
3786 OPCODE type = o->op_type;
3787 o = modkids(ck_fun(o), type);
11343788 3788 kid = cUNOPo->op_first;
a0d0e21e
LW
3789 newop = kUNOP->op_first->op_sibling;
3790 if (newop &&
3791 (newop->op_sibling ||
3792 !(opargs[newop->op_type] & OA_RETSCALAR) ||
3793 newop->op_type == OP_PADAV || newop->op_type == OP_PADHV ||
3794 newop->op_type == OP_RV2AV || newop->op_type == OP_RV2HV)) {
aeea060c 3795
11343788 3796 return o;
a0d0e21e
LW
3797 }
3798 op_free(kUNOP->op_first);
3799 kUNOP->op_first = newop;
3800 }
11343788
MB
3801 o->op_ppaddr = ppaddr[++o->op_type];
3802 return ck_fun(o);
a0d0e21e
LW
3803}
3804
3805OP *
8ac85365 3806ck_delete(OP *o)
a0d0e21e 3807{
11343788 3808 o = ck_fun(o);
5dc0d613 3809 o->op_private = 0;
11343788
MB
3810 if (o->op_flags & OPf_KIDS) {
3811 OP *kid = cUNOPo->op_first;
5f05dabc 3812 if (kid->op_type == OP_HSLICE)
5dc0d613 3813 o->op_private |= OPpSLICE;
5f05dabc 3814 else if (kid->op_type != OP_HELEM)
3815 croak("%s argument is not a HASH element or slice",
5dc0d613 3816 op_desc[o->op_type]);
a0d0e21e 3817 null(kid);
79072805 3818 }
11343788 3819 return o;
79072805
LW
3820}
3821
3822OP *
8ac85365 3823ck_eof(OP *o)
79072805 3824{
11343788 3825 I32 type = o->op_type;
79072805 3826
11343788
MB
3827 if (o->op_flags & OPf_KIDS) {
3828 if (cLISTOPo->op_first->op_type == OP_STUB) {
3829 op_free(o);
3830 o = newUNOP(type, OPf_SPECIAL,
d58bf5aa 3831 newGVOP(OP_GV, 0, gv_fetchpv("main::ARGV", TRUE, SVt_PVAV)));
8990e307 3832 }
11343788 3833 return ck_fun(o);
79072805 3834 }
11343788 3835 return o;
79072805
LW
3836}
3837
3838OP *
8ac85365 3839ck_eval(OP *o)
79072805 3840{
85e6fe83 3841 hints |= HINT_BLOCK_SCOPE;
11343788
MB
3842 if (o->op_flags & OPf_KIDS) {
3843 SVOP *kid = (SVOP*)cUNOPo->op_first;
79072805 3844
93a17b20 3845 if (!kid) {
11343788
MB
3846 o->op_flags &= ~OPf_KIDS;
3847 null(o);
79072805
LW
3848 }
3849 else if (kid->op_type == OP_LINESEQ) {
3850 LOGOP *enter;
3851
11343788
MB
3852 kid->op_next = o->op_next;
3853 cUNOPo->op_first = 0;
3854 op_free(o);
79072805
LW
3855
3856 Newz(1101, enter, 1, LOGOP);
3857 enter->op_type = OP_ENTERTRY;
3858 enter->op_ppaddr = ppaddr[OP_ENTERTRY];
3859 enter->op_private = 0;
3860
3861 /* establish postfix order */
3862 enter->op_next = (OP*)enter;
3863
11343788
MB
3864 o = prepend_elem(OP_LINESEQ, (OP*)enter, (OP*)kid);
3865 o->op_type = OP_LEAVETRY;
3866 o->op_ppaddr = ppaddr[OP_LEAVETRY];
3867 enter->op_other = o;
3868 return o;
79072805 3869 }
c7cc6f1c 3870 else
473986ff 3871 scalar((OP*)kid);
79072805
LW
3872 }
3873 else {
11343788 3874 op_free(o);
54b9620d 3875 o = newUNOP(OP_ENTEREVAL, 0, newDEFSVOP());
79072805 3876 }
11343788
MB
3877 o->op_targ = (PADOFFSET)hints;
3878 return o;
79072805
LW
3879}
3880
3881OP *
8ac85365 3882ck_exec(OP *o)
79072805
LW
3883{
3884 OP *kid;
11343788
MB
3885 if (o->op_flags & OPf_STACKED) {
3886 o = ck_fun(o);
3887 kid = cUNOPo->op_first->op_sibling;
8990e307
LW
3888 if (kid->op_type == OP_RV2GV)
3889 null(kid);
79072805 3890 }
463ee0b2 3891 else
11343788
MB
3892 o = listkids(o);
3893 return o;
79072805
LW
3894}
3895
3896OP *
8ac85365 3897ck_exists(OP *o)
5f05dabc 3898{
5196be3e
MB
3899 o = ck_fun(o);
3900 if (o->op_flags & OPf_KIDS) {
3901 OP *kid = cUNOPo->op_first;
5f05dabc 3902 if (kid->op_type != OP_HELEM)
5196be3e 3903 croak("%s argument is not a HASH element", op_desc[o->op_type]);
5f05dabc 3904 null(kid);
3905 }
5196be3e 3906 return o;
5f05dabc 3907}
3908
3909OP *
8ac85365 3910ck_gvconst(register OP *o)
79072805
LW
3911{
3912 o = fold_constants(o);
3913 if (o->op_type == OP_CONST)
3914 o->op_type = OP_GV;
3915 return o;
3916}
3917
3918OP *
8ac85365 3919ck_rvconst(register OP *o)
79072805 3920{
11343788
MB
3921 dTHR;
3922 SVOP *kid = (SVOP*)cUNOPo->op_first;
85e6fe83 3923
11343788 3924 o->op_private |= (hints & HINT_STRICT_REFS);
79072805 3925 if (kid->op_type == OP_CONST) {
44a8e56a 3926 char *name;
3927 int iscv;
3928 GV *gv;
3929
3930 name = SvPV(kid->op_sv, na);
3931 if ((hints & HINT_STRICT_REFS) && (kid->op_private & OPpCONST_BARE)) {
3932 char *badthing = Nullch;
5dc0d613 3933 switch (o->op_type) {
44a8e56a 3934 case OP_RV2SV:
3935 badthing = "a SCALAR";
3936 break;
3937 case OP_RV2AV:
3938 badthing = "an ARRAY";
3939 break;
3940 case OP_RV2HV:
3941 badthing = "a HASH";
3942 break;
3943 }
3944 if (badthing)
3945 croak(
3946 "Can't use bareword (\"%s\") as %s ref while \"strict refs\" in use",
3947 name, badthing);
3948 }
79072805 3949 kid->op_type = OP_GV;
5196be3e 3950 iscv = (o->op_type == OP_RV2CV) * 2;
a0d0e21e 3951 for (gv = 0; !gv; iscv++) {
748a9306
LW
3952 /*
3953 * This is a little tricky. We only want to add the symbol if we
3954 * didn't add it in the lexer. Otherwise we get duplicate strict
3955 * warnings. But if we didn't add it in the lexer, we must at
3956 * least pretend like we wanted to add it even if it existed before,
3957 * or we get possible typo warnings. OPpCONST_ENTERED says
3958 * whether the lexer already added THIS instance of this symbol.
3959 */
44a8e56a 3960 gv = gv_fetchpv(name,
748a9306 3961 iscv | !(kid->op_private & OPpCONST_ENTERED),
a0d0e21e
LW
3962 iscv
3963 ? SVt_PVCV
11343788 3964 : o->op_type == OP_RV2SV
a0d0e21e 3965 ? SVt_PV
11343788 3966 : o->op_type == OP_RV2AV
a0d0e21e 3967 ? SVt_PVAV
11343788 3968 : o->op_type == OP_RV2HV
a0d0e21e
LW
3969 ? SVt_PVHV
3970 : SVt_PVGV);
3971 }
adbc6bb1 3972 SvREFCNT_dec(kid->op_sv);
a0d0e21e 3973 kid->op_sv = SvREFCNT_inc(gv);
79072805 3974 }
11343788 3975 return o;
79072805
LW
3976}
3977
3978OP *
8ac85365 3979ck_ftst(OP *o)
79072805 3980{
11343788
MB
3981 dTHR;
3982 I32 type = o->op_type;
79072805 3983
11343788
MB
3984 if (o->op_flags & OPf_REF)
3985 return o;
79072805 3986
11343788
MB
3987 if (o->op_flags & OPf_KIDS) {
3988 SVOP *kid = (SVOP*)cUNOPo->op_first;
79072805
LW
3989
3990 if (kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE)) {
a0d0e21e 3991 OP *newop = newGVOP(type, OPf_REF,
85e6fe83 3992 gv_fetchpv(SvPVx(kid->op_sv, na), TRUE, SVt_PVIO));
11343788 3993 op_free(o);
79072805
LW
3994 return newop;
3995 }
3996 }
3997 else {
11343788 3998 op_free(o);
79072805 3999 if (type == OP_FTTTY)
fb73857a 4000 return newGVOP(type, OPf_REF, gv_fetchpv("main::STDIN", TRUE,
85e6fe83 4001 SVt_PVIO));
79072805 4002 else
54b9620d 4003 return newUNOP(type, 0, newDEFSVOP());
79072805 4004 }
11343788 4005 return o;
79072805
LW
4006}
4007
4008OP *
8ac85365 4009ck_fun(OP *o)
79072805 4010{
11343788 4011 dTHR;
79072805
LW
4012 register OP *kid;
4013 OP **tokid;
4014 OP *sibl;
4015 I32 numargs = 0;
11343788 4016 int type = o->op_type;
a0d0e21e 4017 register I32 oa = opargs[type] >> OASHIFT;
aeea060c 4018
11343788 4019 if (o->op_flags & OPf_STACKED) {
79072805
LW
4020 if ((oa & OA_OPTIONAL) && (oa >> 4) && !((oa >> 4) & OA_OPTIONAL))
4021 oa &= ~OA_OPTIONAL;
4022 else
11343788 4023 return no_fh_allowed(o);
79072805
LW
4024 }
4025
11343788
MB
4026 if (o->op_flags & OPf_KIDS) {
4027 tokid = &cLISTOPo->op_first;
4028 kid = cLISTOPo->op_first;
8990e307
LW
4029 if (kid->op_type == OP_PUSHMARK ||
4030 kid->op_type == OP_NULL && kid->op_targ == OP_PUSHMARK)
4031 {
79072805
LW
4032 tokid = &kid->op_sibling;
4033 kid = kid->op_sibling;
4034 }
a0d0e21e 4035 if (!kid && opargs[type] & OA_DEFGV)
54b9620d 4036 *tokid = kid = newDEFSVOP();
79072805
LW
4037
4038 while (oa && kid) {
4039 numargs++;
4040 sibl = kid->op_sibling;
4041 switch (oa & 7) {
4042 case OA_SCALAR:
4043 scalar(kid);
4044 break;
4045 case OA_LIST:
4046 if (oa < 16) {
4047 kid = 0;
4048 continue;
4049 }
4050 else
4051 list(kid);
4052 break;
4053 case OA_AVREF:
4054 if (kid->op_type == OP_CONST &&
4055 (kid->op_private & OPpCONST_BARE)) {
463ee0b2 4056 char *name = SvPVx(((SVOP*)kid)->op_sv, na);
79072805 4057 OP *newop = newAVREF(newGVOP(OP_GV, 0,
85e6fe83 4058 gv_fetchpv(name, TRUE, SVt_PVAV) ));
463ee0b2 4059 if (dowarn)
ff0cee69 4060 warn("Array @%s missing the @ in argument %ld of %s()",
4061 name, (long)numargs, op_desc[type]);
79072805
LW
4062 op_free(kid);
4063 kid = newop;
4064 kid->op_sibling = sibl;
4065 *tokid = kid;
4066 }
8990e307 4067 else if (kid->op_type != OP_RV2AV && kid->op_type != OP_PADAV)
11343788 4068 bad_type(numargs, "array", op_desc[o->op_type], kid);
a0d0e21e 4069 mod(kid, type);
79072805
LW
4070 break;
4071 case OA_HVREF:
4072 if (kid->op_type == OP_CONST &&
4073 (kid->op_private & OPpCONST_BARE)) {
463ee0b2 4074 char *name = SvPVx(((SVOP*)kid)->op_sv, na);
79072805 4075 OP *newop = newHVREF(newGVOP(OP_GV, 0,
85e6fe83 4076 gv_fetchpv(name, TRUE, SVt_PVHV) ));
463ee0b2 4077 if (dowarn)
ff0cee69 4078 warn("Hash %%%s missing the %% in argument %ld of %s()",
4079 name, (long)numargs, op_desc[type]);
79072805
LW
4080 op_free(kid);
4081 kid = newop;
4082 kid->op_sibling = sibl;
4083 *tokid = kid;
4084 }
8990e307 4085 else if (kid->op_type != OP_RV2HV && kid->op_type != OP_PADHV)
11343788 4086 bad_type(numargs, "hash", op_desc[o->op_type], kid);
a0d0e21e 4087 mod(kid, type);
79072805
LW
4088 break;
4089 case OA_CVREF:
4090 {
a0d0e21e 4091 OP *newop = newUNOP(OP_NULL, 0, kid);
79072805
LW
4092 kid->op_sibling = 0;
4093 linklist(kid);
4094 newop->op_next = newop;
4095 kid = newop;
4096 kid->op_sibling = sibl;
4097 *tokid = kid;
4098 }
4099 break;
4100 case OA_FILEREF:
4101 if (kid->op_type != OP_GV) {
4102 if (kid->op_type == OP_CONST &&
4103 (kid->op_private & OPpCONST_BARE)) {
4104 OP *newop = newGVOP(OP_GV, 0,
85e6fe83
LW
4105 gv_fetchpv(SvPVx(((SVOP*)kid)->op_sv, na), TRUE,
4106 SVt_PVIO) );
79072805
LW
4107 op_free(kid);
4108 kid = newop;
4109 }
4110 else {
4111 kid->op_sibling = 0;
4112 kid = newUNOP(OP_RV2GV, 0, scalar(kid));
4113 }
4114 kid->op_sibling = sibl;
4115 *tokid = kid;
4116 }
4117 scalar(kid);
4118 break;
4119 case OA_SCALARREF:
a0d0e21e 4120 mod(scalar(kid), type);
79072805
LW
4121 break;
4122 }
4123 oa >>= 4;
4124 tokid = &kid->op_sibling;
4125 kid = kid->op_sibling;
4126 }
11343788 4127 o->op_private |= numargs;
79072805 4128 if (kid)
11343788
MB
4129 return too_many_arguments(o,op_desc[o->op_type]);
4130 listkids(o);
79072805 4131 }
a0d0e21e 4132 else if (opargs[type] & OA_DEFGV) {
11343788 4133 op_free(o);
54b9620d 4134 return newUNOP(type, 0, newDEFSVOP());
a0d0e21e
LW
4135 }
4136
79072805
LW
4137 if (oa) {
4138 while (oa & OA_OPTIONAL)
4139 oa >>= 4;
4140 if (oa && oa != OA_LIST)
11343788 4141 return too_few_arguments(o,op_desc[o->op_type]);
79072805 4142 }
11343788 4143 return o;
79072805
LW
4144}
4145
4146OP *
8ac85365 4147ck_glob(OP *o)
79072805 4148{
fb73857a 4149 GV *gv;
4150
1f2bfc8a 4151 if ((o->op_flags & OPf_KIDS) && !cLISTOPo->op_first->op_sibling)
54b9620d 4152 append_elem(OP_GLOB, o, newDEFSVOP());
fb73857a 4153
4154 if (!((gv = gv_fetchpv("glob", FALSE, SVt_PVCV)) && GvIMPORTED_CV(gv)))
4155 gv = gv_fetchpv("CORE::GLOBAL::glob", FALSE, SVt_PVCV);
b1cb66bf 4156
4157 if (gv && GvIMPORTED_CV(gv)) {
46fc3d4c 4158 static int glob_index;
4159
5196be3e 4160 append_elem(OP_GLOB, o,
46fc3d4c 4161 newSVOP(OP_CONST, 0, newSViv(glob_index++)));
1f2bfc8a
MB
4162 o->op_type = OP_LIST;
4163 o->op_ppaddr = ppaddr[OP_LIST];
4164 cLISTOPo->op_first->op_type = OP_PUSHMARK;
4165 cLISTOPo->op_first->op_ppaddr = ppaddr[OP_PUSHMARK];
4166 o = newUNOP(OP_ENTERSUB, OPf_STACKED,
aeea060c 4167 append_elem(OP_LIST, o,
1f2bfc8a
MB
4168 scalar(newUNOP(OP_RV2CV, 0,
4169 newGVOP(OP_GV, 0, gv)))));
d58bf5aa
MB
4170 o = newUNOP(OP_NULL, 0, ck_subr(o));
4171 o->op_targ = OP_GLOB; /* hint at what it used to be */
4172 return o;
b1cb66bf 4173 }
4174 gv = newGVgen("main");
a0d0e21e 4175 gv_IOadd(gv);
11343788
MB
4176 append_elem(OP_GLOB, o, newGVOP(OP_GV, 0, gv));
4177 scalarkids(o);
4178 return ck_fun(o);
79072805
LW
4179}
4180
4181OP *
8ac85365 4182ck_grep(OP *o)
79072805
LW
4183{
4184 LOGOP *gwop;
4185 OP *kid;
11343788 4186 OPCODE type = o->op_type == OP_GREPSTART ? OP_GREPWHILE : OP_MAPWHILE;
79072805 4187
11343788 4188 o->op_ppaddr = ppaddr[OP_GREPSTART];
a0d0e21e 4189 Newz(1101, gwop, 1, LOGOP);
aeea060c 4190
11343788 4191 if (o->op_flags & OPf_STACKED) {
a0d0e21e 4192 OP* k;
11343788
MB
4193 o = ck_sort(o);
4194 kid = cLISTOPo->op_first->op_sibling;
4195 for (k = cLISTOPo->op_first->op_sibling->op_next; k; k = k->op_next) {
a0d0e21e
LW
4196 kid = k;
4197 }
4198 kid->op_next = (OP*)gwop;
11343788 4199 o->op_flags &= ~OPf_STACKED;
93a17b20 4200 }
11343788 4201 kid = cLISTOPo->op_first->op_sibling;
a0d0e21e
LW
4202 if (type == OP_MAPWHILE)
4203 list(kid);
4204 else
4205 scalar(kid);
11343788 4206 o = ck_fun(o);
79072805 4207 if (error_count)
11343788 4208 return o;
aeea060c 4209 kid = cLISTOPo->op_first->op_sibling;
79072805 4210 if (kid->op_type != OP_NULL)
463ee0b2 4211 croak("panic: ck_grep");
79072805
LW
4212 kid = kUNOP->op_first;
4213
a0d0e21e
LW
4214 gwop->op_type = type;
4215 gwop->op_ppaddr = ppaddr[type];
11343788 4216 gwop->op_first = listkids(o);
79072805
LW
4217 gwop->op_flags |= OPf_KIDS;
4218 gwop->op_private = 1;
4219 gwop->op_other = LINKLIST(kid);
a0d0e21e 4220 gwop->op_targ = pad_alloc(type, SVs_PADTMP);
79072805
LW
4221 kid->op_next = (OP*)gwop;
4222
11343788 4223 kid = cLISTOPo->op_first->op_sibling;
a0d0e21e 4224 if (!kid || !kid->op_sibling)
11343788 4225 return too_few_arguments(o,op_desc[o->op_type]);
a0d0e21e
LW
4226 for (kid = kid->op_sibling; kid; kid = kid->op_sibling)
4227 mod(kid, OP_GREPSTART);
4228
79072805
LW
4229 return (OP*)gwop;
4230}
4231
4232OP *
8ac85365 4233ck_index(OP *o)
79072805 4234{
11343788
MB
4235 if (o->op_flags & OPf_KIDS) {
4236 OP *kid = cLISTOPo->op_first->op_sibling; /* get past pushmark */
79072805 4237 if (kid && kid->op_type == OP_CONST)
bbce6d69 4238 fbm_compile(((SVOP*)kid)->op_sv);
79072805 4239 }
11343788 4240 return ck_fun(o);
79072805
LW
4241}
4242
4243OP *
8ac85365 4244ck_lengthconst(OP *o)
79072805
LW
4245{
4246 /* XXX length optimization goes here */
11343788 4247 return ck_fun(o);
79072805
LW
4248}
4249
4250OP *
8ac85365 4251ck_lfun(OP *o)
79072805 4252{
5dc0d613
MB
4253 OPCODE type = o->op_type;
4254 return modkids(ck_fun(o), type);
79072805
LW
4255}
4256
4257OP *
8ac85365 4258ck_rfun(OP *o)
8990e307 4259{
5dc0d613
MB
4260 OPCODE type = o->op_type;
4261 return refkids(ck_fun(o), type);
8990e307
LW
4262}
4263
4264OP *
8ac85365 4265ck_listiob(OP *o)
79072805
LW
4266{
4267 register OP *kid;
aeea060c 4268
11343788 4269 kid = cLISTOPo->op_first;
79072805 4270 if (!kid) {
11343788
MB
4271 o = force_list(o);
4272 kid = cLISTOPo->op_first;
79072805
LW
4273 }
4274 if (kid->op_type == OP_PUSHMARK)
4275 kid = kid->op_sibling;
11343788 4276 if (kid && o->op_flags & OPf_STACKED)
79072805
LW
4277 kid = kid->op_sibling;
4278 else if (kid && !kid->op_sibling) { /* print HANDLE; */
4279 if (kid->op_type == OP_CONST && kid->op_private & OPpCONST_BARE) {
11343788 4280 o->op_flags |= OPf_STACKED; /* make it a filehandle */
748a9306 4281 kid = newUNOP(OP_RV2GV, OPf_REF, scalar(kid));
11343788
MB
4282 cLISTOPo->op_first->op_sibling = kid;
4283 cLISTOPo->op_last = kid;
79072805
LW
4284 kid = kid->op_sibling;
4285 }
4286 }
4287
4288 if (!kid)
54b9620d 4289 append_elem(o->op_type, o, newDEFSVOP());
79072805 4290
5dc0d613 4291 o = listkids(o);
bbce6d69 4292
5dc0d613 4293 o->op_private = 0;
36477c24 4294#ifdef USE_LOCALE
bbce6d69 4295 if (hints & HINT_LOCALE)
5dc0d613 4296 o->op_private |= OPpLOCALE;
bbce6d69 4297#endif
4298
5dc0d613 4299 return o;
bbce6d69 4300}
4301
4302OP *
8ac85365 4303ck_fun_locale(OP *o)
bbce6d69 4304{
5dc0d613 4305 o = ck_fun(o);
bbce6d69 4306
5dc0d613 4307 o->op_private = 0;
36477c24 4308#ifdef USE_LOCALE
bbce6d69 4309 if (hints & HINT_LOCALE)
5dc0d613 4310 o->op_private |= OPpLOCALE;
bbce6d69 4311#endif
4312
5dc0d613 4313 return o;
bbce6d69 4314}
4315
4316OP *
8ac85365 4317ck_scmp(OP *o)
bbce6d69 4318{
5dc0d613 4319 o->op_private = 0;
36477c24 4320#ifdef USE_LOCALE
bbce6d69 4321 if (hints & HINT_LOCALE)
5dc0d613 4322 o->op_private |= OPpLOCALE;
bbce6d69 4323#endif
36477c24 4324
5dc0d613 4325 return o;
79072805
LW
4326}
4327
4328OP *
8ac85365 4329ck_match(OP *o)
79072805 4330{
5dc0d613 4331 o->op_private |= OPpRUNTIME;
11343788 4332 return o;
79072805
LW
4333}
4334
4335OP *
8ac85365 4336ck_null(OP *o)
79072805 4337{
11343788 4338 return o;
79072805
LW
4339}
4340
4341OP *
8ac85365 4342ck_repeat(OP *o)
79072805 4343{
11343788
MB
4344 if (cBINOPo->op_first->op_flags & OPf_PARENS) {
4345 o->op_private |= OPpREPEAT_DOLIST;
4346 cBINOPo->op_first = force_list(cBINOPo->op_first);
79072805
LW
4347 }
4348 else
11343788
MB
4349 scalar(o);
4350 return o;
79072805
LW
4351}
4352
4353OP *
8ac85365 4354ck_require(OP *o)
8990e307 4355{
11343788
MB
4356 if (o->op_flags & OPf_KIDS) { /* Shall we supply missing .pm? */
4357 SVOP *kid = (SVOP*)cUNOPo->op_first;
8990e307
LW
4358
4359 if (kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE)) {
8990e307 4360 char *s;
a0d0e21e
LW
4361 for (s = SvPVX(kid->op_sv); *s; s++) {
4362 if (*s == ':' && s[1] == ':') {
4363 *s = '/';
1aef975c 4364 Move(s+2, s+1, strlen(s+2)+1, char);
a0d0e21e
LW
4365 --SvCUR(kid->op_sv);
4366 }
8990e307 4367 }
a0d0e21e 4368 sv_catpvn(kid->op_sv, ".pm", 3);
8990e307
LW
4369 }
4370 }
11343788 4371 return ck_fun(o);
8990e307
LW
4372}
4373
4374OP *
8ac85365 4375ck_retarget(OP *o)
79072805 4376{
463ee0b2 4377 croak("NOT IMPL LINE %d",__LINE__);
79072805 4378 /* STUB */
11343788 4379 return o;
79072805
LW
4380}
4381
4382OP *
8ac85365 4383ck_select(OP *o)
79072805 4384{
c07a80fd 4385 OP* kid;
11343788
MB
4386 if (o->op_flags & OPf_KIDS) {
4387 kid = cLISTOPo->op_first->op_sibling; /* get past pushmark */
2304df62 4388 if (kid && kid->op_sibling) {
11343788
MB
4389 o->op_type = OP_SSELECT;
4390 o->op_ppaddr = ppaddr[OP_SSELECT];
4391 o = ck_fun(o);
4392 return fold_constants(o);
79072805
LW
4393 }
4394 }
11343788
MB
4395 o = ck_fun(o);
4396 kid = cLISTOPo->op_first->op_sibling; /* get past pushmark */
c07a80fd 4397 if (kid && kid->op_type == OP_RV2GV)
4398 kid->op_private &= ~HINT_STRICT_REFS;
11343788 4399 return o;
79072805
LW
4400}
4401
4402OP *
8ac85365 4403ck_shift(OP *o)
79072805 4404{
11343788 4405 I32 type = o->op_type;
79072805 4406
11343788 4407 if (!(o->op_flags & OPf_KIDS)) {
6d4ff0d2
MB
4408 OP *argop;
4409
11343788 4410 op_free(o);
6d4ff0d2 4411#ifdef USE_THREADS
977336f5 4412 if (!CvUNIQUE(compcv)) {
6d4ff0d2
MB
4413 argop = newOP(OP_PADAV, OPf_REF);
4414 argop->op_targ = 0; /* curpad[0] is @_ */
4415 }
4416 else {
4417 argop = newUNOP(OP_RV2AV, 0,
4418 scalar(newGVOP(OP_GV, 0,
4419 gv_fetchpv("ARGV", TRUE, SVt_PVAV))));
4420 }
4421#else
4422 argop = newUNOP(OP_RV2AV, 0,
977336f5 4423 scalar(newGVOP(OP_GV, 0, !CvUNIQUE(compcv) ?
6d4ff0d2
MB
4424 defgv : gv_fetchpv("ARGV", TRUE, SVt_PVAV))));
4425#endif /* USE_THREADS */
4426 return newUNOP(type, 0, scalar(argop));
79072805 4427 }
11343788 4428 return scalar(modkids(ck_fun(o), type));
79072805
LW
4429}
4430
4431OP *
8ac85365 4432ck_sort(OP *o)
79072805 4433{
5dc0d613 4434 o->op_private = 0;
36477c24 4435#ifdef USE_LOCALE
bbce6d69 4436 if (hints & HINT_LOCALE)
5dc0d613 4437 o->op_private |= OPpLOCALE;
bbce6d69 4438#endif
4439
11343788
MB
4440 if (o->op_flags & OPf_STACKED) {
4441 OP *kid = cLISTOPo->op_first->op_sibling; /* get past pushmark */
463ee0b2
LW
4442 OP *k;
4443 kid = kUNOP->op_first; /* get past rv2gv */
79072805 4444
463ee0b2 4445 if (kid->op_type == OP_SCOPE || kid->op_type == OP_LEAVE) {
79072805 4446 linklist(kid);
463ee0b2
LW
4447 if (kid->op_type == OP_SCOPE) {
4448 k = kid->op_next;
4449 kid->op_next = 0;
79072805 4450 }
463ee0b2 4451 else if (kid->op_type == OP_LEAVE) {
11343788 4452 if (o->op_type == OP_SORT) {
748a9306
LW
4453 null(kid); /* wipe out leave */
4454 kid->op_next = kid;
463ee0b2 4455
748a9306
LW
4456 for (k = kLISTOP->op_first->op_next; k; k = k->op_next) {
4457 if (k->op_next == kid)
4458 k->op_next = 0;
4459 }
463ee0b2 4460 }
748a9306
LW
4461 else
4462 kid->op_next = 0; /* just disconnect the leave */
a0d0e21e 4463 k = kLISTOP->op_first;
463ee0b2 4464 }
a0d0e21e
LW
4465 peep(k);
4466
11343788 4467 kid = cLISTOPo->op_first->op_sibling; /* get past pushmark */
8990e307 4468 null(kid); /* wipe out rv2gv */
11343788 4469 if (o->op_type == OP_SORT)
a0d0e21e
LW
4470 kid->op_next = kid;
4471 else
4472 kid->op_next = k;
11343788 4473 o->op_flags |= OPf_SPECIAL;
79072805
LW
4474 }
4475 }
bbce6d69 4476
11343788 4477 return o;
79072805
LW
4478}
4479
4480OP *
8ac85365 4481ck_split(OP *o)
79072805
LW
4482{
4483 register OP *kid;
aeea060c 4484
11343788
MB
4485 if (o->op_flags & OPf_STACKED)
4486 return no_fh_allowed(o);
79072805 4487
11343788 4488 kid = cLISTOPo->op_first;
8990e307 4489 if (kid->op_type != OP_NULL)
463ee0b2 4490 croak("panic: ck_split");
8990e307 4491 kid = kid->op_sibling;
11343788
MB
4492 op_free(cLISTOPo->op_first);
4493 cLISTOPo->op_first = kid;
85e6fe83 4494 if (!kid) {
11343788
MB
4495 cLISTOPo->op_first = kid = newSVOP(OP_CONST, 0, newSVpv(" ", 1));
4496 cLISTOPo->op_last = kid; /* There was only one element previously */
85e6fe83 4497 }
79072805
LW
4498
4499 if (kid->op_type != OP_MATCH) {
4500 OP *sibl = kid->op_sibling;
463ee0b2 4501 kid->op_sibling = 0;
79072805 4502 kid = pmruntime( newPMOP(OP_MATCH, OPf_SPECIAL), kid, Nullop);
11343788
MB
4503 if (cLISTOPo->op_first == cLISTOPo->op_last)
4504 cLISTOPo->op_last = kid;
4505 cLISTOPo->op_first = kid;
79072805
LW
4506 kid->op_sibling = sibl;
4507 }
4508
4509 kid->op_type = OP_PUSHRE;
4510 kid->op_ppaddr = ppaddr[OP_PUSHRE];
4511 scalar(kid);
4512
4513 if (!kid->op_sibling)
54b9620d 4514 append_elem(OP_SPLIT, o, newDEFSVOP());
79072805
LW
4515
4516 kid = kid->op_sibling;
4517 scalar(kid);
4518
4519 if (!kid->op_sibling)
11343788 4520 append_elem(OP_SPLIT, o, newSVOP(OP_CONST, 0, newSViv(0)));
79072805
LW
4521
4522 kid = kid->op_sibling;
4523 scalar(kid);
4524
4525 if (kid->op_sibling)
11343788 4526 return too_many_arguments(o,op_desc[o->op_type]);
79072805 4527
11343788 4528 return o;
79072805
LW
4529}
4530
4531OP *
8ac85365 4532ck_subr(OP *o)
79072805 4533{
11343788
MB
4534 dTHR;
4535 OP *prev = ((cUNOPo->op_first->op_sibling)
4536 ? cUNOPo : ((UNOP*)cUNOPo->op_first))->op_first;
4537 OP *o2 = prev->op_sibling;
4633a7c4
LW
4538 OP *cvop;
4539 char *proto = 0;
4540 CV *cv = 0;
46fc3d4c 4541 GV *namegv = 0;
4633a7c4
LW
4542 int optional = 0;
4543 I32 arg = 0;
4544
11343788 4545 for (cvop = o2; cvop->op_sibling; cvop = cvop->op_sibling) ;
4633a7c4
LW
4546 if (cvop->op_type == OP_RV2CV) {
4547 SVOP* tmpop;
11343788 4548 o->op_private |= (cvop->op_private & OPpENTERSUB_AMPER);
4633a7c4
LW
4549 null(cvop); /* disable rv2cv */
4550 tmpop = (SVOP*)((UNOP*)cvop)->op_first;
4551 if (tmpop->op_type == OP_GV) {
8ebc5c01 4552 cv = GvCVu(tmpop->op_sv);
5dc0d613 4553 if (cv && SvPOK(cv) && !(o->op_private & OPpENTERSUB_AMPER)) {
46fc3d4c 4554 namegv = CvANON(cv) ? (GV*)tmpop->op_sv : CvGV(cv);
4555 proto = SvPV((SV*)cv, na);
4556 }
4633a7c4
LW
4557 }
4558 }
11343788 4559 o->op_private |= (hints & HINT_STRICT_REFS);
84902520 4560 if (PERLDB_SUB && curstash != debstash)
11343788
MB
4561 o->op_private |= OPpENTERSUB_DB;
4562 while (o2 != cvop) {
4633a7c4
LW
4563 if (proto) {
4564 switch (*proto) {
4565 case '\0':
5dc0d613 4566 return too_many_arguments(o, gv_ename(namegv));
4633a7c4
LW
4567 case ';':
4568 optional = 1;
4569 proto++;
4570 continue;
4571 case '$':
4572 proto++;
4573 arg++;
11343788 4574 scalar(o2);
4633a7c4
LW
4575 break;
4576 case '%':
4577 case '@':
11343788 4578 list(o2);
4633a7c4
LW
4579 arg++;
4580 break;
4581 case '&':
4582 proto++;
4583 arg++;
11343788 4584 if (o2->op_type != OP_REFGEN && o2->op_type != OP_UNDEF)
5dc0d613 4585 bad_type(arg, "block", gv_ename(namegv), o2);
4633a7c4
LW
4586 break;
4587 case '*':
4588 proto++;
4589 arg++;
11343788 4590 if (o2->op_type == OP_RV2GV)
4633a7c4
LW
4591 goto wrapref;
4592 {
11343788 4593 OP* kid = o2;
69dcf70c 4594 OP* sib = kid->op_sibling;
4633a7c4 4595 kid->op_sibling = 0;
69dcf70c
MB
4596 o2 = newUNOP(OP_RV2GV, 0, kid);
4597 o2->op_sibling = sib;
6fa846a0 4598 prev->op_sibling = o2;
4633a7c4
LW
4599 }
4600 goto wrapref;
4601 case '\\':
4602 proto++;
4603 arg++;
4604 switch (*proto++) {
4605 case '*':
11343788 4606 if (o2->op_type != OP_RV2GV)
5dc0d613 4607 bad_type(arg, "symbol", gv_ename(namegv), o2);
4633a7c4
LW
4608 goto wrapref;
4609 case '&':
11343788 4610 if (o2->op_type != OP_RV2CV)
5dc0d613 4611 bad_type(arg, "sub", gv_ename(namegv), o2);
4633a7c4
LW
4612 goto wrapref;
4613 case '$':
11343788 4614 if (o2->op_type != OP_RV2SV && o2->op_type != OP_PADSV)
5dc0d613 4615 bad_type(arg, "scalar", gv_ename(namegv), o2);
4633a7c4
LW
4616 goto wrapref;
4617 case '@':
11343788 4618 if (o2->op_type != OP_RV2AV && o2->op_type != OP_PADAV)
5dc0d613 4619 bad_type(arg, "array", gv_ename(namegv), o2);
4633a7c4
LW
4620 goto wrapref;
4621 case '%':
11343788 4622 if (o2->op_type != OP_RV2HV && o2->op_type != OP_PADHV)
5dc0d613 4623 bad_type(arg, "hash", gv_ename(namegv), o2);
4633a7c4
LW
4624 wrapref:
4625 {
11343788 4626 OP* kid = o2;
6fa846a0 4627 OP* sib = kid->op_sibling;
4633a7c4 4628 kid->op_sibling = 0;
6fa846a0
GS
4629 o2 = newUNOP(OP_REFGEN, 0, kid);
4630 o2->op_sibling = sib;
e858de61 4631 prev->op_sibling = o2;
4633a7c4
LW
4632 }
4633 break;
4634 default: goto oops;
4635 }
4636 break;
b1cb66bf 4637 case ' ':
4638 proto++;
4639 continue;
4633a7c4
LW
4640 default:
4641 oops:
4642 croak("Malformed prototype for %s: %s",
46fc3d4c 4643 gv_ename(namegv), SvPV((SV*)cv, na));
4633a7c4
LW
4644 }
4645 }
4646 else
11343788
MB
4647 list(o2);
4648 mod(o2, OP_ENTERSUB);
4649 prev = o2;
4650 o2 = o2->op_sibling;
4633a7c4 4651 }
fb73857a 4652 if (proto && !optional &&
4653 (*proto && *proto != '@' && *proto != '%' && *proto != ';'))
5dc0d613 4654 return too_few_arguments(o, gv_ename(namegv));
11343788 4655 return o;
79072805
LW
4656}
4657
4658OP *
8ac85365 4659ck_svconst(OP *o)
8990e307 4660{
11343788
MB
4661 SvREADONLY_on(cSVOPo->op_sv);
4662 return o;
8990e307
LW
4663}
4664
4665OP *
8ac85365 4666ck_trunc(OP *o)
79072805 4667{
11343788
MB
4668 if (o->op_flags & OPf_KIDS) {
4669 SVOP *kid = (SVOP*)cUNOPo->op_first;
79072805 4670
a0d0e21e
LW
4671 if (kid->op_type == OP_NULL)
4672 kid = (SVOP*)kid->op_sibling;
4673 if (kid &&
4674 kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE))
11343788 4675 o->op_flags |= OPf_SPECIAL;
79072805 4676 }
11343788 4677 return ck_fun(o);
79072805
LW
4678}
4679
463ee0b2
LW
4680/* A peephole optimizer. We visit the ops in the order they're to execute. */
4681
79072805 4682void
8ac85365 4683peep(register OP *o)
79072805 4684{
11343788 4685 dTHR;
79072805 4686 register OP* oldop = 0;
a0d0e21e 4687 if (!o || o->op_seq)
79072805 4688 return;
a0d0e21e 4689 ENTER;
462e5cf6 4690 SAVEOP();
a0d0e21e
LW
4691 SAVESPTR(curcop);
4692 for (; o; o = o->op_next) {
4693 if (o->op_seq)
4694 break;
c07a80fd 4695 if (!op_seqmax)
4696 op_seqmax++;
a0d0e21e
LW
4697 op = o;
4698 switch (o->op_type) {
4699 case OP_NEXTSTATE:
4700 case OP_DBSTATE:
4701 curcop = ((COP*)o); /* for warnings */
c07a80fd 4702 o->op_seq = op_seqmax++;
a0d0e21e
LW
4703 break;
4704
4705 case OP_CONCAT:
4706 case OP_CONST:
4707 case OP_JOIN:
4708 case OP_UC:
4709 case OP_UCFIRST:
4710 case OP_LC:
4711 case OP_LCFIRST:
4712 case OP_QUOTEMETA:
3c4f770c 4713 if (o->op_next && o->op_next->op_type == OP_STRINGIFY)
a0d0e21e 4714 null(o->op_next);
c07a80fd 4715 o->op_seq = op_seqmax++;
a0d0e21e 4716 break;
8990e307 4717 case OP_STUB:
54310121 4718 if ((o->op_flags & OPf_WANT) != OPf_WANT_LIST) {
c07a80fd 4719 o->op_seq = op_seqmax++;
54310121 4720 break; /* Scalar stub must produce undef. List stub is noop */
8990e307 4721 }
748a9306 4722 goto nothin;
79072805 4723 case OP_NULL:
748a9306
LW
4724 if (o->op_targ == OP_NEXTSTATE || o->op_targ == OP_DBSTATE)
4725 curcop = ((COP*)op);
4726 goto nothin;
79072805 4727 case OP_SCALAR:
93a17b20 4728 case OP_LINESEQ:
463ee0b2 4729 case OP_SCOPE:
748a9306 4730 nothin:
a0d0e21e
LW
4731 if (oldop && o->op_next) {
4732 oldop->op_next = o->op_next;
79072805
LW
4733 continue;
4734 }
c07a80fd 4735 o->op_seq = op_seqmax++;
79072805
LW
4736 break;
4737
4738 case OP_GV:
a0d0e21e 4739 if (o->op_next->op_type == OP_RV2SV) {
5f05dabc 4740 if (!(o->op_next->op_private & OPpDEREF)) {
a0d0e21e
LW
4741 null(o->op_next);
4742 o->op_private |= o->op_next->op_private & OPpLVAL_INTRO;
4743 o->op_next = o->op_next->op_next;
4744 o->op_type = OP_GVSV;
4745 o->op_ppaddr = ppaddr[OP_GVSV];
8990e307
LW
4746 }
4747 }
a0d0e21e
LW
4748 else if (o->op_next->op_type == OP_RV2AV) {
4749 OP* pop = o->op_next->op_next;
4750 IV i;
8990e307 4751 if (pop->op_type == OP_CONST &&
e858de61 4752 (op = pop->op_next) &&
8990e307 4753 pop->op_next->op_type == OP_AELEM &&
a0d0e21e 4754 !(pop->op_next->op_private &
68dc0745 4755 (OPpLVAL_INTRO|OPpLVAL_DEFER|OPpDEREF)) &&
a0d0e21e
LW
4756 (i = SvIV(((SVOP*)pop)->op_sv) - compiling.cop_arybase)
4757 <= 255 &&
8990e307
LW
4758 i >= 0)
4759 {
748a9306 4760 SvREFCNT_dec(((SVOP*)pop)->op_sv);
a0d0e21e 4761 null(o->op_next);
8990e307
LW
4762 null(pop->op_next);
4763 null(pop);
a0d0e21e
LW
4764 o->op_flags |= pop->op_next->op_flags & OPf_MOD;
4765 o->op_next = pop->op_next->op_next;
4766 o->op_type = OP_AELEMFAST;
4767 o->op_ppaddr = ppaddr[OP_AELEMFAST];
4768 o->op_private = (U8)i;
a6006777 4769 GvAVn(((GVOP*)o)->op_gv);
8990e307 4770 }
79072805 4771 }
c07a80fd 4772 o->op_seq = op_seqmax++;
79072805
LW
4773 break;
4774
af41f3ca
MB
4775 case OP_PADAV:
4776 if (o->op_next->op_type == OP_RV2AV
4777 && (o->op_next->op_flags && OPf_REF))
4778 {
4779 null(o->op_next);
4780 o->op_next = o->op_next->op_next;
4781 }
4782 break;
aeea060c 4783
af41f3ca
MB
4784 case OP_PADHV:
4785 if (o->op_next->op_type == OP_RV2HV
4786 && (o->op_next->op_flags && OPf_REF))
4787 {
4788 null(o->op_next);
4789 o->op_next = o->op_next->op_next;
4790 }
4791 break;
4792
a0d0e21e 4793 case OP_MAPWHILE:
79072805
LW
4794 case OP_GREPWHILE:
4795 case OP_AND:
4796 case OP_OR:
c07a80fd 4797 o->op_seq = op_seqmax++;
fd4d1407
IZ
4798 while (cLOGOP->op_other->op_type == OP_NULL)
4799 cLOGOP->op_other = cLOGOP->op_other->op_next;
79072805
LW
4800 peep(cLOGOP->op_other);
4801 break;
4802
4803 case OP_COND_EXPR:
c07a80fd 4804 o->op_seq = op_seqmax++;
79072805
LW
4805 peep(cCONDOP->op_true);
4806 peep(cCONDOP->op_false);
4807 break;
4808
4809 case OP_ENTERLOOP:
c07a80fd 4810 o->op_seq = op_seqmax++;
79072805
LW
4811 peep(cLOOP->op_redoop);
4812 peep(cLOOP->op_nextop);
4813 peep(cLOOP->op_lastop);
4814 break;
4815
4816 case OP_MATCH:
4817 case OP_SUBST:
c07a80fd 4818 o->op_seq = op_seqmax++;
a0d0e21e 4819 peep(cPMOP->op_pmreplstart);
79072805
LW
4820 break;
4821
a0d0e21e 4822 case OP_EXEC:
c07a80fd 4823 o->op_seq = op_seqmax++;
a0d0e21e
LW
4824 if (dowarn && o->op_next && o->op_next->op_type == OP_NEXTSTATE) {
4825 if (o->op_next->op_sibling &&
4826 o->op_next->op_sibling->op_type != OP_DIE) {
4827 line_t oldline = curcop->cop_line;
4828
4829 curcop->cop_line = ((COP*)o->op_next)->cop_line;
4830 warn("Statement unlikely to be reached");
4831 warn("(Maybe you meant system() when you said exec()?)\n");
4832 curcop->cop_line = oldline;
4833 }
4834 }
4835 break;
aeea060c 4836
c750a3ec
MB
4837 case OP_HELEM: {
4838 UNOP *rop;
4839 SV *lexname;
4840 GV **fields;
4841 SV **svp, **indsvp;
4842 I32 ind;
4843 char *key;
4844 STRLEN keylen;
aeea060c 4845
c750a3ec
MB
4846 if (o->op_private & (OPpDEREF_HV|OPpDEREF_AV|OPpLVAL_INTRO)
4847 || ((BINOP*)o)->op_last->op_type != OP_CONST)
4848 break;
4849 rop = (UNOP*)((BINOP*)o)->op_first;
4850 if (rop->op_type != OP_RV2HV || rop->op_first->op_type != OP_PADSV)
4851 break;
4852 lexname = *av_fetch(comppad_name, rop->op_first->op_targ, TRUE);
4853 if (!SvOBJECT(lexname))
4854 break;
5196be3e 4855 fields = (GV**)hv_fetch(SvSTASH(lexname), "FIELDS", 6, FALSE);
c750a3ec
MB
4856 if (!fields || !GvHV(*fields))
4857 break;
4858 svp = &((SVOP*)((BINOP*)o)->op_last)->op_sv;
4859 key = SvPV(*svp, keylen);
4860 indsvp = hv_fetch(GvHV(*fields), key, keylen, FALSE);
4861 if (!indsvp) {
4862 croak("No such field \"%s\" in variable %s of type %s",
4863 key, SvPV(lexname, na), HvNAME(SvSTASH(lexname)));
4864 }
4865 ind = SvIV(*indsvp);
4866 if (ind < 1)
4867 croak("Bad index while coercing array into hash");
4868 rop->op_type = OP_RV2AV;
4869 rop->op_ppaddr = ppaddr[OP_RV2AV];
4870 o->op_type = OP_AELEM;
4871 o->op_ppaddr = ppaddr[OP_AELEM];
4872 SvREFCNT_dec(*svp);
4873 *svp = newSViv(ind);
4874 break;
4875 }
4876
79072805 4877 default:
c07a80fd 4878 o->op_seq = op_seqmax++;
79072805
LW
4879 break;
4880 }
a0d0e21e 4881 oldop = o;
79072805 4882 }
a0d0e21e 4883 LEAVE;
79072805 4884}