pp.c

   1 /*    pp.c
   2  *
   3  *    Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
   4  *    2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 by Larry Wall and others
   5  *
   6  *    You may distribute under the terms of either the GNU General Public
   7  *    License or the Artistic License, as specified in the README file.
   8  *
   9  */
  10
  11 /*
  12  * 'It's a big house this, and very peculiar.  Always a bit more
  13  *  to discover, and no knowing what you'll find round a corner.
  14  *  And Elves, sir!'                            --Samwise Gamgee
  15  *
  16  *     [p.225 of _The Lord of the Rings_, II/i: "Many Meetings"]
  17  */
  18
  19 /* This file contains general pp ("push/pop") functions that execute the
  20  * opcodes that make up a perl program. A typical pp function expects to
  21  * find its arguments on the stack, and usually pushes its results onto
  22  * the stack, hence the 'pp' terminology. Each OP structure contains
  23  * a pointer to the relevant pp_foo() function.
  24  */
  25
  26 #include "EXTERN.h"
  27 #define PERL_IN_PP_C
  28 #include "perl.h"
  29 #include "keywords.h"
  30
  31 #include "reentr.h"
  32
  33 /* XXX I can't imagine anyone who doesn't have this actually _needs_
  34    it, since pid_t is an integral type.
  35    --AD  2/20/1998
  36 */
  37 #ifdef NEED_GETPID_PROTO
  38 extern Pid_t getpid (void);
  39 #endif
  40
  41 /*
  42  * Some BSDs and Cygwin default to POSIX math instead of IEEE.
  43  * This switches them over to IEEE.
  44  */
  45 #if defined(LIBM_LIB_VERSION)
  46     _LIB_VERSION_TYPE _LIB_VERSION = _IEEE_;
  47 #endif
  48
  49 /* variations on pp_null */
  50
  51 PP(pp_stub)
  52 {
  53     dVAR;
  54     dSP;
  55     if (GIMME_V == G_SCALAR)
  56         XPUSHs(&PL_sv_undef);
  57     RETURN;
  58 }
  59
  60 /* Pushy stuff. */
  61
  62 PP(pp_padav)
  63 {
  64     dVAR; dSP; dTARGET;
  65     I32 gimme;
  66     assert(SvTYPE(TARG) == SVt_PVAV);
  67     if (PL_op->op_private & OPpLVAL_INTRO)
  68         if (!(PL_op->op_private & OPpPAD_STATE))
  69             SAVECLEARSV(PAD_SVl(PL_op->op_targ));
  70     EXTEND(SP, 1);
  71     if (PL_op->op_flags & OPf_REF) {
  72         PUSHs(TARG);
  73         RETURN;
  74     } else if (PL_op->op_private & OPpMAYBE_LVSUB) {
  75        const I32 flags = is_lvalue_sub();
  76        if (flags && !(flags & OPpENTERSUB_INARGS)) {
  77         if (GIMME == G_SCALAR)
  78             /* diag_listed_as: Can't return %s to lvalue scalar context */
  79             Perl_croak(aTHX_ "Can't return array to lvalue scalar context");
  80         PUSHs(TARG);
  81         RETURN;
  82        }
  83     }
  84     gimme = GIMME_V;
  85     if (gimme == G_ARRAY) {
  86         const I32 maxarg = AvFILL(MUTABLE_AV(TARG)) + 1;
  87         EXTEND(SP, maxarg);
  88         if (SvMAGICAL(TARG)) {
  89             U32 i;
  90             for (i=0; i < (U32)maxarg; i++) {
  91                 SV * const * const svp = av_fetch(MUTABLE_AV(TARG), i, FALSE);
  92                 SP[i+1] = (svp) ? *svp : &PL_sv_undef;
  93             }
  94         }
  95         else {
  96             Copy(AvARRAY((const AV *)TARG), SP+1, maxarg, SV*);
  97         }
  98         SP += maxarg;
  99     }
 100     else if (gimme == G_SCALAR) {
 101         SV* const sv = sv_newmortal();
 102         const I32 maxarg = AvFILL(MUTABLE_AV(TARG)) + 1;
 103         sv_setiv(sv, maxarg);
 104         PUSHs(sv);
 105     }
 106     RETURN;
 107 }
 108
 109 PP(pp_padhv)
 110 {
 111     dVAR; dSP; dTARGET;
 112     I32 gimme;
 113
 114     assert(SvTYPE(TARG) == SVt_PVHV);
 115     XPUSHs(TARG);
 116     if (PL_op->op_private & OPpLVAL_INTRO)
 117         if (!(PL_op->op_private & OPpPAD_STATE))
 118             SAVECLEARSV(PAD_SVl(PL_op->op_targ));
 119     if (PL_op->op_flags & OPf_REF)
 120         RETURN;
 121     else if (PL_op->op_private & OPpMAYBE_LVSUB) {
 122       const I32 flags = is_lvalue_sub();
 123       if (flags && !(flags & OPpENTERSUB_INARGS)) {
 124         if (GIMME == G_SCALAR)
 125             /* diag_listed_as: Can't return %s to lvalue scalar context */
 126             Perl_croak(aTHX_ "Can't return hash to lvalue scalar context");
 127         RETURN;
 128       }
 129     }
 130     gimme = GIMME_V;
 131     if (gimme == G_ARRAY) {
 132         RETURNOP(Perl_do_kv(aTHX));
 133     }
 134     else if (gimme == G_SCALAR) {
 135         SV* const sv = Perl_hv_scalar(aTHX_ MUTABLE_HV(TARG));
 136         SETs(sv);
 137     }
 138     RETURN;
 139 }
 140
 141 /* Translations. */
 142
 143 static const char S_no_symref_sv[] =
 144     "Can't use string (\"%" SVf32 "\"%s) as %s ref while \"strict refs\" in use";
 145
 146 /* In some cases this function inspects PL_op.  If this function is called
 147    for new op types, more bool parameters may need to be added in place of
 148    the checks.
 149
 150    When noinit is true, the absence of a gv will cause a retval of undef.
 151    This is unrelated to the cv-to-gv assignment case.
 152 */
 153
 154 static SV *
 155 S_rv2gv(pTHX_ SV *sv, const bool vivify_sv, const bool strict,
 156               const bool noinit)
 157 {
 158     dVAR;
 159     if (!isGV(sv) || SvFAKE(sv)) SvGETMAGIC(sv);
 160     if (SvROK(sv)) {
 161         if (SvAMAGIC(sv)) {
 162             sv = amagic_deref_call(sv, to_gv_amg);
 163         }
 164       wasref:
 165         sv = SvRV(sv);
 166         if (SvTYPE(sv) == SVt_PVIO) {
 167             GV * const gv = MUTABLE_GV(sv_newmortal());
 168             gv_init(gv, 0, "__ANONIO__", 10, 0);
 169             GvIOp(gv) = MUTABLE_IO(sv);
 170             SvREFCNT_inc_void_NN(sv);
 171             sv = MUTABLE_SV(gv);
 172         }
 173         else if (!isGV_with_GP(sv))
 174             return (SV *)Perl_die(aTHX_ "Not a GLOB reference");
 175     }
 176     else {
 177         if (!isGV_with_GP(sv)) {
 178             if (!SvOK(sv)) {
 179                 /* If this is a 'my' scalar and flag is set then vivify
 180                  * NI-S 1999/05/07
 181                  */
 182                 if (vivify_sv && sv != &PL_sv_undef) {
 183                     GV *gv;
 184                     if (SvREADONLY(sv))
 185                         Perl_croak_no_modify(aTHX);
 186                     if (cUNOP->op_targ) {
 187                         SV * const namesv = PAD_SV(cUNOP->op_targ);
 188                         gv = MUTABLE_GV(newSV(0));
 189                         gv_init_sv(gv, CopSTASH(PL_curcop), namesv, 0);
 190                     }
 191                     else {
 192                         const char * const name = CopSTASHPV(PL_curcop);
 193                         gv = newGVgen_flags(name,
 194                                         HvNAMEUTF8(CopSTASH(PL_curcop)) ? SVf_UTF8 : 0 );
 195                     }
 196                     prepare_SV_for_RV(sv);
 197                     SvRV_set(sv, MUTABLE_SV(gv));
 198                     SvROK_on(sv);
 199                     SvSETMAGIC(sv);
 200                     goto wasref;
 201                 }
 202                 if (PL_op->op_flags & OPf_REF || strict)
 203                     return (SV *)Perl_die(aTHX_ PL_no_usym, "a symbol");
 204                 if (ckWARN(WARN_UNINITIALIZED))
 205                     report_uninit(sv);
 206                 return &PL_sv_undef;
 207             }
 208             if (noinit)
 209             {
 210                 if (!(sv = MUTABLE_SV(gv_fetchsv_nomg(
 211                            sv, GV_ADDMG, SVt_PVGV
 212                    ))))
 213                     return &PL_sv_undef;
 214             }
 215             else {
 216                 if (strict)
 217                     return
 218                      (SV *)Perl_die(aTHX_
 219                             S_no_symref_sv,
 220                             sv,
 221                             (SvPOKp(sv) && SvCUR(sv)>32 ? "..." : ""),
 222                             "a symbol"
 223                            );
 224                 if ((PL_op->op_private & (OPpLVAL_INTRO|OPpDONT_INIT_GV))
 225                     == OPpDONT_INIT_GV) {
 226                     /* We are the target of a coderef assignment.  Return
 227                        the scalar unchanged, and let pp_sasssign deal with
 228                        things.  */
 229                     return sv;
 230                 }
 231                 sv = MUTABLE_SV(gv_fetchsv_nomg(sv, GV_ADD, SVt_PVGV));
 232             }
 233             /* FAKE globs in the symbol table cause weird bugs (#77810) */
 234             SvFAKE_off(sv);
 235         }
 236     }
 237     if (SvFAKE(sv) && !(PL_op->op_private & OPpALLOW_FAKE)) {
 238         SV *newsv = sv_newmortal();
 239         sv_setsv_flags(newsv, sv, 0);
 240         SvFAKE_off(newsv);
 241         sv = newsv;
 242     }
 243     return sv;
 244 }
 245
 246 PP(pp_rv2gv)
 247 {
 248     dVAR; dSP; dTOPss;
 249
 250     sv = S_rv2gv(aTHX_
 251           sv, PL_op->op_private & OPpDEREF,
 252           PL_op->op_private & HINT_STRICT_REFS,
 253           ((PL_op->op_flags & OPf_SPECIAL) && !(PL_op->op_flags & OPf_MOD))
 254              || PL_op->op_type == OP_READLINE
 255          );
 256     if (PL_op->op_private & OPpLVAL_INTRO)
 257         save_gp(MUTABLE_GV(sv), !(PL_op->op_flags & OPf_SPECIAL));
 258     SETs(sv);
 259     RETURN;
 260 }
 261
 262 /* Helper function for pp_rv2sv and pp_rv2av  */
 263 GV *
 264 Perl_softref2xv(pTHX_ SV *const sv, const char *const what,
 265                 const svtype type, SV ***spp)
 266 {
 267     dVAR;
 268     GV *gv;
 269
 270     PERL_ARGS_ASSERT_SOFTREF2XV;
 271
 272     if (PL_op->op_private & HINT_STRICT_REFS) {
 273         if (SvOK(sv))
 274             Perl_die(aTHX_ S_no_symref_sv, sv,
 275                      (SvPOKp(sv) && SvCUR(sv)>32 ? "..." : ""), what);
 276         else
 277             Perl_die(aTHX_ PL_no_usym, what);
 278     }
 279     if (!SvOK(sv)) {
 280         if (
 281           PL_op->op_flags & OPf_REF &&
 282           PL_op->op_next->op_type != OP_BOOLKEYS
 283         )
 284             Perl_die(aTHX_ PL_no_usym, what);
 285         if (ckWARN(WARN_UNINITIALIZED))
 286             report_uninit(sv);
 287         if (type != SVt_PV && GIMME_V == G_ARRAY) {
 288             (*spp)--;
 289             return NULL;
 290         }
 291         **spp = &PL_sv_undef;
 292         return NULL;
 293     }
 294     if ((PL_op->op_flags & OPf_SPECIAL) &&
 295         !(PL_op->op_flags & OPf_MOD))
 296         {
 297             if (!(gv = gv_fetchsv_nomg(sv, GV_ADDMG, type)))
 298                 {
 299                     **spp = &PL_sv_undef;
 300                     return NULL;
 301                 }
 302         }
 303     else {
 304         gv = gv_fetchsv_nomg(sv, GV_ADD, type);
 305     }
 306     return gv;
 307 }
 308
 309 PP(pp_rv2sv)
 310 {
 311     dVAR; dSP; dTOPss;
 312     GV *gv = NULL;
 313
 314     SvGETMAGIC(sv);
 315     if (SvROK(sv)) {
 316         if (SvAMAGIC(sv)) {
 317             sv = amagic_deref_call(sv, to_sv_amg);
 318         }
 319
 320         sv = SvRV(sv);
 321         switch (SvTYPE(sv)) {
 322         case SVt_PVAV:
 323         case SVt_PVHV:
 324         case SVt_PVCV:
 325         case SVt_PVFM:
 326         case SVt_PVIO:
 327             DIE(aTHX_ "Not a SCALAR reference");
 328         default: NOOP;
 329         }
 330     }
 331     else {
 332         gv = MUTABLE_GV(sv);
 333
 334         if (!isGV_with_GP(gv)) {
 335             gv = Perl_softref2xv(aTHX_ sv, "a SCALAR", SVt_PV, &sp);
 336             if (!gv)
 337                 RETURN;
 338         }
 339         sv = GvSVn(gv);
 340     }
 341     if (PL_op->op_flags & OPf_MOD) {
 342         if (PL_op->op_private & OPpLVAL_INTRO) {
 343             if (cUNOP->op_first->op_type == OP_NULL)
 344                 sv = save_scalar(MUTABLE_GV(TOPs));
 345             else if (gv)
 346                 sv = save_scalar(gv);
 347             else
 348                 Perl_croak(aTHX_ "%s", PL_no_localize_ref);
 349         }
 350         else if (PL_op->op_private & OPpDEREF)
 351             sv = vivify_ref(sv, PL_op->op_private & OPpDEREF);
 352     }
 353     SETs(sv);
 354     RETURN;
 355 }
 356
 357 PP(pp_av2arylen)
 358 {
 359     dVAR; dSP;
 360     AV * const av = MUTABLE_AV(TOPs);
 361     const I32 lvalue = PL_op->op_flags & OPf_MOD || LVRET;
 362     if (lvalue) {
 363         SV ** const sv = Perl_av_arylen_p(aTHX_ MUTABLE_AV(av));
 364         if (!*sv) {
 365             *sv = newSV_type(SVt_PVMG);
 366             sv_magic(*sv, MUTABLE_SV(av), PERL_MAGIC_arylen, NULL, 0);
 367         }
 368         SETs(*sv);
 369     } else {
 370         SETs(sv_2mortal(newSViv(AvFILL(MUTABLE_AV(av)))));
 371     }
 372     RETURN;
 373 }
 374
 375 PP(pp_pos)
 376 {
 377     dVAR; dSP; dPOPss;
 378
 379     if (PL_op->op_flags & OPf_MOD || LVRET) {
 380         SV * const ret = sv_2mortal(newSV_type(SVt_PVLV));  /* Not TARG RT#67838 */
 381         sv_magic(ret, NULL, PERL_MAGIC_pos, NULL, 0);
 382         LvTYPE(ret) = '.';
 383         LvTARG(ret) = SvREFCNT_inc_simple(sv);
 384         PUSHs(ret);    /* no SvSETMAGIC */
 385         RETURN;
 386     }
 387     else {
 388         if (SvTYPE(sv) >= SVt_PVMG && SvMAGIC(sv)) {
 389             const MAGIC * const mg = mg_find(sv, PERL_MAGIC_regex_global);
 390             if (mg && mg->mg_len >= 0) {
 391                 dTARGET;
 392                 I32 i = mg->mg_len;
 393                 if (DO_UTF8(sv))
 394                     sv_pos_b2u(sv, &i);
 395                 PUSHi(i);
 396                 RETURN;
 397             }
 398         }
 399         RETPUSHUNDEF;
 400     }
 401 }
 402
 403 PP(pp_rv2cv)
 404 {
 405     dVAR; dSP;
 406     GV *gv;
 407     HV *stash_unused;
 408     const I32 flags = (PL_op->op_flags & OPf_SPECIAL)
 409         ? GV_ADDMG
 410         : ((PL_op->op_private & (OPpLVAL_INTRO|OPpMAY_RETURN_CONSTANT)) == OPpMAY_RETURN_CONSTANT)
 411             ? GV_ADD|GV_NOEXPAND
 412             : GV_ADD;
 413     /* We usually try to add a non-existent subroutine in case of AUTOLOAD. */
 414     /* (But not in defined().) */
 415
 416     CV *cv = sv_2cv(TOPs, &stash_unused, &gv, flags);
 417     if (cv) NOOP;
 418     else if ((flags == (GV_ADD|GV_NOEXPAND)) && gv && SvROK(gv)) {
 419         cv = MUTABLE_CV(gv);
 420     }
 421     else
 422         cv = MUTABLE_CV(&PL_sv_undef);
 423     SETs(MUTABLE_SV(cv));
 424     RETURN;
 425 }
 426
 427 PP(pp_prototype)
 428 {
 429     dVAR; dSP;
 430     CV *cv;
 431     HV *stash;
 432     GV *gv;
 433     SV *ret = &PL_sv_undef;
 434
 435     if (SvGMAGICAL(TOPs)) SETs(sv_mortalcopy(TOPs));
 436     if (SvPOK(TOPs) && SvCUR(TOPs) >= 7) {
 437         const char * s = SvPVX_const(TOPs);
 438         if (strnEQ(s, "CORE::", 6)) {
 439             const int code = keyword(s + 6, SvCUR(TOPs) - 6, 1);
 440             if (!code || code == -KEY_CORE)
 441                 DIE(aTHX_ "Can't find an opnumber for \"%"SVf"\"",
 442                     SVfARG(newSVpvn_flags(
 443                         s+6, SvCUR(TOPs)-6, SvFLAGS(TOPs) & SVf_UTF8
 444                     )));
 445             {
 446                 SV * const sv = core_prototype(NULL, s + 6, code, NULL);
 447                 if (sv) ret = sv;
 448             }
 449             goto set;
 450         }
 451     }
 452     cv = sv_2cv(TOPs, &stash, &gv, 0);
 453     if (cv && SvPOK(cv))
 454         ret = newSVpvn_flags(
 455             CvPROTO(cv), CvPROTOLEN(cv), SVs_TEMP | SvUTF8(cv)
 456         );
 457   set:
 458     SETs(ret);
 459     RETURN;
 460 }
 461
 462 PP(pp_anoncode)
 463 {
 464     dVAR; dSP;
 465     CV *cv = MUTABLE_CV(PAD_SV(PL_op->op_targ));
 466     if (CvCLONE(cv))
 467         cv = MUTABLE_CV(sv_2mortal(MUTABLE_SV(cv_clone(cv))));
 468     EXTEND(SP,1);
 469     PUSHs(MUTABLE_SV(cv));
 470     RETURN;
 471 }
 472
 473 PP(pp_srefgen)
 474 {
 475     dVAR; dSP;
 476     *SP = refto(*SP);
 477     RETURN;
 478 }
 479
 480 PP(pp_refgen)
 481 {
 482     dVAR; dSP; dMARK;
 483     if (GIMME != G_ARRAY) {
 484         if (++MARK <= SP)
 485             *MARK = *SP;
 486         else
 487             *MARK = &PL_sv_undef;
 488         *MARK = refto(*MARK);
 489         SP = MARK;
 490         RETURN;
 491     }
 492     EXTEND_MORTAL(SP - MARK);
 493     while (++MARK <= SP)
 494         *MARK = refto(*MARK);
 495     RETURN;
 496 }
 497
 498 STATIC SV*
 499 S_refto(pTHX_ SV *sv)
 500 {
 501     dVAR;
 502     SV* rv;
 503
 504     PERL_ARGS_ASSERT_REFTO;
 505
 506     if (SvTYPE(sv) == SVt_PVLV && LvTYPE(sv) == 'y') {
 507         if (LvTARGLEN(sv))
 508             vivify_defelem(sv);
 509         if (!(sv = LvTARG(sv)))
 510             sv = &PL_sv_undef;
 511         else
 512             SvREFCNT_inc_void_NN(sv);
 513     }
 514     else if (SvTYPE(sv) == SVt_PVAV) {
 515         if (!AvREAL((const AV *)sv) && AvREIFY((const AV *)sv))
 516             av_reify(MUTABLE_AV(sv));
 517         SvTEMP_off(sv);
 518         SvREFCNT_inc_void_NN(sv);
 519     }
 520     else if (SvPADTMP(sv) && !IS_PADGV(sv))
 521         sv = newSVsv(sv);
 522     else {
 523         SvTEMP_off(sv);
 524         SvREFCNT_inc_void_NN(sv);
 525     }
 526     rv = sv_newmortal();
 527     sv_upgrade(rv, SVt_IV);
 528     SvRV_set(rv, sv);
 529     SvROK_on(rv);
 530     return rv;
 531 }
 532
 533 PP(pp_ref)
 534 {
 535     dVAR; dSP; dTARGET;
 536     SV * const sv = POPs;
 537
 538     if (sv)
 539         SvGETMAGIC(sv);
 540
 541     if (!sv || !SvROK(sv))
 542         RETPUSHNO;
 543
 544     (void)sv_ref(TARG,SvRV(sv),TRUE);
 545     PUSHTARG;
 546     RETURN;
 547 }
 548
 549 PP(pp_bless)
 550 {
 551     dVAR; dSP;
 552     HV *stash;
 553
 554     if (MAXARG == 1)
 555       curstash:
 556         stash = CopSTASH(PL_curcop);
 557     else {
 558         SV * const ssv = POPs;
 559         STRLEN len;
 560         const char *ptr;
 561
 562         if (!ssv) goto curstash;
 563         if (!SvGMAGICAL(ssv) && !SvAMAGIC(ssv) && SvROK(ssv))
 564             Perl_croak(aTHX_ "Attempt to bless into a reference");
 565         ptr = SvPV_const(ssv,len);
 566         if (len == 0)
 567             Perl_ck_warner(aTHX_ packWARN(WARN_MISC),
 568                            "Explicit blessing to '' (assuming package main)");
 569         stash = gv_stashpvn(ptr, len, GV_ADD|SvUTF8(ssv));
 570     }
 571
 572     (void)sv_bless(TOPs, stash);
 573     RETURN;
 574 }
 575
 576 PP(pp_gelem)
 577 {
 578     dVAR; dSP;
 579
 580     SV *sv = POPs;
 581     STRLEN len;
 582     const char * const elem = SvPV_const(sv, len);
 583     GV * const gv = MUTABLE_GV(POPs);
 584     SV * tmpRef = NULL;
 585
 586     sv = NULL;
 587     if (elem) {
 588         /* elem will always be NUL terminated.  */
 589         const char * const second_letter = elem + 1;
 590         switch (*elem) {
 591         case 'A':
 592             if (len == 5 && strEQ(second_letter, "RRAY"))
 593                 tmpRef = MUTABLE_SV(GvAV(gv));
 594             break;
 595         case 'C':
 596             if (len == 4 && strEQ(second_letter, "ODE"))
 597                 tmpRef = MUTABLE_SV(GvCVu(gv));
 598             break;
 599         case 'F':
 600             if (len == 10 && strEQ(second_letter, "ILEHANDLE")) {
 601                 /* finally deprecated in 5.8.0 */
 602                 deprecate("*glob{FILEHANDLE}");
 603                 tmpRef = MUTABLE_SV(GvIOp(gv));
 604             }
 605             else
 606                 if (len == 6 && strEQ(second_letter, "ORMAT"))
 607                     tmpRef = MUTABLE_SV(GvFORM(gv));
 608             break;
 609         case 'G':
 610             if (len == 4 && strEQ(second_letter, "LOB"))
 611                 tmpRef = MUTABLE_SV(gv);
 612             break;
 613         case 'H':
 614             if (len == 4 && strEQ(second_letter, "ASH"))
 615                 tmpRef = MUTABLE_SV(GvHV(gv));
 616             break;
 617         case 'I':
 618             if (*second_letter == 'O' && !elem[2] && len == 2)
 619                 tmpRef = MUTABLE_SV(GvIOp(gv));
 620             break;
 621         case 'N':
 622             if (len == 4 && strEQ(second_letter, "AME"))
 623                 sv = newSVhek(GvNAME_HEK(gv));
 624             break;
 625         case 'P':
 626             if (len == 7 && strEQ(second_letter, "ACKAGE")) {
 627                 const HV * const stash = GvSTASH(gv);
 628                 const HEK * const hek = stash ? HvNAME_HEK(stash) : NULL;
 629                 sv = hek ? newSVhek(hek) : newSVpvs("__ANON__");
 630             }
 631             break;
 632         case 'S':
 633             if (len == 6 && strEQ(second_letter, "CALAR"))
 634                 tmpRef = GvSVn(gv);
 635             break;
 636         }
 637     }
 638     if (tmpRef)
 639         sv = newRV(tmpRef);
 640     if (sv)
 641         sv_2mortal(sv);
 642     else
 643         sv = &PL_sv_undef;
 644     XPUSHs(sv);
 645     RETURN;
 646 }
 647
 648 /* Pattern matching */
 649
 650 PP(pp_study)
 651 {
 652     dVAR; dSP; dPOPss;
 653     register unsigned char *s;
 654     STRLEN len;
 655
 656     s = (unsigned char*)(SvPV(sv, len));
 657     if (len == 0 || len > I32_MAX || !SvPOK(sv) || SvUTF8(sv) || SvVALID(sv)) {
 658         /* Historically, study was skipped in these cases. */
 659         RETPUSHNO;
 660     }
 661
 662     /* Make study a no-op. It's no longer useful and its existence
 663        complicates matters elsewhere. */
 664     RETPUSHYES;
 665 }
 666
 667 PP(pp_trans)
 668 {
 669     dVAR; dSP; dTARG;
 670     SV *sv;
 671
 672     if (PL_op->op_flags & OPf_STACKED)
 673         sv = POPs;
 674     else if (PL_op->op_private & OPpTARGET_MY)
 675         sv = GETTARGET;
 676     else {
 677         sv = DEFSV;
 678         EXTEND(SP,1);
 679     }
 680     TARG = sv_newmortal();
 681     if(PL_op->op_type == OP_TRANSR) {
 682         STRLEN len;
 683         const char * const pv = SvPV(sv,len);
 684         SV * const newsv = newSVpvn_flags(pv, len, SVs_TEMP|SvUTF8(sv));
 685         do_trans(newsv);
 686         PUSHs(newsv);
 687     }
 688     else PUSHi(do_trans(sv));
 689     RETURN;
 690 }
 691
 692 /* Lvalue operators. */
 693
 694 static void
 695 S_do_chomp(pTHX_ SV *retval, SV *sv, bool chomping)
 696 {
 697     dVAR;
 698     STRLEN len;
 699     char *s;
 700
 701     PERL_ARGS_ASSERT_DO_CHOMP;
 702
 703     if (chomping && (RsSNARF(PL_rs) || RsRECORD(PL_rs)))
 704         return;
 705     if (SvTYPE(sv) == SVt_PVAV) {
 706         I32 i;
 707         AV *const av = MUTABLE_AV(sv);
 708         const I32 max = AvFILL(av);
 709
 710         for (i = 0; i <= max; i++) {
 711             sv = MUTABLE_SV(av_fetch(av, i, FALSE));
 712             if (sv && ((sv = *(SV**)sv), sv != &PL_sv_undef))
 713                 do_chomp(retval, sv, chomping);
 714         }
 715         return;
 716     }
 717     else if (SvTYPE(sv) == SVt_PVHV) {
 718         HV* const hv = MUTABLE_HV(sv);
 719         HE* entry;
 720         (void)hv_iterinit(hv);
 721         while ((entry = hv_iternext(hv)))
 722             do_chomp(retval, hv_iterval(hv,entry), chomping);
 723         return;
 724     }
 725     else if (SvREADONLY(sv)) {
 726         if (SvFAKE(sv)) {
 727             /* SV is copy-on-write */
 728             sv_force_normal_flags(sv, 0);
 729         }
 730         else
 731             Perl_croak_no_modify(aTHX);
 732     }
 733
 734     if (PL_encoding) {
 735         if (!SvUTF8(sv)) {
 736             /* XXX, here sv is utf8-ized as a side-effect!
 737                If encoding.pm is used properly, almost string-generating
 738                operations, including literal strings, chr(), input data, etc.
 739                should have been utf8-ized already, right?
 740             */
 741             sv_recode_to_utf8(sv, PL_encoding);
 742         }
 743     }
 744
 745     s = SvPV(sv, len);
 746     if (chomping) {
 747         char *temp_buffer = NULL;
 748         SV *svrecode = NULL;
 749
 750         if (s && len) {
 751             s += --len;
 752             if (RsPARA(PL_rs)) {
 753                 if (*s != '\n')
 754                     goto nope;
 755                 ++SvIVX(retval);
 756                 while (len && s[-1] == '\n') {
 757                     --len;
 758                     --s;
 759                     ++SvIVX(retval);
 760                 }
 761             }
 762             else {
 763                 STRLEN rslen, rs_charlen;
 764                 const char *rsptr = SvPV_const(PL_rs, rslen);
 765
 766                 rs_charlen = SvUTF8(PL_rs)
 767                     ? sv_len_utf8(PL_rs)
 768                     : rslen;
 769
 770                 if (SvUTF8(PL_rs) != SvUTF8(sv)) {
 771                     /* Assumption is that rs is shorter than the scalar.  */
 772                     if (SvUTF8(PL_rs)) {
 773                         /* RS is utf8, scalar is 8 bit.  */
 774                         bool is_utf8 = TRUE;
 775                         temp_buffer = (char*)bytes_from_utf8((U8*)rsptr,
 776                                                              &rslen, &is_utf8);
 777                         if (is_utf8) {
 778                             /* Cannot downgrade, therefore cannot possibly match
 779                              */
 780                             assert (temp_buffer == rsptr);
 781                             temp_buffer = NULL;
 782                             goto nope;
 783                         }
 784                         rsptr = temp_buffer;
 785                     }
 786                     else if (PL_encoding) {
 787                         /* RS is 8 bit, encoding.pm is used.
 788                          * Do not recode PL_rs as a side-effect. */
 789                         svrecode = newSVpvn(rsptr, rslen);
 790                         sv_recode_to_utf8(svrecode, PL_encoding);
 791                         rsptr = SvPV_const(svrecode, rslen);
 792                         rs_charlen = sv_len_utf8(svrecode);
 793                     }
 794                     else {
 795                         /* RS is 8 bit, scalar is utf8.  */
 796                         temp_buffer = (char*)bytes_to_utf8((U8*)rsptr, &rslen);
 797                         rsptr = temp_buffer;
 798                     }
 799                 }
 800                 if (rslen == 1) {
 801                     if (*s != *rsptr)
 802                         goto nope;
 803                     ++SvIVX(retval);
 804                 }
 805                 else {
 806                     if (len < rslen - 1)
 807                         goto nope;
 808                     len -= rslen - 1;
 809                     s -= rslen - 1;
 810                     if (memNE(s, rsptr, rslen))
 811                         goto nope;
 812                     SvIVX(retval) += rs_charlen;
 813                 }
 814             }
 815             s = SvPV_force_nomg_nolen(sv);
 816             SvCUR_set(sv, len);
 817             *SvEND(sv) = '\0';
 818             SvNIOK_off(sv);
 819             SvSETMAGIC(sv);
 820         }
 821     nope:
 822
 823         SvREFCNT_dec(svrecode);
 824
 825         Safefree(temp_buffer);
 826     } else {
 827         if (len && !SvPOK(sv))
 828             s = SvPV_force_nomg(sv, len);
 829         if (DO_UTF8(sv)) {
 830             if (s && len) {
 831                 char * const send = s + len;
 832                 char * const start = s;
 833                 s = send - 1;
 834                 while (s > start && UTF8_IS_CONTINUATION(*s))
 835                     s--;
 836                 if (is_utf8_string((U8*)s, send - s)) {
 837                     sv_setpvn(retval, s, send - s);
 838                     *s = '\0';
 839                     SvCUR_set(sv, s - start);
 840                     SvNIOK_off(sv);
 841                     SvUTF8_on(retval);
 842                 }
 843             }
 844             else
 845                 sv_setpvs(retval, "");
 846         }
 847         else if (s && len) {
 848             s += --len;
 849             sv_setpvn(retval, s, 1);
 850             *s = '\0';
 851             SvCUR_set(sv, len);
 852             SvUTF8_off(sv);
 853             SvNIOK_off(sv);
 854         }
 855         else
 856             sv_setpvs(retval, "");
 857         SvSETMAGIC(sv);
 858     }
 859 }
 860
 861 PP(pp_schop)
 862 {
 863     dVAR; dSP; dTARGET;
 864     const bool chomping = PL_op->op_type == OP_SCHOMP;
 865
 866     if (chomping)
 867         sv_setiv(TARG, 0);
 868     do_chomp(TARG, TOPs, chomping);
 869     SETTARG;
 870     RETURN;
 871 }
 872
 873 PP(pp_chop)
 874 {
 875     dVAR; dSP; dMARK; dTARGET; dORIGMARK;
 876     const bool chomping = PL_op->op_type == OP_CHOMP;
 877
 878     if (chomping)
 879         sv_setiv(TARG, 0);
 880     while (MARK < SP)
 881         do_chomp(TARG, *++MARK, chomping);
 882     SP = ORIGMARK;
 883     XPUSHTARG;
 884     RETURN;
 885 }
 886
 887 PP(pp_undef)
 888 {
 889     dVAR; dSP;
 890     SV *sv;
 891
 892     if (!PL_op->op_private) {
 893         EXTEND(SP, 1);
 894         RETPUSHUNDEF;
 895     }
 896
 897     sv = POPs;
 898     if (!sv)
 899         RETPUSHUNDEF;
 900
 901     SV_CHECK_THINKFIRST_COW_DROP(sv);
 902
 903     switch (SvTYPE(sv)) {
 904     case SVt_NULL:
 905         break;
 906     case SVt_PVAV:
 907         av_undef(MUTABLE_AV(sv));
 908         break;
 909     case SVt_PVHV:
 910         hv_undef(MUTABLE_HV(sv));
 911         break;
 912     case SVt_PVCV:
 913         if (cv_const_sv((const CV *)sv))
 914             Perl_ck_warner(aTHX_ packWARN(WARN_MISC),
 915                           "Constant subroutine %"SVf" undefined",
 916                            SVfARG(CvANON((const CV *)sv)
 917                              ? newSVpvs_flags("(anonymous)", SVs_TEMP)
 918                              : sv_2mortal(newSVhek(GvENAME_HEK(CvGV((const CV *)sv))))));
 919         /* FALLTHROUGH */
 920     case SVt_PVFM:
 921         {
 922             /* let user-undef'd sub keep its identity */
 923             GV* const gv = CvGV((const CV *)sv);
 924             cv_undef(MUTABLE_CV(sv));
 925             CvGV_set(MUTABLE_CV(sv), gv);
 926         }
 927         break;
 928     case SVt_PVGV:
 929         if (SvFAKE(sv)) {
 930             SvSetMagicSV(sv, &PL_sv_undef);
 931             break;
 932         }
 933         else if (isGV_with_GP(sv)) {
 934             GP *gp;
 935             HV *stash;
 936
 937             /* undef *Pkg::meth_name ... */
 938             bool method_changed
 939              =   GvCVu((const GV *)sv) && (stash = GvSTASH((const GV *)sv))
 940               && HvENAME_get(stash);
 941             /* undef *Foo:: */
 942             if((stash = GvHV((const GV *)sv))) {
 943                 if(HvENAME_get(stash))
 944                     SvREFCNT_inc_simple_void_NN(sv_2mortal((SV *)stash));
 945                 else stash = NULL;
 946             }
 947
 948             gp_free(MUTABLE_GV(sv));
 949             Newxz(gp, 1, GP);
 950             GvGP_set(sv, gp_ref(gp));
 951             GvSV(sv) = newSV(0);
 952             GvLINE(sv) = CopLINE(PL_curcop);
 953             GvEGV(sv) = MUTABLE_GV(sv);
 954             GvMULTI_on(sv);
 955
 956             if(stash)
 957                 mro_package_moved(NULL, stash, (const GV *)sv, 0);
 958             stash = NULL;
 959             /* undef *Foo::ISA */
 960             if( strEQ(GvNAME((const GV *)sv), "ISA")
 961              && (stash = GvSTASH((const GV *)sv))
 962              && (method_changed || HvENAME(stash)) )
 963                 mro_isa_changed_in(stash);
 964             else if(method_changed)
 965                 mro_method_changed_in(
 966                  GvSTASH((const GV *)sv)
 967                 );
 968
 969             break;
 970         }
 971         /* FALL THROUGH */
 972     default:
 973         if (SvTYPE(sv) >= SVt_PV && SvPVX_const(sv) && SvLEN(sv)) {
 974             SvPV_free(sv);
 975             SvPV_set(sv, NULL);
 976             SvLEN_set(sv, 0);
 977         }
 978         SvOK_off(sv);
 979         SvSETMAGIC(sv);
 980     }
 981
 982     RETPUSHUNDEF;
 983 }
 984
 985 PP(pp_postinc)
 986 {
 987     dVAR; dSP; dTARGET;
 988     const bool inc =
 989         PL_op->op_type == OP_POSTINC || PL_op->op_type == OP_I_POSTINC;
 990     if (SvTYPE(TOPs) >= SVt_PVAV || (isGV_with_GP(TOPs) && !SvFAKE(TOPs)))
 991         Perl_croak_no_modify(aTHX);
 992     if (SvROK(TOPs))
 993         TARG = sv_newmortal();
 994     sv_setsv(TARG, TOPs);
 995     if (!SvREADONLY(TOPs) && SvIOK_notUV(TOPs) && !SvNOK(TOPs) && !SvPOK(TOPs)
 996         && SvIVX(TOPs) != (inc ? IV_MAX : IV_MIN))
 997     {
 998         SvIV_set(TOPs, SvIVX(TOPs) + (inc ? 1 : -1));
 999         SvFLAGS(TOPs) &= ~(SVp_NOK|SVp_POK);
1000     }
1001     else if (inc)
1002         sv_inc_nomg(TOPs);
1003     else sv_dec_nomg(TOPs);
1004     SvSETMAGIC(TOPs);
1005     /* special case for undef: see thread at 2003-03/msg00536.html in archive */
1006     if (inc && !SvOK(TARG))
1007         sv_setiv(TARG, 0);
1008     SETs(TARG);
1009     return NORMAL;
1010 }
1011
1012 /* Ordinary operators. */
1013
1014 PP(pp_pow)
1015 {
1016     dVAR; dSP; dATARGET; SV *svl, *svr;
1017 #ifdef PERL_PRESERVE_IVUV
1018     bool is_int = 0;
1019 #endif
1020     tryAMAGICbin_MG(pow_amg, AMGf_assign|AMGf_numeric);
1021     svr = TOPs;
1022     svl = TOPm1s;
1023 #ifdef PERL_PRESERVE_IVUV
1024     /* For integer to integer power, we do the calculation by hand wherever
1025        we're sure it is safe; otherwise we call pow() and try to convert to
1026        integer afterwards. */
1027     if (SvIV_please_nomg(svr) && SvIV_please_nomg(svl)) {
1028                 UV power;
1029                 bool baseuok;
1030                 UV baseuv;
1031
1032                 if (SvUOK(svr)) {
1033                     power = SvUVX(svr);
1034                 } else {
1035                     const IV iv = SvIVX(svr);
1036                     if (iv >= 0) {
1037                         power = iv;
1038                     } else {
1039                         goto float_it; /* Can't do negative powers this way.  */
1040                     }
1041                 }
1042
1043                 baseuok = SvUOK(svl);
1044                 if (baseuok) {
1045                     baseuv = SvUVX(svl);
1046                 } else {
1047                     const IV iv = SvIVX(svl);
1048                     if (iv >= 0) {
1049                         baseuv = iv;
1050                         baseuok = TRUE; /* effectively it's a UV now */
1051                     } else {
1052                         baseuv = -iv; /* abs, baseuok == false records sign */
1053                     }
1054                 }
1055                 /* now we have integer ** positive integer. */
1056                 is_int = 1;
1057
1058                 /* foo & (foo - 1) is zero only for a power of 2.  */
1059                 if (!(baseuv & (baseuv - 1))) {
1060                     /* We are raising power-of-2 to a positive integer.
1061                        The logic here will work for any base (even non-integer
1062                        bases) but it can be less accurate than
1063                        pow (base,power) or exp (power * log (base)) when the
1064                        intermediate values start to spill out of the mantissa.
1065                        With powers of 2 we know this can't happen.
1066                        And powers of 2 are the favourite thing for perl
1067                        programmers to notice ** not doing what they mean. */
1068                     NV result = 1.0;
1069                     NV base = baseuok ? baseuv : -(NV)baseuv;
1070
1071                     if (power & 1) {
1072                         result *= base;
1073                     }
1074                     while (power >>= 1) {
1075                         base *= base;
1076                         if (power & 1) {
1077                             result *= base;
1078                         }
1079                     }
1080                     SP--;
1081                     SETn( result );
1082                     SvIV_please_nomg(svr);
1083                     RETURN;
1084                 } else {
1085                     register unsigned int highbit = 8 * sizeof(UV);
1086                     register unsigned int diff = 8 * sizeof(UV);
1087                     while (diff >>= 1) {
1088                         highbit -= diff;
1089                         if (baseuv >> highbit) {
1090                             highbit += diff;
1091                         }
1092                     }
1093                     /* we now have baseuv < 2 ** highbit */
1094                     if (power * highbit <= 8 * sizeof(UV)) {
1095                         /* result will definitely fit in UV, so use UV math
1096                            on same algorithm as above */
1097                         register UV result = 1;
1098                         register UV base = baseuv;
1099                         const bool odd_power = cBOOL(power & 1);
1100                         if (odd_power) {
1101                             result *= base;
1102                         }
1103                         while (power >>= 1) {
1104                             base *= base;
1105                             if (power & 1) {
1106                                 result *= base;
1107                             }
1108                         }
1109                         SP--;
1110                         if (baseuok || !odd_power)
1111                             /* answer is positive */
1112                             SETu( result );
1113                         else if (result <= (UV)IV_MAX)
1114                             /* answer negative, fits in IV */
1115                             SETi( -(IV)result );
1116                         else if (result == (UV)IV_MIN)
1117                             /* 2's complement assumption: special case IV_MIN */
1118                             SETi( IV_MIN );
1119                         else
1120                             /* answer negative, doesn't fit */
1121                             SETn( -(NV)result );
1122                         RETURN;
1123                     }
1124                 }
1125     }
1126   float_it:
1127 #endif
1128     {
1129         NV right = SvNV_nomg(svr);
1130         NV left  = SvNV_nomg(svl);
1131         (void)POPs;
1132
1133 #if defined(USE_LONG_DOUBLE) && defined(HAS_AIX_POWL_NEG_BASE_BUG)
1134     /*
1135     We are building perl with long double support and are on an AIX OS
1136     afflicted with a powl() function that wrongly returns NaNQ for any
1137     negative base.  This was reported to IBM as PMR #23047-379 on
1138     03/06/2006.  The problem exists in at least the following versions
1139     of AIX and the libm fileset, and no doubt others as well:
1140
1141         AIX 4.3.3-ML10      bos.adt.libm 4.3.3.50
1142         AIX 5.1.0-ML04      bos.adt.libm 5.1.0.29
1143         AIX 5.2.0           bos.adt.libm 5.2.0.85
1144
1145     So, until IBM fixes powl(), we provide the following workaround to
1146     handle the problem ourselves.  Our logic is as follows: for
1147     negative bases (left), we use fmod(right, 2) to check if the
1148     exponent is an odd or even integer:
1149
1150         - if odd,  powl(left, right) == -powl(-left, right)
1151         - if even, powl(left, right) ==  powl(-left, right)
1152
1153     If the exponent is not an integer, the result is rightly NaNQ, so
1154     we just return that (as NV_NAN).
1155     */
1156
1157         if (left < 0.0) {
1158             NV mod2 = Perl_fmod( right, 2.0 );
1159             if (mod2 == 1.0 || mod2 == -1.0) {  /* odd integer */
1160                 SETn( -Perl_pow( -left, right) );
1161             } else if (mod2 == 0.0) {           /* even integer */
1162                 SETn( Perl_pow( -left, right) );
1163             } else {                            /* fractional power */
1164                 SETn( NV_NAN );
1165             }
1166         } else {
1167             SETn( Perl_pow( left, right) );
1168         }
1169 #else
1170         SETn( Perl_pow( left, right) );
1171 #endif  /* HAS_AIX_POWL_NEG_BASE_BUG */
1172
1173 #ifdef PERL_PRESERVE_IVUV
1174         if (is_int)
1175             SvIV_please_nomg(svr);
1176 #endif
1177         RETURN;
1178     }
1179 }
1180
1181 PP(pp_multiply)
1182 {
1183     dVAR; dSP; dATARGET; SV *svl, *svr;
1184     tryAMAGICbin_MG(mult_amg, AMGf_assign|AMGf_numeric);
1185     svr = TOPs;
1186     svl = TOPm1s;
1187 #ifdef PERL_PRESERVE_IVUV
1188     if (SvIV_please_nomg(svr)) {
1189         /* Unless the left argument is integer in range we are going to have to
1190            use NV maths. Hence only attempt to coerce the right argument if
1191            we know the left is integer.  */
1192         /* Left operand is defined, so is it IV? */
1193         if (SvIV_please_nomg(svl)) {
1194             bool auvok = SvUOK(svl);
1195             bool buvok = SvUOK(svr);
1196             const UV topmask = (~ (UV)0) << (4 * sizeof (UV));
1197             const UV botmask = ~((~ (UV)0) << (4 * sizeof (UV)));
1198             UV alow;
1199             UV ahigh;
1200             UV blow;
1201             UV bhigh;
1202
1203             if (auvok) {
1204                 alow = SvUVX(svl);
1205             } else {
1206                 const IV aiv = SvIVX(svl);
1207                 if (aiv >= 0) {
1208                     alow = aiv;
1209                     auvok = TRUE; /* effectively it's a UV now */
1210                 } else {
1211                     alow = -aiv; /* abs, auvok == false records sign */
1212                 }
1213             }
1214             if (buvok) {
1215                 blow = SvUVX(svr);
1216             } else {
1217                 const IV biv = SvIVX(svr);
1218                 if (biv >= 0) {
1219                     blow = biv;
1220                     buvok = TRUE; /* effectively it's a UV now */
1221                 } else {
1222                     blow = -biv; /* abs, buvok == false records sign */
1223                 }
1224             }
1225
1226             /* If this does sign extension on unsigned it's time for plan B  */
1227             ahigh = alow >> (4 * sizeof (UV));
1228             alow &= botmask;
1229             bhigh = blow >> (4 * sizeof (UV));
1230             blow &= botmask;
1231             if (ahigh && bhigh) {
1232                 NOOP;
1233                 /* eg 32 bit is at least 0x10000 * 0x10000 == 0x100000000
1234                    which is overflow. Drop to NVs below.  */
1235             } else if (!ahigh && !bhigh) {
1236                 /* eg 32 bit is at most 0xFFFF * 0xFFFF == 0xFFFE0001
1237                    so the unsigned multiply cannot overflow.  */
1238                 const UV product = alow * blow;
1239                 if (auvok == buvok) {
1240                     /* -ve * -ve or +ve * +ve gives a +ve result.  */
1241                     SP--;
1242                     SETu( product );
1243                     RETURN;
1244                 } else if (product <= (UV)IV_MIN) {
1245                     /* 2s complement assumption that (UV)-IV_MIN is correct.  */
1246                     /* -ve result, which could overflow an IV  */
1247                     SP--;
1248                     SETi( -(IV)product );
1249                     RETURN;
1250                 } /* else drop to NVs below. */
1251             } else {
1252                 /* One operand is large, 1 small */
1253                 UV product_middle;
1254                 if (bhigh) {
1255                     /* swap the operands */
1256                     ahigh = bhigh;
1257                     bhigh = blow; /* bhigh now the temp var for the swap */
1258                     blow = alow;
1259                     alow = bhigh;
1260                 }
1261                 /* now, ((ahigh * blow) << half_UV_len) + (alow * blow)
1262                    multiplies can't overflow. shift can, add can, -ve can.  */
1263                 product_middle = ahigh * blow;
1264                 if (!(product_middle & topmask)) {
1265                     /* OK, (ahigh * blow) won't lose bits when we shift it.  */
1266                     UV product_low;
1267                     product_middle <<= (4 * sizeof (UV));
1268                     product_low = alow * blow;
1269
1270                     /* as for pp_add, UV + something mustn't get smaller.
1271                        IIRC ANSI mandates this wrapping *behaviour* for
1272                        unsigned whatever the actual representation*/
1273                     product_low += product_middle;
1274                     if (product_low >= product_middle) {
1275                         /* didn't overflow */
1276                         if (auvok == buvok) {
1277                             /* -ve * -ve or +ve * +ve gives a +ve result.  */
1278                             SP--;
1279                             SETu( product_low );
1280                             RETURN;
1281                         } else if (product_low <= (UV)IV_MIN) {
1282                             /* 2s complement assumption again  */
1283                             /* -ve result, which could overflow an IV  */
1284                             SP--;
1285                             SETi( -(IV)product_low );
1286                             RETURN;
1287                         } /* else drop to NVs below. */
1288                     }
1289                 } /* product_middle too large */
1290             } /* ahigh && bhigh */
1291         } /* SvIOK(svl) */
1292     } /* SvIOK(svr) */
1293 #endif
1294     {
1295       NV right = SvNV_nomg(svr);
1296       NV left  = SvNV_nomg(svl);
1297       (void)POPs;
1298       SETn( left * right );
1299       RETURN;
1300     }
1301 }
1302
1303 PP(pp_divide)
1304 {
1305     dVAR; dSP; dATARGET; SV *svl, *svr;
1306     tryAMAGICbin_MG(div_amg, AMGf_assign|AMGf_numeric);
1307     svr = TOPs;
1308     svl = TOPm1s;
1309     /* Only try to do UV divide first
1310        if ((SLOPPYDIVIDE is true) or
1311            (PERL_PRESERVE_IVUV is true and one or both SV is a UV too large
1312             to preserve))
1313        The assumption is that it is better to use floating point divide
1314        whenever possible, only doing integer divide first if we can't be sure.
1315        If NV_PRESERVES_UV is true then we know at compile time that no UV
1316        can be too large to preserve, so don't need to compile the code to
1317        test the size of UVs.  */
1318
1319 #ifdef SLOPPYDIVIDE
1320 #  define PERL_TRY_UV_DIVIDE
1321     /* ensure that 20./5. == 4. */
1322 #else
1323 #  ifdef PERL_PRESERVE_IVUV
1324 #    ifndef NV_PRESERVES_UV
1325 #      define PERL_TRY_UV_DIVIDE
1326 #    endif
1327 #  endif
1328 #endif
1329
1330 #ifdef PERL_TRY_UV_DIVIDE
1331     if (SvIV_please_nomg(svr) && SvIV_please_nomg(svl)) {
1332             bool left_non_neg = SvUOK(svl);
1333             bool right_non_neg = SvUOK(svr);
1334             UV left;
1335             UV right;
1336
1337             if (right_non_neg) {
1338                 right = SvUVX(svr);
1339             }
1340             else {
1341                 const IV biv = SvIVX(svr);
1342                 if (biv >= 0) {
1343                     right = biv;
1344                     right_non_neg = TRUE; /* effectively it's a UV now */
1345                 }
1346                 else {
1347                     right = -biv;
1348                 }
1349             }
1350             /* historically undef()/0 gives a "Use of uninitialized value"
1351                warning before dieing, hence this test goes here.
1352                If it were immediately before the second SvIV_please, then
1353                DIE() would be invoked before left was even inspected, so
1354                no inspection would give no warning.  */
1355             if (right == 0)
1356                 DIE(aTHX_ "Illegal division by zero");
1357
1358             if (left_non_neg) {
1359                 left = SvUVX(svl);
1360             }
1361             else {
1362                 const IV aiv = SvIVX(svl);
1363                 if (aiv >= 0) {
1364                     left = aiv;
1365                     left_non_neg = TRUE; /* effectively it's a UV now */
1366                 }
1367                 else {
1368                     left = -aiv;
1369                 }
1370             }
1371
1372             if (left >= right
1373 #ifdef SLOPPYDIVIDE
1374                 /* For sloppy divide we always attempt integer division.  */
1375 #else
1376                 /* Otherwise we only attempt it if either or both operands
1377                    would not be preserved by an NV.  If both fit in NVs
1378                    we fall through to the NV divide code below.  However,
1379                    as left >= right to ensure integer result here, we know that
1380                    we can skip the test on the right operand - right big
1381                    enough not to be preserved can't get here unless left is
1382                    also too big.  */
1383
1384                 && (left > ((UV)1 << NV_PRESERVES_UV_BITS))
1385 #endif
1386                 ) {
1387                 /* Integer division can't overflow, but it can be imprecise.  */
1388                 const UV result = left / right;
1389                 if (result * right == left) {
1390                     SP--; /* result is valid */
1391                     if (left_non_neg == right_non_neg) {
1392                         /* signs identical, result is positive.  */
1393                         SETu( result );
1394                         RETURN;
1395                     }
1396                     /* 2s complement assumption */
1397                     if (result <= (UV)IV_MIN)
1398                         SETi( -(IV)result );
1399                     else {
1400                         /* It's exact but too negative for IV. */
1401                         SETn( -(NV)result );
1402                     }
1403                     RETURN;
1404                 } /* tried integer divide but it was not an integer result */
1405             } /* else (PERL_ABS(result) < 1.0) or (both UVs in range for NV) */
1406     } /* one operand wasn't SvIOK */
1407 #endif /* PERL_TRY_UV_DIVIDE */
1408     {
1409         NV right = SvNV_nomg(svr);
1410         NV left  = SvNV_nomg(svl);
1411         (void)POPs;(void)POPs;
1412 #if defined(NAN_COMPARE_BROKEN) && defined(Perl_isnan)
1413         if (! Perl_isnan(right) && right == 0.0)
1414 #else
1415         if (right == 0.0)
1416 #endif
1417             DIE(aTHX_ "Illegal division by zero");
1418         PUSHn( left / right );
1419         RETURN;
1420     }
1421 }
1422
1423 PP(pp_modulo)
1424 {
1425     dVAR; dSP; dATARGET;
1426     tryAMAGICbin_MG(modulo_amg, AMGf_assign|AMGf_numeric);
1427     {
1428         UV left  = 0;
1429         UV right = 0;
1430         bool left_neg = FALSE;
1431         bool right_neg = FALSE;
1432         bool use_double = FALSE;
1433         bool dright_valid = FALSE;
1434         NV dright = 0.0;
1435         NV dleft  = 0.0;
1436         SV * const svr = TOPs;
1437         SV * const svl = TOPm1s;
1438         if (SvIV_please_nomg(svr)) {
1439             right_neg = !SvUOK(svr);
1440             if (!right_neg) {
1441                 right = SvUVX(svr);
1442             } else {
1443                 const IV biv = SvIVX(svr);
1444                 if (biv >= 0) {
1445                     right = biv;
1446                     right_neg = FALSE; /* effectively it's a UV now */
1447                 } else {
1448                     right = -biv;
1449                 }
1450             }
1451         }
1452         else {
1453             dright = SvNV_nomg(svr);
1454             right_neg = dright < 0;
1455             if (right_neg)
1456                 dright = -dright;
1457             if (dright < UV_MAX_P1) {
1458                 right = U_V(dright);
1459                 dright_valid = TRUE; /* In case we need to use double below.  */
1460             } else {
1461                 use_double = TRUE;
1462             }
1463         }
1464
1465         /* At this point use_double is only true if right is out of range for
1466            a UV.  In range NV has been rounded down to nearest UV and
1467            use_double false.  */
1468         if (!use_double && SvIV_please_nomg(svl)) {
1469                 left_neg = !SvUOK(svl);
1470                 if (!left_neg) {
1471                     left = SvUVX(svl);
1472                 } else {
1473                     const IV aiv = SvIVX(svl);
1474                     if (aiv >= 0) {
1475                         left = aiv;
1476                         left_neg = FALSE; /* effectively it's a UV now */
1477                     } else {
1478                         left = -aiv;
1479                     }
1480                 }
1481         }
1482         else {
1483             dleft = SvNV_nomg(svl);
1484             left_neg = dleft < 0;
1485             if (left_neg)
1486                 dleft = -dleft;
1487
1488             /* This should be exactly the 5.6 behaviour - if left and right are
1489                both in range for UV then use U_V() rather than floor.  */
1490             if (!use_double) {
1491                 if (dleft < UV_MAX_P1) {
1492                     /* right was in range, so is dleft, so use UVs not double.
1493                      */
1494                     left = U_V(dleft);
1495                 }
1496                 /* left is out of range for UV, right was in range, so promote
1497                    right (back) to double.  */
1498                 else {
1499                     /* The +0.5 is used in 5.6 even though it is not strictly
1500                        consistent with the implicit +0 floor in the U_V()
1501                        inside the #if 1. */
1502                     dleft = Perl_floor(dleft + 0.5);
1503                     use_double = TRUE;
1504                     if (dright_valid)
1505                         dright = Perl_floor(dright + 0.5);
1506                     else
1507                         dright = right;
1508                 }
1509             }
1510         }
1511         sp -= 2;
1512         if (use_double) {
1513             NV dans;
1514
1515             if (!dright)
1516                 DIE(aTHX_ "Illegal modulus zero");
1517
1518             dans = Perl_fmod(dleft, dright);
1519             if ((left_neg != right_neg) && dans)
1520                 dans = dright - dans;
1521             if (right_neg)
1522                 dans = -dans;
1523             sv_setnv(TARG, dans);
1524         }
1525         else {
1526             UV ans;
1527
1528             if (!right)
1529                 DIE(aTHX_ "Illegal modulus zero");
1530
1531             ans = left % right;
1532             if ((left_neg != right_neg) && ans)
1533                 ans = right - ans;
1534             if (right_neg) {
1535                 /* XXX may warn: unary minus operator applied to unsigned type */
1536                 /* could change -foo to be (~foo)+1 instead     */
1537                 if (ans <= ~((UV)IV_MAX)+1)
1538                     sv_setiv(TARG, ~ans+1);
1539                 else
1540                     sv_setnv(TARG, -(NV)ans);
1541             }
1542             else
1543                 sv_setuv(TARG, ans);
1544         }
1545         PUSHTARG;
1546         RETURN;
1547     }
1548 }
1549
1550 PP(pp_repeat)
1551 {
1552     dVAR; dSP; dATARGET;
1553     register IV count;
1554     SV *sv;
1555
1556     if (GIMME == G_ARRAY && PL_op->op_private & OPpREPEAT_DOLIST) {
1557         /* TODO: think of some way of doing list-repeat overloading ??? */
1558         sv = POPs;
1559         SvGETMAGIC(sv);
1560     }
1561     else {
1562         tryAMAGICbin_MG(repeat_amg, AMGf_assign);
1563         sv = POPs;
1564     }
1565
1566     if (SvIOKp(sv)) {
1567          if (SvUOK(sv)) {
1568               const UV uv = SvUV_nomg(sv);
1569               if (uv > IV_MAX)
1570                    count = IV_MAX; /* The best we can do? */
1571               else
1572                    count = uv;
1573          } else {
1574               const IV iv = SvIV_nomg(sv);
1575               if (iv < 0)
1576                    count = 0;
1577               else
1578                    count = iv;
1579          }
1580     }
1581     else if (SvNOKp(sv)) {
1582          const NV nv = SvNV_nomg(sv);
1583          if (nv < 0.0)
1584               count = 0;
1585          else
1586               count = (IV)nv;
1587     }
1588     else
1589          count = SvIV_nomg(sv);
1590
1591     if (GIMME == G_ARRAY && PL_op->op_private & OPpREPEAT_DOLIST) {
1592         dMARK;
1593         static const char oom_list_extend[] = "Out of memory during list extend";
1594         const I32 items = SP - MARK;
1595         const I32 max = items * count;
1596
1597         MEM_WRAP_CHECK_1(max, SV*, oom_list_extend);
1598         /* Did the max computation overflow? */
1599         if (items > 0 && max > 0 && (max < items || max < count))
1600            Perl_croak(aTHX_ oom_list_extend);
1601         MEXTEND(MARK, max);
1602         if (count > 1) {
1603             while (SP > MARK) {
1604 #if 0
1605               /* This code was intended to fix 20010809.028:
1606
1607                  $x = 'abcd';
1608                  for (($x =~ /./g) x 2) {
1609                      print chop; # "abcdabcd" expected as output.
1610                  }
1611
1612                * but that change (#11635) broke this code:
1613
1614                $x = [("foo")x2]; # only one "foo" ended up in the anonlist.
1615
1616                * I can't think of a better fix that doesn't introduce
1617                * an efficiency hit by copying the SVs. The stack isn't
1618                * refcounted, and mortalisation obviously doesn't
1619                * Do The Right Thing when the stack has more than
1620                * one pointer to the same mortal value.
1621                * .robin.
1622                */
1623                 if (*SP) {
1624                     *SP = sv_2mortal(newSVsv(*SP));
1625                     SvREADONLY_on(*SP);
1626                 }
1627 #else
1628                if (*SP)
1629                    SvTEMP_off((*SP));
1630 #endif
1631                 SP--;
1632             }
1633             MARK++;
1634             repeatcpy((char*)(MARK + items), (char*)MARK,
1635                 items * sizeof(const SV *), count - 1);
1636             SP += max;
1637         }
1638         else if (count <= 0)
1639             SP -= items;
1640     }
1641     else {      /* Note: mark already snarfed by pp_list */
1642         SV * const tmpstr = POPs;
1643         STRLEN len;
1644         bool isutf;
1645         static const char oom_string_extend[] =
1646           "Out of memory during string extend";
1647
1648         if (TARG != tmpstr)
1649             sv_setsv_nomg(TARG, tmpstr);
1650         SvPV_force_nomg(TARG, len);
1651         isutf = DO_UTF8(TARG);
1652         if (count != 1) {
1653             if (count < 1)
1654                 SvCUR_set(TARG, 0);
1655             else {
1656                 const STRLEN max = (UV)count * len;
1657                 if (len > MEM_SIZE_MAX / count)
1658                      Perl_croak(aTHX_ oom_string_extend);
1659                 MEM_WRAP_CHECK_1(max, char, oom_string_extend);
1660                 SvGROW(TARG, max + 1);
1661                 repeatcpy(SvPVX(TARG) + len, SvPVX(TARG), len, count - 1);
1662                 SvCUR_set(TARG, SvCUR(TARG) * count);
1663             }
1664             *SvEND(TARG) = '\0';
1665         }
1666         if (isutf)
1667             (void)SvPOK_only_UTF8(TARG);
1668         else
1669             (void)SvPOK_only(TARG);
1670
1671         if (PL_op->op_private & OPpREPEAT_DOLIST) {
1672             /* The parser saw this as a list repeat, and there
1673                are probably several items on the stack. But we're
1674                in scalar context, and there's no pp_list to save us
1675                now. So drop the rest of the items -- robin@kitsite.com
1676              */
1677             dMARK;
1678             SP = MARK;
1679         }
1680         PUSHTARG;
1681     }
1682     RETURN;
1683 }
1684
1685 PP(pp_subtract)
1686 {
1687     dVAR; dSP; dATARGET; bool useleft; SV *svl, *svr;
1688     tryAMAGICbin_MG(subtr_amg, AMGf_assign|AMGf_numeric);
1689     svr = TOPs;
1690     svl = TOPm1s;
1691     useleft = USE_LEFT(svl);
1692 #ifdef PERL_PRESERVE_IVUV
1693     /* See comments in pp_add (in pp_hot.c) about Overflow, and how
1694        "bad things" happen if you rely on signed integers wrapping.  */
1695     if (SvIV_please_nomg(svr)) {
1696         /* Unless the left argument is integer in range we are going to have to
1697            use NV maths. Hence only attempt to coerce the right argument if
1698            we know the left is integer.  */
1699         register UV auv = 0;
1700         bool auvok = FALSE;
1701         bool a_valid = 0;
1702
1703         if (!useleft) {
1704             auv = 0;
1705             a_valid = auvok = 1;
1706             /* left operand is undef, treat as zero.  */
1707         } else {
1708             /* Left operand is defined, so is it IV? */
1709             if (SvIV_please_nomg(svl)) {
1710                 if ((auvok = SvUOK(svl)))
1711                     auv = SvUVX(svl);
1712                 else {
1713                     register const IV aiv = SvIVX(svl);
1714                     if (aiv >= 0) {
1715                         auv = aiv;
1716                         auvok = 1;      /* Now acting as a sign flag.  */
1717                     } else { /* 2s complement assumption for IV_MIN */
1718                         auv = (UV)-aiv;
1719                     }
1720                 }
1721                 a_valid = 1;
1722             }
1723         }
1724         if (a_valid) {
1725             bool result_good = 0;
1726             UV result;
1727             register UV buv;
1728             bool buvok = SvUOK(svr);
1729
1730             if (buvok)
1731                 buv = SvUVX(svr);
1732             else {
1733                 register const IV biv = SvIVX(svr);
1734                 if (biv >= 0) {
1735                     buv = biv;
1736                     buvok = 1;
1737                 } else
1738                     buv = (UV)-biv;
1739             }
1740             /* ?uvok if value is >= 0. basically, flagged as UV if it's +ve,
1741                else "IV" now, independent of how it came in.
1742                if a, b represents positive, A, B negative, a maps to -A etc
1743                a - b =>  (a - b)
1744                A - b => -(a + b)
1745                a - B =>  (a + b)
1746                A - B => -(a - b)
1747                all UV maths. negate result if A negative.
1748                subtract if signs same, add if signs differ. */
1749
1750             if (auvok ^ buvok) {
1751                 /* Signs differ.  */
1752                 result = auv + buv;
1753                 if (result >= auv)
1754                     result_good = 1;
1755             } else {
1756                 /* Signs same */
1757                 if (auv >= buv) {
1758                     result = auv - buv;
1759                     /* Must get smaller */
1760                     if (result <= auv)
1761                         result_good = 1;
1762                 } else {
1763                     result = buv - auv;
1764                     if (result <= buv) {
1765                         /* result really should be -(auv-buv). as its negation
1766                            of true value, need to swap our result flag  */
1767                         auvok = !auvok;
1768                         result_good = 1;
1769                     }
1770                 }
1771             }
1772             if (result_good) {
1773                 SP--;
1774                 if (auvok)
1775                     SETu( result );
1776                 else {
1777                     /* Negate result */
1778                     if (result <= (UV)IV_MIN)
1779                         SETi( -(IV)result );
1780                     else {
1781                         /* result valid, but out of range for IV.  */
1782                         SETn( -(NV)result );
1783                     }
1784                 }
1785                 RETURN;
1786             } /* Overflow, drop through to NVs.  */
1787         }
1788     }
1789 #endif
1790     {
1791         NV value = SvNV_nomg(svr);
1792         (void)POPs;
1793
1794         if (!useleft) {
1795             /* left operand is undef, treat as zero - value */
1796             SETn(-value);
1797             RETURN;
1798         }
1799         SETn( SvNV_nomg(svl) - value );
1800         RETURN;
1801     }
1802 }
1803
1804 PP(pp_left_shift)
1805 {
1806     dVAR; dSP; dATARGET; SV *svl, *svr;
1807     tryAMAGICbin_MG(lshift_amg, AMGf_assign|AMGf_numeric);
1808     svr = POPs;
1809     svl = TOPs;
1810     {
1811       const IV shift = SvIV_nomg(svr);
1812       if (PL_op->op_private & HINT_INTEGER) {
1813         const IV i = SvIV_nomg(svl);
1814         SETi(i << shift);
1815       }
1816       else {
1817         const UV u = SvUV_nomg(svl);
1818         SETu(u << shift);
1819       }
1820       RETURN;
1821     }
1822 }
1823
1824 PP(pp_right_shift)
1825 {
1826     dVAR; dSP; dATARGET; SV *svl, *svr;
1827     tryAMAGICbin_MG(rshift_amg, AMGf_assign|AMGf_numeric);
1828     svr = POPs;
1829     svl = TOPs;
1830     {
1831       const IV shift = SvIV_nomg(svr);
1832       if (PL_op->op_private & HINT_INTEGER) {
1833         const IV i = SvIV_nomg(svl);
1834         SETi(i >> shift);
1835       }
1836       else {
1837         const UV u = SvUV_nomg(svl);
1838         SETu(u >> shift);
1839       }
1840       RETURN;
1841     }
1842 }
1843
1844 PP(pp_lt)
1845 {
1846     dVAR; dSP;
1847     SV *left, *right;
1848
1849     tryAMAGICbin_MG(lt_amg, AMGf_set|AMGf_numeric);
1850     right = POPs;
1851     left  = TOPs;
1852     SETs(boolSV(
1853         (SvIOK_notUV(left) && SvIOK_notUV(right))
1854         ? (SvIVX(left) < SvIVX(right))
1855         : (do_ncmp(left, right) == -1)
1856     ));
1857     RETURN;
1858 }
1859
1860 PP(pp_gt)
1861 {
1862     dVAR; dSP;
1863     SV *left, *right;
1864
1865     tryAMAGICbin_MG(gt_amg, AMGf_set|AMGf_numeric);
1866     right = POPs;
1867     left  = TOPs;
1868     SETs(boolSV(
1869         (SvIOK_notUV(left) && SvIOK_notUV(right))
1870         ? (SvIVX(left) > SvIVX(right))
1871         : (do_ncmp(left, right) == 1)
1872     ));
1873     RETURN;
1874 }
1875
1876 PP(pp_le)
1877 {
1878     dVAR; dSP;
1879     SV *left, *right;
1880
1881     tryAMAGICbin_MG(le_amg, AMGf_set|AMGf_numeric);
1882     right = POPs;
1883     left  = TOPs;
1884     SETs(boolSV(
1885         (SvIOK_notUV(left) && SvIOK_notUV(right))
1886         ? (SvIVX(left) <= SvIVX(right))
1887         : (do_ncmp(left, right) <= 0)
1888     ));
1889     RETURN;
1890 }
1891
1892 PP(pp_ge)
1893 {
1894     dVAR; dSP;
1895     SV *left, *right;
1896
1897     tryAMAGICbin_MG(ge_amg, AMGf_set|AMGf_numeric);
1898     right = POPs;
1899     left  = TOPs;
1900     SETs(boolSV(
1901         (SvIOK_notUV(left) && SvIOK_notUV(right))
1902         ? (SvIVX(left) >= SvIVX(right))
1903         : ( (do_ncmp(left, right) & 2) == 0)
1904     ));
1905     RETURN;
1906 }
1907
1908 PP(pp_ne)
1909 {
1910     dVAR; dSP;
1911     SV *left, *right;
1912
1913     tryAMAGICbin_MG(ne_amg, AMGf_set|AMGf_numeric);
1914     right = POPs;
1915     left  = TOPs;
1916     SETs(boolSV(
1917         (SvIOK_notUV(left) && SvIOK_notUV(right))
1918         ? (SvIVX(left) != SvIVX(right))
1919         : (do_ncmp(left, right) != 0)
1920     ));
1921     RETURN;
1922 }
1923
1924 /* compare left and right SVs. Returns:
1925  * -1: <
1926  *  0: ==
1927  *  1: >
1928  *  2: left or right was a NaN
1929  */
1930 I32
1931 Perl_do_ncmp(pTHX_ SV* const left, SV * const right)
1932 {
1933     dVAR;
1934
1935     PERL_ARGS_ASSERT_DO_NCMP;
1936 #ifdef PERL_PRESERVE_IVUV
1937     /* Fortunately it seems NaN isn't IOK */
1938     if (SvIV_please_nomg(right) && SvIV_please_nomg(left)) {
1939             if (!SvUOK(left)) {
1940                 const IV leftiv = SvIVX(left);
1941                 if (!SvUOK(right)) {
1942                     /* ## IV <=> IV ## */
1943                     const IV rightiv = SvIVX(right);
1944                     return (leftiv > rightiv) - (leftiv < rightiv);
1945                 }
1946                 /* ## IV <=> UV ## */
1947                 if (leftiv < 0)
1948                     /* As (b) is a UV, it's >=0, so it must be < */
1949                     return -1;
1950                 {
1951                     const UV rightuv = SvUVX(right);
1952                     return ((UV)leftiv > rightuv) - ((UV)leftiv < rightuv);
1953                 }
1954             }
1955
1956             if (SvUOK(right)) {
1957                 /* ## UV <=> UV ## */
1958                 const UV leftuv = SvUVX(left);
1959                 const UV rightuv = SvUVX(right);
1960                 return (leftuv > rightuv) - (leftuv < rightuv);
1961             }
1962             /* ## UV <=> IV ## */
1963             {
1964                 const IV rightiv = SvIVX(right);
1965                 if (rightiv < 0)
1966                     /* As (a) is a UV, it's >=0, so it cannot be < */
1967                     return 1;
1968                 {
1969                     const UV leftuv = SvUVX(left);
1970                     return (leftuv > (UV)rightiv) - (leftuv < (UV)rightiv);
1971                 }
1972             }
1973             assert(0); /* NOTREACHED */
1974     }
1975 #endif
1976     {
1977       NV const rnv = SvNV_nomg(right);
1978       NV const lnv = SvNV_nomg(left);
1979
1980 #if defined(NAN_COMPARE_BROKEN) && defined(Perl_isnan)
1981       if (Perl_isnan(lnv) || Perl_isnan(rnv)) {
1982           return 2;
1983        }
1984       return (lnv > rnv) - (lnv < rnv);
1985 #else
1986       if (lnv < rnv)
1987         return -1;
1988       if (lnv > rnv)
1989         return 1;
1990       if (lnv == rnv)
1991         return 0;
1992       return 2;
1993 #endif
1994     }
1995 }
1996
1997
1998 PP(pp_ncmp)
1999 {
2000     dVAR; dSP;
2001     SV *left, *right;
2002     I32 value;
2003     tryAMAGICbin_MG(ncmp_amg, AMGf_numeric);
2004     right = POPs;
2005     left  = TOPs;
2006     value = do_ncmp(left, right);
2007     if (value == 2) {
2008         SETs(&PL_sv_undef);
2009     }
2010     else {
2011         dTARGET;
2012         SETi(value);
2013     }
2014     RETURN;
2015 }
2016
2017 PP(pp_sle)
2018 {
2019     dVAR; dSP;
2020
2021     int amg_type = sle_amg;
2022     int multiplier = 1;
2023     int rhs = 1;
2024
2025     switch (PL_op->op_type) {
2026     case OP_SLT:
2027         amg_type = slt_amg;
2028         /* cmp < 0 */
2029         rhs = 0;
2030         break;
2031     case OP_SGT:
2032         amg_type = sgt_amg;
2033         /* cmp > 0 */
2034         multiplier = -1;
2035         rhs = 0;
2036         break;
2037     case OP_SGE:
2038         amg_type = sge_amg;
2039         /* cmp >= 0 */
2040         multiplier = -1;
2041         break;
2042     }
2043
2044     tryAMAGICbin_MG(amg_type, AMGf_set);
2045     {
2046       dPOPTOPssrl;
2047       const int cmp = (IN_LOCALE_RUNTIME
2048                  ? sv_cmp_locale_flags(left, right, 0)
2049                  : sv_cmp_flags(left, right, 0));
2050       SETs(boolSV(cmp * multiplier < rhs));
2051       RETURN;
2052     }
2053 }
2054
2055 PP(pp_seq)
2056 {
2057     dVAR; dSP;
2058     tryAMAGICbin_MG(seq_amg, AMGf_set);
2059     {
2060       dPOPTOPssrl;
2061       SETs(boolSV(sv_eq_flags(left, right, 0)));
2062       RETURN;
2063     }
2064 }
2065
2066 PP(pp_sne)
2067 {
2068     dVAR; dSP;
2069     tryAMAGICbin_MG(sne_amg, AMGf_set);
2070     {
2071       dPOPTOPssrl;
2072       SETs(boolSV(!sv_eq_flags(left, right, 0)));
2073       RETURN;
2074     }
2075 }
2076
2077 PP(pp_scmp)
2078 {
2079     dVAR; dSP; dTARGET;
2080     tryAMAGICbin_MG(scmp_amg, 0);
2081     {
2082       dPOPTOPssrl;
2083       const int cmp = (IN_LOCALE_RUNTIME
2084                  ? sv_cmp_locale_flags(left, right, 0)
2085                  : sv_cmp_flags(left, right, 0));
2086       SETi( cmp );
2087       RETURN;
2088     }
2089 }
2090
2091 PP(pp_bit_and)
2092 {
2093     dVAR; dSP; dATARGET;
2094     tryAMAGICbin_MG(band_amg, AMGf_assign);
2095     {
2096       dPOPTOPssrl;
2097       if (SvNIOKp(left) || SvNIOKp(right)) {
2098         const bool left_ro_nonnum  = !SvNIOKp(left) && SvREADONLY(left);
2099         const bool right_ro_nonnum = !SvNIOKp(right) && SvREADONLY(right);
2100         if (PL_op->op_private & HINT_INTEGER) {
2101           const IV i = SvIV_nomg(left) & SvIV_nomg(right);
2102           SETi(i);
2103         }
2104         else {
2105           const UV u = SvUV_nomg(left) & SvUV_nomg(right);
2106           SETu(u);
2107         }
2108         if (left_ro_nonnum && left != TARG) SvNIOK_off(left);
2109         if (right_ro_nonnum) SvNIOK_off(right);
2110       }
2111       else {
2112         do_vop(PL_op->op_type, TARG, left, right);
2113         SETTARG;
2114       }
2115       RETURN;
2116     }
2117 }
2118
2119 PP(pp_bit_or)
2120 {
2121     dVAR; dSP; dATARGET;
2122     const int op_type = PL_op->op_type;
2123
2124     tryAMAGICbin_MG((op_type == OP_BIT_OR ? bor_amg : bxor_amg), AMGf_assign);
2125     {
2126       dPOPTOPssrl;
2127       if (SvNIOKp(left) || SvNIOKp(right)) {
2128         const bool left_ro_nonnum  = !SvNIOKp(left) && SvREADONLY(left);
2129         const bool right_ro_nonnum = !SvNIOKp(right) && SvREADONLY(right);
2130         if (PL_op->op_private & HINT_INTEGER) {
2131           const IV l = (USE_LEFT(left) ? SvIV_nomg(left) : 0);
2132           const IV r = SvIV_nomg(right);
2133           const IV result = op_type == OP_BIT_OR ? (l | r) : (l ^ r);
2134           SETi(result);
2135         }
2136         else {
2137           const UV l = (USE_LEFT(left) ? SvUV_nomg(left) : 0);
2138           const UV r = SvUV_nomg(right);
2139           const UV result = op_type == OP_BIT_OR ? (l | r) : (l ^ r);
2140           SETu(result);
2141         }
2142         if (left_ro_nonnum && left != TARG) SvNIOK_off(left);
2143         if (right_ro_nonnum) SvNIOK_off(right);
2144       }
2145       else {
2146         do_vop(op_type, TARG, left, right);
2147         SETTARG;
2148       }
2149       RETURN;
2150     }
2151 }
2152
2153 PP(pp_negate)
2154 {
2155     dVAR; dSP; dTARGET;
2156     tryAMAGICun_MG(neg_amg, AMGf_numeric);
2157     {
2158         SV * const sv = TOPs;
2159
2160         if (SvIOK(sv) || (SvGMAGICAL(sv) && SvIOKp(sv))) {
2161             /* It's publicly an integer */
2162         oops_its_an_int:
2163             if (SvIsUV(sv)) {
2164                 if (SvIVX(sv) == IV_MIN) {
2165                     /* 2s complement assumption. */
2166                     SETi(SvIVX(sv));    /* special case: -((UV)IV_MAX+1) == IV_MIN */
2167                     RETURN;
2168                 }
2169                 else if (SvUVX(sv) <= IV_MAX) {
2170                     SETi(-SvIVX(sv));
2171                     RETURN;
2172                 }
2173             }
2174             else if (SvIVX(sv) != IV_MIN) {
2175                 SETi(-SvIVX(sv));
2176                 RETURN;
2177             }
2178 #ifdef PERL_PRESERVE_IVUV
2179             else {
2180                 SETu((UV)IV_MIN);
2181                 RETURN;
2182             }
2183 #endif
2184         }
2185         if (SvNIOKp(sv) && (SvNIOK(sv) || !SvPOK(sv)))
2186             SETn(-SvNV_nomg(sv));
2187         else if (SvPOKp(sv)) {
2188             STRLEN len;
2189             const char * const s = SvPV_nomg_const(sv, len);
2190             if (isIDFIRST(*s)) {
2191                 sv_setpvs(TARG, "-");
2192                 sv_catsv(TARG, sv);
2193             }
2194             else if (*s == '+' || (*s == '-' && !looks_like_number(sv))) {
2195                 sv_setsv_nomg(TARG, sv);
2196                 *SvPV_force_nomg(TARG, len) = *s == '-' ? '+' : '-';
2197             }
2198             else if (SvIV_please_nomg(sv))
2199                   goto oops_its_an_int;
2200             else
2201                 sv_setnv(TARG, -SvNV_nomg(sv));
2202             SETTARG;
2203         }
2204         else
2205             SETn(-SvNV_nomg(sv));
2206     }
2207     RETURN;
2208 }
2209
2210 PP(pp_not)
2211 {
2212     dVAR; dSP;
2213     tryAMAGICun_MG(not_amg, AMGf_set);
2214     *PL_stack_sp = boolSV(!SvTRUE_nomg(*PL_stack_sp));
2215     return NORMAL;
2216 }
2217
2218 PP(pp_complement)
2219 {
2220     dVAR; dSP; dTARGET;
2221     tryAMAGICun_MG(compl_amg, AMGf_numeric);
2222     {
2223       dTOPss;
2224       if (SvNIOKp(sv)) {
2225         if (PL_op->op_private & HINT_INTEGER) {
2226           const IV i = ~SvIV_nomg(sv);
2227           SETi(i);
2228         }
2229         else {
2230           const UV u = ~SvUV_nomg(sv);
2231           SETu(u);
2232         }
2233       }
2234       else {
2235         register U8 *tmps;
2236         register I32 anum;
2237         STRLEN len;
2238
2239         (void)SvPV_nomg_const(sv,len); /* force check for uninit var */
2240         sv_setsv_nomg(TARG, sv);
2241         tmps = (U8*)SvPV_force_nomg(TARG, len);
2242         anum = len;
2243         if (SvUTF8(TARG)) {
2244           /* Calculate exact length, let's not estimate. */
2245           STRLEN targlen = 0;
2246           STRLEN l;
2247           UV nchar = 0;
2248           UV nwide = 0;
2249           U8 * const send = tmps + len;
2250           U8 * const origtmps = tmps;
2251           const UV utf8flags = UTF8_ALLOW_ANYUV;
2252
2253           while (tmps < send) {
2254             const UV c = utf8n_to_uvchr(tmps, send-tmps, &l, utf8flags);
2255             tmps += l;
2256             targlen += UNISKIP(~c);
2257             nchar++;
2258             if (c > 0xff)
2259                 nwide++;
2260           }
2261
2262           /* Now rewind strings and write them. */
2263           tmps = origtmps;
2264
2265           if (nwide) {
2266               U8 *result;
2267               U8 *p;
2268
2269               Newx(result, targlen + 1, U8);
2270               p = result;
2271               while (tmps < send) {
2272                   const UV c = utf8n_to_uvchr(tmps, send-tmps, &l, utf8flags);
2273                   tmps += l;
2274                   p = uvchr_to_utf8_flags(p, ~c, UNICODE_ALLOW_ANY);
2275               }
2276               *p = '\0';
2277               sv_usepvn_flags(TARG, (char*)result, targlen,
2278                               SV_HAS_TRAILING_NUL);
2279               SvUTF8_on(TARG);
2280           }
2281           else {
2282               U8 *result;
2283               U8 *p;
2284
2285               Newx(result, nchar + 1, U8);
2286               p = result;
2287               while (tmps < send) {
2288                   const U8 c = (U8)utf8n_to_uvchr(tmps, send-tmps, &l, utf8flags);
2289                   tmps += l;
2290                   *p++ = ~c;
2291               }
2292               *p = '\0';
2293               sv_usepvn_flags(TARG, (char*)result, nchar, SV_HAS_TRAILING_NUL);
2294               SvUTF8_off(TARG);
2295           }
2296           SETTARG;
2297           RETURN;
2298         }
2299 #ifdef LIBERAL
2300         {
2301             register long *tmpl;
2302             for ( ; anum && (unsigned long)tmps % sizeof(long); anum--, tmps++)
2303                 *tmps = ~*tmps;
2304             tmpl = (long*)tmps;
2305             for ( ; anum >= (I32)sizeof(long); anum -= (I32)sizeof(long), tmpl++)
2306                 *tmpl = ~*tmpl;
2307             tmps = (U8*)tmpl;
2308         }
2309 #endif
2310         for ( ; anum > 0; anum--, tmps++)
2311             *tmps = ~*tmps;
2312         SETTARG;
2313       }
2314       RETURN;
2315     }
2316 }
2317
2318 /* integer versions of some of the above */
2319
2320 PP(pp_i_multiply)
2321 {
2322     dVAR; dSP; dATARGET;
2323     tryAMAGICbin_MG(mult_amg, AMGf_assign);
2324     {
2325       dPOPTOPiirl_nomg;
2326       SETi( left * right );
2327       RETURN;
2328     }
2329 }
2330
2331 PP(pp_i_divide)
2332 {
2333     IV num;
2334     dVAR; dSP; dATARGET;
2335     tryAMAGICbin_MG(div_amg, AMGf_assign);
2336     {
2337       dPOPTOPssrl;
2338       IV value = SvIV_nomg(right);
2339       if (value == 0)
2340           DIE(aTHX_ "Illegal division by zero");
2341       num = SvIV_nomg(left);
2342
2343       /* avoid FPE_INTOVF on some platforms when num is IV_MIN */
2344       if (value == -1)
2345           value = - num;
2346       else
2347           value = num / value;
2348       SETi(value);
2349       RETURN;
2350     }
2351 }
2352
2353 #if defined(__GLIBC__) && IVSIZE == 8
2354 STATIC
2355 PP(pp_i_modulo_0)
2356 #else
2357 PP(pp_i_modulo)
2358 #endif
2359 {
2360      /* This is the vanilla old i_modulo. */
2361      dVAR; dSP; dATARGET;
2362      tryAMAGICbin_MG(modulo_amg, AMGf_assign);
2363      {
2364           dPOPTOPiirl_nomg;
2365           if (!right)
2366                DIE(aTHX_ "Illegal modulus zero");
2367           /* avoid FPE_INTOVF on some platforms when left is IV_MIN */
2368           if (right == -1)
2369               SETi( 0 );
2370           else
2371               SETi( left % right );
2372           RETURN;
2373      }
2374 }
2375
2376 #if defined(__GLIBC__) && IVSIZE == 8
2377 STATIC
2378 PP(pp_i_modulo_1)
2379
2380 {
2381      /* This is the i_modulo with the workaround for the _moddi3 bug
2382       * in (at least) glibc 2.2.5 (the PERL_ABS() the workaround).
2383       * See below for pp_i_modulo. */
2384      dVAR; dSP; dATARGET;
2385      tryAMAGICbin_MG(modulo_amg, AMGf_assign);
2386      {
2387           dPOPTOPiirl_nomg;
2388           if (!right)
2389                DIE(aTHX_ "Illegal modulus zero");
2390           /* avoid FPE_INTOVF on some platforms when left is IV_MIN */
2391           if (right == -1)
2392               SETi( 0 );
2393           else
2394               SETi( left % PERL_ABS(right) );
2395           RETURN;
2396      }
2397 }
2398
2399 PP(pp_i_modulo)
2400 {
2401      dVAR; dSP; dATARGET;
2402      tryAMAGICbin_MG(modulo_amg, AMGf_assign);
2403      {
2404           dPOPTOPiirl_nomg;
2405           if (!right)
2406                DIE(aTHX_ "Illegal modulus zero");
2407           /* The assumption is to use hereafter the old vanilla version... */
2408           PL_op->op_ppaddr =
2409                PL_ppaddr[OP_I_MODULO] =
2410                    Perl_pp_i_modulo_0;
2411           /* .. but if we have glibc, we might have a buggy _moddi3
2412            * (at least glicb 2.2.5 is known to have this bug), in other
2413            * words our integer modulus with negative quad as the second
2414            * argument might be broken.  Test for this and re-patch the
2415            * opcode dispatch table if that is the case, remembering to
2416            * also apply the workaround so that this first round works
2417            * right, too.  See [perl #9402] for more information. */
2418           {
2419                IV l =   3;
2420                IV r = -10;
2421                /* Cannot do this check with inlined IV constants since
2422                 * that seems to work correctly even with the buggy glibc. */
2423                if (l % r == -3) {
2424                     /* Yikes, we have the bug.
2425                      * Patch in the workaround version. */
2426                     PL_op->op_ppaddr =
2427                          PL_ppaddr[OP_I_MODULO] =
2428                              &Perl_pp_i_modulo_1;
2429                     /* Make certain we work right this time, too. */
2430                     right = PERL_ABS(right);
2431                }
2432           }
2433           /* avoid FPE_INTOVF on some platforms when left is IV_MIN */
2434           if (right == -1)
2435               SETi( 0 );
2436           else
2437               SETi( left % right );
2438           RETURN;
2439      }
2440 }
2441 #endif
2442
2443 PP(pp_i_add)
2444 {
2445     dVAR; dSP; dATARGET;
2446     tryAMAGICbin_MG(add_amg, AMGf_assign);
2447     {
2448       dPOPTOPiirl_ul_nomg;
2449       SETi( left + right );
2450       RETURN;
2451     }
2452 }
2453
2454 PP(pp_i_subtract)
2455 {
2456     dVAR; dSP; dATARGET;
2457     tryAMAGICbin_MG(subtr_amg, AMGf_assign);
2458     {
2459       dPOPTOPiirl_ul_nomg;
2460       SETi( left - right );
2461       RETURN;
2462     }
2463 }
2464
2465 PP(pp_i_lt)
2466 {
2467     dVAR; dSP;
2468     tryAMAGICbin_MG(lt_amg, AMGf_set);
2469     {
2470       dPOPTOPiirl_nomg;
2471       SETs(boolSV(left < right));
2472       RETURN;
2473     }
2474 }
2475
2476 PP(pp_i_gt)
2477 {
2478     dVAR; dSP;
2479     tryAMAGICbin_MG(gt_amg, AMGf_set);
2480     {
2481       dPOPTOPiirl_nomg;
2482       SETs(boolSV(left > right));
2483       RETURN;
2484     }
2485 }
2486
2487 PP(pp_i_le)
2488 {
2489     dVAR; dSP;
2490     tryAMAGICbin_MG(le_amg, AMGf_set);
2491     {
2492       dPOPTOPiirl_nomg;
2493       SETs(boolSV(left <= right));
2494       RETURN;
2495     }
2496 }
2497
2498 PP(pp_i_ge)
2499 {
2500     dVAR; dSP;
2501     tryAMAGICbin_MG(ge_amg, AMGf_set);
2502     {
2503       dPOPTOPiirl_nomg;
2504       SETs(boolSV(left >= right));
2505       RETURN;
2506     }
2507 }
2508
2509 PP(pp_i_eq)
2510 {
2511     dVAR; dSP;
2512     tryAMAGICbin_MG(eq_amg, AMGf_set);
2513     {
2514       dPOPTOPiirl_nomg;
2515       SETs(boolSV(left == right));
2516       RETURN;
2517     }
2518 }
2519
2520 PP(pp_i_ne)
2521 {
2522     dVAR; dSP;
2523     tryAMAGICbin_MG(ne_amg, AMGf_set);
2524     {
2525       dPOPTOPiirl_nomg;
2526       SETs(boolSV(left != right));
2527       RETURN;
2528     }
2529 }
2530
2531 PP(pp_i_ncmp)
2532 {
2533     dVAR; dSP; dTARGET;
2534     tryAMAGICbin_MG(ncmp_amg, 0);
2535     {
2536       dPOPTOPiirl_nomg;
2537       I32 value;
2538
2539       if (left > right)
2540         value = 1;
2541       else if (left < right)
2542         value = -1;
2543       else
2544         value = 0;
2545       SETi(value);
2546       RETURN;
2547     }
2548 }
2549
2550 PP(pp_i_negate)
2551 {
2552     dVAR; dSP; dTARGET;
2553     tryAMAGICun_MG(neg_amg, 0);
2554     {
2555         SV * const sv = TOPs;
2556         IV const i = SvIV_nomg(sv);
2557         SETi(-i);
2558         RETURN;
2559     }
2560 }
2561
2562 /* High falutin' math. */
2563
2564 PP(pp_atan2)
2565 {
2566     dVAR; dSP; dTARGET;
2567     tryAMAGICbin_MG(atan2_amg, 0);
2568     {
2569       dPOPTOPnnrl_nomg;
2570       SETn(Perl_atan2(left, right));
2571       RETURN;
2572     }
2573 }
2574
2575 PP(pp_sin)
2576 {
2577     dVAR; dSP; dTARGET;
2578     int amg_type = sin_amg;
2579     const char *neg_report = NULL;
2580     NV (*func)(NV) = Perl_sin;
2581     const int op_type = PL_op->op_type;
2582
2583     switch (op_type) {
2584     case OP_COS:
2585         amg_type = cos_amg;
2586         func = Perl_cos;
2587         break;
2588     case OP_EXP:
2589         amg_type = exp_amg;
2590         func = Perl_exp;
2591         break;
2592     case OP_LOG:
2593         amg_type = log_amg;
2594         func = Perl_log;
2595         neg_report = "log";
2596         break;
2597     case OP_SQRT:
2598         amg_type = sqrt_amg;
2599         func = Perl_sqrt;
2600         neg_report = "sqrt";
2601         break;
2602     }
2603
2604
2605     tryAMAGICun_MG(amg_type, 0);
2606     {
2607       SV * const arg = POPs;
2608       const NV value = SvNV_nomg(arg);
2609       if (neg_report) {
2610           if (op_type == OP_LOG ? (value <= 0.0) : (value < 0.0)) {
2611               SET_NUMERIC_STANDARD();
2612               /* diag_listed_as: Can't take log of %g */
2613               DIE(aTHX_ "Can't take %s of %"NVgf, neg_report, value);
2614           }
2615       }
2616       XPUSHn(func(value));
2617       RETURN;
2618     }
2619 }
2620
2621 /* Support Configure command-line overrides for rand() functions.
2622    After 5.005, perhaps we should replace this by Configure support
2623    for drand48(), random(), or rand().  For 5.005, though, maintain
2624    compatibility by calling rand() but allow the user to override it.
2625    See INSTALL for details.  --Andy Dougherty  15 July 1998
2626 */
2627 /* Now it's after 5.005, and Configure supports drand48() and random(),
2628    in addition to rand().  So the overrides should not be needed any more.
2629    --Jarkko Hietaniemi  27 September 1998
2630  */
2631
2632 #ifndef HAS_DRAND48_PROTO
2633 extern double drand48 (void);
2634 #endif
2635
2636 PP(pp_rand)
2637 {
2638     dVAR; dSP; dTARGET;
2639     NV value;
2640     if (MAXARG < 1)
2641         value = 1.0;
2642     else if (!TOPs) {
2643         value = 1.0; (void)POPs;
2644     }
2645     else
2646         value = POPn;
2647     if (value == 0.0)
2648         value = 1.0;
2649     if (!PL_srand_called) {
2650         (void)seedDrand01((Rand_seed_t)seed());
2651         PL_srand_called = TRUE;
2652     }
2653     value *= Drand01();
2654     XPUSHn(value);
2655     RETURN;
2656 }
2657
2658 PP(pp_srand)
2659 {
2660     dVAR; dSP; dTARGET;
2661     UV anum;
2662
2663     if (MAXARG >= 1 && (TOPs || POPs)) {
2664         SV *top;
2665         char *pv;
2666         STRLEN len;
2667         int flags;
2668
2669         top = POPs;
2670         pv = SvPV(top, len);
2671         flags = grok_number(pv, len, &anum);
2672
2673         if (!(flags & IS_NUMBER_IN_UV)) {
2674             Perl_ck_warner_d(aTHX_ packWARN(WARN_OVERFLOW),
2675                              "Integer overflow in srand");
2676             anum = UV_MAX;
2677         }
2678     }
2679     else {
2680         anum = seed();
2681     }
2682
2683     (void)seedDrand01((Rand_seed_t)anum);
2684     PL_srand_called = TRUE;
2685     if (anum)
2686         XPUSHu(anum);
2687     else {
2688         /* Historically srand always returned true. We can avoid breaking
2689            that like this:  */
2690         sv_setpvs(TARG, "0 but true");
2691         XPUSHTARG;
2692     }
2693     RETURN;
2694 }
2695
2696 PP(pp_int)
2697 {
2698     dVAR; dSP; dTARGET;
2699     tryAMAGICun_MG(int_amg, AMGf_numeric);
2700     {
2701       SV * const sv = TOPs;
2702       const IV iv = SvIV_nomg(sv);
2703       /* XXX it's arguable that compiler casting to IV might be subtly
2704          different from modf (for numbers inside (IV_MIN,UV_MAX)) in which
2705          else preferring IV has introduced a subtle behaviour change bug. OTOH
2706          relying on floating point to be accurate is a bug.  */
2707
2708       if (!SvOK(sv)) {
2709         SETu(0);
2710       }
2711       else if (SvIOK(sv)) {
2712         if (SvIsUV(sv))
2713             SETu(SvUV_nomg(sv));
2714         else
2715             SETi(iv);
2716       }
2717       else {
2718           const NV value = SvNV_nomg(sv);
2719           if (value >= 0.0) {
2720               if (value < (NV)UV_MAX + 0.5) {
2721                   SETu(U_V(value));
2722               } else {
2723                   SETn(Perl_floor(value));
2724               }
2725           }
2726           else {
2727               if (value > (NV)IV_MIN - 0.5) {
2728                   SETi(I_V(value));
2729               } else {
2730                   SETn(Perl_ceil(value));
2731               }
2732           }
2733       }
2734     }
2735     RETURN;
2736 }
2737
2738 PP(pp_abs)
2739 {
2740     dVAR; dSP; dTARGET;
2741     tryAMAGICun_MG(abs_amg, AMGf_numeric);
2742     {
2743       SV * const sv = TOPs;
2744       /* This will cache the NV value if string isn't actually integer  */
2745       const IV iv = SvIV_nomg(sv);
2746
2747       if (!SvOK(sv)) {
2748         SETu(0);
2749       }
2750       else if (SvIOK(sv)) {
2751         /* IVX is precise  */
2752         if (SvIsUV(sv)) {
2753           SETu(SvUV_nomg(sv));  /* force it to be numeric only */
2754         } else {
2755           if (iv >= 0) {
2756             SETi(iv);
2757           } else {
2758             if (iv != IV_MIN) {
2759               SETi(-iv);
2760             } else {
2761               /* 2s complement assumption. Also, not really needed as
2762                  IV_MIN and -IV_MIN should both be %100...00 and NV-able  */
2763               SETu(IV_MIN);
2764             }
2765           }
2766         }
2767       } else{
2768         const NV value = SvNV_nomg(sv);
2769         if (value < 0.0)
2770           SETn(-value);
2771         else
2772           SETn(value);
2773       }
2774     }
2775     RETURN;
2776 }
2777
2778 PP(pp_oct)
2779 {
2780     dVAR; dSP; dTARGET;
2781     const char *tmps;
2782     I32 flags = PERL_SCAN_ALLOW_UNDERSCORES;
2783     STRLEN len;
2784     NV result_nv;
2785     UV result_uv;
2786     SV* const sv = POPs;
2787
2788     tmps = (SvPV_const(sv, len));
2789     if (DO_UTF8(sv)) {
2790          /* If Unicode, try to downgrade
2791           * If not possible, croak. */
2792          SV* const tsv = sv_2mortal(newSVsv(sv));
2793
2794          SvUTF8_on(tsv);
2795          sv_utf8_downgrade(tsv, FALSE);
2796          tmps = SvPV_const(tsv, len);
2797     }
2798     if (PL_op->op_type == OP_HEX)
2799         goto hex;
2800
2801     while (*tmps && len && isSPACE(*tmps))
2802         tmps++, len--;
2803     if (*tmps == '0')
2804         tmps++, len--;
2805     if (*tmps == 'x' || *tmps == 'X') {
2806     hex:
2807         result_uv = grok_hex (tmps, &len, &flags, &result_nv);
2808     }
2809     else if (*tmps == 'b' || *tmps == 'B')
2810         result_uv = grok_bin (tmps, &len, &flags, &result_nv);
2811     else
2812         result_uv = grok_oct (tmps, &len, &flags, &result_nv);
2813
2814     if (flags & PERL_SCAN_GREATER_THAN_UV_MAX) {
2815         XPUSHn(result_nv);
2816     }
2817     else {
2818         XPUSHu(result_uv);
2819     }
2820     RETURN;
2821 }
2822
2823 /* String stuff. */
2824
2825 PP(pp_length)
2826 {
2827     dVAR; dSP; dTARGET;
2828     SV * const sv = TOPs;
2829
2830     if (SvGAMAGIC(sv)) {
2831         /* For an overloaded or magic scalar, we can't know in advance if
2832            it's going to be UTF-8 or not. Also, we can't call sv_len_utf8 as
2833            it likes to cache the length. Maybe that should be a documented
2834            feature of it.
2835         */
2836         STRLEN len;
2837         const char *const p
2838             = sv_2pv_flags(sv, &len,
2839                            SV_UNDEF_RETURNS_NULL|SV_CONST_RETURN|SV_GMAGIC);
2840
2841         if (!p) {
2842             if (!SvPADTMP(TARG)) {
2843                 sv_setsv(TARG, &PL_sv_undef);
2844                 SETTARG;
2845             }
2846             SETs(&PL_sv_undef);
2847         }
2848         else if (DO_UTF8(sv)) {
2849             SETi(utf8_length((U8*)p, (U8*)p + len));
2850         }
2851         else
2852             SETi(len);
2853     } else if (SvOK(sv)) {
2854         /* Neither magic nor overloaded.  */
2855         if (DO_UTF8(sv))
2856             SETi(sv_len_utf8(sv));
2857         else
2858             SETi(sv_len(sv));
2859     } else {
2860         if (!SvPADTMP(TARG)) {
2861             sv_setsv_nomg(TARG, &PL_sv_undef);
2862             SETTARG;
2863         }
2864         SETs(&PL_sv_undef);
2865     }
2866     RETURN;
2867 }
2868
2869 /* Returns false if substring is completely outside original string.
2870    No length is indicated by len_iv = 0 and len_is_uv = 0.  len_is_uv must
2871    always be true for an explicit 0.
2872 */
2873 bool
2874 Perl_translate_substr_offsets(pTHX_ STRLEN curlen, IV pos1_iv,
2875                                     bool pos1_is_uv, IV len_iv,
2876                                     bool len_is_uv, STRLEN *posp,
2877                                     STRLEN *lenp)
2878 {
2879     IV pos2_iv;
2880     int    pos2_is_uv;
2881
2882     PERL_ARGS_ASSERT_TRANSLATE_SUBSTR_OFFSETS;
2883
2884     if (!pos1_is_uv && pos1_iv < 0 && curlen) {
2885         pos1_is_uv = curlen-1 > ~(UV)pos1_iv;
2886         pos1_iv += curlen;
2887     }
2888     if ((pos1_is_uv || pos1_iv > 0) && (UV)pos1_iv > curlen)
2889         return FALSE;
2890
2891     if (len_iv || len_is_uv) {
2892         if (!len_is_uv && len_iv < 0) {
2893             pos2_iv = curlen + len_iv;
2894             if (curlen)
2895                 pos2_is_uv = curlen-1 > ~(UV)len_iv;
2896             else
2897                 pos2_is_uv = 0;
2898         } else {  /* len_iv >= 0 */
2899             if (!pos1_is_uv && pos1_iv < 0) {
2900                 pos2_iv = pos1_iv + len_iv;
2901                 pos2_is_uv = (UV)len_iv > (UV)IV_MAX;
2902             } else {
2903                 if ((UV)len_iv > curlen-(UV)pos1_iv)
2904                     pos2_iv = curlen;
2905                 else
2906                     pos2_iv = pos1_iv+len_iv;
2907                 pos2_is_uv = 1;
2908             }
2909         }
2910     }
2911     else {
2912         pos2_iv = curlen;
2913         pos2_is_uv = 1;
2914     }
2915
2916     if (!pos2_is_uv && pos2_iv < 0) {
2917         if (!pos1_is_uv && pos1_iv < 0)
2918             return FALSE;
2919         pos2_iv = 0;
2920     }
2921     else if (!pos1_is_uv && pos1_iv < 0)
2922         pos1_iv = 0;
2923
2924     if ((UV)pos2_iv < (UV)pos1_iv)
2925         pos2_iv = pos1_iv;
2926     if ((UV)pos2_iv > curlen)
2927         pos2_iv = curlen;
2928
2929     /* pos1_iv and pos2_iv both in 0..curlen, so the cast is safe */
2930     *posp = (STRLEN)( (UV)pos1_iv );
2931     *lenp = (STRLEN)( (UV)pos2_iv - (UV)pos1_iv );
2932
2933     return TRUE;
2934 }
2935
2936 PP(pp_substr)
2937 {
2938     dVAR; dSP; dTARGET;
2939     SV *sv;
2940     STRLEN curlen;
2941     STRLEN utf8_curlen;
2942     SV *   pos_sv;
2943     IV     pos1_iv;
2944     int    pos1_is_uv;
2945     SV *   len_sv;
2946     IV     len_iv = 0;
2947     int    len_is_uv = 0;
2948     I32 lvalue = PL_op->op_flags & OPf_MOD || LVRET;
2949     const bool rvalue = (GIMME_V != G_VOID);
2950     const char *tmps;
2951     SV *repl_sv = NULL;
2952     const char *repl = NULL;
2953     STRLEN repl_len;
2954     int num_args = PL_op->op_private & 7;
2955     bool repl_need_utf8_upgrade = FALSE;
2956     bool repl_is_utf8 = FALSE;
2957
2958     if (num_args > 2) {
2959         if (num_args > 3) {
2960           if(!(repl_sv = POPs)) num_args--;
2961         }
2962         if ((len_sv = POPs)) {
2963             len_iv    = SvIV(len_sv);
2964             len_is_uv = len_iv ? SvIOK_UV(len_sv) : 1;
2965         }
2966         else num_args--;
2967     }
2968     pos_sv     = POPs;
2969     pos1_iv    = SvIV(pos_sv);
2970     pos1_is_uv = SvIOK_UV(pos_sv);
2971     sv = POPs;
2972     if (PL_op->op_private & OPpSUBSTR_REPL_FIRST) {
2973         assert(!repl_sv);
2974         repl_sv = POPs;
2975     }
2976     PUTBACK;
2977     if (repl_sv) {
2978         repl = SvPV_const(repl_sv, repl_len);
2979         repl_is_utf8 = DO_UTF8(repl_sv) && repl_len;
2980         if (repl_is_utf8) {
2981             if (!DO_UTF8(sv))
2982                 sv_utf8_upgrade(sv);
2983         }
2984         else if (DO_UTF8(sv))
2985             repl_need_utf8_upgrade = TRUE;
2986     }
2987     else if (lvalue) {
2988         SV * ret;
2989         ret = sv_2mortal(newSV_type(SVt_PVLV));  /* Not TARG RT#67838 */
2990         sv_magic(ret, NULL, PERL_MAGIC_substr, NULL, 0);
2991         LvTYPE(ret) = 'x';
2992         LvTARG(ret) = SvREFCNT_inc_simple(sv);
2993         LvTARGOFF(ret) =
2994             pos1_is_uv || pos1_iv >= 0
2995                 ? (STRLEN)(UV)pos1_iv
2996                 : (LvFLAGS(ret) |= 1, (STRLEN)(UV)-pos1_iv);
2997         LvTARGLEN(ret) =
2998             len_is_uv || len_iv > 0
2999                 ? (STRLEN)(UV)len_iv
3000                 : (LvFLAGS(ret) |= 2, (STRLEN)(UV)-len_iv);
3001
3002         SPAGAIN;
3003         PUSHs(ret);    /* avoid SvSETMAGIC here */
3004         RETURN;
3005     }
3006     tmps = SvPV_const(sv, curlen);
3007     if (DO_UTF8(sv)) {
3008         utf8_curlen = sv_len_utf8(sv);
3009         if (utf8_curlen == curlen)
3010             utf8_curlen = 0;
3011         else
3012             curlen = utf8_curlen;
3013     }
3014     else
3015         utf8_curlen = 0;
3016
3017     {
3018         STRLEN pos, len, byte_len, byte_pos;
3019
3020         if (!translate_substr_offsets(
3021                 curlen, pos1_iv, pos1_is_uv, len_iv, len_is_uv, &pos, &len
3022         )) goto bound_fail;
3023
3024         byte_len = len;
3025         byte_pos = utf8_curlen
3026             ? sv_pos_u2b_flags(sv, pos, &byte_len, SV_CONST_RETURN) : pos;
3027
3028         tmps += byte_pos;
3029
3030         if (rvalue) {
3031             SvTAINTED_off(TARG);                        /* decontaminate */
3032             SvUTF8_off(TARG);                   /* decontaminate */
3033             sv_setpvn(TARG, tmps, byte_len);
3034 #ifdef USE_LOCALE_COLLATE
3035             sv_unmagic(TARG, PERL_MAGIC_collxfrm);
3036 #endif
3037             if (utf8_curlen)
3038                 SvUTF8_on(TARG);
3039         }
3040
3041         if (repl) {
3042             SV* repl_sv_copy = NULL;
3043
3044             if (repl_need_utf8_upgrade) {
3045                 repl_sv_copy = newSVsv(repl_sv);
3046                 sv_utf8_upgrade(repl_sv_copy);
3047                 repl = SvPV_const(repl_sv_copy, repl_len);
3048                 repl_is_utf8 = DO_UTF8(repl_sv_copy) && repl_len;
3049             }
3050             if (SvROK(sv))
3051                 Perl_ck_warner(aTHX_ packWARN(WARN_SUBSTR),
3052                             "Attempt to use reference as lvalue in substr"
3053                 );
3054             if (!SvOK(sv))
3055                 sv_setpvs(sv, "");
3056             sv_insert_flags(sv, byte_pos, byte_len, repl, repl_len, 0);
3057             if (repl_is_utf8)
3058                 SvUTF8_on(sv);
3059             SvREFCNT_dec(repl_sv_copy);
3060         }
3061     }
3062     SPAGAIN;
3063     if (rvalue) {
3064         SvSETMAGIC(TARG);
3065         PUSHs(TARG);
3066     }
3067     RETURN;
3068
3069 bound_fail:
3070     if (repl)
3071         Perl_croak(aTHX_ "substr outside of string");
3072     Perl_ck_warner(aTHX_ packWARN(WARN_SUBSTR), "substr outside of string");
3073     RETPUSHUNDEF;
3074 }
3075
3076 PP(pp_vec)
3077 {
3078     dVAR; dSP;
3079     register const IV size   = POPi;
3080     register const IV offset = POPi;
3081     register SV * const src = POPs;
3082     const I32 lvalue = PL_op->op_flags & OPf_MOD || LVRET;
3083     SV * ret;
3084
3085     if (lvalue) {                       /* it's an lvalue! */
3086         ret = sv_2mortal(newSV_type(SVt_PVLV));  /* Not TARG RT#67838 */
3087         sv_magic(ret, NULL, PERL_MAGIC_vec, NULL, 0);
3088         LvTYPE(ret) = 'v';
3089         LvTARG(ret) = SvREFCNT_inc_simple(src);
3090         LvTARGOFF(ret) = offset;
3091         LvTARGLEN(ret) = size;
3092     }
3093     else {
3094         dTARGET;
3095         SvTAINTED_off(TARG);            /* decontaminate */
3096         ret = TARG;
3097     }
3098
3099     sv_setuv(ret, do_vecget(src, offset, size));
3100     PUSHs(ret);
3101     RETURN;
3102 }
3103
3104 PP(pp_index)
3105 {
3106     dVAR; dSP; dTARGET;
3107     SV *big;
3108     SV *little;
3109     SV *temp = NULL;
3110     STRLEN biglen;
3111     STRLEN llen = 0;
3112     I32 offset;
3113     I32 retval;
3114     const char *big_p;
3115     const char *little_p;
3116     bool big_utf8;
3117     bool little_utf8;
3118     const bool is_index = PL_op->op_type == OP_INDEX;
3119     const bool threeargs = MAXARG >= 3 && (TOPs || ((void)POPs,0));
3120
3121     if (threeargs)
3122         offset = POPi;
3123     little = POPs;
3124     big = POPs;
3125     big_p = SvPV_const(big, biglen);
3126     little_p = SvPV_const(little, llen);
3127
3128     big_utf8 = DO_UTF8(big);
3129     little_utf8 = DO_UTF8(little);
3130     if (big_utf8 ^ little_utf8) {
3131         /* One needs to be upgraded.  */
3132         if (little_utf8 && !PL_encoding) {
3133             /* Well, maybe instead we might be able to downgrade the small
3134                string?  */
3135             char * const pv = (char*)bytes_from_utf8((U8 *)little_p, &llen,
3136                                                      &little_utf8);
3137             if (little_utf8) {
3138                 /* If the large string is ISO-8859-1, and it's not possible to
3139                    convert the small string to ISO-8859-1, then there is no
3140                    way that it could be found anywhere by index.  */
3141                 retval = -1;
3142                 goto fail;
3143             }
3144
3145             /* At this point, pv is a malloc()ed string. So donate it to temp
3146                to ensure it will get free()d  */
3147             little = temp = newSV(0);
3148             sv_usepvn(temp, pv, llen);
3149             little_p = SvPVX(little);
3150         } else {
3151             temp = little_utf8
3152                 ? newSVpvn(big_p, biglen) : newSVpvn(little_p, llen);
3153
3154             if (PL_encoding) {
3155                 sv_recode_to_utf8(temp, PL_encoding);
3156             } else {
3157                 sv_utf8_upgrade(temp);
3158             }
3159             if (little_utf8) {
3160                 big = temp;
3161                 big_utf8 = TRUE;
3162                 big_p = SvPV_const(big, biglen);
3163             } else {
3164                 little = temp;
3165                 little_p = SvPV_const(little, llen);
3166             }
3167         }
3168     }
3169     if (SvGAMAGIC(big)) {
3170         /* Life just becomes a lot easier if I use a temporary here.
3171            Otherwise I need to avoid calls to sv_pos_u2b(), which (dangerously)
3172            will trigger magic and overloading again, as will fbm_instr()
3173         */
3174         big = newSVpvn_flags(big_p, biglen,
3175                              SVs_TEMP | (big_utf8 ? SVf_UTF8 : 0));
3176         big_p = SvPVX(big);
3177     }
3178     if (SvGAMAGIC(little) || (is_index && !SvOK(little))) {
3179         /* index && SvOK() is a hack. fbm_instr() calls SvPV_const, which will
3180            warn on undef, and we've already triggered a warning with the
3181            SvPV_const some lines above. We can't remove that, as we need to
3182            call some SvPV to trigger overloading early and find out if the
3183            string is UTF-8.
3184            This is all getting to messy. The API isn't quite clean enough,
3185            because data access has side effects.
3186         */
3187         little = newSVpvn_flags(little_p, llen,
3188                                 SVs_TEMP | (little_utf8 ? SVf_UTF8 : 0));
3189         little_p = SvPVX(little);
3190     }
3191
3192     if (!threeargs)
3193         offset = is_index ? 0 : biglen;
3194     else {
3195         if (big_utf8 && offset > 0)
3196             sv_pos_u2b(big, &offset, 0);
3197         if (!is_index)
3198             offset += llen;
3199     }
3200     if (offset < 0)
3201         offset = 0;
3202     else if (offset > (I32)biglen)
3203         offset = biglen;
3204     if (!(little_p = is_index
3205           ? fbm_instr((unsigned char*)big_p + offset,
3206                       (unsigned char*)big_p + biglen, little, 0)
3207           : rninstr(big_p,  big_p  + offset,
3208                     little_p, little_p + llen)))
3209         retval = -1;
3210     else {
3211         retval = little_p - big_p;
3212         if (retval > 0 && big_utf8)
3213             sv_pos_b2u(big, &retval);
3214     }
3215     SvREFCNT_dec(temp);
3216  fail:
3217     PUSHi(retval);
3218     RETURN;
3219 }
3220
3221 PP(pp_sprintf)
3222 {
3223     dVAR; dSP; dMARK; dORIGMARK; dTARGET;
3224     SvTAINTED_off(TARG);
3225     do_sprintf(TARG, SP-MARK, MARK+1);
3226     TAINT_IF(SvTAINTED(TARG));
3227     SP = ORIGMARK;
3228     PUSHTARG;
3229     RETURN;
3230 }
3231
3232 PP(pp_ord)
3233 {
3234     dVAR; dSP; dTARGET;
3235
3236     SV *argsv = POPs;
3237     STRLEN len;
3238     const U8 *s = (U8*)SvPV_const(argsv, len);
3239
3240     if (PL_encoding && SvPOK(argsv) && !DO_UTF8(argsv)) {
3241         SV * const tmpsv = sv_2mortal(newSVsv(argsv));
3242         s = (U8*)sv_recode_to_utf8(tmpsv, PL_encoding);
3243         argsv = tmpsv;
3244     }
3245
3246     XPUSHu(DO_UTF8(argsv) ?
3247            utf8n_to_uvchr(s, UTF8_MAXBYTES, 0, UTF8_ALLOW_ANYUV) :
3248            (UV)(*s & 0xff));
3249
3250     RETURN;
3251 }
3252
3253 PP(pp_chr)
3254 {
3255     dVAR; dSP; dTARGET;
3256     char *tmps;
3257     UV value;
3258     SV *top = POPs;
3259
3260     SvGETMAGIC(top);
3261     if (!IN_BYTES /* under bytes, chr(-1) eq chr(0xff), etc. */
3262      && ((SvIOKp(top) && !SvIsUV(top) && SvIV_nomg(top) < 0)
3263          ||
3264          ((SvNOKp(top) || (SvOK(top) && !SvIsUV(top)))
3265           && SvNV_nomg(top) < 0.0))) {
3266             if (ckWARN(WARN_UTF8)) {
3267                 if (SvGMAGICAL(top)) {
3268                     SV *top2 = sv_newmortal();
3269                     sv_setsv_nomg(top2, top);
3270                     top = top2;
3271                 }
3272                 Perl_warner(aTHX_ packWARN(WARN_UTF8),
3273                            "Invalid negative number (%"SVf") in chr", top);
3274             }
3275             value = UNICODE_REPLACEMENT;
3276     } else {
3277         value = SvUV_nomg(top);
3278     }
3279
3280     SvUPGRADE(TARG,SVt_PV);
3281
3282     if (value > 255 && !IN_BYTES) {
3283         SvGROW(TARG, (STRLEN)UNISKIP(value)+1);
3284         tmps = (char*)uvchr_to_utf8_flags((U8*)SvPVX(TARG), value, 0);
3285         SvCUR_set(TARG, tmps - SvPVX_const(TARG));
3286         *tmps = '\0';
3287         (void)SvPOK_only(TARG);
3288         SvUTF8_on(TARG);
3289         XPUSHs(TARG);
3290         RETURN;
3291     }
3292
3293     SvGROW(TARG,2);
3294     SvCUR_set(TARG, 1);
3295     tmps = SvPVX(TARG);
3296     *tmps++ = (char)value;
3297     *tmps = '\0';
3298     (void)SvPOK_only(TARG);
3299
3300     if (PL_encoding && !IN_BYTES) {
3301         sv_recode_to_utf8(TARG, PL_encoding);
3302         tmps = SvPVX(TARG);
3303         if (SvCUR(TARG) == 0
3304             || ! is_utf8_string((U8*)tmps, SvCUR(TARG))
3305             || UTF8_IS_REPLACEMENT((U8*) tmps, (U8*) tmps + SvCUR(TARG)))
3306         {
3307             SvGROW(TARG, 2);
3308             tmps = SvPVX(TARG);
3309             SvCUR_set(TARG, 1);
3310             *tmps++ = (char)value;
3311             *tmps = '\0';
3312             SvUTF8_off(TARG);
3313         }
3314     }
3315
3316     XPUSHs(TARG);
3317     RETURN;
3318 }
3319
3320 PP(pp_crypt)
3321 {
3322 #ifdef HAS_CRYPT
3323     dVAR; dSP; dTARGET;
3324     dPOPTOPssrl;
3325     STRLEN len;
3326     const char *tmps = SvPV_const(left, len);
3327
3328     if (DO_UTF8(left)) {
3329          /* If Unicode, try to downgrade.
3330           * If not possible, croak.
3331           * Yes, we made this up.  */
3332          SV* const tsv = sv_2mortal(newSVsv(left));
3333
3334          SvUTF8_on(tsv);
3335          sv_utf8_downgrade(tsv, FALSE);
3336          tmps = SvPV_const(tsv, len);
3337     }
3338 #   ifdef USE_ITHREADS
3339 #     ifdef HAS_CRYPT_R
3340     if (!PL_reentrant_buffer->_crypt_struct_buffer) {
3341       /* This should be threadsafe because in ithreads there is only
3342        * one thread per interpreter.  If this would not be true,
3343        * we would need a mutex to protect this malloc. */
3344         PL_reentrant_buffer->_crypt_struct_buffer =
3345           (struct crypt_data *)safemalloc(sizeof(struct crypt_data));
3346 #if defined(__GLIBC__) || defined(__EMX__)
3347         if (PL_reentrant_buffer->_crypt_struct_buffer) {
3348             PL_reentrant_buffer->_crypt_struct_buffer->initialized = 0;
3349             /* work around glibc-2.2.5 bug */
3350             PL_reentrant_buffer->_crypt_struct_buffer->current_saltbits = 0;
3351         }
3352 #endif
3353     }
3354 #     endif /* HAS_CRYPT_R */
3355 #   endif /* USE_ITHREADS */
3356 #   ifdef FCRYPT
3357     sv_setpv(TARG, fcrypt(tmps, SvPV_nolen_const(right)));
3358 #   else
3359     sv_setpv(TARG, PerlProc_crypt(tmps, SvPV_nolen_const(right)));
3360 #   endif
3361     SETTARG;
3362     RETURN;
3363 #else
3364     DIE(aTHX_
3365       "The crypt() function is unimplemented due to excessive paranoia.");
3366 #endif
3367 }
3368
3369 /* Generally UTF-8 and UTF-EBCDIC are indistinguishable at this level.  So
3370  * most comments below say UTF-8, when in fact they mean UTF-EBCDIC as well */
3371
3372 /* Generates code to store a unicode codepoint c that is known to occupy
3373  * exactly two UTF-8 and UTF-EBCDIC bytes; it is stored into p and p+1,
3374  * and p is advanced to point to the next available byte after the two bytes */
3375 #define CAT_UNI_TO_UTF8_TWO_BYTE(p, c)                                      \
3376     STMT_START {                                                            \
3377         *(p)++ = UTF8_TWO_BYTE_HI(c);                                       \
3378         *((p)++) = UTF8_TWO_BYTE_LO(c);                                     \
3379     } STMT_END
3380
3381 PP(pp_ucfirst)
3382 {
3383     /* Actually is both lcfirst() and ucfirst().  Only the first character
3384      * changes.  This means that possibly we can change in-place, ie., just
3385      * take the source and change that one character and store it back, but not
3386      * if read-only etc, or if the length changes */
3387
3388     dVAR;
3389     dSP;
3390     SV *source = TOPs;
3391     STRLEN slen; /* slen is the byte length of the whole SV. */
3392     STRLEN need;
3393     SV *dest;
3394     bool inplace;   /* ? Convert first char only, in-place */
3395     bool doing_utf8 = FALSE;               /* ? using utf8 */
3396     bool convert_source_to_utf8 = FALSE;   /* ? need to convert */
3397     const int op_type = PL_op->op_type;
3398     const U8 *s;
3399     U8 *d;
3400     U8 tmpbuf[UTF8_MAXBYTES_CASE+1];
3401     STRLEN ulen;    /* ulen is the byte length of the original Unicode character
3402                      * stored as UTF-8 at s. */
3403     STRLEN tculen;  /* tculen is the byte length of the freshly titlecased (or
3404                      * lowercased) character stored in tmpbuf.  May be either
3405                      * UTF-8 or not, but in either case is the number of bytes */
3406     bool tainted = FALSE;
3407
3408     SvGETMAGIC(source);
3409     if (SvOK(source)) {
3410         s = (const U8*)SvPV_nomg_const(source, slen);
3411     } else {
3412         if (ckWARN(WARN_UNINITIALIZED))
3413             report_uninit(source);
3414         s = (const U8*)"";
3415         slen = 0;
3416     }
3417
3418     /* We may be able to get away with changing only the first character, in
3419      * place, but not if read-only, etc.  Later we may discover more reasons to
3420      * not convert in-place. */
3421     inplace = SvPADTMP(source) && !SvREADONLY(source) && SvTEMP(source);
3422
3423     /* First calculate what the changed first character should be.  This affects
3424      * whether we can just swap it out, leaving the rest of the string unchanged,
3425      * or even if have to convert the dest to UTF-8 when the source isn't */
3426
3427     if (! slen) {   /* If empty */
3428         need = 1; /* still need a trailing NUL */
3429         ulen = 0;
3430     }
3431     else if (DO_UTF8(source)) { /* Is the source utf8? */
3432         doing_utf8 = TRUE;
3433         ulen = UTF8SKIP(s);
3434         if (op_type == OP_UCFIRST) {
3435             _to_utf8_title_flags(s, tmpbuf, &tculen,
3436                                  cBOOL(IN_LOCALE_RUNTIME), &tainted);
3437         }
3438         else {
3439             _to_utf8_lower_flags(s, tmpbuf, &tculen,
3440                                  cBOOL(IN_LOCALE_RUNTIME), &tainted);
3441         }
3442
3443         /* we can't do in-place if the length changes.  */
3444         if (ulen != tculen) inplace = FALSE;
3445         need = slen + 1 - ulen + tculen;
3446     }
3447     else { /* Non-zero length, non-UTF-8,  Need to consider locale and if
3448             * latin1 is treated as caseless.  Note that a locale takes
3449             * precedence */
3450         ulen = 1;       /* Original character is 1 byte */
3451         tculen = 1;     /* Most characters will require one byte, but this will
3452                          * need to be overridden for the tricky ones */
3453         need = slen + 1;
3454
3455         if (op_type == OP_LCFIRST) {
3456
3457             /* lower case the first letter: no trickiness for any character */
3458             *tmpbuf = (IN_LOCALE_RUNTIME) ? toLOWER_LC(*s) :
3459                         ((IN_UNI_8_BIT) ? toLOWER_LATIN1(*s) : toLOWER(*s));
3460         }
3461         /* is ucfirst() */
3462         else if (IN_LOCALE_RUNTIME) {
3463             *tmpbuf = toUPPER_LC(*s);   /* This would be a bug if any locales
3464                                          * have upper and title case different
3465                                          */
3466         }
3467         else if (! IN_UNI_8_BIT) {
3468             *tmpbuf = toUPPER(*s);      /* Returns caseless for non-ascii, or
3469                                          * on EBCDIC machines whatever the
3470                                          * native function does */
3471         }
3472         else { /* is ucfirst non-UTF-8, not in locale, and cased latin1 */
3473             UV title_ord = _to_upper_title_latin1(*s, tmpbuf, &tculen, 's');
3474             if (tculen > 1) {
3475                 assert(tculen == 2);
3476
3477                 /* If the result is an upper Latin1-range character, it can
3478                  * still be represented in one byte, which is its ordinal */
3479                 if (UTF8_IS_DOWNGRADEABLE_START(*tmpbuf)) {
3480                     *tmpbuf = (U8) title_ord;
3481                     tculen = 1;
3482                 }
3483                 else {
3484                     /* Otherwise it became more than one ASCII character (in
3485                      * the case of LATIN_SMALL_LETTER_SHARP_S) or changed to
3486                      * beyond Latin1, so the number of bytes changed, so can't
3487                      * replace just the first character in place. */
3488                     inplace = FALSE;
3489
3490                     /* If the result won't fit in a byte, the entire result will
3491                      * have to be in UTF-8.  Assume worst case sizing in
3492                      * conversion. (all latin1 characters occupy at most two bytes
3493                      * in utf8) */
3494                     if (title_ord > 255) {
3495                         doing_utf8 = TRUE;
3496                         convert_source_to_utf8 = TRUE;
3497                         need = slen * 2 + 1;
3498
3499                         /* The (converted) UTF-8 and UTF-EBCDIC lengths of all
3500                          * (both) characters whose title case is above 255 is
3501                          * 2. */
3502                         ulen = 2;
3503                     }
3504                     else { /* LATIN_SMALL_LETTER_SHARP_S expands by 1 byte */
3505                         need = slen + 1 + 1;
3506                     }
3507                 }
3508             }
3509         } /* End of use Unicode (Latin1) semantics */
3510     } /* End of changing the case of the first character */
3511
3512     /* Here, have the first character's changed case stored in tmpbuf.  Ready to
3513      * generate the result */
3514     if (inplace) {
3515
3516         /* We can convert in place.  This means we change just the first
3517          * character without disturbing the rest; no need to grow */
3518         dest = source;
3519         s = d = (U8*)SvPV_force_nomg(source, slen);
3520     } else {
3521         dTARGET;
3522
3523         dest = TARG;
3524
3525         /* Here, we can't convert in place; we earlier calculated how much
3526          * space we will need, so grow to accommodate that */
3527         SvUPGRADE(dest, SVt_PV);
3528         d = (U8*)SvGROW(dest, need);
3529         (void)SvPOK_only(dest);
3530
3531         SETs(dest);
3532     }
3533
3534     if (doing_utf8) {
3535         if (! inplace) {
3536             if (! convert_source_to_utf8) {
3537
3538                 /* Here  both source and dest are in UTF-8, but have to create
3539                  * the entire output.  We initialize the result to be the
3540                  * title/lower cased first character, and then append the rest
3541                  * of the string. */
3542                 sv_setpvn(dest, (char*)tmpbuf, tculen);
3543                 if (slen > ulen) {
3544                     sv_catpvn(dest, (char*)(s + ulen), slen - ulen);
3545                 }
3546             }
3547             else {
3548                 const U8 *const send = s + slen;
3549
3550                 /* Here the dest needs to be in UTF-8, but the source isn't,
3551                  * except we earlier UTF-8'd the first character of the source
3552                  * into tmpbuf.  First put that into dest, and then append the
3553                  * rest of the source, converting it to UTF-8 as we go. */
3554
3555                 /* Assert tculen is 2 here because the only two characters that
3556                  * get to this part of the code have 2-byte UTF-8 equivalents */
3557                 *d++ = *tmpbuf;
3558                 *d++ = *(tmpbuf + 1);
3559                 s++;    /* We have just processed the 1st char */
3560
3561                 for (; s < send; s++) {
3562                     d = uvchr_to_utf8(d, *s);
3563                 }
3564                 *d = '\0';
3565                 SvCUR_set(dest, d - (U8*)SvPVX_const(dest));
3566             }
3567             SvUTF8_on(dest);
3568         }
3569         else {   /* in-place UTF-8.  Just overwrite the first character */
3570             Copy(tmpbuf, d, tculen, U8);
3571             SvCUR_set(dest, need - 1);
3572         }
3573
3574         if (tainted) {
3575             TAINT;
3576             SvTAINTED_on(dest);
3577         }
3578     }
3579     else {  /* Neither source nor dest are in or need to be UTF-8 */
3580         if (slen) {
3581             if (IN_LOCALE_RUNTIME) {
3582                 TAINT;
3583                 SvTAINTED_on(dest);
3584             }
3585             if (inplace) {  /* in-place, only need to change the 1st char */
3586                 *d = *tmpbuf;
3587             }
3588             else {      /* Not in-place */
3589
3590                 /* Copy the case-changed character(s) from tmpbuf */
3591                 Copy(tmpbuf, d, tculen, U8);
3592                 d += tculen - 1; /* Code below expects d to point to final
3593                                   * character stored */
3594             }
3595         }
3596         else {  /* empty source */
3597             /* See bug #39028: Don't taint if empty  */
3598             *d = *s;
3599         }
3600
3601         /* In a "use bytes" we don't treat the source as UTF-8, but, still want
3602          * the destination to retain that flag */
3603         if (SvUTF8(source))
3604             SvUTF8_on(dest);
3605
3606         if (!inplace) { /* Finish the rest of the string, unchanged */
3607             /* This will copy the trailing NUL  */
3608             Copy(s + 1, d + 1, slen, U8);
3609             SvCUR_set(dest, need - 1);
3610         }
3611     }
3612     if (dest != source && SvTAINTED(source))
3613         SvTAINT(dest);
3614     SvSETMAGIC(dest);
3615     RETURN;
3616 }
3617
3618 /* There's so much setup/teardown code common between uc and lc, I wonder if
3619    it would be worth merging the two, and just having a switch outside each
3620    of the three tight loops.  There is less and less commonality though */
3621 PP(pp_uc)
3622 {
3623     dVAR;
3624     dSP;
3625     SV *source = TOPs;
3626     STRLEN len;
3627     STRLEN min;
3628     SV *dest;
3629     const U8 *s;
3630     U8 *d;
3631
3632     SvGETMAGIC(source);
3633
3634     if (SvPADTMP(source) && !SvREADONLY(source) && !SvAMAGIC(source)
3635         && SvTEMP(source) && !DO_UTF8(source)
3636         && (IN_LOCALE_RUNTIME || ! IN_UNI_8_BIT)) {
3637
3638         /* We can convert in place.  The reason we can't if in UNI_8_BIT is to
3639          * make the loop tight, so we overwrite the source with the dest before
3640          * looking at it, and we need to look at the original source
3641          * afterwards.  There would also need to be code added to handle
3642          * switching to not in-place in midstream if we run into characters
3643          * that change the length.
3644          */
3645         dest = source;
3646         s = d = (U8*)SvPV_force_nomg(source, len);
3647         min = len + 1;
3648     } else {
3649         dTARGET;
3650
3651         dest = TARG;
3652
3653         /* The old implementation would copy source into TARG at this point.
3654            This had the side effect that if source was undef, TARG was now
3655            an undefined SV with PADTMP set, and they don't warn inside
3656            sv_2pv_flags(). However, we're now getting the PV direct from
3657            source, which doesn't have PADTMP set, so it would warn. Hence the
3658            little games.  */
3659
3660         if (SvOK(source)) {
3661             s = (const U8*)SvPV_nomg_const(source, len);
3662         } else {
3663             if (ckWARN(WARN_UNINITIALIZED))
3664                 report_uninit(source);
3665             s = (const U8*)"";
3666             len = 0;
3667         }
3668         min = len + 1;
3669
3670         SvUPGRADE(dest, SVt_PV);
3671         d = (U8*)SvGROW(dest, min);
3672         (void)SvPOK_only(dest);
3673
3674         SETs(dest);
3675     }
3676
3677     /* Overloaded values may have toggled the UTF-8 flag on source, so we need
3678        to check DO_UTF8 again here.  */
3679
3680     if (DO_UTF8(source)) {
3681         const U8 *const send = s + len;
3682         U8 tmpbuf[UTF8_MAXBYTES+1];
3683         bool tainted = FALSE;
3684
3685         /* All occurrences of these are to be moved to follow any other marks.
3686          * This is context-dependent.  We may not be passed enough context to
3687          * move the iota subscript beyond all of them, but we do the best we can
3688          * with what we're given.  The result is always better than if we
3689          * hadn't done this.  And, the problem would only arise if we are
3690          * passed a character without all its combining marks, which would be
3691          * the caller's mistake.  The information this is based on comes from a
3692          * comment in Unicode SpecialCasing.txt, (and the Standard's text
3693          * itself) and so can't be checked properly to see if it ever gets
3694          * revised.  But the likelihood of it changing is remote */
3695         bool in_iota_subscript = FALSE;
3696
3697         while (s < send) {
3698             STRLEN u;
3699             STRLEN ulen;
3700             UV uv;
3701             if (in_iota_subscript && ! is_utf8_mark(s)) {
3702
3703                 /* A non-mark.  Time to output the iota subscript */
3704 #define GREEK_CAPITAL_LETTER_IOTA 0x0399
3705 #define COMBINING_GREEK_YPOGEGRAMMENI 0x0345
3706
3707                 CAT_UNI_TO_UTF8_TWO_BYTE(d, GREEK_CAPITAL_LETTER_IOTA);
3708                 in_iota_subscript = FALSE;
3709             }
3710
3711             /* Then handle the current character.  Get the changed case value
3712              * and copy it to the output buffer */
3713
3714             u = UTF8SKIP(s);
3715             uv = _to_utf8_upper_flags(s, tmpbuf, &ulen,
3716                                       cBOOL(IN_LOCALE_RUNTIME), &tainted);
3717             if (uv == GREEK_CAPITAL_LETTER_IOTA
3718                 && utf8_to_uvchr_buf(s, send, 0) == COMBINING_GREEK_YPOGEGRAMMENI)
3719             {
3720                 in_iota_subscript = TRUE;
3721             }
3722             else {
3723                 if (ulen > u && (SvLEN(dest) < (min += ulen - u))) {
3724                     /* If the eventually required minimum size outgrows the
3725                      * available space, we need to grow. */
3726                     const UV o = d - (U8*)SvPVX_const(dest);
3727
3728                     /* If someone uppercases one million U+03B0s we SvGROW()
3729                      * one million times.  Or we could try guessing how much to
3730                      * allocate without allocating too much.  Such is life.
3731                      * See corresponding comment in lc code for another option
3732                      * */
3733                     SvGROW(dest, min);
3734                     d = (U8*)SvPVX(dest) + o;
3735                 }
3736                 Copy(tmpbuf, d, ulen, U8);
3737                 d += ulen;
3738             }
3739             s += u;
3740         }
3741         if (in_iota_subscript) {
3742             CAT_UNI_TO_UTF8_TWO_BYTE(d, GREEK_CAPITAL_LETTER_IOTA);
3743         }
3744         SvUTF8_on(dest);
3745         *d = '\0';
3746
3747         SvCUR_set(dest, d - (U8*)SvPVX_const(dest));
3748         if (tainted) {
3749             TAINT;
3750             SvTAINTED_on(dest);
3751         }
3752     }
3753     else {      /* Not UTF-8 */
3754         if (len) {
3755             const U8 *const send = s + len;
3756
3757             /* Use locale casing if in locale; regular style if not treating
3758              * latin1 as having case; otherwise the latin1 casing.  Do the
3759              * whole thing in a tight loop, for speed, */
3760             if (IN_LOCALE_RUNTIME) {
3761                 TAINT;
3762                 SvTAINTED_on(dest);
3763                 for (; s < send; d++, s++)
3764                     *d = toUPPER_LC(*s);
3765             }
3766             else if (! IN_UNI_8_BIT) {
3767                 for (; s < send; d++, s++) {
3768                     *d = toUPPER(*s);
3769                 }
3770             }
3771             else {
3772                 for (; s < send; d++, s++) {
3773                     *d = toUPPER_LATIN1_MOD(*s);
3774                     if (LIKELY(*d != LATIN_SMALL_LETTER_Y_WITH_DIAERESIS)) continue;
3775
3776                     /* The mainstream case is the tight loop above.  To avoid
3777                      * extra tests in that, all three characters that require
3778                      * special handling are mapped by the MOD to the one tested
3779                      * just above.
3780                      * Use the source to distinguish between the three cases */
3781
3782                     if (*s == LATIN_SMALL_LETTER_SHARP_S) {
3783
3784                         /* uc() of this requires 2 characters, but they are
3785                          * ASCII.  If not enough room, grow the string */
3786                         if (SvLEN(dest) < ++min) {
3787                             const UV o = d - (U8*)SvPVX_const(dest);
3788                             SvGROW(dest, min);
3789                             d = (U8*)SvPVX(dest) + o;
3790                         }
3791                         *d++ = 'S'; *d = 'S'; /* upper case is 'SS' */
3792                         continue;   /* Back to the tight loop; still in ASCII */
3793                     }
3794
3795                     /* The other two special handling characters have their
3796                      * upper cases outside the latin1 range, hence need to be
3797                      * in UTF-8, so the whole result needs to be in UTF-8.  So,
3798                      * here we are somewhere in the middle of processing a
3799                      * non-UTF-8 string, and realize that we will have to convert
3800                      * the whole thing to UTF-8.  What to do?  There are
3801                      * several possibilities.  The simplest to code is to
3802                      * convert what we have so far, set a flag, and continue on
3803                      * in the loop.  The flag would be tested each time through
3804                      * the loop, and if set, the next character would be
3805                      * converted to UTF-8 and stored.  But, I (khw) didn't want
3806                      * to slow down the mainstream case at all for this fairly
3807                      * rare case, so I didn't want to add a test that didn't
3808                      * absolutely have to be there in the loop, besides the
3809                      * possibility that it would get too complicated for
3810                      * optimizers to deal with.  Another possibility is to just
3811                      * give up, convert the source to UTF-8, and restart the
3812                      * function that way.  Another possibility is to convert
3813                      * both what has already been processed and what is yet to
3814                      * come separately to UTF-8, then jump into the loop that
3815                      * handles UTF-8.  But the most efficient time-wise of the
3816                      * ones I could think of is what follows, and turned out to
3817                      * not require much extra code.  */
3818
3819                     /* Convert what we have so far into UTF-8, telling the
3820                      * function that we know it should be converted, and to
3821                      * allow extra space for what we haven't processed yet.
3822                      * Assume the worst case space requirements for converting
3823                      * what we haven't processed so far: that it will require
3824                      * two bytes for each remaining source character, plus the
3825                      * NUL at the end.  This may cause the string pointer to
3826                      * move, so re-find it. */
3827
3828                     len = d - (U8*)SvPVX_const(dest);
3829                     SvCUR_set(dest, len);
3830                     len = sv_utf8_upgrade_flags_grow(dest,
3831                                                 SV_GMAGIC|SV_FORCE_UTF8_UPGRADE,
3832                                                 (send -s) * 2 + 1);
3833                     d = (U8*)SvPVX(dest) + len;
3834
3835                     /* Now process the remainder of the source, converting to
3836                      * upper and UTF-8.  If a resulting byte is invariant in
3837                      * UTF-8, output it as-is, otherwise convert to UTF-8 and
3838                      * append it to the output. */
3839                     for (; s < send; s++) {
3840                         (void) _to_upper_title_latin1(*s, d, &len, 'S');
3841                         d += len;
3842                     }
3843
3844                     /* Here have processed the whole source; no need to continue
3845                      * with the outer loop.  Each character has been converted
3846                      * to upper case and converted to UTF-8 */
3847
3848                     break;
3849                 } /* End of processing all latin1-style chars */
3850             } /* End of processing all chars */
3851         } /* End of source is not empty */
3852
3853         if (source != dest) {
3854             *d = '\0';  /* Here d points to 1 after last char, add NUL */
3855             SvCUR_set(dest, d - (U8*)SvPVX_const(dest));
3856         }
3857     } /* End of isn't utf8 */
3858     if (dest != source && SvTAINTED(source))
3859         SvTAINT(dest);
3860     SvSETMAGIC(dest);
3861     RETURN;
3862 }
3863
3864 PP(pp_lc)
3865 {
3866     dVAR;
3867     dSP;
3868     SV *source = TOPs;
3869     STRLEN len;
3870     STRLEN min;
3871     SV *dest;
3872     const U8 *s;
3873     U8 *d;
3874
3875     SvGETMAGIC(source);
3876
3877     if (SvPADTMP(source) && !SvREADONLY(source) && !SvAMAGIC(source)
3878         && SvTEMP(source) && !DO_UTF8(source)) {
3879
3880         /* We can convert in place, as lowercasing anything in the latin1 range
3881          * (or else DO_UTF8 would have been on) doesn't lengthen it */
3882         dest = source;
3883         s = d = (U8*)SvPV_force_nomg(source, len);
3884         min = len + 1;
3885     } else {
3886         dTARGET;
3887
3888         dest = TARG;
3889
3890         /* The old implementation would copy source into TARG at this point.
3891            This had the side effect that if source was undef, TARG was now
3892            an undefined SV with PADTMP set, and they don't warn inside
3893            sv_2pv_flags(). However, we're now getting the PV direct from
3894            source, which doesn't have PADTMP set, so it would warn. Hence the
3895            little games.  */
3896
3897         if (SvOK(source)) {
3898             s = (const U8*)SvPV_nomg_const(source, len);
3899         } else {
3900             if (ckWARN(WARN_UNINITIALIZED))
3901                 report_uninit(source);
3902             s = (const U8*)"";
3903             len = 0;
3904         }
3905         min = len + 1;
3906
3907         SvUPGRADE(dest, SVt_PV);
3908         d = (U8*)SvGROW(dest, min);
3909         (void)SvPOK_only(dest);
3910
3911         SETs(dest);
3912     }
3913
3914     /* Overloaded values may have toggled the UTF-8 flag on source, so we need
3915        to check DO_UTF8 again here.  */
3916
3917     if (DO_UTF8(source)) {
3918         const U8 *const send = s + len;
3919         U8 tmpbuf[UTF8_MAXBYTES_CASE+1];
3920         bool tainted = FALSE;
3921
3922         while (s < send) {
3923             const STRLEN u = UTF8SKIP(s);
3924             STRLEN ulen;
3925
3926             _to_utf8_lower_flags(s, tmpbuf, &ulen,
3927                                  cBOOL(IN_LOCALE_RUNTIME), &tainted);
3928
3929             /* Here is where we would do context-sensitive actions.  See the
3930              * commit message for this comment for why there isn't any */
3931
3932             if (ulen > u && (SvLEN(dest) < (min += ulen - u))) {
3933
3934                 /* If the eventually required minimum size outgrows the
3935                  * available space, we need to grow. */
3936                 const UV o = d - (U8*)SvPVX_const(dest);
3937
3938                 /* If someone lowercases one million U+0130s we SvGROW() one
3939                  * million times.  Or we could try guessing how much to
3940                  * allocate without allocating too much.  Such is life.
3941                  * Another option would be to grow an extra byte or two more
3942                  * each time we need to grow, which would cut down the million
3943                  * to 500K, with little waste */
3944                 SvGROW(dest, min);
3945                 d = (U8*)SvPVX(dest) + o;
3946             }
3947
3948             /* Copy the newly lowercased letter to the output buffer we're
3949              * building */
3950             Copy(tmpbuf, d, ulen, U8);
3951             d += ulen;
3952             s += u;
3953         }   /* End of looping through the source string */
3954         SvUTF8_on(dest);
3955         *d = '\0';
3956         SvCUR_set(dest, d - (U8*)SvPVX_const(dest));
3957         if (tainted) {
3958             TAINT;
3959             SvTAINTED_on(dest);
3960         }
3961     } else {    /* Not utf8 */
3962         if (len) {
3963             const U8 *const send = s + len;
3964
3965             /* Use locale casing if in locale; regular style if not treating
3966              * latin1 as having case; otherwise the latin1 casing.  Do the
3967              * whole thing in a tight loop, for speed, */
3968             if (IN_LOCALE_RUNTIME) {
3969                 TAINT;
3970                 SvTAINTED_on(dest);
3971                 for (; s < send; d++, s++)
3972                     *d = toLOWER_LC(*s);
3973             }
3974             else if (! IN_UNI_8_BIT) {
3975                 for (; s < send; d++, s++) {
3976                     *d = toLOWER(*s);
3977                 }
3978             }
3979             else {
3980                 for (; s < send; d++, s++) {
3981                     *d = toLOWER_LATIN1(*s);
3982                 }
3983             }
3984         }
3985         if (source != dest) {
3986             *d = '\0';
3987             SvCUR_set(dest, d - (U8*)SvPVX_const(dest));
3988         }
3989     }
3990     if (dest != source && SvTAINTED(source))
3991         SvTAINT(dest);
3992     SvSETMAGIC(dest);
3993     RETURN;
3994 }
3995
3996 PP(pp_quotemeta)
3997 {
3998     dVAR; dSP; dTARGET;
3999     SV * const sv = TOPs;
4000     STRLEN len;
4001     register const char *s = SvPV_const(sv,len);
4002
4003     SvUTF8_off(TARG);                           /* decontaminate */
4004     if (len) {
4005         register char *d;
4006         SvUPGRADE(TARG, SVt_PV);
4007         SvGROW(TARG, (len * 2) + 1);
4008         d = SvPVX(TARG);
4009         if (DO_UTF8(sv)) {
4010             while (len) {
4011                 STRLEN ulen = UTF8SKIP(s);
4012                 bool to_quote = FALSE;
4013
4014                 if (UTF8_IS_INVARIANT(*s)) {
4015                     if (_isQUOTEMETA(*s)) {
4016                         to_quote = TRUE;
4017                     }
4018                 }
4019                 else if (UTF8_IS_DOWNGRADEABLE_START(*s)) {
4020
4021                     /* In locale, we quote all non-ASCII Latin1 chars.
4022                      * Otherwise use the quoting rules */
4023                     if (IN_LOCALE_RUNTIME
4024                         || _isQUOTEMETA(TWO_BYTE_UTF8_TO_UNI(*s, *(s + 1))))
4025                     {
4026                         to_quote = TRUE;
4027                     }
4028                 }
4029                 else if (_is_utf8_quotemeta((U8 *) s)) {
4030                     to_quote = TRUE;
4031                 }
4032
4033                 if (to_quote) {
4034                     *d++ = '\\';
4035                 }
4036                 if (ulen > len)
4037                     ulen = len;
4038                 len -= ulen;
4039                 while (ulen--)
4040                     *d++ = *s++;
4041             }
4042             SvUTF8_on(TARG);
4043         }
4044         else if (IN_UNI_8_BIT) {
4045             while (len--) {
4046                 if (_isQUOTEMETA(*s))
4047                     *d++ = '\\';
4048                 *d++ = *s++;
4049             }
4050         }
4051         else {
4052             /* For non UNI_8_BIT (and hence in locale) just quote all \W
4053              * including everything above ASCII */
4054             while (len--) {
4055                 if (!isWORDCHAR_A(*s))
4056                     *d++ = '\\';
4057                 *d++ = *s++;
4058             }
4059         }
4060         *d = '\0';
4061         SvCUR_set(TARG, d - SvPVX_const(TARG));
4062         (void)SvPOK_only_UTF8(TARG);
4063     }
4064     else
4065         sv_setpvn(TARG, s, len);
4066     SETTARG;
4067     RETURN;
4068 }
4069
4070 PP(pp_fc)
4071 {
4072     dVAR;
4073     dTARGET;
4074     dSP;
4075     SV *source = TOPs;
4076     STRLEN len;
4077     STRLEN min;
4078     SV *dest;
4079     const U8 *s;
4080     const U8 *send;
4081     U8 *d;
4082     U8 tmpbuf[UTF8_MAXBYTES * UTF8_MAX_FOLD_CHAR_EXPAND + 1];
4083     const bool full_folding = TRUE;
4084     const U8 flags = ( full_folding      ? FOLD_FLAGS_FULL   : 0 )
4085                    | ( IN_LOCALE_RUNTIME ? FOLD_FLAGS_LOCALE : 0 );
4086
4087     /* This is a facsimile of pp_lc, but with a thousand bugs thanks to me.
4088      * You are welcome(?) -Hugmeir
4089      */
4090
4091     SvGETMAGIC(source);
4092
4093     dest = TARG;
4094
4095     if (SvOK(source)) {
4096         s = (const U8*)SvPV_nomg_const(source, len);
4097     } else {
4098         if (ckWARN(WARN_UNINITIALIZED))
4099             report_uninit(source);
4100         s = (const U8*)"";
4101         len = 0;
4102     }
4103
4104     min = len + 1;
4105
4106     SvUPGRADE(dest, SVt_PV);
4107     d = (U8*)SvGROW(dest, min);
4108     (void)SvPOK_only(dest);
4109
4110     SETs(dest);
4111
4112     send = s + len;
4113     if (DO_UTF8(source)) { /* UTF-8 flagged string. */
4114         bool tainted = FALSE;
4115         while (s < send) {
4116             const STRLEN u = UTF8SKIP(s);
4117             STRLEN ulen;
4118
4119             _to_utf8_fold_flags(s, tmpbuf, &ulen, flags, &tainted);
4120
4121             if (ulen > u && (SvLEN(dest) < (min += ulen - u))) {
4122                 const UV o = d - (U8*)SvPVX_const(dest);
4123                 SvGROW(dest, min);
4124                 d = (U8*)SvPVX(dest) + o;
4125             }
4126
4127             Copy(tmpbuf, d, ulen, U8);
4128             d += ulen;
4129             s += u;
4130         }
4131         SvUTF8_on(dest);
4132         if (tainted) {
4133             TAINT;
4134             SvTAINTED_on(dest);
4135         }
4136     } /* Unflagged string */
4137     else if (len) {
4138         /* For locale, bytes, and nothing, the behavior is supposed to be the
4139          * same as lc().
4140          */
4141         if ( IN_LOCALE_RUNTIME ) { /* Under locale */
4142             TAINT;
4143             SvTAINTED_on(dest);
4144             for (; s < send; d++, s++)
4145                 *d = toLOWER_LC(*s);
4146         }
4147         else if ( !IN_UNI_8_BIT ) { /* Under nothing, or bytes */
4148             for (; s < send; d++, s++)
4149                 *d = toLOWER(*s);
4150         }
4151         else {
4152             /* For ASCII and the Latin-1 range, there's only two troublesome folds,
4153             * \x{DF} (\N{LATIN SMALL LETTER SHARP S}), which under full casefolding
4154             * becomes 'ss', and \x{B5} (\N{MICRO SIGN}), which under any fold becomes
4155             * \x{3BC} (\N{GREEK SMALL LETTER MU}) -- For the rest, the casefold is
4156             * their lowercase.
4157             */
4158             for (; s < send; d++, s++) {
4159                 if (*s == MICRO_SIGN) {
4160                     /* \N{MICRO SIGN}'s casefold is \N{GREEK SMALL LETTER MU}, which
4161                     * is outside of the latin-1 range. There's a couple of ways to
4162                     * deal with this -- khw discusses them in pp_lc/uc, so go there :)
4163                     * What we do here is upgrade what we had already casefolded,
4164                     * then enter an inner loop that appends the rest of the characters
4165                     * as UTF-8.
4166                     */
4167                     len = d - (U8*)SvPVX_const(dest);
4168                     SvCUR_set(dest, len);
4169                     len = sv_utf8_upgrade_flags_grow(dest,
4170                                                 SV_GMAGIC|SV_FORCE_UTF8_UPGRADE,
4171                                                 /* The max expansion for latin1
4172                                                  * chars is 1 byte becomes 2 */
4173                                                 (send -s) * 2 + 1);
4174                     d = (U8*)SvPVX(dest) + len;
4175
4176                     CAT_UNI_TO_UTF8_TWO_BYTE(d, GREEK_SMALL_LETTER_MU);
4177                     s++;
4178                     for (; s < send; s++) {
4179                         STRLEN ulen;
4180                         UV fc = _to_uni_fold_flags(*s, tmpbuf, &ulen, flags);
4181                         if UNI_IS_INVARIANT(fc) {
4182                             if ( full_folding && *s == LATIN_SMALL_LETTER_SHARP_S) {
4183                                 *d++ = 's';
4184                                 *d++ = 's';
4185                             }
4186                             else
4187                                 *d++ = (U8)fc;
4188                         }
4189                         else {
4190                             Copy(tmpbuf, d, ulen, U8);
4191                             d += ulen;
4192                         }
4193                     }
4194                     break;
4195                 }
4196                 else if (full_folding && *s == LATIN_SMALL_LETTER_SHARP_S) {
4197                     /* Under full casefolding, LATIN SMALL LETTER SHARP S becomes "ss",
4198                     * which may require growing the SV.
4199                     */
4200                     if (SvLEN(dest) < ++min) {
4201                         const UV o = d - (U8*)SvPVX_const(dest);
4202                         SvGROW(dest, min);
4203                         d = (U8*)SvPVX(dest) + o;
4204                      }
4205                     *(d)++ = 's';
4206                     *d = 's';
4207                 }
4208                 else { /* If it's not one of those two, the fold is their lower case */
4209                     *d = toLOWER_LATIN1(*s);
4210                 }
4211              }
4212         }
4213     }
4214     *d = '\0';
4215     SvCUR_set(dest, d - (U8*)SvPVX_const(dest));
4216
4217     if (SvTAINTED(source))
4218         SvTAINT(dest);
4219     SvSETMAGIC(dest);
4220     RETURN;
4221 }
4222
4223 /* Arrays. */
4224
4225 PP(pp_aslice)
4226 {
4227     dVAR; dSP; dMARK; dORIGMARK;
4228     register AV *const av = MUTABLE_AV(POPs);
4229     register const I32 lval = (PL_op->op_flags & OPf_MOD || LVRET);
4230
4231     if (SvTYPE(av) == SVt_PVAV) {
4232         const bool localizing = PL_op->op_private & OPpLVAL_INTRO;
4233         bool can_preserve = FALSE;
4234
4235         if (localizing) {
4236             MAGIC *mg;
4237             HV *stash;
4238
4239             can_preserve = SvCANEXISTDELETE(av);
4240         }
4241
4242         if (lval && localizing) {
4243             register SV **svp;
4244             I32 max = -1;
4245             for (svp = MARK + 1; svp <= SP; svp++) {
4246                 const I32 elem = SvIV(*svp);
4247                 if (elem > max)
4248                     max = elem;
4249             }
4250             if (max > AvMAX(av))
4251                 av_extend(av, max);
4252         }
4253
4254         while (++MARK <= SP) {
4255             register SV **svp;
4256             I32 elem = SvIV(*MARK);
4257             bool preeminent = TRUE;
4258
4259             if (localizing && can_preserve) {
4260                 /* If we can determine whether the element exist,
4261                  * Try to preserve the existenceness of a tied array
4262                  * element by using EXISTS and DELETE if possible.
4263                  * Fallback to FETCH and STORE otherwise. */
4264                 preeminent = av_exists(av, elem);
4265             }
4266
4267             svp = av_fetch(av, elem, lval);
4268             if (lval) {
4269                 if (!svp || *svp == &PL_sv_undef)
4270                     DIE(aTHX_ PL_no_aelem, elem);
4271                 if (localizing) {
4272                     if (preeminent)
4273                         save_aelem(av, elem, svp);
4274                     else
4275                         SAVEADELETE(av, elem);
4276                 }
4277             }
4278             *MARK = svp ? *svp : &PL_sv_undef;
4279         }
4280     }
4281     if (GIMME != G_ARRAY) {
4282         MARK = ORIGMARK;
4283         *++MARK = SP > ORIGMARK ? *SP : &PL_sv_undef;
4284         SP = MARK;
4285     }
4286     RETURN;
4287 }
4288
4289 /* Smart dereferencing for keys, values and each */
4290 PP(pp_rkeys)
4291 {
4292     dVAR;
4293     dSP;
4294     dPOPss;
4295
4296     SvGETMAGIC(sv);
4297
4298     if (
4299          !SvROK(sv)
4300       || (sv = SvRV(sv),
4301             (SvTYPE(sv) != SVt_PVHV && SvTYPE(sv) != SVt_PVAV)
4302           || SvOBJECT(sv)
4303          )
4304     ) {
4305         DIE(aTHX_
4306            "Type of argument to %s must be unblessed hashref or arrayref",
4307             PL_op_desc[PL_op->op_type] );
4308     }
4309
4310     if (PL_op->op_flags & OPf_SPECIAL && SvTYPE(sv) == SVt_PVAV)
4311         DIE(aTHX_
4312            "Can't modify %s in %s",
4313             PL_op_desc[PL_op->op_type], PL_op_desc[PL_op->op_next->op_type]
4314         );
4315
4316     /* Delegate to correct function for op type */
4317     PUSHs(sv);
4318     if (PL_op->op_type == OP_RKEYS || PL_op->op_type == OP_RVALUES) {
4319         return (SvTYPE(sv) == SVt_PVHV) ? Perl_do_kv(aTHX) : Perl_pp_akeys(aTHX);
4320     }
4321     else {
4322         return (SvTYPE(sv) == SVt_PVHV) ? Perl_pp_each(aTHX) : Perl_pp_aeach(aTHX);
4323     }
4324 }
4325
4326 PP(pp_aeach)
4327 {
4328     dVAR;
4329     dSP;
4330     AV *array = MUTABLE_AV(POPs);
4331     const I32 gimme = GIMME_V;
4332     IV *iterp = Perl_av_iter_p(aTHX_ array);
4333     const IV current = (*iterp)++;
4334
4335     if (current > av_len(array)) {
4336         *iterp = 0;
4337         if (gimme == G_SCALAR)
4338             RETPUSHUNDEF;
4339         else
4340             RETURN;
4341     }
4342
4343     EXTEND(SP, 2);
4344     mPUSHi(current);
4345     if (gimme == G_ARRAY) {
4346         SV **const element = av_fetch(array, current, 0);
4347         PUSHs(element ? *element : &PL_sv_undef);
4348     }
4349     RETURN;
4350 }
4351
4352 PP(pp_akeys)
4353 {
4354     dVAR;
4355     dSP;
4356     AV *array = MUTABLE_AV(POPs);
4357     const I32 gimme = GIMME_V;
4358
4359     *Perl_av_iter_p(aTHX_ array) = 0;
4360
4361     if (gimme == G_SCALAR) {
4362         dTARGET;
4363         PUSHi(av_len(array) + 1);
4364     }
4365     else if (gimme == G_ARRAY) {
4366         IV n = Perl_av_len(aTHX_ array);
4367         IV i;
4368
4369         EXTEND(SP, n + 1);
4370
4371         if (PL_op->op_type == OP_AKEYS || PL_op->op_type == OP_RKEYS) {
4372             for (i = 0;  i <= n;  i++) {
4373                 mPUSHi(i);
4374             }
4375         }
4376         else {
4377             for (i = 0;  i <= n;  i++) {
4378                 SV *const *const elem = Perl_av_fetch(aTHX_ array, i, 0);
4379                 PUSHs(elem ? *elem : &PL_sv_undef);
4380             }
4381         }
4382     }
4383     RETURN;
4384 }
4385
4386 /* Associative arrays. */
4387
4388 PP(pp_each)
4389 {
4390     dVAR;
4391     dSP;
4392     HV * hash = MUTABLE_HV(POPs);
4393     HE *entry;
4394     const I32 gimme = GIMME_V;
4395
4396     PUTBACK;
4397     /* might clobber stack_sp */
4398     entry = hv_iternext(hash);
4399     SPAGAIN;
4400
4401     EXTEND(SP, 2);
4402     if (entry) {
4403         SV* const sv = hv_iterkeysv(entry);
4404         PUSHs(sv);      /* won't clobber stack_sp */
4405         if (gimme == G_ARRAY) {
4406             SV *val;
4407             PUTBACK;
4408             /* might clobber stack_sp */
4409             val = hv_iterval(hash, entry);
4410             SPAGAIN;
4411             PUSHs(val);
4412         }
4413     }
4414     else if (gimme == G_SCALAR)
4415         RETPUSHUNDEF;
4416
4417     RETURN;
4418 }
4419
4420 STATIC OP *
4421 S_do_delete_local(pTHX)
4422 {
4423     dVAR;
4424     dSP;
4425     const I32 gimme = GIMME_V;
4426     const MAGIC *mg;
4427     HV *stash;
4428     const bool sliced = !!(PL_op->op_private & OPpSLICE);
4429     SV *unsliced_keysv = sliced ? NULL : POPs;
4430     SV * const osv = POPs;
4431     register SV **mark =
4432         sliced ? PL_stack_base + POPMARK : &unsliced_keysv-1;
4433     dORIGMARK;
4434     const bool tied = SvRMAGICAL(osv)
4435                             && mg_find((const SV *)osv, PERL_MAGIC_tied);
4436     const bool can_preserve = SvCANEXISTDELETE(osv);
4437     const U32 type = SvTYPE(osv);
4438     SV ** const end = sliced ? SP : &unsliced_keysv;
4439
4440     if (type == SVt_PVHV) {                     /* hash element */
4441             HV * const hv = MUTABLE_HV(osv);
4442             while (++MARK <= end) {
4443                 SV * const keysv = *MARK;
4444                 SV *sv = NULL;
4445                 bool preeminent = TRUE;
4446                 if (can_preserve)
4447                     preeminent = hv_exists_ent(hv, keysv, 0);
4448                 if (tied) {
4449                     HE *he = hv_fetch_ent(hv, keysv, 1, 0);
4450                     if (he)
4451                         sv = HeVAL(he);
4452                     else
4453                         preeminent = FALSE;
4454                 }
4455                 else {
4456                     sv = hv_delete_ent(hv, keysv, 0, 0);
4457                     SvREFCNT_inc_simple_void(sv); /* De-mortalize */
4458                 }
4459                 if (preeminent) {
4460                     if (!sv) DIE(aTHX_ PL_no_helem_sv, SVfARG(keysv));
4461                     save_helem_flags(hv, keysv, &sv, SAVEf_KEEPOLDELEM);
4462                     if (tied) {
4463                         *MARK = sv_mortalcopy(sv);
4464                         mg_clear(sv);
4465                     } else
4466                         *MARK = sv;
4467                 }
4468                 else {
4469                     SAVEHDELETE(hv, keysv);
4470                     *MARK = &PL_sv_undef;
4471                 }
4472             }
4473     }
4474     else if (type == SVt_PVAV) {                  /* array element */
4475             if (PL_op->op_flags & OPf_SPECIAL) {
4476                 AV * const av = MUTABLE_AV(osv);
4477                 while (++MARK <= end) {
4478                     I32 idx = SvIV(*MARK);
4479                     SV *sv = NULL;
4480                     bool preeminent = TRUE;
4481                     if (can_preserve)
4482                         preeminent = av_exists(av, idx);
4483                     if (tied) {
4484                         SV **svp = av_fetch(av, idx, 1);
4485                         if (svp)
4486                             sv = *svp;
4487                         else
4488                             preeminent = FALSE;
4489                     }
4490                     else {
4491                         sv = av_delete(av, idx, 0);
4492                         SvREFCNT_inc_simple_void(sv); /* De-mortalize */
4493                     }
4494                     if (preeminent) {
4495                         save_aelem_flags(av, idx, &sv, SAVEf_KEEPOLDELEM);
4496                         if (tied) {
4497                             *MARK = sv_mortalcopy(sv);
4498                             mg_clear(sv);
4499                         } else
4500                             *MARK = sv;
4501                     }
4502                     else {
4503                         SAVEADELETE(av, idx);
4504                         *MARK = &PL_sv_undef;
4505                     }
4506                 }
4507             }
4508             else
4509                 DIE(aTHX_ "panic: avhv_delete no longer supported");
4510     }
4511     else
4512             DIE(aTHX_ "Not a HASH reference");
4513     if (sliced) {
4514         if (gimme == G_VOID)
4515             SP = ORIGMARK;
4516         else if (gimme == G_SCALAR) {
4517             MARK = ORIGMARK;
4518             if (SP > MARK)
4519                 *++MARK = *SP;
4520             else
4521                 *++MARK = &PL_sv_undef;
4522             SP = MARK;
4523         }
4524     }
4525     else if (gimme != G_VOID)
4526         PUSHs(unsliced_keysv);
4527
4528     RETURN;
4529 }
4530
4531 PP(pp_delete)
4532 {
4533     dVAR;
4534     dSP;
4535     I32 gimme;
4536     I32 discard;
4537
4538     if (PL_op->op_private & OPpLVAL_INTRO)
4539         return do_delete_local();
4540
4541     gimme = GIMME_V;
4542     discard = (gimme == G_VOID) ? G_DISCARD : 0;
4543
4544     if (PL_op->op_private & OPpSLICE) {
4545         dMARK; dORIGMARK;
4546         HV * const hv = MUTABLE_HV(POPs);
4547         const U32 hvtype = SvTYPE(hv);
4548         if (hvtype == SVt_PVHV) {                       /* hash element */
4549             while (++MARK <= SP) {
4550                 SV * const sv = hv_delete_ent(hv, *MARK, discard, 0);
4551                 *MARK = sv ? sv : &PL_sv_undef;
4552             }
4553         }
4554         else if (hvtype == SVt_PVAV) {                  /* array element */
4555             if (PL_op->op_flags & OPf_SPECIAL) {
4556                 while (++MARK <= SP) {
4557                     SV * const sv = av_delete(MUTABLE_AV(hv), SvIV(*MARK), discard);
4558                     *MARK = sv ? sv : &PL_sv_undef;
4559                 }
4560             }
4561         }
4562         else
4563             DIE(aTHX_ "Not a HASH reference");
4564         if (discard)
4565             SP = ORIGMARK;
4566         else if (gimme == G_SCALAR) {
4567             MARK = ORIGMARK;
4568             if (SP > MARK)
4569                 *++MARK = *SP;
4570             else
4571                 *++MARK = &PL_sv_undef;
4572             SP = MARK;
4573         }
4574     }
4575     else {
4576         SV *keysv = POPs;
4577         HV * const hv = MUTABLE_HV(POPs);
4578         SV *sv = NULL;
4579         if (SvTYPE(hv) == SVt_PVHV)
4580             sv = hv_delete_ent(hv, keysv, discard, 0);
4581         else if (SvTYPE(hv) == SVt_PVAV) {
4582             if (PL_op->op_flags & OPf_SPECIAL)
4583                 sv = av_delete(MUTABLE_AV(hv), SvIV(keysv), discard);
4584             else
4585                 DIE(aTHX_ "panic: avhv_delete no longer supported");
4586         }
4587         else
4588             DIE(aTHX_ "Not a HASH reference");
4589         if (!sv)
4590             sv = &PL_sv_undef;
4591         if (!discard)
4592             PUSHs(sv);
4593     }
4594     RETURN;
4595 }
4596
4597 PP(pp_exists)
4598 {
4599     dVAR;
4600     dSP;
4601     SV *tmpsv;
4602     HV *hv;
4603
4604     if (PL_op->op_private & OPpEXISTS_SUB) {
4605         GV *gv;
4606         SV * const sv = POPs;
4607         CV * const cv = sv_2cv(sv, &hv, &gv, 0);
4608         if (cv)
4609             RETPUSHYES;
4610         if (gv && isGV(gv) && GvCV(gv) && !GvCVGEN(gv))
4611             RETPUSHYES;
4612         RETPUSHNO;
4613     }
4614     tmpsv = POPs;
4615     hv = MUTABLE_HV(POPs);
4616     if (SvTYPE(hv) == SVt_PVHV) {
4617         if (hv_exists_ent(hv, tmpsv, 0))
4618             RETPUSHYES;
4619     }
4620     else if (SvTYPE(hv) == SVt_PVAV) {
4621         if (PL_op->op_flags & OPf_SPECIAL) {            /* array element */
4622             if (av_exists(MUTABLE_AV(hv), SvIV(tmpsv)))
4623                 RETPUSHYES;
4624         }
4625     }
4626     else {
4627         DIE(aTHX_ "Not a HASH reference");
4628     }
4629     RETPUSHNO;
4630 }
4631
4632 PP(pp_hslice)
4633 {
4634     dVAR; dSP; dMARK; dORIGMARK;
4635     register HV * const hv = MUTABLE_HV(POPs);
4636     register const I32 lval = (PL_op->op_flags & OPf_MOD || LVRET);
4637     const bool localizing = PL_op->op_private & OPpLVAL_INTRO;
4638     bool can_preserve = FALSE;
4639
4640     if (localizing) {
4641         MAGIC *mg;
4642         HV *stash;
4643
4644         if (SvCANEXISTDELETE(hv))
4645             can_preserve = TRUE;
4646     }
4647
4648     while (++MARK <= SP) {
4649         SV * const keysv = *MARK;
4650         SV **svp;
4651         HE *he;
4652         bool preeminent = TRUE;
4653
4654         if (localizing && can_preserve) {
4655             /* If we can determine whether the element exist,
4656              * try to preserve the existenceness of a tied hash
4657              * element by using EXISTS and DELETE if possible.
4658              * Fallback to FETCH and STORE otherwise. */
4659             preeminent = hv_exists_ent(hv, keysv, 0);
4660         }
4661
4662         he = hv_fetch_ent(hv, keysv, lval, 0);
4663         svp = he ? &HeVAL(he) : NULL;
4664
4665         if (lval) {
4666             if (!svp || !*svp || *svp == &PL_sv_undef) {
4667                 DIE(aTHX_ PL_no_helem_sv, SVfARG(keysv));
4668             }
4669             if (localizing) {
4670                 if (HvNAME_get(hv) && isGV(*svp))
4671                     save_gp(MUTABLE_GV(*svp), !(PL_op->op_flags & OPf_SPECIAL));
4672                 else if (preeminent)
4673                     save_helem_flags(hv, keysv, svp,
4674                          (PL_op->op_flags & OPf_SPECIAL) ? 0 : SAVEf_SETMAGIC);
4675                 else
4676                     SAVEHDELETE(hv, keysv);
4677             }
4678         }
4679         *MARK = svp && *svp ? *svp : &PL_sv_undef;
4680     }
4681     if (GIMME != G_ARRAY) {
4682         MARK = ORIGMARK;
4683         *++MARK = SP > ORIGMARK ? *SP : &PL_sv_undef;
4684         SP = MARK;
4685     }
4686     RETURN;
4687 }
4688
4689 /* List operators. */
4690
4691 PP(pp_list)
4692 {
4693     dVAR; dSP; dMARK;
4694     if (GIMME != G_ARRAY) {
4695         if (++MARK <= SP)
4696             *MARK = *SP;                /* unwanted list, return last item */
4697         else
4698             *MARK = &PL_sv_undef;
4699         SP = MARK;
4700     }
4701     RETURN;
4702 }
4703
4704 PP(pp_lslice)
4705 {
4706     dVAR;
4707     dSP;
4708     SV ** const lastrelem = PL_stack_sp;
4709     SV ** const lastlelem = PL_stack_base + POPMARK;
4710     SV ** const firstlelem = PL_stack_base + POPMARK + 1;
4711     register SV ** const firstrelem = lastlelem + 1;
4712     I32 is_something_there = FALSE;
4713
4714     register const I32 max = lastrelem - lastlelem;
4715     register SV **lelem;
4716
4717     if (GIMME != G_ARRAY) {
4718         I32 ix = SvIV(*lastlelem);
4719         if (ix < 0)
4720             ix += max;
4721         if (ix < 0 || ix >= max)
4722             *firstlelem = &PL_sv_undef;
4723         else
4724             *firstlelem = firstrelem[ix];
4725         SP = firstlelem;
4726         RETURN;
4727     }
4728
4729     if (max == 0) {
4730         SP = firstlelem - 1;
4731         RETURN;
4732     }
4733
4734     for (lelem = firstlelem; lelem <= lastlelem; lelem++) {
4735         I32 ix = SvIV(*lelem);
4736         if (ix < 0)
4737             ix += max;
4738         if (ix < 0 || ix >= max)
4739             *lelem = &PL_sv_undef;
4740         else {
4741             is_something_there = TRUE;
4742             if (!(*lelem = firstrelem[ix]))
4743                 *lelem = &PL_sv_undef;
4744         }
4745     }
4746     if (is_something_there)
4747         SP = lastlelem;
4748     else
4749         SP = firstlelem - 1;
4750     RETURN;
4751 }
4752
4753 PP(pp_anonlist)
4754 {
4755     dVAR; dSP; dMARK; dORIGMARK;
4756     const I32 items = SP - MARK;
4757     SV * const av = MUTABLE_SV(av_make(items, MARK+1));
4758     SP = ORIGMARK;              /* av_make() might realloc stack_sp */
4759     mXPUSHs((PL_op->op_flags & OPf_SPECIAL)
4760             ? newRV_noinc(av) : av);
4761     RETURN;
4762 }
4763
4764 PP(pp_anonhash)
4765 {
4766     dVAR; dSP; dMARK; dORIGMARK;
4767     HV* const hv = newHV();
4768
4769     while (MARK < SP) {
4770         SV * const key = *++MARK;
4771         SV * const val = newSV(0);
4772         if (MARK < SP)
4773             sv_setsv(val, *++MARK);
4774         else
4775             Perl_ck_warner(aTHX_ packWARN(WARN_MISC), "Odd number of elements in anonymous hash");
4776         (void)hv_store_ent(hv,key,val,0);
4777     }
4778     SP = ORIGMARK;
4779     mXPUSHs((PL_op->op_flags & OPf_SPECIAL)
4780             ? newRV_noinc(MUTABLE_SV(hv)) : MUTABLE_SV(hv));
4781     RETURN;
4782 }
4783
4784 static AV *
4785 S_deref_plain_array(pTHX_ AV *ary)
4786 {
4787     if (SvTYPE(ary) == SVt_PVAV) return ary;
4788     SvGETMAGIC((SV *)ary);
4789     if (!SvROK(ary) || SvTYPE(SvRV(ary)) != SVt_PVAV)
4790         Perl_die(aTHX_ "Not an ARRAY reference");
4791     else if (SvOBJECT(SvRV(ary)))
4792         Perl_die(aTHX_ "Not an unblessed ARRAY reference");
4793     return (AV *)SvRV(ary);
4794 }
4795
4796 #if defined(__GNUC__) && !defined(PERL_GCC_BRACE_GROUPS_FORBIDDEN)
4797 # define DEREF_PLAIN_ARRAY(ary)       \
4798    ({                                  \
4799      AV *aRrRay = ary;                  \
4800      SvTYPE(aRrRay) == SVt_PVAV          \
4801       ? aRrRay                            \
4802       : S_deref_plain_array(aTHX_ aRrRay); \
4803    })
4804 #else
4805 # define DEREF_PLAIN_ARRAY(ary)            \
4806    (                                        \
4807      PL_Sv = (SV *)(ary),                    \
4808      SvTYPE(PL_Sv) == SVt_PVAV                \
4809       ? (AV *)PL_Sv                            \
4810       : S_deref_plain_array(aTHX_ (AV *)PL_Sv)  \
4811    )
4812 #endif
4813
4814 PP(pp_splice)
4815 {
4816     dVAR; dSP; dMARK; dORIGMARK;
4817     int num_args = (SP - MARK);
4818     register AV *ary = DEREF_PLAIN_ARRAY(MUTABLE_AV(*++MARK));
4819     register SV **src;
4820     register SV **dst;
4821     register I32 i;
4822     register I32 offset;
4823     register I32 length;
4824     I32 newlen;
4825     I32 after;
4826     I32 diff;
4827     const MAGIC * const mg = SvTIED_mg((const SV *)ary, PERL_MAGIC_tied);
4828
4829     if (mg) {
4830         return Perl_tied_method(aTHX_ "SPLICE", mark - 1, MUTABLE_SV(ary), mg,
4831                                     GIMME_V | TIED_METHOD_ARGUMENTS_ON_STACK,
4832                                     sp - mark);
4833     }
4834
4835     SP++;
4836
4837     if (++MARK < SP) {
4838         offset = i = SvIV(*MARK);
4839         if (offset < 0)
4840             offset += AvFILLp(ary) + 1;
4841         if (offset < 0)
4842             DIE(aTHX_ PL_no_aelem, i);
4843         if (++MARK < SP) {
4844             length = SvIVx(*MARK++);
4845             if (length < 0) {
4846                 length += AvFILLp(ary) - offset + 1;
4847                 if (length < 0)
4848                     length = 0;
4849             }
4850         }
4851         else
4852             length = AvMAX(ary) + 1;            /* close enough to infinity */
4853     }
4854     else {
4855         offset = 0;
4856         length = AvMAX(ary) + 1;
4857     }
4858     if (offset > AvFILLp(ary) + 1) {
4859         if (num_args > 2)
4860             Perl_ck_warner(aTHX_ packWARN(WARN_MISC), "splice() offset past end of array" );
4861         offset = AvFILLp(ary) + 1;
4862     }
4863     after = AvFILLp(ary) + 1 - (offset + length);
4864     if (after < 0) {                            /* not that much array */
4865         length += after;                        /* offset+length now in array */
4866         after = 0;
4867         if (!AvALLOC(ary))
4868             av_extend(ary, 0);
4869     }
4870
4871     /* At this point, MARK .. SP-1 is our new LIST */
4872
4873     newlen = SP - MARK;
4874     diff = newlen - length;
4875     if (newlen && !AvREAL(ary) && AvREIFY(ary))
4876         av_reify(ary);
4877
4878     /* make new elements SVs now: avoid problems if they're from the array */
4879     for (dst = MARK, i = newlen; i; i--) {
4880         SV * const h = *dst;
4881         *dst++ = newSVsv(h);
4882     }
4883
4884     if (diff < 0) {                             /* shrinking the area */
4885         SV **tmparyval = NULL;
4886         if (newlen) {
4887             Newx(tmparyval, newlen, SV*);       /* so remember insertion */
4888             Copy(MARK, tmparyval, newlen, SV*);
4889         }
4890
4891         MARK = ORIGMARK + 1;
4892         if (GIMME == G_ARRAY) {                 /* copy return vals to stack */
4893             MEXTEND(MARK, length);
4894             Copy(AvARRAY(ary)+offset, MARK, length, SV*);
4895             if (AvREAL(ary)) {
4896                 EXTEND_MORTAL(length);
4897                 for (i = length, dst = MARK; i; i--) {
4898                     sv_2mortal(*dst);   /* free them eventually */
4899                     dst++;
4900                 }
4901             }
4902             MARK += length - 1;
4903         }
4904         else {
4905             *MARK = AvARRAY(ary)[offset+length-1];
4906             if (AvREAL(ary)) {
4907                 sv_2mortal(*MARK);
4908                 for (i = length - 1, dst = &AvARRAY(ary)[offset]; i > 0; i--)
4909                     SvREFCNT_dec(*dst++);       /* free them now */
4910             }
4911         }
4912         AvFILLp(ary) += diff;
4913
4914         /* pull up or down? */
4915
4916         if (offset < after) {                   /* easier to pull up */
4917             if (offset) {                       /* esp. if nothing to pull */
4918                 src = &AvARRAY(ary)[offset-1];
4919                 dst = src - diff;               /* diff is negative */
4920                 for (i = offset; i > 0; i--)    /* can't trust Copy */
4921                     *dst-- = *src--;
4922             }
4923             dst = AvARRAY(ary);
4924             AvARRAY(ary) = AvARRAY(ary) - diff; /* diff is negative */
4925             AvMAX(ary) += diff;
4926         }
4927         else {
4928             if (after) {                        /* anything to pull down? */
4929                 src = AvARRAY(ary) + offset + length;
4930                 dst = src + diff;               /* diff is negative */
4931                 Move(src, dst, after, SV*);
4932             }
4933             dst = &AvARRAY(ary)[AvFILLp(ary)+1];
4934                                                 /* avoid later double free */
4935         }
4936         i = -diff;
4937         while (i)
4938             dst[--i] = &PL_sv_undef;
4939
4940         if (newlen) {
4941             Copy( tmparyval, AvARRAY(ary) + offset, newlen, SV* );
4942             Safefree(tmparyval);
4943         }
4944     }
4945     else {                                      /* no, expanding (or same) */
4946         SV** tmparyval = NULL;
4947         if (length) {
4948             Newx(tmparyval, length, SV*);       /* so remember deletion */
4949             Copy(AvARRAY(ary)+offset, tmparyval, length, SV*);
4950         }
4951
4952         if (diff > 0) {                         /* expanding */
4953             /* push up or down? */
4954             if (offset < after && diff <= AvARRAY(ary) - AvALLOC(ary)) {
4955                 if (offset) {
4956                     src = AvARRAY(ary);
4957                     dst = src - diff;
4958                     Move(src, dst, offset, SV*);
4959                 }
4960                 AvARRAY(ary) = AvARRAY(ary) - diff;/* diff is positive */
4961                 AvMAX(ary) += diff;
4962                 AvFILLp(ary) += diff;
4963             }
4964             else {
4965                 if (AvFILLp(ary) + diff >= AvMAX(ary))  /* oh, well */
4966                     av_extend(ary, AvFILLp(ary) + diff);
4967                 AvFILLp(ary) += diff;
4968
4969                 if (after) {
4970                     dst = AvARRAY(ary) + AvFILLp(ary);
4971                     src = dst - diff;
4972                     for (i = after; i; i--) {
4973                         *dst-- = *src--;
4974                     }
4975                 }
4976             }
4977         }
4978
4979         if (newlen) {
4980             Copy( MARK, AvARRAY(ary) + offset, newlen, SV* );
4981         }
4982
4983         MARK = ORIGMARK + 1;
4984         if (GIMME == G_ARRAY) {                 /* copy return vals to stack */
4985             if (length) {
4986                 Copy(tmparyval, MARK, length, SV*);
4987                 if (AvREAL(ary)) {
4988                     EXTEND_MORTAL(length);
4989                     for (i = length, dst = MARK; i; i--) {
4990                         sv_2mortal(*dst);       /* free them eventually */
4991                         dst++;
4992                     }
4993                 }
4994             }
4995             MARK += length - 1;
4996         }
4997         else if (length--) {
4998             *MARK = tmparyval[length];
4999             if (AvREAL(ary)) {
5000                 sv_2mortal(*MARK);
5001                 while (length-- > 0)
5002                     SvREFCNT_dec(tmparyval[length]);
5003             }
5004         }
5005         else
5006             *MARK = &PL_sv_undef;
5007         Safefree(tmparyval);
5008     }
5009
5010     if (SvMAGICAL(ary))
5011         mg_set(MUTABLE_SV(ary));
5012
5013     SP = MARK;
5014     RETURN;
5015 }
5016
5017 PP(pp_push)
5018 {
5019     dVAR; dSP; dMARK; dORIGMARK; dTARGET;
5020     register AV * const ary = DEREF_PLAIN_ARRAY(MUTABLE_AV(*++MARK));
5021     const MAGIC * const mg = SvTIED_mg((const SV *)ary, PERL_MAGIC_tied);
5022
5023     if (mg) {
5024         *MARK-- = SvTIED_obj(MUTABLE_SV(ary), mg);
5025         PUSHMARK(MARK);
5026         PUTBACK;
5027         ENTER_with_name("call_PUSH");
5028         call_method("PUSH",G_SCALAR|G_DISCARD);
5029         LEAVE_with_name("call_PUSH");
5030         SPAGAIN;
5031     }
5032     else {
5033         PL_delaymagic = DM_DELAY;
5034         for (++MARK; MARK <= SP; MARK++) {
5035             SV * const sv = newSV(0);
5036             if (*MARK)
5037                 sv_setsv(sv, *MARK);
5038             av_store(ary, AvFILLp(ary)+1, sv);
5039         }
5040         if (PL_delaymagic & DM_ARRAY_ISA)
5041             mg_set(MUTABLE_SV(ary));
5042
5043         PL_delaymagic = 0;
5044     }
5045     SP = ORIGMARK;
5046     if (OP_GIMME(PL_op, 0) != G_VOID) {
5047         PUSHi( AvFILL(ary) + 1 );
5048     }
5049     RETURN;
5050 }
5051
5052 PP(pp_shift)
5053 {
5054     dVAR;
5055     dSP;
5056     AV * const av = PL_op->op_flags & OPf_SPECIAL
5057         ? MUTABLE_AV(GvAV(PL_defgv)) : DEREF_PLAIN_ARRAY(MUTABLE_AV(POPs));
5058     SV * const sv = PL_op->op_type == OP_SHIFT ? av_shift(av) : av_pop(av);
5059     EXTEND(SP, 1);
5060     assert (sv);
5061     if (AvREAL(av))
5062         (void)sv_2mortal(sv);
5063     PUSHs(sv);
5064     RETURN;
5065 }
5066
5067 PP(pp_unshift)
5068 {
5069     dVAR; dSP; dMARK; dORIGMARK; dTARGET;
5070     register AV *ary = DEREF_PLAIN_ARRAY(MUTABLE_AV(*++MARK));
5071     const MAGIC * const mg = SvTIED_mg((const SV *)ary, PERL_MAGIC_tied);
5072
5073     if (mg) {
5074         *MARK-- = SvTIED_obj(MUTABLE_SV(ary), mg);
5075         PUSHMARK(MARK);
5076         PUTBACK;
5077         ENTER_with_name("call_UNSHIFT");
5078         call_method("UNSHIFT",G_SCALAR|G_DISCARD);
5079         LEAVE_with_name("call_UNSHIFT");
5080         SPAGAIN;
5081     }
5082     else {
5083         register I32 i = 0;
5084         av_unshift(ary, SP - MARK);
5085         while (MARK < SP) {
5086             SV * const sv = newSVsv(*++MARK);
5087             (void)av_store(ary, i++, sv);
5088         }
5089     }
5090     SP = ORIGMARK;
5091     if (OP_GIMME(PL_op, 0) != G_VOID) {
5092         PUSHi( AvFILL(ary) + 1 );
5093     }
5094     RETURN;
5095 }
5096
5097 PP(pp_reverse)
5098 {
5099     dVAR; dSP; dMARK;
5100
5101     if (GIMME == G_ARRAY) {
5102         if (PL_op->op_private & OPpREVERSE_INPLACE) {
5103             AV *av;
5104
5105             /* See pp_sort() */
5106             assert( MARK+1 == SP && *SP && SvTYPE(*SP) == SVt_PVAV);
5107             (void)POPMARK; /* remove mark associated with ex-OP_AASSIGN */
5108             av = MUTABLE_AV((*SP));
5109             /* In-place reversing only happens in void context for the array
5110              * assignment. We don't need to push anything on the stack. */
5111             SP = MARK;
5112
5113             if (SvMAGICAL(av)) {
5114                 I32 i, j;
5115                 register SV *tmp = sv_newmortal();
5116                 /* For SvCANEXISTDELETE */
5117                 HV *stash;
5118                 const MAGIC *mg;
5119                 bool can_preserve = SvCANEXISTDELETE(av);
5120
5121                 for (i = 0, j = av_len(av); i < j; ++i, --j) {
5122                     register SV *begin, *end;
5123
5124                     if (can_preserve) {
5125                         if (!av_exists(av, i)) {
5126                             if (av_exists(av, j)) {
5127                                 register SV *sv = av_delete(av, j, 0);
5128                                 begin = *av_fetch(av, i, TRUE);
5129                                 sv_setsv_mg(begin, sv);
5130                             }
5131                             continue;
5132                         }
5133                         else if (!av_exists(av, j)) {
5134                             register SV *sv = av_delete(av, i, 0);
5135                             end = *av_fetch(av, j, TRUE);
5136                             sv_setsv_mg(end, sv);
5137                             continue;
5138                         }
5139                     }
5140
5141                     begin = *av_fetch(av, i, TRUE);
5142                     end   = *av_fetch(av, j, TRUE);
5143                     sv_setsv(tmp,      begin);
5144                     sv_setsv_mg(begin, end);
5145                     sv_setsv_mg(end,   tmp);
5146                 }
5147             }
5148             else {
5149                 SV **begin = AvARRAY(av);
5150
5151                 if (begin) {
5152                     SV **end   = begin + AvFILLp(av);
5153
5154                     while (begin < end) {
5155                         register SV * const tmp = *begin;
5156                         *begin++ = *end;
5157                         *end--   = tmp;
5158                     }
5159                 }
5160             }
5161         }
5162         else {
5163             SV **oldsp = SP;
5164             MARK++;
5165             while (MARK < SP) {
5166                 register SV * const tmp = *MARK;
5167                 *MARK++ = *SP;
5168                 *SP--   = tmp;
5169             }
5170             /* safe as long as stack cannot get extended in the above */
5171             SP = oldsp;
5172         }
5173     }
5174     else {
5175         register char *up;
5176         register char *down;
5177         register I32 tmp;
5178         dTARGET;
5179         STRLEN len;
5180
5181         SvUTF8_off(TARG);                               /* decontaminate */
5182         if (SP - MARK > 1)
5183             do_join(TARG, &PL_sv_no, MARK, SP);
5184         else {
5185             sv_setsv(TARG, SP > MARK ? *SP : find_rundefsv());
5186             if (! SvOK(TARG) && ckWARN(WARN_UNINITIALIZED))
5187                 report_uninit(TARG);
5188         }
5189
5190         up = SvPV_force(TARG, len);
5191         if (len > 1) {
5192             if (DO_UTF8(TARG)) {        /* first reverse each character */
5193                 U8* s = (U8*)SvPVX(TARG);
5194                 const U8* send = (U8*)(s + len);
5195                 while (s < send) {
5196                     if (UTF8_IS_INVARIANT(*s)) {
5197                         s++;
5198                         continue;
5199                     }
5200                     else {
5201                         if (!utf8_to_uvchr_buf(s, send, 0))
5202                             break;
5203                         up = (char*)s;
5204                         s += UTF8SKIP(s);
5205                         down = (char*)(s - 1);
5206                         /* reverse this character */
5207                         while (down > up) {
5208                             tmp = *up;
5209                             *up++ = *down;
5210                             *down-- = (char)tmp;
5211                         }
5212                     }
5213                 }
5214                 up = SvPVX(TARG);
5215             }
5216             down = SvPVX(TARG) + len - 1;
5217             while (down > up) {
5218                 tmp = *up;
5219                 *up++ = *down;
5220                 *down-- = (char)tmp;
5221             }
5222             (void)SvPOK_only_UTF8(TARG);
5223         }
5224         SP = MARK + 1;
5225         SETTARG;
5226     }
5227     RETURN;
5228 }
5229
5230 PP(pp_split)
5231 {
5232     dVAR; dSP; dTARG;
5233     AV *ary;
5234     register IV limit = POPi;                   /* note, negative is forever */
5235     SV * const sv = POPs;
5236     STRLEN len;
5237     register const char *s = SvPV_const(sv, len);
5238     const bool do_utf8 = DO_UTF8(sv);
5239     const char *strend = s + len;
5240     register PMOP *pm;
5241     register REGEXP *rx;
5242     register SV *dstr;
5243     register const char *m;
5244     I32 iters = 0;
5245     const STRLEN slen = do_utf8 ? utf8_length((U8*)s, (U8*)strend) : (STRLEN)(strend - s);
5246     I32 maxiters = slen + 10;
5247     I32 trailing_empty = 0;
5248     const char *orig;
5249     const I32 origlimit = limit;
5250     I32 realarray = 0;
5251     I32 base;
5252     const I32 gimme = GIMME_V;
5253     bool gimme_scalar;
5254     const I32 oldsave = PL_savestack_ix;
5255     U32 make_mortal = SVs_TEMP;
5256     bool multiline = 0;
5257     MAGIC *mg = NULL;
5258
5259 #ifdef DEBUGGING
5260     Copy(&LvTARGOFF(POPs), &pm, 1, PMOP*);
5261 #else
5262     pm = (PMOP*)POPs;
5263 #endif
5264     if (!pm || !s)
5265         DIE(aTHX_ "panic: pp_split, pm=%p, s=%p", pm, s);
5266     rx = PM_GETRE(pm);
5267
5268     TAINT_IF(get_regex_charset(RX_EXTFLAGS(rx)) == REGEX_LOCALE_CHARSET &&
5269              (RX_EXTFLAGS(rx) & (RXf_WHITE | RXf_SKIPWHITE)));
5270
5271     RX_MATCH_UTF8_set(rx, do_utf8);
5272
5273 #ifdef USE_ITHREADS
5274     if (pm->op_pmreplrootu.op_pmtargetoff) {
5275         ary = GvAVn(MUTABLE_GV(PAD_SVl(pm->op_pmreplrootu.op_pmtargetoff)));
5276     }
5277 #else
5278     if (pm->op_pmreplrootu.op_pmtargetgv) {
5279         ary = GvAVn(pm->op_pmreplrootu.op_pmtargetgv);
5280     }
5281 #endif
5282     else
5283         ary = NULL;
5284     if (ary && (gimme != G_ARRAY || (pm->op_pmflags & PMf_ONCE))) {
5285         realarray = 1;
5286         PUTBACK;
5287         av_extend(ary,0);
5288         av_clear(ary);
5289         SPAGAIN;
5290         if ((mg = SvTIED_mg((const SV *)ary, PERL_MAGIC_tied))) {
5291             PUSHMARK(SP);
5292             XPUSHs(SvTIED_obj(MUTABLE_SV(ary), mg));
5293         }
5294         else {
5295             if (!AvREAL(ary)) {
5296                 I32 i;
5297                 AvREAL_on(ary);
5298                 AvREIFY_off(ary);
5299                 for (i = AvFILLp(ary); i >= 0; i--)
5300                     AvARRAY(ary)[i] = &PL_sv_undef;     /* don't free mere refs */
5301             }
5302             /* temporarily switch stacks */
5303             SAVESWITCHSTACK(PL_curstack, ary);
5304             make_mortal = 0;
5305         }
5306     }
5307     base = SP - PL_stack_base;
5308     orig = s;
5309     if (RX_EXTFLAGS(rx) & RXf_SKIPWHITE) {
5310         if (do_utf8) {
5311             while (*s == ' ' || is_utf8_space((U8*)s))
5312                 s += UTF8SKIP(s);
5313         }
5314         else if (get_regex_charset(RX_EXTFLAGS(rx)) == REGEX_LOCALE_CHARSET) {
5315             while (isSPACE_LC(*s))
5316                 s++;
5317         }
5318         else {
5319             while (isSPACE(*s))
5320                 s++;
5321         }
5322     }
5323     if (RX_EXTFLAGS(rx) & RXf_PMf_MULTILINE) {
5324         multiline = 1;
5325     }
5326
5327     gimme_scalar = gimme == G_SCALAR && !ary;
5328
5329     if (!limit)
5330         limit = maxiters + 2;
5331     if (RX_EXTFLAGS(rx) & RXf_WHITE) {
5332         while (--limit) {
5333             m = s;
5334             /* this one uses 'm' and is a negative test */
5335             if (do_utf8) {
5336                 while (m < strend && !( *m == ' ' || is_utf8_space((U8*)m) )) {
5337                     const int t = UTF8SKIP(m);
5338                     /* is_utf8_space returns FALSE for malform utf8 */
5339                     if (strend - m < t)
5340                         m = strend;
5341                     else
5342                         m += t;
5343                 }
5344             }
5345             else if (get_regex_charset(RX_EXTFLAGS(rx)) == REGEX_LOCALE_CHARSET) {
5346                 while (m < strend && !isSPACE_LC(*m))
5347                     ++m;
5348             } else {
5349                 while (m < strend && !isSPACE(*m))
5350                     ++m;
5351             }
5352             if (m >= strend)
5353                 break;
5354
5355             if (gimme_scalar) {
5356                 iters++;
5357                 if (m-s == 0)
5358                     trailing_empty++;
5359                 else
5360                     trailing_empty = 0;
5361             } else {
5362                 dstr = newSVpvn_flags(s, m-s,
5363                                       (do_utf8 ? SVf_UTF8 : 0) | make_mortal);
5364                 XPUSHs(dstr);
5365             }
5366
5367             /* skip the whitespace found last */
5368             if (do_utf8)
5369                 s = m + UTF8SKIP(m);
5370             else
5371                 s = m + 1;
5372
5373             /* this one uses 's' and is a positive test */
5374             if (do_utf8) {
5375                 while (s < strend && ( *s == ' ' || is_utf8_space((U8*)s) ))
5376                     s +=  UTF8SKIP(s);
5377             }
5378             else if (get_regex_charset(RX_EXTFLAGS(rx)) == REGEX_LOCALE_CHARSET) {
5379                 while (s < strend && isSPACE_LC(*s))
5380                     ++s;
5381             } else {
5382                 while (s < strend && isSPACE(*s))
5383                     ++s;
5384             }
5385         }
5386     }
5387     else if (RX_EXTFLAGS(rx) & RXf_START_ONLY) {
5388         while (--limit) {
5389             for (m = s; m < strend && *m != '\n'; m++)
5390                 ;
5391             m++;
5392             if (m >= strend)
5393                 break;
5394
5395             if (gimme_scalar) {
5396                 iters++;
5397                 if (m-s == 0)
5398                     trailing_empty++;
5399                 else
5400                     trailing_empty = 0;
5401             } else {
5402                 dstr = newSVpvn_flags(s, m-s,
5403                                       (do_utf8 ? SVf_UTF8 : 0) | make_mortal);
5404                 XPUSHs(dstr);
5405             }
5406             s = m;
5407         }
5408     }
5409     else if (RX_EXTFLAGS(rx) & RXf_NULL && !(s >= strend)) {
5410         /*
5411           Pre-extend the stack, either the number of bytes or
5412           characters in the string or a limited amount, triggered by:
5413
5414           my ($x, $y) = split //, $str;
5415             or
5416           split //, $str, $i;
5417         */
5418         if (!gimme_scalar) {
5419             const U32 items = limit - 1;
5420             if (items < slen)
5421                 EXTEND(SP, items);
5422             else
5423                 EXTEND(SP, slen);
5424         }
5425
5426         if (do_utf8) {
5427             while (--limit) {
5428                 /* keep track of how many bytes we skip over */
5429                 m = s;
5430                 s += UTF8SKIP(s);
5431                 if (gimme_scalar) {
5432                     iters++;
5433                     if (s-m == 0)
5434                         trailing_empty++;
5435                     else
5436                         trailing_empty = 0;
5437                 } else {
5438                     dstr = newSVpvn_flags(m, s-m, SVf_UTF8 | make_mortal);
5439
5440                     PUSHs(dstr);
5441                 }
5442
5443                 if (s >= strend)
5444                     break;
5445             }
5446         } else {
5447             while (--limit) {
5448                 if (gimme_scalar) {
5449                     iters++;
5450                 } else {
5451                     dstr = newSVpvn(s, 1);
5452
5453
5454                     if (make_mortal)
5455                         sv_2mortal(dstr);
5456
5457                     PUSHs(dstr);
5458                 }
5459
5460                 s++;
5461
5462                 if (s >= strend)
5463                     break;
5464             }
5465         }
5466     }
5467     else if (do_utf8 == (RX_UTF8(rx) != 0) &&
5468              (RX_EXTFLAGS(rx) & RXf_USE_INTUIT) && !RX_NPARENS(rx)
5469              && (RX_EXTFLAGS(rx) & RXf_CHECK_ALL)
5470              && !(RX_EXTFLAGS(rx) & RXf_ANCH)) {
5471         const int tail = (RX_EXTFLAGS(rx) & RXf_INTUIT_TAIL);
5472         SV * const csv = CALLREG_INTUIT_STRING(rx);
5473
5474         len = RX_MINLENRET(rx);
5475         if (len == 1 && !RX_UTF8(rx) && !tail) {
5476             const char c = *SvPV_nolen_const(csv);
5477             while (--limit) {
5478                 for (m = s; m < strend && *m != c; m++)
5479                     ;
5480                 if (m >= strend)
5481                     break;
5482                 if (gimme_scalar) {
5483                     iters++;
5484                     if (m-s == 0)
5485                         trailing_empty++;
5486                     else
5487                         trailing_empty = 0;
5488                 } else {
5489                     dstr = newSVpvn_flags(s, m-s,
5490                                           (do_utf8 ? SVf_UTF8 : 0) | make_mortal);
5491                     XPUSHs(dstr);
5492                 }
5493                 /* The rx->minlen is in characters but we want to step
5494                  * s ahead by bytes. */
5495                 if (do_utf8)
5496                     s = (char*)utf8_hop((U8*)m, len);
5497                 else
5498                     s = m + len; /* Fake \n at the end */
5499             }
5500         }
5501         else {
5502             while (s < strend && --limit &&
5503               (m = fbm_instr((unsigned char*)s, (unsigned char*)strend,
5504                              csv, multiline ? FBMrf_MULTILINE : 0)) )
5505             {
5506                 if (gimme_scalar) {
5507                     iters++;
5508                     if (m-s == 0)
5509                         trailing_empty++;
5510                     else
5511                         trailing_empty = 0;
5512                 } else {
5513                     dstr = newSVpvn_flags(s, m-s,
5514                                           (do_utf8 ? SVf_UTF8 : 0) | make_mortal);
5515                     XPUSHs(dstr);
5516                 }
5517                 /* The rx->minlen is in characters but we want to step
5518                  * s ahead by bytes. */
5519                 if (do_utf8)
5520                     s = (char*)utf8_hop((U8*)m, len);
5521                 else
5522                     s = m + len; /* Fake \n at the end */
5523             }
5524         }
5525     }
5526     else {
5527         maxiters += slen * RX_NPARENS(rx);
5528         while (s < strend && --limit)
5529         {
5530             I32 rex_return;
5531             PUTBACK;
5532             rex_return = CALLREGEXEC(rx, (char*)s, (char*)strend, (char*)orig, 1 ,
5533                                      sv, NULL, 0);
5534             SPAGAIN;
5535             if (rex_return == 0)
5536                 break;
5537             TAINT_IF(RX_MATCH_TAINTED(rx));
5538             if (RX_MATCH_COPIED(rx) && RX_SUBBEG(rx) != orig) {
5539                 m = s;
5540                 s = orig;
5541                 orig = RX_SUBBEG(rx);
5542                 s = orig + (m - s);
5543                 strend = s + (strend - m);
5544             }
5545             m = RX_OFFS(rx)[0].start + orig;
5546
5547             if (gimme_scalar) {
5548                 iters++;
5549                 if (m-s == 0)
5550                     trailing_empty++;
5551                 else
5552                     trailing_empty = 0;
5553             } else {
5554                 dstr = newSVpvn_flags(s, m-s,
5555                                       (do_utf8 ? SVf_UTF8 : 0) | make_mortal);
5556                 XPUSHs(dstr);
5557             }
5558             if (RX_NPARENS(rx)) {
5559                 I32 i;
5560                 for (i = 1; i <= (I32)RX_NPARENS(rx); i++) {
5561                     s = RX_OFFS(rx)[i].start + orig;
5562                     m = RX_OFFS(rx)[i].end + orig;
5563
5564                     /* japhy (07/27/01) -- the (m && s) test doesn't catch
5565                        parens that didn't match -- they should be set to
5566                        undef, not the empty string */
5567                     if (gimme_scalar) {
5568                         iters++;
5569                         if (m-s == 0)
5570                             trailing_empty++;
5571                         else
5572                             trailing_empty = 0;
5573                     } else {
5574                         if (m >= orig && s >= orig) {
5575                             dstr = newSVpvn_flags(s, m-s,
5576                                                  (do_utf8 ? SVf_UTF8 : 0)
5577                                                   | make_mortal);
5578                         }
5579                         else
5580                             dstr = &PL_sv_undef;  /* undef, not "" */
5581                         XPUSHs(dstr);
5582                     }
5583
5584                 }
5585             }
5586             s = RX_OFFS(rx)[0].end + orig;
5587         }
5588     }
5589
5590     if (!gimme_scalar) {
5591         iters = (SP - PL_stack_base) - base;
5592     }
5593     if (iters > maxiters)
5594         DIE(aTHX_ "Split loop");
5595
5596     /* keep field after final delim? */
5597     if (s < strend || (iters && origlimit)) {
5598         if (!gimme_scalar) {
5599             const STRLEN l = strend - s;
5600             dstr = newSVpvn_flags(s, l, (do_utf8 ? SVf_UTF8 : 0) | make_mortal);
5601             XPUSHs(dstr);
5602         }
5603         iters++;
5604     }
5605     else if (!origlimit) {
5606         if (gimme_scalar) {
5607             iters -= trailing_empty;
5608         } else {
5609             while (iters > 0 && (!TOPs || !SvANY(TOPs) || SvCUR(TOPs) == 0)) {
5610                 if (TOPs && !make_mortal)
5611                     sv_2mortal(TOPs);
5612                 *SP-- = &PL_sv_undef;
5613                 iters--;
5614             }
5615         }
5616     }
5617
5618     PUTBACK;
5619     LEAVE_SCOPE(oldsave); /* may undo an earlier SWITCHSTACK */
5620     SPAGAIN;
5621     if (realarray) {
5622         if (!mg) {
5623             if (SvSMAGICAL(ary)) {
5624                 PUTBACK;
5625                 mg_set(MUTABLE_SV(ary));
5626                 SPAGAIN;
5627             }
5628             if (gimme == G_ARRAY) {
5629                 EXTEND(SP, iters);
5630                 Copy(AvARRAY(ary), SP + 1, iters, SV*);
5631                 SP += iters;
5632                 RETURN;
5633             }
5634         }
5635         else {
5636             PUTBACK;
5637             ENTER_with_name("call_PUSH");
5638             call_method("PUSH",G_SCALAR|G_DISCARD);
5639             LEAVE_with_name("call_PUSH");
5640             SPAGAIN;
5641             if (gimme == G_ARRAY) {
5642                 I32 i;
5643                 /* EXTEND should not be needed - we just popped them */
5644                 EXTEND(SP, iters);
5645                 for (i=0; i < iters; i++) {
5646                     SV **svp = av_fetch(ary, i, FALSE);
5647                     PUSHs((svp) ? *svp : &PL_sv_undef);
5648                 }
5649                 RETURN;
5650             }
5651         }
5652     }
5653     else {
5654         if (gimme == G_ARRAY)
5655             RETURN;
5656     }
5657
5658     GETTARGET;
5659     PUSHi(iters);
5660     RETURN;
5661 }
5662
5663 PP(pp_once)
5664 {
5665     dSP;
5666     SV *const sv = PAD_SVl(PL_op->op_targ);
5667
5668     if (SvPADSTALE(sv)) {
5669         /* First time. */
5670         SvPADSTALE_off(sv);
5671         RETURNOP(cLOGOP->op_other);
5672     }
5673     RETURNOP(cLOGOP->op_next);
5674 }
5675
5676 PP(pp_lock)
5677 {
5678     dVAR;
5679     dSP;
5680     dTOPss;
5681     SV *retsv = sv;
5682     SvLOCK(sv);
5683     if (SvTYPE(retsv) == SVt_PVAV || SvTYPE(retsv) == SVt_PVHV
5684      || SvTYPE(retsv) == SVt_PVCV) {
5685         retsv = refto(retsv);
5686     }
5687     SETs(retsv);
5688     RETURN;
5689 }
5690
5691
5692 PP(unimplemented_op)
5693 {
5694     dVAR;
5695     const Optype op_type = PL_op->op_type;
5696     /* Using OP_NAME() isn't going to be helpful here. Firstly, it doesn't cope
5697        with out of range op numbers - it only "special" cases op_custom.
5698        Secondly, as the three ops we "panic" on are padmy, mapstart and custom,
5699        if we get here for a custom op then that means that the custom op didn't
5700        have an implementation. Given that OP_NAME() looks up the custom op
5701        by its pp_addr, likely it will return NULL, unless someone (unhelpfully)
5702        registers &PL_unimplemented_op as the address of their custom op.
5703        NULL doesn't generate a useful error message. "custom" does. */
5704     const char *const name = op_type >= OP_max
5705         ? "[out of range]" : PL_op_name[PL_op->op_type];
5706     if(OP_IS_SOCKET(op_type))
5707         DIE(aTHX_ PL_no_sock_func, name);
5708     DIE(aTHX_ "panic: unimplemented op %s (#%d) called", name,  op_type);
5709 }
5710
5711 PP(pp_boolkeys)
5712 {
5713     dVAR;
5714     dSP;
5715     HV * const hv = (HV*)POPs;
5716
5717     if (SvTYPE(hv) != SVt_PVHV) { XPUSHs(&PL_sv_no); RETURN; }
5718
5719     if (SvRMAGICAL(hv)) {
5720         MAGIC * const mg = mg_find((SV*)hv, PERL_MAGIC_tied);
5721         if (mg) {
5722             XPUSHs(magic_scalarpack(hv, mg));
5723             RETURN;
5724         }
5725     }
5726
5727     XPUSHs(boolSV(HvUSEDKEYS(hv) != 0));
5728     RETURN;
5729 }
5730
5731 /* For sorting out arguments passed to a &CORE:: subroutine */
5732 PP(pp_coreargs)
5733 {
5734     dSP;
5735     int opnum = SvIOK(cSVOP_sv) ? (int)SvUV(cSVOP_sv) : 0;
5736     int defgv = PL_opargs[opnum] & OA_DEFGV ||opnum==OP_GLOB, whicharg = 0;
5737     AV * const at_ = GvAV(PL_defgv);
5738     SV **svp = at_ ? AvARRAY(at_) : NULL;
5739     I32 minargs = 0, maxargs = 0, numargs = at_ ? AvFILLp(at_)+1 : 0;
5740     I32 oa = opnum ? PL_opargs[opnum] >> OASHIFT : 0;
5741     bool seen_question = 0;
5742     const char *err = NULL;
5743     const bool pushmark = PL_op->op_private & OPpCOREARGS_PUSHMARK;
5744
5745     /* Count how many args there are first, to get some idea how far to
5746        extend the stack. */
5747     while (oa) {
5748         if ((oa & 7) == OA_LIST) { maxargs = I32_MAX; break; }
5749         maxargs++;
5750         if (oa & OA_OPTIONAL) seen_question = 1;
5751         if (!seen_question) minargs++;
5752         oa >>= 4;
5753     }
5754
5755     if(numargs < minargs) err = "Not enough";
5756     else if(numargs > maxargs) err = "Too many";
5757     if (err)
5758         /* diag_listed_as: Too many arguments for %s */
5759         Perl_croak(aTHX_
5760           "%s arguments for %s", err,
5761            opnum ? PL_op_desc[opnum] : SvPV_nolen_const(cSVOP_sv)
5762         );
5763
5764     /* Reset the stack pointer.  Without this, we end up returning our own
5765        arguments in list context, in addition to the values we are supposed
5766        to return.  nextstate usually does this on sub entry, but we need
5767        to run the next op with the caller's hints, so we cannot have a
5768        nextstate. */
5769     SP = PL_stack_base + cxstack[cxstack_ix].blk_oldsp;
5770
5771     if(!maxargs) RETURN;
5772
5773     /* We do this here, rather than with a separate pushmark op, as it has
5774        to come in between two things this function does (stack reset and
5775        arg pushing).  This seems the easiest way to do it. */
5776     if (pushmark) {
5777         PUTBACK;
5778         (void)Perl_pp_pushmark(aTHX);
5779     }
5780
5781     EXTEND(SP, maxargs == I32_MAX ? numargs : maxargs);
5782     PUTBACK; /* The code below can die in various places. */
5783
5784     oa = PL_opargs[opnum] >> OASHIFT;
5785     for (; oa&&(numargs||!pushmark); (void)(numargs&&(++svp,--numargs))) {
5786         whicharg++;
5787         switch (oa & 7) {
5788         case OA_SCALAR:
5789           try_defsv:
5790             if (!numargs && defgv && whicharg == minargs + 1) {
5791                 PERL_SI * const oldsi = PL_curstackinfo;
5792                 I32 const oldcxix = oldsi->si_cxix;
5793                 CV *caller;
5794                 if (oldcxix) oldsi->si_cxix--;
5795                 else PL_curstackinfo = oldsi->si_prev;
5796                 caller = find_runcv(NULL);
5797                 PL_curstackinfo = oldsi;
5798                 oldsi->si_cxix = oldcxix;
5799                 PUSHs(find_rundefsv2(
5800                     caller,cxstack[cxstack_ix].blk_oldcop->cop_seq
5801                 ));
5802             }
5803             else PUSHs(numargs ? svp && *svp ? *svp : &PL_sv_undef : NULL);
5804             break;
5805         case OA_LIST:
5806             while (numargs--) {
5807                 PUSHs(svp && *svp ? *svp : &PL_sv_undef);
5808                 svp++;
5809             }
5810             RETURN;
5811         case OA_HVREF:
5812             if (!svp || !*svp || !SvROK(*svp)
5813              || SvTYPE(SvRV(*svp)) != SVt_PVHV)
5814                 DIE(aTHX_
5815                 /* diag_listed_as: Type of arg %d to &CORE::%s must be %s*/
5816                  "Type of arg %d to &CORE::%s must be hash reference",
5817                   whicharg, OP_DESC(PL_op->op_next)
5818                 );
5819             PUSHs(SvRV(*svp));
5820             break;
5821         case OA_FILEREF:
5822             if (!numargs) PUSHs(NULL);
5823             else if(svp && *svp && SvROK(*svp) && isGV_with_GP(SvRV(*svp)))
5824                 /* no magic here, as the prototype will have added an extra
5825                    refgen and we just want what was there before that */
5826                 PUSHs(SvRV(*svp));
5827             else {
5828                 const bool constr = PL_op->op_private & whicharg;
5829                 PUSHs(S_rv2gv(aTHX_
5830                     svp && *svp ? *svp : &PL_sv_undef,
5831                     constr, CopHINTS_get(PL_curcop) & HINT_STRICT_REFS,
5832                     !constr
5833                 ));
5834             }
5835             break;
5836         case OA_SCALARREF:
5837           if (!numargs) goto try_defsv;
5838           else {
5839             const bool wantscalar =
5840                 PL_op->op_private & OPpCOREARGS_SCALARMOD;
5841             if (!svp || !*svp || !SvROK(*svp)
5842                 /* We have to permit globrefs even for the \$ proto, as
5843                    *foo is indistinguishable from ${\*foo}, and the proto-
5844                    type permits the latter. */
5845              || SvTYPE(SvRV(*svp)) > (
5846                      wantscalar       ? SVt_PVLV
5847                    : opnum == OP_LOCK || opnum == OP_UNDEF
5848                                       ? SVt_PVCV
5849                    :                    SVt_PVHV
5850                 )
5851                )
5852                 DIE(aTHX_
5853                 /* diag_listed_as: Type of arg %d to &CORE::%s must be %s*/
5854                  "Type of arg %d to &CORE::%s must be %s",
5855                   whicharg, PL_op_name[opnum],
5856                   wantscalar
5857                     ? "scalar reference"
5858                     : opnum == OP_LOCK || opnum == OP_UNDEF
5859                        ? "reference to one of [$@%&*]"
5860                        : "reference to one of [$@%*]"
5861                 );
5862             PUSHs(SvRV(*svp));
5863             if (opnum == OP_UNDEF && SvRV(*svp) == (SV *)PL_defgv
5864              && cxstack[cxstack_ix].cx_type & CXp_HASARGS) {
5865                 /* Undo @_ localisation, so that sub exit does not undo
5866                    part of our undeffing. */
5867                 PERL_CONTEXT *cx = &cxstack[cxstack_ix];
5868                 POP_SAVEARRAY();
5869                 cx->cx_type &= ~ CXp_HASARGS;
5870                 assert(!AvREAL(cx->blk_sub.argarray));
5871             }
5872           }
5873           break;
5874         default:
5875             DIE(aTHX_ "panic: unknown OA_*: %x", (unsigned)(oa&7));
5876         }
5877         oa = oa >> 4;
5878     }
5879
5880     RETURN;
5881 }
5882
5883 PP(pp_runcv)
5884 {
5885     dSP;
5886     CV *cv;
5887     if (PL_op->op_private & OPpOFFBYONE) {
5888         PERL_SI * const oldsi = PL_curstackinfo;
5889         I32 const oldcxix = oldsi->si_cxix;
5890         if (oldcxix) oldsi->si_cxix--;
5891         else PL_curstackinfo = oldsi->si_prev;
5892         cv = find_runcv(NULL);
5893         PL_curstackinfo = oldsi;
5894         oldsi->si_cxix = oldcxix;
5895     }
5896     else cv = find_runcv(NULL);
5897     XPUSHs(CvEVAL(cv) ? &PL_sv_undef : sv_2mortal(newRV((SV *)cv)));
5898     RETURN;
5899 }
5900
5901
5902 /*
5903  * Local variables:
5904  * c-indentation-style: bsd
5905  * c-basic-offset: 4
5906  * indent-tabs-mode: nil
5907  * End:
5908  *
5909  * ex: set ts=8 sts=4 sw=4 et:
5910  */