In buildtoc, convert do_manifest() to returning a scalar.
[perl.git] / 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 (LVRET) {
75         if (GIMME == G_SCALAR)
76             Perl_croak(aTHX_ "Can't return array to lvalue scalar context");
77         PUSHs(TARG);
78         RETURN;
79     }
80     gimme = GIMME_V;
81     if (gimme == G_ARRAY) {
82         const I32 maxarg = AvFILL(MUTABLE_AV(TARG)) + 1;
83         EXTEND(SP, maxarg);
84         if (SvMAGICAL(TARG)) {
85             U32 i;
86             for (i=0; i < (U32)maxarg; i++) {
87                 SV * const * const svp = av_fetch(MUTABLE_AV(TARG), i, FALSE);
88                 SP[i+1] = (svp) ? *svp : &PL_sv_undef;
89             }
90         }
91         else {
92             Copy(AvARRAY((const AV *)TARG), SP+1, maxarg, SV*);
93         }
94         SP += maxarg;
95     }
96     else if (gimme == G_SCALAR) {
97         SV* const sv = sv_newmortal();
98         const I32 maxarg = AvFILL(MUTABLE_AV(TARG)) + 1;
99         sv_setiv(sv, maxarg);
100         PUSHs(sv);
101     }
102     RETURN;
103 }
104
105 PP(pp_padhv)
106 {
107     dVAR; dSP; dTARGET;
108     I32 gimme;
109
110     assert(SvTYPE(TARG) == SVt_PVHV);
111     XPUSHs(TARG);
112     if (PL_op->op_private & OPpLVAL_INTRO)
113         if (!(PL_op->op_private & OPpPAD_STATE))
114             SAVECLEARSV(PAD_SVl(PL_op->op_targ));
115     if (PL_op->op_flags & OPf_REF)
116         RETURN;
117     else if (LVRET) {
118         if (GIMME == G_SCALAR)
119             Perl_croak(aTHX_ "Can't return hash to lvalue scalar context");
120         RETURN;
121     }
122     gimme = GIMME_V;
123     if (gimme == G_ARRAY) {
124         RETURNOP(Perl_do_kv(aTHX));
125     }
126     else if (gimme == G_SCALAR) {
127         SV* const sv = Perl_hv_scalar(aTHX_ MUTABLE_HV(TARG));
128         SETs(sv);
129     }
130     RETURN;
131 }
132
133 /* Translations. */
134
135 static const char S_no_symref_sv[] =
136     "Can't use string (\"%" SVf32 "\"%s) as %s ref while \"strict refs\" in use";
137
138 PP(pp_rv2gv)
139 {
140     dVAR; dSP; dTOPss;
141
142     if (!isGV(sv) || SvFAKE(sv)) SvGETMAGIC(sv);
143     if (SvROK(sv)) {
144       wasref:
145         if (SvAMAGIC(sv)) {
146             sv = amagic_deref_call(sv, to_gv_amg);
147             SPAGAIN;
148         }
149         sv = SvRV(sv);
150         if (SvTYPE(sv) == SVt_PVIO) {
151             GV * const gv = MUTABLE_GV(sv_newmortal());
152             gv_init(gv, 0, "", 0, 0);
153             GvIOp(gv) = MUTABLE_IO(sv);
154             SvREFCNT_inc_void_NN(sv);
155             sv = MUTABLE_SV(gv);
156         }
157         else if (!isGV_with_GP(sv))
158             DIE(aTHX_ "Not a GLOB reference");
159     }
160     else {
161         if (!isGV_with_GP(sv)) {
162             if (!SvOK(sv) && sv != &PL_sv_undef) {
163                 /* If this is a 'my' scalar and flag is set then vivify
164                  * NI-S 1999/05/07
165                  */
166                 if (SvREADONLY(sv))
167                     Perl_croak_no_modify(aTHX);
168                 if (PL_op->op_private & OPpDEREF) {
169                     GV *gv;
170                     if (cUNOP->op_targ) {
171                         STRLEN len;
172                         SV * const namesv = PAD_SV(cUNOP->op_targ);
173                         const char * const name = SvPV(namesv, len);
174                         gv = MUTABLE_GV(newSV(0));
175                         gv_init(gv, CopSTASH(PL_curcop), name, len, 0);
176                     }
177                     else {
178                         const char * const name = CopSTASHPV(PL_curcop);
179                         gv = newGVgen(name);
180                     }
181                     prepare_SV_for_RV(sv);
182                     SvRV_set(sv, MUTABLE_SV(gv));
183                     SvROK_on(sv);
184                     SvSETMAGIC(sv);
185                     goto wasref;
186                 }
187                 if (PL_op->op_flags & OPf_REF ||
188                     PL_op->op_private & HINT_STRICT_REFS)
189                     DIE(aTHX_ PL_no_usym, "a symbol");
190                 if (ckWARN(WARN_UNINITIALIZED))
191                     report_uninit(sv);
192                 RETSETUNDEF;
193             }
194             if ((PL_op->op_flags & OPf_SPECIAL) &&
195                 !(PL_op->op_flags & OPf_MOD))
196             {
197                 SV * const temp = MUTABLE_SV(gv_fetchsv(sv, 0, SVt_PVGV));
198                 if (!temp
199                     && (!is_gv_magical_sv(sv,0)
200                         || !(sv = MUTABLE_SV(gv_fetchsv(sv, GV_ADD,
201                                                         SVt_PVGV))))) {
202                     RETSETUNDEF;
203                 }
204                 sv = temp;
205             }
206             else {
207                 if (PL_op->op_private & HINT_STRICT_REFS)
208                     DIE(aTHX_ S_no_symref_sv, sv, (SvPOK(sv) && SvCUR(sv)>32 ? "..." : ""), "a symbol");
209                 if ((PL_op->op_private & (OPpLVAL_INTRO|OPpDONT_INIT_GV))
210                     == OPpDONT_INIT_GV) {
211                     /* We are the target of a coderef assignment.  Return
212                        the scalar unchanged, and let pp_sasssign deal with
213                        things.  */
214                     RETURN;
215                 }
216                 sv = MUTABLE_SV(gv_fetchsv(sv, GV_ADD, SVt_PVGV));
217             }
218             /* FAKE globs in the symbol table cause weird bugs (#77810) */
219             if (sv) SvFAKE_off(sv);
220         }
221     }
222     if (sv && SvFAKE(sv)) {
223         SV *newsv = sv_newmortal();
224         sv_setsv_flags(newsv, sv, 0);
225         SvFAKE_off(newsv);
226         sv = newsv;
227     }
228     if (PL_op->op_private & OPpLVAL_INTRO)
229         save_gp(MUTABLE_GV(sv), !(PL_op->op_flags & OPf_SPECIAL));
230     SETs(sv);
231     RETURN;
232 }
233
234 /* Helper function for pp_rv2sv and pp_rv2av  */
235 GV *
236 Perl_softref2xv(pTHX_ SV *const sv, const char *const what,
237                 const svtype type, SV ***spp)
238 {
239     dVAR;
240     GV *gv;
241
242     PERL_ARGS_ASSERT_SOFTREF2XV;
243
244     if (PL_op->op_private & HINT_STRICT_REFS) {
245         if (SvOK(sv))
246             Perl_die(aTHX_ S_no_symref_sv, sv, (SvPOK(sv) && SvCUR(sv)>32 ? "..." : ""), what);
247         else
248             Perl_die(aTHX_ PL_no_usym, what);
249     }
250     if (!SvOK(sv)) {
251         if (
252           PL_op->op_flags & OPf_REF &&
253           PL_op->op_next->op_type != OP_BOOLKEYS
254         )
255             Perl_die(aTHX_ PL_no_usym, what);
256         if (ckWARN(WARN_UNINITIALIZED))
257             report_uninit(sv);
258         if (type != SVt_PV && GIMME_V == G_ARRAY) {
259             (*spp)--;
260             return NULL;
261         }
262         **spp = &PL_sv_undef;
263         return NULL;
264     }
265     if ((PL_op->op_flags & OPf_SPECIAL) &&
266         !(PL_op->op_flags & OPf_MOD))
267         {
268             gv = gv_fetchsv(sv, 0, type);
269             if (!gv
270                 && (!is_gv_magical_sv(sv,0)
271                     || !(gv = gv_fetchsv(sv, GV_ADD, type))))
272                 {
273                     **spp = &PL_sv_undef;
274                     return NULL;
275                 }
276         }
277     else {
278         gv = gv_fetchsv(sv, GV_ADD, type);
279     }
280     return gv;
281 }
282
283 PP(pp_rv2sv)
284 {
285     dVAR; dSP; dTOPss;
286     GV *gv = NULL;
287
288     if (!(PL_op->op_private & OPpDEREFed))
289         SvGETMAGIC(sv);
290     if (SvROK(sv)) {
291         if (SvAMAGIC(sv)) {
292             sv = amagic_deref_call(sv, to_sv_amg);
293             SPAGAIN;
294         }
295
296         sv = SvRV(sv);
297         switch (SvTYPE(sv)) {
298         case SVt_PVAV:
299         case SVt_PVHV:
300         case SVt_PVCV:
301         case SVt_PVFM:
302         case SVt_PVIO:
303             DIE(aTHX_ "Not a SCALAR reference");
304         default: NOOP;
305         }
306     }
307     else {
308         gv = MUTABLE_GV(sv);
309
310         if (!isGV_with_GP(gv)) {
311             gv = Perl_softref2xv(aTHX_ sv, "a SCALAR", SVt_PV, &sp);
312             if (!gv)
313                 RETURN;
314         }
315         sv = GvSVn(gv);
316     }
317     if (PL_op->op_flags & OPf_MOD) {
318         if (PL_op->op_private & OPpLVAL_INTRO) {
319             if (cUNOP->op_first->op_type == OP_NULL)
320                 sv = save_scalar(MUTABLE_GV(TOPs));
321             else if (gv)
322                 sv = save_scalar(gv);
323             else
324                 Perl_croak(aTHX_ "%s", PL_no_localize_ref);
325         }
326         else if (PL_op->op_private & OPpDEREF)
327             vivify_ref(sv, PL_op->op_private & OPpDEREF);
328     }
329     SETs(sv);
330     RETURN;
331 }
332
333 PP(pp_av2arylen)
334 {
335     dVAR; dSP;
336     AV * const av = MUTABLE_AV(TOPs);
337     const I32 lvalue = PL_op->op_flags & OPf_MOD || LVRET;
338     if (lvalue) {
339         SV ** const sv = Perl_av_arylen_p(aTHX_ MUTABLE_AV(av));
340         if (!*sv) {
341             *sv = newSV_type(SVt_PVMG);
342             sv_magic(*sv, MUTABLE_SV(av), PERL_MAGIC_arylen, NULL, 0);
343         }
344         SETs(*sv);
345     } else {
346         SETs(sv_2mortal(newSViv(
347             AvFILL(MUTABLE_AV(av)) + CopARYBASE_get(PL_curcop)
348         )));
349     }
350     RETURN;
351 }
352
353 PP(pp_pos)
354 {
355     dVAR; dSP; dPOPss;
356
357     if (PL_op->op_flags & OPf_MOD || LVRET) {
358         SV * const ret = sv_2mortal(newSV_type(SVt_PVLV));  /* Not TARG RT#67838 */
359         sv_magic(ret, NULL, PERL_MAGIC_pos, NULL, 0);
360         LvTYPE(ret) = '.';
361         LvTARG(ret) = SvREFCNT_inc_simple(sv);
362         PUSHs(ret);    /* no SvSETMAGIC */
363         RETURN;
364     }
365     else {
366         if (SvTYPE(sv) >= SVt_PVMG && SvMAGIC(sv)) {
367             const MAGIC * const mg = mg_find(sv, PERL_MAGIC_regex_global);
368             if (mg && mg->mg_len >= 0) {
369                 dTARGET;
370                 I32 i = mg->mg_len;
371                 if (DO_UTF8(sv))
372                     sv_pos_b2u(sv, &i);
373                 PUSHi(i + CopARYBASE_get(PL_curcop));
374                 RETURN;
375             }
376         }
377         RETPUSHUNDEF;
378     }
379 }
380
381 PP(pp_rv2cv)
382 {
383     dVAR; dSP;
384     GV *gv;
385     HV *stash_unused;
386     const I32 flags = (PL_op->op_flags & OPf_SPECIAL)
387         ? 0
388         : ((PL_op->op_private & (OPpLVAL_INTRO|OPpMAY_RETURN_CONSTANT)) == OPpMAY_RETURN_CONSTANT)
389             ? GV_ADD|GV_NOEXPAND
390             : GV_ADD;
391     /* We usually try to add a non-existent subroutine in case of AUTOLOAD. */
392     /* (But not in defined().) */
393
394     CV *cv = sv_2cv(TOPs, &stash_unused, &gv, flags);
395     if (cv) {
396         if (CvCLONE(cv))
397             cv = MUTABLE_CV(sv_2mortal(MUTABLE_SV(cv_clone(cv))));
398         if ((PL_op->op_private & OPpLVAL_INTRO)) {
399             if (gv && GvCV(gv) == cv && (gv = gv_autoload4(GvSTASH(gv), GvNAME(gv), GvNAMELEN(gv), FALSE)))
400                 cv = GvCV(gv);
401             if (!CvLVALUE(cv))
402                 DIE(aTHX_ "Can't modify non-lvalue subroutine call");
403         }
404     }
405     else if ((flags == (GV_ADD|GV_NOEXPAND)) && gv && SvROK(gv)) {
406         cv = MUTABLE_CV(gv);
407     }    
408     else
409         cv = MUTABLE_CV(&PL_sv_undef);
410     SETs(MUTABLE_SV(cv));
411     RETURN;
412 }
413
414 PP(pp_prototype)
415 {
416     dVAR; dSP;
417     CV *cv;
418     HV *stash;
419     GV *gv;
420     SV *ret = &PL_sv_undef;
421
422     if (SvPOK(TOPs) && SvCUR(TOPs) >= 7) {
423         const char * s = SvPVX_const(TOPs);
424         if (strnEQ(s, "CORE::", 6)) {
425             const int code = keyword(s + 6, SvCUR(TOPs) - 6, 1);
426             if (code < 0) {     /* Overridable. */
427 #define MAX_ARGS_OP ((sizeof(I32) - 1) * 2)
428                 int i = 0, n = 0, seen_question = 0, defgv = 0;
429                 I32 oa;
430                 char str[ MAX_ARGS_OP * 2 + 2 ]; /* One ';', one '\0' */
431
432                 if (code == -KEY_chop || code == -KEY_chomp
433                         || code == -KEY_exec || code == -KEY_system)
434                     goto set;
435                 if (code == -KEY_mkdir) {
436                     ret = newSVpvs_flags("_;$", SVs_TEMP);
437                     goto set;
438                 }
439                 if (code == -KEY_keys || code == -KEY_values || code == -KEY_each) {
440                     ret = newSVpvs_flags("+", SVs_TEMP);
441                     goto set;
442                 }
443                 if (code == -KEY_push || code == -KEY_unshift) {
444                     ret = newSVpvs_flags("+@", SVs_TEMP);
445                     goto set;
446                 }
447                 if (code == -KEY_pop || code == -KEY_shift) {
448                     ret = newSVpvs_flags(";+", SVs_TEMP);
449                     goto set;
450                 }
451                 if (code == -KEY_splice) {
452                     ret = newSVpvs_flags("+;$$@", SVs_TEMP);
453                     goto set;
454                 }
455                 if (code == -KEY_tied || code == -KEY_untie) {
456                     ret = newSVpvs_flags("\\[$@%*]", SVs_TEMP);
457                     goto set;
458                 }
459                 if (code == -KEY_tie) {
460                     ret = newSVpvs_flags("\\[$@%*]$@", SVs_TEMP);
461                     goto set;
462                 }
463                 if (code == -KEY_readpipe) {
464                     s = "CORE::backtick";
465                 }
466                 while (i < MAXO) {      /* The slow way. */
467                     if (strEQ(s + 6, PL_op_name[i])
468                         || strEQ(s + 6, PL_op_desc[i]))
469                     {
470                         goto found;
471                     }
472                     i++;
473                 }
474                 goto nonesuch;          /* Should not happen... */
475               found:
476                 defgv = PL_opargs[i] & OA_DEFGV;
477                 oa = PL_opargs[i] >> OASHIFT;
478                 while (oa) {
479                     if (oa & OA_OPTIONAL && !seen_question && !defgv) {
480                         seen_question = 1;
481                         str[n++] = ';';
482                     }
483                     if ((oa & (OA_OPTIONAL - 1)) >= OA_AVREF
484                         && (oa & (OA_OPTIONAL - 1)) <= OA_SCALARREF
485                         /* But globs are already references (kinda) */
486                         && (oa & (OA_OPTIONAL - 1)) != OA_FILEREF
487                     ) {
488                         str[n++] = '\\';
489                     }
490                     str[n++] = ("?$@@%&*$")[oa & (OA_OPTIONAL - 1)];
491                     oa = oa >> 4;
492                 }
493                 if (defgv && str[n - 1] == '$')
494                     str[n - 1] = '_';
495                 str[n++] = '\0';
496                 ret = newSVpvn_flags(str, n - 1, SVs_TEMP);
497             }
498             else if (code)              /* Non-Overridable */
499                 goto set;
500             else {                      /* None such */
501               nonesuch:
502                 DIE(aTHX_ "Can't find an opnumber for \"%s\"", s+6);
503             }
504         }
505     }
506     cv = sv_2cv(TOPs, &stash, &gv, 0);
507     if (cv && SvPOK(cv))
508         ret = newSVpvn_flags(SvPVX_const(cv), SvCUR(cv), SVs_TEMP);
509   set:
510     SETs(ret);
511     RETURN;
512 }
513
514 PP(pp_anoncode)
515 {
516     dVAR; dSP;
517     CV *cv = MUTABLE_CV(PAD_SV(PL_op->op_targ));
518     if (CvCLONE(cv))
519         cv = MUTABLE_CV(sv_2mortal(MUTABLE_SV(cv_clone(cv))));
520     EXTEND(SP,1);
521     PUSHs(MUTABLE_SV(cv));
522     RETURN;
523 }
524
525 PP(pp_srefgen)
526 {
527     dVAR; dSP;
528     *SP = refto(*SP);
529     RETURN;
530 }
531
532 PP(pp_refgen)
533 {
534     dVAR; dSP; dMARK;
535     if (GIMME != G_ARRAY) {
536         if (++MARK <= SP)
537             *MARK = *SP;
538         else
539             *MARK = &PL_sv_undef;
540         *MARK = refto(*MARK);
541         SP = MARK;
542         RETURN;
543     }
544     EXTEND_MORTAL(SP - MARK);
545     while (++MARK <= SP)
546         *MARK = refto(*MARK);
547     RETURN;
548 }
549
550 STATIC SV*
551 S_refto(pTHX_ SV *sv)
552 {
553     dVAR;
554     SV* rv;
555
556     PERL_ARGS_ASSERT_REFTO;
557
558     if (SvTYPE(sv) == SVt_PVLV && LvTYPE(sv) == 'y') {
559         if (LvTARGLEN(sv))
560             vivify_defelem(sv);
561         if (!(sv = LvTARG(sv)))
562             sv = &PL_sv_undef;
563         else
564             SvREFCNT_inc_void_NN(sv);
565     }
566     else if (SvTYPE(sv) == SVt_PVAV) {
567         if (!AvREAL((const AV *)sv) && AvREIFY((const AV *)sv))
568             av_reify(MUTABLE_AV(sv));
569         SvTEMP_off(sv);
570         SvREFCNT_inc_void_NN(sv);
571     }
572     else if (SvPADTMP(sv) && !IS_PADGV(sv))
573         sv = newSVsv(sv);
574     else {
575         SvTEMP_off(sv);
576         SvREFCNT_inc_void_NN(sv);
577     }
578     rv = sv_newmortal();
579     sv_upgrade(rv, SVt_IV);
580     SvRV_set(rv, sv);
581     SvROK_on(rv);
582     return rv;
583 }
584
585 PP(pp_ref)
586 {
587     dVAR; dSP; dTARGET;
588     const char *pv;
589     SV * const sv = POPs;
590
591     if (sv)
592         SvGETMAGIC(sv);
593
594     if (!sv || !SvROK(sv))
595         RETPUSHNO;
596
597     pv = sv_reftype(SvRV(sv),TRUE);
598     PUSHp(pv, strlen(pv));
599     RETURN;
600 }
601
602 PP(pp_bless)
603 {
604     dVAR; dSP;
605     HV *stash;
606
607     if (MAXARG == 1)
608         stash = CopSTASH(PL_curcop);
609     else {
610         SV * const ssv = POPs;
611         STRLEN len;
612         const char *ptr;
613
614         if (ssv && !SvGMAGICAL(ssv) && !SvAMAGIC(ssv) && SvROK(ssv))
615             Perl_croak(aTHX_ "Attempt to bless into a reference");
616         ptr = SvPV_const(ssv,len);
617         if (len == 0)
618             Perl_ck_warner(aTHX_ packWARN(WARN_MISC),
619                            "Explicit blessing to '' (assuming package main)");
620         stash = gv_stashpvn(ptr, len, GV_ADD);
621     }
622
623     (void)sv_bless(TOPs, stash);
624     RETURN;
625 }
626
627 PP(pp_gelem)
628 {
629     dVAR; dSP;
630
631     SV *sv = POPs;
632     const char * const elem = SvPV_nolen_const(sv);
633     GV * const gv = MUTABLE_GV(POPs);
634     SV * tmpRef = NULL;
635
636     sv = NULL;
637     if (elem) {
638         /* elem will always be NUL terminated.  */
639         const char * const second_letter = elem + 1;
640         switch (*elem) {
641         case 'A':
642             if (strEQ(second_letter, "RRAY"))
643                 tmpRef = MUTABLE_SV(GvAV(gv));
644             break;
645         case 'C':
646             if (strEQ(second_letter, "ODE"))
647                 tmpRef = MUTABLE_SV(GvCVu(gv));
648             break;
649         case 'F':
650             if (strEQ(second_letter, "ILEHANDLE")) {
651                 /* finally deprecated in 5.8.0 */
652                 deprecate("*glob{FILEHANDLE}");
653                 tmpRef = MUTABLE_SV(GvIOp(gv));
654             }
655             else
656                 if (strEQ(second_letter, "ORMAT"))
657                     tmpRef = MUTABLE_SV(GvFORM(gv));
658             break;
659         case 'G':
660             if (strEQ(second_letter, "LOB"))
661                 tmpRef = MUTABLE_SV(gv);
662             break;
663         case 'H':
664             if (strEQ(second_letter, "ASH"))
665                 tmpRef = MUTABLE_SV(GvHV(gv));
666             break;
667         case 'I':
668             if (*second_letter == 'O' && !elem[2])
669                 tmpRef = MUTABLE_SV(GvIOp(gv));
670             break;
671         case 'N':
672             if (strEQ(second_letter, "AME"))
673                 sv = newSVhek(GvNAME_HEK(gv));
674             break;
675         case 'P':
676             if (strEQ(second_letter, "ACKAGE")) {
677                 const HV * const stash = GvSTASH(gv);
678                 const HEK * const hek = stash ? HvNAME_HEK(stash) : NULL;
679                 sv = hek ? newSVhek(hek) : newSVpvs("__ANON__");
680             }
681             break;
682         case 'S':
683             if (strEQ(second_letter, "CALAR"))
684                 tmpRef = GvSVn(gv);
685             break;
686         }
687     }
688     if (tmpRef)
689         sv = newRV(tmpRef);
690     if (sv)
691         sv_2mortal(sv);
692     else
693         sv = &PL_sv_undef;
694     XPUSHs(sv);
695     RETURN;
696 }
697
698 /* Pattern matching */
699
700 PP(pp_study)
701 {
702     dVAR; dSP; dPOPss;
703     register unsigned char *s;
704     register I32 pos;
705     register I32 ch;
706     register I32 *sfirst;
707     register I32 *snext;
708     STRLEN len;
709
710     if (sv == PL_lastscream) {
711         if (SvSCREAM(sv))
712             RETPUSHYES;
713     }
714     s = (unsigned char*)(SvPV(sv, len));
715     pos = len;
716     if (pos <= 0 || !SvPOK(sv) || SvUTF8(sv)) {
717         /* No point in studying a zero length string, and not safe to study
718            anything that doesn't appear to be a simple scalar (and hence might
719            change between now and when the regexp engine runs without our set
720            magic ever running) such as a reference to an object with overloaded
721            stringification.  */
722         RETPUSHNO;
723     }
724
725     if (PL_lastscream) {
726         SvSCREAM_off(PL_lastscream);
727         SvREFCNT_dec(PL_lastscream);
728     }
729     PL_lastscream = SvREFCNT_inc_simple(sv);
730
731     s = (unsigned char*)(SvPV(sv, len));
732     pos = len;
733     if (pos <= 0)
734         RETPUSHNO;
735     if (pos > PL_maxscream) {
736         if (PL_maxscream < 0) {
737             PL_maxscream = pos + 80;
738             Newx(PL_screamfirst, 256, I32);
739             Newx(PL_screamnext, PL_maxscream, I32);
740         }
741         else {
742             PL_maxscream = pos + pos / 4;
743             Renew(PL_screamnext, PL_maxscream, I32);
744         }
745     }
746
747     sfirst = PL_screamfirst;
748     snext = PL_screamnext;
749
750     if (!sfirst || !snext)
751         DIE(aTHX_ "do_study: out of memory");
752
753     for (ch = 256; ch; --ch)
754         *sfirst++ = -1;
755     sfirst -= 256;
756
757     while (--pos >= 0) {
758         register const I32 ch = s[pos];
759         if (sfirst[ch] >= 0)
760             snext[pos] = sfirst[ch] - pos;
761         else
762             snext[pos] = -pos;
763         sfirst[ch] = pos;
764     }
765
766     SvSCREAM_on(sv);
767     /* piggyback on m//g magic */
768     sv_magic(sv, NULL, PERL_MAGIC_regex_global, NULL, 0);
769     RETPUSHYES;
770 }
771
772 PP(pp_trans)
773 {
774     dVAR; dSP; dTARG;
775     SV *sv;
776
777     if (PL_op->op_flags & OPf_STACKED)
778         sv = POPs;
779     else if (PL_op->op_private & OPpTARGET_MY)
780         sv = GETTARGET;
781     else {
782         sv = DEFSV;
783         EXTEND(SP,1);
784     }
785     TARG = sv_newmortal();
786     if(PL_op->op_type == OP_TRANSR) {
787         SV * const newsv = newSVsv(sv);
788         do_trans(newsv);
789         mPUSHs(newsv);
790     }
791     else PUSHi(do_trans(sv));
792     RETURN;
793 }
794
795 /* Lvalue operators. */
796
797 static void
798 S_do_chomp(pTHX_ SV *retval, SV *sv, bool chomping)
799 {
800     dVAR;
801     STRLEN len;
802     char *s;
803
804     PERL_ARGS_ASSERT_DO_CHOMP;
805
806     if (chomping && (RsSNARF(PL_rs) || RsRECORD(PL_rs)))
807         return;
808     if (SvTYPE(sv) == SVt_PVAV) {
809         I32 i;
810         AV *const av = MUTABLE_AV(sv);
811         const I32 max = AvFILL(av);
812
813         for (i = 0; i <= max; i++) {
814             sv = MUTABLE_SV(av_fetch(av, i, FALSE));
815             if (sv && ((sv = *(SV**)sv), sv != &PL_sv_undef))
816                 do_chomp(retval, sv, chomping);
817         }
818         return;
819     }
820     else if (SvTYPE(sv) == SVt_PVHV) {
821         HV* const hv = MUTABLE_HV(sv);
822         HE* entry;
823         (void)hv_iterinit(hv);
824         while ((entry = hv_iternext(hv)))
825             do_chomp(retval, hv_iterval(hv,entry), chomping);
826         return;
827     }
828     else if (SvREADONLY(sv)) {
829         if (SvFAKE(sv)) {
830             /* SV is copy-on-write */
831             sv_force_normal_flags(sv, 0);
832         }
833         if (SvREADONLY(sv))
834             Perl_croak_no_modify(aTHX);
835     }
836
837     if (PL_encoding) {
838         if (!SvUTF8(sv)) {
839             /* XXX, here sv is utf8-ized as a side-effect!
840                If encoding.pm is used properly, almost string-generating
841                operations, including literal strings, chr(), input data, etc.
842                should have been utf8-ized already, right?
843             */
844             sv_recode_to_utf8(sv, PL_encoding);
845         }
846     }
847
848     s = SvPV(sv, len);
849     if (chomping) {
850         char *temp_buffer = NULL;
851         SV *svrecode = NULL;
852
853         if (s && len) {
854             s += --len;
855             if (RsPARA(PL_rs)) {
856                 if (*s != '\n')
857                     goto nope;
858                 ++SvIVX(retval);
859                 while (len && s[-1] == '\n') {
860                     --len;
861                     --s;
862                     ++SvIVX(retval);
863                 }
864             }
865             else {
866                 STRLEN rslen, rs_charlen;
867                 const char *rsptr = SvPV_const(PL_rs, rslen);
868
869                 rs_charlen = SvUTF8(PL_rs)
870                     ? sv_len_utf8(PL_rs)
871                     : rslen;
872
873                 if (SvUTF8(PL_rs) != SvUTF8(sv)) {
874                     /* Assumption is that rs is shorter than the scalar.  */
875                     if (SvUTF8(PL_rs)) {
876                         /* RS is utf8, scalar is 8 bit.  */
877                         bool is_utf8 = TRUE;
878                         temp_buffer = (char*)bytes_from_utf8((U8*)rsptr,
879                                                              &rslen, &is_utf8);
880                         if (is_utf8) {
881                             /* Cannot downgrade, therefore cannot possibly match
882                              */
883                             assert (temp_buffer == rsptr);
884                             temp_buffer = NULL;
885                             goto nope;
886                         }
887                         rsptr = temp_buffer;
888                     }
889                     else if (PL_encoding) {
890                         /* RS is 8 bit, encoding.pm is used.
891                          * Do not recode PL_rs as a side-effect. */
892                         svrecode = newSVpvn(rsptr, rslen);
893                         sv_recode_to_utf8(svrecode, PL_encoding);
894                         rsptr = SvPV_const(svrecode, rslen);
895                         rs_charlen = sv_len_utf8(svrecode);
896                     }
897                     else {
898                         /* RS is 8 bit, scalar is utf8.  */
899                         temp_buffer = (char*)bytes_to_utf8((U8*)rsptr, &rslen);
900                         rsptr = temp_buffer;
901                     }
902                 }
903                 if (rslen == 1) {
904                     if (*s != *rsptr)
905                         goto nope;
906                     ++SvIVX(retval);
907                 }
908                 else {
909                     if (len < rslen - 1)
910                         goto nope;
911                     len -= rslen - 1;
912                     s -= rslen - 1;
913                     if (memNE(s, rsptr, rslen))
914                         goto nope;
915                     SvIVX(retval) += rs_charlen;
916                 }
917             }
918             s = SvPV_force_nolen(sv);
919             SvCUR_set(sv, len);
920             *SvEND(sv) = '\0';
921             SvNIOK_off(sv);
922             SvSETMAGIC(sv);
923         }
924     nope:
925
926         SvREFCNT_dec(svrecode);
927
928         Safefree(temp_buffer);
929     } else {
930         if (len && !SvPOK(sv))
931             s = SvPV_force_nomg(sv, len);
932         if (DO_UTF8(sv)) {
933             if (s && len) {
934                 char * const send = s + len;
935                 char * const start = s;
936                 s = send - 1;
937                 while (s > start && UTF8_IS_CONTINUATION(*s))
938                     s--;
939                 if (is_utf8_string((U8*)s, send - s)) {
940                     sv_setpvn(retval, s, send - s);
941                     *s = '\0';
942                     SvCUR_set(sv, s - start);
943                     SvNIOK_off(sv);
944                     SvUTF8_on(retval);
945                 }
946             }
947             else
948                 sv_setpvs(retval, "");
949         }
950         else if (s && len) {
951             s += --len;
952             sv_setpvn(retval, s, 1);
953             *s = '\0';
954             SvCUR_set(sv, len);
955             SvUTF8_off(sv);
956             SvNIOK_off(sv);
957         }
958         else
959             sv_setpvs(retval, "");
960         SvSETMAGIC(sv);
961     }
962 }
963
964 PP(pp_schop)
965 {
966     dVAR; dSP; dTARGET;
967     const bool chomping = PL_op->op_type == OP_SCHOMP;
968
969     if (chomping)
970         sv_setiv(TARG, 0);
971     do_chomp(TARG, TOPs, chomping);
972     SETTARG;
973     RETURN;
974 }
975
976 PP(pp_chop)
977 {
978     dVAR; dSP; dMARK; dTARGET; dORIGMARK;
979     const bool chomping = PL_op->op_type == OP_CHOMP;
980
981     if (chomping)
982         sv_setiv(TARG, 0);
983     while (MARK < SP)
984         do_chomp(TARG, *++MARK, chomping);
985     SP = ORIGMARK;
986     XPUSHTARG;
987     RETURN;
988 }
989
990 PP(pp_undef)
991 {
992     dVAR; dSP;
993     SV *sv;
994
995     if (!PL_op->op_private) {
996         EXTEND(SP, 1);
997         RETPUSHUNDEF;
998     }
999
1000     sv = POPs;
1001     if (!sv)
1002         RETPUSHUNDEF;
1003
1004     SV_CHECK_THINKFIRST_COW_DROP(sv);
1005
1006     switch (SvTYPE(sv)) {
1007     case SVt_NULL:
1008         break;
1009     case SVt_PVAV:
1010         av_undef(MUTABLE_AV(sv));
1011         break;
1012     case SVt_PVHV:
1013         hv_undef(MUTABLE_HV(sv));
1014         break;
1015     case SVt_PVCV:
1016         if (cv_const_sv((const CV *)sv))
1017             Perl_ck_warner(aTHX_ packWARN(WARN_MISC), "Constant subroutine %s undefined",
1018                            CvANON((const CV *)sv) ? "(anonymous)"
1019                            : GvENAME(CvGV((const CV *)sv)));
1020         /* FALLTHROUGH */
1021     case SVt_PVFM:
1022         {
1023             /* let user-undef'd sub keep its identity */
1024             GV* const gv = CvGV((const CV *)sv);
1025             cv_undef(MUTABLE_CV(sv));
1026             CvGV_set(MUTABLE_CV(sv), gv);
1027         }
1028         break;
1029     case SVt_PVGV:
1030         if (SvFAKE(sv)) {
1031             SvSetMagicSV(sv, &PL_sv_undef);
1032             break;
1033         }
1034         else if (isGV_with_GP(sv)) {
1035             GP *gp;
1036             HV *stash;
1037
1038             /* undef *Pkg::meth_name ... */
1039             bool method_changed
1040              =   GvCVu((const GV *)sv) && (stash = GvSTASH((const GV *)sv))
1041               && HvENAME_get(stash);
1042             /* undef *Foo:: */
1043             if((stash = GvHV((const GV *)sv))) {
1044                 if(HvENAME_get(stash))
1045                     SvREFCNT_inc_simple_void_NN(sv_2mortal((SV *)stash));
1046                 else stash = NULL;
1047             }
1048
1049             gp_free(MUTABLE_GV(sv));
1050             Newxz(gp, 1, GP);
1051             GvGP_set(sv, gp_ref(gp));
1052             GvSV(sv) = newSV(0);
1053             GvLINE(sv) = CopLINE(PL_curcop);
1054             GvEGV(sv) = MUTABLE_GV(sv);
1055             GvMULTI_on(sv);
1056
1057             if(stash)
1058                 mro_package_moved(NULL, stash, (const GV *)sv, 0);
1059             stash = NULL;
1060             /* undef *Foo::ISA */
1061             if( strEQ(GvNAME((const GV *)sv), "ISA")
1062              && (stash = GvSTASH((const GV *)sv))
1063              && (method_changed || HvENAME(stash)) )
1064                 mro_isa_changed_in(stash);
1065             else if(method_changed)
1066                 mro_method_changed_in(
1067                  GvSTASH((const GV *)sv)
1068                 );
1069
1070             break;
1071         }
1072         /* FALL THROUGH */
1073     default:
1074         if (SvTYPE(sv) >= SVt_PV && SvPVX_const(sv) && SvLEN(sv)) {
1075             SvPV_free(sv);
1076             SvPV_set(sv, NULL);
1077             SvLEN_set(sv, 0);
1078         }
1079         SvOK_off(sv);
1080         SvSETMAGIC(sv);
1081     }
1082
1083     RETPUSHUNDEF;
1084 }
1085
1086 PP(pp_predec)
1087 {
1088     dVAR; dSP;
1089     if (SvTYPE(TOPs) >= SVt_PVAV || isGV_with_GP(TOPs))
1090         Perl_croak_no_modify(aTHX);
1091     if (!SvREADONLY(TOPs) && SvIOK_notUV(TOPs) && !SvNOK(TOPs) && !SvPOK(TOPs)
1092         && SvIVX(TOPs) != IV_MIN)
1093     {
1094         SvIV_set(TOPs, SvIVX(TOPs) - 1);
1095         SvFLAGS(TOPs) &= ~(SVp_NOK|SVp_POK);
1096     }
1097     else
1098         sv_dec(TOPs);
1099     SvSETMAGIC(TOPs);
1100     return NORMAL;
1101 }
1102
1103 PP(pp_postinc)
1104 {
1105     dVAR; dSP; dTARGET;
1106     if (SvTYPE(TOPs) >= SVt_PVAV || isGV_with_GP(TOPs))
1107         Perl_croak_no_modify(aTHX);
1108     if (SvROK(TOPs))
1109         TARG = sv_newmortal();
1110     sv_setsv(TARG, TOPs);
1111     if (!SvREADONLY(TOPs) && SvIOK_notUV(TOPs) && !SvNOK(TOPs) && !SvPOK(TOPs)
1112         && SvIVX(TOPs) != IV_MAX)
1113     {
1114         SvIV_set(TOPs, SvIVX(TOPs) + 1);
1115         SvFLAGS(TOPs) &= ~(SVp_NOK|SVp_POK);
1116     }
1117     else
1118         sv_inc_nomg(TOPs);
1119     SvSETMAGIC(TOPs);
1120     /* special case for undef: see thread at 2003-03/msg00536.html in archive */
1121     if (!SvOK(TARG))
1122         sv_setiv(TARG, 0);
1123     SETs(TARG);
1124     return NORMAL;
1125 }
1126
1127 PP(pp_postdec)
1128 {
1129     dVAR; dSP; dTARGET;
1130     if (SvTYPE(TOPs) >= SVt_PVAV || isGV_with_GP(TOPs))
1131         Perl_croak_no_modify(aTHX);
1132     if (SvROK(TOPs))
1133         TARG = sv_newmortal();
1134     sv_setsv(TARG, TOPs);
1135     if (!SvREADONLY(TOPs) && SvIOK_notUV(TOPs) && !SvNOK(TOPs) && !SvPOK(TOPs)
1136         && SvIVX(TOPs) != IV_MIN)
1137     {
1138         SvIV_set(TOPs, SvIVX(TOPs) - 1);
1139         SvFLAGS(TOPs) &= ~(SVp_NOK|SVp_POK);
1140     }
1141     else
1142         sv_dec_nomg(TOPs);
1143     SvSETMAGIC(TOPs);
1144     SETs(TARG);
1145     return NORMAL;
1146 }
1147
1148 /* Ordinary operators. */
1149
1150 PP(pp_pow)
1151 {
1152     dVAR; dSP; dATARGET; SV *svl, *svr;
1153 #ifdef PERL_PRESERVE_IVUV
1154     bool is_int = 0;
1155 #endif
1156     tryAMAGICbin_MG(pow_amg, AMGf_assign|AMGf_numeric);
1157     svr = TOPs;
1158     svl = TOPm1s;
1159 #ifdef PERL_PRESERVE_IVUV
1160     /* For integer to integer power, we do the calculation by hand wherever
1161        we're sure it is safe; otherwise we call pow() and try to convert to
1162        integer afterwards. */
1163     {
1164         SvIV_please_nomg(svr);
1165         if (SvIOK(svr)) {
1166             SvIV_please_nomg(svl);
1167             if (SvIOK(svl)) {
1168                 UV power;
1169                 bool baseuok;
1170                 UV baseuv;
1171
1172                 if (SvUOK(svr)) {
1173                     power = SvUVX(svr);
1174                 } else {
1175                     const IV iv = SvIVX(svr);
1176                     if (iv >= 0) {
1177                         power = iv;
1178                     } else {
1179                         goto float_it; /* Can't do negative powers this way.  */
1180                     }
1181                 }
1182
1183                 baseuok = SvUOK(svl);
1184                 if (baseuok) {
1185                     baseuv = SvUVX(svl);
1186                 } else {
1187                     const IV iv = SvIVX(svl);
1188                     if (iv >= 0) {
1189                         baseuv = iv;
1190                         baseuok = TRUE; /* effectively it's a UV now */
1191                     } else {
1192                         baseuv = -iv; /* abs, baseuok == false records sign */
1193                     }
1194                 }
1195                 /* now we have integer ** positive integer. */
1196                 is_int = 1;
1197
1198                 /* foo & (foo - 1) is zero only for a power of 2.  */
1199                 if (!(baseuv & (baseuv - 1))) {
1200                     /* We are raising power-of-2 to a positive integer.
1201                        The logic here will work for any base (even non-integer
1202                        bases) but it can be less accurate than
1203                        pow (base,power) or exp (power * log (base)) when the
1204                        intermediate values start to spill out of the mantissa.
1205                        With powers of 2 we know this can't happen.
1206                        And powers of 2 are the favourite thing for perl
1207                        programmers to notice ** not doing what they mean. */
1208                     NV result = 1.0;
1209                     NV base = baseuok ? baseuv : -(NV)baseuv;
1210
1211                     if (power & 1) {
1212                         result *= base;
1213                     }
1214                     while (power >>= 1) {
1215                         base *= base;
1216                         if (power & 1) {
1217                             result *= base;
1218                         }
1219                     }
1220                     SP--;
1221                     SETn( result );
1222                     SvIV_please_nomg(svr);
1223                     RETURN;
1224                 } else {
1225                     register unsigned int highbit = 8 * sizeof(UV);
1226                     register unsigned int diff = 8 * sizeof(UV);
1227                     while (diff >>= 1) {
1228                         highbit -= diff;
1229                         if (baseuv >> highbit) {
1230                             highbit += diff;
1231                         }
1232                     }
1233                     /* we now have baseuv < 2 ** highbit */
1234                     if (power * highbit <= 8 * sizeof(UV)) {
1235                         /* result will definitely fit in UV, so use UV math
1236                            on same algorithm as above */
1237                         register UV result = 1;
1238                         register UV base = baseuv;
1239                         const bool odd_power = cBOOL(power & 1);
1240                         if (odd_power) {
1241                             result *= base;
1242                         }
1243                         while (power >>= 1) {
1244                             base *= base;
1245                             if (power & 1) {
1246                                 result *= base;
1247                             }
1248                         }
1249                         SP--;
1250                         if (baseuok || !odd_power)
1251                             /* answer is positive */
1252                             SETu( result );
1253                         else if (result <= (UV)IV_MAX)
1254                             /* answer negative, fits in IV */
1255                             SETi( -(IV)result );
1256                         else if (result == (UV)IV_MIN) 
1257                             /* 2's complement assumption: special case IV_MIN */
1258                             SETi( IV_MIN );
1259                         else
1260                             /* answer negative, doesn't fit */
1261                             SETn( -(NV)result );
1262                         RETURN;
1263                     } 
1264                 }
1265             }
1266         }
1267     }
1268   float_it:
1269 #endif    
1270     {
1271         NV right = SvNV_nomg(svr);
1272         NV left  = SvNV_nomg(svl);
1273         (void)POPs;
1274
1275 #if defined(USE_LONG_DOUBLE) && defined(HAS_AIX_POWL_NEG_BASE_BUG)
1276     /*
1277     We are building perl with long double support and are on an AIX OS
1278     afflicted with a powl() function that wrongly returns NaNQ for any
1279     negative base.  This was reported to IBM as PMR #23047-379 on
1280     03/06/2006.  The problem exists in at least the following versions
1281     of AIX and the libm fileset, and no doubt others as well:
1282
1283         AIX 4.3.3-ML10      bos.adt.libm 4.3.3.50
1284         AIX 5.1.0-ML04      bos.adt.libm 5.1.0.29
1285         AIX 5.2.0           bos.adt.libm 5.2.0.85
1286
1287     So, until IBM fixes powl(), we provide the following workaround to
1288     handle the problem ourselves.  Our logic is as follows: for
1289     negative bases (left), we use fmod(right, 2) to check if the
1290     exponent is an odd or even integer:
1291
1292         - if odd,  powl(left, right) == -powl(-left, right)
1293         - if even, powl(left, right) ==  powl(-left, right)
1294
1295     If the exponent is not an integer, the result is rightly NaNQ, so
1296     we just return that (as NV_NAN).
1297     */
1298
1299         if (left < 0.0) {
1300             NV mod2 = Perl_fmod( right, 2.0 );
1301             if (mod2 == 1.0 || mod2 == -1.0) {  /* odd integer */
1302                 SETn( -Perl_pow( -left, right) );
1303             } else if (mod2 == 0.0) {           /* even integer */
1304                 SETn( Perl_pow( -left, right) );
1305             } else {                            /* fractional power */
1306                 SETn( NV_NAN );
1307             }
1308         } else {
1309             SETn( Perl_pow( left, right) );
1310         }
1311 #else
1312         SETn( Perl_pow( left, right) );
1313 #endif  /* HAS_AIX_POWL_NEG_BASE_BUG */
1314
1315 #ifdef PERL_PRESERVE_IVUV
1316         if (is_int)
1317             SvIV_please_nomg(svr);
1318 #endif
1319         RETURN;
1320     }
1321 }
1322
1323 PP(pp_multiply)
1324 {
1325     dVAR; dSP; dATARGET; SV *svl, *svr;
1326     tryAMAGICbin_MG(mult_amg, AMGf_assign|AMGf_numeric);
1327     svr = TOPs;
1328     svl = TOPm1s;
1329 #ifdef PERL_PRESERVE_IVUV
1330     SvIV_please_nomg(svr);
1331     if (SvIOK(svr)) {
1332         /* Unless the left argument is integer in range we are going to have to
1333            use NV maths. Hence only attempt to coerce the right argument if
1334            we know the left is integer.  */
1335         /* Left operand is defined, so is it IV? */
1336         SvIV_please_nomg(svl);
1337         if (SvIOK(svl)) {
1338             bool auvok = SvUOK(svl);
1339             bool buvok = SvUOK(svr);
1340             const UV topmask = (~ (UV)0) << (4 * sizeof (UV));
1341             const UV botmask = ~((~ (UV)0) << (4 * sizeof (UV)));
1342             UV alow;
1343             UV ahigh;
1344             UV blow;
1345             UV bhigh;
1346
1347             if (auvok) {
1348                 alow = SvUVX(svl);
1349             } else {
1350                 const IV aiv = SvIVX(svl);
1351                 if (aiv >= 0) {
1352                     alow = aiv;
1353                     auvok = TRUE; /* effectively it's a UV now */
1354                 } else {
1355                     alow = -aiv; /* abs, auvok == false records sign */
1356                 }
1357             }
1358             if (buvok) {
1359                 blow = SvUVX(svr);
1360             } else {
1361                 const IV biv = SvIVX(svr);
1362                 if (biv >= 0) {
1363                     blow = biv;
1364                     buvok = TRUE; /* effectively it's a UV now */
1365                 } else {
1366                     blow = -biv; /* abs, buvok == false records sign */
1367                 }
1368             }
1369
1370             /* If this does sign extension on unsigned it's time for plan B  */
1371             ahigh = alow >> (4 * sizeof (UV));
1372             alow &= botmask;
1373             bhigh = blow >> (4 * sizeof (UV));
1374             blow &= botmask;
1375             if (ahigh && bhigh) {
1376                 NOOP;
1377                 /* eg 32 bit is at least 0x10000 * 0x10000 == 0x100000000
1378                    which is overflow. Drop to NVs below.  */
1379             } else if (!ahigh && !bhigh) {
1380                 /* eg 32 bit is at most 0xFFFF * 0xFFFF == 0xFFFE0001
1381                    so the unsigned multiply cannot overflow.  */
1382                 const UV product = alow * blow;
1383                 if (auvok == buvok) {
1384                     /* -ve * -ve or +ve * +ve gives a +ve result.  */
1385                     SP--;
1386                     SETu( product );
1387                     RETURN;
1388                 } else if (product <= (UV)IV_MIN) {
1389                     /* 2s complement assumption that (UV)-IV_MIN is correct.  */
1390                     /* -ve result, which could overflow an IV  */
1391                     SP--;
1392                     SETi( -(IV)product );
1393                     RETURN;
1394                 } /* else drop to NVs below. */
1395             } else {
1396                 /* One operand is large, 1 small */
1397                 UV product_middle;
1398                 if (bhigh) {
1399                     /* swap the operands */
1400                     ahigh = bhigh;
1401                     bhigh = blow; /* bhigh now the temp var for the swap */
1402                     blow = alow;
1403                     alow = bhigh;
1404                 }
1405                 /* now, ((ahigh * blow) << half_UV_len) + (alow * blow)
1406                    multiplies can't overflow. shift can, add can, -ve can.  */
1407                 product_middle = ahigh * blow;
1408                 if (!(product_middle & topmask)) {
1409                     /* OK, (ahigh * blow) won't lose bits when we shift it.  */
1410                     UV product_low;
1411                     product_middle <<= (4 * sizeof (UV));
1412                     product_low = alow * blow;
1413
1414                     /* as for pp_add, UV + something mustn't get smaller.
1415                        IIRC ANSI mandates this wrapping *behaviour* for
1416                        unsigned whatever the actual representation*/
1417                     product_low += product_middle;
1418                     if (product_low >= product_middle) {
1419                         /* didn't overflow */
1420                         if (auvok == buvok) {
1421                             /* -ve * -ve or +ve * +ve gives a +ve result.  */
1422                             SP--;
1423                             SETu( product_low );
1424                             RETURN;
1425                         } else if (product_low <= (UV)IV_MIN) {
1426                             /* 2s complement assumption again  */
1427                             /* -ve result, which could overflow an IV  */
1428                             SP--;
1429                             SETi( -(IV)product_low );
1430                             RETURN;
1431                         } /* else drop to NVs below. */
1432                     }
1433                 } /* product_middle too large */
1434             } /* ahigh && bhigh */
1435         } /* SvIOK(svl) */
1436     } /* SvIOK(svr) */
1437 #endif
1438     {
1439       NV right = SvNV_nomg(svr);
1440       NV left  = SvNV_nomg(svl);
1441       (void)POPs;
1442       SETn( left * right );
1443       RETURN;
1444     }
1445 }
1446
1447 PP(pp_divide)
1448 {
1449     dVAR; dSP; dATARGET; SV *svl, *svr;
1450     tryAMAGICbin_MG(div_amg, AMGf_assign|AMGf_numeric);
1451     svr = TOPs;
1452     svl = TOPm1s;
1453     /* Only try to do UV divide first
1454        if ((SLOPPYDIVIDE is true) or
1455            (PERL_PRESERVE_IVUV is true and one or both SV is a UV too large
1456             to preserve))
1457        The assumption is that it is better to use floating point divide
1458        whenever possible, only doing integer divide first if we can't be sure.
1459        If NV_PRESERVES_UV is true then we know at compile time that no UV
1460        can be too large to preserve, so don't need to compile the code to
1461        test the size of UVs.  */
1462
1463 #ifdef SLOPPYDIVIDE
1464 #  define PERL_TRY_UV_DIVIDE
1465     /* ensure that 20./5. == 4. */
1466 #else
1467 #  ifdef PERL_PRESERVE_IVUV
1468 #    ifndef NV_PRESERVES_UV
1469 #      define PERL_TRY_UV_DIVIDE
1470 #    endif
1471 #  endif
1472 #endif
1473
1474 #ifdef PERL_TRY_UV_DIVIDE
1475     SvIV_please_nomg(svr);
1476     if (SvIOK(svr)) {
1477         SvIV_please_nomg(svl);
1478         if (SvIOK(svl)) {
1479             bool left_non_neg = SvUOK(svl);
1480             bool right_non_neg = SvUOK(svr);
1481             UV left;
1482             UV right;
1483
1484             if (right_non_neg) {
1485                 right = SvUVX(svr);
1486             }
1487             else {
1488                 const IV biv = SvIVX(svr);
1489                 if (biv >= 0) {
1490                     right = biv;
1491                     right_non_neg = TRUE; /* effectively it's a UV now */
1492                 }
1493                 else {
1494                     right = -biv;
1495                 }
1496             }
1497             /* historically undef()/0 gives a "Use of uninitialized value"
1498                warning before dieing, hence this test goes here.
1499                If it were immediately before the second SvIV_please, then
1500                DIE() would be invoked before left was even inspected, so
1501                no inspection would give no warning.  */
1502             if (right == 0)
1503                 DIE(aTHX_ "Illegal division by zero");
1504
1505             if (left_non_neg) {
1506                 left = SvUVX(svl);
1507             }
1508             else {
1509                 const IV aiv = SvIVX(svl);
1510                 if (aiv >= 0) {
1511                     left = aiv;
1512                     left_non_neg = TRUE; /* effectively it's a UV now */
1513                 }
1514                 else {
1515                     left = -aiv;
1516                 }
1517             }
1518
1519             if (left >= right
1520 #ifdef SLOPPYDIVIDE
1521                 /* For sloppy divide we always attempt integer division.  */
1522 #else
1523                 /* Otherwise we only attempt it if either or both operands
1524                    would not be preserved by an NV.  If both fit in NVs
1525                    we fall through to the NV divide code below.  However,
1526                    as left >= right to ensure integer result here, we know that
1527                    we can skip the test on the right operand - right big
1528                    enough not to be preserved can't get here unless left is
1529                    also too big.  */
1530
1531                 && (left > ((UV)1 << NV_PRESERVES_UV_BITS))
1532 #endif
1533                 ) {
1534                 /* Integer division can't overflow, but it can be imprecise.  */
1535                 const UV result = left / right;
1536                 if (result * right == left) {
1537                     SP--; /* result is valid */
1538                     if (left_non_neg == right_non_neg) {
1539                         /* signs identical, result is positive.  */
1540                         SETu( result );
1541                         RETURN;
1542                     }
1543                     /* 2s complement assumption */
1544                     if (result <= (UV)IV_MIN)
1545                         SETi( -(IV)result );
1546                     else {
1547                         /* It's exact but too negative for IV. */
1548                         SETn( -(NV)result );
1549                     }
1550                     RETURN;
1551                 } /* tried integer divide but it was not an integer result */
1552             } /* else (PERL_ABS(result) < 1.0) or (both UVs in range for NV) */
1553         } /* left wasn't SvIOK */
1554     } /* right wasn't SvIOK */
1555 #endif /* PERL_TRY_UV_DIVIDE */
1556     {
1557         NV right = SvNV_nomg(svr);
1558         NV left  = SvNV_nomg(svl);
1559         (void)POPs;(void)POPs;
1560 #if defined(NAN_COMPARE_BROKEN) && defined(Perl_isnan)
1561         if (! Perl_isnan(right) && right == 0.0)
1562 #else
1563         if (right == 0.0)
1564 #endif
1565             DIE(aTHX_ "Illegal division by zero");
1566         PUSHn( left / right );
1567         RETURN;
1568     }
1569 }
1570
1571 PP(pp_modulo)
1572 {
1573     dVAR; dSP; dATARGET;
1574     tryAMAGICbin_MG(modulo_amg, AMGf_assign|AMGf_numeric);
1575     {
1576         UV left  = 0;
1577         UV right = 0;
1578         bool left_neg = FALSE;
1579         bool right_neg = FALSE;
1580         bool use_double = FALSE;
1581         bool dright_valid = FALSE;
1582         NV dright = 0.0;
1583         NV dleft  = 0.0;
1584         SV * const svr = TOPs;
1585         SV * const svl = TOPm1s;
1586         SvIV_please_nomg(svr);
1587         if (SvIOK(svr)) {
1588             right_neg = !SvUOK(svr);
1589             if (!right_neg) {
1590                 right = SvUVX(svr);
1591             } else {
1592                 const IV biv = SvIVX(svr);
1593                 if (biv >= 0) {
1594                     right = biv;
1595                     right_neg = FALSE; /* effectively it's a UV now */
1596                 } else {
1597                     right = -biv;
1598                 }
1599             }
1600         }
1601         else {
1602             dright = SvNV_nomg(svr);
1603             right_neg = dright < 0;
1604             if (right_neg)
1605                 dright = -dright;
1606             if (dright < UV_MAX_P1) {
1607                 right = U_V(dright);
1608                 dright_valid = TRUE; /* In case we need to use double below.  */
1609             } else {
1610                 use_double = TRUE;
1611             }
1612         }
1613
1614         /* At this point use_double is only true if right is out of range for
1615            a UV.  In range NV has been rounded down to nearest UV and
1616            use_double false.  */
1617         SvIV_please_nomg(svl);
1618         if (!use_double && SvIOK(svl)) {
1619             if (SvIOK(svl)) {
1620                 left_neg = !SvUOK(svl);
1621                 if (!left_neg) {
1622                     left = SvUVX(svl);
1623                 } else {
1624                     const IV aiv = SvIVX(svl);
1625                     if (aiv >= 0) {
1626                         left = aiv;
1627                         left_neg = FALSE; /* effectively it's a UV now */
1628                     } else {
1629                         left = -aiv;
1630                     }
1631                 }
1632             }
1633         }
1634         else {
1635             dleft = SvNV_nomg(svl);
1636             left_neg = dleft < 0;
1637             if (left_neg)
1638                 dleft = -dleft;
1639
1640             /* This should be exactly the 5.6 behaviour - if left and right are
1641                both in range for UV then use U_V() rather than floor.  */
1642             if (!use_double) {
1643                 if (dleft < UV_MAX_P1) {
1644                     /* right was in range, so is dleft, so use UVs not double.
1645                      */
1646                     left = U_V(dleft);
1647                 }
1648                 /* left is out of range for UV, right was in range, so promote
1649                    right (back) to double.  */
1650                 else {
1651                     /* The +0.5 is used in 5.6 even though it is not strictly
1652                        consistent with the implicit +0 floor in the U_V()
1653                        inside the #if 1. */
1654                     dleft = Perl_floor(dleft + 0.5);
1655                     use_double = TRUE;
1656                     if (dright_valid)
1657                         dright = Perl_floor(dright + 0.5);
1658                     else
1659                         dright = right;
1660                 }
1661             }
1662         }
1663         sp -= 2;
1664         if (use_double) {
1665             NV dans;
1666
1667             if (!dright)
1668                 DIE(aTHX_ "Illegal modulus zero");
1669
1670             dans = Perl_fmod(dleft, dright);
1671             if ((left_neg != right_neg) && dans)
1672                 dans = dright - dans;
1673             if (right_neg)
1674                 dans = -dans;
1675             sv_setnv(TARG, dans);
1676         }
1677         else {
1678             UV ans;
1679
1680             if (!right)
1681                 DIE(aTHX_ "Illegal modulus zero");
1682
1683             ans = left % right;
1684             if ((left_neg != right_neg) && ans)
1685                 ans = right - ans;
1686             if (right_neg) {
1687                 /* XXX may warn: unary minus operator applied to unsigned type */
1688                 /* could change -foo to be (~foo)+1 instead     */
1689                 if (ans <= ~((UV)IV_MAX)+1)
1690                     sv_setiv(TARG, ~ans+1);
1691                 else
1692                     sv_setnv(TARG, -(NV)ans);
1693             }
1694             else
1695                 sv_setuv(TARG, ans);
1696         }
1697         PUSHTARG;
1698         RETURN;
1699     }
1700 }
1701
1702 PP(pp_repeat)
1703 {
1704     dVAR; dSP; dATARGET;
1705     register IV count;
1706     SV *sv;
1707
1708     if (GIMME == G_ARRAY && PL_op->op_private & OPpREPEAT_DOLIST) {
1709         /* TODO: think of some way of doing list-repeat overloading ??? */
1710         sv = POPs;
1711         SvGETMAGIC(sv);
1712     }
1713     else {
1714         tryAMAGICbin_MG(repeat_amg, AMGf_assign);
1715         sv = POPs;
1716     }
1717
1718     if (SvIOKp(sv)) {
1719          if (SvUOK(sv)) {
1720               const UV uv = SvUV_nomg(sv);
1721               if (uv > IV_MAX)
1722                    count = IV_MAX; /* The best we can do? */
1723               else
1724                    count = uv;
1725          } else {
1726               const IV iv = SvIV_nomg(sv);
1727               if (iv < 0)
1728                    count = 0;
1729               else
1730                    count = iv;
1731          }
1732     }
1733     else if (SvNOKp(sv)) {
1734          const NV nv = SvNV_nomg(sv);
1735          if (nv < 0.0)
1736               count = 0;
1737          else
1738               count = (IV)nv;
1739     }
1740     else
1741          count = SvIV_nomg(sv);
1742
1743     if (GIMME == G_ARRAY && PL_op->op_private & OPpREPEAT_DOLIST) {
1744         dMARK;
1745         static const char oom_list_extend[] = "Out of memory during list extend";
1746         const I32 items = SP - MARK;
1747         const I32 max = items * count;
1748
1749         MEM_WRAP_CHECK_1(max, SV*, oom_list_extend);
1750         /* Did the max computation overflow? */
1751         if (items > 0 && max > 0 && (max < items || max < count))
1752            Perl_croak(aTHX_ oom_list_extend);
1753         MEXTEND(MARK, max);
1754         if (count > 1) {
1755             while (SP > MARK) {
1756 #if 0
1757               /* This code was intended to fix 20010809.028:
1758
1759                  $x = 'abcd';
1760                  for (($x =~ /./g) x 2) {
1761                      print chop; # "abcdabcd" expected as output.
1762                  }
1763
1764                * but that change (#11635) broke this code:
1765
1766                $x = [("foo")x2]; # only one "foo" ended up in the anonlist.
1767
1768                * I can't think of a better fix that doesn't introduce
1769                * an efficiency hit by copying the SVs. The stack isn't
1770                * refcounted, and mortalisation obviously doesn't
1771                * Do The Right Thing when the stack has more than
1772                * one pointer to the same mortal value.
1773                * .robin.
1774                */
1775                 if (*SP) {
1776                     *SP = sv_2mortal(newSVsv(*SP));
1777                     SvREADONLY_on(*SP);
1778                 }
1779 #else
1780                if (*SP)
1781                    SvTEMP_off((*SP));
1782 #endif
1783                 SP--;
1784             }
1785             MARK++;
1786             repeatcpy((char*)(MARK + items), (char*)MARK,
1787                 items * sizeof(const SV *), count - 1);
1788             SP += max;
1789         }
1790         else if (count <= 0)
1791             SP -= items;
1792     }
1793     else {      /* Note: mark already snarfed by pp_list */
1794         SV * const tmpstr = POPs;
1795         STRLEN len;
1796         bool isutf;
1797         static const char oom_string_extend[] =
1798           "Out of memory during string extend";
1799
1800         if (TARG != tmpstr)
1801             sv_setsv_nomg(TARG, tmpstr);
1802         SvPV_force_nomg(TARG, len);
1803         isutf = DO_UTF8(TARG);
1804         if (count != 1) {
1805             if (count < 1)
1806                 SvCUR_set(TARG, 0);
1807             else {
1808                 const STRLEN max = (UV)count * len;
1809                 if (len > MEM_SIZE_MAX / count)
1810                      Perl_croak(aTHX_ oom_string_extend);
1811                 MEM_WRAP_CHECK_1(max, char, oom_string_extend);
1812                 SvGROW(TARG, max + 1);
1813                 repeatcpy(SvPVX(TARG) + len, SvPVX(TARG), len, count - 1);
1814                 SvCUR_set(TARG, SvCUR(TARG) * count);
1815             }
1816             *SvEND(TARG) = '\0';
1817         }
1818         if (isutf)
1819             (void)SvPOK_only_UTF8(TARG);
1820         else
1821             (void)SvPOK_only(TARG);
1822
1823         if (PL_op->op_private & OPpREPEAT_DOLIST) {
1824             /* The parser saw this as a list repeat, and there
1825                are probably several items on the stack. But we're
1826                in scalar context, and there's no pp_list to save us
1827                now. So drop the rest of the items -- robin@kitsite.com
1828              */
1829             dMARK;
1830             SP = MARK;
1831         }
1832         PUSHTARG;
1833     }
1834     RETURN;
1835 }
1836
1837 PP(pp_subtract)
1838 {
1839     dVAR; dSP; dATARGET; bool useleft; SV *svl, *svr;
1840     tryAMAGICbin_MG(subtr_amg, AMGf_assign|AMGf_numeric);
1841     svr = TOPs;
1842     svl = TOPm1s;
1843     useleft = USE_LEFT(svl);
1844 #ifdef PERL_PRESERVE_IVUV
1845     /* See comments in pp_add (in pp_hot.c) about Overflow, and how
1846        "bad things" happen if you rely on signed integers wrapping.  */
1847     SvIV_please_nomg(svr);
1848     if (SvIOK(svr)) {
1849         /* Unless the left argument is integer in range we are going to have to
1850            use NV maths. Hence only attempt to coerce the right argument if
1851            we know the left is integer.  */
1852         register UV auv = 0;
1853         bool auvok = FALSE;
1854         bool a_valid = 0;
1855
1856         if (!useleft) {
1857             auv = 0;
1858             a_valid = auvok = 1;
1859             /* left operand is undef, treat as zero.  */
1860         } else {
1861             /* Left operand is defined, so is it IV? */
1862             SvIV_please_nomg(svl);
1863             if (SvIOK(svl)) {
1864                 if ((auvok = SvUOK(svl)))
1865                     auv = SvUVX(svl);
1866                 else {
1867                     register const IV aiv = SvIVX(svl);
1868                     if (aiv >= 0) {
1869                         auv = aiv;
1870                         auvok = 1;      /* Now acting as a sign flag.  */
1871                     } else { /* 2s complement assumption for IV_MIN */
1872                         auv = (UV)-aiv;
1873                     }
1874                 }
1875                 a_valid = 1;
1876             }
1877         }
1878         if (a_valid) {
1879             bool result_good = 0;
1880             UV result;
1881             register UV buv;
1882             bool buvok = SvUOK(svr);
1883         
1884             if (buvok)
1885                 buv = SvUVX(svr);
1886             else {
1887                 register const IV biv = SvIVX(svr);
1888                 if (biv >= 0) {
1889                     buv = biv;
1890                     buvok = 1;
1891                 } else
1892                     buv = (UV)-biv;
1893             }
1894             /* ?uvok if value is >= 0. basically, flagged as UV if it's +ve,
1895                else "IV" now, independent of how it came in.
1896                if a, b represents positive, A, B negative, a maps to -A etc
1897                a - b =>  (a - b)
1898                A - b => -(a + b)
1899                a - B =>  (a + b)
1900                A - B => -(a - b)
1901                all UV maths. negate result if A negative.
1902                subtract if signs same, add if signs differ. */
1903
1904             if (auvok ^ buvok) {
1905                 /* Signs differ.  */
1906                 result = auv + buv;
1907                 if (result >= auv)
1908                     result_good = 1;
1909             } else {
1910                 /* Signs same */
1911                 if (auv >= buv) {
1912                     result = auv - buv;
1913                     /* Must get smaller */
1914                     if (result <= auv)
1915                         result_good = 1;
1916                 } else {
1917                     result = buv - auv;
1918                     if (result <= buv) {
1919                         /* result really should be -(auv-buv). as its negation
1920                            of true value, need to swap our result flag  */
1921                         auvok = !auvok;
1922                         result_good = 1;
1923                     }
1924                 }
1925             }
1926             if (result_good) {
1927                 SP--;
1928                 if (auvok)
1929                     SETu( result );
1930                 else {
1931                     /* Negate result */
1932                     if (result <= (UV)IV_MIN)
1933                         SETi( -(IV)result );
1934                     else {
1935                         /* result valid, but out of range for IV.  */
1936                         SETn( -(NV)result );
1937                     }
1938                 }
1939                 RETURN;
1940             } /* Overflow, drop through to NVs.  */
1941         }
1942     }
1943 #endif
1944     {
1945         NV value = SvNV_nomg(svr);
1946         (void)POPs;
1947
1948         if (!useleft) {
1949             /* left operand is undef, treat as zero - value */
1950             SETn(-value);
1951             RETURN;
1952         }
1953         SETn( SvNV_nomg(svl) - value );
1954         RETURN;
1955     }
1956 }
1957
1958 PP(pp_left_shift)
1959 {
1960     dVAR; dSP; dATARGET; SV *svl, *svr;
1961     tryAMAGICbin_MG(lshift_amg, AMGf_assign|AMGf_numeric);
1962     svr = POPs;
1963     svl = TOPs;
1964     {
1965       const IV shift = SvIV_nomg(svr);
1966       if (PL_op->op_private & HINT_INTEGER) {
1967         const IV i = SvIV_nomg(svl);
1968         SETi(i << shift);
1969       }
1970       else {
1971         const UV u = SvUV_nomg(svl);
1972         SETu(u << shift);
1973       }
1974       RETURN;
1975     }
1976 }
1977
1978 PP(pp_right_shift)
1979 {
1980     dVAR; dSP; dATARGET; SV *svl, *svr;
1981     tryAMAGICbin_MG(rshift_amg, AMGf_assign|AMGf_numeric);
1982     svr = POPs;
1983     svl = TOPs;
1984     {
1985       const IV shift = SvIV_nomg(svr);
1986       if (PL_op->op_private & HINT_INTEGER) {
1987         const IV i = SvIV_nomg(svl);
1988         SETi(i >> shift);
1989       }
1990       else {
1991         const UV u = SvUV_nomg(svl);
1992         SETu(u >> shift);
1993       }
1994       RETURN;
1995     }
1996 }
1997
1998 PP(pp_lt)
1999 {
2000     dVAR; dSP;
2001     tryAMAGICbin_MG(lt_amg, AMGf_set|AMGf_numeric);
2002 #ifdef PERL_PRESERVE_IVUV
2003     SvIV_please_nomg(TOPs);
2004     if (SvIOK(TOPs)) {
2005         SvIV_please_nomg(TOPm1s);
2006         if (SvIOK(TOPm1s)) {
2007             bool auvok = SvUOK(TOPm1s);
2008             bool buvok = SvUOK(TOPs);
2009         
2010             if (!auvok && !buvok) { /* ## IV < IV ## */
2011                 const IV aiv = SvIVX(TOPm1s);
2012                 const IV biv = SvIVX(TOPs);
2013                 
2014                 SP--;
2015                 SETs(boolSV(aiv < biv));
2016                 RETURN;
2017             }
2018             if (auvok && buvok) { /* ## UV < UV ## */
2019                 const UV auv = SvUVX(TOPm1s);
2020                 const UV buv = SvUVX(TOPs);
2021                 
2022                 SP--;
2023                 SETs(boolSV(auv < buv));
2024                 RETURN;
2025             }
2026             if (auvok) { /* ## UV < IV ## */
2027                 UV auv;
2028                 const IV biv = SvIVX(TOPs);
2029                 SP--;
2030                 if (biv < 0) {
2031                     /* As (a) is a UV, it's >=0, so it cannot be < */
2032                     SETs(&PL_sv_no);
2033                     RETURN;
2034                 }
2035                 auv = SvUVX(TOPs);
2036                 SETs(boolSV(auv < (UV)biv));
2037                 RETURN;
2038             }
2039             { /* ## IV < UV ## */
2040                 const IV aiv = SvIVX(TOPm1s);
2041                 UV buv;
2042                 
2043                 if (aiv < 0) {
2044                     /* As (b) is a UV, it's >=0, so it must be < */
2045                     SP--;
2046                     SETs(&PL_sv_yes);
2047                     RETURN;
2048                 }
2049                 buv = SvUVX(TOPs);
2050                 SP--;
2051                 SETs(boolSV((UV)aiv < buv));
2052                 RETURN;
2053             }
2054         }
2055     }
2056 #endif
2057 #ifndef NV_PRESERVES_UV
2058 #ifdef PERL_PRESERVE_IVUV
2059     else
2060 #endif
2061     if (SvROK(TOPs) && !SvAMAGIC(TOPs) && SvROK(TOPm1s) && !SvAMAGIC(TOPm1s)) {
2062         SP--;
2063         SETs(boolSV(SvRV(TOPs) < SvRV(TOPp1s)));
2064         RETURN;
2065     }
2066 #endif
2067     {
2068 #if defined(NAN_COMPARE_BROKEN) && defined(Perl_isnan)
2069       dPOPTOPnnrl_nomg;
2070       if (Perl_isnan(left) || Perl_isnan(right))
2071           RETSETNO;
2072       SETs(boolSV(left < right));
2073 #else
2074       dPOPnv_nomg;
2075       SETs(boolSV(SvNV_nomg(TOPs) < value));
2076 #endif
2077       RETURN;
2078     }
2079 }
2080
2081 PP(pp_gt)
2082 {
2083     dVAR; dSP;
2084     tryAMAGICbin_MG(gt_amg, AMGf_set|AMGf_numeric);
2085 #ifdef PERL_PRESERVE_IVUV
2086     SvIV_please_nomg(TOPs);
2087     if (SvIOK(TOPs)) {
2088         SvIV_please_nomg(TOPm1s);
2089         if (SvIOK(TOPm1s)) {
2090             bool auvok = SvUOK(TOPm1s);
2091             bool buvok = SvUOK(TOPs);
2092         
2093             if (!auvok && !buvok) { /* ## IV > IV ## */
2094                 const IV aiv = SvIVX(TOPm1s);
2095                 const IV biv = SvIVX(TOPs);
2096
2097                 SP--;
2098                 SETs(boolSV(aiv > biv));
2099                 RETURN;
2100             }
2101             if (auvok && buvok) { /* ## UV > UV ## */
2102                 const UV auv = SvUVX(TOPm1s);
2103                 const UV buv = SvUVX(TOPs);
2104                 
2105                 SP--;
2106                 SETs(boolSV(auv > buv));
2107                 RETURN;
2108             }
2109             if (auvok) { /* ## UV > IV ## */
2110                 UV auv;
2111                 const IV biv = SvIVX(TOPs);
2112
2113                 SP--;
2114                 if (biv < 0) {
2115                     /* As (a) is a UV, it's >=0, so it must be > */
2116                     SETs(&PL_sv_yes);
2117                     RETURN;
2118                 }
2119                 auv = SvUVX(TOPs);
2120                 SETs(boolSV(auv > (UV)biv));
2121                 RETURN;
2122             }
2123             { /* ## IV > UV ## */
2124                 const IV aiv = SvIVX(TOPm1s);
2125                 UV buv;
2126                 
2127                 if (aiv < 0) {
2128                     /* As (b) is a UV, it's >=0, so it cannot be > */
2129                     SP--;
2130                     SETs(&PL_sv_no);
2131                     RETURN;
2132                 }
2133                 buv = SvUVX(TOPs);
2134                 SP--;
2135                 SETs(boolSV((UV)aiv > buv));
2136                 RETURN;
2137             }
2138         }
2139     }
2140 #endif
2141 #ifndef NV_PRESERVES_UV
2142 #ifdef PERL_PRESERVE_IVUV
2143     else
2144 #endif
2145     if (SvROK(TOPs) && !SvAMAGIC(TOPs) && SvROK(TOPm1s) && !SvAMAGIC(TOPm1s)) {
2146         SP--;
2147         SETs(boolSV(SvRV(TOPs) > SvRV(TOPp1s)));
2148         RETURN;
2149     }
2150 #endif
2151     {
2152 #if defined(NAN_COMPARE_BROKEN) && defined(Perl_isnan)
2153       dPOPTOPnnrl_nomg;
2154       if (Perl_isnan(left) || Perl_isnan(right))
2155           RETSETNO;
2156       SETs(boolSV(left > right));
2157 #else
2158       dPOPnv_nomg;
2159       SETs(boolSV(SvNV_nomg(TOPs) > value));
2160 #endif
2161       RETURN;
2162     }
2163 }
2164
2165 PP(pp_le)
2166 {
2167     dVAR; dSP;
2168     tryAMAGICbin_MG(le_amg, AMGf_set|AMGf_numeric);
2169 #ifdef PERL_PRESERVE_IVUV
2170     SvIV_please_nomg(TOPs);
2171     if (SvIOK(TOPs)) {
2172         SvIV_please_nomg(TOPm1s);
2173         if (SvIOK(TOPm1s)) {
2174             bool auvok = SvUOK(TOPm1s);
2175             bool buvok = SvUOK(TOPs);
2176         
2177             if (!auvok && !buvok) { /* ## IV <= IV ## */
2178                 const IV aiv = SvIVX(TOPm1s);
2179                 const IV biv = SvIVX(TOPs);
2180                 
2181                 SP--;
2182                 SETs(boolSV(aiv <= biv));
2183                 RETURN;
2184             }
2185             if (auvok && buvok) { /* ## UV <= UV ## */
2186                 UV auv = SvUVX(TOPm1s);
2187                 UV buv = SvUVX(TOPs);
2188                 
2189                 SP--;
2190                 SETs(boolSV(auv <= buv));
2191                 RETURN;
2192             }
2193             if (auvok) { /* ## UV <= IV ## */
2194                 UV auv;
2195                 const IV biv = SvIVX(TOPs);
2196
2197                 SP--;
2198                 if (biv < 0) {
2199                     /* As (a) is a UV, it's >=0, so a cannot be <= */
2200                     SETs(&PL_sv_no);
2201                     RETURN;
2202                 }
2203                 auv = SvUVX(TOPs);
2204                 SETs(boolSV(auv <= (UV)biv));
2205                 RETURN;
2206             }
2207             { /* ## IV <= UV ## */
2208                 const IV aiv = SvIVX(TOPm1s);
2209                 UV buv;
2210
2211                 if (aiv < 0) {
2212                     /* As (b) is a UV, it's >=0, so a must be <= */
2213                     SP--;
2214                     SETs(&PL_sv_yes);
2215                     RETURN;
2216                 }
2217                 buv = SvUVX(TOPs);
2218                 SP--;
2219                 SETs(boolSV((UV)aiv <= buv));
2220                 RETURN;
2221             }
2222         }
2223     }
2224 #endif
2225 #ifndef NV_PRESERVES_UV
2226 #ifdef PERL_PRESERVE_IVUV
2227     else
2228 #endif
2229     if (SvROK(TOPs) && !SvAMAGIC(TOPs) && SvROK(TOPm1s) && !SvAMAGIC(TOPm1s)) {
2230         SP--;
2231         SETs(boolSV(SvRV(TOPs) <= SvRV(TOPp1s)));
2232         RETURN;
2233     }
2234 #endif
2235     {
2236 #if defined(NAN_COMPARE_BROKEN) && defined(Perl_isnan)
2237       dPOPTOPnnrl_nomg;
2238       if (Perl_isnan(left) || Perl_isnan(right))
2239           RETSETNO;
2240       SETs(boolSV(left <= right));
2241 #else
2242       dPOPnv_nomg;
2243       SETs(boolSV(SvNV_nomg(TOPs) <= value));
2244 #endif
2245       RETURN;
2246     }
2247 }
2248
2249 PP(pp_ge)
2250 {
2251     dVAR; dSP;
2252     tryAMAGICbin_MG(ge_amg,AMGf_set|AMGf_numeric);
2253 #ifdef PERL_PRESERVE_IVUV
2254     SvIV_please_nomg(TOPs);
2255     if (SvIOK(TOPs)) {
2256         SvIV_please_nomg(TOPm1s);
2257         if (SvIOK(TOPm1s)) {
2258             bool auvok = SvUOK(TOPm1s);
2259             bool buvok = SvUOK(TOPs);
2260         
2261             if (!auvok && !buvok) { /* ## IV >= IV ## */
2262                 const IV aiv = SvIVX(TOPm1s);
2263                 const IV biv = SvIVX(TOPs);
2264
2265                 SP--;
2266                 SETs(boolSV(aiv >= biv));
2267                 RETURN;
2268             }
2269             if (auvok && buvok) { /* ## UV >= UV ## */
2270                 const UV auv = SvUVX(TOPm1s);
2271                 const UV buv = SvUVX(TOPs);
2272
2273                 SP--;
2274                 SETs(boolSV(auv >= buv));
2275                 RETURN;
2276             }
2277             if (auvok) { /* ## UV >= IV ## */
2278                 UV auv;
2279                 const IV biv = SvIVX(TOPs);
2280
2281                 SP--;
2282                 if (biv < 0) {
2283                     /* As (a) is a UV, it's >=0, so it must be >= */
2284                     SETs(&PL_sv_yes);
2285                     RETURN;
2286                 }
2287                 auv = SvUVX(TOPs);
2288                 SETs(boolSV(auv >= (UV)biv));
2289                 RETURN;
2290             }
2291             { /* ## IV >= UV ## */
2292                 const IV aiv = SvIVX(TOPm1s);
2293                 UV buv;
2294
2295                 if (aiv < 0) {
2296                     /* As (b) is a UV, it's >=0, so a cannot be >= */
2297                     SP--;
2298                     SETs(&PL_sv_no);
2299                     RETURN;
2300                 }
2301                 buv = SvUVX(TOPs);
2302                 SP--;
2303                 SETs(boolSV((UV)aiv >= buv));
2304                 RETURN;
2305             }
2306         }
2307     }
2308 #endif
2309 #ifndef NV_PRESERVES_UV
2310 #ifdef PERL_PRESERVE_IVUV
2311     else
2312 #endif
2313     if (SvROK(TOPs) && !SvAMAGIC(TOPs) && SvROK(TOPm1s) && !SvAMAGIC(TOPm1s)) {
2314         SP--;
2315         SETs(boolSV(SvRV(TOPs) >= SvRV(TOPp1s)));
2316         RETURN;
2317     }
2318 #endif
2319     {
2320 #if defined(NAN_COMPARE_BROKEN) && defined(Perl_isnan)
2321       dPOPTOPnnrl_nomg;
2322       if (Perl_isnan(left) || Perl_isnan(right))
2323           RETSETNO;
2324       SETs(boolSV(left >= right));
2325 #else
2326       dPOPnv_nomg;
2327       SETs(boolSV(SvNV_nomg(TOPs) >= value));
2328 #endif
2329       RETURN;
2330     }
2331 }
2332
2333 PP(pp_ne)
2334 {
2335     dVAR; dSP;
2336     tryAMAGICbin_MG(ne_amg,AMGf_set|AMGf_numeric);
2337 #ifndef NV_PRESERVES_UV
2338     if (SvROK(TOPs) && !SvAMAGIC(TOPs) && SvROK(TOPm1s) && !SvAMAGIC(TOPm1s)) {
2339         SP--;
2340         SETs(boolSV(SvRV(TOPs) != SvRV(TOPp1s)));
2341         RETURN;
2342     }
2343 #endif
2344 #ifdef PERL_PRESERVE_IVUV
2345     SvIV_please_nomg(TOPs);
2346     if (SvIOK(TOPs)) {
2347         SvIV_please_nomg(TOPm1s);
2348         if (SvIOK(TOPm1s)) {
2349             const bool auvok = SvUOK(TOPm1s);
2350             const bool buvok = SvUOK(TOPs);
2351         
2352             if (auvok == buvok) { /* ## IV == IV or UV == UV ## */
2353                 /* Casting IV to UV before comparison isn't going to matter
2354                    on 2s complement. On 1s complement or sign&magnitude
2355                    (if we have any of them) it could make negative zero
2356                    differ from normal zero. As I understand it. (Need to
2357                    check - is negative zero implementation defined behaviour
2358                    anyway?). NWC  */
2359                 const UV buv = SvUVX(POPs);
2360                 const UV auv = SvUVX(TOPs);
2361
2362                 SETs(boolSV(auv != buv));
2363                 RETURN;
2364             }
2365             {                   /* ## Mixed IV,UV ## */
2366                 IV iv;
2367                 UV uv;
2368                 
2369                 /* != is commutative so swap if needed (save code) */
2370                 if (auvok) {
2371                     /* swap. top of stack (b) is the iv */
2372                     iv = SvIVX(TOPs);
2373                     SP--;
2374                     if (iv < 0) {
2375                         /* As (a) is a UV, it's >0, so it cannot be == */
2376                         SETs(&PL_sv_yes);
2377                         RETURN;
2378                     }
2379                     uv = SvUVX(TOPs);
2380                 } else {
2381                     iv = SvIVX(TOPm1s);
2382                     SP--;
2383                     if (iv < 0) {
2384                         /* As (b) is a UV, it's >0, so it cannot be == */
2385                         SETs(&PL_sv_yes);
2386                         RETURN;
2387                     }
2388                     uv = SvUVX(*(SP+1)); /* Do I want TOPp1s() ? */
2389                 }
2390                 SETs(boolSV((UV)iv != uv));
2391                 RETURN;
2392             }
2393         }
2394     }
2395 #endif
2396     {
2397 #if defined(NAN_COMPARE_BROKEN) && defined(Perl_isnan)
2398       dPOPTOPnnrl_nomg;
2399       if (Perl_isnan(left) || Perl_isnan(right))
2400           RETSETYES;
2401       SETs(boolSV(left != right));
2402 #else
2403       dPOPnv_nomg;
2404       SETs(boolSV(SvNV_nomg(TOPs) != value));
2405 #endif
2406       RETURN;
2407     }
2408 }
2409
2410 PP(pp_ncmp)
2411 {
2412     dVAR; dSP; dTARGET;
2413     tryAMAGICbin_MG(ncmp_amg, AMGf_numeric);
2414 #ifndef NV_PRESERVES_UV
2415     if (SvROK(TOPs) && !SvAMAGIC(TOPs) && SvROK(TOPm1s) && !SvAMAGIC(TOPm1s)) {
2416         const UV right = PTR2UV(SvRV(POPs));
2417         const UV left = PTR2UV(SvRV(TOPs));
2418         SETi((left > right) - (left < right));
2419         RETURN;
2420     }
2421 #endif
2422 #ifdef PERL_PRESERVE_IVUV
2423     /* Fortunately it seems NaN isn't IOK */
2424     SvIV_please_nomg(TOPs);
2425     if (SvIOK(TOPs)) {
2426         SvIV_please_nomg(TOPm1s);
2427         if (SvIOK(TOPm1s)) {
2428             const bool leftuvok = SvUOK(TOPm1s);
2429             const bool rightuvok = SvUOK(TOPs);
2430             I32 value;
2431             if (!leftuvok && !rightuvok) { /* ## IV <=> IV ## */
2432                 const IV leftiv = SvIVX(TOPm1s);
2433                 const IV rightiv = SvIVX(TOPs);
2434                 
2435                 if (leftiv > rightiv)
2436                     value = 1;
2437                 else if (leftiv < rightiv)
2438                     value = -1;
2439                 else
2440                     value = 0;
2441             } else if (leftuvok && rightuvok) { /* ## UV <=> UV ## */
2442                 const UV leftuv = SvUVX(TOPm1s);
2443                 const UV rightuv = SvUVX(TOPs);
2444                 
2445                 if (leftuv > rightuv)
2446                     value = 1;
2447                 else if (leftuv < rightuv)
2448                     value = -1;
2449                 else
2450                     value = 0;
2451             } else if (leftuvok) { /* ## UV <=> IV ## */
2452                 const IV rightiv = SvIVX(TOPs);
2453                 if (rightiv < 0) {
2454                     /* As (a) is a UV, it's >=0, so it cannot be < */
2455                     value = 1;
2456                 } else {
2457                     const UV leftuv = SvUVX(TOPm1s);
2458                     if (leftuv > (UV)rightiv) {
2459                         value = 1;
2460                     } else if (leftuv < (UV)rightiv) {
2461                         value = -1;
2462                     } else {
2463                         value = 0;
2464                     }
2465                 }
2466             } else { /* ## IV <=> UV ## */
2467                 const IV leftiv = SvIVX(TOPm1s);
2468                 if (leftiv < 0) {
2469                     /* As (b) is a UV, it's >=0, so it must be < */
2470                     value = -1;
2471                 } else {
2472                     const UV rightuv = SvUVX(TOPs);
2473                     if ((UV)leftiv > rightuv) {
2474                         value = 1;
2475                     } else if ((UV)leftiv < rightuv) {
2476                         value = -1;
2477                     } else {
2478                         value = 0;
2479                     }
2480                 }
2481             }
2482             SP--;
2483             SETi(value);
2484             RETURN;
2485         }
2486     }
2487 #endif
2488     {
2489       dPOPTOPnnrl_nomg;
2490       I32 value;
2491
2492 #ifdef Perl_isnan
2493       if (Perl_isnan(left) || Perl_isnan(right)) {
2494           SETs(&PL_sv_undef);
2495           RETURN;
2496        }
2497       value = (left > right) - (left < right);
2498 #else
2499       if (left == right)
2500         value = 0;
2501       else if (left < right)
2502         value = -1;
2503       else if (left > right)
2504         value = 1;
2505       else {
2506         SETs(&PL_sv_undef);
2507         RETURN;
2508       }
2509 #endif
2510       SETi(value);
2511       RETURN;
2512     }
2513 }
2514
2515 PP(pp_sle)
2516 {
2517     dVAR; dSP;
2518
2519     int amg_type = sle_amg;
2520     int multiplier = 1;
2521     int rhs = 1;
2522
2523     switch (PL_op->op_type) {
2524     case OP_SLT:
2525         amg_type = slt_amg;
2526         /* cmp < 0 */
2527         rhs = 0;
2528         break;
2529     case OP_SGT:
2530         amg_type = sgt_amg;
2531         /* cmp > 0 */
2532         multiplier = -1;
2533         rhs = 0;
2534         break;
2535     case OP_SGE:
2536         amg_type = sge_amg;
2537         /* cmp >= 0 */
2538         multiplier = -1;
2539         break;
2540     }
2541
2542     tryAMAGICbin_MG(amg_type, AMGf_set);
2543     {
2544       dPOPTOPssrl;
2545       const int cmp = (IN_LOCALE_RUNTIME
2546                  ? sv_cmp_locale_flags(left, right, 0)
2547                  : sv_cmp_flags(left, right, 0));
2548       SETs(boolSV(cmp * multiplier < rhs));
2549       RETURN;
2550     }
2551 }
2552
2553 PP(pp_seq)
2554 {
2555     dVAR; dSP;
2556     tryAMAGICbin_MG(seq_amg, AMGf_set);
2557     {
2558       dPOPTOPssrl;
2559       SETs(boolSV(sv_eq_flags(left, right, 0)));
2560       RETURN;
2561     }
2562 }
2563
2564 PP(pp_sne)
2565 {
2566     dVAR; dSP;
2567     tryAMAGICbin_MG(sne_amg, AMGf_set);
2568     {
2569       dPOPTOPssrl;
2570       SETs(boolSV(!sv_eq_flags(left, right, 0)));
2571       RETURN;
2572     }
2573 }
2574
2575 PP(pp_scmp)
2576 {
2577     dVAR; dSP; dTARGET;
2578     tryAMAGICbin_MG(scmp_amg, 0);
2579     {
2580       dPOPTOPssrl;
2581       const int cmp = (IN_LOCALE_RUNTIME
2582                  ? sv_cmp_locale_flags(left, right, 0)
2583                  : sv_cmp_flags(left, right, 0));
2584       SETi( cmp );
2585       RETURN;
2586     }
2587 }
2588
2589 PP(pp_bit_and)
2590 {
2591     dVAR; dSP; dATARGET;
2592     tryAMAGICbin_MG(band_amg, AMGf_assign);
2593     {
2594       dPOPTOPssrl;
2595       if (SvNIOKp(left) || SvNIOKp(right)) {
2596         const bool left_ro_nonnum  = !SvNIOKp(left) && SvREADONLY(left);
2597         const bool right_ro_nonnum = !SvNIOKp(right) && SvREADONLY(right);
2598         if (PL_op->op_private & HINT_INTEGER) {
2599           const IV i = SvIV_nomg(left) & SvIV_nomg(right);
2600           SETi(i);
2601         }
2602         else {
2603           const UV u = SvUV_nomg(left) & SvUV_nomg(right);
2604           SETu(u);
2605         }
2606         if (left_ro_nonnum)  SvNIOK_off(left);
2607         if (right_ro_nonnum) SvNIOK_off(right);
2608       }
2609       else {
2610         do_vop(PL_op->op_type, TARG, left, right);
2611         SETTARG;
2612       }
2613       RETURN;
2614     }
2615 }
2616
2617 PP(pp_bit_or)
2618 {
2619     dVAR; dSP; dATARGET;
2620     const int op_type = PL_op->op_type;
2621
2622     tryAMAGICbin_MG((op_type == OP_BIT_OR ? bor_amg : bxor_amg), AMGf_assign);
2623     {
2624       dPOPTOPssrl;
2625       if (SvNIOKp(left) || SvNIOKp(right)) {
2626         const bool left_ro_nonnum  = !SvNIOKp(left) && SvREADONLY(left);
2627         const bool right_ro_nonnum = !SvNIOKp(right) && SvREADONLY(right);
2628         if (PL_op->op_private & HINT_INTEGER) {
2629           const IV l = (USE_LEFT(left) ? SvIV_nomg(left) : 0);
2630           const IV r = SvIV_nomg(right);
2631           const IV result = op_type == OP_BIT_OR ? (l | r) : (l ^ r);
2632           SETi(result);
2633         }
2634         else {
2635           const UV l = (USE_LEFT(left) ? SvUV_nomg(left) : 0);
2636           const UV r = SvUV_nomg(right);
2637           const UV result = op_type == OP_BIT_OR ? (l | r) : (l ^ r);
2638           SETu(result);
2639         }
2640         if (left_ro_nonnum)  SvNIOK_off(left);
2641         if (right_ro_nonnum) SvNIOK_off(right);
2642       }
2643       else {
2644         do_vop(op_type, TARG, left, right);
2645         SETTARG;
2646       }
2647       RETURN;
2648     }
2649 }
2650
2651 PP(pp_negate)
2652 {
2653     dVAR; dSP; dTARGET;
2654     tryAMAGICun_MG(neg_amg, AMGf_numeric);
2655     {
2656         SV * const sv = TOPs;
2657         const int flags = SvFLAGS(sv);
2658
2659         if( !SvNIOK( sv ) && looks_like_number( sv ) ){
2660            SvIV_please( sv );
2661         }   
2662
2663         if ((flags & SVf_IOK) || ((flags & (SVp_IOK | SVp_NOK)) == SVp_IOK)) {
2664             /* It's publicly an integer, or privately an integer-not-float */
2665         oops_its_an_int:
2666             if (SvIsUV(sv)) {
2667                 if (SvIVX(sv) == IV_MIN) {
2668                     /* 2s complement assumption. */
2669                     SETi(SvIVX(sv));    /* special case: -((UV)IV_MAX+1) == IV_MIN */
2670                     RETURN;
2671                 }
2672                 else if (SvUVX(sv) <= IV_MAX) {
2673                     SETi(-SvIVX(sv));
2674                     RETURN;
2675                 }
2676             }
2677             else if (SvIVX(sv) != IV_MIN) {
2678                 SETi(-SvIVX(sv));
2679                 RETURN;
2680             }
2681 #ifdef PERL_PRESERVE_IVUV
2682             else {
2683                 SETu((UV)IV_MIN);
2684                 RETURN;
2685             }
2686 #endif
2687         }
2688         if (SvNIOKp(sv))
2689             SETn(-SvNV_nomg(sv));
2690         else if (SvPOKp(sv)) {
2691             STRLEN len;
2692             const char * const s = SvPV_nomg_const(sv, len);
2693             if (isIDFIRST(*s)) {
2694                 sv_setpvs(TARG, "-");
2695                 sv_catsv(TARG, sv);
2696             }
2697             else if (*s == '+' || *s == '-') {
2698                 sv_setsv_nomg(TARG, sv);
2699                 *SvPV_force_nomg(TARG, len) = *s == '-' ? '+' : '-';
2700             }
2701             else if (DO_UTF8(sv)) {
2702                 SvIV_please_nomg(sv);
2703                 if (SvIOK(sv))
2704                     goto oops_its_an_int;
2705                 if (SvNOK(sv))
2706                     sv_setnv(TARG, -SvNV_nomg(sv));
2707                 else {
2708                     sv_setpvs(TARG, "-");
2709                     sv_catsv(TARG, sv);
2710                 }
2711             }
2712             else {
2713                 SvIV_please_nomg(sv);
2714                 if (SvIOK(sv))
2715                   goto oops_its_an_int;
2716                 sv_setnv(TARG, -SvNV_nomg(sv));
2717             }
2718             SETTARG;
2719         }
2720         else
2721             SETn(-SvNV_nomg(sv));
2722     }
2723     RETURN;
2724 }
2725
2726 PP(pp_not)
2727 {
2728     dVAR; dSP;
2729     tryAMAGICun_MG(not_amg, AMGf_set);
2730     *PL_stack_sp = boolSV(!SvTRUE_nomg(*PL_stack_sp));
2731     return NORMAL;
2732 }
2733
2734 PP(pp_complement)
2735 {
2736     dVAR; dSP; dTARGET;
2737     tryAMAGICun_MG(compl_amg, AMGf_numeric);
2738     {
2739       dTOPss;
2740       if (SvNIOKp(sv)) {
2741         if (PL_op->op_private & HINT_INTEGER) {
2742           const IV i = ~SvIV_nomg(sv);
2743           SETi(i);
2744         }
2745         else {
2746           const UV u = ~SvUV_nomg(sv);
2747           SETu(u);
2748         }
2749       }
2750       else {
2751         register U8 *tmps;
2752         register I32 anum;
2753         STRLEN len;
2754
2755         (void)SvPV_nomg_const(sv,len); /* force check for uninit var */
2756         sv_setsv_nomg(TARG, sv);
2757         tmps = (U8*)SvPV_force_nomg(TARG, len);
2758         anum = len;
2759         if (SvUTF8(TARG)) {
2760           /* Calculate exact length, let's not estimate. */
2761           STRLEN targlen = 0;
2762           STRLEN l;
2763           UV nchar = 0;
2764           UV nwide = 0;
2765           U8 * const send = tmps + len;
2766           U8 * const origtmps = tmps;
2767           const UV utf8flags = UTF8_ALLOW_ANYUV;
2768
2769           while (tmps < send) {
2770             const UV c = utf8n_to_uvchr(tmps, send-tmps, &l, utf8flags);
2771             tmps += l;
2772             targlen += UNISKIP(~c);
2773             nchar++;
2774             if (c > 0xff)
2775                 nwide++;
2776           }
2777
2778           /* Now rewind strings and write them. */
2779           tmps = origtmps;
2780
2781           if (nwide) {
2782               U8 *result;
2783               U8 *p;
2784
2785               Newx(result, targlen + 1, U8);
2786               p = result;
2787               while (tmps < send) {
2788                   const UV c = utf8n_to_uvchr(tmps, send-tmps, &l, utf8flags);
2789                   tmps += l;
2790                   p = uvchr_to_utf8_flags(p, ~c, UNICODE_ALLOW_ANY);
2791               }
2792               *p = '\0';
2793               sv_usepvn_flags(TARG, (char*)result, targlen,
2794                               SV_HAS_TRAILING_NUL);
2795               SvUTF8_on(TARG);
2796           }
2797           else {
2798               U8 *result;
2799               U8 *p;
2800
2801               Newx(result, nchar + 1, U8);
2802               p = result;
2803               while (tmps < send) {
2804                   const U8 c = (U8)utf8n_to_uvchr(tmps, send-tmps, &l, utf8flags);
2805                   tmps += l;
2806                   *p++ = ~c;
2807               }
2808               *p = '\0';
2809               sv_usepvn_flags(TARG, (char*)result, nchar, SV_HAS_TRAILING_NUL);
2810               SvUTF8_off(TARG);
2811           }
2812           SETTARG;
2813           RETURN;
2814         }
2815 #ifdef LIBERAL
2816         {
2817             register long *tmpl;
2818             for ( ; anum && (unsigned long)tmps % sizeof(long); anum--, tmps++)
2819                 *tmps = ~*tmps;
2820             tmpl = (long*)tmps;
2821             for ( ; anum >= (I32)sizeof(long); anum -= (I32)sizeof(long), tmpl++)
2822                 *tmpl = ~*tmpl;
2823             tmps = (U8*)tmpl;
2824         }
2825 #endif
2826         for ( ; anum > 0; anum--, tmps++)
2827             *tmps = ~*tmps;
2828         SETTARG;
2829       }
2830       RETURN;
2831     }
2832 }
2833
2834 /* integer versions of some of the above */
2835
2836 PP(pp_i_multiply)
2837 {
2838     dVAR; dSP; dATARGET;
2839     tryAMAGICbin_MG(mult_amg, AMGf_assign);
2840     {
2841       dPOPTOPiirl_nomg;
2842       SETi( left * right );
2843       RETURN;
2844     }
2845 }
2846
2847 PP(pp_i_divide)
2848 {
2849     IV num;
2850     dVAR; dSP; dATARGET;
2851     tryAMAGICbin_MG(div_amg, AMGf_assign);
2852     {
2853       dPOPTOPssrl;
2854       IV value = SvIV_nomg(right);
2855       if (value == 0)
2856           DIE(aTHX_ "Illegal division by zero");
2857       num = SvIV_nomg(left);
2858
2859       /* avoid FPE_INTOVF on some platforms when num is IV_MIN */
2860       if (value == -1)
2861           value = - num;
2862       else
2863           value = num / value;
2864       SETi(value);
2865       RETURN;
2866     }
2867 }
2868
2869 #if defined(__GLIBC__) && IVSIZE == 8
2870 STATIC
2871 PP(pp_i_modulo_0)
2872 #else
2873 PP(pp_i_modulo)
2874 #endif
2875 {
2876      /* This is the vanilla old i_modulo. */
2877      dVAR; dSP; dATARGET;
2878      tryAMAGICbin_MG(modulo_amg, AMGf_assign);
2879      {
2880           dPOPTOPiirl_nomg;
2881           if (!right)
2882                DIE(aTHX_ "Illegal modulus zero");
2883           /* avoid FPE_INTOVF on some platforms when left is IV_MIN */
2884           if (right == -1)
2885               SETi( 0 );
2886           else
2887               SETi( left % right );
2888           RETURN;
2889      }
2890 }
2891
2892 #if defined(__GLIBC__) && IVSIZE == 8
2893 STATIC
2894 PP(pp_i_modulo_1)
2895
2896 {
2897      /* This is the i_modulo with the workaround for the _moddi3 bug
2898       * in (at least) glibc 2.2.5 (the PERL_ABS() the workaround).
2899       * See below for pp_i_modulo. */
2900      dVAR; dSP; dATARGET;
2901      tryAMAGICbin_MG(modulo_amg, AMGf_assign);
2902      {
2903           dPOPTOPiirl_nomg;
2904           if (!right)
2905                DIE(aTHX_ "Illegal modulus zero");
2906           /* avoid FPE_INTOVF on some platforms when left is IV_MIN */
2907           if (right == -1)
2908               SETi( 0 );
2909           else
2910               SETi( left % PERL_ABS(right) );
2911           RETURN;
2912      }
2913 }
2914
2915 PP(pp_i_modulo)
2916 {
2917      dVAR; dSP; dATARGET;
2918      tryAMAGICbin_MG(modulo_amg, AMGf_assign);
2919      {
2920           dPOPTOPiirl_nomg;
2921           if (!right)
2922                DIE(aTHX_ "Illegal modulus zero");
2923           /* The assumption is to use hereafter the old vanilla version... */
2924           PL_op->op_ppaddr =
2925                PL_ppaddr[OP_I_MODULO] =
2926                    Perl_pp_i_modulo_0;
2927           /* .. but if we have glibc, we might have a buggy _moddi3
2928            * (at least glicb 2.2.5 is known to have this bug), in other
2929            * words our integer modulus with negative quad as the second
2930            * argument might be broken.  Test for this and re-patch the
2931            * opcode dispatch table if that is the case, remembering to
2932            * also apply the workaround so that this first round works
2933            * right, too.  See [perl #9402] for more information. */
2934           {
2935                IV l =   3;
2936                IV r = -10;
2937                /* Cannot do this check with inlined IV constants since
2938                 * that seems to work correctly even with the buggy glibc. */
2939                if (l % r == -3) {
2940                     /* Yikes, we have the bug.
2941                      * Patch in the workaround version. */
2942                     PL_op->op_ppaddr =
2943                          PL_ppaddr[OP_I_MODULO] =
2944                              &Perl_pp_i_modulo_1;
2945                     /* Make certain we work right this time, too. */
2946                     right = PERL_ABS(right);
2947                }
2948           }
2949           /* avoid FPE_INTOVF on some platforms when left is IV_MIN */
2950           if (right == -1)
2951               SETi( 0 );
2952           else
2953               SETi( left % right );
2954           RETURN;
2955      }
2956 }
2957 #endif
2958
2959 PP(pp_i_add)
2960 {
2961     dVAR; dSP; dATARGET;
2962     tryAMAGICbin_MG(add_amg, AMGf_assign);
2963     {
2964       dPOPTOPiirl_ul_nomg;
2965       SETi( left + right );
2966       RETURN;
2967     }
2968 }
2969
2970 PP(pp_i_subtract)
2971 {
2972     dVAR; dSP; dATARGET;
2973     tryAMAGICbin_MG(subtr_amg, AMGf_assign);
2974     {
2975       dPOPTOPiirl_ul_nomg;
2976       SETi( left - right );
2977       RETURN;
2978     }
2979 }
2980
2981 PP(pp_i_lt)
2982 {
2983     dVAR; dSP;
2984     tryAMAGICbin_MG(lt_amg, AMGf_set);
2985     {
2986       dPOPTOPiirl_nomg;
2987       SETs(boolSV(left < right));
2988       RETURN;
2989     }
2990 }
2991
2992 PP(pp_i_gt)
2993 {
2994     dVAR; dSP;
2995     tryAMAGICbin_MG(gt_amg, AMGf_set);
2996     {
2997       dPOPTOPiirl_nomg;
2998       SETs(boolSV(left > right));
2999       RETURN;
3000     }
3001 }
3002
3003 PP(pp_i_le)
3004 {
3005     dVAR; dSP;
3006     tryAMAGICbin_MG(le_amg, AMGf_set);
3007     {
3008       dPOPTOPiirl_nomg;
3009       SETs(boolSV(left <= right));
3010       RETURN;
3011     }
3012 }
3013
3014 PP(pp_i_ge)
3015 {
3016     dVAR; dSP;
3017     tryAMAGICbin_MG(ge_amg, AMGf_set);
3018     {
3019       dPOPTOPiirl_nomg;
3020       SETs(boolSV(left >= right));
3021       RETURN;
3022     }
3023 }
3024
3025 PP(pp_i_eq)
3026 {
3027     dVAR; dSP;
3028     tryAMAGICbin_MG(eq_amg, AMGf_set);
3029     {
3030       dPOPTOPiirl_nomg;
3031       SETs(boolSV(left == right));
3032       RETURN;
3033     }
3034 }
3035
3036 PP(pp_i_ne)
3037 {
3038     dVAR; dSP;
3039     tryAMAGICbin_MG(ne_amg, AMGf_set);
3040     {
3041       dPOPTOPiirl_nomg;
3042       SETs(boolSV(left != right));
3043       RETURN;
3044     }
3045 }
3046
3047 PP(pp_i_ncmp)
3048 {
3049     dVAR; dSP; dTARGET;
3050     tryAMAGICbin_MG(ncmp_amg, 0);
3051     {
3052       dPOPTOPiirl_nomg;
3053       I32 value;
3054
3055       if (left > right)
3056         value = 1;
3057       else if (left < right)
3058         value = -1;
3059       else
3060         value = 0;
3061       SETi(value);
3062       RETURN;
3063     }
3064 }
3065
3066 PP(pp_i_negate)
3067 {
3068     dVAR; dSP; dTARGET;
3069     tryAMAGICun_MG(neg_amg, 0);
3070     {
3071         SV * const sv = TOPs;
3072         IV const i = SvIV_nomg(sv);
3073         SETi(-i);
3074         RETURN;
3075     }
3076 }
3077
3078 /* High falutin' math. */
3079
3080 PP(pp_atan2)
3081 {
3082     dVAR; dSP; dTARGET;
3083     tryAMAGICbin_MG(atan2_amg, 0);
3084     {
3085       dPOPTOPnnrl_nomg;
3086       SETn(Perl_atan2(left, right));
3087       RETURN;
3088     }
3089 }
3090
3091 PP(pp_sin)
3092 {
3093     dVAR; dSP; dTARGET;
3094     int amg_type = sin_amg;
3095     const char *neg_report = NULL;
3096     NV (*func)(NV) = Perl_sin;
3097     const int op_type = PL_op->op_type;
3098
3099     switch (op_type) {
3100     case OP_COS:
3101         amg_type = cos_amg;
3102         func = Perl_cos;
3103         break;
3104     case OP_EXP:
3105         amg_type = exp_amg;
3106         func = Perl_exp;
3107         break;
3108     case OP_LOG:
3109         amg_type = log_amg;
3110         func = Perl_log;
3111         neg_report = "log";
3112         break;
3113     case OP_SQRT:
3114         amg_type = sqrt_amg;
3115         func = Perl_sqrt;
3116         neg_report = "sqrt";
3117         break;
3118     }
3119
3120
3121     tryAMAGICun_MG(amg_type, 0);
3122     {
3123       SV * const arg = POPs;
3124       const NV value = SvNV_nomg(arg);
3125       if (neg_report) {
3126           if (op_type == OP_LOG ? (value <= 0.0) : (value < 0.0)) {
3127               SET_NUMERIC_STANDARD();
3128               DIE(aTHX_ "Can't take %s of %"NVgf, neg_report, value);
3129           }
3130       }
3131       XPUSHn(func(value));
3132       RETURN;
3133     }
3134 }
3135
3136 /* Support Configure command-line overrides for rand() functions.
3137    After 5.005, perhaps we should replace this by Configure support
3138    for drand48(), random(), or rand().  For 5.005, though, maintain
3139    compatibility by calling rand() but allow the user to override it.
3140    See INSTALL for details.  --Andy Dougherty  15 July 1998
3141 */
3142 /* Now it's after 5.005, and Configure supports drand48() and random(),
3143    in addition to rand().  So the overrides should not be needed any more.
3144    --Jarkko Hietaniemi  27 September 1998
3145  */
3146
3147 #ifndef HAS_DRAND48_PROTO
3148 extern double drand48 (void);
3149 #endif
3150
3151 PP(pp_rand)
3152 {
3153     dVAR; dSP; dTARGET;
3154     NV value;
3155     if (MAXARG < 1)
3156         value = 1.0;
3157     else
3158         value = POPn;
3159     if (value == 0.0)
3160         value = 1.0;
3161     if (!PL_srand_called) {
3162         (void)seedDrand01((Rand_seed_t)seed());
3163         PL_srand_called = TRUE;
3164     }
3165     value *= Drand01();
3166     XPUSHn(value);
3167     RETURN;
3168 }
3169
3170 PP(pp_srand)
3171 {
3172     dVAR; dSP; dTARGET;
3173     const UV anum = (MAXARG < 1) ? seed() : POPu;
3174     (void)seedDrand01((Rand_seed_t)anum);
3175     PL_srand_called = TRUE;
3176     if (anum)
3177         XPUSHu(anum);
3178     else {
3179         /* Historically srand always returned true. We can avoid breaking
3180            that like this:  */
3181         sv_setpvs(TARG, "0 but true");
3182         XPUSHTARG;
3183     }
3184     RETURN;
3185 }
3186
3187 PP(pp_int)
3188 {
3189     dVAR; dSP; dTARGET;
3190     tryAMAGICun_MG(int_amg, AMGf_numeric);
3191     {
3192       SV * const sv = TOPs;
3193       const IV iv = SvIV_nomg(sv);
3194       /* XXX it's arguable that compiler casting to IV might be subtly
3195          different from modf (for numbers inside (IV_MIN,UV_MAX)) in which
3196          else preferring IV has introduced a subtle behaviour change bug. OTOH
3197          relying on floating point to be accurate is a bug.  */
3198
3199       if (!SvOK(sv)) {
3200         SETu(0);
3201       }
3202       else if (SvIOK(sv)) {
3203         if (SvIsUV(sv))
3204             SETu(SvUV_nomg(sv));
3205         else
3206             SETi(iv);
3207       }
3208       else {
3209           const NV value = SvNV_nomg(sv);
3210           if (value >= 0.0) {
3211               if (value < (NV)UV_MAX + 0.5) {
3212                   SETu(U_V(value));
3213               } else {
3214                   SETn(Perl_floor(value));
3215               }
3216           }
3217           else {
3218               if (value > (NV)IV_MIN - 0.5) {
3219                   SETi(I_V(value));
3220               } else {
3221                   SETn(Perl_ceil(value));
3222               }
3223           }
3224       }
3225     }
3226     RETURN;
3227 }
3228
3229 PP(pp_abs)
3230 {
3231     dVAR; dSP; dTARGET;
3232     tryAMAGICun_MG(abs_amg, AMGf_numeric);
3233     {
3234       SV * const sv = TOPs;
3235       /* This will cache the NV value if string isn't actually integer  */
3236       const IV iv = SvIV_nomg(sv);
3237
3238       if (!SvOK(sv)) {
3239         SETu(0);
3240       }
3241       else if (SvIOK(sv)) {
3242         /* IVX is precise  */
3243         if (SvIsUV(sv)) {
3244           SETu(SvUV_nomg(sv));  /* force it to be numeric only */
3245         } else {
3246           if (iv >= 0) {
3247             SETi(iv);
3248           } else {
3249             if (iv != IV_MIN) {
3250               SETi(-iv);
3251             } else {
3252               /* 2s complement assumption. Also, not really needed as
3253                  IV_MIN and -IV_MIN should both be %100...00 and NV-able  */
3254               SETu(IV_MIN);
3255             }
3256           }
3257         }
3258       } else{
3259         const NV value = SvNV_nomg(sv);
3260         if (value < 0.0)
3261           SETn(-value);
3262         else
3263           SETn(value);
3264       }
3265     }
3266     RETURN;
3267 }
3268
3269 PP(pp_oct)
3270 {
3271     dVAR; dSP; dTARGET;
3272     const char *tmps;
3273     I32 flags = PERL_SCAN_ALLOW_UNDERSCORES;
3274     STRLEN len;
3275     NV result_nv;
3276     UV result_uv;
3277     SV* const sv = POPs;
3278
3279     tmps = (SvPV_const(sv, len));
3280     if (DO_UTF8(sv)) {
3281          /* If Unicode, try to downgrade
3282           * If not possible, croak. */
3283          SV* const tsv = sv_2mortal(newSVsv(sv));
3284         
3285          SvUTF8_on(tsv);
3286          sv_utf8_downgrade(tsv, FALSE);
3287          tmps = SvPV_const(tsv, len);
3288     }
3289     if (PL_op->op_type == OP_HEX)
3290         goto hex;
3291
3292     while (*tmps && len && isSPACE(*tmps))
3293         tmps++, len--;
3294     if (*tmps == '0')
3295         tmps++, len--;
3296     if (*tmps == 'x' || *tmps == 'X') {
3297     hex:
3298         result_uv = grok_hex (tmps, &len, &flags, &result_nv);
3299     }
3300     else if (*tmps == 'b' || *tmps == 'B')
3301         result_uv = grok_bin (tmps, &len, &flags, &result_nv);
3302     else
3303         result_uv = grok_oct (tmps, &len, &flags, &result_nv);
3304
3305     if (flags & PERL_SCAN_GREATER_THAN_UV_MAX) {
3306         XPUSHn(result_nv);
3307     }
3308     else {
3309         XPUSHu(result_uv);
3310     }
3311     RETURN;
3312 }
3313
3314 /* String stuff. */
3315
3316 PP(pp_length)
3317 {
3318     dVAR; dSP; dTARGET;
3319     SV * const sv = TOPs;
3320
3321     if (SvGAMAGIC(sv)) {
3322         /* For an overloaded or magic scalar, we can't know in advance if
3323            it's going to be UTF-8 or not. Also, we can't call sv_len_utf8 as
3324            it likes to cache the length. Maybe that should be a documented
3325            feature of it.
3326         */
3327         STRLEN len;
3328         const char *const p
3329             = sv_2pv_flags(sv, &len,
3330                            SV_UNDEF_RETURNS_NULL|SV_CONST_RETURN|SV_GMAGIC);
3331
3332         if (!p) {
3333             sv_setsv(TARG, &PL_sv_undef);
3334             SETTARG;
3335         }
3336         else if (DO_UTF8(sv)) {
3337             SETi(utf8_length((U8*)p, (U8*)p + len));
3338         }
3339         else
3340             SETi(len);
3341     } else if (SvOK(sv)) {
3342         /* Neither magic nor overloaded.  */
3343         if (DO_UTF8(sv))
3344             SETi(sv_len_utf8(sv));
3345         else
3346             SETi(sv_len(sv));
3347     } else {
3348         sv_setsv_nomg(TARG, &PL_sv_undef);
3349         SETTARG;
3350     }
3351     RETURN;
3352 }
3353
3354 PP(pp_substr)
3355 {
3356     dVAR; dSP; dTARGET;
3357     SV *sv;
3358     STRLEN curlen;
3359     STRLEN utf8_curlen;
3360     SV *   pos_sv;
3361     IV     pos1_iv;
3362     int    pos1_is_uv;
3363     IV     pos2_iv;
3364     int    pos2_is_uv;
3365     SV *   len_sv;
3366     IV     len_iv = 0;
3367     int    len_is_uv = 1;
3368     const I32 lvalue = PL_op->op_flags & OPf_MOD || LVRET;
3369     const char *tmps;
3370     const IV arybase = CopARYBASE_get(PL_curcop);
3371     SV *repl_sv = NULL;
3372     const char *repl = NULL;
3373     STRLEN repl_len;
3374     const int num_args = PL_op->op_private & 7;
3375     bool repl_need_utf8_upgrade = FALSE;
3376     bool repl_is_utf8 = FALSE;
3377
3378     if (num_args > 2) {
3379         if (num_args > 3) {
3380             repl_sv = POPs;
3381             repl = SvPV_const(repl_sv, repl_len);
3382             repl_is_utf8 = DO_UTF8(repl_sv) && SvCUR(repl_sv);
3383         }
3384         len_sv    = POPs;
3385         len_iv    = SvIV(len_sv);
3386         len_is_uv = SvIOK_UV(len_sv);
3387     }
3388     pos_sv     = POPs;
3389     pos1_iv    = SvIV(pos_sv);
3390     pos1_is_uv = SvIOK_UV(pos_sv);
3391     sv = POPs;
3392     PUTBACK;
3393     if (repl_sv) {
3394         if (repl_is_utf8) {
3395             if (!DO_UTF8(sv))
3396                 sv_utf8_upgrade(sv);
3397         }
3398         else if (DO_UTF8(sv))
3399             repl_need_utf8_upgrade = TRUE;
3400     }
3401     tmps = SvPV_const(sv, curlen);
3402     if (DO_UTF8(sv)) {
3403         utf8_curlen = sv_len_utf8(sv);
3404         if (utf8_curlen == curlen)
3405             utf8_curlen = 0;
3406         else
3407             curlen = utf8_curlen;
3408     }
3409     else
3410         utf8_curlen = 0;
3411
3412     if ( (pos1_is_uv && arybase < 0) || (pos1_iv >= arybase) ) { /* pos >= $[ */
3413         UV pos1_uv = pos1_iv-arybase;
3414         /* Overflow can occur when $[ < 0 */
3415         if (arybase < 0 && pos1_uv < (UV)pos1_iv)
3416             goto bound_fail;
3417         pos1_iv = pos1_uv;
3418         pos1_is_uv = 1;
3419     }
3420     else if (pos1_is_uv ? (UV)pos1_iv > 0 : pos1_iv > 0) {
3421         goto bound_fail;  /* $[=3; substr($_,2,...) */
3422     }
3423     else { /* pos < $[ */
3424         if (pos1_iv == 0) { /* $[=1; substr($_,0,...) */
3425             pos1_iv = curlen;
3426             pos1_is_uv = 1;
3427         } else {
3428             if (curlen) {
3429                 pos1_is_uv = curlen-1 > ~(UV)pos1_iv;
3430                 pos1_iv += curlen;
3431            }
3432         }
3433     }
3434     if (pos1_is_uv || pos1_iv > 0) {
3435         if ((UV)pos1_iv > curlen)
3436             goto bound_fail;
3437     }
3438
3439     if (num_args > 2) {
3440         if (!len_is_uv && len_iv < 0) {
3441             pos2_iv = curlen + len_iv;
3442             if (curlen)
3443                 pos2_is_uv = curlen-1 > ~(UV)len_iv;
3444             else
3445                 pos2_is_uv = 0;
3446         } else {  /* len_iv >= 0 */
3447             if (!pos1_is_uv && pos1_iv < 0) {
3448                 pos2_iv = pos1_iv + len_iv;
3449                 pos2_is_uv = (UV)len_iv > (UV)IV_MAX;
3450             } else {
3451                 if ((UV)len_iv > curlen-(UV)pos1_iv)
3452                     pos2_iv = curlen;
3453                 else
3454                     pos2_iv = pos1_iv+len_iv;
3455                 pos2_is_uv = 1;
3456             }
3457         }
3458     }
3459     else {
3460         pos2_iv = curlen;
3461         pos2_is_uv = 1;
3462     }
3463
3464     if (!pos2_is_uv && pos2_iv < 0) {
3465         if (!pos1_is_uv && pos1_iv < 0)
3466             goto bound_fail;
3467         pos2_iv = 0;
3468     }
3469     else if (!pos1_is_uv && pos1_iv < 0)
3470         pos1_iv = 0;
3471
3472     if ((UV)pos2_iv < (UV)pos1_iv)
3473         pos2_iv = pos1_iv;
3474     if ((UV)pos2_iv > curlen)
3475         pos2_iv = curlen;
3476
3477     {
3478         /* pos1_iv and pos2_iv both in 0..curlen, so the cast is safe */
3479         const STRLEN pos = (STRLEN)( (UV)pos1_iv );
3480         const STRLEN len = (STRLEN)( (UV)pos2_iv - (UV)pos1_iv );
3481         STRLEN byte_len = len;
3482         STRLEN byte_pos = utf8_curlen
3483             ? sv_pos_u2b_flags(sv, pos, &byte_len, SV_CONST_RETURN) : pos;
3484
3485         if (lvalue && !repl) {
3486             SV * ret;
3487
3488             if (!SvGMAGICAL(sv)) {
3489                 if (SvROK(sv)) {
3490                     SvPV_force_nolen(sv);
3491                     Perl_ck_warner(aTHX_ packWARN(WARN_SUBSTR),
3492                                    "Attempt to use reference as lvalue in substr");
3493                 }
3494                 if (isGV_with_GP(sv))
3495                     SvPV_force_nolen(sv);
3496                 else if (SvOK(sv))      /* is it defined ? */
3497                     (void)SvPOK_only_UTF8(sv);
3498                 else
3499                     sv_setpvs(sv, ""); /* avoid lexical reincarnation */
3500             }
3501
3502             ret = sv_2mortal(newSV_type(SVt_PVLV));  /* Not TARG RT#67838 */
3503             sv_magic(ret, NULL, PERL_MAGIC_substr, NULL, 0);
3504             LvTYPE(ret) = 'x';
3505             LvTARG(ret) = SvREFCNT_inc_simple(sv);
3506             LvTARGOFF(ret) = pos;
3507             LvTARGLEN(ret) = len;
3508
3509             SPAGAIN;
3510             PUSHs(ret);    /* avoid SvSETMAGIC here */
3511             RETURN;
3512         }
3513
3514         SvTAINTED_off(TARG);                    /* decontaminate */
3515         SvUTF8_off(TARG);                       /* decontaminate */
3516
3517         tmps += byte_pos;
3518         sv_setpvn(TARG, tmps, byte_len);
3519 #ifdef USE_LOCALE_COLLATE
3520         sv_unmagic(TARG, PERL_MAGIC_collxfrm);
3521 #endif
3522         if (utf8_curlen)
3523             SvUTF8_on(TARG);
3524
3525         if (repl) {
3526             SV* repl_sv_copy = NULL;
3527
3528             if (repl_need_utf8_upgrade) {
3529                 repl_sv_copy = newSVsv(repl_sv);
3530                 sv_utf8_upgrade(repl_sv_copy);
3531                 repl = SvPV_const(repl_sv_copy, repl_len);
3532                 repl_is_utf8 = DO_UTF8(repl_sv_copy) && SvCUR(sv);
3533             }
3534             if (!SvOK(sv))
3535                 sv_setpvs(sv, "");
3536             sv_insert_flags(sv, byte_pos, byte_len, repl, repl_len, 0);
3537             if (repl_is_utf8)
3538                 SvUTF8_on(sv);
3539             SvREFCNT_dec(repl_sv_copy);
3540         }
3541     }
3542     SPAGAIN;
3543     PUSHs(TARG);                /* avoid SvSETMAGIC here */
3544     RETURN;
3545
3546 bound_fail:
3547     if (lvalue || repl)
3548         Perl_croak(aTHX_ "substr outside of string");
3549     Perl_ck_warner(aTHX_ packWARN(WARN_SUBSTR), "substr outside of string");
3550     RETPUSHUNDEF;
3551 }
3552
3553 PP(pp_vec)
3554 {
3555     dVAR; dSP;
3556     register const IV size   = POPi;
3557     register const IV offset = POPi;
3558     register SV * const src = POPs;
3559     const I32 lvalue = PL_op->op_flags & OPf_MOD || LVRET;
3560     SV * ret;
3561
3562     if (lvalue) {                       /* it's an lvalue! */
3563         ret = sv_2mortal(newSV_type(SVt_PVLV));  /* Not TARG RT#67838 */
3564         sv_magic(ret, NULL, PERL_MAGIC_vec, NULL, 0);
3565         LvTYPE(ret) = 'v';
3566         LvTARG(ret) = SvREFCNT_inc_simple(src);
3567         LvTARGOFF(ret) = offset;
3568         LvTARGLEN(ret) = size;
3569     }
3570     else {
3571         dTARGET;
3572         SvTAINTED_off(TARG);            /* decontaminate */
3573         ret = TARG;
3574     }
3575
3576     sv_setuv(ret, do_vecget(src, offset, size));
3577     PUSHs(ret);
3578     RETURN;
3579 }
3580
3581 PP(pp_index)
3582 {
3583     dVAR; dSP; dTARGET;
3584     SV *big;
3585     SV *little;
3586     SV *temp = NULL;
3587     STRLEN biglen;
3588     STRLEN llen = 0;
3589     I32 offset;
3590     I32 retval;
3591     const char *big_p;
3592     const char *little_p;
3593     const I32 arybase = CopARYBASE_get(PL_curcop);
3594     bool big_utf8;
3595     bool little_utf8;
3596     const bool is_index = PL_op->op_type == OP_INDEX;
3597
3598     if (MAXARG >= 3) {
3599         /* arybase is in characters, like offset, so combine prior to the
3600            UTF-8 to bytes calculation.  */
3601         offset = POPi - arybase;
3602     }
3603     little = POPs;
3604     big = POPs;
3605     big_p = SvPV_const(big, biglen);
3606     little_p = SvPV_const(little, llen);
3607
3608     big_utf8 = DO_UTF8(big);
3609     little_utf8 = DO_UTF8(little);
3610     if (big_utf8 ^ little_utf8) {
3611         /* One needs to be upgraded.  */
3612         if (little_utf8 && !PL_encoding) {
3613             /* Well, maybe instead we might be able to downgrade the small
3614                string?  */
3615             char * const pv = (char*)bytes_from_utf8((U8 *)little_p, &llen,
3616                                                      &little_utf8);
3617             if (little_utf8) {
3618                 /* If the large string is ISO-8859-1, and it's not possible to
3619                    convert the small string to ISO-8859-1, then there is no
3620                    way that it could be found anywhere by index.  */
3621                 retval = -1;
3622                 goto fail;
3623             }
3624
3625             /* At this point, pv is a malloc()ed string. So donate it to temp
3626                to ensure it will get free()d  */
3627             little = temp = newSV(0);
3628             sv_usepvn(temp, pv, llen);
3629             little_p = SvPVX(little);
3630         } else {
3631             temp = little_utf8
3632                 ? newSVpvn(big_p, biglen) : newSVpvn(little_p, llen);
3633
3634             if (PL_encoding) {
3635                 sv_recode_to_utf8(temp, PL_encoding);
3636             } else {
3637                 sv_utf8_upgrade(temp);
3638             }
3639             if (little_utf8) {
3640                 big = temp;
3641                 big_utf8 = TRUE;
3642                 big_p = SvPV_const(big, biglen);
3643             } else {
3644                 little = temp;
3645                 little_p = SvPV_const(little, llen);
3646             }
3647         }
3648     }
3649     if (SvGAMAGIC(big)) {
3650         /* Life just becomes a lot easier if I use a temporary here.
3651            Otherwise I need to avoid calls to sv_pos_u2b(), which (dangerously)
3652            will trigger magic and overloading again, as will fbm_instr()
3653         */
3654         big = newSVpvn_flags(big_p, biglen,
3655                              SVs_TEMP | (big_utf8 ? SVf_UTF8 : 0));
3656         big_p = SvPVX(big);
3657     }
3658     if (SvGAMAGIC(little) || (is_index && !SvOK(little))) {
3659         /* index && SvOK() is a hack. fbm_instr() calls SvPV_const, which will
3660            warn on undef, and we've already triggered a warning with the
3661            SvPV_const some lines above. We can't remove that, as we need to
3662            call some SvPV to trigger overloading early and find out if the
3663            string is UTF-8.
3664            This is all getting to messy. The API isn't quite clean enough,
3665            because data access has side effects.
3666         */
3667         little = newSVpvn_flags(little_p, llen,
3668                                 SVs_TEMP | (little_utf8 ? SVf_UTF8 : 0));
3669         little_p = SvPVX(little);
3670     }
3671
3672     if (MAXARG < 3)
3673         offset = is_index ? 0 : biglen;
3674     else {
3675         if (big_utf8 && offset > 0)
3676             sv_pos_u2b(big, &offset, 0);
3677         if (!is_index)
3678             offset += llen;
3679     }
3680     if (offset < 0)
3681         offset = 0;
3682     else if (offset > (I32)biglen)
3683         offset = biglen;
3684     if (!(little_p = is_index
3685           ? fbm_instr((unsigned char*)big_p + offset,
3686                       (unsigned char*)big_p + biglen, little, 0)
3687           : rninstr(big_p,  big_p  + offset,
3688                     little_p, little_p + llen)))
3689         retval = -1;
3690     else {
3691         retval = little_p - big_p;
3692         if (retval > 0 && big_utf8)
3693             sv_pos_b2u(big, &retval);
3694     }
3695     SvREFCNT_dec(temp);
3696  fail:
3697     PUSHi(retval + arybase);
3698     RETURN;
3699 }
3700
3701 PP(pp_sprintf)
3702 {
3703     dVAR; dSP; dMARK; dORIGMARK; dTARGET;
3704     if (SvTAINTED(MARK[1]))
3705         TAINT_PROPER("sprintf");
3706     SvTAINTED_off(TARG);
3707     do_sprintf(TARG, SP-MARK, MARK+1);
3708     TAINT_IF(SvTAINTED(TARG));
3709     SP = ORIGMARK;
3710     PUSHTARG;
3711     RETURN;
3712 }
3713
3714 PP(pp_ord)
3715 {
3716     dVAR; dSP; dTARGET;
3717
3718     SV *argsv = POPs;
3719     STRLEN len;
3720     const U8 *s = (U8*)SvPV_const(argsv, len);
3721
3722     if (PL_encoding && SvPOK(argsv) && !DO_UTF8(argsv)) {
3723         SV * const tmpsv = sv_2mortal(newSVsv(argsv));
3724         s = (U8*)sv_recode_to_utf8(tmpsv, PL_encoding);
3725         argsv = tmpsv;
3726     }
3727
3728     XPUSHu(DO_UTF8(argsv) ?
3729            utf8n_to_uvchr(s, UTF8_MAXBYTES, 0, UTF8_ALLOW_ANYUV) :
3730            (UV)(*s & 0xff));
3731
3732     RETURN;
3733 }
3734
3735 PP(pp_chr)
3736 {
3737     dVAR; dSP; dTARGET;
3738     char *tmps;
3739     UV value;
3740
3741     if (((SvIOK_notUV(TOPs) && SvIV(TOPs) < 0)
3742          ||
3743          (SvNOK(TOPs) && SvNV(TOPs) < 0.0))) {
3744         if (IN_BYTES) {
3745             value = POPu; /* chr(-1) eq chr(0xff), etc. */
3746         } else {
3747             (void) POPs; /* Ignore the argument value. */
3748             value = UNICODE_REPLACEMENT;
3749         }
3750     } else {
3751         value = POPu;
3752     }
3753
3754     SvUPGRADE(TARG,SVt_PV);
3755
3756     if (value > 255 && !IN_BYTES) {
3757         SvGROW(TARG, (STRLEN)UNISKIP(value)+1);
3758         tmps = (char*)uvchr_to_utf8_flags((U8*)SvPVX(TARG), value, 0);
3759         SvCUR_set(TARG, tmps - SvPVX_const(TARG));
3760         *tmps = '\0';
3761         (void)SvPOK_only(TARG);
3762         SvUTF8_on(TARG);
3763         XPUSHs(TARG);
3764         RETURN;
3765     }
3766
3767     SvGROW(TARG,2);
3768     SvCUR_set(TARG, 1);
3769     tmps = SvPVX(TARG);
3770     *tmps++ = (char)value;
3771     *tmps = '\0';
3772     (void)SvPOK_only(TARG);
3773
3774     if (PL_encoding && !IN_BYTES) {
3775         sv_recode_to_utf8(TARG, PL_encoding);
3776         tmps = SvPVX(TARG);
3777         if (SvCUR(TARG) == 0 || !is_utf8_string((U8*)tmps, SvCUR(TARG)) ||
3778             UNICODE_IS_REPLACEMENT(utf8_to_uvchr((U8*)tmps, NULL))) {
3779             SvGROW(TARG, 2);
3780             tmps = SvPVX(TARG);
3781             SvCUR_set(TARG, 1);
3782             *tmps++ = (char)value;
3783             *tmps = '\0';
3784             SvUTF8_off(TARG);
3785         }
3786     }
3787
3788     XPUSHs(TARG);
3789     RETURN;
3790 }
3791
3792 PP(pp_crypt)
3793 {
3794 #ifdef HAS_CRYPT
3795     dVAR; dSP; dTARGET;
3796     dPOPTOPssrl;
3797     STRLEN len;
3798     const char *tmps = SvPV_const(left, len);
3799
3800     if (DO_UTF8(left)) {
3801          /* If Unicode, try to downgrade.
3802           * If not possible, croak.
3803           * Yes, we made this up.  */
3804          SV* const tsv = sv_2mortal(newSVsv(left));
3805
3806          SvUTF8_on(tsv);
3807          sv_utf8_downgrade(tsv, FALSE);
3808          tmps = SvPV_const(tsv, len);
3809     }
3810 #   ifdef USE_ITHREADS
3811 #     ifdef HAS_CRYPT_R
3812     if (!PL_reentrant_buffer->_crypt_struct_buffer) {
3813       /* This should be threadsafe because in ithreads there is only
3814        * one thread per interpreter.  If this would not be true,
3815        * we would need a mutex to protect this malloc. */
3816         PL_reentrant_buffer->_crypt_struct_buffer =
3817           (struct crypt_data *)safemalloc(sizeof(struct crypt_data));
3818 #if defined(__GLIBC__) || defined(__EMX__)
3819         if (PL_reentrant_buffer->_crypt_struct_buffer) {
3820             PL_reentrant_buffer->_crypt_struct_buffer->initialized = 0;
3821             /* work around glibc-2.2.5 bug */
3822             PL_reentrant_buffer->_crypt_struct_buffer->current_saltbits = 0;
3823         }
3824 #endif
3825     }
3826 #     endif /* HAS_CRYPT_R */
3827 #   endif /* USE_ITHREADS */
3828 #   ifdef FCRYPT
3829     sv_setpv(TARG, fcrypt(tmps, SvPV_nolen_const(right)));
3830 #   else
3831     sv_setpv(TARG, PerlProc_crypt(tmps, SvPV_nolen_const(right)));
3832 #   endif
3833     SETTARG;
3834     RETURN;
3835 #else
3836     DIE(aTHX_
3837       "The crypt() function is unimplemented due to excessive paranoia.");
3838 #endif
3839 }
3840
3841 /* Generally UTF-8 and UTF-EBCDIC are indistinguishable at this level.  So 
3842  * most comments below say UTF-8, when in fact they mean UTF-EBCDIC as well */
3843
3844 /* Both the characters below can be stored in two UTF-8 bytes.  In UTF-8 the max
3845  * character that 2 bytes can hold is U+07FF, and in UTF-EBCDIC it is U+03FF.
3846  * See http://www.unicode.org/unicode/reports/tr16 */
3847 #define LATIN_CAPITAL_LETTER_Y_WITH_DIAERESIS 0x0178    /* Also is title case */
3848 #define GREEK_CAPITAL_LETTER_MU 0x039C  /* Upper and title case of MICRON */
3849
3850 /* Below are several macros that generate code */
3851 /* Generates code to store a unicode codepoint c that is known to occupy
3852  * exactly two UTF-8 and UTF-EBCDIC bytes; it is stored into p and p+1. */
3853 #define STORE_UNI_TO_UTF8_TWO_BYTE(p, c)                                    \
3854     STMT_START {                                                            \
3855         *(p) = UTF8_TWO_BYTE_HI(c);                                         \
3856         *((p)+1) = UTF8_TWO_BYTE_LO(c);                                     \
3857     } STMT_END
3858
3859 /* Like STORE_UNI_TO_UTF8_TWO_BYTE, but advances p to point to the next
3860  * available byte after the two bytes */
3861 #define CAT_UNI_TO_UTF8_TWO_BYTE(p, c)                                      \
3862     STMT_START {                                                            \
3863         *(p)++ = UTF8_TWO_BYTE_HI(c);                                       \
3864         *((p)++) = UTF8_TWO_BYTE_LO(c);                                     \
3865     } STMT_END
3866
3867 /* Generates code to store the upper case of latin1 character l which is known
3868  * to have its upper case be non-latin1 into the two bytes p and p+1.  There
3869  * are only two characters that fit this description, and this macro knows
3870  * about them, and that the upper case values fit into two UTF-8 or UTF-EBCDIC
3871  * bytes */
3872 #define STORE_NON_LATIN1_UC(p, l)                                           \
3873 STMT_START {                                                                \
3874     if ((l) == LATIN_SMALL_LETTER_Y_WITH_DIAERESIS) {                       \
3875         STORE_UNI_TO_UTF8_TWO_BYTE((p), LATIN_CAPITAL_LETTER_Y_WITH_DIAERESIS);  \
3876     } else { /* Must be the following letter */                                                             \
3877         STORE_UNI_TO_UTF8_TWO_BYTE((p), GREEK_CAPITAL_LETTER_MU);           \
3878     }                                                                       \
3879 } STMT_END
3880
3881 /* Like STORE_NON_LATIN1_UC, but advances p to point to the next available byte
3882  * after the character stored */
3883 #define CAT_NON_LATIN1_UC(p, l)                                             \
3884 STMT_START {                                                                \
3885     if ((l) == LATIN_SMALL_LETTER_Y_WITH_DIAERESIS) {                       \
3886         CAT_UNI_TO_UTF8_TWO_BYTE((p), LATIN_CAPITAL_LETTER_Y_WITH_DIAERESIS);    \
3887     } else {                                                                \
3888         CAT_UNI_TO_UTF8_TWO_BYTE((p), GREEK_CAPITAL_LETTER_MU);             \
3889     }                                                                       \
3890 } STMT_END
3891
3892 /* Generates code to add the two UTF-8 bytes (probably u) that are the upper
3893  * case of l into p and p+1.  u must be the result of toUPPER_LATIN1_MOD(l),
3894  * and must require two bytes to store it.  Advances p to point to the next
3895  * available position */
3896 #define CAT_TWO_BYTE_UNI_UPPER_MOD(p, l, u)                                 \
3897 STMT_START {                                                                \
3898     if ((u) != LATIN_SMALL_LETTER_Y_WITH_DIAERESIS) {                       \
3899         CAT_UNI_TO_UTF8_TWO_BYTE((p), (u)); /* not special, just save it */ \
3900     } else if (l == LATIN_SMALL_LETTER_SHARP_S) {                           \
3901         *(p)++ = 'S'; *(p)++ = 'S'; /* upper case is 'SS' */                \
3902     } else {/* else is one of the other two special cases */                \
3903         CAT_NON_LATIN1_UC((p), (l));                                        \
3904     }                                                                       \
3905 } STMT_END
3906
3907 PP(pp_ucfirst)
3908 {
3909     /* Actually is both lcfirst() and ucfirst().  Only the first character
3910      * changes.  This means that possibly we can change in-place, ie., just
3911      * take the source and change that one character and store it back, but not
3912      * if read-only etc, or if the length changes */
3913
3914     dVAR;
3915     dSP;
3916     SV *source = TOPs;
3917     STRLEN slen; /* slen is the byte length of the whole SV. */
3918     STRLEN need;
3919     SV *dest;
3920     bool inplace;   /* ? Convert first char only, in-place */
3921     bool doing_utf8 = FALSE;               /* ? using utf8 */
3922     bool convert_source_to_utf8 = FALSE;   /* ? need to convert */
3923     const int op_type = PL_op->op_type;
3924     const U8 *s;
3925     U8 *d;
3926     U8 tmpbuf[UTF8_MAXBYTES_CASE+1];
3927     STRLEN ulen;    /* ulen is the byte length of the original Unicode character
3928                      * stored as UTF-8 at s. */
3929     STRLEN tculen;  /* tculen is the byte length of the freshly titlecased (or
3930                      * lowercased) character stored in tmpbuf.  May be either
3931                      * UTF-8 or not, but in either case is the number of bytes */
3932
3933     SvGETMAGIC(source);
3934     if (SvOK(source)) {
3935         s = (const U8*)SvPV_nomg_const(source, slen);
3936     } else {
3937         if (ckWARN(WARN_UNINITIALIZED))
3938             report_uninit(source);
3939         s = (const U8*)"";
3940         slen = 0;
3941     }
3942
3943     /* We may be able to get away with changing only the first character, in
3944      * place, but not if read-only, etc.  Later we may discover more reasons to
3945      * not convert in-place. */
3946     inplace = SvPADTMP(source) && !SvREADONLY(source) && SvTEMP(source);
3947
3948     /* First calculate what the changed first character should be.  This affects
3949      * whether we can just swap it out, leaving the rest of the string unchanged,
3950      * or even if have to convert the dest to UTF-8 when the source isn't */
3951
3952     if (! slen) {   /* If empty */
3953         need = 1; /* still need a trailing NUL */
3954     }
3955     else if (DO_UTF8(source)) { /* Is the source utf8? */
3956         doing_utf8 = TRUE;
3957
3958 /* TODO: This is #ifdefd out because it has hard-coded the standard mappings,
3959  * and doesn't allow for the user to specify their own.  When code is added to
3960  * detect if there is a user-defined mapping in force here, and if so to use
3961  * that, then the code below can be compiled.  The detection would be a good
3962  * thing anyway, as currently the user-defined mappings only work on utf8
3963  * strings, and thus depend on the chosen internal storage method, which is a
3964  * bad thing */
3965 #ifdef GO_AHEAD_AND_BREAK_USER_DEFINED_CASE_MAPPINGS
3966         if (UTF8_IS_INVARIANT(*s)) {
3967
3968             /* An invariant source character is either ASCII or, in EBCDIC, an
3969              * ASCII equivalent or a caseless C1 control.  In both these cases,
3970              * the lower and upper cases of any character are also invariants
3971              * (and title case is the same as upper case).  So it is safe to
3972              * use the simple case change macros which avoid the overhead of
3973              * the general functions.  Note that if perl were to be extended to
3974              * do locale handling in UTF-8 strings, this wouldn't be true in,
3975              * for example, Lithuanian or Turkic.  */
3976             *tmpbuf = (op_type == OP_LCFIRST) ? toLOWER(*s) : toUPPER(*s);
3977             tculen = ulen = 1;
3978             need = slen + 1;
3979         }
3980         else if (UTF8_IS_DOWNGRADEABLE_START(*s)) {
3981             U8 chr;
3982
3983             /* Similarly, if the source character isn't invariant but is in the
3984              * latin1 range (or EBCDIC equivalent thereof), we have the case
3985              * changes compiled into perl, and can avoid the overhead of the
3986              * general functions.  In this range, the characters are stored as
3987              * two UTF-8 bytes, and it so happens that any changed-case version
3988              * is also two bytes (in both ASCIIish and EBCDIC machines). */
3989             tculen = ulen = 2;
3990             need = slen + 1;
3991
3992             /* Convert the two source bytes to a single Unicode code point
3993              * value, change case and save for below */
3994             chr = TWO_BYTE_UTF8_TO_UNI(*s, *(s+1));
3995             if (op_type == OP_LCFIRST) {    /* lower casing is easy */
3996                 U8 lower = toLOWER_LATIN1(chr);
3997                 STORE_UNI_TO_UTF8_TWO_BYTE(tmpbuf, lower);
3998             }
3999             else {      /* ucfirst */
4000                 U8 upper = toUPPER_LATIN1_MOD(chr);
4001
4002                 /* Most of the latin1 range characters are well-behaved.  Their
4003                  * title and upper cases are the same, and are also in the
4004                  * latin1 range.  The macro above returns their upper (hence
4005                  * title) case, and all that need be done is to save the result
4006                  * for below.  However, several characters are problematic, and
4007                  * have to be handled specially.  The MOD in the macro name
4008                  * above means that these tricky characters all get mapped to
4009                  * the single character LATIN_SMALL_LETTER_Y_WITH_DIAERESIS.
4010                  * This mapping saves some tests for the majority of the
4011                  * characters */
4012
4013                 if (upper != LATIN_SMALL_LETTER_Y_WITH_DIAERESIS) {
4014
4015                     /* Not tricky.  Just save it. */
4016                     STORE_UNI_TO_UTF8_TWO_BYTE(tmpbuf, upper);
4017                 }
4018                 else if (chr == LATIN_SMALL_LETTER_SHARP_S) {
4019
4020                     /* This one is tricky because it is two characters long,
4021                      * though the UTF-8 is still two bytes, so the stored
4022                      * length doesn't change */
4023                     *tmpbuf = 'S';  /* The UTF-8 is 'Ss' */
4024                     *(tmpbuf + 1) = 's';
4025                 }
4026                 else {
4027
4028                     /* The other two have their title and upper cases the same,
4029                      * but are tricky because the changed-case characters
4030                      * aren't in the latin1 range.  They, however, do fit into
4031                      * two UTF-8 bytes */
4032                     STORE_NON_LATIN1_UC(tmpbuf, chr);    
4033                 }
4034             }
4035         }
4036         else {
4037 #endif  /* end of dont want to break user-defined casing */
4038
4039             /* Here, can't short-cut the general case */
4040
4041             utf8_to_uvchr(s, &ulen);
4042             if (op_type == OP_UCFIRST) toTITLE_utf8(s, tmpbuf, &tculen);
4043             else toLOWER_utf8(s, tmpbuf, &tculen);
4044
4045             /* we can't do in-place if the length changes.  */
4046             if (ulen != tculen) inplace = FALSE;
4047             need = slen + 1 - ulen + tculen;
4048 #ifdef GO_AHEAD_AND_BREAK_USER_DEFINED_CASE_MAPPINGS
4049         }
4050 #endif
4051     }
4052     else { /* Non-zero length, non-UTF-8,  Need to consider locale and if
4053             * latin1 is treated as caseless.  Note that a locale takes
4054             * precedence */ 
4055         tculen = 1;     /* Most characters will require one byte, but this will
4056                          * need to be overridden for the tricky ones */
4057         need = slen + 1;
4058
4059         if (op_type == OP_LCFIRST) {
4060
4061             /* lower case the first letter: no trickiness for any character */
4062             *tmpbuf = (IN_LOCALE_RUNTIME) ? toLOWER_LC(*s) :
4063                         ((IN_UNI_8_BIT) ? toLOWER_LATIN1(*s) : toLOWER(*s));
4064         }
4065         /* is ucfirst() */
4066         else if (IN_LOCALE_RUNTIME) {
4067             *tmpbuf = toUPPER_LC(*s);   /* This would be a bug if any locales
4068                                          * have upper and title case different
4069                                          */
4070         }
4071         else if (! IN_UNI_8_BIT) {
4072             *tmpbuf = toUPPER(*s);      /* Returns caseless for non-ascii, or
4073                                          * on EBCDIC machines whatever the
4074                                          * native function does */
4075         }
4076         else { /* is ucfirst non-UTF-8, not in locale, and cased latin1 */
4077             *tmpbuf = toUPPER_LATIN1_MOD(*s);
4078
4079             /* tmpbuf now has the correct title case for all latin1 characters
4080              * except for the several ones that have tricky handling.  All
4081              * of these are mapped by the MOD to the letter below. */
4082             if (*tmpbuf == LATIN_SMALL_LETTER_Y_WITH_DIAERESIS) {
4083
4084                 /* The length is going to change, with all three of these, so
4085                  * can't replace just the first character */
4086                 inplace = FALSE;
4087
4088                 /* We use the original to distinguish between these tricky
4089                  * cases */
4090                 if (*s == LATIN_SMALL_LETTER_SHARP_S) {
4091                     /* Two character title case 'Ss', but can remain non-UTF-8 */
4092                     need = slen + 2;
4093                     *tmpbuf = 'S';
4094                     *(tmpbuf + 1) = 's';   /* Assert: length(tmpbuf) >= 2 */
4095                     tculen = 2;
4096                 }
4097                 else {
4098
4099                     /* The other two tricky ones have their title case outside
4100                      * latin1.  It is the same as their upper case. */
4101                     doing_utf8 = TRUE;
4102                     STORE_NON_LATIN1_UC(tmpbuf, *s);
4103
4104                     /* The UTF-8 and UTF-EBCDIC lengths of both these characters
4105                      * and their upper cases is 2. */
4106                     tculen = ulen = 2;
4107
4108                     /* The entire result will have to be in UTF-8.  Assume worst
4109                      * case sizing in conversion. (all latin1 characters occupy
4110                      * at most two bytes in utf8) */
4111                     convert_source_to_utf8 = TRUE;
4112                     need = slen * 2 + 1;
4113                 }
4114             } /* End of is one of the three special chars */
4115         } /* End of use Unicode (Latin1) semantics */
4116     } /* End of changing the case of the first character */
4117
4118     /* Here, have the first character's changed case stored in tmpbuf.  Ready to
4119      * generate the result */
4120     if (inplace) {
4121
4122         /* We can convert in place.  This means we change just the first
4123          * character without disturbing the rest; no need to grow */
4124         dest = source;
4125         s = d = (U8*)SvPV_force_nomg(source, slen);
4126     } else {
4127         dTARGET;
4128
4129         dest = TARG;
4130
4131         /* Here, we can't convert in place; we earlier calculated how much
4132          * space we will need, so grow to accommodate that */
4133         SvUPGRADE(dest, SVt_PV);
4134         d = (U8*)SvGROW(dest, need);
4135         (void)SvPOK_only(dest);
4136
4137         SETs(dest);
4138     }
4139
4140     if (doing_utf8) {
4141         if (! inplace) {
4142             if (! convert_source_to_utf8) {
4143
4144                 /* Here  both source and dest are in UTF-8, but have to create
4145                  * the entire output.  We initialize the result to be the
4146                  * title/lower cased first character, and then append the rest
4147                  * of the string. */
4148                 sv_setpvn(dest, (char*)tmpbuf, tculen);
4149                 if (slen > ulen) {
4150                     sv_catpvn(dest, (char*)(s + ulen), slen - ulen);
4151                 }
4152             }
4153             else {
4154                 const U8 *const send = s + slen;
4155
4156                 /* Here the dest needs to be in UTF-8, but the source isn't,
4157                  * except we earlier UTF-8'd the first character of the source
4158                  * into tmpbuf.  First put that into dest, and then append the
4159                  * rest of the source, converting it to UTF-8 as we go. */
4160
4161                 /* Assert tculen is 2 here because the only two characters that
4162                  * get to this part of the code have 2-byte UTF-8 equivalents */
4163                 *d++ = *tmpbuf;
4164                 *d++ = *(tmpbuf + 1);
4165                 s++;    /* We have just processed the 1st char */
4166
4167                 for (; s < send; s++) {
4168                     d = uvchr_to_utf8(d, *s);
4169                 }
4170                 *d = '\0';
4171                 SvCUR_set(dest, d - (U8*)SvPVX_const(dest));
4172             }
4173             SvUTF8_on(dest);
4174         }
4175         else {   /* in-place UTF-8.  Just overwrite the first character */
4176             Copy(tmpbuf, d, tculen, U8);
4177             SvCUR_set(dest, need - 1);
4178         }
4179     }
4180     else {  /* Neither source nor dest are in or need to be UTF-8 */
4181         if (slen) {
4182             if (IN_LOCALE_RUNTIME) {
4183                 TAINT;
4184                 SvTAINTED_on(dest);
4185             }
4186             if (inplace) {  /* in-place, only need to change the 1st char */
4187                 *d = *tmpbuf;
4188             }
4189             else {      /* Not in-place */
4190
4191                 /* Copy the case-changed character(s) from tmpbuf */
4192                 Copy(tmpbuf, d, tculen, U8);
4193                 d += tculen - 1; /* Code below expects d to point to final
4194                                   * character stored */
4195             }
4196         }
4197         else {  /* empty source */
4198             /* See bug #39028: Don't taint if empty  */
4199             *d = *s;
4200         }
4201
4202         /* In a "use bytes" we don't treat the source as UTF-8, but, still want
4203          * the destination to retain that flag */
4204         if (SvUTF8(source))
4205             SvUTF8_on(dest);
4206
4207         if (!inplace) { /* Finish the rest of the string, unchanged */
4208             /* This will copy the trailing NUL  */
4209             Copy(s + 1, d + 1, slen, U8);
4210             SvCUR_set(dest, need - 1);
4211         }
4212     }
4213     SvSETMAGIC(dest);
4214     RETURN;
4215 }
4216
4217 /* There's so much setup/teardown code common between uc and lc, I wonder if
4218    it would be worth merging the two, and just having a switch outside each
4219    of the three tight loops.  There is less and less commonality though */
4220 PP(pp_uc)
4221 {
4222     dVAR;
4223     dSP;
4224     SV *source = TOPs;
4225     STRLEN len;
4226     STRLEN min;
4227     SV *dest;
4228     const U8 *s;
4229     U8 *d;
4230
4231     SvGETMAGIC(source);
4232
4233     if (SvPADTMP(source) && !SvREADONLY(source) && !SvAMAGIC(source)
4234         && SvTEMP(source) && !DO_UTF8(source)
4235         && (IN_LOCALE_RUNTIME || ! IN_UNI_8_BIT)) {
4236
4237         /* We can convert in place.  The reason we can't if in UNI_8_BIT is to
4238          * make the loop tight, so we overwrite the source with the dest before
4239          * looking at it, and we need to look at the original source
4240          * afterwards.  There would also need to be code added to handle
4241          * switching to not in-place in midstream if we run into characters
4242          * that change the length.
4243          */
4244         dest = source;
4245         s = d = (U8*)SvPV_force_nomg(source, len);
4246         min = len + 1;
4247     } else {
4248         dTARGET;
4249
4250         dest = TARG;
4251
4252         /* The old implementation would copy source into TARG at this point.
4253            This had the side effect that if source was undef, TARG was now
4254            an undefined SV with PADTMP set, and they don't warn inside
4255            sv_2pv_flags(). However, we're now getting the PV direct from
4256            source, which doesn't have PADTMP set, so it would warn. Hence the
4257            little games.  */
4258
4259         if (SvOK(source)) {
4260             s = (const U8*)SvPV_nomg_const(source, len);
4261         } else {
4262             if (ckWARN(WARN_UNINITIALIZED))
4263                 report_uninit(source);
4264             s = (const U8*)"";
4265             len = 0;
4266         }
4267         min = len + 1;
4268
4269         SvUPGRADE(dest, SVt_PV);
4270         d = (U8*)SvGROW(dest, min);
4271         (void)SvPOK_only(dest);
4272
4273         SETs(dest);
4274     }
4275
4276     /* Overloaded values may have toggled the UTF-8 flag on source, so we need
4277        to check DO_UTF8 again here.  */
4278
4279     if (DO_UTF8(source)) {
4280         const U8 *const send = s + len;
4281         U8 tmpbuf[UTF8_MAXBYTES+1];
4282
4283         /* All occurrences of these are to be moved to follow any other marks.
4284          * This is context-dependent.  We may not be passed enough context to
4285          * move the iota subscript beyond all of them, but we do the best we can
4286          * with what we're given.  The result is always better than if we
4287          * hadn't done this.  And, the problem would only arise if we are
4288          * passed a character without all its combining marks, which would be
4289          * the caller's mistake.  The information this is based on comes from a
4290          * comment in Unicode SpecialCasing.txt, (and the Standard's text
4291          * itself) and so can't be checked properly to see if it ever gets
4292          * revised.  But the likelihood of it changing is remote */
4293         bool in_iota_subscript = FALSE;
4294
4295         while (s < send) {
4296             if (in_iota_subscript && ! is_utf8_mark(s)) {
4297                 /* A non-mark.  Time to output the iota subscript */
4298 #define GREEK_CAPITAL_LETTER_IOTA 0x0399
4299 #define COMBINING_GREEK_YPOGEGRAMMENI 0x0345
4300
4301                 CAT_UNI_TO_UTF8_TWO_BYTE(d, GREEK_CAPITAL_LETTER_IOTA);
4302                 in_iota_subscript = FALSE;
4303             }
4304
4305
4306 /* See comments at the first instance in this file of this ifdef */
4307 #ifdef GO_AHEAD_AND_BREAK_USER_DEFINED_CASE_MAPPINGS
4308
4309             /* If the UTF-8 character is invariant, then it is in the range
4310              * known by the standard macro; result is only one byte long */
4311             if (UTF8_IS_INVARIANT(*s)) {
4312                 *d++ = toUPPER(*s);
4313                 s++;
4314             }
4315             else if (UTF8_IS_DOWNGRADEABLE_START(*s)) {
4316
4317                 /* Likewise, if it fits in a byte, its case change is in our
4318                  * table */
4319                 U8 orig = TWO_BYTE_UTF8_TO_UNI(*s, *s++);
4320                 U8 upper = toUPPER_LATIN1_MOD(orig);
4321                 CAT_TWO_BYTE_UNI_UPPER_MOD(d, orig, upper);
4322                 s++;
4323             }
4324             else {
4325 #else
4326             {
4327 #endif
4328
4329                 /* Otherwise, need the general UTF-8 case.  Get the changed
4330                  * case value and copy it to the output buffer */
4331
4332                 const STRLEN u = UTF8SKIP(s);
4333                 STRLEN ulen;
4334
4335                 const UV uv = toUPPER_utf8(s, tmpbuf, &ulen);
4336                 if (uv == GREEK_CAPITAL_LETTER_IOTA
4337                     && utf8_to_uvchr(s, 0) == COMBINING_GREEK_YPOGEGRAMMENI)
4338                 {
4339                     in_iota_subscript = TRUE;
4340                 }
4341                 else {
4342                     if (ulen > u && (SvLEN(dest) < (min += ulen - u))) {
4343                         /* If the eventually required minimum size outgrows
4344                          * the available space, we need to grow. */
4345                         const UV o = d - (U8*)SvPVX_const(dest);
4346
4347                         /* If someone uppercases one million U+03B0s we
4348                          * SvGROW() one million times.  Or we could try
4349                          * guessing how much to allocate without allocating too
4350                          * much.  Such is life.  See corresponding comment in
4351                          * lc code for another option */
4352                         SvGROW(dest, min);
4353                         d = (U8*)SvPVX(dest) + o;
4354                     }
4355                     Copy(tmpbuf, d, ulen, U8);
4356                     d += ulen;
4357                 }
4358                 s += u;
4359             }
4360         }
4361         if (in_iota_subscript) {
4362             CAT_UNI_TO_UTF8_TWO_BYTE(d, GREEK_CAPITAL_LETTER_IOTA);
4363         }
4364         SvUTF8_on(dest);
4365         *d = '\0';
4366         SvCUR_set(dest, d - (U8*)SvPVX_const(dest));
4367     }
4368     else {      /* Not UTF-8 */
4369         if (len) {
4370             const U8 *const send = s + len;
4371
4372             /* Use locale casing if in locale; regular style if not treating
4373              * latin1 as having case; otherwise the latin1 casing.  Do the
4374              * whole thing in a tight loop, for speed, */
4375             if (IN_LOCALE_RUNTIME) {
4376                 TAINT;
4377                 SvTAINTED_on(dest);
4378                 for (; s < send; d++, s++)
4379                     *d = toUPPER_LC(*s);
4380             }
4381             else if (! IN_UNI_8_BIT) {
4382                 for (; s < send; d++, s++) {
4383                     *d = toUPPER(*s);
4384                 }
4385             }
4386             else {
4387                 for (; s < send; d++, s++) {
4388                     *d = toUPPER_LATIN1_MOD(*s);
4389                     if (*d != LATIN_SMALL_LETTER_Y_WITH_DIAERESIS) continue;
4390
4391                     /* The mainstream case is the tight loop above.  To avoid
4392                      * extra tests in that, all three characters that require
4393                      * special handling are mapped by the MOD to the one tested
4394                      * just above.  
4395                      * Use the source to distinguish between the three cases */
4396
4397                     if (*s == LATIN_SMALL_LETTER_SHARP_S) {
4398
4399                         /* uc() of this requires 2 characters, but they are
4400                          * ASCII.  If not enough room, grow the string */
4401                         if (SvLEN(dest) < ++min) {      
4402                             const UV o = d - (U8*)SvPVX_const(dest);
4403                             SvGROW(dest, min);
4404                             d = (U8*)SvPVX(dest) + o;
4405                         }
4406                         *d++ = 'S'; *d = 'S'; /* upper case is 'SS' */
4407                         continue;   /* Back to the tight loop; still in ASCII */
4408                     }
4409
4410                     /* The other two special handling characters have their
4411                      * upper cases outside the latin1 range, hence need to be
4412                      * in UTF-8, so the whole result needs to be in UTF-8.  So,
4413                      * here we are somewhere in the middle of processing a
4414                      * non-UTF-8 string, and realize that we will have to convert
4415                      * the whole thing to UTF-8.  What to do?  There are
4416                      * several possibilities.  The simplest to code is to
4417                      * convert what we have so far, set a flag, and continue on
4418                      * in the loop.  The flag would be tested each time through
4419                      * the loop, and if set, the next character would be
4420                      * converted to UTF-8 and stored.  But, I (khw) didn't want
4421                      * to slow down the mainstream case at all for this fairly
4422                      * rare case, so I didn't want to add a test that didn't
4423                      * absolutely have to be there in the loop, besides the
4424                      * possibility that it would get too complicated for
4425                      * optimizers to deal with.  Another possibility is to just
4426                      * give up, convert the source to UTF-8, and restart the
4427                      * function that way.  Another possibility is to convert
4428                      * both what has already been processed and what is yet to
4429                      * come separately to UTF-8, then jump into the loop that
4430                      * handles UTF-8.  But the most efficient time-wise of the
4431                      * ones I could think of is what follows, and turned out to
4432                      * not require much extra code.  */
4433
4434                     /* Convert what we have so far into UTF-8, telling the
4435                      * function that we know it should be converted, and to
4436                      * allow extra space for what we haven't processed yet.
4437                      * Assume the worst case space requirements for converting
4438                      * what we haven't processed so far: that it will require
4439                      * two bytes for each remaining source character, plus the
4440                      * NUL at the end.  This may cause the string pointer to
4441                      * move, so re-find it. */
4442
4443                     len = d - (U8*)SvPVX_const(dest);
4444                     SvCUR_set(dest, len);
4445                     len = sv_utf8_upgrade_flags_grow(dest,
4446                                                 SV_GMAGIC|SV_FORCE_UTF8_UPGRADE,
4447                                                 (send -s) * 2 + 1);
4448                     d = (U8*)SvPVX(dest) + len;
4449
4450                     /* And append the current character's upper case in UTF-8 */
4451                     CAT_NON_LATIN1_UC(d, *s);
4452
4453                     /* Now process the remainder of the source, converting to
4454                      * upper and UTF-8.  If a resulting byte is invariant in
4455                      * UTF-8, output it as-is, otherwise convert to UTF-8 and
4456                      * append it to the output. */
4457
4458                     s++;
4459                     for (; s < send; s++) {
4460                         U8 upper = toUPPER_LATIN1_MOD(*s);
4461                         if UTF8_IS_INVARIANT(upper) {
4462                             *d++ = upper;
4463                         }
4464                         else {
4465                             CAT_TWO_BYTE_UNI_UPPER_MOD(d, *s, upper);
4466                         }
4467                     }
4468
4469                     /* Here have processed the whole source; no need to continue
4470                      * with the outer loop.  Each character has been converted
4471                      * to upper case and converted to UTF-8 */
4472
4473                     break;
4474                 } /* End of processing all latin1-style chars */
4475             } /* End of processing all chars */
4476         } /* End of source is not empty */
4477
4478         if (source != dest) {
4479             *d = '\0';  /* Here d points to 1 after last char, add NUL */
4480             SvCUR_set(dest, d - (U8*)SvPVX_const(dest));
4481         }
4482     } /* End of isn't utf8 */
4483     SvSETMAGIC(dest);
4484     RETURN;
4485 }
4486
4487 PP(pp_lc)
4488 {
4489     dVAR;
4490     dSP;
4491     SV *source = TOPs;
4492     STRLEN len;
4493     STRLEN min;
4494     SV *dest;
4495     const U8 *s;
4496     U8 *d;
4497
4498     SvGETMAGIC(source);
4499
4500     if (SvPADTMP(source) && !SvREADONLY(source) && !SvAMAGIC(source)
4501         && SvTEMP(source) && !DO_UTF8(source)) {
4502
4503         /* We can convert in place, as lowercasing anything in the latin1 range
4504          * (or else DO_UTF8 would have been on) doesn't lengthen it */
4505         dest = source;
4506         s = d = (U8*)SvPV_force_nomg(source, len);
4507         min = len + 1;
4508     } else {
4509         dTARGET;
4510
4511         dest = TARG;
4512
4513         /* The old implementation would copy source into TARG at this point.
4514            This had the side effect that if source was undef, TARG was now
4515            an undefined SV with PADTMP set, and they don't warn inside
4516            sv_2pv_flags(). However, we're now getting the PV direct from
4517            source, which doesn't have PADTMP set, so it would warn. Hence the
4518            little games.  */
4519
4520         if (SvOK(source)) {
4521             s = (const U8*)SvPV_nomg_const(source, len);
4522         } else {
4523             if (ckWARN(WARN_UNINITIALIZED))
4524                 report_uninit(source);
4525             s = (const U8*)"";
4526             len = 0;
4527         }
4528         min = len + 1;
4529
4530         SvUPGRADE(dest, SVt_PV);
4531         d = (U8*)SvGROW(dest, min);
4532         (void)SvPOK_only(dest);
4533
4534         SETs(dest);
4535     }
4536
4537     /* Overloaded values may have toggled the UTF-8 flag on source, so we need
4538        to check DO_UTF8 again here.  */
4539
4540     if (DO_UTF8(source)) {
4541         const U8 *const send = s + len;
4542         U8 tmpbuf[UTF8_MAXBYTES_CASE+1];
4543
4544         while (s < send) {
4545 /* See comments at the first instance in this file of this ifdef */
4546 #ifdef GO_AHEAD_AND_BREAK_USER_DEFINED_CASE_MAPPINGS
4547             if (UTF8_IS_INVARIANT(*s)) {
4548
4549                 /* Invariant characters use the standard mappings compiled in.
4550                  */
4551                 *d++ = toLOWER(*s);
4552                 s++;
4553             }
4554             else if (UTF8_IS_DOWNGRADEABLE_START(*s)) {
4555
4556                 /* As do the ones in the Latin1 range */
4557                 U8 lower = toLOWER_LATIN1(TWO_BYTE_UTF8_TO_UNI(*s, *s++));
4558                 CAT_UNI_TO_UTF8_TWO_BYTE(d, lower);
4559                 s++;
4560             }
4561             else {
4562 #endif
4563                 /* Here, is utf8 not in Latin-1 range, have to go out and get
4564                  * the mappings from the tables. */
4565
4566                 const STRLEN u = UTF8SKIP(s);
4567                 STRLEN ulen;
4568
4569 #ifndef CONTEXT_DEPENDENT_CASING
4570                 toLOWER_utf8(s, tmpbuf, &ulen);
4571 #else
4572 /* This is ifdefd out because it needs more work and thought.  It isn't clear
4573  * that we should do it.
4574  * A minor objection is that this is based on a hard-coded rule from the
4575  *&