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