op.c

   1 /*    op.c
   2  *
   3  *    Copyright (c) 1991-2001, Larry Wall
   4  *
   5  *    You may distribute under the terms of either the GNU General Public
   6  *    License or the Artistic License, as specified in the README file.
   7  *
   8  */
   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
  16  */
  17
  18 #include "EXTERN.h"
  19 #define PERL_IN_OP_C
  20 #include "perl.h"
  21 #include "keywords.h"
  22
  23 /* #define PL_OP_SLAB_ALLOC */
  24
  25 #ifdef PL_OP_SLAB_ALLOC
  26 #define SLAB_SIZE 8192
  27 static char    *PL_OpPtr  = NULL;
  28 static int     PL_OpSpace = 0;
  29 #define NewOp(m,var,c,type) do { if ((PL_OpSpace -= c*sizeof(type)) >= 0)     \
  30                               var =  (type *)(PL_OpPtr -= c*sizeof(type));    \
  31                              else                                             \
  32                               var = (type *) Slab_Alloc(m,c*sizeof(type));    \
  33                            } while (0)
  34
  35 STATIC void *
  36 S_Slab_Alloc(pTHX_ int m, size_t sz)
  37 {
  38  Newz(m,PL_OpPtr,SLAB_SIZE,char);
  39  PL_OpSpace = SLAB_SIZE - sz;
  40  return PL_OpPtr += PL_OpSpace;
  41 }
  42
  43 #else
  44 #define NewOp(m, var, c, type) Newz(m, var, c, type)
  45 #endif
  46 /*
  47  * In the following definition, the ", Nullop" is just to make the compiler
  48  * think the expression is of the right type: croak actually does a Siglongjmp.
  49  */
  50 #define CHECKOP(type,o) \
  51     ((PL_op_mask && PL_op_mask[type])                                   \
  52      ? ( op_free((OP*)o),                                       \
  53          Perl_croak(aTHX_ "%s trapped by operation mask", PL_op_desc[type]),    \
  54          Nullop )                                               \
  55      : CALL_FPTR(PL_check[type])(aTHX_ (OP*)o))
  56
  57 #define PAD_MAX 999999999
  58 #define RETURN_UNLIMITED_NUMBER (PERL_INT_MAX / 2)
  59
  60 STATIC char*
  61 S_gv_ename(pTHX_ GV *gv)
  62 {
  63     STRLEN n_a;
  64     SV* tmpsv = sv_newmortal();
  65     gv_efullname3(tmpsv, gv, Nullch);
  66     return SvPV(tmpsv,n_a);
  67 }
  68
  69 STATIC OP *
  70 S_no_fh_allowed(pTHX_ OP *o)
  71 {
  72     yyerror(Perl_form(aTHX_ "Missing comma after first argument to %s function",
  73                  PL_op_desc[o->op_type]));
  74     return o;
  75 }
  76
  77 STATIC OP *
  78 S_too_few_arguments(pTHX_ OP *o, char *name)
  79 {
  80     yyerror(Perl_form(aTHX_ "Not enough arguments for %s", name));
  81     return o;
  82 }
  83
  84 STATIC OP *
  85 S_too_many_arguments(pTHX_ OP *o, char *name)
  86 {
  87     yyerror(Perl_form(aTHX_ "Too many arguments for %s", name));
  88     return o;
  89 }
  90
  91 STATIC void
  92 S_bad_type(pTHX_ I32 n, char *t, char *name, OP *kid)
  93 {
  94     yyerror(Perl_form(aTHX_ "Type of arg %d to %s must be %s (not %s)",
  95                  (int)n, name, t, PL_op_desc[kid->op_type]));
  96 }
  97
  98 STATIC void
  99 S_no_bareword_allowed(pTHX_ OP *o)
 100 {
 101     qerror(Perl_mess(aTHX_
 102                      "Bareword \"%s\" not allowed while \"strict subs\" in use",
 103                      SvPV_nolen(cSVOPo_sv)));
 104 }
 105
 106 STATIC U8*
 107 S_trlist_upgrade(pTHX_ U8** sp, U8** ep)
 108 {
 109     U8 *s = *sp;
 110     U8 *e = *ep;
 111     U8 *d;
 112
 113     Newz(801, d, (e - s) * 2, U8);
 114     *sp = d;
 115
 116     while (s < e) {
 117         if (*s < 0x80 || *s == 0xff)
 118             *d++ = *s++;
 119         else {
 120             U8 c = *s++;
 121             *d++ = ((c >> 6)         | 0xc0);
 122             *d++ = ((c       & 0x3f) | 0x80);
 123         }
 124     }
 125     *ep = d;
 126     return *sp;
 127 }
 128
 129
 130 /* "register" allocation */
 131
 132 PADOFFSET
 133 Perl_pad_allocmy(pTHX_ char *name)
 134 {
 135     PADOFFSET off;
 136     SV *sv;
 137
 138     if (!(PL_in_my == KEY_our ||
 139           isALPHA(name[1]) ||
 140           (PL_hints & HINT_UTF8 && UTF8_IS_START(name[1])) ||
 141           (name[1] == '_' && (int)strlen(name) > 2)))
 142     {
 143         if (!isPRINT(name[1]) || strchr("\t\n\r\f", name[1])) {
 144             /* 1999-02-27 mjd@plover.com */
 145             char *p;
 146             p = strchr(name, '\0');
 147             /* The next block assumes the buffer is at least 205 chars
 148                long.  At present, it's always at least 256 chars. */
 149             if (p-name > 200) {
 150                 strcpy(name+200, "...");
 151                 p = name+199;
 152             }
 153             else {
 154                 p[1] = '\0';
 155             }
 156             /* Move everything else down one character */
 157             for (; p-name > 2; p--)
 158                 *p = *(p-1);
 159             name[2] = toCTRL(name[1]);
 160             name[1] = '^';
 161         }
 162         yyerror(Perl_form(aTHX_ "Can't use global %s in \"my\"",name));
 163     }
 164     if (ckWARN(WARN_MISC) && AvFILLp(PL_comppad_name) >= 0) {
 165         SV **svp = AvARRAY(PL_comppad_name);
 166         HV *ourstash = (PL_curstash ? PL_curstash : PL_defstash);
 167         PADOFFSET top = AvFILLp(PL_comppad_name);
 168         for (off = top; off > PL_comppad_name_floor; off--) {
 169             if ((sv = svp[off])
 170                 && sv != &PL_sv_undef
 171                 && (SvIVX(sv) == PAD_MAX || SvIVX(sv) == 0)
 172                 && (PL_in_my != KEY_our
 173                     || ((SvFLAGS(sv) & SVpad_OUR) && GvSTASH(sv) == ourstash))
 174                 && strEQ(name, SvPVX(sv)))
 175             {
 176                 Perl_warner(aTHX_ WARN_MISC,
 177                     "\"%s\" variable %s masks earlier declaration in same %s",
 178                     (PL_in_my == KEY_our ? "our" : "my"),
 179                     name,
 180                     (SvIVX(sv) == PAD_MAX ? "scope" : "statement"));
 181                 --off;
 182                 break;
 183             }
 184         }
 185         if (PL_in_my == KEY_our) {
 186             do {
 187                 if ((sv = svp[off])
 188                     && sv != &PL_sv_undef
 189                     && (SvIVX(sv) == PAD_MAX || SvIVX(sv) == 0)
 190                     && ((SvFLAGS(sv) & SVpad_OUR) && GvSTASH(sv) == ourstash)
 191                     && strEQ(name, SvPVX(sv)))
 192                 {
 193                     Perl_warner(aTHX_ WARN_MISC,
 194                         "\"our\" variable %s redeclared", name);
 195                     Perl_warner(aTHX_ WARN_MISC,
 196                         "\t(Did you mean \"local\" instead of \"our\"?)\n");
 197                     break;
 198                 }
 199             } while ( off-- > 0 );
 200         }
 201     }
 202     off = pad_alloc(OP_PADSV, SVs_PADMY);
 203     sv = NEWSV(1102,0);
 204     sv_upgrade(sv, SVt_PVNV);
 205     sv_setpv(sv, name);
 206     if (PL_in_my_stash) {
 207         if (*name != '$')
 208             yyerror(Perl_form(aTHX_ "Can't declare class for non-scalar %s in \"%s\"",
 209                          name, PL_in_my == KEY_our ? "our" : "my"));
 210         SvOBJECT_on(sv);
 211         (void)SvUPGRADE(sv, SVt_PVMG);
 212         SvSTASH(sv) = (HV*)SvREFCNT_inc(PL_in_my_stash);
 213         PL_sv_objcount++;
 214     }
 215     if (PL_in_my == KEY_our) {
 216         (void)SvUPGRADE(sv, SVt_PVGV);
 217         GvSTASH(sv) = (HV*)SvREFCNT_inc(PL_curstash ? (SV*)PL_curstash : (SV*)PL_defstash);
 218         SvFLAGS(sv) |= SVpad_OUR;
 219     }
 220     av_store(PL_comppad_name, off, sv);
 221     SvNVX(sv) = (NV)PAD_MAX;
 222     SvIVX(sv) = 0;                      /* Not yet introduced--see newSTATEOP */
 223     if (!PL_min_intro_pending)
 224         PL_min_intro_pending = off;
 225     PL_max_intro_pending = off;
 226     if (*name == '@')
 227         av_store(PL_comppad, off, (SV*)newAV());
 228     else if (*name == '%')
 229         av_store(PL_comppad, off, (SV*)newHV());
 230     SvPADMY_on(PL_curpad[off]);
 231     return off;
 232 }
 233
 234 STATIC PADOFFSET
 235 S_pad_addlex(pTHX_ SV *proto_namesv)
 236 {
 237     SV *namesv = NEWSV(1103,0);
 238     PADOFFSET newoff = pad_alloc(OP_PADSV, SVs_PADMY);
 239     sv_upgrade(namesv, SVt_PVNV);
 240     sv_setpv(namesv, SvPVX(proto_namesv));
 241     av_store(PL_comppad_name, newoff, namesv);
 242     SvNVX(namesv) = (NV)PL_curcop->cop_seq;
 243     SvIVX(namesv) = PAD_MAX;                    /* A ref, intro immediately */
 244     SvFAKE_on(namesv);                          /* A ref, not a real var */
 245     if (SvFLAGS(proto_namesv) & SVpad_OUR) {    /* An "our" variable */
 246         SvFLAGS(namesv) |= SVpad_OUR;
 247         (void)SvUPGRADE(namesv, SVt_PVGV);
 248         GvSTASH(namesv) = (HV*)SvREFCNT_inc((SV*)GvSTASH(proto_namesv));
 249     }
 250     if (SvOBJECT(proto_namesv)) {               /* A typed var */
 251         SvOBJECT_on(namesv);
 252         (void)SvUPGRADE(namesv, SVt_PVMG);
 253         SvSTASH(namesv) = (HV*)SvREFCNT_inc((SV*)SvSTASH(proto_namesv));
 254         PL_sv_objcount++;
 255     }
 256     return newoff;
 257 }
 258
 259 #define FINDLEX_NOSEARCH        1               /* don't search outer contexts */
 260
 261 STATIC PADOFFSET
 262 S_pad_findlex(pTHX_ char *name, PADOFFSET newoff, U32 seq, CV* startcv,
 263             I32 cx_ix, I32 saweval, U32 flags)
 264 {
 265     CV *cv;
 266     I32 off;
 267     SV *sv;
 268     register I32 i;
 269     register PERL_CONTEXT *cx;
 270
 271     for (cv = startcv; cv; cv = CvOUTSIDE(cv)) {
 272         AV *curlist = CvPADLIST(cv);
 273         SV **svp = av_fetch(curlist, 0, FALSE);
 274         AV *curname;
 275
 276         if (!svp || *svp == &PL_sv_undef)
 277             continue;
 278         curname = (AV*)*svp;
 279         svp = AvARRAY(curname);
 280         for (off = AvFILLp(curname); off > 0; off--) {
 281             if ((sv = svp[off]) &&
 282                 sv != &PL_sv_undef &&
 283                 seq <= SvIVX(sv) &&
 284                 seq > I_32(SvNVX(sv)) &&
 285                 strEQ(SvPVX(sv), name))
 286             {
 287                 I32 depth;
 288                 AV *oldpad;
 289                 SV *oldsv;
 290
 291                 depth = CvDEPTH(cv);
 292                 if (!depth) {
 293                     if (newoff) {
 294                         if (SvFAKE(sv))
 295                             continue;
 296                         return 0; /* don't clone from inactive stack frame */
 297                     }
 298                     depth = 1;
 299                 }
 300                 oldpad = (AV*)AvARRAY(curlist)[depth];
 301                 oldsv = *av_fetch(oldpad, off, TRUE);
 302                 if (!newoff) {          /* Not a mere clone operation. */
 303                     newoff = pad_addlex(sv);
 304                     if (CvANON(PL_compcv) || SvTYPE(PL_compcv) == SVt_PVFM) {
 305                         /* "It's closures all the way down." */
 306                         CvCLONE_on(PL_compcv);
 307                         if (cv == startcv) {
 308                             if (CvANON(PL_compcv))
 309                                 oldsv = Nullsv; /* no need to keep ref */
 310                         }
 311                         else {
 312                             CV *bcv;
 313                             for (bcv = startcv;
 314                                  bcv && bcv != cv && !CvCLONE(bcv);
 315                                  bcv = CvOUTSIDE(bcv))
 316                             {
 317                                 if (CvANON(bcv)) {
 318                                     /* install the missing pad entry in intervening
 319                                      * nested subs and mark them cloneable.
 320                                      * XXX fix pad_foo() to not use globals */
 321                                     AV *ocomppad_name = PL_comppad_name;
 322                                     AV *ocomppad = PL_comppad;
 323                                     SV **ocurpad = PL_curpad;
 324                                     AV *padlist = CvPADLIST(bcv);
 325                                     PL_comppad_name = (AV*)AvARRAY(padlist)[0];
 326                                     PL_comppad = (AV*)AvARRAY(padlist)[1];
 327                                     PL_curpad = AvARRAY(PL_comppad);
 328                                     pad_addlex(sv);
 329                                     PL_comppad_name = ocomppad_name;
 330                                     PL_comppad = ocomppad;
 331                                     PL_curpad = ocurpad;
 332                                     CvCLONE_on(bcv);
 333                                 }
 334                                 else {
 335                                     if (ckWARN(WARN_CLOSURE)
 336                                         && !CvUNIQUE(bcv) && !CvUNIQUE(cv))
 337                                     {
 338                                         Perl_warner(aTHX_ WARN_CLOSURE,
 339                                           "Variable \"%s\" may be unavailable",
 340                                              name);
 341                                     }
 342                                     break;
 343                                 }
 344                             }
 345                         }
 346                     }
 347                     else if (!CvUNIQUE(PL_compcv)) {
 348                         if (ckWARN(WARN_CLOSURE) && !SvFAKE(sv) && !CvUNIQUE(cv)
 349                             && !(SvFLAGS(sv) & SVpad_OUR))
 350                         {
 351                             Perl_warner(aTHX_ WARN_CLOSURE,
 352                                 "Variable \"%s\" will not stay shared", name);
 353                         }
 354                     }
 355                 }
 356                 av_store(PL_comppad, newoff, SvREFCNT_inc(oldsv));
 357                 return newoff;
 358             }
 359         }
 360     }
 361
 362     if (flags & FINDLEX_NOSEARCH)
 363         return 0;
 364
 365     /* Nothing in current lexical context--try eval's context, if any.
 366      * This is necessary to let the perldb get at lexically scoped variables.
 367      * XXX This will also probably interact badly with eval tree caching.
 368      */
 369
 370     for (i = cx_ix; i >= 0; i--) {
 371         cx = &cxstack[i];
 372         switch (CxTYPE(cx)) {
 373         default:
 374             if (i == 0 && saweval) {
 375                 seq = cxstack[saweval].blk_oldcop->cop_seq;
 376                 return pad_findlex(name, newoff, seq, PL_main_cv, -1, saweval, 0);
 377             }
 378             break;
 379         case CXt_EVAL:
 380             switch (cx->blk_eval.old_op_type) {
 381             case OP_ENTEREVAL:
 382                 if (CxREALEVAL(cx))
 383                     saweval = i;
 384                 break;
 385             case OP_DOFILE:
 386             case OP_REQUIRE:
 387                 /* require/do must have their own scope */
 388                 return 0;
 389             }
 390             break;
 391         case CXt_FORMAT:
 392         case CXt_SUB:
 393             if (!saweval)
 394                 return 0;
 395             cv = cx->blk_sub.cv;
 396             if (PL_debstash && CvSTASH(cv) == PL_debstash) {    /* ignore DB'* scope */
 397                 saweval = i;    /* so we know where we were called from */
 398                 continue;
 399             }
 400             seq = cxstack[saweval].blk_oldcop->cop_seq;
 401             return pad_findlex(name, newoff, seq, cv, i-1, saweval,FINDLEX_NOSEARCH);
 402         }
 403     }
 404
 405     return 0;
 406 }
 407
 408 PADOFFSET
 409 Perl_pad_findmy(pTHX_ char *name)
 410 {
 411     I32 off;
 412     I32 pendoff = 0;
 413     SV *sv;
 414     SV **svp = AvARRAY(PL_comppad_name);
 415     U32 seq = PL_cop_seqmax;
 416     PERL_CONTEXT *cx;
 417     CV *outside;
 418
 419 #ifdef USE_THREADS
 420     /*
 421      * Special case to get lexical (and hence per-thread) @_.
 422      * XXX I need to find out how to tell at parse-time whether use
 423      * of @_ should refer to a lexical (from a sub) or defgv (global
 424      * scope and maybe weird sub-ish things like formats). See
 425      * startsub in perly.y.  It's possible that @_ could be lexical
 426      * (at least from subs) even in non-threaded perl.
 427      */
 428     if (strEQ(name, "@_"))
 429         return 0;               /* success. (NOT_IN_PAD indicates failure) */
 430 #endif /* USE_THREADS */
 431
 432     /* The one we're looking for is probably just before comppad_name_fill. */
 433     for (off = AvFILLp(PL_comppad_name); off > 0; off--) {
 434         if ((sv = svp[off]) &&
 435             sv != &PL_sv_undef &&
 436             (!SvIVX(sv) ||
 437              (seq <= SvIVX(sv) &&
 438               seq > I_32(SvNVX(sv)))) &&
 439             strEQ(SvPVX(sv), name))
 440         {
 441             if (SvIVX(sv) || SvFLAGS(sv) & SVpad_OUR)
 442                 return (PADOFFSET)off;
 443             pendoff = off;      /* this pending def. will override import */
 444         }
 445     }
 446
 447     outside = CvOUTSIDE(PL_compcv);
 448
 449     /* Check if if we're compiling an eval'', and adjust seq to be the
 450      * eval's seq number.  This depends on eval'' having a non-null
 451      * CvOUTSIDE() while it is being compiled.  The eval'' itself is
 452      * identified by CvEVAL being true and CvGV being null. */
 453     if (outside && CvEVAL(PL_compcv) && !CvGV(PL_compcv) && cxstack_ix >= 0) {
 454         cx = &cxstack[cxstack_ix];
 455         if (CxREALEVAL(cx))
 456             seq = cx->blk_oldcop->cop_seq;
 457     }
 458
 459     /* See if it's in a nested scope */
 460     off = pad_findlex(name, 0, seq, outside, cxstack_ix, 0, 0);
 461     if (off) {
 462         /* If there is a pending local definition, this new alias must die */
 463         if (pendoff)
 464             SvIVX(AvARRAY(PL_comppad_name)[off]) = seq;
 465         return off;             /* pad_findlex returns 0 for failure...*/
 466     }
 467     return NOT_IN_PAD;          /* ...but we return NOT_IN_PAD for failure */
 468 }
 469
 470 void
 471 Perl_pad_leavemy(pTHX_ I32 fill)
 472 {
 473     I32 off;
 474     SV **svp = AvARRAY(PL_comppad_name);
 475     SV *sv;
 476     if (PL_min_intro_pending && fill < PL_min_intro_pending) {
 477         for (off = PL_max_intro_pending; off >= PL_min_intro_pending; off--) {
 478             if ((sv = svp[off]) && sv != &PL_sv_undef && ckWARN_d(WARN_INTERNAL))
 479                 Perl_warner(aTHX_ WARN_INTERNAL, "%s never introduced", SvPVX(sv));
 480         }
 481     }
 482     /* "Deintroduce" my variables that are leaving with this scope. */
 483     for (off = AvFILLp(PL_comppad_name); off > fill; off--) {
 484         if ((sv = svp[off]) && sv != &PL_sv_undef && SvIVX(sv) == PAD_MAX)
 485             SvIVX(sv) = PL_cop_seqmax;
 486     }
 487 }
 488
 489 PADOFFSET
 490 Perl_pad_alloc(pTHX_ I32 optype, U32 tmptype)
 491 {
 492     SV *sv;
 493     I32 retval;
 494
 495     if (AvARRAY(PL_comppad) != PL_curpad)
 496         Perl_croak(aTHX_ "panic: pad_alloc");
 497     if (PL_pad_reset_pending)
 498         pad_reset();
 499     if (tmptype & SVs_PADMY) {
 500         do {
 501             sv = *av_fetch(PL_comppad, AvFILLp(PL_comppad) + 1, TRUE);
 502         } while (SvPADBUSY(sv));                /* need a fresh one */
 503         retval = AvFILLp(PL_comppad);
 504     }
 505     else {
 506         SV **names = AvARRAY(PL_comppad_name);
 507         SSize_t names_fill = AvFILLp(PL_comppad_name);
 508         for (;;) {
 509             /*
 510              * "foreach" index vars temporarily become aliases to non-"my"
 511              * values.  Thus we must skip, not just pad values that are
 512              * marked as current pad values, but also those with names.
 513              */
 514             if (++PL_padix <= names_fill &&
 515                    (sv = names[PL_padix]) && sv != &PL_sv_undef)
 516                 continue;
 517             sv = *av_fetch(PL_comppad, PL_padix, TRUE);
 518             if (!(SvFLAGS(sv) & (SVs_PADTMP|SVs_PADMY)) &&
 519                 !IS_PADGV(sv) && !IS_PADCONST(sv))
 520                 break;
 521         }
 522         retval = PL_padix;
 523     }
 524     SvFLAGS(sv) |= tmptype;
 525     PL_curpad = AvARRAY(PL_comppad);
 526 #ifdef USE_THREADS
 527     DEBUG_X(PerlIO_printf(Perl_debug_log,
 528                           "0x%"UVxf" Pad 0x%"UVxf" alloc %ld for %s\n",
 529                           PTR2UV(thr), PTR2UV(PL_curpad),
 530                           (long) retval, PL_op_name[optype]));
 531 #else
 532     DEBUG_X(PerlIO_printf(Perl_debug_log,
 533                           "Pad 0x%"UVxf" alloc %ld for %s\n",
 534                           PTR2UV(PL_curpad),
 535                           (long) retval, PL_op_name[optype]));
 536 #endif /* USE_THREADS */
 537     return (PADOFFSET)retval;
 538 }
 539
 540 SV *
 541 Perl_pad_sv(pTHX_ PADOFFSET po)
 542 {
 543 #ifdef USE_THREADS
 544     DEBUG_X(PerlIO_printf(Perl_debug_log,
 545                           "0x%"UVxf" Pad 0x%"UVxf" sv %"IVdf"\n",
 546                           PTR2UV(thr), PTR2UV(PL_curpad), (IV)po));
 547 #else
 548     if (!po)
 549         Perl_croak(aTHX_ "panic: pad_sv po");
 550     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%"UVxf" sv %"IVdf"\n",
 551                           PTR2UV(PL_curpad), (IV)po));
 552 #endif /* USE_THREADS */
 553     return PL_curpad[po];               /* eventually we'll turn this into a macro */
 554 }
 555
 556 void
 557 Perl_pad_free(pTHX_ PADOFFSET po)
 558 {
 559     if (!PL_curpad)
 560         return;
 561     if (AvARRAY(PL_comppad) != PL_curpad)
 562         Perl_croak(aTHX_ "panic: pad_free curpad");
 563     if (!po)
 564         Perl_croak(aTHX_ "panic: pad_free po");
 565 #ifdef USE_THREADS
 566     DEBUG_X(PerlIO_printf(Perl_debug_log,
 567                           "0x%"UVxf" Pad 0x%"UVxf" free %"IVdf"\n",
 568                           PTR2UV(thr), PTR2UV(PL_curpad), (IV)po));
 569 #else
 570     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%"UVxf" free %"IVdf"\n",
 571                           PTR2UV(PL_curpad), (IV)po));
 572 #endif /* USE_THREADS */
 573     if (PL_curpad[po] && PL_curpad[po] != &PL_sv_undef) {
 574         SvPADTMP_off(PL_curpad[po]);
 575 #ifdef USE_ITHREADS
 576         SvREADONLY_off(PL_curpad[po]);  /* could be a freed constant */
 577 #endif
 578     }
 579     if ((I32)po < PL_padix)
 580         PL_padix = po - 1;
 581 }
 582
 583 void
 584 Perl_pad_swipe(pTHX_ PADOFFSET po)
 585 {
 586     if (AvARRAY(PL_comppad) != PL_curpad)
 587         Perl_croak(aTHX_ "panic: pad_swipe curpad");
 588     if (!po)
 589         Perl_croak(aTHX_ "panic: pad_swipe po");
 590 #ifdef USE_THREADS
 591     DEBUG_X(PerlIO_printf(Perl_debug_log,
 592                           "0x%"UVxf" Pad 0x%"UVxf" swipe %"IVdf"\n",
 593                           PTR2UV(thr), PTR2UV(PL_curpad), (IV)po));
 594 #else
 595     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%"UVxf" swipe %"IVdf"\n",
 596                           PTR2UV(PL_curpad), (IV)po));
 597 #endif /* USE_THREADS */
 598     SvPADTMP_off(PL_curpad[po]);
 599     PL_curpad[po] = NEWSV(1107,0);
 600     SvPADTMP_on(PL_curpad[po]);
 601     if ((I32)po < PL_padix)
 602         PL_padix = po - 1;
 603 }
 604
 605 /* XXX pad_reset() is currently disabled because it results in serious bugs.
 606  * It causes pad temp TARGs to be shared between OPs. Since TARGs are pushed
 607  * on the stack by OPs that use them, there are several ways to get an alias
 608  * to  a shared TARG.  Such an alias will change randomly and unpredictably.
 609  * We avoid doing this until we can think of a Better Way.
 610  * GSAR 97-10-29 */
 611 void
 612 Perl_pad_reset(pTHX)
 613 {
 614 #ifdef USE_BROKEN_PAD_RESET
 615     register I32 po;
 616
 617     if (AvARRAY(PL_comppad) != PL_curpad)
 618         Perl_croak(aTHX_ "panic: pad_reset curpad");
 619 #ifdef USE_THREADS
 620     DEBUG_X(PerlIO_printf(Perl_debug_log,
 621                           "0x%"UVxf" Pad 0x%"UVxf" reset\n",
 622                           PTR2UV(thr), PTR2UV(PL_curpad)));
 623 #else
 624     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%"UVxf" reset\n",
 625                           PTR2UV(PL_curpad)));
 626 #endif /* USE_THREADS */
 627     if (!PL_tainting) { /* Can't mix tainted and non-tainted temporaries. */
 628         for (po = AvMAX(PL_comppad); po > PL_padix_floor; po--) {
 629             if (PL_curpad[po] && !SvIMMORTAL(PL_curpad[po]))
 630                 SvPADTMP_off(PL_curpad[po]);
 631         }
 632         PL_padix = PL_padix_floor;
 633     }
 634 #endif
 635     PL_pad_reset_pending = FALSE;
 636 }
 637
 638 #ifdef USE_THREADS
 639 /* find_threadsv is not reentrant */
 640 PADOFFSET
 641 Perl_find_threadsv(pTHX_ const char *name)
 642 {
 643     char *p;
 644     PADOFFSET key;
 645     SV **svp;
 646     /* We currently only handle names of a single character */
 647     p = strchr(PL_threadsv_names, *name);
 648     if (!p)
 649         return NOT_IN_PAD;
 650     key = p - PL_threadsv_names;
 651     MUTEX_LOCK(&thr->mutex);
 652     svp = av_fetch(thr->threadsv, key, FALSE);
 653     if (svp)
 654         MUTEX_UNLOCK(&thr->mutex);
 655     else {
 656         SV *sv = NEWSV(0, 0);
 657         av_store(thr->threadsv, key, sv);
 658         thr->threadsvp = AvARRAY(thr->threadsv);
 659         MUTEX_UNLOCK(&thr->mutex);
 660         /*
 661          * Some magic variables used to be automagically initialised
 662          * in gv_fetchpv. Those which are now per-thread magicals get
 663          * initialised here instead.
 664          */
 665         switch (*name) {
 666         case '_':
 667             break;
 668         case ';':
 669             sv_setpv(sv, "\034");
 670             sv_magic(sv, 0, 0, name, 1);
 671             break;
 672         case '&':
 673         case '`':
 674         case '\'':
 675             PL_sawampersand = TRUE;
 676             /* FALL THROUGH */
 677         case '1':
 678         case '2':
 679         case '3':
 680         case '4':
 681         case '5':
 682         case '6':
 683         case '7':
 684         case '8':
 685         case '9':
 686             SvREADONLY_on(sv);
 687             /* FALL THROUGH */
 688
 689         /* XXX %! tied to Errno.pm needs to be added here.
 690          * See gv_fetchpv(). */
 691         /* case '!': */
 692
 693         default:
 694             sv_magic(sv, 0, 0, name, 1);
 695         }
 696         DEBUG_S(PerlIO_printf(Perl_error_log,
 697                               "find_threadsv: new SV %p for $%s%c\n",
 698                               sv, (*name < 32) ? "^" : "",
 699                               (*name < 32) ? toCTRL(*name) : *name));
 700     }
 701     return key;
 702 }
 703 #endif /* USE_THREADS */
 704
 705 /* Destructor */
 706
 707 void
 708 Perl_op_free(pTHX_ OP *o)
 709 {
 710     register OP *kid, *nextkid;
 711     OPCODE type;
 712
 713     if (!o || o->op_seq == (U16)-1)
 714         return;
 715
 716     if (o->op_private & OPpREFCOUNTED) {
 717         switch (o->op_type) {
 718         case OP_LEAVESUB:
 719         case OP_LEAVESUBLV:
 720         case OP_LEAVEEVAL:
 721         case OP_LEAVE:
 722         case OP_SCOPE:
 723         case OP_LEAVEWRITE:
 724             OP_REFCNT_LOCK;
 725             if (OpREFCNT_dec(o)) {
 726                 OP_REFCNT_UNLOCK;
 727                 return;
 728             }
 729             OP_REFCNT_UNLOCK;
 730             break;
 731         default:
 732             break;
 733         }
 734     }
 735
 736     if (o->op_flags & OPf_KIDS) {
 737         for (kid = cUNOPo->op_first; kid; kid = nextkid) {
 738             nextkid = kid->op_sibling; /* Get before next freeing kid */
 739             op_free(kid);
 740         }
 741     }
 742     type = o->op_type;
 743     if (type == OP_NULL)
 744         type = o->op_targ;
 745
 746     /* COP* is not cleared by op_clear() so that we may track line
 747      * numbers etc even after null() */
 748     if (type == OP_NEXTSTATE || type == OP_SETSTATE || type == OP_DBSTATE)
 749         cop_free((COP*)o);
 750
 751     op_clear(o);
 752
 753 #ifdef PL_OP_SLAB_ALLOC
 754     if ((char *) o == PL_OpPtr)
 755      {
 756      }
 757 #else
 758     Safefree(o);
 759 #endif
 760 }
 761
 762 STATIC void
 763 S_op_clear(pTHX_ OP *o)
 764 {
 765     switch (o->op_type) {
 766     case OP_NULL:       /* Was holding old type, if any. */
 767     case OP_ENTEREVAL:  /* Was holding hints. */
 768 #ifdef USE_THREADS
 769     case OP_THREADSV:   /* Was holding index into thr->threadsv AV. */
 770 #endif
 771         o->op_targ = 0;
 772         break;
 773 #ifdef USE_THREADS
 774     case OP_ENTERITER:
 775         if (!(o->op_flags & OPf_SPECIAL))
 776             break;
 777         /* FALL THROUGH */
 778 #endif /* USE_THREADS */
 779     default:
 780         if (!(o->op_flags & OPf_REF)
 781             || (PL_check[o->op_type] != MEMBER_TO_FPTR(Perl_ck_ftst)))
 782             break;
 783         /* FALL THROUGH */
 784     case OP_GVSV:
 785     case OP_GV:
 786     case OP_AELEMFAST:
 787 #ifdef USE_ITHREADS
 788         if (cPADOPo->op_padix > 0) {
 789             if (PL_curpad) {
 790                 GV *gv = cGVOPo_gv;
 791                 pad_swipe(cPADOPo->op_padix);
 792                 /* No GvIN_PAD_off(gv) here, because other references may still
 793                  * exist on the pad */
 794                 SvREFCNT_dec(gv);
 795             }
 796             cPADOPo->op_padix = 0;
 797         }
 798 #else
 799         SvREFCNT_dec(cSVOPo->op_sv);
 800         cSVOPo->op_sv = Nullsv;
 801 #endif
 802         break;
 803     case OP_METHOD_NAMED:
 804     case OP_CONST:
 805         SvREFCNT_dec(cSVOPo->op_sv);
 806         cSVOPo->op_sv = Nullsv;
 807         break;
 808     case OP_GOTO:
 809     case OP_NEXT:
 810     case OP_LAST:
 811     case OP_REDO:
 812         if (o->op_flags & (OPf_SPECIAL|OPf_STACKED|OPf_KIDS))
 813             break;
 814         /* FALL THROUGH */
 815     case OP_TRANS:
 816         if (o->op_private & (OPpTRANS_FROM_UTF|OPpTRANS_TO_UTF)) {
 817             SvREFCNT_dec(cSVOPo->op_sv);
 818             cSVOPo->op_sv = Nullsv;
 819         }
 820         else {
 821             Safefree(cPVOPo->op_pv);
 822             cPVOPo->op_pv = Nullch;
 823         }
 824         break;
 825     case OP_SUBST:
 826         op_free(cPMOPo->op_pmreplroot);
 827         goto clear_pmop;
 828     case OP_PUSHRE:
 829 #ifdef USE_ITHREADS
 830         if ((PADOFFSET)cPMOPo->op_pmreplroot) {
 831             if (PL_curpad) {
 832                 GV *gv = (GV*)PL_curpad[(PADOFFSET)cPMOPo->op_pmreplroot];
 833                 pad_swipe((PADOFFSET)cPMOPo->op_pmreplroot);
 834                 /* No GvIN_PAD_off(gv) here, because other references may still
 835                  * exist on the pad */
 836                 SvREFCNT_dec(gv);
 837             }
 838         }
 839 #else
 840         SvREFCNT_dec((SV*)cPMOPo->op_pmreplroot);
 841 #endif
 842         /* FALL THROUGH */
 843     case OP_MATCH:
 844     case OP_QR:
 845 clear_pmop:
 846         cPMOPo->op_pmreplroot = Nullop;
 847         ReREFCNT_dec(cPMOPo->op_pmregexp);
 848         cPMOPo->op_pmregexp = (REGEXP*)NULL;
 849         break;
 850     }
 851
 852     if (o->op_targ > 0) {
 853         pad_free(o->op_targ);
 854         o->op_targ = 0;
 855     }
 856 }
 857
 858 STATIC void
 859 S_cop_free(pTHX_ COP* cop)
 860 {
 861     Safefree(cop->cop_label);
 862 #ifdef USE_ITHREADS
 863     Safefree(CopFILE(cop));             /* XXX share in a pvtable? */
 864     Safefree(CopSTASHPV(cop));          /* XXX share in a pvtable? */
 865 #else
 866     /* NOTE: COP.cop_stash is not refcounted */
 867     SvREFCNT_dec(CopFILEGV(cop));
 868 #endif
 869     if (! specialWARN(cop->cop_warnings))
 870         SvREFCNT_dec(cop->cop_warnings);
 871     if (! specialCopIO(cop->cop_io))
 872         SvREFCNT_dec(cop->cop_io);
 873 }
 874
 875 STATIC void
 876 S_null(pTHX_ OP *o)
 877 {
 878     if (o->op_type == OP_NULL)
 879         return;
 880     op_clear(o);
 881     o->op_targ = o->op_type;
 882     o->op_type = OP_NULL;
 883     o->op_ppaddr = PL_ppaddr[OP_NULL];
 884 }
 885
 886 /* Contextualizers */
 887
 888 #define LINKLIST(o) ((o)->op_next ? (o)->op_next : linklist((OP*)o))
 889
 890 OP *
 891 Perl_linklist(pTHX_ OP *o)
 892 {
 893     register OP *kid;
 894
 895     if (o->op_next)
 896         return o->op_next;
 897
 898     /* establish postfix order */
 899     if (cUNOPo->op_first) {
 900         o->op_next = LINKLIST(cUNOPo->op_first);
 901         for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling) {
 902             if (kid->op_sibling)
 903                 kid->op_next = LINKLIST(kid->op_sibling);
 904             else
 905                 kid->op_next = o;
 906         }
 907     }
 908     else
 909         o->op_next = o;
 910
 911     return o->op_next;
 912 }
 913
 914 OP *
 915 Perl_scalarkids(pTHX_ OP *o)
 916 {
 917     OP *kid;
 918     if (o && o->op_flags & OPf_KIDS) {
 919         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
 920             scalar(kid);
 921     }
 922     return o;
 923 }
 924
 925 STATIC OP *
 926 S_scalarboolean(pTHX_ OP *o)
 927 {
 928     if (o->op_type == OP_SASSIGN && cBINOPo->op_first->op_type == OP_CONST) {
 929         if (ckWARN(WARN_SYNTAX)) {
 930             line_t oldline = CopLINE(PL_curcop);
 931
 932             if (PL_copline != NOLINE)
 933                 CopLINE_set(PL_curcop, PL_copline);
 934             Perl_warner(aTHX_ WARN_SYNTAX, "Found = in conditional, should be ==");
 935             CopLINE_set(PL_curcop, oldline);
 936         }
 937     }
 938     return scalar(o);
 939 }
 940
 941 OP *
 942 Perl_scalar(pTHX_ OP *o)
 943 {
 944     OP *kid;
 945
 946     /* assumes no premature commitment */
 947     if (!o || (o->op_flags & OPf_WANT) || PL_error_count
 948          || o->op_type == OP_RETURN)
 949     {
 950         return o;
 951     }
 952
 953     o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_SCALAR;
 954
 955     switch (o->op_type) {
 956     case OP_REPEAT:
 957         if (o->op_private & OPpREPEAT_DOLIST)
 958             null(((LISTOP*)cBINOPo->op_first)->op_first);
 959         scalar(cBINOPo->op_first);
 960         break;
 961     case OP_OR:
 962     case OP_AND:
 963     case OP_COND_EXPR:
 964         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
 965             scalar(kid);
 966         break;
 967     case OP_SPLIT:
 968         if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
 969             if (!kPMOP->op_pmreplroot)
 970                 deprecate("implicit split to @_");
 971         }
 972         /* FALL THROUGH */
 973     case OP_MATCH:
 974     case OP_QR:
 975     case OP_SUBST:
 976     case OP_NULL:
 977     default:
 978         if (o->op_flags & OPf_KIDS) {
 979             for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling)
 980                 scalar(kid);
 981         }
 982         break;
 983     case OP_LEAVE:
 984     case OP_LEAVETRY:
 985         kid = cLISTOPo->op_first;
 986         scalar(kid);
 987         while ((kid = kid->op_sibling)) {
 988             if (kid->op_sibling)
 989                 scalarvoid(kid);
 990             else
 991                 scalar(kid);
 992         }
 993         WITH_THR(PL_curcop = &PL_compiling);
 994         break;
 995     case OP_SCOPE:
 996     case OP_LINESEQ:
 997     case OP_LIST:
 998         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
 999             if (kid->op_sibling)
1000                 scalarvoid(kid);
1001             else
1002                 scalar(kid);
1003         }
1004         WITH_THR(PL_curcop = &PL_compiling);
1005         break;
1006     }
1007     return o;
1008 }
1009
1010 OP *
1011 Perl_scalarvoid(pTHX_ OP *o)
1012 {
1013     OP *kid;
1014     char* useless = 0;
1015     SV* sv;
1016     U8 want;
1017
1018     if (o->op_type == OP_NEXTSTATE
1019         || o->op_type == OP_SETSTATE
1020         || o->op_type == OP_DBSTATE
1021         || (o->op_type == OP_NULL && (o->op_targ == OP_NEXTSTATE
1022                                       || o->op_targ == OP_SETSTATE
1023                                       || o->op_targ == OP_DBSTATE)))
1024         PL_curcop = (COP*)o;            /* for warning below */
1025
1026     /* assumes no premature commitment */
1027     want = o->op_flags & OPf_WANT;
1028     if ((want && want != OPf_WANT_SCALAR) || PL_error_count
1029          || o->op_type == OP_RETURN)
1030     {
1031         return o;
1032     }
1033
1034     if ((o->op_private & OPpTARGET_MY)
1035         && (PL_opargs[o->op_type] & OA_TARGLEX))/* OPp share the meaning */
1036     {
1037         return scalar(o);                       /* As if inside SASSIGN */
1038     }
1039
1040     o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_VOID;
1041
1042     switch (o->op_type) {
1043     default:
1044         if (!(PL_opargs[o->op_type] & OA_FOLDCONST))
1045             break;
1046         /* FALL THROUGH */
1047     case OP_REPEAT:
1048         if (o->op_flags & OPf_STACKED)
1049             break;
1050         goto func_ops;
1051     case OP_SUBSTR:
1052         if (o->op_private == 4)
1053             break;
1054         /* FALL THROUGH */
1055     case OP_GVSV:
1056     case OP_WANTARRAY:
1057     case OP_GV:
1058     case OP_PADSV:
1059     case OP_PADAV:
1060     case OP_PADHV:
1061     case OP_PADANY:
1062     case OP_AV2ARYLEN:
1063     case OP_REF:
1064     case OP_REFGEN:
1065     case OP_SREFGEN:
1066     case OP_DEFINED:
1067     case OP_HEX:
1068     case OP_OCT:
1069     case OP_LENGTH:
1070     case OP_VEC:
1071     case OP_INDEX:
1072     case OP_RINDEX:
1073     case OP_SPRINTF:
1074     case OP_AELEM:
1075     case OP_AELEMFAST:
1076     case OP_ASLICE:
1077     case OP_HELEM:
1078     case OP_HSLICE:
1079     case OP_UNPACK:
1080     case OP_PACK:
1081     case OP_JOIN:
1082     case OP_LSLICE:
1083     case OP_ANONLIST:
1084     case OP_ANONHASH:
1085     case OP_SORT:
1086     case OP_REVERSE:
1087     case OP_RANGE:
1088     case OP_FLIP:
1089     case OP_FLOP:
1090     case OP_CALLER:
1091     case OP_FILENO:
1092     case OP_EOF:
1093     case OP_TELL:
1094     case OP_GETSOCKNAME:
1095     case OP_GETPEERNAME:
1096     case OP_READLINK:
1097     case OP_TELLDIR:
1098     case OP_GETPPID:
1099     case OP_GETPGRP:
1100     case OP_GETPRIORITY:
1101     case OP_TIME:
1102     case OP_TMS:
1103     case OP_LOCALTIME:
1104     case OP_GMTIME:
1105     case OP_GHBYNAME:
1106     case OP_GHBYADDR:
1107     case OP_GHOSTENT:
1108     case OP_GNBYNAME:
1109     case OP_GNBYADDR:
1110     case OP_GNETENT:
1111     case OP_GPBYNAME:
1112     case OP_GPBYNUMBER:
1113     case OP_GPROTOENT:
1114     case OP_GSBYNAME:
1115     case OP_GSBYPORT:
1116     case OP_GSERVENT:
1117     case OP_GPWNAM:
1118     case OP_GPWUID:
1119     case OP_GGRNAM:
1120     case OP_GGRGID:
1121     case OP_GETLOGIN:
1122       func_ops:
1123         if (!(o->op_private & (OPpLVAL_INTRO|OPpOUR_INTRO)))
1124             useless = PL_op_desc[o->op_type];
1125         break;
1126
1127     case OP_RV2GV:
1128     case OP_RV2SV:
1129     case OP_RV2AV:
1130     case OP_RV2HV:
1131         if (!(o->op_private & (OPpLVAL_INTRO|OPpOUR_INTRO)) &&
1132                 (!o->op_sibling || o->op_sibling->op_type != OP_READLINE))
1133             useless = "a variable";
1134         break;
1135
1136     case OP_CONST:
1137         sv = cSVOPo_sv;
1138         if (cSVOPo->op_private & OPpCONST_STRICT)
1139             no_bareword_allowed(o);
1140         else {
1141             if (ckWARN(WARN_VOID)) {
1142                 useless = "a constant";
1143                 if (SvNIOK(sv) && (SvNV(sv) == 0.0 || SvNV(sv) == 1.0))
1144                     useless = 0;
1145                 else if (SvPOK(sv)) {
1146                   /* perl4's way of mixing documentation and code
1147                      (before the invention of POD) was based on a
1148                      trick to mix nroff and perl code. The trick was
1149                      built upon these three nroff macros being used in
1150                      void context. The pink camel has the details in
1151                      the script wrapman near page 319. */
1152                     if (strnEQ(SvPVX(sv), "di", 2) ||
1153                         strnEQ(SvPVX(sv), "ds", 2) ||
1154                         strnEQ(SvPVX(sv), "ig", 2))
1155                             useless = 0;
1156                 }
1157             }
1158         }
1159         null(o);                /* don't execute or even remember it */
1160         break;
1161
1162     case OP_POSTINC:
1163         o->op_type = OP_PREINC;         /* pre-increment is faster */
1164         o->op_ppaddr = PL_ppaddr[OP_PREINC];
1165         break;
1166
1167     case OP_POSTDEC:
1168         o->op_type = OP_PREDEC;         /* pre-decrement is faster */
1169         o->op_ppaddr = PL_ppaddr[OP_PREDEC];
1170         break;
1171
1172     case OP_OR:
1173     case OP_AND:
1174     case OP_COND_EXPR:
1175         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1176             scalarvoid(kid);
1177         break;
1178
1179     case OP_NULL:
1180         if (o->op_flags & OPf_STACKED)
1181             break;
1182         /* FALL THROUGH */
1183     case OP_NEXTSTATE:
1184     case OP_DBSTATE:
1185     case OP_ENTERTRY:
1186     case OP_ENTER:
1187         if (!(o->op_flags & OPf_KIDS))
1188             break;
1189         /* FALL THROUGH */
1190     case OP_SCOPE:
1191     case OP_LEAVE:
1192     case OP_LEAVETRY:
1193     case OP_LEAVELOOP:
1194     case OP_LINESEQ:
1195     case OP_LIST:
1196         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1197             scalarvoid(kid);
1198         break;
1199     case OP_ENTEREVAL:
1200         scalarkids(o);
1201         break;
1202     case OP_REQUIRE:
1203         /* all requires must return a boolean value */
1204         o->op_flags &= ~OPf_WANT;
1205         /* FALL THROUGH */
1206     case OP_SCALAR:
1207         return scalar(o);
1208     case OP_SPLIT:
1209         if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
1210             if (!kPMOP->op_pmreplroot)
1211                 deprecate("implicit split to @_");
1212         }
1213         break;
1214     }
1215     if (useless && ckWARN(WARN_VOID))
1216         Perl_warner(aTHX_ WARN_VOID, "Useless use of %s in void context", useless);
1217     return o;
1218 }
1219
1220 OP *
1221 Perl_listkids(pTHX_ OP *o)
1222 {
1223     OP *kid;
1224     if (o && o->op_flags & OPf_KIDS) {
1225         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1226             list(kid);
1227     }
1228     return o;
1229 }
1230
1231 OP *
1232 Perl_list(pTHX_ OP *o)
1233 {
1234     OP *kid;
1235
1236     /* assumes no premature commitment */
1237     if (!o || (o->op_flags & OPf_WANT) || PL_error_count
1238          || o->op_type == OP_RETURN)
1239     {
1240         return o;
1241     }
1242
1243     if ((o->op_private & OPpTARGET_MY)
1244         && (PL_opargs[o->op_type] & OA_TARGLEX))/* OPp share the meaning */
1245     {
1246         return o;                               /* As if inside SASSIGN */
1247     }
1248
1249     o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_LIST;
1250
1251     switch (o->op_type) {
1252     case OP_FLOP:
1253     case OP_REPEAT:
1254         list(cBINOPo->op_first);
1255         break;
1256     case OP_OR:
1257     case OP_AND:
1258     case OP_COND_EXPR:
1259         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1260             list(kid);
1261         break;
1262     default:
1263     case OP_MATCH:
1264     case OP_QR:
1265     case OP_SUBST:
1266     case OP_NULL:
1267         if (!(o->op_flags & OPf_KIDS))
1268             break;
1269         if (!o->op_next && cUNOPo->op_first->op_type == OP_FLOP) {
1270             list(cBINOPo->op_first);
1271             return gen_constant_list(o);
1272         }
1273     case OP_LIST:
1274         listkids(o);
1275         break;
1276     case OP_LEAVE:
1277     case OP_LEAVETRY:
1278         kid = cLISTOPo->op_first;
1279         list(kid);
1280         while ((kid = kid->op_sibling)) {
1281             if (kid->op_sibling)
1282                 scalarvoid(kid);
1283             else
1284                 list(kid);
1285         }
1286         WITH_THR(PL_curcop = &PL_compiling);
1287         break;
1288     case OP_SCOPE:
1289     case OP_LINESEQ:
1290         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
1291             if (kid->op_sibling)
1292                 scalarvoid(kid);
1293             else
1294                 list(kid);
1295         }
1296         WITH_THR(PL_curcop = &PL_compiling);
1297         break;
1298     case OP_REQUIRE:
1299         /* all requires must return a boolean value */
1300         o->op_flags &= ~OPf_WANT;
1301         return scalar(o);
1302     }
1303     return o;
1304 }
1305
1306 OP *
1307 Perl_scalarseq(pTHX_ OP *o)
1308 {
1309     OP *kid;
1310
1311     if (o) {
1312         if (o->op_type == OP_LINESEQ ||
1313              o->op_type == OP_SCOPE ||
1314              o->op_type == OP_LEAVE ||
1315              o->op_type == OP_LEAVETRY)
1316         {
1317             for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
1318                 if (kid->op_sibling) {
1319                     scalarvoid(kid);
1320                 }
1321             }
1322             PL_curcop = &PL_compiling;
1323         }
1324         o->op_flags &= ~OPf_PARENS;
1325         if (PL_hints & HINT_BLOCK_SCOPE)
1326             o->op_flags |= OPf_PARENS;
1327     }
1328     else
1329         o = newOP(OP_STUB, 0);
1330     return o;
1331 }
1332
1333 STATIC OP *
1334 S_modkids(pTHX_ OP *o, I32 type)
1335 {
1336     OP *kid;
1337     if (o && o->op_flags & OPf_KIDS) {
1338         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1339             mod(kid, type);
1340     }
1341     return o;
1342 }
1343
1344 OP *
1345 Perl_mod(pTHX_ OP *o, I32 type)
1346 {
1347     OP *kid;
1348     STRLEN n_a;
1349
1350     if (!o || PL_error_count)
1351         return o;
1352
1353     if ((o->op_private & OPpTARGET_MY)
1354         && (PL_opargs[o->op_type] & OA_TARGLEX))/* OPp share the meaning */
1355     {
1356         return o;
1357     }
1358
1359     switch (o->op_type) {
1360     case OP_UNDEF:
1361         PL_modcount++;
1362         return o;
1363     case OP_CONST:
1364         if (o->op_private & (OPpCONST_BARE) &&
1365                 !(type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN)) {
1366             SV *sv = ((SVOP*)o)->op_sv;
1367             GV *gv;
1368
1369             /* Could be a filehandle */
1370             if ((gv = gv_fetchpv(SvPV_nolen(sv), FALSE, SVt_PVIO))) {
1371                 OP* gvio = newUNOP(OP_RV2GV, 0, newGVOP(OP_GV, 0, gv));
1372                 op_free(o);
1373                 o = gvio;
1374             } else {
1375                 /* OK, it's a sub */
1376                 OP* enter;
1377                 gv = gv_fetchpv(SvPV_nolen(sv), TRUE, SVt_PVCV);
1378
1379                 enter = newUNOP(OP_ENTERSUB,0,
1380                         newUNOP(OP_RV2CV, 0,
1381                             newGVOP(OP_GV, 0, gv)
1382                         ));
1383                 enter->op_private |= OPpLVAL_INTRO;
1384                 op_free(o);
1385                 o = enter;
1386             }
1387             break;
1388         }
1389         if (!(o->op_private & (OPpCONST_ARYBASE)))
1390             goto nomod;
1391         if (PL_eval_start && PL_eval_start->op_type == OP_CONST) {
1392             PL_compiling.cop_arybase = (I32)SvIV(cSVOPx(PL_eval_start)->op_sv);
1393             PL_eval_start = 0;
1394         }
1395         else if (!type) {
1396             SAVEI32(PL_compiling.cop_arybase);
1397             PL_compiling.cop_arybase = 0;
1398         }
1399         else if (type == OP_REFGEN)
1400             goto nomod;
1401         else
1402             Perl_croak(aTHX_ "That use of $[ is unsupported");
1403         break;
1404     case OP_STUB:
1405         if (o->op_flags & OPf_PARENS)
1406             break;
1407         goto nomod;
1408     case OP_ENTERSUB:
1409         if ((type == OP_UNDEF || type == OP_REFGEN) &&
1410             !(o->op_flags & OPf_STACKED)) {
1411             o->op_type = OP_RV2CV;              /* entersub => rv2cv */
1412             o->op_ppaddr = PL_ppaddr[OP_RV2CV];
1413             assert(cUNOPo->op_first->op_type == OP_NULL);
1414             null(((LISTOP*)cUNOPo->op_first)->op_first);/* disable pushmark */
1415             break;
1416         }
1417         else {                          /* lvalue subroutine call */
1418             o->op_private |= OPpLVAL_INTRO;
1419             PL_modcount = RETURN_UNLIMITED_NUMBER;
1420             if (type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN) {
1421                 /* Backward compatibility mode: */
1422                 o->op_private |= OPpENTERSUB_INARGS;
1423                 break;
1424             }
1425             else {                      /* Compile-time error message: */
1426                 OP *kid = cUNOPo->op_first;
1427                 CV *cv;
1428                 OP *okid;
1429
1430                 if (kid->op_type == OP_PUSHMARK)
1431                     goto skip_kids;
1432                 if (kid->op_type != OP_NULL || kid->op_targ != OP_LIST)
1433                     Perl_croak(aTHX_
1434                                "panic: unexpected lvalue entersub "
1435                                "args: type/targ %ld:%ld",
1436                                (long)kid->op_type,kid->op_targ);
1437                 kid = kLISTOP->op_first;
1438               skip_kids:
1439                 while (kid->op_sibling)
1440                     kid = kid->op_sibling;
1441                 if (!(kid->op_type == OP_NULL && kid->op_targ == OP_RV2CV)) {
1442                     /* Indirect call */
1443                     if (kid->op_type == OP_METHOD_NAMED
1444                         || kid->op_type == OP_METHOD)
1445                     {
1446                         UNOP *newop;
1447
1448                         if (kid->op_sibling || kid->op_next != kid) {
1449                             yyerror("panic: unexpected optree near method call");
1450                             break;
1451                         }
1452
1453                         NewOp(1101, newop, 1, UNOP);
1454                         newop->op_type = OP_RV2CV;
1455                         newop->op_ppaddr = PL_ppaddr[OP_RV2CV];
1456                         newop->op_first = Nullop;
1457                         newop->op_next = (OP*)newop;
1458                         kid->op_sibling = (OP*)newop;
1459                         newop->op_private |= OPpLVAL_INTRO;
1460                         break;
1461                     }
1462
1463                     if (kid->op_type != OP_RV2CV)
1464                         Perl_croak(aTHX_
1465                                    "panic: unexpected lvalue entersub "
1466                                    "entry via type/targ %ld:%ld",
1467                                    (long)kid->op_type,kid->op_targ);
1468                     kid->op_private |= OPpLVAL_INTRO;
1469                     break;      /* Postpone until runtime */
1470                 }
1471
1472                 okid = kid;
1473                 kid = kUNOP->op_first;
1474                 if (kid->op_type == OP_NULL && kid->op_targ == OP_RV2SV)
1475                     kid = kUNOP->op_first;
1476                 if (kid->op_type == OP_NULL)
1477                     Perl_croak(aTHX_
1478                                "Unexpected constant lvalue entersub "
1479                                "entry via type/targ %ld:%ld",
1480                                (long)kid->op_type,kid->op_targ);
1481                 if (kid->op_type != OP_GV) {
1482                     /* Restore RV2CV to check lvalueness */
1483                   restore_2cv:
1484                     if (kid->op_next && kid->op_next != kid) { /* Happens? */
1485                         okid->op_next = kid->op_next;
1486                         kid->op_next = okid;
1487                     }
1488                     else
1489                         okid->op_next = Nullop;
1490                     okid->op_type = OP_RV2CV;
1491                     okid->op_targ = 0;
1492                     okid->op_ppaddr = PL_ppaddr[OP_RV2CV];
1493                     okid->op_private |= OPpLVAL_INTRO;
1494                     break;
1495                 }
1496
1497                 cv = GvCV(kGVOP_gv);
1498                 if (!cv)
1499                     goto restore_2cv;
1500                 if (CvLVALUE(cv))
1501                     break;
1502             }
1503         }
1504         /* FALL THROUGH */
1505     default:
1506       nomod:
1507         /* grep, foreach, subcalls, refgen */
1508         if (type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN)
1509             break;
1510         yyerror(Perl_form(aTHX_ "Can't modify %s in %s",
1511                      (o->op_type == OP_NULL && (o->op_flags & OPf_SPECIAL)
1512                       ? "do block"
1513                       : (o->op_type == OP_ENTERSUB
1514                         ? "non-lvalue subroutine call"
1515                         : PL_op_desc[o->op_type])),
1516                      type ? PL_op_desc[type] : "local"));
1517         return o;
1518
1519     case OP_PREINC:
1520     case OP_PREDEC:
1521     case OP_POW:
1522     case OP_MULTIPLY:
1523     case OP_DIVIDE:
1524     case OP_MODULO:
1525     case OP_REPEAT:
1526     case OP_ADD:
1527     case OP_SUBTRACT:
1528     case OP_CONCAT:
1529     case OP_LEFT_SHIFT:
1530     case OP_RIGHT_SHIFT:
1531     case OP_BIT_AND:
1532     case OP_BIT_XOR:
1533     case OP_BIT_OR:
1534     case OP_I_MULTIPLY:
1535     case OP_I_DIVIDE:
1536     case OP_I_MODULO:
1537     case OP_I_ADD:
1538     case OP_I_SUBTRACT:
1539         if (!(o->op_flags & OPf_STACKED))
1540             goto nomod;
1541         PL_modcount++;
1542         break;
1543
1544     case OP_COND_EXPR:
1545         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1546             mod(kid, type);
1547         break;
1548
1549     case OP_RV2AV:
1550     case OP_RV2HV:
1551         if (!type && cUNOPo->op_first->op_type != OP_GV)
1552             Perl_croak(aTHX_ "Can't localize through a reference");
1553         if (type == OP_REFGEN && o->op_flags & OPf_PARENS) {
1554            PL_modcount = RETURN_UNLIMITED_NUMBER;
1555             return o;           /* Treat \(@foo) like ordinary list. */
1556         }
1557         /* FALL THROUGH */
1558     case OP_RV2GV:
1559         if (scalar_mod_type(o, type))
1560             goto nomod;
1561         ref(cUNOPo->op_first, o->op_type);
1562         /* FALL THROUGH */
1563     case OP_ASLICE:
1564     case OP_HSLICE:
1565         if (type == OP_LEAVESUBLV)
1566             o->op_private |= OPpMAYBE_LVSUB;
1567         /* FALL THROUGH */
1568     case OP_AASSIGN:
1569     case OP_NEXTSTATE:
1570     case OP_DBSTATE:
1571     case OP_CHOMP:
1572        PL_modcount = RETURN_UNLIMITED_NUMBER;
1573         break;
1574     case OP_RV2SV:
1575         if (!type && cUNOPo->op_first->op_type != OP_GV)
1576             Perl_croak(aTHX_ "Can't localize through a reference");
1577         ref(cUNOPo->op_first, o->op_type);
1578         /* FALL THROUGH */
1579     case OP_GV:
1580     case OP_AV2ARYLEN:
1581         PL_hints |= HINT_BLOCK_SCOPE;
1582     case OP_SASSIGN:
1583     case OP_ANDASSIGN:
1584     case OP_ORASSIGN:
1585     case OP_AELEMFAST:
1586         PL_modcount++;
1587         break;
1588
1589     case OP_PADAV:
1590     case OP_PADHV:
1591        PL_modcount = RETURN_UNLIMITED_NUMBER;
1592         if (type == OP_REFGEN && o->op_flags & OPf_PARENS)
1593             return o;           /* Treat \(@foo) like ordinary list. */
1594         if (scalar_mod_type(o, type))
1595             goto nomod;
1596         if (type == OP_LEAVESUBLV)
1597             o->op_private |= OPpMAYBE_LVSUB;
1598         /* FALL THROUGH */
1599     case OP_PADSV:
1600         PL_modcount++;
1601         if (!type)
1602             Perl_croak(aTHX_ "Can't localize lexical variable %s",
1603                 SvPV(*av_fetch(PL_comppad_name, o->op_targ, 4), n_a));
1604         break;
1605
1606 #ifdef USE_THREADS
1607     case OP_THREADSV:
1608         PL_modcount++;  /* XXX ??? */
1609         break;
1610 #endif /* USE_THREADS */
1611
1612     case OP_PUSHMARK:
1613         break;
1614
1615     case OP_KEYS:
1616         if (type != OP_SASSIGN)
1617             goto nomod;
1618         goto lvalue_func;
1619     case OP_SUBSTR:
1620         if (o->op_private == 4) /* don't allow 4 arg substr as lvalue */
1621             goto nomod;
1622         /* FALL THROUGH */
1623     case OP_POS:
1624     case OP_VEC:
1625         if (type == OP_LEAVESUBLV)
1626             o->op_private |= OPpMAYBE_LVSUB;
1627       lvalue_func:
1628         pad_free(o->op_targ);
1629         o->op_targ = pad_alloc(o->op_type, SVs_PADMY);
1630         assert(SvTYPE(PAD_SV(o->op_targ)) == SVt_NULL);
1631         if (o->op_flags & OPf_KIDS)
1632             mod(cBINOPo->op_first->op_sibling, type);
1633         break;
1634
1635     case OP_AELEM:
1636     case OP_HELEM:
1637         ref(cBINOPo->op_first, o->op_type);
1638         if (type == OP_ENTERSUB &&
1639              !(o->op_private & (OPpLVAL_INTRO | OPpDEREF)))
1640             o->op_private |= OPpLVAL_DEFER;
1641         if (type == OP_LEAVESUBLV)
1642             o->op_private |= OPpMAYBE_LVSUB;
1643         PL_modcount++;
1644         break;
1645
1646     case OP_SCOPE:
1647     case OP_LEAVE:
1648     case OP_ENTER:
1649     case OP_LINESEQ:
1650         if (o->op_flags & OPf_KIDS)
1651             mod(cLISTOPo->op_last, type);
1652         break;
1653
1654     case OP_NULL:
1655         if (o->op_flags & OPf_SPECIAL)          /* do BLOCK */
1656             goto nomod;
1657         else if (!(o->op_flags & OPf_KIDS))
1658             break;
1659         if (o->op_targ != OP_LIST) {
1660             mod(cBINOPo->op_first, type);
1661             break;
1662         }
1663         /* FALL THROUGH */
1664     case OP_LIST:
1665         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1666             mod(kid, type);
1667         break;
1668
1669     case OP_RETURN:
1670         if (type != OP_LEAVESUBLV)
1671             goto nomod;
1672         break; /* mod()ing was handled by ck_return() */
1673     }
1674     if (type != OP_LEAVESUBLV)
1675         o->op_flags |= OPf_MOD;
1676
1677     if (type == OP_AASSIGN || type == OP_SASSIGN)
1678         o->op_flags |= OPf_SPECIAL|OPf_REF;
1679     else if (!type) {
1680         o->op_private |= OPpLVAL_INTRO;
1681         o->op_flags &= ~OPf_SPECIAL;
1682         PL_hints |= HINT_BLOCK_SCOPE;
1683     }
1684     else if (type != OP_GREPSTART && type != OP_ENTERSUB
1685              && type != OP_LEAVESUBLV)
1686         o->op_flags |= OPf_REF;
1687     return o;
1688 }
1689
1690 STATIC bool
1691 S_scalar_mod_type(pTHX_ OP *o, I32 type)
1692 {
1693     switch (type) {
1694     case OP_SASSIGN:
1695         if (o->op_type == OP_RV2GV)
1696             return FALSE;
1697         /* FALL THROUGH */
1698     case OP_PREINC:
1699     case OP_PREDEC:
1700     case OP_POSTINC:
1701     case OP_POSTDEC:
1702     case OP_I_PREINC:
1703     case OP_I_PREDEC:
1704     case OP_I_POSTINC:
1705     case OP_I_POSTDEC:
1706     case OP_POW:
1707     case OP_MULTIPLY:
1708     case OP_DIVIDE:
1709     case OP_MODULO:
1710     case OP_REPEAT:
1711     case OP_ADD:
1712     case OP_SUBTRACT:
1713     case OP_I_MULTIPLY:
1714     case OP_I_DIVIDE:
1715     case OP_I_MODULO:
1716     case OP_I_ADD:
1717     case OP_I_SUBTRACT:
1718     case OP_LEFT_SHIFT:
1719     case OP_RIGHT_SHIFT:
1720     case OP_BIT_AND:
1721     case OP_BIT_XOR:
1722     case OP_BIT_OR:
1723     case OP_CONCAT:
1724     case OP_SUBST:
1725     case OP_TRANS:
1726     case OP_READ:
1727     case OP_SYSREAD:
1728     case OP_RECV:
1729     case OP_ANDASSIGN:
1730     case OP_ORASSIGN:
1731         return TRUE;
1732     default:
1733         return FALSE;
1734     }
1735 }
1736
1737 STATIC bool
1738 S_is_handle_constructor(pTHX_ OP *o, I32 argnum)
1739 {
1740     switch (o->op_type) {
1741     case OP_PIPE_OP:
1742     case OP_SOCKPAIR:
1743         if (argnum == 2)
1744             return TRUE;
1745         /* FALL THROUGH */
1746     case OP_SYSOPEN:
1747     case OP_OPEN:
1748     case OP_SELECT:             /* XXX c.f. SelectSaver.pm */
1749     case OP_SOCKET:
1750     case OP_OPEN_DIR:
1751     case OP_ACCEPT:
1752         if (argnum == 1)
1753             return TRUE;
1754         /* FALL THROUGH */
1755     default:
1756         return FALSE;
1757     }
1758 }
1759
1760 OP *
1761 Perl_refkids(pTHX_ OP *o, I32 type)
1762 {
1763     OP *kid;
1764     if (o && o->op_flags & OPf_KIDS) {
1765         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1766             ref(kid, type);
1767     }
1768     return o;
1769 }
1770
1771 OP *
1772 Perl_ref(pTHX_ OP *o, I32 type)
1773 {
1774     OP *kid;
1775
1776     if (!o || PL_error_count)
1777         return o;
1778
1779     switch (o->op_type) {
1780     case OP_ENTERSUB:
1781         if ((type == OP_EXISTS || type == OP_DEFINED || type == OP_LOCK) &&
1782             !(o->op_flags & OPf_STACKED)) {
1783             o->op_type = OP_RV2CV;             /* entersub => rv2cv */
1784             o->op_ppaddr = PL_ppaddr[OP_RV2CV];
1785             assert(cUNOPo->op_first->op_type == OP_NULL);
1786             null(((LISTOP*)cUNOPo->op_first)->op_first);        /* disable pushmark */
1787             o->op_flags |= OPf_SPECIAL;
1788         }
1789         break;
1790
1791     case OP_COND_EXPR:
1792         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1793             ref(kid, type);
1794         break;
1795     case OP_RV2SV:
1796         if (type == OP_DEFINED)
1797             o->op_flags |= OPf_SPECIAL;         /* don't create GV */
1798         ref(cUNOPo->op_first, o->op_type);
1799         /* FALL THROUGH */
1800     case OP_PADSV:
1801         if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
1802             o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1803                               : type == OP_RV2HV ? OPpDEREF_HV
1804                               : OPpDEREF_SV);
1805             o->op_flags |= OPf_MOD;
1806         }
1807         break;
1808
1809     case OP_THREADSV:
1810         o->op_flags |= OPf_MOD;         /* XXX ??? */
1811         break;
1812
1813     case OP_RV2AV:
1814     case OP_RV2HV:
1815         o->op_flags |= OPf_REF;
1816         /* FALL THROUGH */
1817     case OP_RV2GV:
1818         if (type == OP_DEFINED)
1819             o->op_flags |= OPf_SPECIAL;         /* don't create GV */
1820         ref(cUNOPo->op_first, o->op_type);
1821         break;
1822
1823     case OP_PADAV:
1824     case OP_PADHV:
1825         o->op_flags |= OPf_REF;
1826         break;
1827
1828     case OP_SCALAR:
1829     case OP_NULL:
1830         if (!(o->op_flags & OPf_KIDS))
1831             break;
1832         ref(cBINOPo->op_first, type);
1833         break;
1834     case OP_AELEM:
1835     case OP_HELEM:
1836         ref(cBINOPo->op_first, o->op_type);
1837         if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
1838             o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1839                               : type == OP_RV2HV ? OPpDEREF_HV
1840                               : OPpDEREF_SV);
1841             o->op_flags |= OPf_MOD;
1842         }
1843         break;
1844
1845     case OP_SCOPE:
1846     case OP_LEAVE:
1847     case OP_ENTER:
1848     case OP_LIST:
1849         if (!(o->op_flags & OPf_KIDS))
1850             break;
1851         ref(cLISTOPo->op_last, type);
1852         break;
1853     default:
1854         break;
1855     }
1856     return scalar(o);
1857
1858 }
1859
1860 STATIC OP *
1861 S_dup_attrlist(pTHX_ OP *o)
1862 {
1863     OP *rop = Nullop;
1864
1865     /* An attrlist is either a simple OP_CONST or an OP_LIST with kids,
1866      * where the first kid is OP_PUSHMARK and the remaining ones
1867      * are OP_CONST.  We need to push the OP_CONST values.
1868      */
1869     if (o->op_type == OP_CONST)
1870         rop = newSVOP(OP_CONST, o->op_flags, SvREFCNT_inc(cSVOPo->op_sv));
1871     else {
1872         assert((o->op_type == OP_LIST) && (o->op_flags & OPf_KIDS));
1873         for (o = cLISTOPo->op_first; o; o=o->op_sibling) {
1874             if (o->op_type == OP_CONST)
1875                 rop = append_elem(OP_LIST, rop,
1876                                   newSVOP(OP_CONST, o->op_flags,
1877                                           SvREFCNT_inc(cSVOPo->op_sv)));
1878         }
1879     }
1880     return rop;
1881 }
1882
1883 STATIC void
1884 S_apply_attrs(pTHX_ HV *stash, SV *target, OP *attrs)
1885 {
1886     SV *stashsv;
1887
1888     /* fake up C<use attributes $pkg,$rv,@attrs> */
1889     ENTER;              /* need to protect against side-effects of 'use' */
1890     SAVEINT(PL_expect);
1891     if (stash && HvNAME(stash))
1892         stashsv = newSVpv(HvNAME(stash), 0);
1893     else
1894         stashsv = &PL_sv_no;
1895
1896 #define ATTRSMODULE "attributes"
1897
1898     Perl_load_module(aTHX_ PERL_LOADMOD_IMPORT_OPS,
1899                      newSVpvn(ATTRSMODULE, sizeof(ATTRSMODULE)-1),
1900                      Nullsv,
1901                      prepend_elem(OP_LIST,
1902                                   newSVOP(OP_CONST, 0, stashsv),
1903                                   prepend_elem(OP_LIST,
1904                                                newSVOP(OP_CONST, 0,
1905                                                        newRV(target)),
1906                                                dup_attrlist(attrs))));
1907     LEAVE;
1908 }
1909
1910 void
1911 Perl_apply_attrs_string(pTHX_ char *stashpv, CV *cv,
1912                         char *attrstr, STRLEN len)
1913 {
1914     OP *attrs = Nullop;
1915
1916     if (!len) {
1917         len = strlen(attrstr);
1918     }
1919
1920     while (len) {
1921         for (; isSPACE(*attrstr) && len; --len, ++attrstr) ;
1922         if (len) {
1923             char *sstr = attrstr;
1924             for (; !isSPACE(*attrstr) && len; --len, ++attrstr) ;
1925             attrs = append_elem(OP_LIST, attrs,
1926                                 newSVOP(OP_CONST, 0,
1927                                         newSVpvn(sstr, attrstr-sstr)));
1928         }
1929     }
1930
1931     Perl_load_module(aTHX_ PERL_LOADMOD_IMPORT_OPS,
1932                      newSVpvn(ATTRSMODULE, sizeof(ATTRSMODULE)-1),
1933                      Nullsv, prepend_elem(OP_LIST,
1934                                   newSVOP(OP_CONST, 0, newSVpv(stashpv,0)),
1935                                   prepend_elem(OP_LIST,
1936                                                newSVOP(OP_CONST, 0,
1937                                                        newRV((SV*)cv)),
1938                                                attrs)));
1939 }
1940
1941 STATIC OP *
1942 S_my_kid(pTHX_ OP *o, OP *attrs)
1943 {
1944     OP *kid;
1945     I32 type;
1946
1947     if (!o || PL_error_count)
1948         return o;
1949
1950     type = o->op_type;
1951     if (type == OP_LIST) {
1952         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1953             my_kid(kid, attrs);
1954     } else if (type == OP_UNDEF) {
1955         return o;
1956     } else if (type == OP_RV2SV ||      /* "our" declaration */
1957                type == OP_RV2AV ||
1958                type == OP_RV2HV) { /* XXX does this let anything illegal in? */
1959         if (attrs) {
1960             GV *gv = cGVOPx_gv(cUNOPo->op_first);
1961             PL_in_my = FALSE;
1962             PL_in_my_stash = Nullhv;
1963             apply_attrs(GvSTASH(gv),
1964                         (type == OP_RV2SV ? GvSV(gv) :
1965                          type == OP_RV2AV ? (SV*)GvAV(gv) :
1966                          type == OP_RV2HV ? (SV*)GvHV(gv) : (SV*)gv),
1967                         attrs);
1968         }
1969         o->op_private |= OPpOUR_INTRO;
1970         return o;
1971     } else if (type != OP_PADSV &&
1972              type != OP_PADAV &&
1973              type != OP_PADHV &&
1974              type != OP_PUSHMARK)
1975     {
1976         yyerror(Perl_form(aTHX_ "Can't declare %s in \"%s\"",
1977                           PL_op_desc[o->op_type],
1978                           PL_in_my == KEY_our ? "our" : "my"));
1979         return o;
1980     }
1981     else if (attrs && type != OP_PUSHMARK) {
1982         HV *stash;
1983         SV *padsv;
1984         SV **namesvp;
1985
1986         PL_in_my = FALSE;
1987         PL_in_my_stash = Nullhv;
1988
1989         /* check for C<my Dog $spot> when deciding package */
1990         namesvp = av_fetch(PL_comppad_name, o->op_targ, FALSE);
1991         if (namesvp && *namesvp && SvOBJECT(*namesvp) && HvNAME(SvSTASH(*namesvp)))
1992             stash = SvSTASH(*namesvp);
1993         else
1994             stash = PL_curstash;
1995         padsv = PAD_SV(o->op_targ);
1996         apply_attrs(stash, padsv, attrs);
1997     }
1998     o->op_flags |= OPf_MOD;
1999     o->op_private |= OPpLVAL_INTRO;
2000     return o;
2001 }
2002
2003 OP *
2004 Perl_my_attrs(pTHX_ OP *o, OP *attrs)
2005 {
2006     if (o->op_flags & OPf_PARENS)
2007         list(o);
2008     if (attrs)
2009         SAVEFREEOP(attrs);
2010     o = my_kid(o, attrs);
2011     PL_in_my = FALSE;
2012     PL_in_my_stash = Nullhv;
2013     return o;
2014 }
2015
2016 OP *
2017 Perl_my(pTHX_ OP *o)
2018 {
2019     return my_kid(o, Nullop);
2020 }
2021
2022 OP *
2023 Perl_sawparens(pTHX_ OP *o)
2024 {
2025     if (o)
2026         o->op_flags |= OPf_PARENS;
2027     return o;
2028 }
2029
2030 OP *
2031 Perl_bind_match(pTHX_ I32 type, OP *left, OP *right)
2032 {
2033     OP *o;
2034
2035     if (ckWARN(WARN_MISC) &&
2036       (left->op_type == OP_RV2AV ||
2037        left->op_type == OP_RV2HV ||
2038        left->op_type == OP_PADAV ||
2039        left->op_type == OP_PADHV)) {
2040       char *desc = PL_op_desc[(right->op_type == OP_SUBST ||
2041                             right->op_type == OP_TRANS)
2042                            ? right->op_type : OP_MATCH];
2043       const char *sample = ((left->op_type == OP_RV2AV ||
2044                              left->op_type == OP_PADAV)
2045                             ? "@array" : "%hash");
2046       Perl_warner(aTHX_ WARN_MISC,
2047              "Applying %s to %s will act on scalar(%s)",
2048              desc, sample, sample);
2049     }
2050
2051     if (!(right->op_flags & OPf_STACKED) &&
2052        (right->op_type == OP_MATCH ||
2053         right->op_type == OP_SUBST ||
2054         right->op_type == OP_TRANS)) {
2055         right->op_flags |= OPf_STACKED;
2056         if (right->op_type != OP_MATCH &&
2057             ! (right->op_type == OP_TRANS &&
2058                right->op_private & OPpTRANS_IDENTICAL))
2059             left = mod(left, right->op_type);
2060         if (right->op_type == OP_TRANS)
2061             o = newBINOP(OP_NULL, OPf_STACKED, scalar(left), right);
2062         else
2063             o = prepend_elem(right->op_type, scalar(left), right);
2064         if (type == OP_NOT)
2065             return newUNOP(OP_NOT, 0, scalar(o));
2066         return o;
2067     }
2068     else
2069         return bind_match(type, left,
2070                 pmruntime(newPMOP(OP_MATCH, 0), right, Nullop));
2071 }
2072
2073 OP *
2074 Perl_invert(pTHX_ OP *o)
2075 {
2076     if (!o)
2077         return o;
2078     /* XXX need to optimize away NOT NOT here?  Or do we let optimizer do it? */
2079     return newUNOP(OP_NOT, OPf_SPECIAL, scalar(o));
2080 }
2081
2082 OP *
2083 Perl_scope(pTHX_ OP *o)
2084 {
2085     if (o) {
2086         if (o->op_flags & OPf_PARENS || PERLDB_NOOPT || PL_tainting) {
2087             o = prepend_elem(OP_LINESEQ, newOP(OP_ENTER, 0), o);
2088             o->op_type = OP_LEAVE;
2089             o->op_ppaddr = PL_ppaddr[OP_LEAVE];
2090         }
2091         else {
2092             if (o->op_type == OP_LINESEQ) {
2093                 OP *kid;
2094                 o->op_type = OP_SCOPE;
2095                 o->op_ppaddr = PL_ppaddr[OP_SCOPE];
2096                 kid = ((LISTOP*)o)->op_first;
2097                 if (kid->op_type == OP_NEXTSTATE || kid->op_type == OP_DBSTATE)
2098                     null(kid);
2099             }
2100             else
2101                 o = newLISTOP(OP_SCOPE, 0, o, Nullop);
2102         }
2103     }
2104     return o;
2105 }
2106
2107 void
2108 Perl_save_hints(pTHX)
2109 {
2110     SAVEI32(PL_hints);
2111     SAVESPTR(GvHV(PL_hintgv));
2112     GvHV(PL_hintgv) = newHVhv(GvHV(PL_hintgv));
2113     SAVEFREESV(GvHV(PL_hintgv));
2114 }
2115
2116 int
2117 Perl_block_start(pTHX_ int full)
2118 {
2119     int retval = PL_savestack_ix;
2120
2121     SAVEI32(PL_comppad_name_floor);
2122     PL_comppad_name_floor = AvFILLp(PL_comppad_name);
2123     if (full)
2124         PL_comppad_name_fill = PL_comppad_name_floor;
2125     if (PL_comppad_name_floor < 0)
2126         PL_comppad_name_floor = 0;
2127     SAVEI32(PL_min_intro_pending);
2128     SAVEI32(PL_max_intro_pending);
2129     PL_min_intro_pending = 0;
2130     SAVEI32(PL_comppad_name_fill);
2131     SAVEI32(PL_padix_floor);
2132     PL_padix_floor = PL_padix;
2133     PL_pad_reset_pending = FALSE;
2134     SAVEHINTS();
2135     PL_hints &= ~HINT_BLOCK_SCOPE;
2136     SAVESPTR(PL_compiling.cop_warnings);
2137     if (! specialWARN(PL_compiling.cop_warnings)) {
2138         PL_compiling.cop_warnings = newSVsv(PL_compiling.cop_warnings) ;
2139         SAVEFREESV(PL_compiling.cop_warnings) ;
2140     }
2141     SAVESPTR(PL_compiling.cop_io);
2142     if (! specialCopIO(PL_compiling.cop_io)) {
2143         PL_compiling.cop_io = newSVsv(PL_compiling.cop_io) ;
2144         SAVEFREESV(PL_compiling.cop_io) ;
2145     }
2146     return retval;
2147 }
2148
2149 OP*
2150 Perl_block_end(pTHX_ I32 floor, OP *seq)
2151 {
2152     int needblockscope = PL_hints & HINT_BLOCK_SCOPE;
2153     OP* retval = scalarseq(seq);
2154     LEAVE_SCOPE(floor);
2155     PL_pad_reset_pending = FALSE;
2156     PL_compiling.op_private = PL_hints;
2157     if (needblockscope)
2158         PL_hints |= HINT_BLOCK_SCOPE; /* propagate out */
2159     pad_leavemy(PL_comppad_name_fill);
2160     PL_cop_seqmax++;
2161     return retval;
2162 }
2163
2164 STATIC OP *
2165 S_newDEFSVOP(pTHX)
2166 {
2167 #ifdef USE_THREADS
2168     OP *o = newOP(OP_THREADSV, 0);
2169     o->op_targ = find_threadsv("_");
2170     return o;
2171 #else
2172     return newSVREF(newGVOP(OP_GV, 0, PL_defgv));
2173 #endif /* USE_THREADS */
2174 }
2175
2176 void
2177 Perl_newPROG(pTHX_ OP *o)
2178 {
2179     if (PL_in_eval) {
2180         if (PL_eval_root)
2181                 return;
2182         PL_eval_root = newUNOP(OP_LEAVEEVAL,
2183                                ((PL_in_eval & EVAL_KEEPERR)
2184                                 ? OPf_SPECIAL : 0), o);
2185         PL_eval_start = linklist(PL_eval_root);
2186         PL_eval_root->op_private |= OPpREFCOUNTED;
2187         OpREFCNT_set(PL_eval_root, 1);
2188         PL_eval_root->op_next = 0;
2189         peep(PL_eval_start);
2190     }
2191     else {
2192         if (!o)
2193             return;
2194         PL_main_root = scope(sawparens(scalarvoid(o)));
2195         PL_curcop = &PL_compiling;
2196         PL_main_start = LINKLIST(PL_main_root);
2197         PL_main_root->op_private |= OPpREFCOUNTED;
2198         OpREFCNT_set(PL_main_root, 1);
2199         PL_main_root->op_next = 0;
2200         peep(PL_main_start);
2201         PL_compcv = 0;
2202
2203         /* Register with debugger */
2204         if (PERLDB_INTER) {
2205             CV *cv = get_cv("DB::postponed", FALSE);
2206             if (cv) {
2207                 dSP;
2208                 PUSHMARK(SP);
2209                 XPUSHs((SV*)CopFILEGV(&PL_compiling));
2210                 PUTBACK;
2211                 call_sv((SV*)cv, G_DISCARD);
2212             }
2213         }
2214     }
2215 }
2216
2217 OP *
2218 Perl_localize(pTHX_ OP *o, I32 lex)
2219 {
2220     if (o->op_flags & OPf_PARENS)
2221         list(o);
2222     else {
2223         if (ckWARN(WARN_PARENTHESIS) && PL_bufptr > PL_oldbufptr && PL_bufptr[-1] == ',') {
2224             char *s;
2225             for (s = PL_bufptr; *s && (isALNUM(*s) || UTF8_IS_CONTINUED(*s) || strchr("@$%, ",*s)); s++) ;
2226             if (*s == ';' || *s == '=')
2227                 Perl_warner(aTHX_ WARN_PARENTHESIS,
2228                             "Parentheses missing around \"%s\" list",
2229                             lex ? (PL_in_my == KEY_our ? "our" : "my") : "local");
2230         }
2231     }
2232     if (lex)
2233         o = my(o);
2234     else
2235         o = mod(o, OP_NULL);            /* a bit kludgey */
2236     PL_in_my = FALSE;
2237     PL_in_my_stash = Nullhv;
2238     return o;
2239 }
2240
2241 OP *
2242 Perl_jmaybe(pTHX_ OP *o)
2243 {
2244     if (o->op_type == OP_LIST) {
2245         OP *o2;
2246 #ifdef USE_THREADS
2247         o2 = newOP(OP_THREADSV, 0);
2248         o2->op_targ = find_threadsv(";");
2249 #else
2250         o2 = newSVREF(newGVOP(OP_GV, 0, gv_fetchpv(";", TRUE, SVt_PV))),
2251 #endif /* USE_THREADS */
2252         o = convert(OP_JOIN, 0, prepend_elem(OP_LIST, o2, o));
2253     }
2254     return o;
2255 }
2256
2257 OP *
2258 Perl_fold_constants(pTHX_ register OP *o)
2259 {
2260     register OP *curop;
2261     I32 type = o->op_type;
2262     SV *sv;
2263
2264     if (PL_opargs[type] & OA_RETSCALAR)
2265         scalar(o);
2266     if (PL_opargs[type] & OA_TARGET && !o->op_targ)
2267         o->op_targ = pad_alloc(type, SVs_PADTMP);
2268
2269     /* integerize op, unless it happens to be C<-foo>.
2270      * XXX should pp_i_negate() do magic string negation instead? */
2271     if ((PL_opargs[type] & OA_OTHERINT) && (PL_hints & HINT_INTEGER)
2272         && !(type == OP_NEGATE && cUNOPo->op_first->op_type == OP_CONST
2273              && (cUNOPo->op_first->op_private & OPpCONST_BARE)))
2274     {
2275         o->op_ppaddr = PL_ppaddr[type = ++(o->op_type)];
2276     }
2277
2278     if (!(PL_opargs[type] & OA_FOLDCONST))
2279         goto nope;
2280
2281     switch (type) {
2282     case OP_NEGATE:
2283         /* XXX might want a ck_negate() for this */
2284         cUNOPo->op_first->op_private &= ~OPpCONST_STRICT;
2285         break;
2286     case OP_SPRINTF:
2287     case OP_UCFIRST:
2288     case OP_LCFIRST:
2289     case OP_UC:
2290     case OP_LC:
2291     case OP_SLT:
2292     case OP_SGT:
2293     case OP_SLE:
2294     case OP_SGE:
2295     case OP_SCMP:
2296
2297         if (o->op_private & OPpLOCALE)
2298             goto nope;
2299     }
2300
2301     if (PL_error_count)
2302         goto nope;              /* Don't try to run w/ errors */
2303
2304     for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
2305         if ((curop->op_type != OP_CONST ||
2306              (curop->op_private & OPpCONST_BARE)) &&
2307             curop->op_type != OP_LIST &&
2308             curop->op_type != OP_SCALAR &&
2309             curop->op_type != OP_NULL &&
2310             curop->op_type != OP_PUSHMARK)
2311         {
2312             goto nope;
2313         }
2314     }
2315
2316     curop = LINKLIST(o);
2317     o->op_next = 0;
2318     PL_op = curop;
2319     CALLRUNOPS(aTHX);
2320     sv = *(PL_stack_sp--);
2321     if (o->op_targ && sv == PAD_SV(o->op_targ)) /* grab pad temp? */
2322         pad_swipe(o->op_targ);
2323     else if (SvTEMP(sv)) {                      /* grab mortal temp? */
2324         (void)SvREFCNT_inc(sv);
2325         SvTEMP_off(sv);
2326     }
2327     op_free(o);
2328     if (type == OP_RV2GV)
2329         return newGVOP(OP_GV, 0, (GV*)sv);
2330     else {
2331         /* try to smush double to int, but don't smush -2.0 to -2 */
2332         if ((SvFLAGS(sv) & (SVf_IOK|SVf_NOK|SVf_POK)) == SVf_NOK &&
2333             type != OP_NEGATE)
2334         {
2335 #ifdef PERL_PRESERVE_IVUV
2336             /* Only bother to attempt to fold to IV if
2337                most operators will benefit  */
2338             SvIV_please(sv);
2339 #endif
2340         }
2341         return newSVOP(OP_CONST, 0, sv);
2342     }
2343
2344   nope:
2345     if (!(PL_opargs[type] & OA_OTHERINT))
2346         return o;
2347
2348     if (!(PL_hints & HINT_INTEGER)) {
2349         if (type == OP_MODULO
2350             || type == OP_DIVIDE
2351             || !(o->op_flags & OPf_KIDS))
2352         {
2353             return o;
2354         }
2355
2356         for (curop = ((UNOP*)o)->op_first; curop; curop = curop->op_sibling) {
2357             if (curop->op_type == OP_CONST) {
2358                 if (SvIOK(((SVOP*)curop)->op_sv))
2359                     continue;
2360                 return o;
2361             }
2362             if (PL_opargs[curop->op_type] & OA_RETINTEGER)
2363                 continue;
2364             return o;
2365         }
2366         o->op_ppaddr = PL_ppaddr[++(o->op_type)];
2367     }
2368
2369     return o;
2370 }
2371
2372 OP *
2373 Perl_gen_constant_list(pTHX_ register OP *o)
2374 {
2375     register OP *curop;
2376     I32 oldtmps_floor = PL_tmps_floor;
2377
2378     list(o);
2379     if (PL_error_count)
2380         return o;               /* Don't attempt to run with errors */
2381
2382     PL_op = curop = LINKLIST(o);
2383     o->op_next = 0;
2384     peep(curop);
2385     pp_pushmark();
2386     CALLRUNOPS(aTHX);
2387     PL_op = curop;
2388     pp_anonlist();
2389     PL_tmps_floor = oldtmps_floor;
2390
2391     o->op_type = OP_RV2AV;
2392     o->op_ppaddr = PL_ppaddr[OP_RV2AV];
2393     curop = ((UNOP*)o)->op_first;
2394     ((UNOP*)o)->op_first = newSVOP(OP_CONST, 0, SvREFCNT_inc(*PL_stack_sp--));
2395     op_free(curop);
2396     linklist(o);
2397     return list(o);
2398 }
2399
2400 OP *
2401 Perl_convert(pTHX_ I32 type, I32 flags, OP *o)
2402 {
2403     if (!o || o->op_type != OP_LIST)
2404         o = newLISTOP(OP_LIST, 0, o, Nullop);
2405     else
2406         o->op_flags &= ~OPf_WANT;
2407
2408     if (!(PL_opargs[type] & OA_MARK))
2409         null(cLISTOPo->op_first);
2410
2411     o->op_type = type;
2412     o->op_ppaddr = PL_ppaddr[type];
2413     o->op_flags |= flags;
2414
2415     o = CHECKOP(type, o);
2416     if (o->op_type != type)
2417         return o;
2418
2419     return fold_constants(o);
2420 }
2421
2422 /* List constructors */
2423
2424 OP *
2425 Perl_append_elem(pTHX_ I32 type, OP *first, OP *last)
2426 {
2427     if (!first)
2428         return last;
2429
2430     if (!last)
2431         return first;
2432
2433     if (first->op_type != type
2434         || (type == OP_LIST && (first->op_flags & OPf_PARENS)))
2435     {
2436         return newLISTOP(type, 0, first, last);
2437     }
2438
2439     if (first->op_flags & OPf_KIDS)
2440         ((LISTOP*)first)->op_last->op_sibling = last;
2441     else {
2442         first->op_flags |= OPf_KIDS;
2443         ((LISTOP*)first)->op_first = last;
2444     }
2445     ((LISTOP*)first)->op_last = last;
2446     return first;
2447 }
2448
2449 OP *
2450 Perl_append_list(pTHX_ I32 type, LISTOP *first, LISTOP *last)
2451 {
2452     if (!first)
2453         return (OP*)last;
2454
2455     if (!last)
2456         return (OP*)first;
2457
2458     if (first->op_type != type)
2459         return prepend_elem(type, (OP*)first, (OP*)last);
2460
2461     if (last->op_type != type)
2462         return append_elem(type, (OP*)first, (OP*)last);
2463
2464     first->op_last->op_sibling = last->op_first;
2465     first->op_last = last->op_last;
2466     first->op_flags |= (last->op_flags & OPf_KIDS);
2467
2468 #ifdef PL_OP_SLAB_ALLOC
2469 #else
2470     Safefree(last);
2471 #endif
2472     return (OP*)first;
2473 }
2474
2475 OP *
2476 Perl_prepend_elem(pTHX_ I32 type, OP *first, OP *last)
2477 {
2478     if (!first)
2479         return last;
2480
2481     if (!last)
2482         return first;
2483
2484     if (last->op_type == type) {
2485         if (type == OP_LIST) {  /* already a PUSHMARK there */
2486             first->op_sibling = ((LISTOP*)last)->op_first->op_sibling;
2487             ((LISTOP*)last)->op_first->op_sibling = first;
2488             if (!(first->op_flags & OPf_PARENS))
2489                 last->op_flags &= ~OPf_PARENS;
2490         }
2491         else {
2492             if (!(last->op_flags & OPf_KIDS)) {
2493                 ((LISTOP*)last)->op_last = first;
2494                 last->op_flags |= OPf_KIDS;
2495             }
2496             first->op_sibling = ((LISTOP*)last)->op_first;
2497             ((LISTOP*)last)->op_first = first;
2498         }
2499         last->op_flags |= OPf_KIDS;
2500         return last;
2501     }
2502
2503     return newLISTOP(type, 0, first, last);
2504 }
2505
2506 /* Constructors */
2507
2508 OP *
2509 Perl_newNULLLIST(pTHX)
2510 {
2511     return newOP(OP_STUB, 0);
2512 }
2513
2514 OP *
2515 Perl_force_list(pTHX_ OP *o)
2516 {
2517     if (!o || o->op_type != OP_LIST)
2518         o = newLISTOP(OP_LIST, 0, o, Nullop);
2519     null(o);
2520     return o;
2521 }
2522
2523 OP *
2524 Perl_newLISTOP(pTHX_ I32 type, I32 flags, OP *first, OP *last)
2525 {
2526     LISTOP *listop;
2527
2528     NewOp(1101, listop, 1, LISTOP);
2529
2530     listop->op_type = type;
2531     listop->op_ppaddr = PL_ppaddr[type];
2532     if (first || last)
2533         flags |= OPf_KIDS;
2534     listop->op_flags = flags;
2535
2536     if (!last && first)
2537         last = first;
2538     else if (!first && last)
2539         first = last;
2540     else if (first)
2541         first->op_sibling = last;
2542     listop->op_first = first;
2543     listop->op_last = last;
2544     if (type == OP_LIST) {
2545         OP* pushop;
2546         pushop = newOP(OP_PUSHMARK, 0);
2547         pushop->op_sibling = first;
2548         listop->op_first = pushop;
2549         listop->op_flags |= OPf_KIDS;
2550         if (!last)
2551             listop->op_last = pushop;
2552     }
2553
2554     return (OP*)listop;
2555 }
2556
2557 OP *
2558 Perl_newOP(pTHX_ I32 type, I32 flags)
2559 {
2560     OP *o;
2561     NewOp(1101, o, 1, OP);
2562     o->op_type = type;
2563     o->op_ppaddr = PL_ppaddr[type];
2564     o->op_flags = flags;
2565
2566     o->op_next = o;
2567     o->op_private = 0 + (flags >> 8);
2568     if (PL_opargs[type] & OA_RETSCALAR)
2569         scalar(o);
2570     if (PL_opargs[type] & OA_TARGET)
2571         o->op_targ = pad_alloc(type, SVs_PADTMP);
2572     return CHECKOP(type, o);
2573 }
2574
2575 OP *
2576 Perl_newUNOP(pTHX_ I32 type, I32 flags, OP *first)
2577 {
2578     UNOP *unop;
2579
2580     if (!first)
2581         first = newOP(OP_STUB, 0);
2582     if (PL_opargs[type] & OA_MARK)
2583         first = force_list(first);
2584
2585     NewOp(1101, unop, 1, UNOP);
2586     unop->op_type = type;
2587     unop->op_ppaddr = PL_ppaddr[type];
2588     unop->op_first = first;
2589     unop->op_flags = flags | OPf_KIDS;
2590     unop->op_private = 1 | (flags >> 8);
2591     unop = (UNOP*) CHECKOP(type, unop);
2592     if (unop->op_next)
2593         return (OP*)unop;
2594
2595     return fold_constants((OP *) unop);
2596 }
2597
2598 OP *
2599 Perl_newBINOP(pTHX_ I32 type, I32 flags, OP *first, OP *last)
2600 {
2601     BINOP *binop;
2602     NewOp(1101, binop, 1, BINOP);
2603
2604     if (!first)
2605         first = newOP(OP_NULL, 0);
2606
2607     binop->op_type = type;
2608     binop->op_ppaddr = PL_ppaddr[type];
2609     binop->op_first = first;
2610     binop->op_flags = flags | OPf_KIDS;
2611     if (!last) {
2612         last = first;
2613         binop->op_private = 1 | (flags >> 8);
2614     }
2615     else {
2616         binop->op_private = 2 | (flags >> 8);
2617         first->op_sibling = last;
2618     }
2619
2620     binop = (BINOP*)CHECKOP(type, binop);
2621     if (binop->op_next || binop->op_type != type)
2622         return (OP*)binop;
2623
2624     binop->op_last = binop->op_first->op_sibling;
2625
2626     return fold_constants((OP *)binop);
2627 }
2628
2629 static int
2630 utf8compare(const void *a, const void *b)
2631 {
2632     int i;
2633     for (i = 0; i < 10; i++) {
2634         if ((*(U8**)a)[i] < (*(U8**)b)[i])
2635             return -1;
2636         if ((*(U8**)a)[i] > (*(U8**)b)[i])
2637             return 1;
2638     }
2639     return 0;
2640 }
2641
2642 OP *
2643 Perl_pmtrans(pTHX_ OP *o, OP *expr, OP *repl)
2644 {
2645     SV *tstr = ((SVOP*)expr)->op_sv;
2646     SV *rstr = ((SVOP*)repl)->op_sv;
2647     STRLEN tlen;
2648     STRLEN rlen;
2649     U8 *t = (U8*)SvPV(tstr, tlen);
2650     U8 *r = (U8*)SvPV(rstr, rlen);
2651     register I32 i;
2652     register I32 j;
2653     I32 del;
2654     I32 complement;
2655     I32 squash;
2656     I32 grows = 0;
2657     register short *tbl;
2658
2659     complement  = o->op_private & OPpTRANS_COMPLEMENT;
2660     del         = o->op_private & OPpTRANS_DELETE;
2661     squash      = o->op_private & OPpTRANS_SQUASH;
2662
2663     if (SvUTF8(tstr))
2664         o->op_private |= OPpTRANS_FROM_UTF;
2665
2666     if (SvUTF8(rstr))
2667         o->op_private |= OPpTRANS_TO_UTF;
2668
2669     if (o->op_private & (OPpTRANS_FROM_UTF|OPpTRANS_TO_UTF)) {
2670         SV* listsv = newSVpvn("# comment\n",10);
2671         SV* transv = 0;
2672         U8* tend = t + tlen;
2673         U8* rend = r + rlen;
2674         STRLEN ulen;
2675         U32 tfirst = 1;
2676         U32 tlast = 0;
2677         I32 tdiff;
2678         U32 rfirst = 1;
2679         U32 rlast = 0;
2680         I32 rdiff;
2681         I32 diff;
2682         I32 none = 0;
2683         U32 max = 0;
2684         I32 bits;
2685         I32 havefinal = 0;
2686         U32 final;
2687         I32 from_utf    = o->op_private & OPpTRANS_FROM_UTF;
2688         I32 to_utf      = o->op_private & OPpTRANS_TO_UTF;
2689         U8* tsave = from_utf ? NULL : trlist_upgrade(&t, &tend);
2690         U8* rsave = to_utf   ? NULL : trlist_upgrade(&r, &rend);
2691
2692         if (complement) {
2693             U8 tmpbuf[UTF8_MAXLEN+1];
2694             U8** cp;
2695             UV nextmin = 0;
2696             New(1109, cp, tlen, U8*);
2697             i = 0;
2698             transv = newSVpvn("",0);
2699             while (t < tend) {
2700                 cp[i++] = t;
2701                 t += UTF8SKIP(t);
2702                 if (t < tend && *t == 0xff) {
2703                     t++;
2704                     t += UTF8SKIP(t);
2705                 }
2706             }
2707             qsort(cp, i, sizeof(U8*), utf8compare);
2708             for (j = 0; j < i; j++) {
2709                 U8 *s = cp[j];
2710                 I32 cur = j < i - 1 ? cp[j+1] - s : tend - s;
2711                 /* CHECKME: Use unicode code points for ranges - needs more thought ... NI-S */
2712                 UV  val = utf8n_to_uvuni(s, cur, &ulen, 0);
2713                 s += ulen;
2714                 diff = val - nextmin;
2715                 if (diff > 0) {
2716                     t = uvuni_to_utf8(tmpbuf,nextmin);
2717                     sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
2718                     if (diff > 1) {
2719                         t = uvuni_to_utf8(tmpbuf, val - 1);
2720                         sv_catpvn(transv, "\377", 1);
2721                         sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
2722                     }
2723                 }
2724                 if (s < tend && *s == 0xff)
2725                     val = utf8n_to_uvuni(s+1, cur - 1, &ulen, 0);
2726                 if (val >= nextmin)
2727                     nextmin = val + 1;
2728             }
2729             t = uvuni_to_utf8(tmpbuf,nextmin);
2730             sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
2731             t = uvuni_to_utf8(tmpbuf, 0x7fffffff);
2732             sv_catpvn(transv, "\377", 1);
2733             sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
2734             t = (U8*)SvPVX(transv);
2735             tlen = SvCUR(transv);
2736             tend = t + tlen;
2737             Safefree(cp);
2738         }
2739         else if (!rlen && !del) {
2740             r = t; rlen = tlen; rend = tend;
2741         }
2742         if (!squash) {
2743                 if (t == r ||
2744                     (tlen == rlen && memEQ((char *)t, (char *)r, tlen)))
2745                 {
2746                     o->op_private |= OPpTRANS_IDENTICAL;
2747                 }
2748         }
2749
2750         while (t < tend || tfirst <= tlast) {
2751             /* see if we need more "t" chars */
2752             if (tfirst > tlast) {
2753                 tfirst = (I32)utf8n_to_uvuni(t, tend - t, &ulen, 0);
2754                 t += ulen;
2755                 if (t < tend && *t == 0xff) {   /* illegal utf8 val indicates range */
2756                     t++;
2757                     tlast = (I32)utf8n_to_uvuni(t, tend - t, &ulen, 0);
2758                     t += ulen;
2759                 }
2760                 else
2761                     tlast = tfirst;
2762             }
2763
2764             /* now see if we need more "r" chars */
2765             if (rfirst > rlast) {
2766                 if (r < rend) {
2767                     rfirst = (I32)utf8n_to_uvuni(r, rend - r, &ulen, 0);
2768                     r += ulen;
2769                     if (r < rend && *r == 0xff) {       /* illegal utf8 val indicates range */
2770                         r++;
2771                         rlast = (I32)utf8n_to_uvuni(r, rend - r, &ulen, 0);
2772                         r += ulen;
2773                     }
2774                     else
2775                         rlast = rfirst;
2776                 }
2777                 else {
2778                     if (!havefinal++)
2779                         final = rlast;
2780                     rfirst = rlast = 0xffffffff;
2781                 }
2782             }
2783
2784             /* now see which range will peter our first, if either. */
2785             tdiff = tlast - tfirst;
2786             rdiff = rlast - rfirst;
2787
2788             if (tdiff <= rdiff)
2789                 diff = tdiff;
2790             else
2791                 diff = rdiff;
2792
2793             if (rfirst == 0xffffffff) {
2794                 diff = tdiff;   /* oops, pretend rdiff is infinite */
2795                 if (diff > 0)
2796                     Perl_sv_catpvf(aTHX_ listsv, "%04lx\t%04lx\tXXXX\n",
2797                                    (long)tfirst, (long)tlast);
2798                 else
2799                     Perl_sv_catpvf(aTHX_ listsv, "%04lx\t\tXXXX\n", (long)tfirst);
2800             }
2801             else {
2802                 if (diff > 0)
2803                     Perl_sv_catpvf(aTHX_ listsv, "%04lx\t%04lx\t%04lx\n",
2804                                    (long)tfirst, (long)(tfirst + diff),
2805                                    (long)rfirst);
2806                 else
2807                     Perl_sv_catpvf(aTHX_ listsv, "%04lx\t\t%04lx\n",
2808                                    (long)tfirst, (long)rfirst);
2809
2810                 if (rfirst + diff > max)
2811                     max = rfirst + diff;
2812                 rfirst += diff + 1;
2813                 if (!grows)
2814                     grows = (UNISKIP(tfirst) < UNISKIP(rfirst));
2815             }
2816             tfirst += diff + 1;
2817         }
2818
2819         none = ++max;
2820         if (del)
2821             del = ++max;
2822
2823         if (max > 0xffff)
2824             bits = 32;
2825         else if (max > 0xff)
2826             bits = 16;
2827         else
2828             bits = 8;
2829
2830         Safefree(cPVOPo->op_pv);
2831         cSVOPo->op_sv = (SV*)swash_init("utf8", "", listsv, bits, none);
2832         SvREFCNT_dec(listsv);
2833         if (transv)
2834             SvREFCNT_dec(transv);
2835
2836         if (!del && havefinal)
2837             (void)hv_store((HV*)SvRV((cSVOPo->op_sv)), "FINAL", 5,
2838                            newSVuv((UV)final), 0);
2839
2840         if (grows)
2841             o->op_private |= OPpTRANS_GROWS;
2842
2843         if (tsave)
2844             Safefree(tsave);
2845         if (rsave)
2846             Safefree(rsave);
2847
2848         op_free(expr);
2849         op_free(repl);
2850         return o;
2851     }
2852
2853     tbl = (short*)cPVOPo->op_pv;
2854     if (complement) {
2855         Zero(tbl, 256, short);
2856         for (i = 0; i < tlen; i++)
2857             tbl[t[i]] = -1;
2858         for (i = 0, j = 0; i < 256; i++) {
2859             if (!tbl[i]) {
2860                 if (j >= rlen) {
2861                     if (del)
2862                         tbl[i] = -2;
2863                     else if (rlen)
2864                         tbl[i] = r[j-1];
2865                     else
2866                         tbl[i] = i;
2867                 }
2868                 else {
2869                     if (i < 128 && r[j] >= 128)
2870                         grows = 1;
2871                     tbl[i] = r[j++];
2872                 }
2873             }
2874         }
2875         if (!del) {
2876             if (j >= rlen)
2877                 j = rlen - 1;
2878             else
2879                 cPVOPo->op_pv = (char*)Renew(tbl, 0x101+rlen-j, short);
2880             tbl[0x100] = rlen - j;
2881             for (i=0; i < rlen - j; i++)
2882                 tbl[0x101+i] = r[j+i];
2883         }
2884     }
2885     else {
2886         if (!rlen && !del) {
2887             r = t; rlen = tlen;
2888             if (!squash)
2889                 o->op_private |= OPpTRANS_IDENTICAL;
2890         }
2891         for (i = 0; i < 256; i++)
2892             tbl[i] = -1;
2893         for (i = 0, j = 0; i < tlen; i++,j++) {
2894             if (j >= rlen) {
2895                 if (del) {
2896                     if (tbl[t[i]] == -1)
2897                         tbl[t[i]] = -2;
2898                     continue;
2899                 }
2900                 --j;
2901             }
2902             if (tbl[t[i]] == -1) {
2903                 if (t[i] < 128 && r[j] >= 128)
2904                     grows = 1;
2905                 tbl[t[i]] = r[j];
2906             }
2907         }
2908     }
2909     if (grows)
2910         o->op_private |= OPpTRANS_GROWS;
2911     op_free(expr);
2912     op_free(repl);
2913
2914     return o;
2915 }
2916
2917 OP *
2918 Perl_newPMOP(pTHX_ I32 type, I32 flags)
2919 {
2920     PMOP *pmop;
2921
2922     NewOp(1101, pmop, 1, PMOP);
2923     pmop->op_type = type;
2924     pmop->op_ppaddr = PL_ppaddr[type];
2925     pmop->op_flags = flags;
2926     pmop->op_private = 0 | (flags >> 8);
2927
2928     if (PL_hints & HINT_RE_TAINT)
2929         pmop->op_pmpermflags |= PMf_RETAINT;
2930     if (PL_hints & HINT_LOCALE)
2931         pmop->op_pmpermflags |= PMf_LOCALE;
2932     pmop->op_pmflags = pmop->op_pmpermflags;
2933
2934     /* link into pm list */
2935     if (type != OP_TRANS && PL_curstash) {
2936         pmop->op_pmnext = HvPMROOT(PL_curstash);
2937         HvPMROOT(PL_curstash) = pmop;
2938     }
2939
2940     return (OP*)pmop;
2941 }
2942
2943 OP *
2944 Perl_pmruntime(pTHX_ OP *o, OP *expr, OP *repl)
2945 {
2946     PMOP *pm;
2947     LOGOP *rcop;
2948     I32 repl_has_vars = 0;
2949
2950     if (o->op_type == OP_TRANS)
2951         return pmtrans(o, expr, repl);
2952
2953     PL_hints |= HINT_BLOCK_SCOPE;
2954     pm = (PMOP*)o;
2955
2956     if (expr->op_type == OP_CONST) {
2957         STRLEN plen;
2958         SV *pat = ((SVOP*)expr)->op_sv;
2959         char *p = SvPV(pat, plen);
2960         if ((o->op_flags & OPf_SPECIAL) && strEQ(p, " ")) {
2961             sv_setpvn(pat, "\\s+", 3);
2962             p = SvPV(pat, plen);
2963             pm->op_pmflags |= PMf_SKIPWHITE;
2964         }
2965         if ((PL_hints & HINT_UTF8) || DO_UTF8(pat))
2966             pm->op_pmdynflags |= PMdf_UTF8;
2967         pm->op_pmregexp = CALLREGCOMP(aTHX_ p, p + plen, pm);
2968         if (strEQ("\\s+", pm->op_pmregexp->precomp))
2969             pm->op_pmflags |= PMf_WHITE;
2970         op_free(expr);
2971     }
2972     else {
2973         if (PL_hints & HINT_UTF8)
2974             pm->op_pmdynflags |= PMdf_UTF8;
2975         if (pm->op_pmflags & PMf_KEEP || !(PL_hints & HINT_RE_EVAL))
2976             expr = newUNOP((!(PL_hints & HINT_RE_EVAL)
2977                             ? OP_REGCRESET
2978                             : OP_REGCMAYBE),0,expr);
2979
2980         NewOp(1101, rcop, 1, LOGOP);
2981         rcop->op_type = OP_REGCOMP;
2982         rcop->op_ppaddr = PL_ppaddr[OP_REGCOMP];
2983         rcop->op_first = scalar(expr);
2984         rcop->op_flags |= ((PL_hints & HINT_RE_EVAL)
2985                            ? (OPf_SPECIAL | OPf_KIDS)
2986                            : OPf_KIDS);
2987         rcop->op_private = 1;
2988         rcop->op_other = o;
2989
2990         /* establish postfix order */
2991         if (pm->op_pmflags & PMf_KEEP || !(PL_hints & HINT_RE_EVAL)) {
2992             LINKLIST(expr);
2993             rcop->op_next = expr;
2994             ((UNOP*)expr)->op_first->op_next = (OP*)rcop;
2995         }
2996         else {
2997             rcop->op_next = LINKLIST(expr);
2998             expr->op_next = (OP*)rcop;
2999         }
3000
3001         prepend_elem(o->op_type, scalar((OP*)rcop), o);
3002     }
3003
3004     if (repl) {
3005         OP *curop;
3006         if (pm->op_pmflags & PMf_EVAL) {
3007             curop = 0;
3008             if (CopLINE(PL_curcop) < PL_multi_end)
3009                 CopLINE_set(PL_curcop, PL_multi_end);
3010         }
3011 #ifdef USE_THREADS
3012         else if (repl->op_type == OP_THREADSV
3013                  && strchr("&`'123456789+",
3014                            PL_threadsv_names[repl->op_targ]))
3015         {
3016             curop = 0;
3017         }
3018 #endif /* USE_THREADS */
3019         else if (repl->op_type == OP_CONST)
3020             curop = repl;
3021         else {
3022             OP *lastop = 0;
3023             for (curop = LINKLIST(repl); curop!=repl; curop = LINKLIST(curop)) {
3024                 if (PL_opargs[curop->op_type] & OA_DANGEROUS) {
3025 #ifdef USE_THREADS
3026                     if (curop->op_type == OP_THREADSV) {
3027                         repl_has_vars = 1;
3028                         if (strchr("&`'123456789+", curop->op_private))
3029                             break;
3030                     }
3031 #else
3032                     if (curop->op_type == OP_GV) {
3033                         GV *gv = cGVOPx_gv(curop);
3034                         repl_has_vars = 1;
3035                         if (strchr("&`'123456789+", *GvENAME(gv)))
3036                             break;
3037                     }
3038 #endif /* USE_THREADS */
3039                     else if (curop->op_type == OP_RV2CV)
3040                         break;
3041                     else if (curop->op_type == OP_RV2SV ||
3042                              curop->op_type == OP_RV2AV ||
3043                              curop->op_type == OP_RV2HV ||
3044                              curop->op_type == OP_RV2GV) {
3045                         if (lastop && lastop->op_type != OP_GV) /*funny deref?*/
3046                             break;
3047                     }
3048                     else if (curop->op_type == OP_PADSV ||
3049                              curop->op_type == OP_PADAV ||
3050                              curop->op_type == OP_PADHV ||
3051                              curop->op_type == OP_PADANY) {
3052                         repl_has_vars = 1;
3053                     }
3054                     else if (curop->op_type == OP_PUSHRE)
3055                         ; /* Okay here, dangerous in newASSIGNOP */
3056                     else
3057                         break;
3058                 }
3059                 lastop = curop;
3060             }
3061         }
3062         if (curop == repl
3063             && !(repl_has_vars
3064                  && (!pm->op_pmregexp
3065                      || pm->op_pmregexp->reganch & ROPT_EVAL_SEEN))) {
3066             pm->op_pmflags |= PMf_CONST;        /* const for long enough */
3067             pm->op_pmpermflags |= PMf_CONST;    /* const for long enough */
3068             prepend_elem(o->op_type, scalar(repl), o);
3069         }
3070         else {
3071             if (curop == repl && !pm->op_pmregexp) { /* Has variables. */
3072                 pm->op_pmflags |= PMf_MAYBE_CONST;
3073                 pm->op_pmpermflags |= PMf_MAYBE_CONST;
3074             }
3075             NewOp(1101, rcop, 1, LOGOP);
3076             rcop->op_type = OP_SUBSTCONT;
3077             rcop->op_ppaddr = PL_ppaddr[OP_SUBSTCONT];
3078             rcop->op_first = scalar(repl);
3079             rcop->op_flags |= OPf_KIDS;
3080             rcop->op_private = 1;
3081             rcop->op_other = o;
3082
3083             /* establish postfix order */
3084             rcop->op_next = LINKLIST(repl);
3085             repl->op_next = (OP*)rcop;
3086
3087             pm->op_pmreplroot = scalar((OP*)rcop);
3088             pm->op_pmreplstart = LINKLIST(rcop);
3089             rcop->op_next = 0;
3090         }
3091     }
3092
3093     return (OP*)pm;
3094 }
3095
3096 OP *
3097 Perl_newSVOP(pTHX_ I32 type, I32 flags, SV *sv)
3098 {
3099     SVOP *svop;
3100     NewOp(1101, svop, 1, SVOP);
3101     svop->op_type = type;
3102     svop->op_ppaddr = PL_ppaddr[type];
3103     svop->op_sv = sv;
3104     svop->op_next = (OP*)svop;
3105     svop->op_flags = flags;
3106     if (PL_opargs[type] & OA_RETSCALAR)
3107         scalar((OP*)svop);
3108     if (PL_opargs[type] & OA_TARGET)
3109         svop->op_targ = pad_alloc(type, SVs_PADTMP);
3110     return CHECKOP(type, svop);
3111 }
3112
3113 OP *
3114 Perl_newPADOP(pTHX_ I32 type, I32 flags, SV *sv)
3115 {
3116     PADOP *padop;
3117     NewOp(1101, padop, 1, PADOP);
3118     padop->op_type = type;
3119     padop->op_ppaddr = PL_ppaddr[type];
3120     padop->op_padix = pad_alloc(type, SVs_PADTMP);
3121     SvREFCNT_dec(PL_curpad[padop->op_padix]);
3122     PL_curpad[padop->op_padix] = sv;
3123     SvPADTMP_on(sv);
3124     padop->op_next = (OP*)padop;
3125     padop->op_flags = flags;
3126     if (PL_opargs[type] & OA_RETSCALAR)
3127         scalar((OP*)padop);
3128     if (PL_opargs[type] & OA_TARGET)
3129         padop->op_targ = pad_alloc(type, SVs_PADTMP);
3130     return CHECKOP(type, padop);
3131 }
3132
3133 OP *
3134 Perl_newGVOP(pTHX_ I32 type, I32 flags, GV *gv)
3135 {
3136 #ifdef USE_ITHREADS
3137     GvIN_PAD_on(gv);
3138     return newPADOP(type, flags, SvREFCNT_inc(gv));
3139 #else
3140     return newSVOP(type, flags, SvREFCNT_inc(gv));
3141 #endif
3142 }
3143
3144 OP *
3145 Perl_newPVOP(pTHX_ I32 type, I32 flags, char *pv)
3146 {
3147     PVOP *pvop;
3148     NewOp(1101, pvop, 1, PVOP);
3149     pvop->op_type = type;
3150     pvop->op_ppaddr = PL_ppaddr[type];
3151     pvop->op_pv = pv;
3152     pvop->op_next = (OP*)pvop;
3153     pvop->op_flags = flags;
3154     if (PL_opargs[type] & OA_RETSCALAR)
3155         scalar((OP*)pvop);
3156     if (PL_opargs[type] & OA_TARGET)
3157         pvop->op_targ = pad_alloc(type, SVs_PADTMP);
3158     return CHECKOP(type, pvop);
3159 }
3160
3161 void
3162 Perl_package(pTHX_ OP *o)
3163 {
3164     SV *sv;
3165
3166     save_hptr(&PL_curstash);
3167     save_item(PL_curstname);
3168     if (o) {
3169         STRLEN len;
3170         char *name;
3171         sv = cSVOPo->op_sv;
3172         name = SvPV(sv, len);
3173         PL_curstash = gv_stashpvn(name,len,TRUE);
3174         sv_setpvn(PL_curstname, name, len);
3175         op_free(o);
3176     }
3177     else {
3178         sv_setpv(PL_curstname,"<none>");
3179         PL_curstash = Nullhv;
3180     }
3181     PL_hints |= HINT_BLOCK_SCOPE;
3182     PL_copline = NOLINE;
3183     PL_expect = XSTATE;
3184 }
3185
3186 void
3187 Perl_utilize(pTHX_ int aver, I32 floor, OP *version, OP *id, OP *arg)
3188 {
3189     OP *pack;
3190     OP *rqop;
3191     OP *imop;
3192     OP *veop;
3193     GV *gv;
3194
3195     if (id->op_type != OP_CONST)
3196         Perl_croak(aTHX_ "Module name must be constant");
3197
3198     veop = Nullop;
3199
3200     if (version != Nullop) {
3201         SV *vesv = ((SVOP*)version)->op_sv;
3202
3203         if (arg == Nullop && !SvNIOKp(vesv)) {
3204             arg = version;
3205         }
3206         else {
3207             OP *pack;
3208             SV *meth;
3209
3210             if (version->op_type != OP_CONST || !SvNIOKp(vesv))
3211                 Perl_croak(aTHX_ "Version number must be constant number");
3212
3213             /* Make copy of id so we don't free it twice */
3214             pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
3215
3216             /* Fake up a method call to VERSION */
3217             meth = newSVpvn("VERSION",7);
3218             sv_upgrade(meth, SVt_PVIV);
3219             (void)SvIOK_on(meth);
3220             PERL_HASH(SvUVX(meth), SvPVX(meth), SvCUR(meth));
3221             veop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
3222                             append_elem(OP_LIST,
3223                                         prepend_elem(OP_LIST, pack, list(version)),
3224                                         newSVOP(OP_METHOD_NAMED, 0, meth)));
3225         }
3226     }
3227
3228     /* Fake up an import/unimport */
3229     if (arg && arg->op_type == OP_STUB)
3230         imop = arg;             /* no import on explicit () */
3231     else if (SvNIOKp(((SVOP*)id)->op_sv)) {
3232         imop = Nullop;          /* use 5.0; */
3233     }
3234     else {
3235         SV *meth;
3236
3237         /* Make copy of id so we don't free it twice */
3238         pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
3239
3240         /* Fake up a method call to import/unimport */
3241         meth = aver ? newSVpvn("import",6) : newSVpvn("unimport", 8);;
3242         sv_upgrade(meth, SVt_PVIV);
3243         (void)SvIOK_on(meth);
3244         PERL_HASH(SvUVX(meth), SvPVX(meth), SvCUR(meth));
3245         imop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
3246                        append_elem(OP_LIST,
3247                                    prepend_elem(OP_LIST, pack, list(arg)),
3248                                    newSVOP(OP_METHOD_NAMED, 0, meth)));
3249     }
3250
3251     /* Fake up a require, handle override, if any */
3252     gv = gv_fetchpv("require", FALSE, SVt_PVCV);
3253     if (!(gv && GvIMPORTED_CV(gv)))
3254         gv = gv_fetchpv("CORE::GLOBAL::require", FALSE, SVt_PVCV);
3255
3256     if (gv && GvIMPORTED_CV(gv)) {
3257         rqop = ck_subr(newUNOP(OP_ENTERSUB, OPf_STACKED,
3258                                append_elem(OP_LIST, id,
3259                                            scalar(newUNOP(OP_RV2CV, 0,
3260                                                           newGVOP(OP_GV, 0,
3261                                                                   gv))))));
3262     }
3263     else {
3264         rqop = newUNOP(OP_REQUIRE, 0, id);
3265     }
3266
3267     /* Fake up the BEGIN {}, which does its thing immediately. */
3268     newATTRSUB(floor,
3269         newSVOP(OP_CONST, 0, newSVpvn("BEGIN", 5)),
3270         Nullop,
3271         Nullop,
3272         append_elem(OP_LINESEQ,
3273             append_elem(OP_LINESEQ,
3274                 newSTATEOP(0, Nullch, rqop),
3275                 newSTATEOP(0, Nullch, veop)),
3276             newSTATEOP(0, Nullch, imop) ));
3277
3278     PL_hints |= HINT_BLOCK_SCOPE;
3279     PL_copline = NOLINE;
3280     PL_expect = XSTATE;
3281 }
3282
3283 void
3284 Perl_load_module(pTHX_ U32 flags, SV *name, SV *ver, ...)
3285 {
3286     va_list args;
3287     va_start(args, ver);
3288     vload_module(flags, name, ver, &args);
3289     va_end(args);
3290 }
3291
3292 #ifdef PERL_IMPLICIT_CONTEXT
3293 void
3294 Perl_load_module_nocontext(U32 flags, SV *name, SV *ver, ...)
3295 {
3296     dTHX;
3297     va_list args;
3298     va_start(args, ver);
3299     vload_module(flags, name, ver, &args);
3300     va_end(args);
3301 }
3302 #endif
3303
3304 void
3305 Perl_vload_module(pTHX_ U32 flags, SV *name, SV *ver, va_list *args)
3306 {
3307     OP *modname, *veop, *imop;
3308
3309     modname = newSVOP(OP_CONST, 0, name);
3310     modname->op_private |= OPpCONST_BARE;
3311     if (ver) {
3312         veop = newSVOP(OP_CONST, 0, ver);
3313     }
3314     else
3315         veop = Nullop;
3316     if (flags & PERL_LOADMOD_NOIMPORT) {
3317         imop = sawparens(newNULLLIST());
3318     }
3319     else if (flags & PERL_LOADMOD_IMPORT_OPS) {
3320         imop = va_arg(*args, OP*);
3321     }
3322     else {
3323         SV *sv;
3324         imop = Nullop;
3325         sv = va_arg(*args, SV*);
3326         while (sv) {
3327             imop = append_elem(OP_LIST, imop, newSVOP(OP_CONST, 0, sv));
3328             sv = va_arg(*args, SV*);
3329         }
3330     }
3331     {
3332         line_t ocopline = PL_copline;
3333         int oexpect = PL_expect;
3334
3335         utilize(!(flags & PERL_LOADMOD_DENY), start_subparse(FALSE, 0),
3336                 veop, modname, imop);
3337         PL_expect = oexpect;
3338         PL_copline = ocopline;
3339     }
3340 }
3341
3342 OP *
3343 Perl_dofile(pTHX_ OP *term)
3344 {
3345     OP *doop;
3346     GV *gv;
3347
3348     gv = gv_fetchpv("do", FALSE, SVt_PVCV);
3349     if (!(gv && GvIMPORTED_CV(gv)))
3350         gv = gv_fetchpv("CORE::GLOBAL::do", FALSE, SVt_PVCV);
3351
3352     if (gv && GvIMPORTED_CV(gv)) {
3353         doop = ck_subr(newUNOP(OP_ENTERSUB, OPf_STACKED,
3354                                append_elem(OP_LIST, term,
3355                                            scalar(newUNOP(OP_RV2CV, 0,
3356                                                           newGVOP(OP_GV, 0,
3357                                                                   gv))))));
3358     }
3359     else {
3360         doop = newUNOP(OP_DOFILE, 0, scalar(term));
3361     }
3362     return doop;
3363 }
3364
3365 OP *
3366 Perl_newSLICEOP(pTHX_ I32 flags, OP *subscript, OP *listval)
3367 {
3368     return newBINOP(OP_LSLICE, flags,
3369             list(force_list(subscript)),
3370             list(force_list(listval)) );
3371 }
3372
3373 STATIC I32
3374 S_list_assignment(pTHX_ register OP *o)
3375 {
3376     if (!o)
3377         return TRUE;
3378
3379     if (o->op_type == OP_NULL && o->op_flags & OPf_KIDS)
3380         o = cUNOPo->op_first;
3381
3382     if (o->op_type == OP_COND_EXPR) {
3383         I32 t = list_assignment(cLOGOPo->op_first->op_sibling);
3384         I32 f = list_assignment(cLOGOPo->op_first->op_sibling->op_sibling);
3385
3386         if (t && f)
3387             return TRUE;
3388         if (t || f)
3389             yyerror("Assignment to both a list and a scalar");
3390         return FALSE;
3391     }
3392
3393     if (o->op_type == OP_LIST || o->op_flags & OPf_PARENS ||
3394         o->op_type == OP_RV2AV || o->op_type == OP_RV2HV ||
3395         o->op_type == OP_ASLICE || o->op_type == OP_HSLICE)
3396         return TRUE;
3397
3398     if (o->op_type == OP_PADAV || o->op_type == OP_PADHV)
3399         return TRUE;
3400
3401     if (o->op_type == OP_RV2SV)
3402         return FALSE;
3403
3404     return FALSE;
3405 }
3406
3407 OP *
3408 Perl_newASSIGNOP(pTHX_ I32 flags, OP *left, I32 optype, OP *right)
3409 {
3410     OP *o;
3411
3412     if (optype) {
3413         if (optype == OP_ANDASSIGN || optype == OP_ORASSIGN) {
3414             return newLOGOP(optype, 0,
3415                 mod(scalar(left), optype),
3416                 newUNOP(OP_SASSIGN, 0, scalar(right)));
3417         }
3418         else {
3419             return newBINOP(optype, OPf_STACKED,
3420                 mod(scalar(left), optype), scalar(right));
3421         }
3422     }
3423
3424     if (list_assignment(left)) {
3425         OP *curop;
3426
3427         PL_modcount = 0;
3428         PL_eval_start = right;  /* Grandfathering $[ assignment here.  Bletch.*/
3429         left = mod(left, OP_AASSIGN);
3430         if (PL_eval_start)
3431             PL_eval_start = 0;
3432         else {
3433             op_free(left);
3434             op_free(right);
3435             return Nullop;
3436         }
3437         curop = list(force_list(left));
3438         o = newBINOP(OP_AASSIGN, flags, list(force_list(right)), curop);
3439         o->op_private = 0 | (flags >> 8);
3440         for (curop = ((LISTOP*)curop)->op_first;
3441              curop; curop = curop->op_sibling)
3442         {
3443             if (curop->op_type == OP_RV2HV &&
3444                 ((UNOP*)curop)->op_first->op_type != OP_GV) {
3445                 o->op_private |= OPpASSIGN_HASH;
3446                 break;
3447             }
3448         }
3449         if (!(left->op_private & OPpLVAL_INTRO)) {
3450             OP *lastop = o;
3451             PL_generation++;
3452             for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
3453                 if (PL_opargs[curop->op_type] & OA_DANGEROUS) {
3454                     if (curop->op_type == OP_GV) {
3455                         GV *gv = cGVOPx_gv(curop);
3456                         if (gv == PL_defgv || SvCUR(gv) == PL_generation)
3457                             break;
3458                         SvCUR(gv) = PL_generation;
3459                     }
3460                     else if (curop->op_type == OP_PADSV ||
3461                              curop->op_type == OP_PADAV ||
3462                              curop->op_type == OP_PADHV ||
3463                              curop->op_type == OP_PADANY) {
3464                         SV **svp = AvARRAY(PL_comppad_name);
3465                         SV *sv = svp[curop->op_targ];
3466                         if (SvCUR(sv) == PL_generation)
3467                             break;
3468                         SvCUR(sv) = PL_generation;      /* (SvCUR not used any more) */
3469                     }
3470                     else if (curop->op_type == OP_RV2CV)
3471                         break;
3472                     else if (curop->op_type == OP_RV2SV ||
3473                              curop->op_type == OP_RV2AV ||
3474                              curop->op_type == OP_RV2HV ||
3475                              curop->op_type == OP_RV2GV) {
3476                         if (lastop->op_type != OP_GV)   /* funny deref? */
3477                             break;
3478                     }
3479                     else if (curop->op_type == OP_PUSHRE) {
3480                         if (((PMOP*)curop)->op_pmreplroot) {
3481 #ifdef USE_ITHREADS
3482                             GV *gv = (GV*)PL_curpad[(PADOFFSET)((PMOP*)curop)->op_pmreplroot];
3483 #else
3484                             GV *gv = (GV*)((PMOP*)curop)->op_pmreplroot;
3485 #endif
3486                             if (gv == PL_defgv || SvCUR(gv) == PL_generation)
3487                                 break;
3488                             SvCUR(gv) = PL_generation;
3489                         }
3490                     }
3491                     else
3492                         break;
3493                 }
3494                 lastop = curop;
3495             }
3496             if (curop != o)
3497                 o->op_private |= OPpASSIGN_COMMON;
3498         }
3499         if (right && right->op_type == OP_SPLIT) {
3500             OP* tmpop;
3501             if ((tmpop = ((LISTOP*)right)->op_first) &&
3502                 tmpop->op_type == OP_PUSHRE)
3503             {
3504                 PMOP *pm = (PMOP*)tmpop;
3505                 if (left->op_type == OP_RV2AV &&
3506                     !(left->op_private & OPpLVAL_INTRO) &&
3507                     !(o->op_private & OPpASSIGN_COMMON) )
3508                 {
3509                     tmpop = ((UNOP*)left)->op_first;
3510                     if (tmpop->op_type == OP_GV && !pm->op_pmreplroot) {
3511 #ifdef USE_ITHREADS
3512                         pm->op_pmreplroot = (OP*)cPADOPx(tmpop)->op_padix;
3513                         cPADOPx(tmpop)->op_padix = 0;   /* steal it */
3514 #else
3515                         pm->op_pmreplroot = (OP*)cSVOPx(tmpop)->op_sv;
3516                         cSVOPx(tmpop)->op_sv = Nullsv;  /* steal it */
3517 #endif
3518                         pm->op_pmflags |= PMf_ONCE;
3519                         tmpop = cUNOPo->op_first;       /* to list (nulled) */
3520                         tmpop = ((UNOP*)tmpop)->op_first; /* to pushmark */
3521                         tmpop->op_sibling = Nullop;     /* don't free split */
3522                         right->op_next = tmpop->op_next;  /* fix starting loc */
3523                         op_free(o);                     /* blow off assign */
3524                         right->op_flags &= ~OPf_WANT;
3525                                 /* "I don't know and I don't care." */
3526                         return right;
3527                     }
3528                 }
3529                 else {
3530                    if (PL_modcount < RETURN_UNLIMITED_NUMBER &&
3531                       ((LISTOP*)right)->op_last->op_type == OP_CONST)
3532                     {
3533                         SV *sv = ((SVOP*)((LISTOP*)right)->op_last)->op_sv;
3534                         if (SvIVX(sv) == 0)
3535                             sv_setiv(sv, PL_modcount+1);
3536                     }
3537                 }
3538             }
3539         }
3540         return o;
3541     }
3542     if (!right)
3543         right = newOP(OP_UNDEF, 0);
3544     if (right->op_type == OP_READLINE) {
3545         right->op_flags |= OPf_STACKED;
3546         return newBINOP(OP_NULL, flags, mod(scalar(left), OP_SASSIGN), scalar(right));
3547     }
3548     else {
3549         PL_eval_start = right;  /* Grandfathering $[ assignment here.  Bletch.*/
3550         o = newBINOP(OP_SASSIGN, flags,
3551             scalar(right), mod(scalar(left), OP_SASSIGN) );
3552         if (PL_eval_start)
3553             PL_eval_start = 0;
3554         else {
3555             op_free(o);
3556             return Nullop;
3557         }
3558     }
3559     return o;
3560 }
3561
3562 OP *
3563 Perl_newSTATEOP(pTHX_ I32 flags, char *label, OP *o)
3564 {
3565     U32 seq = intro_my();
3566     register COP *cop;
3567
3568     NewOp(1101, cop, 1, COP);
3569     if (PERLDB_LINE && CopLINE(PL_curcop) && PL_curstash != PL_debstash) {
3570         cop->op_type = OP_DBSTATE;
3571         cop->op_ppaddr = PL_ppaddr[ OP_DBSTATE ];
3572     }
3573     else {
3574         cop->op_type = OP_NEXTSTATE;
3575         cop->op_ppaddr = PL_ppaddr[ OP_NEXTSTATE ];
3576     }
3577     cop->op_flags = flags;
3578     cop->op_private = (PL_hints & HINT_BYTE);
3579 #ifdef NATIVE_HINTS
3580     cop->op_private |= NATIVE_HINTS;
3581 #endif
3582     PL_compiling.op_private = cop->op_private;
3583     cop->op_next = (OP*)cop;
3584
3585     if (label) {
3586         cop->cop_label = label;
3587         PL_hints |= HINT_BLOCK_SCOPE;
3588     }
3589     cop->cop_seq = seq;
3590     cop->cop_arybase = PL_curcop->cop_arybase;
3591     if (specialWARN(PL_curcop->cop_warnings))
3592         cop->cop_warnings = PL_curcop->cop_warnings ;
3593     else
3594         cop->cop_warnings = newSVsv(PL_curcop->cop_warnings) ;
3595     if (specialCopIO(PL_curcop->cop_io))
3596         cop->cop_io = PL_curcop->cop_io;
3597     else
3598         cop->cop_io = newSVsv(PL_curcop->cop_io) ;
3599
3600
3601     if (PL_copline == NOLINE)
3602         CopLINE_set(cop, CopLINE(PL_curcop));
3603     else {
3604         CopLINE_set(cop, PL_copline);
3605         PL_copline = NOLINE;
3606     }
3607 #ifdef USE_ITHREADS
3608     CopFILE_set(cop, CopFILE(PL_curcop));       /* XXX share in a pvtable? */
3609 #else
3610     CopFILEGV_set(cop, CopFILEGV(PL_curcop));
3611 #endif
3612     CopSTASH_set(cop, PL_curstash);
3613
3614     if (PERLDB_LINE && PL_curstash != PL_debstash) {
3615         SV **svp = av_fetch(CopFILEAV(PL_curcop), (I32)CopLINE(cop), FALSE);
3616         if (svp && *svp != &PL_sv_undef && !SvIOK(*svp)) {
3617             (void)SvIOK_on(*svp);
3618             SvIVX(*svp) = PTR2IV(cop);
3619         }
3620     }
3621
3622     return prepend_elem(OP_LINESEQ, (OP*)cop, o);
3623 }
3624
3625 /* "Introduce" my variables to visible status. */
3626 U32
3627 Perl_intro_my(pTHX)
3628 {
3629     SV **svp;
3630     SV *sv;
3631     I32 i;
3632
3633     if (! PL_min_intro_pending)
3634         return PL_cop_seqmax;
3635
3636     svp = AvARRAY(PL_comppad_name);
3637     for (i = PL_min_intro_pending; i <= PL_max_intro_pending; i++) {
3638         if ((sv = svp[i]) && sv != &PL_sv_undef && !SvIVX(sv)) {
3639             SvIVX(sv) = PAD_MAX;        /* Don't know scope end yet. */
3640             SvNVX(sv) = (NV)PL_cop_seqmax;
3641         }
3642     }
3643     PL_min_intro_pending = 0;
3644     PL_comppad_name_fill = PL_max_intro_pending;        /* Needn't search higher */
3645     return PL_cop_seqmax++;
3646 }
3647
3648 OP *
3649 Perl_newLOGOP(pTHX_ I32 type, I32 flags, OP *first, OP *other)
3650 {
3651     return new_logop(type, flags, &first, &other);
3652 }
3653
3654 STATIC OP *
3655 S_new_logop(pTHX_ I32 type, I32 flags, OP** firstp, OP** otherp)
3656 {
3657     LOGOP *logop;
3658     OP *o;
3659     OP *first = *firstp;
3660     OP *other = *otherp;
3661
3662     if (type == OP_XOR)         /* Not short circuit, but here by precedence. */
3663         return newBINOP(type, flags, scalar(first), scalar(other));
3664
3665     scalarboolean(first);
3666     /* optimize "!a && b" to "a || b", and "!a || b" to "a && b" */
3667     if (first->op_type == OP_NOT && (first->op_flags & OPf_SPECIAL)) {
3668         if (type == OP_AND || type == OP_OR) {
3669             if (type == OP_AND)
3670                 type = OP_OR;
3671             else
3672                 type = OP_AND;
3673             o = first;
3674             first = *firstp = cUNOPo->op_first;
3675             if (o->op_next)
3676                 first->op_next = o->op_next;
3677             cUNOPo->op_first = Nullop;
3678             op_free(o);
3679         }
3680     }
3681     if (first->op_type == OP_CONST) {
3682         if (ckWARN(WARN_BAREWORD) && (first->op_private & OPpCONST_BARE))
3683             Perl_warner(aTHX_ WARN_BAREWORD, "Bareword found in conditional");
3684         if ((type == OP_AND) == (SvTRUE(((SVOP*)first)->op_sv))) {
3685             op_free(first);
3686             *firstp = Nullop;
3687             return other;
3688         }
3689         else {
3690             op_free(other);
3691             *otherp = Nullop;
3692             return first;
3693         }
3694     }
3695     else if (first->op_type == OP_WANTARRAY) {
3696         if (type == OP_AND)
3697             list(other);
3698         else
3699             scalar(other);
3700     }
3701     else if (ckWARN(WARN_MISC) && (first->op_flags & OPf_KIDS)) {
3702         OP *k1 = ((UNOP*)first)->op_first;
3703         OP *k2 = k1->op_sibling;
3704         OPCODE warnop = 0;
3705         switch (first->op_type)
3706         {
3707         case OP_NULL:
3708             if (k2 && k2->op_type == OP_READLINE
3709                   && (k2->op_flags & OPf_STACKED)
3710                   && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
3711             {
3712                 warnop = k2->op_type;
3713             }
3714             break;
3715
3716         case OP_SASSIGN:
3717             if (k1->op_type == OP_READDIR
3718                   || k1->op_type == OP_GLOB
3719                   || (k1->op_type == OP_NULL && k1->op_targ == OP_GLOB)
3720                   || k1->op_type == OP_EACH)
3721             {
3722                 warnop = ((k1->op_type == OP_NULL)
3723                           ? k1->op_targ : k1->op_type);
3724             }
3725             break;
3726         }
3727         if (warnop) {
3728             line_t oldline = CopLINE(PL_curcop);
3729             CopLINE_set(PL_curcop, PL_copline);
3730             Perl_warner(aTHX_ WARN_MISC,
3731                  "Value of %s%s can be \"0\"; test with defined()",
3732                  PL_op_desc[warnop],
3733                  ((warnop == OP_READLINE || warnop == OP_GLOB)
3734                   ? " construct" : "() operator"));
3735             CopLINE_set(PL_curcop, oldline);
3736         }
3737     }
3738
3739     if (!other)
3740         return first;
3741
3742     if (type == OP_ANDASSIGN || type == OP_ORASSIGN)
3743         other->op_private |= OPpASSIGN_BACKWARDS;  /* other is an OP_SASSIGN */
3744
3745     NewOp(1101, logop, 1, LOGOP);
3746
3747     logop->op_type = type;
3748     logop->op_ppaddr = PL_ppaddr[type];
3749     logop->op_first = first;
3750     logop->op_flags = flags | OPf_KIDS;
3751     logop->op_other = LINKLIST(other);
3752     logop->op_private = 1 | (flags >> 8);
3753
3754     /* establish postfix order */
3755     logop->op_next = LINKLIST(first);
3756     first->op_next = (OP*)logop;
3757     first->op_sibling = other;
3758
3759     o = newUNOP(OP_NULL, 0, (OP*)logop);
3760     other->op_next = o;
3761
3762     return o;
3763 }
3764
3765 OP *
3766 Perl_newCONDOP(pTHX_ I32 flags, OP *first, OP *trueop, OP *falseop)
3767 {
3768     LOGOP *logop;
3769     OP *start;
3770     OP *o;
3771
3772     if (!falseop)
3773         return newLOGOP(OP_AND, 0, first, trueop);
3774     if (!trueop)
3775         return newLOGOP(OP_OR, 0, first, falseop);
3776
3777     scalarboolean(first);
3778     if (first->op_type == OP_CONST) {
3779         if (SvTRUE(((SVOP*)first)->op_sv)) {
3780             op_free(first);
3781             op_free(falseop);
3782             return trueop;
3783         }
3784         else {
3785             op_free(first);
3786             op_free(trueop);
3787             return falseop;
3788         }
3789     }
3790     else if (first->op_type == OP_WANTARRAY) {
3791         list(trueop);
3792         scalar(falseop);
3793     }
3794     NewOp(1101, logop, 1, LOGOP);
3795     logop->op_type = OP_COND_EXPR;
3796     logop->op_ppaddr = PL_ppaddr[OP_COND_EXPR];
3797     logop->op_first = first;
3798     logop->op_flags = flags | OPf_KIDS;
3799     logop->op_private = 1 | (flags >> 8);
3800     logop->op_other = LINKLIST(trueop);
3801     logop->op_next = LINKLIST(falseop);
3802
3803
3804     /* establish postfix order */
3805     start = LINKLIST(first);
3806     first->op_next = (OP*)logop;
3807
3808     first->op_sibling = trueop;
3809     trueop->op_sibling = falseop;
3810     o = newUNOP(OP_NULL, 0, (OP*)logop);
3811
3812     trueop->op_next = falseop->op_next = o;
3813
3814     o->op_next = start;
3815     return o;
3816 }
3817
3818 OP *
3819 Perl_newRANGE(pTHX_ I32 flags, OP *left, OP *right)
3820 {
3821     LOGOP *range;
3822     OP *flip;
3823     OP *flop;
3824     OP *leftstart;
3825     OP *o;
3826
3827     NewOp(1101, range, 1, LOGOP);
3828
3829     range->op_type = OP_RANGE;
3830     range->op_ppaddr = PL_ppaddr[OP_RANGE];
3831     range->op_first = left;
3832     range->op_flags = OPf_KIDS;
3833     leftstart = LINKLIST(left);
3834     range->op_other = LINKLIST(right);
3835     range->op_private = 1 | (flags >> 8);
3836
3837     left->op_sibling = right;
3838
3839     range->op_next = (OP*)range;
3840     flip = newUNOP(OP_FLIP, flags, (OP*)range);
3841     flop = newUNOP(OP_FLOP, 0, flip);
3842     o = newUNOP(OP_NULL, 0, flop);
3843     linklist(flop);
3844     range->op_next = leftstart;
3845
3846     left->op_next = flip;
3847     right->op_next = flop;
3848
3849     range->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
3850     sv_upgrade(PAD_SV(range->op_targ), SVt_PVNV);
3851     flip->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
3852     sv_upgrade(PAD_SV(flip->op_targ), SVt_PVNV);
3853
3854     flip->op_private =  left->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
3855     flop->op_private = right->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
3856
3857     flip->op_next = o;
3858     if (!flip->op_private || !flop->op_private)
3859         linklist(o);            /* blow off optimizer unless constant */
3860
3861     return o;
3862 }
3863
3864 OP *
3865 Perl_newLOOPOP(pTHX_ I32 flags, I32 debuggable, OP *expr, OP *block)
3866 {
3867     OP* listop;
3868     OP* o;
3869     int once = block && block->op_flags & OPf_SPECIAL &&
3870       (block->op_type == OP_ENTERSUB || block->op_type == OP_NULL);
3871
3872     if (expr) {
3873         if (once && expr->op_type == OP_CONST && !SvTRUE(((SVOP*)expr)->op_sv))
3874             return block;       /* do {} while 0 does once */
3875         if (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
3876             || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB)) {
3877             expr = newUNOP(OP_DEFINED, 0,
3878                 newASSIGNOP(0, newDEFSVOP(), 0, expr) );
3879         } else if (expr->op_flags & OPf_KIDS) {
3880             OP *k1 = ((UNOP*)expr)->op_first;
3881             OP *k2 = (k1) ? k1->op_sibling : NULL;
3882             switch (expr->op_type) {
3883               case OP_NULL:
3884                 if (k2 && k2->op_type == OP_READLINE
3885                       && (k2->op_flags & OPf_STACKED)
3886                       && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
3887                     expr = newUNOP(OP_DEFINED, 0, expr);
3888                 break;
3889
3890               case OP_SASSIGN:
3891                 if (k1->op_type == OP_READDIR
3892                       || k1->op_type == OP_GLOB
3893                       || (k1->op_type == OP_NULL && k1->op_targ == OP_NULL)
3894                       || k1->op_type == OP_EACH)
3895                     expr = newUNOP(OP_DEFINED, 0, expr);
3896                 break;
3897             }
3898         }
3899     }
3900
3901     listop = append_elem(OP_LINESEQ, block, newOP(OP_UNSTACK, 0));
3902     o = new_logop(OP_AND, 0, &expr, &listop);
3903
3904     if (listop)
3905         ((LISTOP*)listop)->op_last->op_next = LINKLIST(o);
3906
3907     if (once && o != listop)
3908         o->op_next = ((LOGOP*)cUNOPo->op_first)->op_other;
3909
3910     if (o == listop)
3911         o = newUNOP(OP_NULL, 0, o);     /* or do {} while 1 loses outer block */
3912
3913     o->op_flags |= flags;
3914     o = scope(o);
3915     o->op_flags |= OPf_SPECIAL; /* suppress POPBLOCK curpm restoration*/
3916     return o;
3917 }
3918
3919 OP *
3920 Perl_newWHILEOP(pTHX_ I32 flags, I32 debuggable, LOOP *loop, I32 whileline, OP *expr, OP *block, OP *cont)
3921 {
3922     OP *redo;
3923     OP *next = 0;
3924     OP *listop;
3925     OP *o;
3926     OP *condop;
3927     U8 loopflags = 0;
3928
3929     if (expr && (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
3930                  || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB))) {
3931         expr = newUNOP(OP_DEFINED, 0,
3932             newASSIGNOP(0, newDEFSVOP(), 0, expr) );
3933     } else if (expr && (expr->op_flags & OPf_KIDS)) {
3934         OP *k1 = ((UNOP*)expr)->op_first;
3935         OP *k2 = (k1) ? k1->op_sibling : NULL;
3936         switch (expr->op_type) {
3937           case OP_NULL:
3938             if (k2 && k2->op_type == OP_READLINE
3939                   && (k2->op_flags & OPf_STACKED)
3940                   && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
3941                 expr = newUNOP(OP_DEFINED, 0, expr);
3942             break;
3943
3944           case OP_SASSIGN:
3945             if (k1->op_type == OP_READDIR
3946                   || k1->op_type == OP_GLOB
3947                   || (k1->op_type == OP_NULL && k1->op_targ == OP_GLOB)
3948                   || k1->op_type == OP_EACH)
3949                 expr = newUNOP(OP_DEFINED, 0, expr);
3950             break;
3951         }
3952     }
3953
3954     if (!block)
3955         block = newOP(OP_NULL, 0);
3956     else if (cont) {
3957         block = scope(block);
3958     }
3959
3960     if (cont) {
3961         next = LINKLIST(cont);
3962     }
3963     if (expr) {
3964         OP *unstack = newOP(OP_UNSTACK, 0);
3965         if (!next)
3966             next = unstack;
3967         cont = append_elem(OP_LINESEQ, cont, unstack);
3968         if ((line_t)whileline != NOLINE) {
3969             PL_copline = whileline;
3970             cont = append_elem(OP_LINESEQ, cont,
3971                                newSTATEOP(0, Nullch, Nullop));
3972         }
3973     }
3974
3975     listop = append_list(OP_LINESEQ, (LISTOP*)block, (LISTOP*)cont);
3976     redo = LINKLIST(listop);
3977
3978     if (expr) {
3979         PL_copline = whileline;
3980         scalar(listop);
3981         o = new_logop(OP_AND, 0, &expr, &listop);
3982         if (o == expr && o->op_type == OP_CONST && !SvTRUE(cSVOPo->op_sv)) {
3983             op_free(expr);              /* oops, it's a while (0) */
3984             op_free((OP*)loop);
3985             return Nullop;              /* listop already freed by new_logop */
3986         }
3987         if (listop)
3988             ((LISTOP*)listop)->op_last->op_next = condop =
3989                 (o == listop ? redo : LINKLIST(o));
3990     }
3991     else
3992         o = listop;
3993
3994     if (!loop) {
3995         NewOp(1101,loop,1,LOOP);
3996         loop->op_type = OP_ENTERLOOP;
3997         loop->op_ppaddr = PL_ppaddr[OP_ENTERLOOP];
3998         loop->op_private = 0;
3999         loop->op_next = (OP*)loop;
4000     }
4001
4002     o = newBINOP(OP_LEAVELOOP, 0, (OP*)loop, o);
4003
4004     loop->op_redoop = redo;
4005     loop->op_lastop = o;
4006     o->op_private |= loopflags;
4007
4008     if (next)
4009         loop->op_nextop = next;
4010     else
4011         loop->op_nextop = o;
4012
4013     o->op_flags |= flags;
4014     o->op_private |= (flags >> 8);
4015     return o;
4016 }
4017
4018 OP *
4019 Perl_newFOROP(pTHX_ I32 flags,char *label,line_t forline,OP *sv,OP *expr,OP *block,OP *cont)
4020 {
4021     LOOP *loop;
4022     OP *wop;
4023     int padoff = 0;
4024     I32 iterflags = 0;
4025
4026     if (sv) {
4027         if (sv->op_type == OP_RV2SV) {  /* symbol table variable */
4028             sv->op_type = OP_RV2GV;
4029             sv->op_ppaddr = PL_ppaddr[OP_RV2GV];
4030         }
4031         else if (sv->op_type == OP_PADSV) { /* private variable */
4032             padoff = sv->op_targ;
4033             sv->op_targ = 0;
4034             op_free(sv);
4035             sv = Nullop;
4036         }
4037         else if (sv->op_type == OP_THREADSV) { /* per-thread variable */
4038             padoff = sv->op_targ;
4039             sv->op_targ = 0;
4040             iterflags |= OPf_SPECIAL;
4041             op_free(sv);
4042             sv = Nullop;
4043         }
4044         else
4045             Perl_croak(aTHX_ "Can't use %s for loop variable", PL_op_desc[sv->op_type]);
4046     }
4047     else {
4048 #ifdef USE_THREADS
4049         padoff = find_threadsv("_");
4050         iterflags |= OPf_SPECIAL;
4051 #else
4052         sv = newGVOP(OP_GV, 0, PL_defgv);
4053 #endif
4054     }
4055     if (expr->op_type == OP_RV2AV || expr->op_type == OP_PADAV) {
4056         expr = mod(force_list(scalar(ref(expr, OP_ITER))), OP_GREPSTART);
4057         iterflags |= OPf_STACKED;
4058     }
4059     else if (expr->op_type == OP_NULL &&
4060              (expr->op_flags & OPf_KIDS) &&
4061              ((BINOP*)expr)->op_first->op_type == OP_FLOP)
4062     {
4063         /* Basically turn for($x..$y) into the same as for($x,$y), but we
4064          * set the STACKED flag to indicate that these values are to be
4065          * treated as min/max values by 'pp_iterinit'.
4066          */
4067         UNOP* flip = (UNOP*)((UNOP*)((BINOP*)expr)->op_first)->op_first;
4068         LOGOP* range = (LOGOP*) flip->op_first;
4069         OP* left  = range->op_first;
4070         OP* right = left->op_sibling;
4071         LISTOP* listop;
4072
4073         range->op_flags &= ~OPf_KIDS;
4074         range->op_first = Nullop;
4075
4076         listop = (LISTOP*)newLISTOP(OP_LIST, 0, left, right);
4077         listop->op_first->op_next = range->op_next;
4078         left->op_next = range->op_other;
4079         right->op_next = (OP*)listop;
4080         listop->op_next = listop->op_first;
4081
4082         op_free(expr);
4083         expr = (OP*)(listop);
4084         null(expr);
4085         iterflags |= OPf_STACKED;
4086     }
4087     else {
4088         expr = mod(force_list(expr), OP_GREPSTART);
4089     }
4090
4091
4092     loop = (LOOP*)list(convert(OP_ENTERITER, iterflags,
4093                                append_elem(OP_LIST, expr, scalar(sv))));
4094     assert(!loop->op_next);
4095 #ifdef PL_OP_SLAB_ALLOC
4096     {
4097         LOOP *tmp;
4098         NewOp(1234,tmp,1,LOOP);
4099         Copy(loop,tmp,1,LOOP);
4100         loop = tmp;
4101     }
4102 #else
4103     Renew(loop, 1, LOOP);
4104 #endif
4105     loop->op_targ = padoff;
4106     wop = newWHILEOP(flags, 1, loop, forline, newOP(OP_ITER, 0), block, cont);
4107     PL_copline = forline;
4108     return newSTATEOP(0, label, wop);
4109 }
4110
4111 OP*
4112 Perl_newLOOPEX(pTHX_ I32 type, OP *label)
4113 {
4114     OP *o;
4115     STRLEN n_a;
4116
4117     if (type != OP_GOTO || label->op_type == OP_CONST) {
4118         /* "last()" means "last" */
4119         if (label->op_type == OP_STUB && (label->op_flags & OPf_PARENS))
4120             o = newOP(type, OPf_SPECIAL);
4121         else {
4122             o = newPVOP(type, 0, savepv(label->op_type == OP_CONST
4123                                         ? SvPVx(((SVOP*)label)->op_sv, n_a)
4124                                         : ""));
4125         }
4126         op_free(label);
4127     }
4128     else {
4129         if (label->op_type == OP_ENTERSUB)
4130             label = newUNOP(OP_REFGEN, 0, mod(label, OP_REFGEN));
4131         o = newUNOP(type, OPf_STACKED, label);
4132     }
4133     PL_hints |= HINT_BLOCK_SCOPE;
4134     return o;
4135 }
4136
4137 void
4138 Perl_cv_undef(pTHX_ CV *cv)
4139 {
4140 #ifdef USE_THREADS
4141     if (CvMUTEXP(cv)) {
4142         MUTEX_DESTROY(CvMUTEXP(cv));
4143         Safefree(CvMUTEXP(cv));
4144         CvMUTEXP(cv) = 0;
4145     }
4146 #endif /* USE_THREADS */
4147
4148     if (!CvXSUB(cv) && CvROOT(cv)) {
4149 #ifdef USE_THREADS
4150         if (CvDEPTH(cv) || (CvOWNER(cv) && CvOWNER(cv) != thr))
4151             Perl_croak(aTHX_ "Can't undef active subroutine");
4152 #else
4153         if (CvDEPTH(cv))
4154             Perl_croak(aTHX_ "Can't undef active subroutine");
4155 #endif /* USE_THREADS */
4156         ENTER;
4157
4158         SAVEVPTR(PL_curpad);
4159         PL_curpad = 0;
4160
4161         if (!CvCLONED(cv))
4162             op_free(CvROOT(cv));
4163         CvROOT(cv) = Nullop;
4164         LEAVE;
4165     }
4166     SvPOK_off((SV*)cv);         /* forget prototype */
4167     CvGV(cv) = Nullgv;
4168     SvREFCNT_dec(CvOUTSIDE(cv));
4169     CvOUTSIDE(cv) = Nullcv;
4170     if (CvCONST(cv)) {
4171         SvREFCNT_dec((SV*)CvXSUBANY(cv).any_ptr);
4172         CvCONST_off(cv);
4173     }
4174     if (CvPADLIST(cv)) {
4175         /* may be during global destruction */
4176         if (SvREFCNT(CvPADLIST(cv))) {
4177             I32 i = AvFILLp(CvPADLIST(cv));
4178             while (i >= 0) {
4179                 SV** svp = av_fetch(CvPADLIST(cv), i--, FALSE);
4180                 SV* sv = svp ? *svp : Nullsv;
4181                 if (!sv)
4182                     continue;
4183                 if (sv == (SV*)PL_comppad_name)
4184                     PL_comppad_name = Nullav;
4185                 else if (sv == (SV*)PL_comppad) {
4186                     PL_comppad = Nullav;
4187                     PL_curpad = Null(SV**);
4188                 }
4189                 SvREFCNT_dec(sv);
4190             }
4191             SvREFCNT_dec((SV*)CvPADLIST(cv));
4192         }
4193         CvPADLIST(cv) = Nullav;
4194     }
4195     CvFLAGS(cv) = 0;
4196 }
4197
4198 #ifdef DEBUG_CLOSURES
4199 STATIC void
4200 S_cv_dump(pTHX_ CV *cv)
4201 {
4202 #ifdef DEBUGGING
4203     CV *outside = CvOUTSIDE(cv);
4204     AV* padlist = CvPADLIST(cv);
4205     AV* pad_name;
4206     AV* pad;
4207     SV** pname;
4208     SV** ppad;
4209     I32 ix;
4210
4211     PerlIO_printf(Perl_debug_log,
4212                   "\tCV=0x%"UVxf" (%s), OUTSIDE=0x%"UVxf" (%s)\n",
4213                   PTR2UV(cv),
4214                   (CvANON(cv) ? "ANON"
4215                    : (cv == PL_main_cv) ? "MAIN"
4216                    : CvUNIQUE(cv) ? "UNIQUE"
4217                    : CvGV(cv) ? GvNAME(CvGV(cv)) : "UNDEFINED"),
4218                   PTR2UV(outside),
4219                   (!outside ? "null"
4220                    : CvANON(outside) ? "ANON"
4221                    : (outside == PL_main_cv) ? "MAIN"
4222                    : CvUNIQUE(outside) ? "UNIQUE"
4223                    : CvGV(outside) ? GvNAME(CvGV(outside)) : "UNDEFINED"));
4224
4225     if (!padlist)
4226         return;
4227
4228     pad_name = (AV*)*av_fetch(padlist, 0, FALSE);
4229     pad = (AV*)*av_fetch(padlist, 1, FALSE);
4230     pname = AvARRAY(pad_name);
4231     ppad = AvARRAY(pad);
4232
4233     for (ix = 1; ix <= AvFILLp(pad_name); ix++) {
4234         if (SvPOK(pname[ix]))
4235             PerlIO_printf(Perl_debug_log,
4236                           "\t%4d. 0x%"UVxf" (%s\"%s\" %"IVdf"-%"IVdf")\n",
4237                           (int)ix, PTR2UV(ppad[ix]),
4238                           SvFAKE(pname[ix]) ? "FAKE " : "",
4239                           SvPVX(pname[ix]),
4240                           (IV)I_32(SvNVX(pname[ix])),
4241                           SvIVX(pname[ix]));
4242     }
4243 #endif /* DEBUGGING */
4244 }
4245 #endif /* DEBUG_CLOSURES */
4246
4247 STATIC CV *
4248 S_cv_clone2(pTHX_ CV *proto, CV *outside)
4249 {
4250     AV* av;
4251     I32 ix;
4252     AV* protopadlist = CvPADLIST(proto);
4253     AV* protopad_name = (AV*)*av_fetch(protopadlist, 0, FALSE);
4254     AV* protopad = (AV*)*av_fetch(protopadlist, 1, FALSE);
4255     SV** pname = AvARRAY(protopad_name);
4256     SV** ppad = AvARRAY(protopad);
4257     I32 fname = AvFILLp(protopad_name);
4258     I32 fpad = AvFILLp(protopad);
4259     AV* comppadlist;
4260     CV* cv;
4261
4262     assert(!CvUNIQUE(proto));
4263
4264     ENTER;
4265     SAVECOMPPAD();
4266     SAVESPTR(PL_comppad_name);
4267     SAVESPTR(PL_compcv);
4268
4269     cv = PL_compcv = (CV*)NEWSV(1104,0);
4270     sv_upgrade((SV *)cv, SvTYPE(proto));
4271     CvFLAGS(cv) = CvFLAGS(proto) & ~CVf_CLONE;
4272     CvCLONED_on(cv);
4273
4274 #ifdef USE_THREADS
4275     New(666, CvMUTEXP(cv), 1, perl_mutex);
4276     MUTEX_INIT(CvMUTEXP(cv));
4277     CvOWNER(cv)         = 0;
4278 #endif /* USE_THREADS */
4279     CvFILE(cv)          = CvFILE(proto);
4280     CvGV(cv)            = CvGV(proto);
4281     CvSTASH(cv)         = CvSTASH(proto);
4282     CvROOT(cv)          = CvROOT(proto);
4283     CvSTART(cv)         = CvSTART(proto);
4284     if (outside)
4285         CvOUTSIDE(cv)   = (CV*)SvREFCNT_inc(outside);
4286
4287     if (SvPOK(proto))
4288         sv_setpvn((SV*)cv, SvPVX(proto), SvCUR(proto));
4289
4290     PL_comppad_name = newAV();
4291     for (ix = fname; ix >= 0; ix--)
4292         av_store(PL_comppad_name, ix, SvREFCNT_inc(pname[ix]));
4293
4294     PL_comppad = newAV();
4295
4296     comppadlist = newAV();
4297     AvREAL_off(comppadlist);
4298     av_store(comppadlist, 0, (SV*)PL_comppad_name);
4299     av_store(comppadlist, 1, (SV*)PL_comppad);
4300     CvPADLIST(cv) = comppadlist;
4301     av_fill(PL_comppad, AvFILLp(protopad));
4302     PL_curpad = AvARRAY(PL_comppad);
4303
4304     av = newAV();           /* will be @_ */
4305     av_extend(av, 0);
4306     av_store(PL_comppad, 0, (SV*)av);
4307     AvFLAGS(av) = AVf_REIFY;
4308
4309     for (ix = fpad; ix > 0; ix--) {
4310         SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
4311         if (namesv && namesv != &PL_sv_undef) {
4312             char *name = SvPVX(namesv);    /* XXX */
4313             if (SvFLAGS(namesv) & SVf_FAKE) {   /* lexical from outside? */
4314                 I32 off = pad_findlex(name, ix, SvIVX(namesv),
4315                                       CvOUTSIDE(cv), cxstack_ix, 0, 0);
4316                 if (!off)
4317                     PL_curpad[ix] = SvREFCNT_inc(ppad[ix]);
4318                 else if (off != ix)
4319                     Perl_croak(aTHX_ "panic: cv_clone: %s", name);
4320             }
4321             else {                              /* our own lexical */
4322                 SV* sv;
4323                 if (*name == '&') {
4324                     /* anon code -- we'll come back for it */
4325                     sv = SvREFCNT_inc(ppad[ix]);
4326                 }
4327                 else if (*name == '@')
4328                     sv = (SV*)newAV();
4329                 else if (*name == '%')
4330                     sv = (SV*)newHV();
4331                 else
4332                     sv = NEWSV(0,0);
4333                 if (!SvPADBUSY(sv))
4334                     SvPADMY_on(sv);
4335                 PL_curpad[ix] = sv;
4336             }
4337         }
4338         else if (IS_PADGV(ppad[ix]) || IS_PADCONST(ppad[ix])) {
4339             PL_curpad[ix] = SvREFCNT_inc(ppad[ix]);
4340         }
4341         else {
4342             SV* sv = NEWSV(0,0);
4343             SvPADTMP_on(sv);
4344             PL_curpad[ix] = sv;
4345         }
4346     }
4347
4348     /* Now that vars are all in place, clone nested closures. */
4349
4350     for (ix = fpad; ix > 0; ix--) {
4351         SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
4352         if (namesv
4353             && namesv != &PL_sv_undef
4354             && !(SvFLAGS(namesv) & SVf_FAKE)
4355             && *SvPVX(namesv) == '&'
4356             && CvCLONE(ppad[ix]))
4357         {
4358             CV *kid = cv_clone2((CV*)ppad[ix], cv);
4359             SvREFCNT_dec(ppad[ix]);
4360             CvCLONE_on(kid);
4361             SvPADMY_on(kid);
4362             PL_curpad[ix] = (SV*)kid;
4363         }
4364     }
4365
4366 #ifdef DEBUG_CLOSURES
4367     PerlIO_printf(Perl_debug_log, "Cloned inside:\n");
4368     cv_dump(outside);
4369     PerlIO_printf(Perl_debug_log, "  from:\n");
4370     cv_dump(proto);
4371     PerlIO_printf(Perl_debug_log, "   to:\n");
4372     cv_dump(cv);
4373 #endif
4374
4375     LEAVE;
4376
4377     if (CvCONST(cv)) {
4378         SV* const_sv = op_const_sv(CvSTART(cv), cv);
4379         assert(const_sv);
4380         /* constant sub () { $x } closing over $x - see lib/constant.pm */
4381         SvREFCNT_dec(cv);
4382         cv = newCONSTSUB(CvSTASH(proto), 0, const_sv);
4383     }
4384
4385     return cv;
4386 }
4387
4388 CV *
4389 Perl_cv_clone(pTHX_ CV *proto)
4390 {
4391     CV *cv;
4392     LOCK_CRED_MUTEX;                    /* XXX create separate mutex */
4393     cv = cv_clone2(proto, CvOUTSIDE(proto));
4394     UNLOCK_CRED_MUTEX;                  /* XXX create separate mutex */
4395     return cv;
4396 }
4397
4398 void
4399 Perl_cv_ckproto(pTHX_ CV *cv, GV *gv, char *p)
4400 {
4401     if (((!p != !SvPOK(cv)) || (p && strNE(p, SvPVX(cv)))) && ckWARN_d(WARN_PROTOTYPE)) {
4402         SV* msg = sv_newmortal();
4403         SV* name = Nullsv;
4404
4405         if (gv)
4406             gv_efullname3(name = sv_newmortal(), gv, Nullch);
4407         sv_setpv(msg, "Prototype mismatch:");
4408         if (name)
4409             Perl_sv_catpvf(aTHX_ msg, " sub %"SVf, name);
4410         if (SvPOK(cv))
4411             Perl_sv_catpvf(aTHX_ msg, " (%s)", SvPVX(cv));
4412         sv_catpv(msg, " vs ");
4413         if (p)
4414             Perl_sv_catpvf(aTHX_ msg, "(%s)", p);
4415         else
4416             sv_catpv(msg, "none");
4417         Perl_warner(aTHX_ WARN_PROTOTYPE, "%"SVf, msg);
4418     }
4419 }
4420
4421 static void const_sv_xsub(pTHXo_ CV* cv);
4422
4423 /*
4424 =for apidoc cv_const_sv
4425
4426 If C<cv> is a constant sub eligible for inlining. returns the constant
4427 value returned by the sub.  Otherwise, returns NULL.
4428
4429 Constant subs can be created with C<newCONSTSUB> or as described in
4430 L<perlsub/"Constant Functions">.
4431
4432 =cut
4433 */
4434 SV *
4435 Perl_cv_const_sv(pTHX_ CV *cv)
4436 {
4437     if (!cv || !CvCONST(cv))
4438         return Nullsv;
4439     return (SV*)CvXSUBANY(cv).any_ptr;
4440 }
4441
4442 SV *
4443 Perl_op_const_sv(pTHX_ OP *o, CV *cv)
4444 {
4445     SV *sv = Nullsv;
4446
4447     if (!o)
4448         return Nullsv;
4449
4450     if (o->op_type == OP_LINESEQ && cLISTOPo->op_first)
4451         o = cLISTOPo->op_first->op_sibling;
4452
4453     for (; o; o = o->op_next) {
4454         OPCODE type = o->op_type;
4455
4456         if (sv && o->op_next == o)
4457             return sv;
4458         if (o->op_next != o) {
4459             if (type == OP_NEXTSTATE || type == OP_NULL || type == OP_PUSHMARK)
4460                 continue;
4461             if (type == OP_DBSTATE)
4462                 continue;
4463         }
4464         if (type == OP_LEAVESUB || type == OP_RETURN)
4465             break;
4466         if (sv)
4467             return Nullsv;
4468         if (type == OP_CONST && cSVOPo->op_sv)
4469             sv = cSVOPo->op_sv;
4470         else if ((type == OP_PADSV || type == OP_CONST) && cv) {
4471             AV* padav = (AV*)(AvARRAY(CvPADLIST(cv))[1]);
4472             sv = padav ? AvARRAY(padav)[o->op_targ] : Nullsv;
4473             if (!sv)
4474                 return Nullsv;
4475             if (CvCONST(cv)) {
4476                 /* We get here only from cv_clone2() while creating a closure.
4477                    Copy the const value here instead of in cv_clone2 so that
4478                    SvREADONLY_on doesn't lead to problems when leaving
4479                    scope.
4480                 */
4481                 sv = newSVsv(sv);
4482             }
4483             if (!SvREADONLY(sv) && SvREFCNT(sv) > 1)
4484                 return Nullsv;
4485         }
4486         else
4487             return Nullsv;
4488     }
4489     if (sv)
4490         SvREADONLY_on(sv);
4491     return sv;
4492 }
4493
4494 void
4495 Perl_newMYSUB(pTHX_ I32 floor, OP *o, OP *proto, OP *attrs, OP *block)
4496 {
4497     if (o)
4498         SAVEFREEOP(o);
4499     if (proto)
4500         SAVEFREEOP(proto);
4501     if (attrs)
4502         SAVEFREEOP(attrs);
4503     if (block)
4504         SAVEFREEOP(block);
4505     Perl_croak(aTHX_ "\"my sub\" not yet implemented");
4506 }
4507
4508 CV *
4509 Perl_newSUB(pTHX_ I32 floor, OP *o, OP *proto, OP *block)
4510 {
4511     return Perl_newATTRSUB(aTHX_ floor, o, proto, Nullop, block);
4512 }
4513
4514 CV *
4515 Perl_newATTRSUB(pTHX_ I32 floor, OP *o, OP *proto, OP *attrs, OP *block)
4516 {
4517     STRLEN n_a;
4518     char *name;
4519     char *aname;
4520     GV *gv;
4521     char *ps = proto ? SvPVx(((SVOP*)proto)->op_sv, n_a) : Nullch;
4522     register CV *cv=0;
4523     I32 ix;
4524     SV *const_sv;
4525
4526     name = o ? SvPVx(cSVOPo->op_sv, n_a) : Nullch;
4527     if (!name && PERLDB_NAMEANON && CopLINE(PL_curcop)) {
4528         SV *sv = sv_newmortal();
4529         Perl_sv_setpvf(aTHX_ sv, "__ANON__[%s:%"IVdf"]",
4530                        CopFILE(PL_curcop), (IV)CopLINE(PL_curcop));
4531         aname = SvPVX(sv);
4532     }
4533     else
4534         aname = Nullch;
4535     gv = gv_fetchpv(name ? name : (aname ? aname : "__ANON__"),
4536                     GV_ADDMULTI | ((block || attrs) ? 0 : GV_NOINIT),
4537                     SVt_PVCV);
4538
4539     if (o)
4540         SAVEFREEOP(o);
4541     if (proto)
4542         SAVEFREEOP(proto);
4543     if (attrs)
4544         SAVEFREEOP(attrs);
4545
4546     if (SvTYPE(gv) != SVt_PVGV) {       /* Maybe prototype now, and had at
4547                                            maximum a prototype before. */
4548         if (SvTYPE(gv) > SVt_NULL) {
4549             if (!SvPOK((SV*)gv) && !(SvIOK((SV*)gv) && SvIVX((SV*)gv) == -1)
4550                 && ckWARN_d(WARN_PROTOTYPE))
4551             {
4552                 Perl_warner(aTHX_ WARN_PROTOTYPE, "Runaway prototype");
4553             }
4554             cv_ckproto((CV*)gv, NULL, ps);
4555         }
4556         if (ps)
4557             sv_setpv((SV*)gv, ps);
4558         else
4559             sv_setiv((SV*)gv, -1);
4560         SvREFCNT_dec(PL_compcv);
4561         cv = PL_compcv = NULL;
4562         PL_sub_generation++;
4563         goto done;
4564     }
4565
4566     cv = (!name || GvCVGEN(gv)) ? Nullcv : GvCV(gv);
4567
4568 #ifdef GV_SHARED_CHECK
4569     if (cv && GvSHARED(gv) && SvREADONLY(cv)) {
4570         Perl_croak(aTHX_ "Can't define subroutine %s (GV is shared)", name);
4571     }
4572 #endif
4573
4574     if (!block || !ps || *ps || attrs)
4575         const_sv = Nullsv;
4576     else
4577         const_sv = op_const_sv(block, Nullcv);
4578
4579     if (cv) {
4580         bool exists = CvROOT(cv) || CvXSUB(cv);
4581
4582 #ifdef GV_SHARED_CHECK
4583         if (exists && GvSHARED(gv)) {
4584             Perl_croak(aTHX_ "Can't redefine shared subroutine %s", name);
4585         }
4586 #endif
4587
4588         /* if the subroutine doesn't exist and wasn't pre-declared
4589          * with a prototype, assume it will be AUTOLOADed,
4590          * skipping the prototype check
4591          */
4592         if (exists || SvPOK(cv))
4593             cv_ckproto(cv, gv, ps);
4594         /* already defined (or promised)? */
4595         if (exists || GvASSUMECV(gv)) {
4596             if (!block && !attrs) {
4597                 /* just a "sub foo;" when &foo is already defined */
4598                 SAVEFREESV(PL_compcv);
4599                 goto done;
4600             }
4601             /* ahem, death to those who redefine active sort subs */
4602             if (PL_curstackinfo->si_type == PERLSI_SORT && PL_sortcop == CvSTART(cv))
4603                 Perl_croak(aTHX_ "Can't redefine active sort subroutine %s", name);
4604             if (block) {
4605                 if (ckWARN(WARN_REDEFINE)
4606                     || (CvCONST(cv)
4607                         && (!const_sv || sv_cmp(cv_const_sv(cv), const_sv))))
4608                 {
4609                     line_t oldline = CopLINE(PL_curcop);
4610                     CopLINE_set(PL_curcop, PL_copline);
4611                     Perl_warner(aTHX_ WARN_REDEFINE,
4612                         CvCONST(cv) ? "Constant subroutine %s redefined"
4613                                     : "Subroutine %s redefined", name);
4614                     CopLINE_set(PL_curcop, oldline);
4615                 }
4616                 SvREFCNT_dec(cv);
4617                 cv = Nullcv;
4618             }
4619         }
4620     }
4621     if (const_sv) {
4622         SvREFCNT_inc(const_sv);
4623         if (cv) {
4624             assert(!CvROOT(cv) && !CvCONST(cv));
4625             sv_setpv((SV*)cv, "");  /* prototype is "" */
4626             CvXSUBANY(cv).any_ptr = const_sv;
4627             CvXSUB(cv) = const_sv_xsub;
4628             CvCONST_on(cv);
4629         }
4630         else {
4631             GvCV(gv) = Nullcv;
4632             cv = newCONSTSUB(NULL, name, const_sv);
4633         }
4634         op_free(block);
4635         SvREFCNT_dec(PL_compcv);
4636         PL_compcv = NULL;
4637         PL_sub_generation++;
4638         goto done;
4639     }
4640     if (attrs) {
4641         HV *stash;
4642         SV *rcv;
4643
4644         /* Need to do a C<use attributes $stash_of_cv,\&cv,@attrs>
4645          * before we clobber PL_compcv.
4646          */
4647         if (cv && !block) {
4648             rcv = (SV*)cv;
4649             if (CvGV(cv) && GvSTASH(CvGV(cv)) && HvNAME(GvSTASH(CvGV(cv))))
4650                 stash = GvSTASH(CvGV(cv));
4651             else if (CvSTASH(cv) && HvNAME(CvSTASH(cv)))
4652                 stash = CvSTASH(cv);
4653             else
4654                 stash = PL_curstash;
4655         }
4656         else {
4657             /* possibly about to re-define existing subr -- ignore old cv */
4658             rcv = (SV*)PL_compcv;
4659             if (name && GvSTASH(gv) && HvNAME(GvSTASH(gv)))
4660                 stash = GvSTASH(gv);
4661             else
4662                 stash = PL_curstash;
4663         }
4664         apply_attrs(stash, rcv, attrs);
4665     }
4666     if (cv) {                           /* must reuse cv if autoloaded */
4667         if (!block) {
4668             /* got here with just attrs -- work done, so bug out */
4669             SAVEFREESV(PL_compcv);
4670             goto done;
4671         }
4672         cv_undef(cv);
4673         CvFLAGS(cv) = CvFLAGS(PL_compcv);
4674         CvOUTSIDE(cv) = CvOUTSIDE(PL_compcv);
4675         CvOUTSIDE(PL_compcv) = 0;
4676         CvPADLIST(cv) = CvPADLIST(PL_compcv);
4677         CvPADLIST(PL_compcv) = 0;
4678         if (SvREFCNT(PL_compcv) > 1) /* XXX Make closures transit through stub. */
4679             CvOUTSIDE(PL_compcv) = (CV*)SvREFCNT_inc((SV*)cv);
4680         SvREFCNT_dec(PL_compcv);
4681     }
4682     else {
4683         cv = PL_compcv;
4684         if (name) {
4685             GvCV(gv) = cv;
4686             GvCVGEN(gv) = 0;
4687             PL_sub_generation++;
4688         }
4689     }
4690     CvGV(cv) = gv;
4691     CvFILE(cv) = CopFILE(PL_curcop);
4692     CvSTASH(cv) = PL_curstash;
4693 #ifdef USE_THREADS
4694     CvOWNER(cv) = 0;
4695     if (!CvMUTEXP(cv)) {
4696         New(666, CvMUTEXP(cv), 1, perl_mutex);
4697         MUTEX_INIT(CvMUTEXP(cv));
4698     }
4699 #endif /* USE_THREADS */
4700
4701     if (ps)
4702         sv_setpv((SV*)cv, ps);
4703
4704     if (PL_error_count) {
4705         op_free(block);
4706         block = Nullop;
4707         if (name) {
4708             char *s = strrchr(name, ':');
4709             s = s ? s+1 : name;
4710             if (strEQ(s, "BEGIN")) {
4711                 char *not_safe =
4712                     "BEGIN not safe after errors--compilation aborted";
4713                 if (PL_in_eval & EVAL_KEEPERR)
4714                     Perl_croak(aTHX_ not_safe);
4715                 else {
4716                     /* force display of errors found but not reported */
4717                     sv_catpv(ERRSV, not_safe);
4718                     Perl_croak(aTHX_ "%s", SvPVx(ERRSV, n_a));
4719                 }
4720             }
4721         }
4722     }
4723     if (!block)
4724         goto done;
4725
4726     if (AvFILLp(PL_comppad_name) < AvFILLp(PL_comppad))
4727         av_store(PL_comppad_name, AvFILLp(PL_comppad), Nullsv);
4728
4729     if (CvLVALUE(cv)) {
4730         CvROOT(cv) = newUNOP(OP_LEAVESUBLV, 0,
4731                              mod(scalarseq(block), OP_LEAVESUBLV));
4732     }
4733     else {
4734         CvROOT(cv) = newUNOP(OP_LEAVESUB, 0, scalarseq(block));
4735     }
4736     CvROOT(cv)->op_private |= OPpREFCOUNTED;
4737     OpREFCNT_set(CvROOT(cv), 1);
4738     CvSTART(cv) = LINKLIST(CvROOT(cv));
4739     CvROOT(cv)->op_next = 0;
4740     peep(CvSTART(cv));
4741
4742     /* now that optimizer has done its work, adjust pad values */
4743     if (CvCLONE(cv)) {
4744         SV **namep = AvARRAY(PL_comppad_name);
4745         for (ix = AvFILLp(PL_comppad); ix > 0; ix--) {
4746             SV *namesv;
4747
4748             if (SvIMMORTAL(PL_curpad[ix]) || IS_PADGV(PL_curpad[ix]) || IS_PADCONST(PL_curpad[ix]))
4749                 continue;
4750             /*
4751              * The only things that a clonable function needs in its
4752              * pad are references to outer lexicals and anonymous subs.
4753              * The rest are created anew during cloning.
4754              */
4755             if (!((namesv = namep[ix]) != Nullsv &&
4756                   namesv != &PL_sv_undef &&
4757                   (SvFAKE(namesv) ||
4758                    *SvPVX(namesv) == '&')))
4759             {
4760                 SvREFCNT_dec(PL_curpad[ix]);
4761                 PL_curpad[ix] = Nullsv;
4762             }
4763         }
4764         assert(!CvCONST(cv));
4765         if (ps && !*ps && op_const_sv(block, cv))
4766             CvCONST_on(cv);
4767     }
4768     else {
4769         AV *av = newAV();                       /* Will be @_ */
4770         av_extend(av, 0);
4771         av_store(PL_comppad, 0, (SV*)av);
4772         AvFLAGS(av) = AVf_REIFY;
4773
4774         for (ix = AvFILLp(PL_comppad); ix > 0; ix--) {
4775             if (SvIMMORTAL(PL_curpad[ix]) || IS_PADGV(PL_curpad[ix]) || IS_PADCONST(PL_curpad[ix]))
4776                 continue;
4777             if (!SvPADMY(PL_curpad[ix]))
4778                 SvPADTMP_on(PL_curpad[ix]);
4779         }
4780     }
4781
4782     if (name || aname) {
4783         char *s;
4784         char *tname = (name ? name : aname);
4785
4786         if (PERLDB_SUBLINE && PL_curstash != PL_debstash) {
4787             SV *sv = NEWSV(0,0);
4788             SV *tmpstr = sv_newmortal();
4789             GV *db_postponed = gv_fetchpv("DB::postponed", GV_ADDMULTI, SVt_PVHV);
4790             CV *pcv;
4791             HV *hv;
4792
4793             Perl_sv_setpvf(aTHX_ sv, "%s:%ld-%ld",
4794                            CopFILE(PL_curcop),
4795                            (long)PL_subline, (long)CopLINE(PL_curcop));
4796             gv_efullname3(tmpstr, gv, Nullch);
4797             hv_store(GvHV(PL_DBsub), SvPVX(tmpstr), SvCUR(tmpstr), sv, 0);
4798             hv = GvHVn(db_postponed);
4799             if (HvFILL(hv) > 0 && hv_exists(hv, SvPVX(tmpstr), SvCUR(tmpstr))
4800                 && (pcv = GvCV(db_postponed)))
4801             {
4802                 dSP;
4803                 PUSHMARK(SP);
4804                 XPUSHs(tmpstr);
4805                 PUTBACK;
4806                 call_sv((SV*)pcv, G_DISCARD);
4807             }
4808         }
4809
4810         if ((s = strrchr(tname,':')))
4811             s++;
4812         else
4813             s = tname;
4814
4815         if (*s != 'B' && *s != 'E' && *s != 'C' && *s != 'I')
4816             goto done;
4817
4818         if (strEQ(s, "BEGIN")) {
4819             I32 oldscope = PL_scopestack_ix;
4820             ENTER;
4821             SAVECOPFILE(&PL_compiling);
4822             SAVECOPLINE(&PL_compiling);
4823             save_svref(&PL_rs);
4824             sv_setsv(PL_rs, PL_nrs);
4825
4826             if (!PL_beginav)
4827                 PL_beginav = newAV();
4828             DEBUG_x( dump_sub(gv) );
4829             av_push(PL_beginav, (SV*)cv);
4830             GvCV(gv) = 0;               /* cv has been hijacked */
4831             call_list(oldscope, PL_beginav);
4832
4833             PL_curcop = &PL_compiling;
4834             PL_compiling.op_private = PL_hints;
4835             LEAVE;
4836         }
4837         else if (strEQ(s, "END") && !PL_error_count) {
4838             if (!PL_endav)
4839                 PL_endav = newAV();
4840             DEBUG_x( dump_sub(gv) );
4841             av_unshift(PL_endav, 1);
4842             av_store(PL_endav, 0, (SV*)cv);
4843             GvCV(gv) = 0;               /* cv has been hijacked */
4844         }
4845         else if (strEQ(s, "CHECK") && !PL_error_count) {
4846             if (!PL_checkav)
4847                 PL_checkav = newAV();
4848             DEBUG_x( dump_sub(gv) );
4849             if (PL_main_start && ckWARN(WARN_VOID))
4850                 Perl_warner(aTHX_ WARN_VOID, "Too late to run CHECK block");
4851             av_unshift(PL_checkav, 1);
4852             av_store(PL_checkav, 0, (SV*)cv);
4853             GvCV(gv) = 0;               /* cv has been hijacked */
4854         }
4855         else if (strEQ(s, "INIT") && !PL_error_count) {
4856             if (!PL_initav)
4857                 PL_initav = newAV();
4858             DEBUG_x( dump_sub(gv) );
4859             if (PL_main_start && ckWARN(WARN_VOID))
4860                 Perl_warner(aTHX_ WARN_VOID, "Too late to run INIT block");
4861             av_push(PL_initav, (SV*)cv);
4862             GvCV(gv) = 0;               /* cv has been hijacked */
4863         }
4864     }
4865
4866   done:
4867     PL_copline = NOLINE;
4868     LEAVE_SCOPE(floor);
4869     return cv;
4870 }
4871
4872 /* XXX unsafe for threads if eval_owner isn't held */
4873 /*
4874 =for apidoc newCONSTSUB
4875
4876 Creates a constant sub equivalent to Perl C<sub FOO () { 123 }> which is
4877 eligible for inlining at compile-time.
4878
4879 =cut
4880 */
4881
4882 CV *
4883 Perl_newCONSTSUB(pTHX_ HV *stash, char *name, SV *sv)
4884 {
4885     CV* cv;
4886
4887     ENTER;
4888
4889     SAVECOPLINE(PL_curcop);
4890     CopLINE_set(PL_curcop, PL_copline);
4891
4892     SAVEHINTS();
4893     PL_hints &= ~HINT_BLOCK_SCOPE;
4894
4895     if (stash) {
4896         SAVESPTR(PL_curstash);
4897         SAVECOPSTASH(PL_curcop);
4898         PL_curstash = stash;
4899 #ifdef USE_ITHREADS
4900         CopSTASHPV(PL_curcop) = stash ? HvNAME(stash) : Nullch;
4901 #else
4902         CopSTASH(PL_curcop) = stash;
4903 #endif
4904     }
4905
4906     cv = newXS(name, const_sv_xsub, __FILE__);
4907     CvXSUBANY(cv).any_ptr = sv;
4908     CvCONST_on(cv);
4909     sv_setpv((SV*)cv, "");  /* prototype is "" */
4910
4911     LEAVE;
4912
4913     return cv;
4914 }
4915
4916 /*
4917 =for apidoc U||newXS
4918
4919 Used by C<xsubpp> to hook up XSUBs as Perl subs.
4920
4921 =cut
4922 */
4923
4924 CV *
4925 Perl_newXS(pTHX_ char *name, XSUBADDR_t subaddr, char *filename)
4926 {
4927     GV *gv = gv_fetchpv(name ? name : "__ANON__", GV_ADDMULTI, SVt_PVCV);
4928     register CV *cv;
4929
4930     if ((cv = (name ? GvCV(gv) : Nullcv))) {
4931         if (GvCVGEN(gv)) {
4932             /* just a cached method */
4933             SvREFCNT_dec(cv);
4934             cv = 0;
4935         }
4936         else if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
4937             /* already defined (or promised) */
4938             if (ckWARN(WARN_REDEFINE) && !(CvGV(cv) && GvSTASH(CvGV(cv))
4939                             && HvNAME(GvSTASH(CvGV(cv)))
4940                             && strEQ(HvNAME(GvSTASH(CvGV(cv))), "autouse"))) {
4941                 line_t oldline = CopLINE(PL_curcop);
4942                 if (PL_copline != NOLINE)
4943                     CopLINE_set(PL_curcop, PL_copline);
4944                 Perl_warner(aTHX_ WARN_REDEFINE,
4945                             CvCONST(cv) ? "Constant subroutine %s redefined"
4946                                         : "Subroutine %s redefined"
4947                             ,name);
4948                 CopLINE_set(PL_curcop, oldline);
4949             }
4950             SvREFCNT_dec(cv);
4951             cv = 0;
4952         }
4953     }
4954
4955     if (cv)                             /* must reuse cv if autoloaded */
4956         cv_undef(cv);
4957     else {
4958         cv = (CV*)NEWSV(1105,0);
4959         sv_upgrade((SV *)cv, SVt_PVCV);
4960         if (name) {
4961             GvCV(gv) = cv;
4962             GvCVGEN(gv) = 0;
4963             PL_sub_generation++;
4964         }
4965     }
4966     CvGV(cv) = gv;
4967 #ifdef USE_THREADS
4968     New(666, CvMUTEXP(cv), 1, perl_mutex);
4969     MUTEX_INIT(CvMUTEXP(cv));
4970     CvOWNER(cv) = 0;
4971 #endif /* USE_THREADS */
4972     (void)gv_fetchfile(filename);
4973     CvFILE(cv) = filename;      /* NOTE: not copied, as it is expected to be
4974                                    an external constant string */
4975     CvXSUB(cv) = subaddr;
4976
4977     if (name) {
4978         char *s = strrchr(name,':');
4979         if (s)
4980             s++;
4981         else
4982             s = name;
4983
4984         if (*s != 'B' && *s != 'E' && *s != 'C' && *s != 'I')
4985             goto done;
4986
4987         if (strEQ(s, "BEGIN")) {
4988             if (!PL_beginav)
4989                 PL_beginav = newAV();
4990             av_push(PL_beginav, (SV*)cv);
4991             GvCV(gv) = 0;               /* cv has been hijacked */
4992         }
4993         else if (strEQ(s, "END")) {
4994             if (!PL_endav)
4995                 PL_endav = newAV();
4996             av_unshift(PL_endav, 1);
4997             av_store(PL_endav, 0, (SV*)cv);
4998             GvCV(gv) = 0;               /* cv has been hijacked */
4999         }
5000         else if (strEQ(s, "CHECK")) {
5001             if (!PL_checkav)
5002                 PL_checkav = newAV();
5003             if (PL_main_start && ckWARN(WARN_VOID))
5004                 Perl_warner(aTHX_ WARN_VOID, "Too late to run CHECK block");
5005             av_unshift(PL_checkav, 1);
5006             av_store(PL_checkav, 0, (SV*)cv);
5007             GvCV(gv) = 0;               /* cv has been hijacked */
5008         }
5009         else if (strEQ(s, "INIT")) {
5010             if (!PL_initav)
5011                 PL_initav = newAV();
5012             if (PL_main_start && ckWARN(WARN_VOID))
5013                 Perl_warner(aTHX_ WARN_VOID, "Too late to run INIT block");
5014             av_push(PL_initav, (SV*)cv);
5015             GvCV(gv) = 0;               /* cv has been hijacked */
5016         }
5017     }
5018     else
5019         CvANON_on(cv);
5020
5021 done:
5022     return cv;
5023 }
5024
5025 void
5026 Perl_newFORM(pTHX_ I32 floor, OP *o, OP *block)
5027 {
5028     register CV *cv;
5029     char *name;
5030     GV *gv;
5031     I32 ix;
5032     STRLEN n_a;
5033
5034     if (o)
5035         name = SvPVx(cSVOPo->op_sv, n_a);
5036     else
5037         name = "STDOUT";
5038     gv = gv_fetchpv(name,TRUE, SVt_PVFM);
5039 #ifdef GV_SHARED_CHECK
5040     if (GvSHARED(gv)) {
5041         Perl_croak(aTHX_ "Bad symbol for form (GV is shared)");
5042     }
5043 #endif
5044     GvMULTI_on(gv);
5045     if ((cv = GvFORM(gv))) {
5046         if (ckWARN(WARN_REDEFINE)) {
5047             line_t oldline = CopLINE(PL_curcop);
5048
5049             CopLINE_set(PL_curcop, PL_copline);
5050             Perl_warner(aTHX_ WARN_REDEFINE, "Format %s redefined",name);
5051             CopLINE_set(PL_curcop, oldline);
5052         }
5053         SvREFCNT_dec(cv);
5054     }
5055     cv = PL_compcv;
5056     GvFORM(gv) = cv;
5057     CvGV(cv) = gv;
5058     CvFILE(cv) = CopFILE(PL_curcop);
5059
5060     for (ix = AvFILLp(PL_comppad); ix > 0; ix--) {
5061         if (!SvPADMY(PL_curpad[ix]) && !SvIMMORTAL(PL_curpad[ix]))
5062             SvPADTMP_on(PL_curpad[ix]);
5063     }
5064
5065     CvROOT(cv) = newUNOP(OP_LEAVEWRITE, 0, scalarseq(block));
5066     CvROOT(cv)->op_private |= OPpREFCOUNTED;
5067     OpREFCNT_set(CvROOT(cv), 1);
5068     CvSTART(cv) = LINKLIST(CvROOT(cv));
5069     CvROOT(cv)->op_next = 0;
5070     peep(CvSTART(cv));
5071     op_free(o);
5072     PL_copline = NOLINE;
5073     LEAVE_SCOPE(floor);
5074 }
5075
5076 OP *
5077 Perl_newANONLIST(pTHX_ OP *o)
5078 {
5079     return newUNOP(OP_REFGEN, 0,
5080         mod(list(convert(OP_ANONLIST, 0, o)), OP_REFGEN));
5081 }
5082
5083 OP *
5084 Perl_newANONHASH(pTHX_ OP *o)
5085 {
5086     return newUNOP(OP_REFGEN, 0,
5087         mod(list(convert(OP_ANONHASH, 0, o)), OP_REFGEN));
5088 }
5089
5090 OP *
5091 Perl_newANONSUB(pTHX_ I32 floor, OP *proto, OP *block)
5092 {
5093     return newANONATTRSUB(floor, proto, Nullop, block);
5094 }
5095
5096 OP *
5097 Perl_newANONATTRSUB(pTHX_ I32 floor, OP *proto, OP *attrs, OP *block)
5098 {
5099     return newUNOP(OP_REFGEN, 0,
5100         newSVOP(OP_ANONCODE, 0,
5101                 (SV*)newATTRSUB(floor, 0, proto, attrs, block)));
5102 }
5103
5104 OP *
5105 Perl_oopsAV(pTHX_ OP *o)
5106 {
5107     switch (o->op_type) {
5108     case OP_PADSV:
5109         o->op_type = OP_PADAV;
5110         o->op_ppaddr = PL_ppaddr[OP_PADAV];
5111         return ref(o, OP_RV2AV);
5112
5113     case OP_RV2SV:
5114         o->op_type = OP_RV2AV;
5115         o->op_ppaddr = PL_ppaddr[OP_RV2AV];
5116         ref(o, OP_RV2AV);
5117         break;
5118
5119     default:
5120         if (ckWARN_d(WARN_INTERNAL))
5121             Perl_warner(aTHX_ WARN_INTERNAL, "oops: oopsAV");
5122         break;
5123     }
5124     return o;
5125 }
5126
5127 OP *
5128 Perl_oopsHV(pTHX_ OP *o)
5129 {
5130     switch (o->op_type) {
5131     case OP_PADSV:
5132     case OP_PADAV:
5133         o->op_type = OP_PADHV;
5134         o->op_ppaddr = PL_ppaddr[OP_PADHV];
5135         return ref(o, OP_RV2HV);
5136
5137     case OP_RV2SV:
5138     case OP_RV2AV:
5139         o->op_type = OP_RV2HV;
5140         o->op_ppaddr = PL_ppaddr[OP_RV2HV];
5141         ref(o, OP_RV2HV);
5142         break;
5143
5144     default:
5145         if (ckWARN_d(WARN_INTERNAL))
5146             Perl_warner(aTHX_ WARN_INTERNAL, "oops: oopsHV");
5147         break;
5148     }
5149     return o;
5150 }
5151
5152 OP *
5153 Perl_newAVREF(pTHX_ OP *o)
5154 {
5155     if (o->op_type == OP_PADANY) {
5156         o->op_type = OP_PADAV;
5157         o->op_ppaddr = PL_ppaddr[OP_PADAV];
5158         return o;
5159     }
5160     return newUNOP(OP_RV2AV, 0, scalar(o));
5161 }
5162
5163 OP *
5164 Perl_newGVREF(pTHX_ I32 type, OP *o)
5165 {
5166     if (type == OP_MAPSTART || type == OP_GREPSTART || type == OP_SORT)
5167         return newUNOP(OP_NULL, 0, o);
5168     return ref(newUNOP(OP_RV2GV, OPf_REF, o), type);
5169 }
5170
5171 OP *
5172 Perl_newHVREF(pTHX_ OP *o)
5173 {
5174     if (o->op_type == OP_PADANY) {
5175         o->op_type = OP_PADHV;
5176         o->op_ppaddr = PL_ppaddr[OP_PADHV];
5177         return o;
5178     }
5179     return newUNOP(OP_RV2HV, 0, scalar(o));
5180 }
5181
5182 OP *
5183 Perl_oopsCV(pTHX_ OP *o)
5184 {
5185     Perl_croak(aTHX_ "NOT IMPL LINE %d",__LINE__);
5186     /* STUB */
5187     return o;
5188 }
5189
5190 OP *
5191 Perl_newCVREF(pTHX_ I32 flags, OP *o)
5192 {
5193     return newUNOP(OP_RV2CV, flags, scalar(o));
5194 }
5195
5196 OP *
5197 Perl_newSVREF(pTHX_ OP *o)
5198 {
5199     if (o->op_type == OP_PADANY) {
5200         o->op_type = OP_PADSV;
5201         o->op_ppaddr = PL_ppaddr[OP_PADSV];
5202         return o;
5203     }
5204     else if (o->op_type == OP_THREADSV && !(o->op_flags & OPpDONE_SVREF)) {
5205         o->op_flags |= OPpDONE_SVREF;
5206         return o;
5207     }
5208     return newUNOP(OP_RV2SV, 0, scalar(o));
5209 }
5210
5211 /* Check routines. */
5212
5213 OP *
5214 Perl_ck_anoncode(pTHX_ OP *o)
5215 {
5216     PADOFFSET ix;
5217     SV* name;
5218
5219     name = NEWSV(1106,0);
5220     sv_upgrade(name, SVt_PVNV);
5221     sv_setpvn(name, "&", 1);
5222     SvIVX(name) = -1;
5223     SvNVX(name) = 1;
5224     ix = pad_alloc(o->op_type, SVs_PADMY);
5225     av_store(PL_comppad_name, ix, name);
5226     av_store(PL_comppad, ix, cSVOPo->op_sv);
5227     SvPADMY_on(cSVOPo->op_sv);
5228     cSVOPo->op_sv = Nullsv;
5229     cSVOPo->op_targ = ix;
5230     return o;
5231 }
5232
5233 OP *
5234 Perl_ck_bitop(pTHX_ OP *o)
5235 {
5236     o->op_private = PL_hints;
5237     return o;
5238 }
5239
5240 OP *
5241 Perl_ck_concat(pTHX_ OP *o)
5242 {
5243     if (cUNOPo->op_first->op_type == OP_CONCAT)
5244         o->op_flags |= OPf_STACKED;
5245     return o;
5246 }
5247
5248 OP *
5249 Perl_ck_spair(pTHX_ OP *o)
5250 {
5251     if (o->op_flags & OPf_KIDS) {
5252         OP* newop;
5253         OP* kid;
5254         OPCODE type = o->op_type;
5255         o = modkids(ck_fun(o), type);
5256         kid = cUNOPo->op_first;
5257         newop = kUNOP->op_first->op_sibling;
5258         if (newop &&
5259             (newop->op_sibling ||
5260              !(PL_opargs[newop->op_type] & OA_RETSCALAR) ||
5261              newop->op_type == OP_PADAV || newop->op_type == OP_PADHV ||
5262              newop->op_type == OP_RV2AV || newop->op_type == OP_RV2HV)) {
5263
5264             return o;
5265         }
5266         op_free(kUNOP->op_first);
5267         kUNOP->op_first = newop;
5268     }
5269     o->op_ppaddr = PL_ppaddr[++o->op_type];
5270     return ck_fun(o);
5271 }
5272
5273 OP *
5274 Perl_ck_delete(pTHX_ OP *o)
5275 {
5276     o = ck_fun(o);
5277     o->op_private = 0;
5278     if (o->op_flags & OPf_KIDS) {
5279         OP *kid = cUNOPo->op_first;
5280         switch (kid->op_type) {
5281         case OP_ASLICE:
5282             o->op_flags |= OPf_SPECIAL;
5283             /* FALL THROUGH */
5284         case OP_HSLICE:
5285             o->op_private |= OPpSLICE;
5286             break;
5287         case OP_AELEM:
5288             o->op_flags |= OPf_SPECIAL;
5289             /* FALL THROUGH */
5290         case OP_HELEM:
5291             break;
5292         default:
5293             Perl_croak(aTHX_ "%s argument is not a HASH or ARRAY element or slice",
5294                   PL_op_desc[o->op_type]);
5295         }
5296         null(kid);
5297     }
5298     return o;
5299 }
5300
5301 OP *
5302 Perl_ck_eof(pTHX_ OP *o)
5303 {
5304     I32 type = o->op_type;
5305
5306     if (o->op_flags & OPf_KIDS) {
5307         if (cLISTOPo->op_first->op_type == OP_STUB) {
5308             op_free(o);
5309             o = newUNOP(type, OPf_SPECIAL,
5310                 newGVOP(OP_GV, 0, gv_fetchpv("main::ARGV", TRUE, SVt_PVAV)));
5311         }
5312         return ck_fun(o);
5313     }
5314     return o;
5315 }
5316
5317 OP *
5318 Perl_ck_eval(pTHX_ OP *o)
5319 {
5320     PL_hints |= HINT_BLOCK_SCOPE;
5321     if (o->op_flags & OPf_KIDS) {
5322         SVOP *kid = (SVOP*)cUNOPo->op_first;
5323
5324         if (!kid) {
5325             o->op_flags &= ~OPf_KIDS;
5326             null(o);
5327         }
5328         else if (kid->op_type == OP_LINESEQ) {
5329             LOGOP *enter;
5330
5331             kid->op_next = o->op_next;
5332             cUNOPo->op_first = 0;
5333             op_free(o);
5334
5335             NewOp(1101, enter, 1, LOGOP);
5336             enter->op_type = OP_ENTERTRY;
5337             enter->op_ppaddr = PL_ppaddr[OP_ENTERTRY];
5338             enter->op_private = 0;
5339
5340             /* establish postfix order */
5341             enter->op_next = (OP*)enter;
5342
5343             o = prepend_elem(OP_LINESEQ, (OP*)enter, (OP*)kid);
5344             o->op_type = OP_LEAVETRY;
5345             o->op_ppaddr = PL_ppaddr[OP_LEAVETRY];
5346             enter->op_other = o;
5347             return o;
5348         }
5349         else
5350             scalar((OP*)kid);
5351     }
5352     else {
5353         op_free(o);
5354         o = newUNOP(OP_ENTEREVAL, 0, newDEFSVOP());
5355     }
5356     o->op_targ = (PADOFFSET)PL_hints;
5357     return o;
5358 }
5359
5360 OP *
5361 Perl_ck_exit(pTHX_ OP *o)
5362 {
5363 #ifdef VMS
5364     HV *table = GvHV(PL_hintgv);
5365     if (table) {
5366        SV **svp = hv_fetch(table, "vmsish_exit", 11, FALSE);
5367        if (svp && *svp && SvTRUE(*svp))
5368            o->op_private |= OPpEXIT_VMSISH;
5369     }
5370 #endif
5371     return ck_fun(o);
5372 }
5373
5374 OP *
5375 Perl_ck_exec(pTHX_ OP *o)
5376 {
5377     OP *kid;
5378     if (o->op_flags & OPf_STACKED) {
5379         o = ck_fun(o);
5380         kid = cUNOPo->op_first->op_sibling;
5381         if (kid->op_type == OP_RV2GV)
5382             null(kid);
5383     }
5384     else
5385         o = listkids(o);
5386     return o;
5387 }
5388
5389 OP *
5390 Perl_ck_exists(pTHX_ OP *o)
5391 {
5392     o = ck_fun(o);
5393     if (o->op_flags & OPf_KIDS) {
5394         OP *kid = cUNOPo->op_first;
5395         if (kid->op_type == OP_ENTERSUB) {
5396             (void) ref(kid, o->op_type);
5397             if (kid->op_type != OP_RV2CV && !PL_error_count)
5398                 Perl_croak(aTHX_ "%s argument is not a subroutine name",
5399                            PL_op_desc[o->op_type]);
5400             o->op_private |= OPpEXISTS_SUB;
5401         }
5402         else if (kid->op_type == OP_AELEM)
5403             o->op_flags |= OPf_SPECIAL;
5404         else if (kid->op_type != OP_HELEM)
5405             Perl_croak(aTHX_ "%s argument is not a HASH or ARRAY element",
5406                        PL_op_desc[o->op_type]);
5407         null(kid);
5408     }
5409     return o;
5410 }
5411
5412 #if 0
5413 OP *
5414 Perl_ck_gvconst(pTHX_ register OP *o)
5415 {
5416     o = fold_constants(o);
5417     if (o->op_type == OP_CONST)
5418         o->op_type = OP_GV;
5419     return o;
5420 }
5421 #endif
5422
5423 OP *
5424 Perl_ck_rvconst(pTHX_ register OP *o)
5425 {
5426     SVOP *kid = (SVOP*)cUNOPo->op_first;
5427
5428     o->op_private |= (PL_hints & HINT_STRICT_REFS);
5429     if (kid->op_type == OP_CONST) {
5430         char *name;
5431         int iscv;
5432         GV *gv;
5433         SV *kidsv = kid->op_sv;
5434         STRLEN n_a;
5435
5436         /* Is it a constant from cv_const_sv()? */
5437         if (SvROK(kidsv) && SvREADONLY(kidsv)) {
5438             SV *rsv = SvRV(kidsv);
5439             int svtype = SvTYPE(rsv);
5440             char *badtype = Nullch;
5441
5442             switch (o->op_type) {
5443             case OP_RV2SV:
5444                 if (svtype > SVt_PVMG)
5445                     badtype = "a SCALAR";
5446                 break;
5447             case OP_RV2AV:
5448                 if (svtype != SVt_PVAV)
5449                     badtype = "an ARRAY";
5450                 break;
5451             case OP_RV2HV:
5452                 if (svtype != SVt_PVHV) {
5453                     if (svtype == SVt_PVAV) {   /* pseudohash? */
5454                         SV **ksv = av_fetch((AV*)rsv, 0, FALSE);
5455                         if (ksv && SvROK(*ksv)
5456                             && SvTYPE(SvRV(*ksv)) == SVt_PVHV)
5457                         {
5458                                 break;
5459                         }
5460                     }
5461                     badtype = "a HASH";
5462                 }
5463                 break;
5464             case OP_RV2CV:
5465                 if (svtype != SVt_PVCV)
5466                     badtype = "a CODE";
5467                 break;
5468             }
5469             if (badtype)
5470                 Perl_croak(aTHX_ "Constant is not %s reference", badtype);
5471             return o;
5472         }
5473         name = SvPV(kidsv, n_a);
5474         if ((PL_hints & HINT_STRICT_REFS) && (kid->op_private & OPpCONST_BARE)) {
5475             char *badthing = Nullch;
5476             switch (o->op_type) {
5477             case OP_RV2SV:
5478                 badthing = "a SCALAR";
5479                 break;
5480             case OP_RV2AV:
5481                 badthing = "an ARRAY";
5482                 break;
5483             case OP_RV2HV:
5484                 badthing = "a HASH";
5485                 break;
5486             }
5487             if (badthing)
5488                 Perl_croak(aTHX_
5489           "Can't use bareword (\"%s\") as %s ref while \"strict refs\" in use",
5490                       name, badthing);
5491         }
5492         /*
5493          * This is a little tricky.  We only want to add the symbol if we
5494          * didn't add it in the lexer.  Otherwise we get duplicate strict
5495          * warnings.  But if we didn't add it in the lexer, we must at
5496          * least pretend like we wanted to add it even if it existed before,
5497          * or we get possible typo warnings.  OPpCONST_ENTERED says
5498          * whether the lexer already added THIS instance of this symbol.
5499          */
5500         iscv = (o->op_type == OP_RV2CV) * 2;
5501         do {
5502             gv = gv_fetchpv(name,
5503                 iscv | !(kid->op_private & OPpCONST_ENTERED),
5504                 iscv
5505                     ? SVt_PVCV
5506                     : o->op_type == OP_RV2SV
5507                         ? SVt_PV
5508                         : o->op_type == OP_RV2AV
5509                             ? SVt_PVAV
5510                             : o->op_type == OP_RV2HV
5511                                 ? SVt_PVHV
5512                                 : SVt_PVGV);
5513         } while (!gv && !(kid->op_private & OPpCONST_ENTERED) && !iscv++);
5514         if (gv) {
5515             kid->op_type = OP_GV;
5516             SvREFCNT_dec(kid->op_sv);
5517 #ifdef USE_ITHREADS
5518             /* XXX hack: dependence on sizeof(PADOP) <= sizeof(SVOP) */
5519             kPADOP->op_padix = pad_alloc(OP_GV, SVs_PADTMP);
5520             SvREFCNT_dec(PL_curpad[kPADOP->op_padix]);
5521             GvIN_PAD_on(gv);
5522             PL_curpad[kPADOP->op_padix] = SvREFCNT_inc(gv);
5523 #else
5524             kid->op_sv = SvREFCNT_inc(gv);
5525 #endif
5526             kid->op_private = 0;
5527             kid->op_ppaddr = PL_ppaddr[OP_GV];
5528         }
5529     }
5530     return o;
5531 }
5532
5533 OP *
5534 Perl_ck_ftst(pTHX_ OP *o)
5535 {
5536     I32 type = o->op_type;
5537
5538     if (o->op_flags & OPf_REF) {
5539         /* nothing */
5540     }
5541     else if (o->op_flags & OPf_KIDS && cUNOPo->op_first->op_type != OP_STUB) {
5542         SVOP *kid = (SVOP*)cUNOPo->op_first;
5543
5544         if (kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE)) {
5545             STRLEN n_a;
5546             OP *newop = newGVOP(type, OPf_REF,
5547                 gv_fetchpv(SvPVx(kid->op_sv, n_a), TRUE, SVt_PVIO));
5548             op_free(o);
5549             o = newop;
5550         }
5551     }
5552     else {
5553         op_free(o);
5554         if (type == OP_FTTTY)
5555            o =  newGVOP(type, OPf_REF, gv_fetchpv("main::STDIN", TRUE,
5556                                 SVt_PVIO));
5557         else
5558             o = newUNOP(type, 0, newDEFSVOP());
5559     }
5560 #ifdef USE_LOCALE
5561     if (type == OP_FTTEXT || type == OP_FTBINARY) {
5562         o->op_private = 0;
5563         if (PL_hints & HINT_LOCALE)
5564             o->op_private |= OPpLOCALE;
5565     }
5566 #endif
5567     return o;
5568 }
5569
5570 OP *
5571 Perl_ck_fun(pTHX_ OP *o)
5572 {
5573     register OP *kid;
5574     OP **tokid;
5575     OP *sibl;
5576     I32 numargs = 0;
5577     int type = o->op_type;
5578     register I32 oa = PL_opargs[type] >> OASHIFT;
5579
5580     if (o->op_flags & OPf_STACKED) {
5581         if ((oa & OA_OPTIONAL) && (oa >> 4) && !((oa >> 4) & OA_OPTIONAL))
5582             oa &= ~OA_OPTIONAL;
5583         else
5584             return no_fh_allowed(o);
5585     }
5586
5587     if (o->op_flags & OPf_KIDS) {
5588         STRLEN n_a;
5589         tokid = &cLISTOPo->op_first;
5590         kid = cLISTOPo->op_first;
5591         if (kid->op_type == OP_PUSHMARK ||
5592             (kid->op_type == OP_NULL && kid->op_targ == OP_PUSHMARK))
5593         {
5594             tokid = &kid->op_sibling;
5595             kid = kid->op_sibling;
5596         }
5597         if (!kid && PL_opargs[type] & OA_DEFGV)
5598             *tokid = kid = newDEFSVOP();
5599
5600         while (oa && kid) {
5601             numargs++;
5602             sibl = kid->op_sibling;
5603             switch (oa & 7) {
5604             case OA_SCALAR:
5605                 /* list seen where single (scalar) arg expected? */
5606                 if (numargs == 1 && !(oa >> 4)
5607                     && kid->op_type == OP_LIST && type != OP_SCALAR)
5608                 {
5609                     return too_many_arguments(o,PL_op_desc[type]);
5610                 }
5611                 scalar(kid);
5612                 break;
5613             case OA_LIST:
5614                 if (oa < 16) {
5615                     kid = 0;
5616                     continue;
5617                 }
5618                 else
5619                     list(kid);
5620                 break;
5621             case OA_AVREF:
5622                 if (kid->op_type == OP_CONST &&
5623                     (kid->op_private & OPpCONST_BARE))
5624                 {
5625                     char *name = SvPVx(((SVOP*)kid)->op_sv, n_a);
5626                     OP *newop = newAVREF(newGVOP(OP_GV, 0,
5627                         gv_fetchpv(name, TRUE, SVt_PVAV) ));
5628                     if (ckWARN(WARN_DEPRECATED))
5629                         Perl_warner(aTHX_ WARN_DEPRECATED,
5630                             "Array @%s missing the @ in argument %"IVdf" of %s()",
5631                             name, (IV)numargs, PL_op_desc[type]);
5632                     op_free(kid);
5633                     kid = newop;
5634                     kid->op_sibling = sibl;
5635                     *tokid = kid;
5636                 }
5637                 else if (kid->op_type != OP_RV2AV && kid->op_type != OP_PADAV)
5638                     bad_type(numargs, "array", PL_op_desc[type], kid);
5639                 mod(kid, type);
5640                 break;
5641             case OA_HVREF:
5642                 if (kid->op_type == OP_CONST &&
5643                     (kid->op_private & OPpCONST_BARE))
5644                 {
5645                     char *name = SvPVx(((SVOP*)kid)->op_sv, n_a);
5646                     OP *newop = newHVREF(newGVOP(OP_GV, 0,
5647                         gv_fetchpv(name, TRUE, SVt_PVHV) ));
5648                     if (ckWARN(WARN_DEPRECATED))
5649                         Perl_warner(aTHX_ WARN_DEPRECATED,
5650                             "Hash %%%s missing the %% in argument %"IVdf" of %s()",
5651                             name, (IV)numargs, PL_op_desc[type]);
5652                     op_free(kid);
5653                     kid = newop;
5654                     kid->op_sibling = sibl;
5655                     *tokid = kid;
5656                 }
5657                 else if (kid->op_type != OP_RV2HV && kid->op_type != OP_PADHV)
5658                     bad_type(numargs, "hash", PL_op_desc[type], kid);
5659                 mod(kid, type);
5660                 break;
5661             case OA_CVREF:
5662                 {
5663                     OP *newop = newUNOP(OP_NULL, 0, kid);
5664                     kid->op_sibling = 0;
5665                     linklist(kid);
5666                     newop->op_next = newop;
5667                     kid = newop;
5668                     kid->op_sibling = sibl;
5669                     *tokid = kid;
5670                 }
5671                 break;
5672             case OA_FILEREF:
5673                 if (kid->op_type != OP_GV && kid->op_type != OP_RV2GV) {
5674                     if (kid->op_type == OP_CONST &&
5675                         (kid->op_private & OPpCONST_BARE))
5676                     {
5677                         OP *newop = newGVOP(OP_GV, 0,
5678                             gv_fetchpv(SvPVx(((SVOP*)kid)->op_sv, n_a), TRUE,
5679                                         SVt_PVIO) );
5680                         op_free(kid);
5681                         kid = newop;
5682                     }
5683                     else if (kid->op_type == OP_READLINE) {
5684                         /* neophyte patrol: open(<FH>), close(<FH>) etc. */
5685                         bad_type(numargs, "HANDLE", PL_op_desc[o->op_type], kid);
5686                     }
5687                     else {
5688                         I32 flags = OPf_SPECIAL;
5689                         I32 priv = 0;
5690                         PADOFFSET targ = 0;
5691
5692                         /* is this op a FH constructor? */
5693                         if (is_handle_constructor(o,numargs)) {
5694                             char *name = Nullch;
5695                             STRLEN len;
5696
5697                             flags = 0;
5698                             /* Set a flag to tell rv2gv to vivify
5699                              * need to "prove" flag does not mean something
5700                              * else already - NI-S 1999/05/07
5701                              */
5702                             priv = OPpDEREF;
5703                             if (kid->op_type == OP_PADSV) {
5704                                 SV **namep = av_fetch(PL_comppad_name,
5705                                                       kid->op_targ, 4);
5706                                 if (namep && *namep)
5707                                     name = SvPV(*namep, len);
5708                             }
5709                             else if (kid->op_type == OP_RV2SV
5710                                      && kUNOP->op_first->op_type == OP_GV)
5711                             {
5712                                 GV *gv = cGVOPx_gv(kUNOP->op_first);
5713                                 name = GvNAME(gv);
5714                                 len = GvNAMELEN(gv);
5715                             }
5716                             else if (kid->op_type == OP_AELEM
5717                                      || kid->op_type == OP_HELEM)
5718                             {
5719                                 name = "__ANONIO__";
5720                                 len = 10;
5721                                 mod(kid,type);
5722                             }
5723                             if (name) {
5724                                 SV *namesv;
5725                                 targ = pad_alloc(OP_RV2GV, SVs_PADTMP);
5726                                 namesv = PL_curpad[targ];
5727                                 (void)SvUPGRADE(namesv, SVt_PV);
5728                                 if (*name != '$')
5729                                     sv_setpvn(namesv, "$", 1);
5730                                 sv_catpvn(namesv, name, len);
5731                             }
5732                         }
5733                         kid->op_sibling = 0;
5734                         kid = newUNOP(OP_RV2GV, flags, scalar(kid));
5735                         kid->op_targ = targ;
5736                         kid->op_private |= priv;
5737                     }
5738                     kid->op_sibling = sibl;
5739                     *tokid = kid;
5740                 }
5741                 scalar(kid);
5742                 break;
5743             case OA_SCALARREF:
5744                 mod(scalar(kid), type);
5745                 break;
5746             }
5747             oa >>= 4;
5748             tokid = &kid->op_sibling;
5749             kid = kid->op_sibling;
5750         }
5751         o->op_private |= numargs;
5752         if (kid)
5753             return too_many_arguments(o,PL_op_desc[o->op_type]);
5754         listkids(o);
5755     }
5756     else if (PL_opargs[type] & OA_DEFGV) {
5757         op_free(o);
5758         return newUNOP(type, 0, newDEFSVOP());
5759     }
5760
5761     if (oa) {
5762         while (oa & OA_OPTIONAL)
5763             oa >>= 4;
5764         if (oa && oa != OA_LIST)
5765             return too_few_arguments(o,PL_op_desc[o->op_type]);
5766     }
5767     return o;
5768 }
5769
5770 OP *
5771 Perl_ck_glob(pTHX_ OP *o)
5772 {
5773     GV *gv;
5774
5775     o = ck_fun(o);
5776     if ((o->op_flags & OPf_KIDS) && !cLISTOPo->op_first->op_sibling)
5777         append_elem(OP_GLOB, o, newDEFSVOP());
5778
5779     if (!((gv = gv_fetchpv("glob", FALSE, SVt_PVCV)) && GvIMPORTED_CV(gv)))
5780         gv = gv_fetchpv("CORE::GLOBAL::glob", FALSE, SVt_PVCV);
5781
5782 #if !defined(PERL_EXTERNAL_GLOB)
5783     /* XXX this can be tightened up and made more failsafe. */
5784     if (!gv) {
5785         ENTER;
5786         Perl_load_module(aTHX_ 0, newSVpvn("File::Glob", 10), Nullsv,
5787                          /* null-terminated import list */
5788                          newSVpvn(":globally", 9), Nullsv);
5789         gv = gv_fetchpv("CORE::GLOBAL::glob", FALSE, SVt_PVCV);
5790         LEAVE;
5791     }
5792 #endif /* PERL_EXTERNAL_GLOB */
5793
5794     if (gv && GvIMPORTED_CV(gv)) {
5795         append_elem(OP_GLOB, o,
5796                     newSVOP(OP_CONST, 0, newSViv(PL_glob_index++)));
5797         o->op_type = OP_LIST;
5798         o->op_ppaddr = PL_ppaddr[OP_LIST];
5799         cLISTOPo->op_first->op_type = OP_PUSHMARK;
5800         cLISTOPo->op_first->op_ppaddr = PL_ppaddr[OP_PUSHMARK];
5801         o = newUNOP(OP_ENTERSUB, OPf_STACKED,
5802                     append_elem(OP_LIST, o,
5803                                 scalar(newUNOP(OP_RV2CV, 0,
5804                                                newGVOP(OP_GV, 0, gv)))));
5805         o = newUNOP(OP_NULL, 0, ck_subr(o));
5806         o->op_targ = OP_GLOB;           /* hint at what it used to be */
5807         return o;
5808     }
5809     gv = newGVgen("main");
5810     gv_IOadd(gv);
5811     append_elem(OP_GLOB, o, newGVOP(OP_GV, 0, gv));
5812     scalarkids(o);
5813     return o;
5814 }
5815
5816 OP *
5817 Perl_ck_grep(pTHX_ OP *o)
5818 {
5819     LOGOP *gwop;
5820     OP *kid;
5821     OPCODE type = o->op_type == OP_GREPSTART ? OP_GREPWHILE : OP_MAPWHILE;
5822
5823     o->op_ppaddr = PL_ppaddr[OP_GREPSTART];
5824     NewOp(1101, gwop, 1, LOGOP);
5825
5826     if (o->op_flags & OPf_STACKED) {
5827         OP* k;
5828         o = ck_sort(o);
5829         kid = cLISTOPo->op_first->op_sibling;
5830         for (k = cLISTOPo->op_first->op_sibling->op_next; k; k = k->op_next) {
5831             kid = k;
5832         }
5833         kid->op_next = (OP*)gwop;
5834         o->op_flags &= ~OPf_STACKED;
5835     }
5836     kid = cLISTOPo->op_first->op_sibling;
5837     if (type == OP_MAPWHILE)
5838         list(kid);
5839     else
5840         scalar(kid);
5841     o = ck_fun(o);
5842     if (PL_error_count)
5843         return o;
5844     kid = cLISTOPo->op_first->op_sibling;
5845     if (kid->op_type != OP_NULL)
5846         Perl_croak(aTHX_ "panic: ck_grep");
5847     kid = kUNOP->op_first;
5848
5849     gwop->op_type = type;
5850     gwop->op_ppaddr = PL_ppaddr[type];
5851     gwop->op_first = listkids(o);
5852     gwop->op_flags |= OPf_KIDS;
5853     gwop->op_private = 1;
5854     gwop->op_other = LINKLIST(kid);
5855     gwop->op_targ = pad_alloc(type, SVs_PADTMP);
5856     kid->op_next = (OP*)gwop;
5857
5858     kid = cLISTOPo->op_first->op_sibling;
5859     if (!kid || !kid->op_sibling)
5860         return too_few_arguments(o,PL_op_desc[o->op_type]);
5861     for (kid = kid->op_sibling; kid; kid = kid->op_sibling)
5862         mod(kid, OP_GREPSTART);
5863
5864     return (OP*)gwop;
5865 }
5866
5867 OP *
5868 Perl_ck_index(pTHX_ OP *o)
5869 {
5870     if (o->op_flags & OPf_KIDS) {
5871         OP *kid = cLISTOPo->op_first->op_sibling;       /* get past pushmark */
5872         if (kid)
5873             kid = kid->op_sibling;                      /* get past "big" */
5874         if (kid && kid->op_type == OP_CONST)
5875             fbm_compile(((SVOP*)kid)->op_sv, 0);
5876     }
5877     return ck_fun(o);
5878 }
5879
5880 OP *
5881 Perl_ck_lengthconst(pTHX_ OP *o)
5882 {
5883     /* XXX length optimization goes here */
5884     return ck_fun(o);
5885 }
5886
5887 OP *
5888 Perl_ck_lfun(pTHX_ OP *o)
5889 {
5890     OPCODE type = o->op_type;
5891     return modkids(ck_fun(o), type);
5892 }
5893
5894 OP *
5895 Perl_ck_defined(pTHX_ OP *o)            /* 19990527 MJD */
5896 {
5897     if ((o->op_flags & OPf_KIDS) && ckWARN(WARN_DEPRECATED)) {
5898         switch (cUNOPo->op_first->op_type) {
5899         case OP_RV2AV:
5900             /* This is needed for
5901                if (defined %stash::)
5902                to work.   Do not break Tk.
5903                */
5904             break;                      /* Globals via GV can be undef */
5905         case OP_PADAV:
5906         case OP_AASSIGN:                /* Is this a good idea? */
5907             Perl_warner(aTHX_ WARN_DEPRECATED,
5908                         "defined(@array) is deprecated");
5909             Perl_warner(aTHX_ WARN_DEPRECATED,
5910                         "\t(Maybe you should just omit the defined()?)\n");
5911         break;
5912         case OP_RV2HV:
5913             /* This is needed for
5914                if (defined %stash::)
5915                to work.   Do not break Tk.
5916                */
5917             break;                      /* Globals via GV can be undef */
5918         case OP_PADHV:
5919             Perl_warner(aTHX_ WARN_DEPRECATED,
5920                         "defined(%%hash) is deprecated");
5921             Perl_warner(aTHX_ WARN_DEPRECATED,
5922                         "\t(Maybe you should just omit the defined()?)\n");
5923             break;
5924         default:
5925             /* no warning */
5926             break;
5927         }
5928     }
5929     return ck_rfun(o);
5930 }
5931
5932 OP *
5933 Perl_ck_rfun(pTHX_ OP *o)
5934 {
5935     OPCODE type = o->op_type;
5936     return refkids(ck_fun(o), type);
5937 }
5938
5939 OP *
5940 Perl_ck_listiob(pTHX_ OP *o)
5941 {
5942     register OP *kid;
5943
5944     kid = cLISTOPo->op_first;
5945     if (!kid) {
5946         o = force_list(o);
5947         kid = cLISTOPo->op_first;
5948     }
5949     if (kid->op_type == OP_PUSHMARK)
5950         kid = kid->op_sibling;
5951     if (kid && o->op_flags & OPf_STACKED)
5952         kid = kid->op_sibling;
5953     else if (kid && !kid->op_sibling) {         /* print HANDLE; */
5954         if (kid->op_type == OP_CONST && kid->op_private & OPpCONST_BARE) {
5955             o->op_flags |= OPf_STACKED; /* make it a filehandle */
5956             kid = newUNOP(OP_RV2GV, OPf_REF, scalar(kid));
5957             cLISTOPo->op_first->op_sibling = kid;
5958             cLISTOPo->op_last = kid;
5959             kid = kid->op_sibling;
5960         }
5961     }
5962
5963     if (!kid)
5964         append_elem(o->op_type, o, newDEFSVOP());
5965
5966     o = listkids(o);
5967
5968     o->op_private = 0;
5969 #ifdef USE_LOCALE
5970     if (PL_hints & HINT_LOCALE)
5971         o->op_private |= OPpLOCALE;
5972 #endif
5973
5974     return o;
5975 }
5976
5977 OP *
5978 Perl_ck_fun_locale(pTHX_ OP *o)
5979 {
5980     o = ck_fun(o);
5981
5982     o->op_private = 0;
5983 #ifdef USE_LOCALE
5984     if (PL_hints & HINT_LOCALE)
5985         o->op_private |= OPpLOCALE;
5986 #endif
5987
5988     return o;
5989 }
5990
5991 OP *
5992 Perl_ck_sassign(pTHX_ OP *o)
5993 {
5994     OP *kid = cLISTOPo->op_first;
5995     /* has a disposable target? */
5996     if ((PL_opargs[kid->op_type] & OA_TARGLEX)
5997         && !(kid->op_flags & OPf_STACKED)
5998         /* Cannot steal the second time! */
5999         && !(kid->op_private & OPpTARGET_MY))
6000     {
6001         OP *kkid = kid->op_sibling;
6002
6003         /* Can just relocate the target. */
6004         if (kkid && kkid->op_type == OP_PADSV
6005             && !(kkid->op_private & OPpLVAL_INTRO))
6006         {
6007             kid->op_targ = kkid->op_targ;
6008             kkid->op_targ = 0;
6009             /* Now we do not need PADSV and SASSIGN. */
6010             kid->op_sibling = o->op_sibling;    /* NULL */
6011             cLISTOPo->op_first = NULL;
6012             op_free(o);
6013             op_free(kkid);
6014             kid->op_private |= OPpTARGET_MY;    /* Used for context settings */
6015             return kid;
6016         }
6017     }
6018     return o;
6019 }
6020
6021 OP *
6022 Perl_ck_scmp(pTHX_ OP *o)
6023 {
6024     o->op_private = 0;
6025 #ifdef USE_LOCALE
6026     if (PL_hints & HINT_LOCALE)
6027         o->op_private |= OPpLOCALE;
6028 #endif
6029
6030     return o;
6031 }
6032
6033 OP *
6034 Perl_ck_match(pTHX_ OP *o)
6035 {
6036     o->op_private |= OPpRUNTIME;
6037     return o;
6038 }
6039
6040 OP *
6041 Perl_ck_method(pTHX_ OP *o)
6042 {
6043     OP *kid = cUNOPo->op_first;
6044     if (kid->op_type == OP_CONST) {
6045         SV* sv = kSVOP->op_sv;
6046         if (!(strchr(SvPVX(sv), ':') || strchr(SvPVX(sv), '\''))) {
6047             OP *cmop;
6048             if (!SvREADONLY(sv) || !SvFAKE(sv)) {
6049                 sv = newSVpvn_share(SvPVX(sv), SvCUR(sv), 0);
6050             }
6051             else {
6052                 kSVOP->op_sv = Nullsv;
6053             }
6054             cmop = newSVOP(OP_METHOD_NAMED, 0, sv);
6055             op_free(o);
6056             return cmop;
6057         }
6058     }
6059     return o;
6060 }
6061
6062 OP *
6063 Perl_ck_null(pTHX_ OP *o)
6064 {
6065     return o;
6066 }
6067
6068 OP *
6069 Perl_ck_open(pTHX_ OP *o)
6070 {
6071     HV *table = GvHV(PL_hintgv);
6072     if (table) {
6073         SV **svp;
6074         I32 mode;
6075         svp = hv_fetch(table, "open_IN", 7, FALSE);
6076         if (svp && *svp) {
6077             mode = mode_from_discipline(*svp);
6078             if (mode & O_BINARY)
6079                 o->op_private |= OPpOPEN_IN_RAW;
6080             else if (mode & O_TEXT)
6081                 o->op_private |= OPpOPEN_IN_CRLF;
6082         }
6083
6084         svp = hv_fetch(table, "open_OUT", 8, FALSE);
6085         if (svp && *svp) {
6086             mode = mode_from_discipline(*svp);
6087             if (mode & O_BINARY)
6088                 o->op_private |= OPpOPEN_OUT_RAW;
6089             else if (mode & O_TEXT)
6090                 o->op_private |= OPpOPEN_OUT_CRLF;
6091         }
6092     }
6093     if (o->op_type == OP_BACKTICK)
6094         return o;
6095     return ck_fun(o);
6096 }
6097
6098 OP *
6099 Perl_ck_repeat(pTHX_ OP *o)
6100 {
6101     if (cBINOPo->op_first->op_flags & OPf_PARENS) {
6102         o->op_private |= OPpREPEAT_DOLIST;
6103         cBINOPo->op_first = force_list(cBINOPo->op_first);
6104     }
6105     else
6106         scalar(o);
6107     return o;
6108 }
6109
6110 OP *
6111 Perl_ck_require(pTHX_ OP *o)
6112 {
6113     if (o->op_flags & OPf_KIDS) {       /* Shall we supply missing .pm? */
6114         SVOP *kid = (SVOP*)cUNOPo->op_first;
6115
6116         if (kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE)) {
6117             char *s;
6118             for (s = SvPVX(kid->op_sv); *s; s++) {
6119                 if (*s == ':' && s[1] == ':') {
6120                     *s = '/';
6121                     Move(s+2, s+1, strlen(s+2)+1, char);
6122                     --SvCUR(kid->op_sv);
6123                 }
6124             }
6125             if (SvREADONLY(kid->op_sv)) {
6126                 SvREADONLY_off(kid->op_sv);
6127                 sv_catpvn(kid->op_sv, ".pm", 3);
6128                 SvREADONLY_on(kid->op_sv);
6129             }
6130             else
6131                 sv_catpvn(kid->op_sv, ".pm", 3);
6132         }
6133     }
6134     return ck_fun(o);
6135 }
6136
6137 OP *
6138 Perl_ck_return(pTHX_ OP *o)
6139 {
6140     OP *kid;
6141     if (CvLVALUE(PL_compcv)) {
6142         for (kid = cLISTOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
6143             mod(kid, OP_LEAVESUBLV);
6144     }
6145     return o;
6146 }
6147
6148 #if 0
6149 OP *
6150 Perl_ck_retarget(pTHX_ OP *o)
6151 {
6152     Perl_croak(aTHX_ "NOT IMPL LINE %d",__LINE__);
6153     /* STUB */
6154     return o;
6155 }
6156 #endif
6157
6158 OP *
6159 Perl_ck_select(pTHX_ OP *o)
6160 {
6161     OP* kid;
6162     if (o->op_flags & OPf_KIDS) {
6163         kid = cLISTOPo->op_first->op_sibling;   /* get past pushmark */
6164         if (kid && kid->op_sibling) {
6165             o->op_type = OP_SSELECT;
6166             o->op_ppaddr = PL_ppaddr[OP_SSELECT];
6167             o = ck_fun(o);
6168             return fold_constants(o);
6169         }
6170     }
6171     o = ck_fun(o);
6172     kid = cLISTOPo->op_first->op_sibling;    /* get past pushmark */
6173     if (kid && kid->op_type == OP_RV2GV)
6174         kid->op_private &= ~HINT_STRICT_REFS;
6175     return o;
6176 }
6177
6178 OP *
6179 Perl_ck_shift(pTHX_ OP *o)
6180 {
6181     I32 type = o->op_type;
6182
6183     if (!(o->op_flags & OPf_KIDS)) {
6184         OP *argop;
6185
6186         op_free(o);
6187 #ifdef USE_THREADS
6188         if (!CvUNIQUE(PL_compcv)) {
6189             argop = newOP(OP_PADAV, OPf_REF);
6190             argop->op_targ = 0;         /* PL_curpad[0] is @_ */
6191         }
6192         else {
6193             argop = newUNOP(OP_RV2AV, 0,
6194                 scalar(newGVOP(OP_GV, 0,
6195                     gv_fetchpv("ARGV", TRUE, SVt_PVAV))));
6196         }
6197 #else
6198         argop = newUNOP(OP_RV2AV, 0,
6199             scalar(newGVOP(OP_GV, 0, !CvUNIQUE(PL_compcv) ?
6200                            PL_defgv : gv_fetchpv("ARGV", TRUE, SVt_PVAV))));
6201 #endif /* USE_THREADS */
6202         return newUNOP(type, 0, scalar(argop));
6203     }
6204     return scalar(modkids(ck_fun(o), type));
6205 }
6206
6207 OP *
6208 Perl_ck_sort(pTHX_ OP *o)
6209 {
6210     OP *firstkid;
6211     o->op_private = 0;
6212 #ifdef USE_LOCALE
6213     if (PL_hints & HINT_LOCALE)
6214         o->op_private |= OPpLOCALE;
6215 #endif
6216
6217     if (o->op_type == OP_SORT && o->op_flags & OPf_STACKED)
6218         simplify_sort(o);
6219     firstkid = cLISTOPo->op_first->op_sibling;          /* get past pushmark */
6220     if (o->op_flags & OPf_STACKED) {                    /* may have been cleared */
6221         OP *k;
6222         OP *kid = cUNOPx(firstkid)->op_first;           /* get past null */
6223
6224         if (kid->op_type == OP_SCOPE || kid->op_type == OP_LEAVE) {
6225             linklist(kid);
6226             if (kid->op_type == OP_SCOPE) {
6227                 k = kid->op_next;
6228                 kid->op_next = 0;
6229             }
6230             else if (kid->op_type == OP_LEAVE) {
6231                 if (o->op_type == OP_SORT) {
6232                     null(kid);                  /* wipe out leave */
6233                     kid->op_next = kid;
6234
6235                     for (k = kLISTOP->op_first->op_next; k; k = k->op_next) {
6236                         if (k->op_next == kid)
6237                             k->op_next = 0;
6238                         /* don't descend into loops */
6239                         else if (k->op_type == OP_ENTERLOOP
6240                                  || k->op_type == OP_ENTERITER)
6241                         {
6242                             k = cLOOPx(k)->op_lastop;
6243                         }
6244                     }
6245                 }
6246                 else
6247                     kid->op_next = 0;           /* just disconnect the leave */
6248                 k = kLISTOP->op_first;
6249             }
6250             peep(k);
6251
6252             kid = firstkid;
6253             if (o->op_type == OP_SORT) {
6254                 /* provide scalar context for comparison function/block */
6255                 kid = scalar(kid);
6256                 kid->op_next = kid;
6257             }
6258             else
6259                 kid->op_next = k;
6260             o->op_flags |= OPf_SPECIAL;
6261         }
6262         else if (kid->op_type == OP_RV2SV || kid->op_type == OP_PADSV)
6263             null(firstkid);
6264
6265         firstkid = firstkid->op_sibling;
6266     }
6267
6268     /* provide list context for arguments */
6269     if (o->op_type == OP_SORT)
6270         list(firstkid);
6271
6272     return o;
6273 }
6274
6275 STATIC void
6276 S_simplify_sort(pTHX_ OP *o)
6277 {
6278     register OP *kid = cLISTOPo->op_first->op_sibling;  /* get past pushmark */
6279     OP *k;
6280     int reversed;
6281     GV *gv;
6282     if (!(o->op_flags & OPf_STACKED))
6283         return;
6284     GvMULTI_on(gv_fetchpv("a", TRUE, SVt_PV));
6285     GvMULTI_on(gv_fetchpv("b", TRUE, SVt_PV));
6286     kid = kUNOP->op_first;                              /* get past null */
6287     if (kid->op_type != OP_SCOPE)
6288         return;
6289     kid = kLISTOP->op_last;                             /* get past scope */
6290     switch(kid->op_type) {
6291         case OP_NCMP:
6292         case OP_I_NCMP:
6293         case OP_SCMP:
6294             break;
6295         default:
6296             return;
6297     }
6298     k = kid;                                            /* remember this node*/
6299     if (kBINOP->op_first->op_type != OP_RV2SV)
6300         return;
6301     kid = kBINOP->op_first;                             /* get past cmp */
6302     if (kUNOP->op_first->op_type != OP_GV)
6303         return;
6304     kid = kUNOP->op_first;                              /* get past rv2sv */
6305     gv = kGVOP_gv;
6306     if (GvSTASH(gv) != PL_curstash)
6307         return;
6308     if (strEQ(GvNAME(gv), "a"))
6309         reversed = 0;
6310     else if (strEQ(GvNAME(gv), "b"))
6311         reversed = 1;
6312     else
6313         return;
6314     kid = k;                                            /* back to cmp */
6315     if (kBINOP->op_last->op_type != OP_RV2SV)
6316         return;
6317     kid = kBINOP->op_last;                              /* down to 2nd arg */
6318     if (kUNOP->op_first->op_type != OP_GV)
6319         return;
6320     kid = kUNOP->op_first;                              /* get past rv2sv */
6321     gv = kGVOP_gv;
6322     if (GvSTASH(gv) != PL_curstash
6323         || ( reversed
6324             ? strNE(GvNAME(gv), "a")
6325             : strNE(GvNAME(gv), "b")))
6326         return;
6327     o->op_flags &= ~(OPf_STACKED | OPf_SPECIAL);
6328     if (reversed)
6329         o->op_private |= OPpSORT_REVERSE;
6330     if (k->op_type == OP_NCMP)
6331         o->op_private |= OPpSORT_NUMERIC;
6332     if (k->op_type == OP_I_NCMP)
6333         o->op_private |= OPpSORT_NUMERIC | OPpSORT_INTEGER;
6334     kid = cLISTOPo->op_first->op_sibling;
6335     cLISTOPo->op_first->op_sibling = kid->op_sibling; /* bypass old block */
6336     op_free(kid);                                     /* then delete it */
6337 }
6338
6339 OP *
6340 Perl_ck_split(pTHX_ OP *o)
6341 {
6342     register OP *kid;
6343
6344     if (o->op_flags & OPf_STACKED)
6345         return no_fh_allowed(o);
6346
6347     kid = cLISTOPo->op_first;
6348     if (kid->op_type != OP_NULL)
6349         Perl_croak(aTHX_ "panic: ck_split");
6350     kid = kid->op_sibling;
6351     op_free(cLISTOPo->op_first);
6352     cLISTOPo->op_first = kid;
6353     if (!kid) {
6354         cLISTOPo->op_first = kid = newSVOP(OP_CONST, 0, newSVpvn(" ", 1));
6355         cLISTOPo->op_last = kid; /* There was only one element previously */
6356     }
6357
6358     if (kid->op_type != OP_MATCH || kid->op_flags & OPf_STACKED) {
6359         OP *sibl = kid->op_sibling;
6360         kid->op_sibling = 0;
6361         kid = pmruntime( newPMOP(OP_MATCH, OPf_SPECIAL), kid, Nullop);
6362         if (cLISTOPo->op_first == cLISTOPo->op_last)
6363             cLISTOPo->op_last = kid;
6364         cLISTOPo->op_first = kid;
6365         kid->op_sibling = sibl;
6366     }
6367
6368     kid->op_type = OP_PUSHRE;
6369     kid->op_ppaddr = PL_ppaddr[OP_PUSHRE];
6370     scalar(kid);
6371
6372     if (!kid->op_sibling)
6373         append_elem(OP_SPLIT, o, newDEFSVOP());
6374
6375     kid = kid->op_sibling;
6376     scalar(kid);
6377
6378     if (!kid->op_sibling)
6379         append_elem(OP_SPLIT, o, newSVOP(OP_CONST, 0, newSViv(0)));
6380
6381     kid = kid->op_sibling;
6382     scalar(kid);
6383
6384     if (kid->op_sibling)
6385         return too_many_arguments(o,PL_op_desc[o->op_type]);
6386
6387     return o;
6388 }
6389
6390 OP *
6391 Perl_ck_join(pTHX_ OP *o)
6392 {
6393     if (ckWARN(WARN_SYNTAX)) {
6394         OP *kid = cLISTOPo->op_first->op_sibling;
6395         if (kid && kid->op_type == OP_MATCH) {
6396             char *pmstr = "STRING";
6397             if (kPMOP->op_pmregexp)
6398                 pmstr = kPMOP->op_pmregexp->precomp;
6399             Perl_warner(aTHX_ WARN_SYNTAX,
6400                         "/%s/ should probably be written as \"%s\"",
6401                         pmstr, pmstr);
6402         }
6403     }
6404     return ck_fun(o);
6405 }
6406
6407 OP *
6408 Perl_ck_subr(pTHX_ OP *o)
6409 {
6410     OP *prev = ((cUNOPo->op_first->op_sibling)
6411              ? cUNOPo : ((UNOP*)cUNOPo->op_first))->op_first;
6412     OP *o2 = prev->op_sibling;
6413     OP *cvop;
6414     char *proto = 0;
6415     CV *cv = 0;
6416     GV *namegv = 0;
6417     int optional = 0;
6418     I32 arg = 0;
6419     STRLEN n_a;
6420
6421     o->op_private |= OPpENTERSUB_HASTARG;
6422     for (cvop = o2; cvop->op_sibling; cvop = cvop->op_sibling) ;
6423     if (cvop->op_type == OP_RV2CV) {
6424         SVOP* tmpop;
6425         o->op_private |= (cvop->op_private & OPpENTERSUB_AMPER);
6426         null(cvop);             /* disable rv2cv */
6427         tmpop = (SVOP*)((UNOP*)cvop)->op_first;
6428         if (tmpop->op_type == OP_GV && !(o->op_private & OPpENTERSUB_AMPER)) {
6429             GV *gv = cGVOPx_gv(tmpop);
6430             cv = GvCVu(gv);
6431             if (!cv)
6432                 tmpop->op_private |= OPpEARLY_CV;
6433             else if (SvPOK(cv)) {
6434                 namegv = CvANON(cv) ? gv : CvGV(cv);
6435                 proto = SvPV((SV*)cv, n_a);
6436             }
6437         }
6438     }
6439     else if (cvop->op_type == OP_METHOD || cvop->op_type == OP_METHOD_NAMED) {
6440         if (o2->op_type == OP_CONST)
6441             o2->op_private &= ~OPpCONST_STRICT;
6442         else if (o2->op_type == OP_LIST) {
6443             OP *o = ((UNOP*)o2)->op_first->op_sibling;
6444             if (o && o->op_type == OP_CONST)
6445                 o->op_private &= ~OPpCONST_STRICT;
6446         }
6447     }
6448     o->op_private |= (PL_hints & HINT_STRICT_REFS);
6449     if (PERLDB_SUB && PL_curstash != PL_debstash)
6450         o->op_private |= OPpENTERSUB_DB;
6451     while (o2 != cvop) {
6452         if (proto) {
6453             switch (*proto) {
6454             case '\0':
6455                 return too_many_arguments(o, gv_ename(namegv));
6456             case ';':
6457                 optional = 1;
6458                 proto++;
6459                 continue;
6460             case '$':
6461                 proto++;
6462                 arg++;
6463                 scalar(o2);
6464                 break;
6465             case '%':
6466             case '@':
6467                 list(o2);
6468                 arg++;
6469                 break;
6470             case '&':
6471                 proto++;
6472                 arg++;
6473                 if (o2->op_type != OP_REFGEN && o2->op_type != OP_UNDEF)
6474                     bad_type(arg,
6475                         arg == 1 ? "block or sub {}" : "sub {}",
6476                         gv_ename(namegv), o2);
6477                 break;
6478             case '*':
6479                 /* '*' allows any scalar type, including bareword */
6480                 proto++;
6481                 arg++;
6482                 if (o2->op_type == OP_RV2GV)
6483                     goto wrapref;       /* autoconvert GLOB -> GLOBref */
6484                 else if (o2->op_type == OP_CONST)
6485                     o2->op_private &= ~OPpCONST_STRICT;
6486                 else if (o2->op_type == OP_ENTERSUB) {
6487                     /* accidental subroutine, revert to bareword */
6488                     OP *gvop = ((UNOP*)o2)->op_first;
6489                     if (gvop && gvop->op_type == OP_NULL) {
6490                         gvop = ((UNOP*)gvop)->op_first;
6491                         if (gvop) {
6492                             for (; gvop->op_sibling; gvop = gvop->op_sibling)
6493                                 ;
6494                             if (gvop &&
6495                                 (gvop->op_private & OPpENTERSUB_NOPAREN) &&
6496                                 (gvop = ((UNOP*)gvop)->op_first) &&
6497                                 gvop->op_type == OP_GV)
6498                             {
6499                                 GV *gv = cGVOPx_gv(gvop);
6500                                 OP *sibling = o2->op_sibling;
6501                                 SV *n = newSVpvn("",0);
6502                                 op_free(o2);
6503                                 gv_fullname3(n, gv, "");
6504                                 if (SvCUR(n)>6 && strnEQ(SvPVX(n),"main::",6))
6505                                     sv_chop(n, SvPVX(n)+6);
6506                                 o2 = newSVOP(OP_CONST, 0, n);
6507                                 prev->op_sibling = o2;
6508                                 o2->op_sibling = sibling;
6509                             }
6510                         }
6511                     }
6512                 }
6513                 scalar(o2);
6514                 break;
6515             case '\\':
6516                 proto++;
6517                 arg++;
6518                 switch (*proto++) {
6519                 case '*':
6520                     if (o2->op_type != OP_RV2GV)
6521                         bad_type(arg, "symbol", gv_ename(namegv), o2);
6522                     goto wrapref;
6523                 case '&':
6524                     if (o2->op_type != OP_ENTERSUB)
6525                         bad_type(arg, "subroutine entry", gv_ename(namegv), o2);
6526                     goto wrapref;
6527                 case '$':
6528                     if (o2->op_type != OP_RV2SV
6529                         && o2->op_type != OP_PADSV
6530                         && o2->op_type != OP_HELEM
6531                         && o2->op_type != OP_AELEM
6532                         && o2->op_type != OP_THREADSV)
6533                     {
6534                         bad_type(arg, "scalar", gv_ename(namegv), o2);
6535                     }
6536                     goto wrapref;
6537                 case '@':
6538                     if (o2->op_type != OP_RV2AV && o2->op_type != OP_PADAV)
6539                         bad_type(arg, "array", gv_ename(namegv), o2);
6540                     goto wrapref;
6541                 case '%':
6542                     if (o2->op_type != OP_RV2HV && o2->op_type != OP_PADHV)
6543                         bad_type(arg, "hash", gv_ename(namegv), o2);
6544                   wrapref:
6545                     {
6546                         OP* kid = o2;
6547                         OP* sib = kid->op_sibling;
6548                         kid->op_sibling = 0;
6549                         o2 = newUNOP(OP_REFGEN, 0, kid);
6550                         o2->op_sibling = sib;
6551                         prev->op_sibling = o2;
6552                     }
6553                     break;
6554                 default: goto oops;
6555                 }
6556                 break;
6557             case ' ':
6558                 proto++;
6559                 continue;
6560             default:
6561               oops:
6562                 Perl_croak(aTHX_ "Malformed prototype for %s: %s",
6563                         gv_ename(namegv), SvPV((SV*)cv, n_a));
6564             }
6565         }
6566         else
6567             list(o2);
6568         mod(o2, OP_ENTERSUB);
6569         prev = o2;
6570         o2 = o2->op_sibling;
6571     }
6572     if (proto && !optional &&
6573           (*proto && *proto != '@' && *proto != '%' && *proto != ';'))
6574         return too_few_arguments(o, gv_ename(namegv));
6575     return o;
6576 }
6577
6578 OP *
6579 Perl_ck_svconst(pTHX_ OP *o)
6580 {
6581     SvREADONLY_on(cSVOPo->op_sv);
6582     return o;
6583 }
6584
6585 OP *
6586 Perl_ck_trunc(pTHX_ OP *o)
6587 {
6588     if (o->op_flags & OPf_KIDS) {
6589         SVOP *kid = (SVOP*)cUNOPo->op_first;
6590
6591         if (kid->op_type == OP_NULL)
6592             kid = (SVOP*)kid->op_sibling;
6593         if (kid && kid->op_type == OP_CONST &&
6594             (kid->op_private & OPpCONST_BARE))
6595         {
6596             o->op_flags |= OPf_SPECIAL;
6597             kid->op_private &= ~OPpCONST_STRICT;
6598         }
6599     }
6600     return ck_fun(o);
6601 }
6602
6603 OP *
6604 Perl_ck_substr(pTHX_ OP *o)
6605 {
6606     o = ck_fun(o);
6607     if ((o->op_flags & OPf_KIDS) && o->op_private == 4) {
6608         OP *kid = cLISTOPo->op_first;
6609
6610         if (kid->op_type == OP_NULL)
6611             kid = kid->op_sibling;
6612         if (kid)
6613             kid->op_flags |= OPf_MOD;
6614
6615     }
6616     return o;
6617 }
6618
6619 /* A peephole optimizer.  We visit the ops in the order they're to execute. */
6620
6621 void
6622 Perl_peep(pTHX_ register OP *o)
6623 {
6624     register OP* oldop = 0;
6625     STRLEN n_a;
6626
6627     if (!o || o->op_seq)
6628         return;
6629     ENTER;
6630     SAVEOP();
6631     SAVEVPTR(PL_curcop);
6632     for (; o; o = o->op_next) {
6633         if (o->op_seq)
6634             break;
6635         if (!PL_op_seqmax)
6636             PL_op_seqmax++;
6637         PL_op = o;
6638         switch (o->op_type) {
6639         case OP_SETSTATE:
6640         case OP_NEXTSTATE:
6641         case OP_DBSTATE:
6642             PL_curcop = ((COP*)o);              /* for warnings */
6643             o->op_seq = PL_op_seqmax++;
6644             break;
6645
6646         case OP_CONST:
6647             if (cSVOPo->op_private & OPpCONST_STRICT)
6648                 no_bareword_allowed(o);
6649 #ifdef USE_ITHREADS
6650             /* Relocate sv to the pad for thread safety.
6651              * Despite being a "constant", the SV is written to,
6652              * for reference counts, sv_upgrade() etc. */
6653             if (cSVOP->op_sv) {
6654                 PADOFFSET ix = pad_alloc(OP_CONST, SVs_PADTMP);
6655                 if (SvPADTMP(cSVOPo->op_sv)) {
6656                     /* If op_sv is already a PADTMP then it is being used by
6657                      * some pad, so make a copy. */
6658                     sv_setsv(PL_curpad[ix],cSVOPo->op_sv);
6659                     SvREADONLY_on(PL_curpad[ix]);
6660                     SvREFCNT_dec(cSVOPo->op_sv);
6661                 }
6662                 else {
6663                     SvREFCNT_dec(PL_curpad[ix]);
6664                     SvPADTMP_on(cSVOPo->op_sv);
6665                     PL_curpad[ix] = cSVOPo->op_sv;
6666                     /* XXX I don't know how this isn't readonly already. */
6667                     SvREADONLY_on(PL_curpad[ix]);
6668                 }
6669                 cSVOPo->op_sv = Nullsv;
6670                 o->op_targ = ix;
6671             }
6672 #endif
6673             o->op_seq = PL_op_seqmax++;
6674             break;
6675
6676         case OP_CONCAT:
6677             if (o->op_next && o->op_next->op_type == OP_STRINGIFY) {
6678                 if (o->op_next->op_private & OPpTARGET_MY) {
6679                     if (o->op_flags & OPf_STACKED) /* chained concats */
6680                         goto ignore_optimization;
6681                     else {
6682                         /* assert(PL_opargs[o->op_type] & OA_TARGLEX); */
6683                         o->op_targ = o->op_next->op_targ;
6684                         o->op_next->op_targ = 0;
6685                         o->op_private |= OPpTARGET_MY;
6686                     }
6687                 }
6688                 null(o->op_next);
6689             }
6690           ignore_optimization:
6691             o->op_seq = PL_op_seqmax++;
6692             break;
6693         case OP_STUB:
6694             if ((o->op_flags & OPf_WANT) != OPf_WANT_LIST) {
6695                 o->op_seq = PL_op_seqmax++;
6696                 break; /* Scalar stub must produce undef.  List stub is noop */
6697             }
6698             goto nothin;
6699         case OP_NULL:
6700             if (o->op_targ == OP_NEXTSTATE
6701                 || o->op_targ == OP_DBSTATE
6702                 || o->op_targ == OP_SETSTATE)
6703             {
6704                 PL_curcop = ((COP*)o);
6705             }
6706             goto nothin;
6707         case OP_SCALAR:
6708         case OP_LINESEQ:
6709         case OP_SCOPE:
6710           nothin:
6711             if (oldop && o->op_next) {
6712                 oldop->op_next = o->op_next;
6713                 continue;
6714             }
6715             o->op_seq = PL_op_seqmax++;
6716             break;
6717
6718         case OP_GV:
6719             if (o->op_next->op_type == OP_RV2SV) {
6720                 if (!(o->op_next->op_private & OPpDEREF)) {
6721                     null(o->op_next);
6722                     o->op_private |= o->op_next->op_private & (OPpLVAL_INTRO
6723                                                                | OPpOUR_INTRO);
6724                     o->op_next = o->op_next->op_next;
6725                     o->op_type = OP_GVSV;
6726                     o->op_ppaddr = PL_ppaddr[OP_GVSV];
6727                 }
6728             }
6729             else if (o->op_next->op_type == OP_RV2AV) {
6730                 OP* pop = o->op_next->op_next;
6731                 IV i;
6732                 if (pop->op_type == OP_CONST &&
6733                     (PL_op = pop->op_next) &&
6734                     pop->op_next->op_type == OP_AELEM &&
6735                     !(pop->op_next->op_private &
6736                       (OPpLVAL_INTRO|OPpLVAL_DEFER|OPpDEREF|OPpMAYBE_LVSUB)) &&
6737                     (i = SvIV(((SVOP*)pop)->op_sv) - PL_compiling.cop_arybase)
6738                                 <= 255 &&
6739                     i >= 0)
6740                 {
6741                     GV *gv;
6742                     null(o->op_next);
6743                     null(pop->op_next);
6744                     null(pop);
6745                     o->op_flags |= pop->op_next->op_flags & OPf_MOD;
6746                     o->op_next = pop->op_next->op_next;
6747                     o->op_type = OP_AELEMFAST;
6748                     o->op_ppaddr = PL_ppaddr[OP_AELEMFAST];
6749                     o->op_private = (U8)i;
6750                     gv = cGVOPo_gv;
6751                     GvAVn(gv);
6752                 }
6753             }
6754             else if ((o->op_private & OPpEARLY_CV) && ckWARN(WARN_PROTOTYPE)) {
6755                 GV *gv = cGVOPo_gv;
6756                 if (SvTYPE(gv) == SVt_PVGV && GvCV(gv) && SvPVX(GvCV(gv))) {
6757                     /* XXX could check prototype here instead of just carping */
6758                     SV *sv = sv_newmortal();
6759                     gv_efullname3(sv, gv, Nullch);
6760                     Perl_warner(aTHX_ WARN_PROTOTYPE,
6761                                 "%s() called too early to check prototype",
6762                                 SvPV_nolen(sv));
6763                 }
6764             }
6765
6766             o->op_seq = PL_op_seqmax++;
6767             break;
6768
6769         case OP_MAPWHILE:
6770         case OP_GREPWHILE:
6771         case OP_AND:
6772         case OP_OR:
6773         case OP_ANDASSIGN:
6774         case OP_ORASSIGN:
6775         case OP_COND_EXPR:
6776         case OP_RANGE:
6777             o->op_seq = PL_op_seqmax++;
6778             while (cLOGOP->op_other->op_type == OP_NULL)
6779                 cLOGOP->op_other = cLOGOP->op_other->op_next;
6780             peep(cLOGOP->op_other);
6781             break;
6782
6783         case OP_ENTERLOOP:
6784             o->op_seq = PL_op_seqmax++;
6785             while (cLOOP->op_redoop->op_type == OP_NULL)
6786                 cLOOP->op_redoop = cLOOP->op_redoop->op_next;
6787             peep(cLOOP->op_redoop);
6788             while (cLOOP->op_nextop->op_type == OP_NULL)
6789                 cLOOP->op_nextop = cLOOP->op_nextop->op_next;
6790             peep(cLOOP->op_nextop);
6791             while (cLOOP->op_lastop->op_type == OP_NULL)
6792                 cLOOP->op_lastop = cLOOP->op_lastop->op_next;
6793             peep(cLOOP->op_lastop);
6794             break;
6795
6796         case OP_QR:
6797         case OP_MATCH:
6798         case OP_SUBST:
6799             o->op_seq = PL_op_seqmax++;
6800             while (cPMOP->op_pmreplstart &&
6801                    cPMOP->op_pmreplstart->op_type == OP_NULL)
6802                 cPMOP->op_pmreplstart = cPMOP->op_pmreplstart->op_next;
6803             peep(cPMOP->op_pmreplstart);
6804             break;
6805
6806         case OP_EXEC:
6807             o->op_seq = PL_op_seqmax++;
6808             if (ckWARN(WARN_SYNTAX) && o->op_next
6809                 && o->op_next->op_type == OP_NEXTSTATE) {
6810                 if (o->op_next->op_sibling &&
6811                         o->op_next->op_sibling->op_type != OP_EXIT &&
6812                         o->op_next->op_sibling->op_type != OP_WARN &&
6813                         o->op_next->op_sibling->op_type != OP_DIE) {
6814                     line_t oldline = CopLINE(PL_curcop);
6815
6816                     CopLINE_set(PL_curcop, CopLINE((COP*)o->op_next));
6817                     Perl_warner(aTHX_ WARN_EXEC,
6818                                 "Statement unlikely to be reached");
6819                     Perl_warner(aTHX_ WARN_EXEC,
6820                                 "\t(Maybe you meant system() when you said exec()?)\n");
6821                     CopLINE_set(PL_curcop, oldline);
6822                 }
6823             }
6824             break;
6825
6826         case OP_HELEM: {
6827             UNOP *rop;
6828             SV *lexname;
6829             GV **fields;
6830             SV **svp, **indsvp, *sv;
6831             I32 ind;
6832             char *key = NULL;
6833             STRLEN keylen;
6834
6835             o->op_seq = PL_op_seqmax++;
6836
6837             if (((BINOP*)o)->op_last->op_type != OP_CONST)
6838                 break;
6839
6840             /* Make the CONST have a shared SV */
6841             svp = cSVOPx_svp(((BINOP*)o)->op_last);
6842             if ((!SvFAKE(sv = *svp) || !SvREADONLY(sv)) && !IS_PADCONST(sv)) {
6843                 key = SvPV(sv, keylen);
6844                 if (SvUTF8(sv))
6845                   keylen = -keylen;
6846                 lexname = newSVpvn_share(key, keylen, 0);
6847                 SvREFCNT_dec(sv);
6848                 *svp = lexname;
6849             }
6850
6851             if ((o->op_private & (OPpLVAL_INTRO)))
6852                 break;
6853
6854             rop = (UNOP*)((BINOP*)o)->op_first;
6855             if (rop->op_type != OP_RV2HV || rop->op_first->op_type != OP_PADSV)
6856                 break;
6857             lexname = *av_fetch(PL_comppad_name, rop->op_first->op_targ, TRUE);
6858             if (!SvOBJECT(lexname))
6859                 break;
6860             fields = (GV**)hv_fetch(SvSTASH(lexname), "FIELDS", 6, FALSE);
6861             if (!fields || !GvHV(*fields))
6862                 break;
6863             key = SvPV(*svp, keylen);
6864             if (SvUTF8(*svp))
6865                 keylen = -keylen;
6866             indsvp = hv_fetch(GvHV(*fields), key, keylen, FALSE);
6867             if (!indsvp) {
6868                 Perl_croak(aTHX_ "No such pseudo-hash field \"%s\" in variable %s of type %s",
6869                       key, SvPV(lexname, n_a), HvNAME(SvSTASH(lexname)));
6870             }
6871             ind = SvIV(*indsvp);
6872             if (ind < 1)
6873                 Perl_croak(aTHX_ "Bad index while coercing array into hash");
6874             rop->op_type = OP_RV2AV;
6875             rop->op_ppaddr = PL_ppaddr[OP_RV2AV];
6876             o->op_type = OP_AELEM;
6877             o->op_ppaddr = PL_ppaddr[OP_AELEM];
6878             sv = newSViv(ind);
6879             if (SvREADONLY(*svp))
6880                 SvREADONLY_on(sv);
6881             SvFLAGS(sv) |= (SvFLAGS(*svp)
6882                             & (SVs_PADBUSY|SVs_PADTMP|SVs_PADMY));
6883             SvREFCNT_dec(*svp);
6884             *svp = sv;
6885             break;
6886         }
6887
6888         case OP_HSLICE: {
6889             UNOP *rop;
6890             SV *lexname;
6891             GV **fields;
6892             SV **svp, **indsvp, *sv;
6893             I32 ind;
6894             char *key;
6895             STRLEN keylen;
6896             SVOP *first_key_op, *key_op;
6897
6898             o->op_seq = PL_op_seqmax++;
6899             if ((o->op_private & (OPpLVAL_INTRO))
6900                 /* I bet there's always a pushmark... */
6901                 || ((LISTOP*)o)->op_first->op_sibling->op_type != OP_LIST)
6902                 /* hmmm, no optimization if list contains only one key. */
6903                 break;
6904             rop = (UNOP*)((LISTOP*)o)->op_last;
6905             if (rop->op_type != OP_RV2HV || rop->op_first->op_type != OP_PADSV)
6906                 break;
6907             lexname = *av_fetch(PL_comppad_name, rop->op_first->op_targ, TRUE);
6908             if (!SvOBJECT(lexname))
6909                 break;
6910             fields = (GV**)hv_fetch(SvSTASH(lexname), "FIELDS", 6, FALSE);
6911             if (!fields || !GvHV(*fields))
6912                 break;
6913             /* Again guessing that the pushmark can be jumped over.... */
6914             first_key_op = (SVOP*)((LISTOP*)((LISTOP*)o)->op_first->op_sibling)
6915                 ->op_first->op_sibling;
6916             /* Check that the key list contains only constants. */
6917             for (key_op = first_key_op; key_op;
6918                  key_op = (SVOP*)key_op->op_sibling)
6919                 if (key_op->op_type != OP_CONST)
6920                     break;
6921             if (key_op)
6922                 break;
6923             rop->op_type = OP_RV2AV;
6924             rop->op_ppaddr = PL_ppaddr[OP_RV2AV];
6925             o->op_type = OP_ASLICE;
6926             o->op_ppaddr = PL_ppaddr[OP_ASLICE];
6927             for (key_op = first_key_op; key_op;
6928                  key_op = (SVOP*)key_op->op_sibling) {
6929                 svp = cSVOPx_svp(key_op);
6930                 key = SvPV(*svp, keylen);
6931                 if (SvUTF8(*svp))
6932                     keylen = -keylen;
6933                 indsvp = hv_fetch(GvHV(*fields), key, keylen, FALSE);
6934                 if (!indsvp) {
6935                     Perl_croak(aTHX_ "No such pseudo-hash field \"%s\" "
6936                                "in variable %s of type %s",
6937                           key, SvPV(lexname, n_a), HvNAME(SvSTASH(lexname)));
6938                 }
6939                 ind = SvIV(*indsvp);
6940                 if (ind < 1)
6941                     Perl_croak(aTHX_ "Bad index while coercing array into hash");
6942                 sv = newSViv(ind);
6943                 if (SvREADONLY(*svp))
6944                     SvREADONLY_on(sv);
6945                 SvFLAGS(sv) |= (SvFLAGS(*svp)
6946                                 & (SVs_PADBUSY|SVs_PADTMP|SVs_PADMY));
6947                 SvREFCNT_dec(*svp);
6948                 *svp = sv;
6949             }
6950             break;
6951         }
6952
6953         default:
6954             o->op_seq = PL_op_seqmax++;
6955             break;
6956         }
6957         oldop = o;
6958     }
6959     LEAVE;
6960 }
6961
6962 #include "XSUB.h"
6963
6964 /* Efficient sub that returns a constant scalar value. */
6965 static void
6966 const_sv_xsub(pTHXo_ CV* cv)
6967 {
6968     dXSARGS;
6969     if (items != 0) {
6970 #if 0
6971         Perl_croak(aTHX_ "usage: %s::%s()",
6972                    HvNAME(GvSTASH(CvGV(cv))), GvNAME(CvGV(cv)));
6973 #endif
6974     }
6975     EXTEND(sp, 1);
6976     ST(0) = (SV*)XSANY.any_ptr;
6977     XSRETURN(1);
6978 }