Commit | Line | Data |
---|---|---|
a0d0e21e | 1 | /* pp.h |
79072805 | 2 | * |
1129b882 NC |
3 | * Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, |
4 | * 2002, 2003, 2004, 2005, 2006, 2007, 2008 by Larry Wall and others | |
79072805 | 5 | * |
a0d0e21e LW |
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. | |
79072805 | 8 | * |
a0d0e21e | 9 | */ |
79072805 | 10 | |
cea2e8a9 | 11 | #define PP(s) OP * Perl_##s(pTHX) |
79072805 | 12 | |
954c1994 | 13 | /* |
3f620621 | 14 | =for apidoc_section $stack |
ccfc67b7 | 15 | |
78342678 | 16 | =for apidoc AmnU||SP |
fbe13c60 | 17 | Stack pointer. This is usually handled by C<xsubpp>. See C<L</dSP>> and |
954c1994 GS |
18 | C<SPAGAIN>. |
19 | ||
78342678 | 20 | =for apidoc AmnU||MARK |
fbe13c60 | 21 | Stack marker variable for the XSUB. See C<L</dMARK>>. |
954c1994 | 22 | |
c578083c | 23 | =for apidoc Am|void|PUSHMARK|SP |
fbe13c60 | 24 | Opening bracket for arguments on a callback. See C<L</PUTBACK>> and |
954c1994 GS |
25 | L<perlcall>. |
26 | ||
3734d2f5 | 27 | =for apidoc Amn;||dSP |
954c1994 | 28 | Declares a local copy of perl's stack pointer for the XSUB, available via |
fbe13c60 | 29 | the C<SP> macro. See C<L</SP>>. |
954c1994 | 30 | |
3734d2f5 | 31 | =for apidoc m;||djSP |
fac3506f | 32 | |
154e47c8 | 33 | Declare Just C<SP>. This is actually identical to C<dSP>, and declares |
fac3506f | 34 | a local copy of perl's stack pointer, available via the C<SP> macro. |
fbe13c60 KW |
35 | See C<L<perlapi/SP>>. (Available for backward source code compatibility with |
36 | the old (Perl 5.005) thread model.) | |
fac3506f | 37 | |
3734d2f5 | 38 | =for apidoc Amn;||dMARK |
fbe13c60 KW |
39 | Declare a stack marker variable, C<mark>, for the XSUB. See C<L</MARK>> and |
40 | C<L</dORIGMARK>>. | |
954c1994 | 41 | |
3734d2f5 | 42 | =for apidoc Amn;||dORIGMARK |
fbe13c60 | 43 | Saves the original stack mark for the XSUB. See C<L</ORIGMARK>>. |
954c1994 | 44 | |
78342678 | 45 | =for apidoc AmnU||ORIGMARK |
fbe13c60 | 46 | The original stack mark for the XSUB. See C<L</dORIGMARK>>. |
954c1994 | 47 | |
3734d2f5 | 48 | =for apidoc Amn;||SPAGAIN |
954c1994 GS |
49 | Refetch the stack pointer. Used after a callback. See L<perlcall>. |
50 | ||
fac3506f | 51 | =cut */ |
954c1994 | 52 | |
ac634a9a | 53 | #undef SP /* Solaris 2.7 i386 has this in /usr/include/sys/reg.h */ |
79072805 LW |
54 | #define SP sp |
55 | #define MARK mark | |
8c219421 KW |
56 | |
57 | /* | |
3734d2f5 | 58 | =for apidoc Amn;||TARG |
8c219421 KW |
59 | |
60 | C<TARG> is short for "target". It is an entry in the pad that an OPs | |
61 | C<op_targ> refers to. It is scratchpad space, often used as a return | |
62 | value for the OP, but some use it for other purposes. | |
63 | ||
64 | =cut | |
65 | */ | |
79072805 LW |
66 | #define TARG targ |
67 | ||
33a4312b | 68 | #define PUSHMARK(p) \ |
6cae08a8 RU |
69 | STMT_START { \ |
70 | I32 * mark_stack_entry; \ | |
6d8b7216 DM |
71 | if (UNLIKELY((mark_stack_entry = ++PL_markstack_ptr) \ |
72 | == PL_markstack_max)) \ | |
1604cfb0 | 73 | mark_stack_entry = markstack_grow(); \ |
6cae08a8 | 74 | *mark_stack_entry = (I32)((p) - PL_stack_base); \ |
ac07059a | 75 | DEBUG_s(DEBUG_v(PerlIO_printf(Perl_debug_log, \ |
147e3846 | 76 | "MARK push %p %" IVdf "\n", \ |
ac07059a | 77 | PL_markstack_ptr, (IV)*mark_stack_entry))); \ |
6cae08a8 | 78 | } STMT_END |
6d8b7216 | 79 | |
c9182d9c KW |
80 | #define TOPMARK Perl_TOPMARK(aTHX) |
81 | #define POPMARK Perl_POPMARK(aTHX) | |
6d8b7216 | 82 | |
33a4312b FC |
83 | #define INCMARK \ |
84 | STMT_START { \ | |
ac07059a | 85 | DEBUG_s(DEBUG_v(PerlIO_printf(Perl_debug_log, \ |
147e3846 | 86 | "MARK inc %p %" IVdf "\n", \ |
ac07059a | 87 | (PL_markstack_ptr+1), (IV)*(PL_markstack_ptr+1)))); \ |
33a4312b | 88 | PL_markstack_ptr++; \ |
6cae08a8 | 89 | } STMT_END |
a0d0e21e | 90 | |
bc0d193f | 91 | #define dSP SV **sp = PL_stack_sp |
39644a26 | 92 | #define djSP dSP |
5aaab254 | 93 | #define dMARK SV **mark = PL_stack_base + POPMARK |
514696af | 94 | #define dORIGMARK const I32 origmark = (I32)(mark - PL_stack_base) |
3280af22 | 95 | #define ORIGMARK (PL_stack_base + origmark) |
79072805 | 96 | |
3280af22 | 97 | #define SPAGAIN sp = PL_stack_sp |
16e7e110 | 98 | #define MSPAGAIN STMT_START { sp = PL_stack_sp; mark = ORIGMARK; } STMT_END |
79072805 | 99 | |
533c011a | 100 | #define GETTARGETSTACKED targ = (PL_op->op_flags & OPf_STACKED ? POPs : PAD_SV(PL_op->op_targ)) |
79072805 LW |
101 | #define dTARGETSTACKED SV * GETTARGETSTACKED |
102 | ||
533c011a | 103 | #define GETTARGET targ = PAD_SV(PL_op->op_targ) |
8c219421 KW |
104 | |
105 | /* | |
3734d2f5 | 106 | =for apidoc Amn;||dTARGET |
7a7d6e76 | 107 | Declare that this function uses C<TARG>, and initializes it |
8c219421 KW |
108 | |
109 | =cut | |
110 | */ | |
79072805 LW |
111 | #define dTARGET SV * GETTARGET |
112 | ||
533c011a | 113 | #define GETATARGET targ = (PL_op->op_flags & OPf_STACKED ? sp[-1] : PAD_SV(PL_op->op_targ)) |
79072805 LW |
114 | #define dATARGET SV * GETATARGET |
115 | ||
116 | #define dTARG SV *targ | |
117 | ||
533c011a | 118 | #define NORMAL PL_op->op_next |
9fed9930 | 119 | #define DIE return Perl_die |
79072805 | 120 | |
954c1994 | 121 | /* |
3734d2f5 | 122 | =for apidoc Amn;||PUTBACK |
954c1994 | 123 | Closing bracket for XSUB arguments. This is usually handled by C<xsubpp>. |
fbe13c60 | 124 | See C<L</PUSHMARK>> and L<perlcall> for other uses. |
954c1994 GS |
125 | |
126 | =for apidoc Amn|SV*|POPs | |
127 | Pops an SV off the stack. | |
128 | ||
129 | =for apidoc Amn|char*|POPp | |
4b7c0884 | 130 | Pops a string off the stack. |
595ae481 NIS |
131 | |
132 | =for apidoc Amn|char*|POPpx | |
4b7c0884 FC |
133 | Pops a string off the stack. Identical to POPp. There are two names for |
134 | historical reasons. | |
595ae481 NIS |
135 | |
136 | =for apidoc Amn|char*|POPpbytex | |
137 | Pops a string off the stack which must consist of bytes i.e. characters < 256. | |
954c1994 GS |
138 | |
139 | =for apidoc Amn|NV|POPn | |
140 | Pops a double off the stack. | |
141 | ||
142 | =for apidoc Amn|IV|POPi | |
143 | Pops an integer off the stack. | |
144 | ||
d0554719 TC |
145 | =for apidoc Amn|UV|POPu |
146 | Pops an unsigned integer off the stack. | |
147 | ||
954c1994 GS |
148 | =for apidoc Amn|long|POPl |
149 | Pops a long off the stack. | |
150 | ||
d0554719 TC |
151 | =for apidoc Amn|long|POPul |
152 | Pops an unsigned long off the stack. | |
153 | ||
954c1994 GS |
154 | =cut |
155 | */ | |
156 | ||
3280af22 | 157 | #define PUTBACK PL_stack_sp = sp |
8a67133a NC |
158 | #define RETURN return (PUTBACK, NORMAL) |
159 | #define RETURNOP(o) return (PUTBACK, o) | |
160 | #define RETURNX(x) return (x, PUTBACK, NORMAL) | |
79072805 LW |
161 | |
162 | #define POPs (*sp--) | |
4b7c0884 | 163 | #define POPp POPpx |
8c074e2a NC |
164 | #define POPpx (SvPVx_nolen(POPs)) |
165 | #define POPpconstx (SvPVx_nolen_const(POPs)) | |
166 | #define POPpbytex (SvPVbytex_nolen(POPs)) | |
463ee0b2 | 167 | #define POPn (SvNVx(POPs)) |
a0d0e21e | 168 | #define POPi ((IV)SvIVx(POPs)) |
ff68c719 | 169 | #define POPu ((UV)SvUVx(POPs)) |
463ee0b2 | 170 | #define POPl ((long)SvIVx(POPs)) |
d9b3e12d | 171 | #define POPul ((unsigned long)SvIVx(POPs)) |
79072805 LW |
172 | |
173 | #define TOPs (*sp) | |
56370e9f | 174 | #define TOPm1s (*(sp-1)) |
7dca457a | 175 | #define TOPp1s (*(sp+1)) |
4b7c0884 | 176 | #define TOPp TOPpx |
95fad918 | 177 | #define TOPpx (SvPV_nolen(TOPs)) |
463ee0b2 | 178 | #define TOPn (SvNV(TOPs)) |
a0d0e21e | 179 | #define TOPi ((IV)SvIV(TOPs)) |
ff68c719 | 180 | #define TOPu ((UV)SvUV(TOPs)) |
463ee0b2 | 181 | #define TOPl ((long)SvIV(TOPs)) |
c5a0f51a | 182 | #define TOPul ((unsigned long)SvUV(TOPs)) |
79072805 LW |
183 | |
184 | /* Go to some pains in the rare event that we must extend the stack. */ | |
954c1994 GS |
185 | |
186 | /* | |
fc16c392 | 187 | =for apidoc Am|void|EXTEND|SP|SSize_t nitems |
72d33970 | 188 | Used to extend the argument stack for an XSUB's return values. Once |
4375e838 | 189 | used, guarantees that there is room for at least C<nitems> to be pushed |
954c1994 GS |
190 | onto the stack. |
191 | ||
192 | =for apidoc Am|void|PUSHs|SV* sv | |
aacdac46 | 193 | Push an SV onto the stack. The stack must have room for this element. |
fbe13c60 KW |
194 | Does not handle 'set' magic. Does not use C<TARG>. See also |
195 | C<L</PUSHmortal>>, C<L</XPUSHs>>, and C<L</XPUSHmortal>>. | |
954c1994 GS |
196 | |
197 | =for apidoc Am|void|PUSHp|char* str|STRLEN len | |
198 | Push a string onto the stack. The stack must have room for this element. | |
d82b684c SH |
199 | The C<len> indicates the length of the string. Handles 'set' magic. Uses |
200 | C<TARG>, so C<dTARGET> or C<dXSTARG> should be called to declare it. Do not | |
201 | call multiple C<TARG>-oriented macros to return lists from XSUB's - see | |
fbe13c60 | 202 | C<L</mPUSHp>> instead. See also C<L</XPUSHp>> and C<L</mXPUSHp>>. |
954c1994 | 203 | |
f58ed7c7 PE |
204 | =for apidoc Am|void|PUSHpvs|"literal string" |
205 | A variation on C<PUSHp> that takes a literal string and calculates its size | |
206 | directly. | |
207 | ||
954c1994 GS |
208 | =for apidoc Am|void|PUSHn|NV nv |
209 | Push a double onto the stack. The stack must have room for this element. | |
d82b684c SH |
210 | Handles 'set' magic. Uses C<TARG>, so C<dTARGET> or C<dXSTARG> should be |
211 | called to declare it. Do not call multiple C<TARG>-oriented macros to | |
fbe13c60 KW |
212 | return lists from XSUB's - see C<L</mPUSHn>> instead. See also C<L</XPUSHn>> |
213 | and C<L</mXPUSHn>>. | |
954c1994 GS |
214 | |
215 | =for apidoc Am|void|PUSHi|IV iv | |
216 | Push an integer onto the stack. The stack must have room for this element. | |
d82b684c SH |
217 | Handles 'set' magic. Uses C<TARG>, so C<dTARGET> or C<dXSTARG> should be |
218 | called to declare it. Do not call multiple C<TARG>-oriented macros to | |
fbe13c60 KW |
219 | return lists from XSUB's - see C<L</mPUSHi>> instead. See also C<L</XPUSHi>> |
220 | and C<L</mXPUSHi>>. | |
954c1994 GS |
221 | |
222 | =for apidoc Am|void|PUSHu|UV uv | |
223 | Push an unsigned integer onto the stack. The stack must have room for this | |
d82b684c SH |
224 | element. Handles 'set' magic. Uses C<TARG>, so C<dTARGET> or C<dXSTARG> |
225 | should be called to declare it. Do not call multiple C<TARG>-oriented | |
fbe13c60 KW |
226 | macros to return lists from XSUB's - see C<L</mPUSHu>> instead. See also |
227 | C<L</XPUSHu>> and C<L</mXPUSHu>>. | |
954c1994 GS |
228 | |
229 | =for apidoc Am|void|XPUSHs|SV* sv | |
230 | Push an SV onto the stack, extending the stack if necessary. Does not | |
fbe13c60 | 231 | handle 'set' magic. Does not use C<TARG>. See also C<L</XPUSHmortal>>, |
d82b684c | 232 | C<PUSHs> and C<PUSHmortal>. |
954c1994 GS |
233 | |
234 | =for apidoc Am|void|XPUSHp|char* str|STRLEN len | |
235 | Push a string onto the stack, extending the stack if necessary. The C<len> | |
d82b684c SH |
236 | indicates the length of the string. Handles 'set' magic. Uses C<TARG>, so |
237 | C<dTARGET> or C<dXSTARG> should be called to declare it. Do not call | |
238 | multiple C<TARG>-oriented macros to return lists from XSUB's - see | |
fbe13c60 | 239 | C<L</mXPUSHp>> instead. See also C<L</PUSHp>> and C<L</mPUSHp>>. |
954c1994 | 240 | |
f58ed7c7 PE |
241 | =for apidoc Am|void|XPUSHpvs|"literal string" |
242 | A variation on C<XPUSHp> that takes a literal string and calculates its size | |
243 | directly. | |
244 | ||
954c1994 GS |
245 | =for apidoc Am|void|XPUSHn|NV nv |
246 | Push a double onto the stack, extending the stack if necessary. Handles | |
d82b684c SH |
247 | 'set' magic. Uses C<TARG>, so C<dTARGET> or C<dXSTARG> should be called to |
248 | declare it. Do not call multiple C<TARG>-oriented macros to return lists | |
fbe13c60 KW |
249 | from XSUB's - see C<L</mXPUSHn>> instead. See also C<L</PUSHn>> and |
250 | C<L</mPUSHn>>. | |
954c1994 GS |
251 | |
252 | =for apidoc Am|void|XPUSHi|IV iv | |
253 | Push an integer onto the stack, extending the stack if necessary. Handles | |
d82b684c SH |
254 | 'set' magic. Uses C<TARG>, so C<dTARGET> or C<dXSTARG> should be called to |
255 | declare it. Do not call multiple C<TARG>-oriented macros to return lists | |
fbe13c60 KW |
256 | from XSUB's - see C<L</mXPUSHi>> instead. See also C<L</PUSHi>> and |
257 | C<L</mPUSHi>>. | |
954c1994 GS |
258 | |
259 | =for apidoc Am|void|XPUSHu|UV uv | |
aacdac46 | 260 | Push an unsigned integer onto the stack, extending the stack if necessary. |
d82b684c SH |
261 | Handles 'set' magic. Uses C<TARG>, so C<dTARGET> or C<dXSTARG> should be |
262 | called to declare it. Do not call multiple C<TARG>-oriented macros to | |
fbe13c60 KW |
263 | return lists from XSUB's - see C<L</mXPUSHu>> instead. See also C<L</PUSHu>> and |
264 | C<L</mPUSHu>>. | |
d82b684c | 265 | |
6e449a3a MHM |
266 | =for apidoc Am|void|mPUSHs|SV* sv |
267 | Push an SV onto the stack and mortalizes the SV. The stack must have room | |
fbe13c60 KW |
268 | for this element. Does not use C<TARG>. See also C<L</PUSHs>> and |
269 | C<L</mXPUSHs>>. | |
6e449a3a | 270 | |
78342678 | 271 | =for apidoc Amn|void|PUSHmortal |
d82b684c | 272 | Push a new mortal SV onto the stack. The stack must have room for this |
fbe13c60 KW |
273 | element. Does not use C<TARG>. See also C<L</PUSHs>>, C<L</XPUSHmortal>> and |
274 | C<L</XPUSHs>>. | |
d82b684c SH |
275 | |
276 | =for apidoc Am|void|mPUSHp|char* str|STRLEN len | |
277 | Push a string onto the stack. The stack must have room for this element. | |
121b7712 | 278 | The C<len> indicates the length of the string. Does not use C<TARG>. |
fbe13c60 | 279 | See also C<L</PUSHp>>, C<L</mXPUSHp>> and C<L</XPUSHp>>. |
d82b684c | 280 | |
f58ed7c7 PE |
281 | =for apidoc Am|void|mPUSHpvs|"literal string" |
282 | A variation on C<mPUSHp> that takes a literal string and calculates its size | |
283 | directly. | |
284 | ||
d82b684c SH |
285 | =for apidoc Am|void|mPUSHn|NV nv |
286 | Push a double onto the stack. The stack must have room for this element. | |
fbe13c60 | 287 | Does not use C<TARG>. See also C<L</PUSHn>>, C<L</mXPUSHn>> and C<L</XPUSHn>>. |
d82b684c SH |
288 | |
289 | =for apidoc Am|void|mPUSHi|IV iv | |
290 | Push an integer onto the stack. The stack must have room for this element. | |
fbe13c60 | 291 | Does not use C<TARG>. See also C<L</PUSHi>>, C<L</mXPUSHi>> and C<L</XPUSHi>>. |
d82b684c SH |
292 | |
293 | =for apidoc Am|void|mPUSHu|UV uv | |
294 | Push an unsigned integer onto the stack. The stack must have room for this | |
fbe13c60 KW |
295 | element. Does not use C<TARG>. See also C<L</PUSHu>>, C<L</mXPUSHu>> and |
296 | C<L</XPUSHu>>. | |
d82b684c | 297 | |
6e449a3a MHM |
298 | =for apidoc Am|void|mXPUSHs|SV* sv |
299 | Push an SV onto the stack, extending the stack if necessary and mortalizes | |
fbe13c60 | 300 | the SV. Does not use C<TARG>. See also C<L</XPUSHs>> and C<L</mPUSHs>>. |
6e449a3a | 301 | |
78342678 | 302 | =for apidoc Amn|void|XPUSHmortal |
121b7712 | 303 | Push a new mortal SV onto the stack, extending the stack if necessary. |
fbe13c60 KW |
304 | Does not use C<TARG>. See also C<L</XPUSHs>>, C<L</PUSHmortal>> and |
305 | C<L</PUSHs>>. | |
d82b684c SH |
306 | |
307 | =for apidoc Am|void|mXPUSHp|char* str|STRLEN len | |
308 | Push a string onto the stack, extending the stack if necessary. The C<len> | |
fbe13c60 KW |
309 | indicates the length of the string. Does not use C<TARG>. See also |
310 | C<L</XPUSHp>>, C<mPUSHp> and C<PUSHp>. | |
d82b684c | 311 | |
f58ed7c7 PE |
312 | =for apidoc Am|void|mXPUSHpvs|"literal string" |
313 | A variation on C<mXPUSHp> that takes a literal string and calculates its size | |
314 | directly. | |
315 | ||
d82b684c | 316 | =for apidoc Am|void|mXPUSHn|NV nv |
121b7712 | 317 | Push a double onto the stack, extending the stack if necessary. |
fbe13c60 | 318 | Does not use C<TARG>. See also C<L</XPUSHn>>, C<L</mPUSHn>> and C<L</PUSHn>>. |
d82b684c SH |
319 | |
320 | =for apidoc Am|void|mXPUSHi|IV iv | |
121b7712 | 321 | Push an integer onto the stack, extending the stack if necessary. |
fbe13c60 | 322 | Does not use C<TARG>. See also C<L</XPUSHi>>, C<L</mPUSHi>> and C<L</PUSHi>>. |
d82b684c SH |
323 | |
324 | =for apidoc Am|void|mXPUSHu|UV uv | |
325 | Push an unsigned integer onto the stack, extending the stack if necessary. | |
fbe13c60 | 326 | Does not use C<TARG>. See also C<L</XPUSHu>>, C<L</mPUSHu>> and C<L</PUSHu>>. |
954c1994 GS |
327 | |
328 | =cut | |
329 | */ | |
330 | ||
87058c31 DM |
331 | /* EXTEND_HWM_SET: note the high-water-mark to which the stack has been |
332 | * requested to be extended (which is likely to be less than PL_stack_max) | |
333 | */ | |
334 | #if defined DEBUGGING && !defined DEBUGGING_RE_ONLY | |
c31ae9a2 HS |
335 | # define EXTEND_HWM_SET(p, n) \ |
336 | STMT_START { \ | |
337 | SSize_t extend_hwm_set_ix = (p) - PL_stack_base + (n); \ | |
338 | if (extend_hwm_set_ix > PL_curstackinfo->si_stack_hwm) \ | |
339 | PL_curstackinfo->si_stack_hwm = extend_hwm_set_ix; \ | |
87058c31 DM |
340 | } STMT_END |
341 | #else | |
342 | # define EXTEND_HWM_SET(p, n) NOOP | |
343 | #endif | |
344 | ||
6768377c DM |
345 | /* _EXTEND_SAFE_N(n): private helper macro for EXTEND(). |
346 | * Tests whether the value of n would be truncated when implicitly cast to | |
347 | * SSize_t as an arg to stack_grow(). If so, sets it to -1 instead to | |
348 | * trigger a panic. It will be constant folded on platforms where this | |
349 | * can't happen. | |
350 | */ | |
351 | ||
352 | #define _EXTEND_SAFE_N(n) \ | |
353 | (sizeof(n) > sizeof(SSize_t) && ((SSize_t)(n) != (n)) ? -1 : (n)) | |
354 | ||
865e3ae0 | 355 | #ifdef STRESS_REALLOC |
87058c31 DM |
356 | # define EXTEND_SKIP(p, n) EXTEND_HWM_SET(p, n) |
357 | ||
aad79b33 | 358 | # define EXTEND(p,n) STMT_START { \ |
6768377c | 359 | sp = stack_grow(sp,p,_EXTEND_SAFE_N(n)); \ |
aad79b33 | 360 | PERL_UNUSED_VAR(sp); \ |
8094bfa4 | 361 | } STMT_END |
865e3ae0 | 362 | /* Same thing, but update mark register too. */ |
aad79b33 | 363 | # define MEXTEND(p,n) STMT_START { \ |
ff36bb50 | 364 | const SSize_t markoff = mark - PL_stack_base; \ |
6768377c | 365 | sp = stack_grow(sp,p,_EXTEND_SAFE_N(n)); \ |
aad79b33 JH |
366 | mark = PL_stack_base + markoff; \ |
367 | PERL_UNUSED_VAR(sp); \ | |
368 | } STMT_END | |
865e3ae0 | 369 | #else |
6768377c DM |
370 | |
371 | /* _EXTEND_NEEDS_GROW(p,n): private helper macro for EXTEND(). | |
372 | * Tests to see whether n is too big and we need to grow the stack. Be | |
373 | * very careful if modifying this. There are many ways to get things wrong | |
374 | * (wrapping, truncating etc) that could cause a false negative and cause | |
375 | * the call to stack_grow() to be skipped. On the other hand, false | |
376 | * positives are safe. | |
377 | * Bear in mind that sizeof(p) may be less than, equal to, or greater | |
378 | * than sizeof(n), and while n is documented to be signed, someone might | |
379 | * pass an unsigned value or expression. In general don't use casts to | |
380 | * avoid warnings; instead expect the caller to fix their code. | |
381 | * It is legal for p to be greater than PL_stack_max. | |
382 | * If the allocated stack is already very large but current usage is | |
383 | * small, then PL_stack_max - p might wrap round to a negative value, but | |
384 | * this just gives a safe false positive | |
385 | */ | |
386 | ||
45d6bfc0 | 387 | # define _EXTEND_NEEDS_GROW(p,n) ((n) < 0 || PL_stack_max - (p) < (n)) |
87058c31 DM |
388 | |
389 | ||
390 | /* EXTEND_SKIP(): used for where you would normally call EXTEND(), but | |
391 | * you know for sure that a previous op will have already extended the | |
a3815e44 | 392 | * stack sufficiently. For example pp_enteriter ensures that there |
87058c31 DM |
393 | * is always at least 1 free slot, so pp_iter can return &PL_sv_yes/no |
394 | * without checking each time. Calling EXTEND_SKIP() defeats the HWM | |
395 | * debugging mechanism which would otherwise whine | |
396 | */ | |
397 | ||
398 | # define EXTEND_SKIP(p, n) STMT_START { \ | |
399 | EXTEND_HWM_SET(p, n); \ | |
400 | assert(!_EXTEND_NEEDS_GROW(p,n)); \ | |
401 | } STMT_END | |
402 | ||
6768377c DM |
403 | |
404 | # define EXTEND(p,n) STMT_START { \ | |
87058c31 | 405 | EXTEND_HWM_SET(p, n); \ |
6768377c DM |
406 | if (UNLIKELY(_EXTEND_NEEDS_GROW(p,n))) { \ |
407 | sp = stack_grow(sp,p,_EXTEND_SAFE_N(n)); \ | |
aad79b33 JH |
408 | PERL_UNUSED_VAR(sp); \ |
409 | } } STMT_END | |
79072805 | 410 | /* Same thing, but update mark register too. */ |
6768377c | 411 | # define MEXTEND(p,n) STMT_START { \ |
87058c31 | 412 | EXTEND_HWM_SET(p, n); \ |
6768377c DM |
413 | if (UNLIKELY(_EXTEND_NEEDS_GROW(p,n))) { \ |
414 | const SSize_t markoff = mark - PL_stack_base;\ | |
415 | sp = stack_grow(sp,p,_EXTEND_SAFE_N(n)); \ | |
aad79b33 JH |
416 | mark = PL_stack_base + markoff; \ |
417 | PERL_UNUSED_VAR(sp); \ | |
418 | } } STMT_END | |
865e3ae0 | 419 | #endif |
79072805 | 420 | |
87058c31 | 421 | |
edba15b0 DM |
422 | /* set TARG to the IV value i. If do_taint is false, |
423 | * assume that PL_tainted can never be true */ | |
424 | #define TARGi(i, do_taint) \ | |
425 | STMT_START { \ | |
426 | IV TARGi_iv = i; \ | |
427 | if (LIKELY( \ | |
2efdfb1e | 428 | ((SvFLAGS(TARG) & (SVTYPEMASK|SVf_THINKFIRST|SVf_IVisUV)) == SVt_IV) \ |
edba15b0 DM |
429 | & (do_taint ? !TAINT_get : 1))) \ |
430 | { \ | |
431 | /* Cheap SvIOK_only(). \ | |
432 | * Assert that flags which SvIOK_only() would test or \ | |
433 | * clear can't be set, because we're SVt_IV */ \ | |
434 | assert(!(SvFLAGS(TARG) & \ | |
435 | (SVf_OOK|SVf_UTF8|(SVf_OK & ~(SVf_IOK|SVp_IOK))))); \ | |
436 | SvFLAGS(TARG) |= (SVf_IOK|SVp_IOK); \ | |
437 | /* SvIV_set() where sv_any points to head */ \ | |
438 | TARG->sv_u.svu_iv = TARGi_iv; \ | |
439 | } \ | |
440 | else \ | |
441 | sv_setiv_mg(targ, TARGi_iv); \ | |
442 | } STMT_END | |
443 | ||
444 | /* set TARG to the UV value u. If do_taint is false, | |
445 | * assume that PL_tainted can never be true */ | |
446 | #define TARGu(u, do_taint) \ | |
447 | STMT_START { \ | |
448 | UV TARGu_uv = u; \ | |
449 | if (LIKELY( \ | |
2efdfb1e | 450 | ((SvFLAGS(TARG) & (SVTYPEMASK|SVf_THINKFIRST|SVf_IVisUV)) == SVt_IV) \ |
edba15b0 DM |
451 | & (do_taint ? !TAINT_get : 1) \ |
452 | & (TARGu_uv <= (UV)IV_MAX))) \ | |
453 | { \ | |
454 | /* Cheap SvIOK_only(). \ | |
455 | * Assert that flags which SvIOK_only() would test or \ | |
456 | * clear can't be set, because we're SVt_IV */ \ | |
457 | assert(!(SvFLAGS(TARG) & \ | |
458 | (SVf_OOK|SVf_UTF8|(SVf_OK & ~(SVf_IOK|SVp_IOK))))); \ | |
459 | SvFLAGS(TARG) |= (SVf_IOK|SVp_IOK); \ | |
460 | /* SvIV_set() where sv_any points to head */ \ | |
461 | TARG->sv_u.svu_iv = TARGu_uv; \ | |
462 | } \ | |
463 | else \ | |
464 | sv_setuv_mg(targ, TARGu_uv); \ | |
465 | } STMT_END | |
466 | ||
467 | /* set TARG to the NV value n. If do_taint is false, | |
468 | * assume that PL_tainted can never be true */ | |
469 | #define TARGn(n, do_taint) \ | |
470 | STMT_START { \ | |
471 | NV TARGn_nv = n; \ | |
472 | if (LIKELY( \ | |
473 | ((SvFLAGS(TARG) & (SVTYPEMASK|SVf_THINKFIRST)) == SVt_NV) \ | |
474 | & (do_taint ? !TAINT_get : 1))) \ | |
475 | { \ | |
476 | /* Cheap SvNOK_only(). \ | |
477 | * Assert that flags which SvNOK_only() would test or \ | |
478 | * clear can't be set, because we're SVt_NV */ \ | |
479 | assert(!(SvFLAGS(TARG) & \ | |
480 | (SVf_OOK|SVf_UTF8|(SVf_OK & ~(SVf_NOK|SVp_NOK))))); \ | |
481 | SvFLAGS(TARG) |= (SVf_NOK|SVp_NOK); \ | |
482 | SvNV_set(TARG, TARGn_nv); \ | |
483 | } \ | |
484 | else \ | |
485 | sv_setnv_mg(targ, TARGn_nv); \ | |
486 | } STMT_END | |
487 | ||
79072805 | 488 | #define PUSHs(s) (*++sp = (s)) |
86547924 | 489 | #define PUSHTARG STMT_START { SvSETMAGIC(TARG); PUSHs(TARG); } STMT_END |
490 | #define PUSHp(p,l) STMT_START { sv_setpvn(TARG, (p), (l)); PUSHTARG; } STMT_END | |
f58ed7c7 | 491 | #define PUSHpvs(s) PUSHp("" s "", sizeof(s)-1) |
edba15b0 DM |
492 | #define PUSHn(n) STMT_START { TARGn(n,1); PUSHs(TARG); } STMT_END |
493 | #define PUSHi(i) STMT_START { TARGi(i,1); PUSHs(TARG); } STMT_END | |
494 | #define PUSHu(u) STMT_START { TARGu(u,1); PUSHs(TARG); } STMT_END | |
79072805 | 495 | |
0acfb02f | 496 | #define XPUSHs(s) STMT_START { EXTEND(sp,1); *++sp = (s); } STMT_END |
86547924 | 497 | #define XPUSHTARG STMT_START { SvSETMAGIC(TARG); XPUSHs(TARG); } STMT_END |
498 | #define XPUSHp(p,l) STMT_START { sv_setpvn(TARG, (p), (l)); XPUSHTARG; } STMT_END | |
f58ed7c7 | 499 | #define XPUSHpvs(s) XPUSHp("" s "", sizeof(s)-1) |
edba15b0 DM |
500 | #define XPUSHn(n) STMT_START { TARGn(n,1); XPUSHs(TARG); } STMT_END |
501 | #define XPUSHi(i) STMT_START { TARGi(i,1); XPUSHs(TARG); } STMT_END | |
502 | #define XPUSHu(u) STMT_START { TARGu(u,1); XPUSHs(TARG); } STMT_END | |
b162f9ea | 503 | #define XPUSHundef STMT_START { SvOK_off(TARG); XPUSHs(TARG); } STMT_END |
79072805 | 504 | |
6e449a3a | 505 | #define mPUSHs(s) PUSHs(sv_2mortal(s)) |
2cc7004b | 506 | #define PUSHmortal PUSHs(sv_newmortal()) |
8f14ea01 | 507 | #define mPUSHp(p,l) PUSHs(newSVpvn_flags((p), (l), SVs_TEMP)) |
f58ed7c7 | 508 | #define mPUSHpvs(s) mPUSHp("" s "", sizeof(s)-1) |
121b7712 MHM |
509 | #define mPUSHn(n) sv_setnv(PUSHmortal, (NV)(n)) |
510 | #define mPUSHi(i) sv_setiv(PUSHmortal, (IV)(i)) | |
511 | #define mPUSHu(u) sv_setuv(PUSHmortal, (UV)(u)) | |
2cc7004b | 512 | |
6e449a3a | 513 | #define mXPUSHs(s) XPUSHs(sv_2mortal(s)) |
2cc7004b | 514 | #define XPUSHmortal XPUSHs(sv_newmortal()) |
8f14ea01 | 515 | #define mXPUSHp(p,l) STMT_START { EXTEND(sp,1); mPUSHp((p), (l)); } STMT_END |
f58ed7c7 | 516 | #define mXPUSHpvs(s) mXPUSHp("" s "", sizeof(s)-1) |
2ca72cbe EK |
517 | #define mXPUSHn(n) STMT_START { EXTEND(sp,1); mPUSHn(n); } STMT_END |
518 | #define mXPUSHi(i) STMT_START { EXTEND(sp,1); mPUSHi(i); } STMT_END | |
519 | #define mXPUSHu(u) STMT_START { EXTEND(sp,1); mPUSHu(u); } STMT_END | |
d82b684c | 520 | |
79072805 | 521 | #define SETs(s) (*sp = s) |
86547924 | 522 | #define SETTARG STMT_START { SvSETMAGIC(TARG); SETs(TARG); } STMT_END |
523 | #define SETp(p,l) STMT_START { sv_setpvn(TARG, (p), (l)); SETTARG; } STMT_END | |
edba15b0 DM |
524 | #define SETn(n) STMT_START { TARGn(n,1); SETs(TARG); } STMT_END |
525 | #define SETi(i) STMT_START { TARGi(i,1); SETs(TARG); } STMT_END | |
526 | #define SETu(u) STMT_START { TARGu(u,1); SETs(TARG); } STMT_END | |
a0d0e21e | 527 | |
79072805 LW |
528 | #define dTOPss SV *sv = TOPs |
529 | #define dPOPss SV *sv = POPs | |
65202027 DS |
530 | #define dTOPnv NV value = TOPn |
531 | #define dPOPnv NV value = POPn | |
6f1401dc | 532 | #define dPOPnv_nomg NV value = (sp--, SvNV_nomg(TOPp1s)) |
a0d0e21e LW |
533 | #define dTOPiv IV value = TOPi |
534 | #define dPOPiv IV value = POPi | |
55497cff | 535 | #define dTOPuv UV value = TOPu |
536 | #define dPOPuv UV value = POPu | |
79072805 | 537 | |
7a4c00b4 | 538 | #define dPOPXssrl(X) SV *right = POPs; SV *left = CAT2(X,s) |
65202027 | 539 | #define dPOPXnnrl(X) NV right = POPn; NV left = CAT2(X,n) |
7a4c00b4 | 540 | #define dPOPXiirl(X) IV right = POPi; IV left = CAT2(X,i) |
541 | ||
542 | #define USE_LEFT(sv) \ | |
1604cfb0 | 543 | (SvOK(sv) || !(PL_op->op_flags & OPf_STACKED)) |
6f1401dc | 544 | #define dPOPXiirl_ul_nomg(X) \ |
096c060c | 545 | IV right = (sp--, SvIV_nomg(TOPp1s)); \ |
6f1401dc | 546 | SV *leftsv = CAT2(X,s); \ |
096c060c | 547 | IV left = USE_LEFT(leftsv) ? SvIV_nomg(leftsv) : 0 |
7a4c00b4 | 548 | |
549 | #define dPOPPOPssrl dPOPXssrl(POP) | |
550 | #define dPOPPOPnnrl dPOPXnnrl(POP) | |
7a4c00b4 | 551 | #define dPOPPOPiirl dPOPXiirl(POP) |
7a4c00b4 | 552 | |
553 | #define dPOPTOPssrl dPOPXssrl(TOP) | |
554 | #define dPOPTOPnnrl dPOPXnnrl(TOP) | |
6f1401dc DM |
555 | #define dPOPTOPnnrl_nomg \ |
556 | NV right = SvNV_nomg(TOPs); NV left = (sp--, SvNV_nomg(TOPs)) | |
7a4c00b4 | 557 | #define dPOPTOPiirl dPOPXiirl(TOP) |
6f1401dc DM |
558 | #define dPOPTOPiirl_ul_nomg dPOPXiirl_ul_nomg(TOP) |
559 | #define dPOPTOPiirl_nomg \ | |
096c060c | 560 | IV right = SvIV_nomg(TOPs); IV left = (sp--, SvIV_nomg(TOPs)) |
79072805 | 561 | |
3280af22 NIS |
562 | #define RETPUSHYES RETURNX(PUSHs(&PL_sv_yes)) |
563 | #define RETPUSHNO RETURNX(PUSHs(&PL_sv_no)) | |
564 | #define RETPUSHUNDEF RETURNX(PUSHs(&PL_sv_undef)) | |
79072805 | 565 | |
3280af22 NIS |
566 | #define RETSETYES RETURNX(SETs(&PL_sv_yes)) |
567 | #define RETSETNO RETURNX(SETs(&PL_sv_no)) | |
568 | #define RETSETUNDEF RETURNX(SETs(&PL_sv_undef)) | |
5d01050a | 569 | #define RETSETTARG STMT_START { SETTARG; RETURN; } STMT_END |
79072805 | 570 | |
533c011a | 571 | #define ARGTARG PL_op->op_targ |
b162f9ea | 572 | |
f3574cc6 | 573 | #define MAXARG (PL_op->op_private & OPpARG4_MASK) |
79072805 | 574 | |
e336de0d GS |
575 | #define SWITCHSTACK(f,t) \ |
576 | STMT_START { \ | |
1604cfb0 MS |
577 | AvFILLp(f) = sp - PL_stack_base; \ |
578 | PL_stack_base = AvARRAY(t); \ | |
579 | PL_stack_max = PL_stack_base + AvMAX(t); \ | |
580 | sp = PL_stack_sp = PL_stack_base + AvFILLp(t); \ | |
581 | PL_curstack = t; \ | |
e336de0d | 582 | } STMT_END |
79072805 | 583 | |
bbce6d69 | 584 | #define EXTEND_MORTAL(n) \ |
a953aca5 | 585 | STMT_START { \ |
1604cfb0 MS |
586 | SSize_t eMiX = PL_tmps_ix + (n); \ |
587 | if (UNLIKELY(eMiX >= PL_tmps_max)) \ | |
588 | (void)Perl_tmps_grow_p(aTHX_ eMiX); \ | |
677b06e3 | 589 | } STMT_END |
bbce6d69 | 590 | |
a0d0e21e LW |
591 | #define AMGf_noright 1 |
592 | #define AMGf_noleft 2 | |
72876cce | 593 | #define AMGf_assign 4 /* op supports mutator variant, e.g. $x += 1 */ |
a0d0e21e | 594 | #define AMGf_unary 8 |
6f1401dc | 595 | #define AMGf_numeric 0x10 /* for Perl_try_amagic_bin */ |
0872de45 | 596 | |
67288365 | 597 | #define AMGf_want_list 0x40 |
636ac8fc | 598 | #define AMGf_numarg 0x80 |
6f1401dc DM |
599 | |
600 | ||
601 | /* do SvGETMAGIC on the stack args before checking for overload */ | |
602 | ||
603 | #define tryAMAGICun_MG(method, flags) STMT_START { \ | |
1604cfb0 MS |
604 | if ( UNLIKELY((SvFLAGS(TOPs) & (SVf_ROK|SVs_GMG))) \ |
605 | && Perl_try_amagic_un(aTHX_ method, flags)) \ | |
606 | return NORMAL; \ | |
6f1401dc DM |
607 | } STMT_END |
608 | #define tryAMAGICbin_MG(method, flags) STMT_START { \ | |
1604cfb0 MS |
609 | if ( UNLIKELY(((SvFLAGS(TOPm1s)|SvFLAGS(TOPs)) & (SVf_ROK|SVs_GMG))) \ |
610 | && Perl_try_amagic_bin(aTHX_ method, flags)) \ | |
611 | return NORMAL; \ | |
6f1401dc DM |
612 | } STMT_END |
613 | ||
31d632c3 DM |
614 | #define AMG_CALLunary(sv,meth) \ |
615 | amagic_call(sv,&PL_sv_undef, meth, AMGf_noright | AMGf_unary) | |
616 | ||
617 | /* No longer used in core. Use AMG_CALLunary instead */ | |
618 | #define AMG_CALLun(sv,meth) AMG_CALLunary(sv, CAT2(meth,_amg)) | |
a0d0e21e | 619 | |
fc99edcf | 620 | #define tryAMAGICunTARGETlist(meth, jump) \ |
9f39b4f1 | 621 | STMT_START { \ |
1604cfb0 MS |
622 | dSP; \ |
623 | SV *tmpsv; \ | |
624 | SV *arg= *sp; \ | |
1c23e2bd | 625 | U8 gimme = GIMME_V; \ |
1604cfb0 MS |
626 | if (UNLIKELY(SvAMAGIC(arg) && \ |
627 | (tmpsv = amagic_call(arg, &PL_sv_undef, meth, \ | |
628 | AMGf_want_list | AMGf_noright \ | |
629 | |AMGf_unary)))) \ | |
5d9574c1 | 630 | { \ |
1604cfb0 | 631 | SPAGAIN; \ |
67288365 | 632 | if (gimme == G_VOID) { \ |
898c5644 | 633 | NOOP; \ |
67288365 | 634 | } \ |
eb7e169e | 635 | else if (gimme == G_LIST) { \ |
c70927a6 FC |
636 | SSize_t i; \ |
637 | SSize_t len; \ | |
67288365 | 638 | assert(SvTYPE(tmpsv) == SVt_PVAV); \ |
ae4370ca | 639 | len = av_count((AV *)tmpsv); \ |
67288365 JL |
640 | (void)POPs; /* get rid of the arg */ \ |
641 | EXTEND(sp, len); \ | |
642 | for (i = 0; i < len; ++i) \ | |
643 | PUSHs(av_shift((AV *)tmpsv)); \ | |
644 | } \ | |
645 | else { /* AMGf_want_scalar */ \ | |
646 | dATARGET; /* just use the arg's location */ \ | |
647 | sv_setsv(TARG, tmpsv); \ | |
72876cce | 648 | if (PL_op->op_flags & OPf_STACKED) \ |
67288365 JL |
649 | sp--; \ |
650 | SETTARG; \ | |
651 | } \ | |
1604cfb0 MS |
652 | PUTBACK; \ |
653 | if (jump) { \ | |
654 | OP *jump_o = NORMAL->op_next; \ | |
655 | while (jump_o->op_type == OP_NULL) \ | |
656 | jump_o = jump_o->op_next; \ | |
657 | assert(jump_o->op_type == OP_ENTERSUB); \ | |
658 | (void)POPMARK; \ | |
659 | return jump_o->op_next; \ | |
660 | } \ | |
661 | return NORMAL; \ | |
662 | } \ | |
9f39b4f1 NC |
663 | } STMT_END |
664 | ||
8897dcaa NC |
665 | /* This is no longer used anywhere in the core. You might wish to consider |
666 | calling amagic_deref_call() directly, as it has a cleaner interface. */ | |
667 | #define tryAMAGICunDEREF(meth) \ | |
9f39b4f1 | 668 | STMT_START { \ |
1604cfb0 MS |
669 | sv = amagic_deref_call(*sp, CAT2(meth,_amg)); \ |
670 | SPAGAIN; \ | |
16e7e110 | 671 | } STMT_END |
e8c20960 | 672 | |
180b7b9b | 673 | |
72876cce | 674 | /* 2019: no longer used in core */ |
533c011a | 675 | #define opASSIGN (PL_op->op_flags & OPf_STACKED) |
a0d0e21e | 676 | |
78f9721b | 677 | /* |
78342678 | 678 | =for apidoc mnU||LVRET |
78f9721b SM |
679 | True if this op will be the return value of an lvalue subroutine |
680 | ||
681 | =cut */ | |
9d96b2e7 | 682 | #define LVRET ((PL_op->op_private & OPpMAYBE_LVSUB) && is_lvalue_sub()) |
1b6737cc | 683 | |
d30e492c VP |
684 | #define SvCANEXISTDELETE(sv) \ |
685 | (!SvRMAGICAL(sv) \ | |
2c5f48c2 FC |
686 | || !(mg = mg_find((const SV *) sv, PERL_MAGIC_tied)) \ |
687 | || ( (stash = SvSTASH(SvRV(SvTIED_obj(MUTABLE_SV(sv), mg)))) \ | |
d30e492c VP |
688 | && gv_fetchmethod_autoload(stash, "EXISTS", TRUE) \ |
689 | && gv_fetchmethod_autoload(stash, "DELETE", TRUE) \ | |
690 | ) \ | |
691 | ) | |
692 | ||
d682515d | 693 | #ifdef PERL_CORE |
557fbd17 | 694 | |
d682515d NC |
695 | /* These are just for Perl_tied_method(), which is not part of the public API. |
696 | Use 0x04 rather than the next available bit, to help the compiler if the | |
697 | architecture can generate more efficient instructions. */ | |
698 | # define TIED_METHOD_MORTALIZE_NOT_NEEDED 0x04 | |
699 | # define TIED_METHOD_ARGUMENTS_ON_STACK 0x08 | |
94bc412f | 700 | # define TIED_METHOD_SAY 0x10 |
557fbd17 FC |
701 | |
702 | /* Used in various places that need to dereference a glob or globref */ | |
094a3eec | 703 | # define MAYBE_DEREF_GV_flags(sv,phlags) \ |
557fbd17 | 704 | ( \ |
a577a1f1 | 705 | (void)(((phlags) & SV_GMAGIC) && (SvGETMAGIC(sv),0)), \ |
1604cfb0 MS |
706 | isGV_with_GP(sv) \ |
707 | ? (GV *)(sv) \ | |
708 | : SvROK(sv) && SvTYPE(SvRV(sv)) <= SVt_PVLV && \ | |
709 | (SvGETMAGIC(SvRV(sv)), isGV_with_GP(SvRV(sv))) \ | |
710 | ? (GV *)SvRV(sv) \ | |
711 | : NULL \ | |
557fbd17 | 712 | ) |
094a3eec FC |
713 | # define MAYBE_DEREF_GV(sv) MAYBE_DEREF_GV_flags(sv,SV_GMAGIC) |
714 | # define MAYBE_DEREF_GV_nomg(sv) MAYBE_DEREF_GV_flags(sv,0) | |
557fbd17 | 715 | |
db4cf31d | 716 | # define FIND_RUNCV_padid_eq 1 |
b4b0692a | 717 | # define FIND_RUNCV_level_eq 2 |
70794f7b | 718 | |
d682515d NC |
719 | #endif |
720 | ||
1b6737cc | 721 | /* |
14d04a33 | 722 | * ex: set ts=8 sts=4 sw=4 et: |
1b6737cc | 723 | */ |