This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
regen embed.pl for the bleadperl branch as well.
[perl5.git] / pp.h
... / ...
CommitLineData
1/* pp.h
2 *
3 * Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1998, 1999,
4 * 2000, 2001, 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#define PP(s) OP * Perl_##s(pTHX)
12
13/*
14=head1 Stack Manipulation Macros
15
16=for apidoc AmU||SP
17Stack pointer. This is usually handled by C<xsubpp>. See C<dSP> and
18C<SPAGAIN>.
19
20=for apidoc AmU||MARK
21Stack marker variable for the XSUB. See C<dMARK>.
22
23=for apidoc Ams||PUSHMARK
24Opening bracket for arguments on a callback. See C<PUTBACK> and
25L<perlcall>.
26
27=for apidoc Ams||dSP
28Declares a local copy of perl's stack pointer for the XSUB, available via
29the C<SP> macro. See C<SP>.
30
31=for apidoc ms||djSP
32
33Declare Just C<SP>. This is actually identical to C<dSP>, and declares
34a local copy of perl's stack pointer, available via the C<SP> macro.
35See C<SP>. (Available for backward source code compatibility with the
36old (Perl 5.005) thread model.)
37
38=for apidoc Ams||dMARK
39Declare a stack marker variable, C<mark>, for the XSUB. See C<MARK> and
40C<dORIGMARK>.
41
42=for apidoc Ams||dORIGMARK
43Saves the original stack mark for the XSUB. See C<ORIGMARK>.
44
45=for apidoc AmU||ORIGMARK
46The original stack mark for the XSUB. See C<dORIGMARK>.
47
48=for apidoc Ams||SPAGAIN
49Refetch the stack pointer. Used after a callback. See L<perlcall>.
50
51=cut */
52
53#undef SP /* Solaris 2.7 i386 has this in /usr/include/sys/reg.h */
54#define SP sp
55#define MARK mark
56#define TARG targ
57
58#define PUSHMARK(p) if (++PL_markstack_ptr == PL_markstack_max) \
59 markstack_grow(); \
60 *PL_markstack_ptr = (p) - PL_stack_base
61
62#define TOPMARK (*PL_markstack_ptr)
63#define POPMARK (*PL_markstack_ptr--)
64
65#define dSP register SV **sp = PL_stack_sp
66#define djSP dSP
67#define dMARK register SV **mark = PL_stack_base + POPMARK
68#define dORIGMARK I32 origmark = mark - PL_stack_base
69#define SETORIGMARK origmark = mark - PL_stack_base
70#define ORIGMARK (PL_stack_base + origmark)
71
72#define SPAGAIN sp = PL_stack_sp
73#define MSPAGAIN sp = PL_stack_sp; mark = ORIGMARK
74
75#define GETTARGETSTACKED targ = (PL_op->op_flags & OPf_STACKED ? POPs : PAD_SV(PL_op->op_targ))
76#define dTARGETSTACKED SV * GETTARGETSTACKED
77
78#define GETTARGET targ = PAD_SV(PL_op->op_targ)
79#define dTARGET SV * GETTARGET
80
81#define GETATARGET targ = (PL_op->op_flags & OPf_STACKED ? sp[-1] : PAD_SV(PL_op->op_targ))
82#define dATARGET SV * GETATARGET
83
84#define dTARG SV *targ
85
86#define NORMAL PL_op->op_next
87#define DIE return Perl_die
88
89/*
90=for apidoc Ams||PUTBACK
91Closing bracket for XSUB arguments. This is usually handled by C<xsubpp>.
92See C<PUSHMARK> and L<perlcall> for other uses.
93
94=for apidoc Amn|SV*|POPs
95Pops an SV off the stack.
96
97=for apidoc Amn|char*|POPp
98Pops a string off the stack. Deprecated. New code should provide
99a STRLEN n_a and use POPpx.
100
101=for apidoc Amn|char*|POPpx
102Pops a string off the stack.
103Requires a variable STRLEN n_a in scope.
104
105=for apidoc Amn|char*|POPpbytex
106Pops a string off the stack which must consist of bytes i.e. characters < 256.
107Requires a variable STRLEN n_a in scope.
108
109=for apidoc Amn|NV|POPn
110Pops a double off the stack.
111
112=for apidoc Amn|IV|POPi
113Pops an integer off the stack.
114
115=for apidoc Amn|long|POPl
116Pops a long off the stack.
117
118=cut
119*/
120
121#define PUTBACK PL_stack_sp = sp
122#define RETURN return PUTBACK, NORMAL
123#define RETURNOP(o) return PUTBACK, o
124#define RETURNX(x) return x, PUTBACK, NORMAL
125
126#define POPs (*sp--)
127#define POPp (SvPVx(POPs, PL_na)) /* deprecated */
128#define POPpx (SvPVx(POPs, n_a))
129#define POPpbytex (SvPVbytex(POPs, n_a))
130#define POPn (SvNVx(POPs))
131#define POPi ((IV)SvIVx(POPs))
132#define POPu ((UV)SvUVx(POPs))
133#define POPl ((long)SvIVx(POPs))
134#define POPul ((unsigned long)SvIVx(POPs))
135#ifdef HAS_QUAD
136#define POPq ((Quad_t)SvIVx(POPs))
137#define POPuq ((Uquad_t)SvUVx(POPs))
138#endif
139
140#define TOPs (*sp)
141#define TOPm1s (*(sp-1))
142#define TOPp1s (*(sp+1))
143#define TOPp (SvPV(TOPs, PL_na)) /* deprecated */
144#define TOPpx (SvPV(TOPs, n_a))
145#define TOPn (SvNV(TOPs))
146#define TOPi ((IV)SvIV(TOPs))
147#define TOPu ((UV)SvUV(TOPs))
148#define TOPl ((long)SvIV(TOPs))
149#define TOPul ((unsigned long)SvUV(TOPs))
150#ifdef HAS_QUAD
151#define TOPq ((Quad_t)SvIV(TOPs))
152#define TOPuq ((Uquad_t)SvUV(TOPs))
153#endif
154
155/* Go to some pains in the rare event that we must extend the stack. */
156
157/*
158=for apidoc Am|void|EXTEND|SP|int nitems
159Used to extend the argument stack for an XSUB's return values. Once
160used, guarantees that there is room for at least C<nitems> to be pushed
161onto the stack.
162
163=for apidoc Am|void|PUSHs|SV* sv
164Push an SV onto the stack. The stack must have room for this element.
165Does not handle 'set' magic. See C<XPUSHs>.
166
167=for apidoc Am|void|PUSHp|char* str|STRLEN len
168Push a string onto the stack. The stack must have room for this element.
169The C<len> indicates the length of the string. Handles 'set' magic. See
170C<XPUSHp>.
171
172=for apidoc Am|void|PUSHn|NV nv
173Push a double onto the stack. The stack must have room for this element.
174Handles 'set' magic. See C<XPUSHn>.
175
176=for apidoc Am|void|PUSHi|IV iv
177Push an integer onto the stack. The stack must have room for this element.
178Handles 'set' magic. See C<XPUSHi>.
179
180=for apidoc Am|void|PUSHu|UV uv
181Push an unsigned integer onto the stack. The stack must have room for this
182element. See C<XPUSHu>.
183
184=for apidoc Am|void|XPUSHs|SV* sv
185Push an SV onto the stack, extending the stack if necessary. Does not
186handle 'set' magic. See C<PUSHs>.
187
188=for apidoc Am|void|XPUSHp|char* str|STRLEN len
189Push a string onto the stack, extending the stack if necessary. The C<len>
190indicates the length of the string. Handles 'set' magic. See
191C<PUSHp>.
192
193=for apidoc Am|void|XPUSHn|NV nv
194Push a double onto the stack, extending the stack if necessary. Handles
195'set' magic. See C<PUSHn>.
196
197=for apidoc Am|void|XPUSHi|IV iv
198Push an integer onto the stack, extending the stack if necessary. Handles
199'set' magic. See C<PUSHi>.
200
201=for apidoc Am|void|XPUSHu|UV uv
202Push an unsigned integer onto the stack, extending the stack if necessary.
203See C<PUSHu>.
204
205=cut
206*/
207
208#define EXTEND(p,n) STMT_START { if (PL_stack_max - p < (int)(n)) { \
209 sp = stack_grow(sp,p, (int) (n)); \
210 } } STMT_END
211
212/* Same thing, but update mark register too. */
213#define MEXTEND(p,n) STMT_START {if (PL_stack_max - p < (int)(n)) { \
214 int markoff = mark - PL_stack_base; \
215 sp = stack_grow(sp,p,(int) (n)); \
216 mark = PL_stack_base + markoff; \
217 } } STMT_END
218
219#define PUSHs(s) (*++sp = (s))
220#define PUSHTARG STMT_START { SvSETMAGIC(TARG); PUSHs(TARG); } STMT_END
221#define PUSHp(p,l) STMT_START { sv_setpvn(TARG, (p), (l)); PUSHTARG; } STMT_END
222#define PUSHn(n) STMT_START { sv_setnv(TARG, (NV)(n)); PUSHTARG; } STMT_END
223#define PUSHi(i) STMT_START { sv_setiv(TARG, (IV)(i)); PUSHTARG; } STMT_END
224#define PUSHu(u) STMT_START { sv_setuv(TARG, (UV)(u)); PUSHTARG; } STMT_END
225
226#define XPUSHs(s) STMT_START { EXTEND(sp,1); (*++sp = (s)); } STMT_END
227#define XPUSHTARG STMT_START { SvSETMAGIC(TARG); XPUSHs(TARG); } STMT_END
228#define XPUSHp(p,l) STMT_START { sv_setpvn(TARG, (p), (l)); XPUSHTARG; } STMT_END
229#define XPUSHn(n) STMT_START { sv_setnv(TARG, (NV)(n)); XPUSHTARG; } STMT_END
230#define XPUSHi(i) STMT_START { sv_setiv(TARG, (IV)(i)); XPUSHTARG; } STMT_END
231#define XPUSHu(u) STMT_START { sv_setuv(TARG, (UV)(u)); XPUSHTARG; } STMT_END
232#define XPUSHundef STMT_START { SvOK_off(TARG); XPUSHs(TARG); } STMT_END
233
234#define SETs(s) (*sp = s)
235#define SETTARG STMT_START { SvSETMAGIC(TARG); SETs(TARG); } STMT_END
236#define SETp(p,l) STMT_START { sv_setpvn(TARG, (p), (l)); SETTARG; } STMT_END
237#define SETn(n) STMT_START { sv_setnv(TARG, (NV)(n)); SETTARG; } STMT_END
238#define SETi(i) STMT_START { sv_setiv(TARG, (IV)(i)); SETTARG; } STMT_END
239#define SETu(u) STMT_START { sv_setuv(TARG, (UV)(u)); SETTARG; } STMT_END
240
241#define dTOPss SV *sv = TOPs
242#define dPOPss SV *sv = POPs
243#define dTOPnv NV value = TOPn
244#define dPOPnv NV value = POPn
245#define dTOPiv IV value = TOPi
246#define dPOPiv IV value = POPi
247#define dTOPuv UV value = TOPu
248#define dPOPuv UV value = POPu
249#ifdef HAS_QUAD
250#define dTOPqv Quad_t value = TOPu
251#define dPOPqv Quad_t value = POPu
252#define dTOPuqv Uquad_t value = TOPuq
253#define dPOPuqv Uquad_t value = POPuq
254#endif
255
256#define dPOPXssrl(X) SV *right = POPs; SV *left = CAT2(X,s)
257#define dPOPXnnrl(X) NV right = POPn; NV left = CAT2(X,n)
258#define dPOPXiirl(X) IV right = POPi; IV left = CAT2(X,i)
259
260#define USE_LEFT(sv) \
261 (SvOK(sv) || SvGMAGICAL(sv) || !(PL_op->op_flags & OPf_STACKED))
262#define dPOPXnnrl_ul(X) \
263 NV right = POPn; \
264 SV *leftsv = CAT2(X,s); \
265 NV left = USE_LEFT(leftsv) ? SvNV(leftsv) : 0.0
266#define dPOPXiirl_ul(X) \
267 IV right = POPi; \
268 SV *leftsv = CAT2(X,s); \
269 IV left = USE_LEFT(leftsv) ? SvIV(leftsv) : 0
270
271#define dPOPPOPssrl dPOPXssrl(POP)
272#define dPOPPOPnnrl dPOPXnnrl(POP)
273#define dPOPPOPnnrl_ul dPOPXnnrl_ul(POP)
274#define dPOPPOPiirl dPOPXiirl(POP)
275#define dPOPPOPiirl_ul dPOPXiirl_ul(POP)
276
277#define dPOPTOPssrl dPOPXssrl(TOP)
278#define dPOPTOPnnrl dPOPXnnrl(TOP)
279#define dPOPTOPnnrl_ul dPOPXnnrl_ul(TOP)
280#define dPOPTOPiirl dPOPXiirl(TOP)
281#define dPOPTOPiirl_ul dPOPXiirl_ul(TOP)
282
283#define RETPUSHYES RETURNX(PUSHs(&PL_sv_yes))
284#define RETPUSHNO RETURNX(PUSHs(&PL_sv_no))
285#define RETPUSHUNDEF RETURNX(PUSHs(&PL_sv_undef))
286
287#define RETSETYES RETURNX(SETs(&PL_sv_yes))
288#define RETSETNO RETURNX(SETs(&PL_sv_no))
289#define RETSETUNDEF RETURNX(SETs(&PL_sv_undef))
290
291#define ARGTARG PL_op->op_targ
292
293 /* See OPpTARGET_MY: */
294#define MAXARG (PL_op->op_private & 15)
295
296#define SWITCHSTACK(f,t) \
297 STMT_START { \
298 AvFILLp(f) = sp - PL_stack_base; \
299 PL_stack_base = AvARRAY(t); \
300 PL_stack_max = PL_stack_base + AvMAX(t); \
301 sp = PL_stack_sp = PL_stack_base + AvFILLp(t); \
302 PL_curstack = t; \
303 } STMT_END
304
305#define EXTEND_MORTAL(n) \
306 STMT_START { \
307 if (PL_tmps_ix + (n) >= PL_tmps_max) \
308 tmps_grow(n); \
309 } STMT_END
310
311#define AMGf_noright 1
312#define AMGf_noleft 2
313#define AMGf_assign 4
314#define AMGf_unary 8
315
316#define tryAMAGICbinW(meth,assign,set) STMT_START { \
317 if (PL_amagic_generation) { \
318 SV* tmpsv; \
319 SV* right= *(sp); SV* left= *(sp-1);\
320 if ((SvAMAGIC(left)||SvAMAGIC(right))&&\
321 (tmpsv=amagic_call(left, \
322 right, \
323 CAT2(meth,_amg), \
324 (assign)? AMGf_assign: 0))) {\
325 SPAGAIN; \
326 (void)POPs; set(tmpsv); RETURN; } \
327 } \
328 } STMT_END
329
330#define tryAMAGICbin(meth,assign) tryAMAGICbinW(meth,assign,SETsv)
331#define tryAMAGICbinSET(meth,assign) tryAMAGICbinW(meth,assign,SETs)
332
333#define AMG_CALLun(sv,meth) amagic_call(sv,&PL_sv_undef, \
334 CAT2(meth,_amg),AMGf_noright | AMGf_unary)
335#define AMG_CALLbinL(left,right,meth) \
336 amagic_call(left,right,CAT2(meth,_amg),AMGf_noright)
337
338#define tryAMAGICunW(meth,set,shift,ret) STMT_START { \
339 if (PL_amagic_generation) { \
340 SV* tmpsv; \
341 SV* arg= sp[shift]; \
342 if(0) goto am_again; /* shut up unused warning */ \
343 am_again: \
344 if ((SvAMAGIC(arg))&&\
345 (tmpsv=AMG_CALLun(arg,meth))) {\
346 SPAGAIN; if (shift) sp += shift; \
347 set(tmpsv); ret; } \
348 } \
349 } STMT_END
350
351#define FORCE_SETs(sv) STMT_START { sv_setsv(TARG, (sv)); SETTARG; } STMT_END
352
353#define tryAMAGICun(meth) tryAMAGICunW(meth,SETsvUN,0,RETURN)
354#define tryAMAGICunSET(meth) tryAMAGICunW(meth,SETs,0,RETURN)
355#define tryAMAGICunTARGET(meth, shift) \
356 { dSP; sp--; /* get TARGET from below PL_stack_sp */ \
357 { dTARGETSTACKED; \
358 { dSP; tryAMAGICunW(meth,FORCE_SETs,shift,RETURN);}}}
359
360#define setAGAIN(ref) sv = ref; \
361 if (!SvROK(ref)) \
362 Perl_croak(aTHX_ "Overloaded dereference did not return a reference"); \
363 if (ref != arg && SvRV(ref) != SvRV(arg)) { \
364 arg = ref; \
365 goto am_again; \
366 }
367
368#define tryAMAGICunDEREF(meth) tryAMAGICunW(meth,setAGAIN,0,(void)0)
369
370#define opASSIGN (PL_op->op_flags & OPf_STACKED)
371#define SETsv(sv) STMT_START { \
372 if (opASSIGN || (SvFLAGS(TARG) & SVs_PADMY)) \
373 { sv_setsv(TARG, (sv)); SETTARG; } \
374 else SETs(sv); } STMT_END
375
376#define SETsvUN(sv) STMT_START { \
377 if (SvFLAGS(TARG) & SVs_PADMY) \
378 { sv_setsv(TARG, (sv)); SETTARG; } \
379 else SETs(sv); } STMT_END
380
381/* newSVsv does not behave as advertised, so we copy missing
382 * information by hand */
383
384/* SV* ref causes confusion with the member variable
385 changed SV* ref to SV* tmpRef */
386#define RvDEEPCP(rv) STMT_START { SV* tmpRef=SvRV(rv); \
387 if (SvREFCNT(tmpRef)>1) { \
388 SvREFCNT_dec(tmpRef); \
389 SvRV(rv)=AMG_CALLun(rv,copy); \
390 } } STMT_END
391
392/*
393=for apidoc mU||LVRET
394True if this op will be the return value of an lvalue subroutine
395
396=cut */
397#define LVRET ((PL_op->op_private & OPpMAYBE_LVSUB) && is_lvalue_sub())