makerel now tells you _which_ files differ from the MANIFEST and if possible gives...
[p5sagit/p5-mst-13.2.git] / cop.h
CommitLineData
a0d0e21e 1/* cop.h
79072805 2 *
1129b882 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
79072805 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 *
a3985cdc 9 * Control ops (cops) are one of the three ops OP_NEXTSTATE, OP_DBSTATE,
3ffa1527 10 * and OP_SETSTATE that (loosely speaking) are separate statements.
11 * They hold information important for lexical state and error reporting.
12 * At run time, PL_curcop is set to point to the most recently executed cop,
a3985cdc 13 * and thus can be used to determine our current state.
79072805 14 */
15
0d2925a6 16/* A jmpenv packages the state required to perform a proper non-local jump.
17 * Note that there is a start_env initialized when perl starts, and top_env
18 * points to this initially, so top_env should always be non-null.
19 *
20 * Existence of a non-null top_env->je_prev implies it is valid to call
21 * longjmp() at that runlevel (we make sure start_env.je_prev is always
22 * null to ensure this).
23 *
24 * je_mustcatch, when set at any runlevel to TRUE, means eval ops must
25 * establish a local jmpenv to handle exception traps. Care must be taken
26 * to restore the previous value of je_mustcatch before exiting the
27 * stack frame iff JMPENV_PUSH was not called in that stack frame.
28 * GSAR 97-03-27
29 */
30
31struct jmpenv {
32 struct jmpenv * je_prev;
33 Sigjmp_buf je_buf; /* only for use if !je_throw */
34 int je_ret; /* last exception thrown */
35 bool je_mustcatch; /* need to call longjmp()? */
36};
37
38typedef struct jmpenv JMPENV;
39
40#ifdef OP_IN_REGISTER
41#define OP_REG_TO_MEM PL_opsave = op
42#define OP_MEM_TO_REG op = PL_opsave
43#else
44#define OP_REG_TO_MEM NOOP
45#define OP_MEM_TO_REG NOOP
46#endif
47
48/*
49 * How to build the first jmpenv.
50 *
51 * top_env needs to be non-zero. It points to an area
52 * in which longjmp() stuff is stored, as C callstack
53 * info there at least is thread specific this has to
54 * be per-thread. Otherwise a 'die' in a thread gives
55 * that thread the C stack of last thread to do an eval {}!
56 */
57
58#define JMPENV_BOOTSTRAP \
59 STMT_START { \
60 Zero(&PL_start_env, 1, JMPENV); \
61 PL_start_env.je_ret = -1; \
62 PL_start_env.je_mustcatch = TRUE; \
63 PL_top_env = &PL_start_env; \
64 } STMT_END
65
66/*
67 * PERL_FLEXIBLE_EXCEPTIONS
68 *
69 * All the flexible exceptions code has been removed.
70 * See the following threads for details:
71 *
72 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/2004-07/msg00378.html
73 *
74 * Joshua's original patches (which weren't applied) and discussion:
75 *
76 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-02/msg01396.html
77 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-02/msg01489.html
78 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-02/msg01491.html
79 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-02/msg01608.html
80 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-02/msg02144.html
81 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-02/msg02998.html
82 *
83 * Chip's reworked patch and discussion:
84 *
85 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1999-03/msg00520.html
86 *
87 * The flaw in these patches (which went unnoticed at the time) was
88 * that they moved some code that could potentially die() out of the
89 * region protected by the setjmp()s. This caused exceptions within
90 * END blocks and such to not be handled by the correct setjmp().
91 *
92 * The original patches that introduces flexible exceptions were:
93 *
94 * http://public.activestate.com/cgi-bin/perlbrowse?patch=3386
95 * http://public.activestate.com/cgi-bin/perlbrowse?patch=5162
96 */
97
98#define dJMPENV JMPENV cur_env
99
100#define JMPENV_PUSH(v) \
101 STMT_START { \
102 DEBUG_l(Perl_deb(aTHX_ "Setting up jumplevel %p, was %p\n", \
ca0270c4 103 (void*)&cur_env, (void*)PL_top_env)); \
0d2925a6 104 cur_env.je_prev = PL_top_env; \
105 OP_REG_TO_MEM; \
106 cur_env.je_ret = PerlProc_setjmp(cur_env.je_buf, SCOPE_SAVES_SIGNAL_MASK); \
107 OP_MEM_TO_REG; \
108 PL_top_env = &cur_env; \
109 cur_env.je_mustcatch = FALSE; \
110 (v) = cur_env.je_ret; \
111 } STMT_END
112
113#define JMPENV_POP \
114 STMT_START { \
115 DEBUG_l(Perl_deb(aTHX_ "popping jumplevel was %p, now %p\n", \
ca0270c4 116 (void*)PL_top_env, (void*)cur_env.je_prev)); \
0d2925a6 117 PL_top_env = cur_env.je_prev; \
118 } STMT_END
119
120#define JMPENV_JUMP(v) \
121 STMT_START { \
122 OP_REG_TO_MEM; \
123 if (PL_top_env->je_prev) \
124 PerlProc_longjmp(PL_top_env->je_buf, (v)); \
125 if ((v) == 2) \
37038d91 126 PerlProc_exit(STATUS_EXIT); \
0d2925a6 127 PerlIO_printf(PerlIO_stderr(), "panic: top_env\n"); \
128 PerlProc_exit(1); \
129 } STMT_END
130
131#define CATCH_GET (PL_top_env->je_mustcatch)
132#define CATCH_SET(v) (PL_top_env->je_mustcatch = (v))
133
134
5ac1e9b2 135#include "mydtrace.h"
0d2925a6 136
79072805 137struct cop {
138 BASEOP
d7f23a06 139 /* On LP64 putting this here takes advantage of the fact that BASEOP isn't
140 an exact multiple of 8 bytes to save structure padding. */
141 line_t cop_line; /* line # of this command */
dca6062a 142 /* label for this construct is now stored in cop_hints_hash */
57843af0 143#ifdef USE_ITHREADS
11faa288 144 char * cop_stashpv; /* package line was compiled in */
57843af0 145 char * cop_file; /* file name the following line # is from */
146#else
11faa288 147 HV * cop_stash; /* package line was compiled in */
79072805 148 GV * cop_filegv; /* file the following line # is from */
57843af0 149#endif
d5ec2987 150 U32 cop_hints; /* hints bits from pragmata */
a0d0e21e 151 U32 cop_seq; /* parse sequence number */
72dc9ed5 152 /* Beware. mg.c and warnings.pl assume the type of this is STRLEN *: */
153 STRLEN * cop_warnings; /* lexical warnings bitmask */
b3ca2e83 154 /* compile time state of %^H. See the comment in op.c for how this is
155 used to recreate a hash to return from caller. */
c28fe1ec 156 struct refcounted_he * cop_hints_hash;
79072805 157};
158
57843af0 159#ifdef USE_ITHREADS
160# define CopFILE(c) ((c)->cop_file)
161# define CopFILEGV(c) (CopFILE(c) \
a0714e2c 162 ? gv_fetchfile(CopFILE(c)) : NULL)
083fcd59 163
7e4e8c89 164# ifdef NETWARE
165# define CopFILE_set(c,pv) ((c)->cop_file = savepv(pv))
d9095cec 166# define CopFILE_setn(c,pv,l) ((c)->cop_file = savepv((pv),(l)))
7e4e8c89 167# else
168# define CopFILE_set(c,pv) ((c)->cop_file = savesharedpv(pv))
d9095cec 169# define CopFILE_setn(c,pv,l) ((c)->cop_file = savesharedpvn((pv),(l)))
7e4e8c89 170# endif
083fcd59 171
57843af0 172# define CopFILESV(c) (CopFILE(c) \
a0714e2c 173 ? GvSV(gv_fetchfile(CopFILE(c))) : NULL)
57843af0 174# define CopFILEAV(c) (CopFILE(c) \
7d49f689 175 ? GvAV(gv_fetchfile(CopFILE(c))) : NULL)
8688788e 176# ifdef DEBUGGING
177# define CopFILEAVx(c) (assert(CopFILE(c)), \
36c7798d 178 GvAV(gv_fetchfile(CopFILE(c))))
8688788e 179# else
180# define CopFILEAVx(c) (GvAV(gv_fetchfile(CopFILE(c))))
181# endif
57843af0 182# define CopSTASHPV(c) ((c)->cop_stashpv)
083fcd59 183
7e4e8c89 184# ifdef NETWARE
bd61b366 185# define CopSTASHPV_set(c,pv) ((c)->cop_stashpv = ((pv) ? savepv(pv) : NULL))
7e4e8c89 186# else
187# define CopSTASHPV_set(c,pv) ((c)->cop_stashpv = savesharedpv(pv))
188# endif
083fcd59 189
11faa288 190# define CopSTASH(c) (CopSTASHPV(c) \
5c284bb0 191 ? gv_stashpv(CopSTASHPV(c),GV_ADD) : NULL)
bd61b366 192# define CopSTASH_set(c,hv) CopSTASHPV_set(c, (hv) ? HvNAME_get(hv) : NULL)
ed221c57 193# define CopSTASH_eq(c,hv) ((hv) && stashpv_hvname_match(c,hv))
7e4e8c89 194# ifdef NETWARE
195# define CopSTASH_free(c) SAVECOPSTASH_FREE(c)
7e4e8c89 196# define CopFILE_free(c) SAVECOPFILE_FREE(c)
197# else
ed221c57 198# define CopSTASH_free(c) PerlMemShared_free(CopSTASHPV(c))
bd61b366 199# define CopFILE_free(c) (PerlMemShared_free(CopFILE(c)),(CopFILE(c) = NULL))
7e4e8c89 200# endif
57843af0 201#else
202# define CopFILEGV(c) ((c)->cop_filegv)
f4dd75d9 203# define CopFILEGV_set(c,gv) ((c)->cop_filegv = (GV*)SvREFCNT_inc(gv))
204# define CopFILE_set(c,pv) CopFILEGV_set((c), gv_fetchfile(pv))
d9095cec 205# define CopFILE_setn(c,pv,l) CopFILEGV_set((c), gv_fetchfile_flags((pv),(l),0))
a0714e2c 206# define CopFILESV(c) (CopFILEGV(c) ? GvSV(CopFILEGV(c)) : NULL)
7d49f689 207# define CopFILEAV(c) (CopFILEGV(c) ? GvAV(CopFILEGV(c)) : NULL)
8688788e 208# ifdef DEBUGGING
209# define CopFILEAVx(c) (assert(CopFILEGV(c)), GvAV(CopFILEGV(c)))
210# else
211# define CopFILEAVx(c) (GvAV(CopFILEGV(c)))
212# endif
be46dfad 213# define CopFILE(c) (CopFILEGV(c) && GvSV(CopFILEGV(c)) \
214 ? SvPVX(GvSV(CopFILEGV(c))) : NULL)
57843af0 215# define CopSTASH(c) ((c)->cop_stash)
f4dd75d9 216# define CopSTASH_set(c,hv) ((c)->cop_stash = (hv))
bd61b366 217# define CopSTASHPV(c) (CopSTASH(c) ? HvNAME_get(CopSTASH(c)) : NULL)
f4dd75d9 218 /* cop_stash is not refcounted */
219# define CopSTASHPV_set(c,pv) CopSTASH_set((c), gv_stashpv(pv,GV_ADD))
220# define CopSTASH_eq(c,hv) (CopSTASH(c) == (hv))
05ec9bb3 221# define CopSTASH_free(c)
a0714e2c 222# define CopFILE_free(c) (SvREFCNT_dec(CopFILEGV(c)),(CopFILEGV(c) = NULL))
05ec9bb3 223
57843af0 224#endif /* USE_ITHREADS */
dca6062a 225#define CopLABEL(c) Perl_fetch_cop_label(aTHX_ (c)->cop_hints_hash, NULL, NULL)
226#define CopLABEL_alloc(pv) ((pv)?savepv(pv):NULL)
57843af0 227
ed094faf 228#define CopSTASH_ne(c,hv) (!CopSTASH_eq(c,hv))
cc49e20b 229#define CopLINE(c) ((c)->cop_line)
57843af0 230#define CopLINE_inc(c) (++CopLINE(c))
231#define CopLINE_dec(c) (--CopLINE(c))
232#define CopLINE_set(c,l) (CopLINE(c) = (l))
cc49e20b 233
248c2a4d 234/* OutCopFILE() is CopFILE for output (caller, die, warn, etc.) */
e37778c2 235#define OutCopFILE(c) CopFILE(c)
248c2a4d 236
7b0bddfa 237/* If $[ is non-zero, it's stored in cop_hints under the key "$[", and
238 HINT_ARYBASE is set to indicate this.
239 Setting it is ineficient due to the need to create 2 mortal SVs, but as
240 using $[ is highly discouraged, no sane Perl code will be using it. */
241#define CopARYBASE_get(c) \
242 ((CopHINTS_get(c) & HINT_ARYBASE) \
c28fe1ec 243 ? SvIV(Perl_refcounted_he_fetch(aTHX_ (c)->cop_hints_hash, 0, \
244 "$[", 2, 0, 0)) \
7b0bddfa 245 : 0)
246#define CopARYBASE_set(c, b) STMT_START { \
d5ec2987 247 if (b || ((c)->cop_hints & HINT_ARYBASE)) { \
248 (c)->cop_hints |= HINT_ARYBASE; \
7b0bddfa 249 if ((c) == &PL_compiling) \
250 PL_hints |= HINT_LOCALIZE_HH | HINT_ARYBASE; \
c28fe1ec 251 (c)->cop_hints_hash \
252 = Perl_refcounted_he_new(aTHX_ (c)->cop_hints_hash, \
84bafc02 253 newSVpvs_flags("$[", SVs_TEMP), \
7b0bddfa 254 sv_2mortal(newSViv(b))); \
255 } \
256 } STMT_END
fc15ae8f 257
623e6609 258/* FIXME NATIVE_HINTS if this is changed from op_private (see perl.h) */
d5ec2987 259#define CopHINTS_get(c) ((c)->cop_hints + 0)
623e6609 260#define CopHINTS_set(c, h) STMT_START { \
d5ec2987 261 (c)->cop_hints = (h); \
623e6609 262 } STMT_END
263
79072805 264/*
265 * Here we have some enormously heavy (or at least ponderous) wizardry.
266 */
267
268/* subroutine context */
269struct block_sub {
f9c764c5 270 OP * retop; /* op to execute on exit from sub */
8e663997 271 /* Above here is the same for sub, format and eval. */
272 CV * cv;
f9c764c5 273 /* Above here is the same for sub and format. */
79072805 274 AV * savearray;
275 AV * argarray;
bb172083 276 I32 olddepth;
f3548bdc 277 PAD *oldcomppad;
f9c764c5 278};
279
280
281/* format context */
282struct block_format {
f39bc417 283 OP * retop; /* op to execute on exit from sub */
8e663997 284 /* Above here is the same for sub, format and eval. */
285 CV * cv;
f9c764c5 286 /* Above here is the same for sub and format. */
287 GV * gv;
288 GV * dfoutgv;
79072805 289};
290
b36bdeca 291/* base for the next two macros. Don't use directly.
292 * Note that the refcnt of the cv is incremented twice; The CX one is
293 * decremented by LEAVESUB, the other by LEAVE. */
294
ee98a1d6 295#define PUSHSUB_BASE(cx) \
5ac1e9b2 296 ENTRY_PROBE(GvENAME(CvGV(cv)), \
c6903450 297 CopFILE((const COP *)CvSTART(cv)), \
298 CopLINE((const COP *)CvSTART(cv))); \
5ac1e9b2 299 \
79072805 300 cx->blk_sub.cv = cv; \
b8f55b69 301 cx->blk_sub.olddepth = CvDEPTH(cv); \
ae423868 302 cx->cx_type |= (hasargs) ? CXp_HASARGS : 0; \
5f66b61c 303 cx->blk_sub.retop = NULL; \
b36bdeca 304 if (!CvDEPTH(cv)) { \
74c765eb 305 SvREFCNT_inc_simple_void_NN(cv); \
306 SvREFCNT_inc_simple_void_NN(cv); \
b36bdeca 307 SAVEFREESV(cv); \
308 }
309
ee98a1d6 310
311#define PUSHSUB(cx) \
312 PUSHSUB_BASE(cx) \
446d0787 313 cx->blk_u16 = PL_op->op_private & \
cc8d50a7 314 (OPpLVAL_INTRO|OPpENTERSUB_INARGS);
79072805 315
ee98a1d6 316/* variant for use by OP_DBSTATE, where op_private holds hint bits */
317#define PUSHSUB_DB(cx) \
318 PUSHSUB_BASE(cx) \
446d0787 319 cx->blk_u16 = 0;
ee98a1d6 320
321
10067d9a 322#define PUSHFORMAT(cx, retop) \
f9c764c5 323 cx->blk_format.cv = cv; \
324 cx->blk_format.gv = gv; \
325 cx->blk_format.retop = (retop); \
f9c764c5 326 cx->blk_format.dfoutgv = PL_defoutgv; \
327 SvREFCNT_inc_void(cx->blk_format.dfoutgv)
79072805 328
3db8f154 329#define POP_SAVEARRAY() \
6d4ff0d2 330 STMT_START { \
3280af22 331 SvREFCNT_dec(GvAV(PL_defgv)); \
a8bba7fa 332 GvAV(PL_defgv) = cx->blk_sub.savearray; \
6d4ff0d2 333 } STMT_END
6d4ff0d2 334
ecf8e9dd 335/* junk in @_ spells trouble when cloning CVs and in pp_caller(), so don't
8e09340b 336 * leave any (a fast av_clear(ary), basically) */
337#define CLEAR_ARGARRAY(ary) \
338 STMT_START { \
339 AvMAX(ary) += AvARRAY(ary) - AvALLOC(ary); \
9c6bc640 340 AvARRAY(ary) = AvALLOC(ary); \
8e09340b 341 AvFILLp(ary) = -1; \
342 } STMT_END
7766f137 343
b0d9ce38 344#define POPSUB(cx,sv) \
345 STMT_START { \
8f629a87 346 RETURN_PROBE(GvENAME(CvGV((const CV*)cx->blk_sub.cv)), \
347 CopFILE((COP*)CvSTART((const CV*)cx->blk_sub.cv)), \
348 CopLINE((COP*)CvSTART((const CV*)cx->blk_sub.cv))); \
5ac1e9b2 349 \
bafb2adc 350 if (CxHASARGS(cx)) { \
7766f137 351 POP_SAVEARRAY(); \
d8b46c1b 352 /* abandon @_ if it got reified */ \
a8bba7fa 353 if (AvREAL(cx->blk_sub.argarray)) { \
e2d306cb 354 const SSize_t fill = AvFILLp(cx->blk_sub.argarray); \
a8bba7fa 355 SvREFCNT_dec(cx->blk_sub.argarray); \
356 cx->blk_sub.argarray = newAV(); \
357 av_extend(cx->blk_sub.argarray, fill); \
11ca45c0 358 AvREIFY_only(cx->blk_sub.argarray); \
b1bc3f34 359 CX_CURPAD_SV(cx->blk_sub, 0) = MUTABLE_SV(cx->blk_sub.argarray); \
d8b46c1b 360 } \
7766f137 361 else { \
8e09340b 362 CLEAR_ARGARRAY(cx->blk_sub.argarray); \
7766f137 363 } \
79072805 364 } \
b1bc3f34 365 sv = MUTABLE_SV(cx->blk_sub.cv); \
8f629a87 366 if (sv && (CvDEPTH((const CV*)sv) = cx->blk_sub.olddepth)) \
a0714e2c 367 sv = NULL; \
b0d9ce38 368 } STMT_END
369
370#define LEAVESUB(sv) \
371 STMT_START { \
372 if (sv) \
373 SvREFCNT_dec(sv); \
374 } STMT_END
79072805 375
376#define POPFORMAT(cx) \
f9c764c5 377 setdefout(cx->blk_format.dfoutgv); \
378 SvREFCNT_dec(cx->blk_format.dfoutgv);
79072805 379
380/* eval context */
381struct block_eval {
8e663997 382 OP * retop; /* op to execute on exit from eval */
383 /* Above here is the same for sub, format and eval. */
0f79a09d 384 SV * old_namesv;
79072805 385 OP * old_eval_root;
748a9306 386 SV * cur_text;
2090ab20 387 CV * cv;
abd70938 388 JMPENV * cur_top_env; /* value of PL_top_env when eval CX created */
79072805 389};
390
17347a51 391/* If we ever need more than 512 op types, change the shift from 7.
392 blku_gimme is actually also only 2 bits, so could be merged with something.
393*/
394
395#define CxOLD_IN_EVAL(cx) (((cx)->blk_u16) & 0x7F)
396#define CxOLD_OP_TYPE(cx) (((cx)->blk_u16) >> 7)
85a64632 397
6b75f042 398#define PUSHEVAL(cx,n) \
0f79a09d 399 STMT_START { \
17347a51 400 assert(!(PL_in_eval & ~0x7F)); \
401 assert(!(PL_op->op_type & ~0x1FF)); \
402 cx->blk_u16 = (PL_in_eval & 0x7F) | ((U16)PL_op->op_type << 7); \
a0714e2c 403 cx->blk_eval.old_namesv = (n ? newSVpv(n,0) : NULL); \
a8bba7fa 404 cx->blk_eval.old_eval_root = PL_eval_root; \
bdc0bf6f 405 cx->blk_eval.cur_text = PL_parser ? PL_parser->linestr : NULL; \
601f1833 406 cx->blk_eval.cv = NULL; /* set by doeval(), as applicable */ \
5f66b61c 407 cx->blk_eval.retop = NULL; \
abd70938 408 cx->blk_eval.cur_top_env = PL_top_env; \
0f79a09d 409 } STMT_END
79072805 410
411#define POPEVAL(cx) \
0f79a09d 412 STMT_START { \
85a64632 413 PL_in_eval = CxOLD_IN_EVAL(cx); \
414 optype = CxOLD_OP_TYPE(cx); \
7766f137 415 PL_eval_root = cx->blk_eval.old_eval_root; \
0f79a09d 416 if (cx->blk_eval.old_namesv) \
417 sv_2mortal(cx->blk_eval.old_namesv); \
418 } STMT_END
79072805 419
420/* loop context */
421struct block_loop {
79072805 422 I32 resetsp;
022eaa24 423 LOOP * my_op; /* My op, that contains redo, next and last ops. */
424 /* (except for non_ithreads we need to modify next_op in pp_ctl.c, hence
425 why next_op is conditionally defined below.) */
7766f137 426#ifdef USE_ITHREADS
e846cb92 427 PAD *oldcomppad; /* Also used for the GV, if targoffset is 0 */
428 /* This is also accesible via cx->blk_loop.my_op->op_targ */
429 PADOFFSET targoffset;
7766f137 430#else
022eaa24 431 OP * next_op;
79072805 432 SV ** itervar;
7766f137 433#endif
493b0a3c 434 union {
d01136d6 435 struct { /* valid if type is LOOP_FOR or LOOP_PLAIN (but {NULL,0})*/
436 AV * ary; /* use the stack if this is NULL */
437 IV ix;
438 } ary;
439 struct { /* valid if type is LOOP_LAZYIV */
440 IV cur;
441 IV end;
442 } lazyiv;
443 struct { /* valid if type if LOOP_LAZYSV */
444 SV * cur;
445 SV * end; /* maxiumum value (or minimum in reverse) */
446 } lazysv;
447 } state_u;
79072805 448};
449
7766f137 450#ifdef USE_ITHREADS
451# define CxITERVAR(c) \
e846cb92 452 ((c)->blk_loop.oldcomppad \
453 ? (CxPADLOOP(c) \
454 ? &CX_CURPAD_SV( (c)->blk_loop, (c)->blk_loop.targoffset ) \
455 : &GvSV((GV*)(c)->blk_loop.oldcomppad)) \
7766f137 456 : (SV**)NULL)
e846cb92 457# define CX_ITERDATA_SET(cx,idata,o) \
458 if ((cx->blk_loop.targoffset = (o))) \
459 CX_CURPAD_SAVE(cx->blk_loop); \
460 else \
461 cx->blk_loop.oldcomppad = (idata);
7766f137 462#else
463# define CxITERVAR(c) ((c)->blk_loop.itervar)
e846cb92 464# define CX_ITERDATA_SET(cx,ivar,o) \
09edbca0 465 cx->blk_loop.itervar = (SV**)(ivar);
7766f137 466#endif
b1cf8b36 467#define CxLABEL(c) (0 + CopLABEL((c)->blk_oldcop))
ae423868 468#define CxHASARGS(c) (((c)->cx_type & CXp_HASARGS) == CXp_HASARGS)
446d0787 469#define CxLVAL(c) (0 + (c)->blk_u16)
7766f137 470
022eaa24 471#ifdef USE_ITHREADS
472# define PUSHLOOP_OP_NEXT /* No need to do anything. */
473# define CX_LOOP_NEXTOP_GET(cx) ((cx)->blk_loop.my_op->op_nextop + 0)
474#else
475# define PUSHLOOP_OP_NEXT cx->blk_loop.next_op = cLOOP->op_nextop
476# define CX_LOOP_NEXTOP_GET(cx) ((cx)->blk_loop.next_op + 0)
477#endif
478
3b719c58 479#define PUSHLOOP_PLAIN(cx, s) \
480 cx->blk_loop.resetsp = s - PL_stack_base; \
481 cx->blk_loop.my_op = cLOOP; \
482 PUSHLOOP_OP_NEXT; \
d01136d6 483 cx->blk_loop.state_u.ary.ary = NULL; \
484 cx->blk_loop.state_u.ary.ix = 0; \
e846cb92 485 CX_ITERDATA_SET(cx, NULL, 0);
3b719c58 486
e846cb92 487#define PUSHLOOP_FOR(cx, dat, s, offset) \
38a230cb 488 cx->blk_loop.resetsp = s - PL_stack_base; \
022eaa24 489 cx->blk_loop.my_op = cLOOP; \
490 PUSHLOOP_OP_NEXT; \
d01136d6 491 cx->blk_loop.state_u.ary.ary = NULL; \
492 cx->blk_loop.state_u.ary.ix = 0; \
e846cb92 493 CX_ITERDATA_SET(cx, dat, offset);
79072805 494
495#define POPLOOP(cx) \
d01136d6 496 if (CxTYPE(cx) == CXt_LOOP_LAZYSV) { \
497 SvREFCNT_dec(cx->blk_loop.state_u.lazysv.cur); \
498 SvREFCNT_dec(cx->blk_loop.state_u.lazysv.end); \
499 } \
d01136d6 500 if (CxTYPE(cx) == CXt_LOOP_FOR) \
501 SvREFCNT_dec(cx->blk_loop.state_u.ary.ary);
79072805 502
0d863452 503/* given/when context */
504struct block_givwhen {
505 OP *leave_op;
506};
507
508#define PUSHGIVEN(cx) \
509 cx->blk_givwhen.leave_op = cLOGOP->op_other;
510
511#define PUSHWHEN PUSHGIVEN
512
79072805 513/* context common to subroutines, evals and loops */
514struct block {
446d0787 515 U8 blku_type; /* what kind of context this is */
2e0df0e8 516 U8 blku_gimme; /* is this block running in list context? */
17347a51 517 U16 blku_u16; /* used by block_sub and block_eval (so far) */
79072805 518 I32 blku_oldsp; /* stack pointer to copy stuff down to */
519 COP * blku_oldcop; /* old curcop pointer */
79072805 520 I32 blku_oldmarksp; /* mark stack index */
521 I32 blku_oldscopesp; /* scope stack index */
522 PMOP * blku_oldpm; /* values of pattern match vars */
79072805 523
524 union {
525 struct block_sub blku_sub;
f9c764c5 526 struct block_format blku_format;
79072805 527 struct block_eval blku_eval;
528 struct block_loop blku_loop;
0d863452 529 struct block_givwhen blku_givwhen;
79072805 530 } blk_u;
531};
532#define blk_oldsp cx_u.cx_blk.blku_oldsp
533#define blk_oldcop cx_u.cx_blk.blku_oldcop
79072805 534#define blk_oldmarksp cx_u.cx_blk.blku_oldmarksp
535#define blk_oldscopesp cx_u.cx_blk.blku_oldscopesp
536#define blk_oldpm cx_u.cx_blk.blku_oldpm
537#define blk_gimme cx_u.cx_blk.blku_gimme
446d0787 538#define blk_u16 cx_u.cx_blk.blku_u16
79072805 539#define blk_sub cx_u.cx_blk.blk_u.blku_sub
f9c764c5 540#define blk_format cx_u.cx_blk.blk_u.blku_format
79072805 541#define blk_eval cx_u.cx_blk.blk_u.blku_eval
542#define blk_loop cx_u.cx_blk.blk_u.blku_loop
0d863452 543#define blk_givwhen cx_u.cx_blk.blk_u.blku_givwhen
79072805 544
545/* Enter a block. */
8990e307 546#define PUSHBLOCK(cx,t,sp) CXINC, cx = &cxstack[cxstack_ix], \
79072805 547 cx->cx_type = t, \
3280af22 548 cx->blk_oldsp = sp - PL_stack_base, \
549 cx->blk_oldcop = PL_curcop, \
1aff0e91 550 cx->blk_oldmarksp = PL_markstack_ptr - PL_markstack, \
3280af22 551 cx->blk_oldscopesp = PL_scopestack_ix, \
3280af22 552 cx->blk_oldpm = PL_curpm, \
eb160463 553 cx->blk_gimme = (U8)gimme; \
bf49b057 554 DEBUG_l( PerlIO_printf(Perl_debug_log, "Entering block %ld, type %s\n", \
1aff0e91 555 (long)cxstack_ix, PL_block_type[CxTYPE(cx)]); )
79072805 556
557/* Exit a block (RETURN and LAST). */
a0d0e21e 558#define POPBLOCK(cx,pm) cx = &cxstack[cxstack_ix--], \
1aff0e91 559 newsp = PL_stack_base + cx->blk_oldsp, \
3280af22 560 PL_curcop = cx->blk_oldcop, \
561 PL_markstack_ptr = PL_markstack + cx->blk_oldmarksp, \
562 PL_scopestack_ix = cx->blk_oldscopesp, \
3280af22 563 pm = cx->blk_oldpm, \
564 gimme = cx->blk_gimme; \
b4ab917c 565 DEBUG_SCOPE("POPBLOCK"); \
bf49b057 566 DEBUG_l( PerlIO_printf(Perl_debug_log, "Leaving block %ld, type %s\n", \
22c35a8c 567 (long)cxstack_ix+1,PL_block_type[CxTYPE(cx)]); )
79072805 568
569/* Continue a block elsewhere (NEXT and REDO). */
3280af22 570#define TOPBLOCK(cx) cx = &cxstack[cxstack_ix], \
1aff0e91 571 PL_stack_sp = PL_stack_base + cx->blk_oldsp, \
3280af22 572 PL_markstack_ptr = PL_markstack + cx->blk_oldmarksp, \
573 PL_scopestack_ix = cx->blk_oldscopesp, \
b4ab917c 574 PL_curpm = cx->blk_oldpm; \
575 DEBUG_SCOPE("TOPBLOCK");
79072805 576
577/* substitution context */
578struct subst {
446d0787 579 U8 sbu_type; /* what kind of context this is */
1ed74d04 580 U8 sbu_rflags;
446d0787 581 U16 sbu_rxtainted; /* matches struct block */
79072805 582 I32 sbu_iters;
583 I32 sbu_maxiters;
4633a7c4 584 I32 sbu_oldsave;
79072805 585 char * sbu_orig;
586 SV * sbu_dstr;
587 SV * sbu_targ;
588 char * sbu_s;
589 char * sbu_m;
590 char * sbu_strend;
c90c0ff4 591 void * sbu_rxres;
c07a80fd 592 REGEXP * sbu_rx;
79072805 593};
594#define sb_iters cx_u.cx_subst.sbu_iters
595#define sb_maxiters cx_u.cx_subst.sbu_maxiters
22e551b9 596#define sb_rflags cx_u.cx_subst.sbu_rflags
4633a7c4 597#define sb_oldsave cx_u.cx_subst.sbu_oldsave
71be2cbc 598#define sb_once cx_u.cx_subst.sbu_once
599#define sb_rxtainted cx_u.cx_subst.sbu_rxtainted
79072805 600#define sb_orig cx_u.cx_subst.sbu_orig
601#define sb_dstr cx_u.cx_subst.sbu_dstr
602#define sb_targ cx_u.cx_subst.sbu_targ
603#define sb_s cx_u.cx_subst.sbu_s
604#define sb_m cx_u.cx_subst.sbu_m
605#define sb_strend cx_u.cx_subst.sbu_strend
c90c0ff4 606#define sb_rxres cx_u.cx_subst.sbu_rxres
c07a80fd 607#define sb_rx cx_u.cx_subst.sbu_rx
79072805 608
9c105995 609#ifdef PERL_CORE
610# define PUSHSUBST(cx) CXINC, cx = &cxstack[cxstack_ix], \
79072805 611 cx->sb_iters = iters, \
612 cx->sb_maxiters = maxiters, \
22e551b9 613 cx->sb_rflags = r_flags, \
4633a7c4 614 cx->sb_oldsave = oldsave, \
71be2cbc 615 cx->sb_rxtainted = rxtainted, \
79072805 616 cx->sb_orig = orig, \
617 cx->sb_dstr = dstr, \
618 cx->sb_targ = targ, \
619 cx->sb_s = s, \
620 cx->sb_m = m, \
621 cx->sb_strend = strend, \
4608196e 622 cx->sb_rxres = NULL, \
c07a80fd 623 cx->sb_rx = rx, \
1ed74d04 624 cx->cx_type = CXt_SUBST | (once ? CXp_ONCE : 0); \
e22ae1e2 625 rxres_save(&cx->sb_rxres, rx); \
b69b0499 626 (void)ReREFCNT_inc(rx)
79072805 627
9c105995 628# define POPSUBST(cx) cx = &cxstack[cxstack_ix--]; \
e22ae1e2 629 rxres_free(&cx->sb_rxres); \
630 ReREFCNT_dec(cx->sb_rx)
9c105995 631#endif
632
633#define CxONCE(cx) ((cx)->cx_type & CXp_ONCE)
79072805 634
635struct context {
79072805 636 union {
637 struct block cx_blk;
638 struct subst cx_subst;
639 } cx_u;
640};
2e0df0e8 641#define cx_type cx_u.cx_subst.sbu_type
6b35e009 642
76753e7f 643/* If you re-order these, there is also an array of uppercase names in perl.h
644 and a static array of context names in pp_ctl.c */
3701055e 645#define CXTYPEMASK 0xf
79072805 646#define CXt_NULL 0
76753e7f 647#define CXt_WHEN 1
648#define CXt_BLOCK 2
649/* When micro-optimising :-) keep GIVEN next to the LOOPs, as these 5 share a
650 jump table in pp_ctl.c
651 The first 4 don't have a 'case' in at least one switch statement in pp_ctl.c
652*/
653#define CXt_GIVEN 3
c6fdafd0 654/* This is first so that CXt_LOOP_FOR|CXt_LOOP_LAZYIV is CXt_LOOP_LAZYIV */
76753e7f 655#define CXt_LOOP_FOR 4
656#define CXt_LOOP_PLAIN 5
657#define CXt_LOOP_LAZYSV 6
658#define CXt_LOOP_LAZYIV 7
659#define CXt_SUB 8
660#define CXt_FORMAT 9
661#define CXt_EVAL 10
662#define CXt_SUBST 11
663/* SUBST doesn't feature in all switch statements. */
79072805 664
3701055e 665/* private flags for CXt_SUB and CXt_NULL
666 However, this is checked in many places which do not check the type, so
667 this bit needs to be kept clear for most everything else. For reasons I
668 haven't investigated, it can coexist with CXp_FOR_DEF */
1f27d788 669#define CXp_MULTICALL 0x10 /* part of a multicall (so don't
670 tear down context on exit). */
9850bf21 671
ae423868 672/* private flags for CXt_SUB and CXt_FORMAT */
1f27d788 673#define CXp_HASARGS 0x20
ae423868 674
6b35e009 675/* private flags for CXt_EVAL */
1f27d788 676#define CXp_REAL 0x20 /* truly eval'', not a lookalike */
677#define CXp_TRYBLOCK 0x40 /* eval{}, not eval'' or similar */
6b35e009 678
7766f137 679/* private flags for CXt_LOOP */
1f27d788 680#define CXp_FOR_DEF 0x10 /* foreach using $_ */
0d863452 681#ifdef USE_ITHREADS
e846cb92 682# define CxPADLOOP(c) ((c)->blk_loop.targoffset)
7766f137 683#endif
e846cb92 684
1ed74d04 685/* private flags for CXt_SUBST */
686#define CXp_ONCE 0x10 /* What was sbu_once in struct subst */
7766f137 687
6b35e009 688#define CxTYPE(c) ((c)->cx_type & CXTYPEMASK)
76753e7f 689#define CxTYPE_is_LOOP(c) (((c)->cx_type & 0xC) == 0x4)
9850bf21 690#define CxMULTICALL(c) (((c)->cx_type & CXp_MULTICALL) \
691 == CXp_MULTICALL)
0588a150 692#define CxREALEVAL(c) (((c)->cx_type & (CXTYPEMASK|CXp_REAL)) \
7766f137 693 == (CXt_EVAL|CXp_REAL))
0588a150 694#define CxTRYBLOCK(c) (((c)->cx_type & (CXTYPEMASK|CXp_TRYBLOCK)) \
1d76a5c3 695 == (CXt_EVAL|CXp_TRYBLOCK))
3b719c58 696#define CxFOREACH(c) (CxTYPE_is_LOOP(c) && CxTYPE(c) != CXt_LOOP_PLAIN)
697#define CxFOREACHDEF(c) ((CxTYPE_is_LOOP(c) && CxTYPE(c) != CXt_LOOP_PLAIN) \
698 && ((c)->cx_type & CXp_FOR_DEF))
6b35e009 699
79072805 700#define CXINC (cxstack_ix < cxstack_max ? ++cxstack_ix : (cxstack_ix = cxinc()))
701
ccfc67b7 702/*
703=head1 "Gimme" Values
704*/
954c1994 705
706/*
707=for apidoc AmU||G_SCALAR
708Used to indicate scalar context. See C<GIMME_V>, C<GIMME>, and
709L<perlcall>.
710
711=for apidoc AmU||G_ARRAY
91e74348 712Used to indicate list context. See C<GIMME_V>, C<GIMME> and
954c1994 713L<perlcall>.
714
715=for apidoc AmU||G_VOID
716Used to indicate void context. See C<GIMME_V> and L<perlcall>.
717
718=for apidoc AmU||G_DISCARD
719Indicates that arguments returned from a callback should be discarded. See
720L<perlcall>.
721
722=for apidoc AmU||G_EVAL
723
724Used to force a Perl C<eval> wrapper around a callback. See
725L<perlcall>.
726
727=for apidoc AmU||G_NOARGS
728
729Indicates that no arguments are being sent to a callback. See
730L<perlcall>.
731
732=cut
733*/
734
2f8edad0 735#define G_SCALAR 2
736#define G_ARRAY 3
737#define G_VOID 1
738#define G_WANT 3
79072805 739
864dbfa3 740/* extra flags for Perl_call_* routines */
2f8edad0 741#define G_DISCARD 4 /* Call FREETMPS.
b54b4831 742 Don't change this without consulting the
743 hash actions codes defined in hv.h */
2f8edad0 744#define G_EVAL 8 /* Assume eval {} around subroutine call. */
745#define G_NOARGS 16 /* Don't construct a @_ array. */
746#define G_KEEPERR 32 /* Append errors to $@, don't overwrite it */
747#define G_NODEBUG 64 /* Disable debugging at toplevel. */
748#define G_METHOD 128 /* Calling method. */
c40f1585 749#define G_FAKINGEVAL 256 /* Faking an eval context for call_sv or
edb2152a 750 fold_constants. */
e336de0d 751
faef0170 752/* flag bits for PL_in_eval */
753#define EVAL_NULL 0 /* not in an eval */
754#define EVAL_INEVAL 1 /* some enclosing scope is an eval */
755#define EVAL_WARNONLY 2 /* used by yywarn() when calling yyerror() */
864dbfa3 756#define EVAL_KEEPERR 4 /* set by Perl_call_sv if G_KEEPERR */
6dc8a9e4 757#define EVAL_INREQUIRE 8 /* The code is being required. */
faef0170 758
e336de0d 759/* Support for switching (stack and block) contexts.
760 * This ensures magic doesn't invalidate local stack and cx pointers.
761 */
762
e788e7d3 763#define PERLSI_UNKNOWN -1
764#define PERLSI_UNDEF 0
765#define PERLSI_MAIN 1
766#define PERLSI_MAGIC 2
767#define PERLSI_SORT 3
768#define PERLSI_SIGNAL 4
769#define PERLSI_OVERLOAD 5
770#define PERLSI_DESTROY 6
771#define PERLSI_WARNHOOK 7
772#define PERLSI_DIEHOOK 8
773#define PERLSI_REQUIRE 9
e336de0d 774
775struct stackinfo {
776 AV * si_stack; /* stack for current runlevel */
777 PERL_CONTEXT * si_cxstack; /* context stack for runlevel */
9bd87817 778 struct stackinfo * si_prev;
779 struct stackinfo * si_next;
e336de0d 780 I32 si_cxix; /* current context index */
781 I32 si_cxmax; /* maximum allocated index */
782 I32 si_type; /* type of runlevel */
ce2f7c3b 783 I32 si_markoff; /* offset where markstack begins for us.
e336de0d 784 * currently used only with DEBUGGING,
785 * but not #ifdef-ed for bincompat */
786};
787
788typedef struct stackinfo PERL_SI;
789
3280af22 790#define cxstack (PL_curstackinfo->si_cxstack)
791#define cxstack_ix (PL_curstackinfo->si_cxix)
792#define cxstack_max (PL_curstackinfo->si_cxmax)
e336de0d 793
794#ifdef DEBUGGING
ce2f7c3b 795# define SET_MARK_OFFSET \
796 PL_curstackinfo->si_markoff = PL_markstack_ptr - PL_markstack
e336de0d 797#else
ce2f7c3b 798# define SET_MARK_OFFSET NOOP
e336de0d 799#endif
800
d3acc0f7 801#define PUSHSTACKi(type) \
e336de0d 802 STMT_START { \
3280af22 803 PERL_SI *next = PL_curstackinfo->si_next; \
e336de0d 804 if (!next) { \
805 next = new_stackinfo(32, 2048/sizeof(PERL_CONTEXT) - 1); \
3280af22 806 next->si_prev = PL_curstackinfo; \
807 PL_curstackinfo->si_next = next; \
e336de0d 808 } \
809 next->si_type = type; \
810 next->si_cxix = -1; \
811 AvFILLp(next->si_stack) = 0; \
3280af22 812 SWITCHSTACK(PL_curstack,next->si_stack); \
813 PL_curstackinfo = next; \
ce2f7c3b 814 SET_MARK_OFFSET; \
e336de0d 815 } STMT_END
816
e788e7d3 817#define PUSHSTACK PUSHSTACKi(PERLSI_UNKNOWN)
d3acc0f7 818
3095d977 819/* POPSTACK works with PL_stack_sp, so it may need to be bracketed by
820 * PUTBACK/SPAGAIN to flush/refresh any local SP that may be active */
d3acc0f7 821#define POPSTACK \
e336de0d 822 STMT_START { \
39644a26 823 dSP; \
c4420975 824 PERL_SI * const prev = PL_curstackinfo->si_prev; \
e336de0d 825 if (!prev) { \
bf49b057 826 PerlIO_printf(Perl_error_log, "panic: POPSTACK\n"); \
e336de0d 827 my_exit(1); \
828 } \
3280af22 829 SWITCHSTACK(PL_curstack,prev->si_stack); \
e336de0d 830 /* don't free prev here, free them all at the END{} */ \
3280af22 831 PL_curstackinfo = prev; \
e336de0d 832 } STMT_END
833
834#define POPSTACK_TO(s) \
835 STMT_START { \
3280af22 836 while (PL_curstack != s) { \
bac4b2ad 837 dounwind(-1); \
d3acc0f7 838 POPSTACK; \
bac4b2ad 839 } \
e336de0d 840 } STMT_END
923e4eb5 841
842#define IN_PERL_COMPILETIME (PL_curcop == &PL_compiling)
843#define IN_PERL_RUNTIME (PL_curcop != &PL_compiling)
844
9850bf21 845/*
846=head1 Multicall Functions
847
848=for apidoc Ams||dMULTICALL
849Declare local variables for a multicall. See L<perlcall/Lightweight Callbacks>.
850
851=for apidoc Ams||PUSH_MULTICALL
852Opening bracket for a lightweight callback.
853See L<perlcall/Lightweight Callbacks>.
854
855=for apidoc Ams||MULTICALL
856Make a lightweight callback. See L<perlcall/Lightweight Callbacks>.
857
858=for apidoc Ams||POP_MULTICALL
859Closing bracket for a lightweight callback.
860See L<perlcall/Lightweight Callbacks>.
861
862=cut
863*/
864
865#define dMULTICALL \
866 SV **newsp; /* set by POPBLOCK */ \
867 PERL_CONTEXT *cx; \
82f35e8b 868 CV *multicall_cv; \
9850bf21 869 OP *multicall_cop; \
870 bool multicall_oldcatch; \
871 U8 hasargs = 0 /* used by PUSHSUB */
872
82f35e8b 873#define PUSH_MULTICALL(the_cv) \
9850bf21 874 STMT_START { \
0bcc34c2 875 CV * const _nOnclAshIngNamE_ = the_cv; \
876 CV * const cv = _nOnclAshIngNamE_; \
877 AV * const padlist = CvPADLIST(cv); \
9850bf21 878 ENTER; \
879 multicall_oldcatch = CATCH_GET; \
880 SAVETMPS; SAVEVPTR(PL_op); \
881 CATCH_SET(TRUE); \
1bbbfc50 882 PUSHSTACKi(PERLSI_SORT); \
9850bf21 883 PUSHBLOCK(cx, CXt_SUB|CXp_MULTICALL, PL_stack_sp); \
884 PUSHSUB(cx); \
885 if (++CvDEPTH(cv) >= 2) { \
886 PERL_STACK_OVERFLOW_CHECK(); \
887 Perl_pad_push(aTHX_ padlist, CvDEPTH(cv)); \
888 } \
889 SAVECOMPPAD(); \
890 PAD_SET_CUR_NOSAVE(padlist, CvDEPTH(cv)); \
82f35e8b 891 multicall_cv = cv; \
9850bf21 892 multicall_cop = CvSTART(cv); \
893 } STMT_END
894
895#define MULTICALL \
896 STMT_START { \
897 PL_op = multicall_cop; \
898 CALLRUNOPS(aTHX); \
899 } STMT_END
900
901#define POP_MULTICALL \
902 STMT_START { \
82f35e8b 903 LEAVESUB(multicall_cv); \
904 CvDEPTH(multicall_cv)--; \
9850bf21 905 POPBLOCK(cx,PL_curpm); \
1bbbfc50 906 POPSTACK; \
9850bf21 907 CATCH_SET(multicall_oldcatch); \
908 LEAVE; \
1bbbfc50 909 SPAGAIN; \
9850bf21 910 } STMT_END
b3ca2e83 911
912/*
913 * Local variables:
914 * c-indentation-style: bsd
915 * c-basic-offset: 4
916 * indent-tabs-mode: t
917 * End:
918 *
919 * ex: set ts=8 sts=4 sw=4 noet:
920 */