This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
op_reg_common.h: Refactor variable for safety
[perl5.git] / op.h
CommitLineData
a0d0e21e 1/* op.h
79072805 2 *
1129b882
NC
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
LW
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 *
79072805
LW
9 */
10
11/*
12 * The fields of BASEOP are:
13 * op_next Pointer to next ppcode to execute after this one.
14 * (Top level pre-grafted op points to first op,
15 * but this is replaced when op is grafted in, when
16 * this op will point to the real next op, and the new
17 * parent takes over role of remembering starting op.)
18 * op_ppaddr Pointer to current ppcode's function.
19 * op_type The type of the operation.
2814eb74
PJ
20 * op_opt Whether or not the op has been optimised by the
21 * peephole optimiser.
7e5d8ed2
DM
22 *
23 * See the comments in S_clear_yystack() for more
24 * details on the following three flags:
85594c31 25 *
670f3923
DM
26 * op_latefree tell op_free() to clear this op (and free any kids)
27 * but not yet deallocate the struct. This means that
28 * the op may be safely op_free()d multiple times
29 * op_latefreed an op_latefree op has been op_free()d
7e5d8ed2
DM
30 * op_attached this op (sub)tree has been attached to a CV
31 *
85594c31 32 * op_spare three spare bits!
79072805
LW
33 * op_flags Flags common to all operations. See OPf_* below.
34 * op_private Flags peculiar to a particular operation (BUT,
35 * by default, set to the number of children until
36 * the operation is privatized by a check routine,
37 * which may or may not check number of children).
38 */
1850c8f9 39#include "op_reg_common.h"
79072805 40
79072805 41#define OPCODE U16
79072805 42
598921a7
NC
43#ifdef PERL_MAD
44# define MADPROP_IN_BASEOP MADPROP* op_madprop;
45#else
46# define MADPROP_IN_BASEOP
47#endif
48
61a59f30 49typedef PERL_BITFIELD16 Optype;
0053d415 50
0f4eea8f
DL
51#ifdef BASEOP_DEFINITION
52#define BASEOP BASEOP_DEFINITION
53#else
79072805
LW
54#define BASEOP \
55 OP* op_next; \
56 OP* op_sibling; \
4f63d024 57 OP* (CPERLscope(*op_ppaddr))(pTHX); \
598921a7 58 MADPROP_IN_BASEOP \
79072805 59 PADOFFSET op_targ; \
654eccd5
JD
60 PERL_BITFIELD16 op_type:9; \
61 PERL_BITFIELD16 op_opt:1; \
62 PERL_BITFIELD16 op_latefree:1; \
63 PERL_BITFIELD16 op_latefreed:1; \
64 PERL_BITFIELD16 op_attached:1; \
65 PERL_BITFIELD16 op_spare:3; \
a0d0e21e
LW
66 U8 op_flags; \
67 U8 op_private;
0f4eea8f 68#endif
79072805 69
0053d415
JD
70/* If op_type:9 is changed to :10, also change PUSHEVAL in cop.h.
71 Also, if the type of op_type is ever changed (e.g. to PERL_BITFIELD32)
72 then all the other bit-fields before/after it should change their
73 types too to let VC pack them into the same 4 byte integer.*/
17347a51 74
54310121
PP
75#define OP_GIMME(op,dfl) \
76 (((op)->op_flags & OPf_WANT) == OPf_WANT_VOID ? G_VOID : \
77 ((op)->op_flags & OPf_WANT) == OPf_WANT_SCALAR ? G_SCALAR : \
78 ((op)->op_flags & OPf_WANT) == OPf_WANT_LIST ? G_ARRAY : \
79 dfl)
80
2f8edad0 81#define OP_GIMME_REVERSE(flags) ((flags) & G_WANT)
4f911530 82
954c1994 83/*
ccfc67b7
JH
84=head1 "Gimme" Values
85
954c1994
GS
86=for apidoc Amn|U32|GIMME_V
87The XSUB-writer's equivalent to Perl's C<wantarray>. Returns C<G_VOID>,
91e74348 88C<G_SCALAR> or C<G_ARRAY> for void, scalar or list context,
683d9ad1 89respectively. See L<perlcall> for a usage example.
954c1994
GS
90
91=for apidoc Amn|U32|GIMME
92A backward-compatible version of C<GIMME_V> which can only return
93C<G_SCALAR> or C<G_ARRAY>; in a void context, it returns C<G_SCALAR>.
94Deprecated. Use C<GIMME_V> instead.
95
96=cut
97*/
98
533c011a 99#define GIMME_V OP_GIMME(PL_op, block_gimme())
79072805
LW
100
101/* Public flags */
54310121
PP
102
103#define OPf_WANT 3 /* Mask for "want" bits: */
104#define OPf_WANT_VOID 1 /* Want nothing */
105#define OPf_WANT_SCALAR 2 /* Want single value */
106#define OPf_WANT_LIST 3 /* Want list of any length */
79072805
LW
107#define OPf_KIDS 4 /* There is a firstborn child. */
108#define OPf_PARENS 8 /* This operator was parenthesized. */
463ee0b2 109 /* (Or block needs explicit scope entry.) */
a0d0e21e
LW
110#define OPf_REF 16 /* Certified reference. */
111 /* (Return container, not containee). */
112#define OPf_MOD 32 /* Will modify (lvalue). */
113#define OPf_STACKED 64 /* Some arg is arriving on the stack. */
79072805
LW
114#define OPf_SPECIAL 128 /* Do something weird for this op: */
115 /* On local LVAL, don't init local value. */
116 /* On OP_SORT, subroutine is inlined. */
117 /* On OP_NOT, inversion was implicit. */
a0d0e21e 118 /* On OP_LEAVE, don't restore curpm. */
79072805
LW
119 /* On truncate, we truncate filehandle */
120 /* On control verbs, we saw no label */
121 /* On flipflop, we saw ... instead of .. */
122 /* On UNOPs, saw bare parens, e.g. eof(). */
a0d0e21e 123 /* On OP_ENTERSUB || OP_NULL, saw a "do". */
afebc493 124 /* On OP_EXISTS, treat av as av, not avhv. */
f2ec2afd 125 /* On OP_(ENTER|LEAVE)EVAL, don't clear $@ */
54b9620d 126 /* On OP_ENTERITER, loop var is per-thread */
0ac6acae 127 /* On pushre, rx is used as part of split, e.g. split " " */
497711e7 128 /* On regcomp, "use re 'eval'" was in scope */
7c6fadd6 129 /* On OP_READLINE, was <$filehandle> */
17fda545
NC
130 /* On RV2[ACGHS]V, don't create GV--in
131 defined()*/
5df8de69
DM
132 /* On OP_DBSTATE, indicates breakpoint
133 * (runtime property) */
6a077020 134 /* On OP_AELEMFAST, indiciates pad var */
6b514a0d 135 /* On OP_REQUIRE, was seen as CORE::require */
0d863452
RH
136 /* On OP_ENTERWHEN, there's no condition */
137 /* On OP_BREAK, an implicit break */
138 /* On OP_SMARTMATCH, an implicit smartmatch */
78c72037
NC
139 /* On OP_ANONHASH and OP_ANONLIST, create a
140 reference to the new anon hash or array */
e91684bf 141 /* On OP_ENTER, store caller context */
9711599e
CS
142 /* On OP_HELEM and OP_HSLICE, localization will be followed
143 by assignment, so do not wipe the target if it is special
144 (e.g. a glob or a magic SV) */
79072805 145
54310121 146/* old names; don't use in new code, but don't break them, either */
d91ab173
GS
147#define OPf_LIST OPf_WANT_LIST
148#define OPf_KNOW OPf_WANT
954c1994 149
54310121 150#define GIMME \
62a559b8
NIS
151 (PL_op->op_flags & OPf_WANT \
152 ? ((PL_op->op_flags & OPf_WANT) == OPf_WANT_LIST \
d91ab173
GS
153 ? G_ARRAY \
154 : G_SCALAR) \
155 : dowantarray())
54310121 156
51a68671 157/* NOTE: OP_NEXTSTATE and OP_DBSTATE (i.e. COPs) carry lower
d41ff1b8
GS
158 * bits of PL_hints in op_private */
159
a0d0e21e 160/* Private for lvalues */
cd06dffe 161#define OPpLVAL_INTRO 128 /* Lvalue must be localized or lvalue sub */
a0d0e21e 162
7934575e
GS
163/* Private for OP_LEAVE, OP_LEAVESUB, OP_LEAVESUBLV and OP_LEAVEWRITE */
164#define OPpREFCOUNTED 64 /* op_targ carries a refcount */
165
a0d0e21e
LW
166/* Private for OP_AASSIGN */
167#define OPpASSIGN_COMMON 64 /* Left & right have syms in common. */
168
169/* Private for OP_SASSIGN */
170#define OPpASSIGN_BACKWARDS 64 /* Left & right switched. */
e26df76a 171#define OPpASSIGN_CV_TO_GV 128 /* Possible optimisation for constants. */
79072805 172
c90c0ff4
PP
173/* Private for OP_MATCH and OP_SUBST{,CONST} */
174#define OPpRUNTIME 64 /* Pattern coming in on the stack */
175
79072805 176/* Private for OP_TRANS */
4757a243
LW
177#define OPpTRANS_FROM_UTF 1
178#define OPpTRANS_TO_UTF 2
383e7cdd 179#define OPpTRANS_IDENTICAL 4 /* right side is same as left */
4757a243 180#define OPpTRANS_SQUASH 8
59f00321 181 /* 16 is used for OPpTARGET_MY */
4757a243
LW
182#define OPpTRANS_COMPLEMENT 32
183#define OPpTRANS_GROWS 64
59f00321
RGS
184#define OPpTRANS_DELETE 128
185#define OPpTRANS_ALL (OPpTRANS_FROM_UTF|OPpTRANS_TO_UTF|OPpTRANS_IDENTICAL|OPpTRANS_SQUASH|OPpTRANS_COMPLEMENT|OPpTRANS_GROWS|OPpTRANS_DELETE)
79072805
LW
186
187/* Private for OP_REPEAT */
a0d0e21e 188#define OPpREPEAT_DOLIST 64 /* List replication. */
79072805 189
cf2dc985 190/* Private for OP_RV2GV, OP_RV2SV, OP_AELEM, OP_HELEM, OP_PADSV */
314d4778 191#define OPpDEREF (32|64) /* autovivify: Want ref to something: */
5f05dabc
PP
192#define OPpDEREF_AV 32 /* Want ref to AV. */
193#define OPpDEREF_HV 64 /* Want ref to HV. */
194#define OPpDEREF_SV (32|64) /* Want ref to SV. */
0824d667
DM
195/* Private for OP_RV2SV, OP_RV2AV, OP_RV2AV */
196#define OPpDEREFed 4 /* prev op was OPpDEREF */
68dc0745
PP
197 /* OP_ENTERSUB only */
198#define OPpENTERSUB_DB 16 /* Debug subroutine. */
d3011074 199#define OPpENTERSUB_HASTARG 32 /* Called from OP tree. */
95f0a2f1 200#define OPpENTERSUB_NOMOD 64 /* Immune to mod() for :attrlist. */
b900987b 201 /* OP_ENTERSUB and OP_RV2CV only */
68dc0745 202#define OPpENTERSUB_AMPER 8 /* Used & form to call. */
9675f7ac 203#define OPpENTERSUB_NOPAREN 128 /* bare sub call (without parens) */
cd06dffe 204#define OPpENTERSUB_INARGS 4 /* Lval used as arg to a sub. */
76cd736e
GS
205 /* OP_GV only */
206#define OPpEARLY_CV 32 /* foo() called before sub foo was parsed */
68dc0745
PP
207 /* OP_?ELEM only */
208#define OPpLVAL_DEFER 16 /* Defer creation of array/hash elem */
241416b8 209 /* OP_RV2?V, OP_GVSV, OP_ENTERITER only */
78f9721b 210#define OPpOUR_INTRO 16 /* Variable was in an our() */
cb0d96b9 211 /* OP_RV2[AGH]V, OP_PAD[AH]V, OP_[AH]ELEM */
78f9721b 212#define OPpMAYBE_LVSUB 8 /* We might be an lvalue to return */
952306ac
RGS
213 /* OP_PADSV only */
214#define OPpPAD_STATE 16 /* is a "state" pad */
192587c2 215 /* for OP_RV2?V, lower bits carry hints (currently only HINT_STRICT_REFS) */
79072805 216
e26df76a 217 /* OP_RV2GV only */
cb0d96b9 218#define OPpDONT_INIT_GV 4 /* Call gv_fetchpv with GV_NOINIT */
e26df76a
NC
219/* (Therefore will return whatever is currently in the symbol table, not
220 guaranteed to be a PVGV) */
221
222 /* OP_RV2CV only */
223#define OPpMAY_RETURN_CONSTANT 1 /* If a constant sub, return the constant */
224
b162f9ea
IZ
225/* Private for OPs with TARGLEX */
226 /* (lower bits may carry MAXARG) */
227#define OPpTARGET_MY 16 /* Target is PADMY. */
228
ef3e5ea9
NC
229/* Private for OP_ENTERITER and OP_ITER */
230#define OPpITER_REVERSED 4 /* for (reverse ...) */
0d863452 231#define OPpITER_DEF 8 /* for $_ or for my $_ */
ef3e5ea9 232
79072805 233/* Private for OP_CONST */
468aa647 234#define OPpCONST_NOVER 2 /* no 6; */
e7fec78e 235#define OPpCONST_SHORTCIRCUIT 4 /* eg the constant 5 in (5 || foo) */
7a52d87a 236#define OPpCONST_STRICT 8 /* bearword subject to strict 'subs' */
748a9306
LW
237#define OPpCONST_ENTERED 16 /* Has been entered as symbol. */
238#define OPpCONST_ARYBASE 32 /* Was a $[ translated to constant. */
a0d0e21e 239#define OPpCONST_BARE 64 /* Was a bare word (filehandle?). */
599cee73 240#define OPpCONST_WARNING 128 /* Was a $^W translated to constant. */
79072805
LW
241
242/* Private for OP_FLIP/FLOP */
a0d0e21e 243#define OPpFLIP_LINENUM 64 /* Range arg potentially a line num. */
79072805 244
ed6116ce 245/* Private for OP_LIST */
a0d0e21e
LW
246#define OPpLIST_GUESSED 64 /* Guessed that pushmark was needed. */
247
5f05dabc 248/* Private for OP_DELETE */
54310121 249#define OPpSLICE 64 /* Operating on a list of keys */
7332a6c4 250/* Also OPpLVAL_INTRO (128) */
5f05dabc 251
afebc493
GS
252/* Private for OP_EXISTS */
253#define OPpEXISTS_SUB 64 /* Checking for &sub, not {} or []. */
254
9c007264
JH
255/* Private for OP_SORT */
256#define OPpSORT_NUMERIC 1 /* Optimized away { $a <=> $b } */
257#define OPpSORT_INTEGER 2 /* Ditto while under "use integer" */
eb209983 258#define OPpSORT_REVERSE 4 /* Reversed sort */
fe1bc4cf 259#define OPpSORT_INPLACE 8 /* sort in-place; eg @a = sort @a */
eb209983 260#define OPpSORT_DESCEND 16 /* Descending sort */
7b9ef140
RH
261#define OPpSORT_QSORT 32 /* Use quicksort (not mergesort) */
262#define OPpSORT_STABLE 64 /* Use a stable algorithm */
263
484c818f
VP
264/* Private for OP_REVERSE */
265#define OPpREVERSE_INPLACE 8 /* reverse in-place (@a = reverse @a) */
266
16fe6d59
GS
267/* Private for OP_OPEN and OP_BACKTICK */
268#define OPpOPEN_IN_RAW 16 /* binmode(F,":raw") on input fh */
269#define OPpOPEN_IN_CRLF 32 /* binmode(F,":crlf") on input fh */
270#define OPpOPEN_OUT_RAW 64 /* binmode(F,":raw") on output fh */
271#define OPpOPEN_OUT_CRLF 128 /* binmode(F,":crlf") on output fh */
272
96e176bf
CL
273/* Private for OP_EXIT, HUSH also for OP_DIE */
274#define OPpHUSH_VMSISH 64 /* hush DCL exit msg vmsish mode*/
d98f61e7
GS
275#define OPpEXIT_VMSISH 128 /* exit(0) vs. exit(1) vmsish mode*/
276
0d863452 277/* Private for OP_FTXXX */
1af34c76 278#define OPpFT_ACCESS 2 /* use filetest 'access' */
fbb0b3b3 279#define OPpFT_STACKED 4 /* stacked filetest, as in "-f -x $f" */
1af34c76 280
59f00321
RGS
281/* Private for OP_(MAP|GREP)(WHILE|START) */
282#define OPpGREP_LEX 2 /* iterate over lexical $_ */
283
0d863452
RH
284/* Private for OP_ENTEREVAL */
285#define OPpEVAL_HAS_HH 2 /* Does it have a copy of %^H */
286
79072805
LW
287struct op {
288 BASEOP
289};
290
291struct unop {
292 BASEOP
293 OP * op_first;
294};
295
296struct binop {
297 BASEOP
298 OP * op_first;
299 OP * op_last;
300};
301
302struct logop {
303 BASEOP
304 OP * op_first;
305 OP * op_other;
306};
307
79072805
LW
308struct listop {
309 BASEOP
310 OP * op_first;
311 OP * op_last;
79072805
LW
312};
313
314struct pmop {
315 BASEOP
316 OP * op_first;
317 OP * op_last;
1fcf4c12 318#ifdef USE_ITHREADS
fd1bc7eb 319 IV op_pmoffset;
1fcf4c12
AB
320#else
321 REGEXP * op_pmregexp; /* compiled expression */
322#endif
69bdead3 323 U32 op_pmflags;
29f2e912 324 union {
20e98b0f
NC
325 OP * op_pmreplroot; /* For OP_SUBST */
326#ifdef USE_ITHREADS
327 PADOFFSET op_pmtargetoff; /* For OP_PUSHRE */
328#else
329 GV * op_pmtargetgv;
330#endif
331 } op_pmreplrootu;
332 union {
29f2e912 333 OP * op_pmreplstart; /* Only used in OP_SUBST */
cb55de95 334#ifdef USE_ITHREADS
29f2e912 335 char * op_pmstashpv; /* Only used in OP_MATCH, with PMf_ONCE set */
cb55de95 336#else
29f2e912 337 HV * op_pmstash;
cb55de95 338#endif
29f2e912 339 } op_pmstashstartu;
79072805 340};
a0d0e21e 341
1fcf4c12 342#ifdef USE_ITHREADS
14a49a24
NC
343#define PM_GETRE(o) (SvTYPE(PL_regex_pad[(o)->op_pmoffset]) == SVt_REGEXP \
344 ? (REGEXP*)(PL_regex_pad[(o)->op_pmoffset]) : NULL)
ede1273d
NC
345/* The assignment is just to enforce type safety (or at least get a warning).
346 */
14a49a24
NC
347/* With first class regexps not via a reference one needs to assign
348 &PL_sv_undef under ithreads. (This would probably work unthreaded, but NULL
349 is cheaper. I guess we could allow NULL, but the check above would get
350 more complex, and we'd have an AV with (SV*)NULL in it, which feels bad */
351/* BEWARE - something that calls this macro passes (r) which has a side
352 effect. */
ede1273d 353#define PM_SETRE(o,r) STMT_START { \
b1bc3f34 354 REGEXP *const _pm_setre = (r); \
7948fc08 355 assert(_pm_setre); \
b1bc3f34 356 PL_regex_pad[(o)->op_pmoffset] = MUTABLE_SV(_pm_setre); \
ede1273d 357 } STMT_END
1fcf4c12 358#else
b9ed2502
AB
359#define PM_GETRE(o) ((o)->op_pmregexp)
360#define PM_SETRE(o,r) ((o)->op_pmregexp = (r))
1fcf4c12 361#endif
4825b64b 362
3214c85f 363#define PMf_BASE_SHIFT ((_RXf_PMf_SHIFT_NEXT)-1)
f4a4cecb 364
1850c8f9 365/* taint $1 etc. if target tainted */
f4a4cecb 366#define PMf_RETAINT (1<<(PMf_BASE_SHIFT+1))
c737faaf 367
c0f1c194
KW
368/* match successfully only once per reset, with related flag RXf_USED in
369 * re->extflags holding state. This is used only for ?? matches, and only on
370 * OP_MATCH and OP_QR */
f4a4cecb 371#define PMf_ONCE (1<<(PMf_BASE_SHIFT+2))
1850c8f9
KW
372
373/* replacement contains variables */
f4a4cecb 374#define PMf_MAYBE_CONST (1<<(PMf_BASE_SHIFT+3))
1850c8f9
KW
375
376/* PMf_ONCE has matched successfully. Not used under threading. */
f4a4cecb 377#define PMf_USED (1<<(PMf_BASE_SHIFT+4))
1850c8f9
KW
378
379/* subst replacement is constant */
f4a4cecb 380#define PMf_CONST (1<<(PMf_BASE_SHIFT+5))
c737faaf 381
1850c8f9 382/* keep 1st runtime pattern forever */
f4a4cecb
KW
383#define PMf_KEEP (1<<(PMf_BASE_SHIFT+6))
384#define PMf_GLOBAL (1<<(PMf_BASE_SHIFT+7)) /* pattern had a g modifier */
c737faaf 385
1850c8f9 386/* don't reset pos() if //g fails */
f4a4cecb 387#define PMf_CONTINUE (1<<(PMf_BASE_SHIFT+8))
1850c8f9
KW
388
389/* evaluating replacement as expr */
f4a4cecb 390#define PMf_EVAL (1<<(PMf_BASE_SHIFT+9))
c0f1c194
KW
391
392/* Return substituted string instead of modifying it. */
f4a4cecb 393#define PMf_NONDESTRUCT (1<<(PMf_BASE_SHIFT+10))
e357fc67 394
f4a4cecb 395#if PMf_BASE_SHIFT+10 > 31
32cdcf9d 396# error Too many PMf_ bits used. See above and regnodes.h for any spare in middle
1850c8f9 397#endif
79072805 398
e357fc67 399/* mask of bits that need to be transfered to re->extflags */
cde0cee5 400#define PMf_COMPILETIME (PMf_MULTILINE|PMf_SINGLELINE|PMf_LOCALE|PMf_FOLD|PMf_EXTENDED|PMf_KEEPCOPY)
8782bef2 401
cb55de95 402#ifdef USE_ITHREADS
05ec9bb3 403
29f2e912
NC
404# define PmopSTASHPV(o) \
405 (((o)->op_pmflags & PMf_ONCE) ? (o)->op_pmstashstartu.op_pmstashpv : NULL)
406# if defined (DEBUGGING) && defined(__GNUC__) && !defined(PERL_GCC_BRACE_GROUPS_FORBIDDEN)
407# define PmopSTASHPV_set(o,pv) ({ \
408 assert((o)->op_pmflags & PMf_ONCE); \
409 ((o)->op_pmstashstartu.op_pmstashpv = savesharedpv(pv)); \
410 })
411# else
412# define PmopSTASHPV_set(o,pv) \
413 ((o)->op_pmstashstartu.op_pmstashpv = savesharedpv(pv))
414# endif
cb55de95 415# define PmopSTASH(o) (PmopSTASHPV(o) \
29f2e912 416 ? gv_stashpv((o)->op_pmstashstartu.op_pmstashpv,GV_ADD) : NULL)
bd61b366 417# define PmopSTASH_set(o,hv) PmopSTASHPV_set(o, ((hv) ? HvNAME_get(hv) : NULL))
05ec9bb3
NIS
418# define PmopSTASH_free(o) PerlMemShared_free(PmopSTASHPV(o))
419
cb55de95 420#else
29f2e912
NC
421# define PmopSTASH(o) \
422 (((o)->op_pmflags & PMf_ONCE) ? (o)->op_pmstashstartu.op_pmstash : NULL)
423# if defined (DEBUGGING) && defined(__GNUC__) && !defined(PERL_GCC_BRACE_GROUPS_FORBIDDEN)
424# define PmopSTASH_set(o,hv) ({ \
425 assert((o)->op_pmflags & PMf_ONCE); \
426 ((o)->op_pmstashstartu.op_pmstash = (hv)); \
427 })
428# else
429# define PmopSTASH_set(o,hv) ((o)->op_pmstashstartu.op_pmstash = (hv))
430# endif
bd61b366 431# define PmopSTASHPV(o) (PmopSTASH(o) ? HvNAME_get(PmopSTASH(o)) : NULL)
29f2e912 432 /* op_pmstashstartu.op_pmstash is not refcounted */
cb55de95 433# define PmopSTASHPV_set(o,pv) PmopSTASH_set((o), gv_stashpv(pv,GV_ADD))
c4bd3ae5
NC
434/* Note that if this becomes non-empty, then S_forget_pmop in op.c will need
435 changing */
05ec9bb3 436# define PmopSTASH_free(o)
cb55de95
JH
437#endif
438
79072805
LW
439struct svop {
440 BASEOP
441 SV * op_sv;
442};
443
7934575e 444struct padop {
79072805 445 BASEOP
7934575e 446 PADOFFSET op_padix;
79072805
LW
447};
448
449struct pvop {
450 BASEOP
451 char * op_pv;
452};
453
79072805
LW
454struct loop {
455 BASEOP
456 OP * op_first;
457 OP * op_last;
79072805
LW
458 OP * op_redoop;
459 OP * op_nextop;
460 OP * op_lastop;
461};
462
350de78d
GS
463#define cUNOPx(o) ((UNOP*)o)
464#define cBINOPx(o) ((BINOP*)o)
465#define cLISTOPx(o) ((LISTOP*)o)
466#define cLOGOPx(o) ((LOGOP*)o)
467#define cPMOPx(o) ((PMOP*)o)
468#define cSVOPx(o) ((SVOP*)o)
469#define cPADOPx(o) ((PADOP*)o)
470#define cPVOPx(o) ((PVOP*)o)
471#define cCOPx(o) ((COP*)o)
472#define cLOOPx(o) ((LOOP*)o)
473
474#define cUNOP cUNOPx(PL_op)
475#define cBINOP cBINOPx(PL_op)
476#define cLISTOP cLISTOPx(PL_op)
477#define cLOGOP cLOGOPx(PL_op)
478#define cPMOP cPMOPx(PL_op)
479#define cSVOP cSVOPx(PL_op)
480#define cPADOP cPADOPx(PL_op)
481#define cPVOP cPVOPx(PL_op)
482#define cCOP cCOPx(PL_op)
483#define cLOOP cLOOPx(PL_op)
484
485#define cUNOPo cUNOPx(o)
486#define cBINOPo cBINOPx(o)
487#define cLISTOPo cLISTOPx(o)
488#define cLOGOPo cLOGOPx(o)
489#define cPMOPo cPMOPx(o)
490#define cSVOPo cSVOPx(o)
491#define cPADOPo cPADOPx(o)
492#define cPVOPo cPVOPx(o)
493#define cCOPo cCOPx(o)
494#define cLOOPo cLOOPx(o)
495
496#define kUNOP cUNOPx(kid)
497#define kBINOP cBINOPx(kid)
498#define kLISTOP cLISTOPx(kid)
499#define kLOGOP cLOGOPx(kid)
500#define kPMOP cPMOPx(kid)
501#define kSVOP cSVOPx(kid)
502#define kPADOP cPADOPx(kid)
503#define kPVOP cPVOPx(kid)
504#define kCOP cCOPx(kid)
505#define kLOOP cLOOPx(kid)
506
507
508#ifdef USE_ITHREADS
dd2155a4 509# define cGVOPx_gv(o) ((GV*)PAD_SVl(cPADOPx(o)->op_padix))
cecf5685
NC
510# define IS_PADGV(v) (v && SvTYPE(v) == SVt_PVGV && isGV_with_GP(v) \
511 && GvIN_PAD(v))
7766f137
GS
512# define IS_PADCONST(v) (v && SvREADONLY(v))
513# define cSVOPx_sv(v) (cSVOPx(v)->op_sv \
dd2155a4 514 ? cSVOPx(v)->op_sv : PAD_SVl((v)->op_targ))
638eceb6 515# define cSVOPx_svp(v) (cSVOPx(v)->op_sv \
dd2155a4 516 ? &cSVOPx(v)->op_sv : &PAD_SVl((v)->op_targ))
350de78d 517#else
638eceb6 518# define cGVOPx_gv(o) ((GV*)cSVOPx(o)->op_sv)
743e66e6 519# define IS_PADGV(v) FALSE
7766f137
GS
520# define IS_PADCONST(v) FALSE
521# define cSVOPx_sv(v) (cSVOPx(v)->op_sv)
638eceb6 522# define cSVOPx_svp(v) (&cSVOPx(v)->op_sv)
350de78d 523#endif
79072805 524
638eceb6
GS
525#define cGVOP_gv cGVOPx_gv(PL_op)
526#define cGVOPo_gv cGVOPx_gv(o)
527#define kGVOP_gv cGVOPx_gv(kid)
528#define cSVOP_sv cSVOPx_sv(PL_op)
529#define cSVOPo_sv cSVOPx_sv(o)
530#define kSVOP_sv cSVOPx_sv(kid)
7766f137 531
bcabcc50
NC
532#ifndef PERL_CORE
533# define Nullop ((OP*)NULL)
534#endif
79072805 535
91135acb 536/* Lowest byte-and-a-bit of PL_opargs */
a0d0e21e
LW
537#define OA_MARK 1
538#define OA_FOLDCONST 2
539#define OA_RETSCALAR 4
540#define OA_TARGET 8
541#define OA_RETINTEGER 16
542#define OA_OTHERINT 32
543#define OA_DANGEROUS 64
544#define OA_DEFGV 128
b162f9ea 545#define OA_TARGLEX 256
a0d0e21e 546
db173bac 547/* The next 4 bits encode op class information */
b162f9ea
IZ
548#define OCSHIFT 9
549
550#define OA_CLASS_MASK (15 << OCSHIFT)
551
552#define OA_BASEOP (0 << OCSHIFT)
553#define OA_UNOP (1 << OCSHIFT)
554#define OA_BINOP (2 << OCSHIFT)
555#define OA_LOGOP (3 << OCSHIFT)
1a67a97c
SM
556#define OA_LISTOP (4 << OCSHIFT)
557#define OA_PMOP (5 << OCSHIFT)
558#define OA_SVOP (6 << OCSHIFT)
7934575e 559#define OA_PADOP (7 << OCSHIFT)
1a67a97c
SM
560#define OA_PVOP_OR_SVOP (8 << OCSHIFT)
561#define OA_LOOP (9 << OCSHIFT)
562#define OA_COP (10 << OCSHIFT)
563#define OA_BASEOP_OR_UNOP (11 << OCSHIFT)
564#define OA_FILESTATOP (12 << OCSHIFT)
565#define OA_LOOPEXOP (13 << OCSHIFT)
b162f9ea
IZ
566
567#define OASHIFT 13
a0d0e21e 568
4369b173 569/* Remaining nybbles of PL_opargs */
a0d0e21e
LW
570#define OA_SCALAR 1
571#define OA_LIST 2
572#define OA_AVREF 3
573#define OA_HVREF 4
574#define OA_CVREF 5
575#define OA_FILEREF 6
576#define OA_SCALARREF 7
577#define OA_OPTIONAL 8
578
d3c72c2a
DM
579/* Op_REFCNT is a reference count at the head of each op tree: needed
580 * since the tree is shared between threads, and between cloned closure
581 * copies in the same thread. OP_REFCNT_LOCK/UNLOCK is used when modifying
582 * this count.
583 * The same mutex is used to protect the refcounts of the reg_trie_data
584 * and reg_ac_data structures, which are shared between duplicated
585 * regexes.
586 */
587
534825c4
GS
588#ifdef USE_ITHREADS
589# define OP_REFCNT_INIT MUTEX_INIT(&PL_op_mutex)
4026c95a
SH
590# ifdef PERL_CORE
591# define OP_REFCNT_LOCK MUTEX_LOCK(&PL_op_mutex)
592# define OP_REFCNT_UNLOCK MUTEX_UNLOCK(&PL_op_mutex)
593# else
594# define OP_REFCNT_LOCK op_refcnt_lock()
595# define OP_REFCNT_UNLOCK op_refcnt_unlock()
596# endif
534825c4 597# define OP_REFCNT_TERM MUTEX_DESTROY(&PL_op_mutex)
534825c4
GS
598#else
599# define OP_REFCNT_INIT NOOP
600# define OP_REFCNT_LOCK NOOP
601# define OP_REFCNT_UNLOCK NOOP
602# define OP_REFCNT_TERM NOOP
534825c4 603#endif
e4783991 604
282f25c9 605#define OpREFCNT_set(o,n) ((o)->op_targ = (n))
fc97af9c
NC
606#ifdef PERL_DEBUG_READONLY_OPS
607# define OpREFCNT_inc(o) Perl_op_refcnt_inc(aTHX_ o)
608# define OpREFCNT_dec(o) Perl_op_refcnt_dec(aTHX_ o)
609#else
610# define OpREFCNT_inc(o) ((o) ? (++(o)->op_targ, (o)) : NULL)
611# define OpREFCNT_dec(o) (--(o)->op_targ)
612#endif
282f25c9 613
e4783991 614/* flags used by Perl_load_module() */
ec6d81ab
RGS
615#define PERL_LOADMOD_DENY 0x1 /* no Module */
616#define PERL_LOADMOD_NOIMPORT 0x2 /* use Module () */
617#define PERL_LOADMOD_IMPORT_OPS 0x4 /* use Module (...) */
e5dd39fc 618
a0c21aa1 619#if defined(PERL_IN_PERLY_C) || defined(PERL_IN_OP_C)
e4c5ccf3 620#define ref(o, type) doref(o, type, TRUE)
a0c21aa1 621#endif
e4c5ccf3 622
33f36c71
NC
623/* no longer used anywhere in core */
624#ifndef PERL_CORE
46471bde
NC
625#define cv_ckproto(cv, gv, p) \
626 cv_ckproto_len((cv), (gv), (p), (p) ? strlen(p) : 0)
33f36c71
NC
627#endif
628
7d0905b9
NC
629#ifdef PERL_CORE
630# define my(o) my_attrs((o), NULL)
631#endif
632
e5dd39fc 633#ifdef USE_REENTRANT_API
10bc17b6 634#include "reentr.h"
e5dd39fc
AB
635#endif
636
c7e45529
AE
637#if defined(PL_OP_SLAB_ALLOC)
638#define NewOp(m,var,c,type) \
e91d68d5 639 (var = (type *) Perl_Slab_Alloc(aTHX_ c*sizeof(type)))
c7e45529 640#define NewOpSz(m,var,size) \
e91d68d5 641 (var = (OP *) Perl_Slab_Alloc(aTHX_ size))
c7e45529
AE
642#define FreeOp(p) Perl_Slab_Free(aTHX_ p)
643#else
04e62e51
NC
644#define NewOp(m, var, c, type) \
645 (var = (MEM_WRAP_CHECK_(c,type) \
646 (type*)PerlMemShared_calloc(c, sizeof(type))))
113b9ccf 647#define NewOpSz(m, var, size) \
04e62e51
NC
648 (var = (OP*)PerlMemShared_calloc(1, size))
649#define FreeOp(p) PerlMemShared_free(p)
c7e45529 650#endif
598921a7 651
1930840b 652struct block_hooks {
52db365a 653 U32 bhk_flags;
1930840b
BM
654 void (*bhk_start) (pTHX_ int full);
655 void (*bhk_pre_end) (pTHX_ OP **seq);
656 void (*bhk_post_end) (pTHX_ OP **seq);
52db365a 657 void (*bhk_eval) (pTHX_ OP *const saveop);
1930840b
BM
658};
659
fd85fad2
BM
660/*
661=head1 Compile-time scope hooks
662
663=for apidoc m|U32|BhkFLAGS|BHK *hk
664Return the BHK's flags.
665
666=for apidoc m|void *|BhkENTRY|BHK *hk|which
667Return an entry from the BHK structure. I<which> is a preprocessor token
668indicating which entry to return. If the appropriate flag is not set
669this will return NULL. The type of the return value depends on which
670entry you ask for.
671
672=for apidoc Am|void|BhkENTRY_set|BHK *hk|which|void *ptr
673Set an entry in the BHK structure, and set the flags to indicate it is
674valid. I<which> is a preprocessing token indicating which entry to set.
675The type of I<ptr> depends on the entry.
676
a3e07c87
BM
677=for apidoc Am|void|BhkDISABLE|BHK *hk|which
678Temporarily disable an entry in this BHK structure, by clearing the
679appropriate flag. I<which> is a preprocessor token indicating which
680entry to disable.
681
682=for apidoc Am|void|BhkENABLE|BHK *hk|which
683Re-enable an entry in this BHK structure, by setting the appropriate
684flag. I<which> is a preprocessor token indicating which entry to enable.
685This will assert (under -DDEBUGGING) if the entry doesn't contain a valid
686pointer.
687
fd85fad2
BM
688=for apidoc m|void|CALL_BLOCK_HOOKS|which|arg
689Call all the registered block hooks for type I<which>. I<which> is a
690preprocessing token; the type of I<arg> depends on I<which>.
691
692=cut
693*/
694
52db365a
BM
695#define BhkFLAGS(hk) ((hk)->bhk_flags)
696
697#define BHKf_start 0x01
698#define BHKf_pre_end 0x02
699#define BHKf_post_end 0x04
700#define BHKf_eval 0x08
701
702#define BhkENTRY(hk, which) \
703 ((BhkFLAGS(hk) & BHKf_ ## which) ? ((hk)->bhk_ ## which) : NULL)
704
a3e07c87
BM
705#define BhkENABLE(hk, which) \
706 STMT_START { \
707 BhkFLAGS(hk) |= BHKf_ ## which; \
708 assert(BhkENTRY(hk, which)); \
709 } STMT_END
710
711#define BhkDISABLE(hk, which) \
712 STMT_START { \
713 BhkFLAGS(hk) &= ~(BHKf_ ## which); \
714 } STMT_END
715
52db365a
BM
716#define BhkENTRY_set(hk, which, ptr) \
717 STMT_START { \
718 (hk)->bhk_ ## which = ptr; \
a3e07c87 719 BhkENABLE(hk, which); \
52db365a
BM
720 } STMT_END
721
1930840b
BM
722#define CALL_BLOCK_HOOKS(which, arg) \
723 STMT_START { \
724 if (PL_blockhooks) { \
725 I32 i; \
726 for (i = av_len(PL_blockhooks); i >= 0; i--) { \
727 SV *sv = AvARRAY(PL_blockhooks)[i]; \
52db365a 728 BHK *hk; \
1930840b
BM
729 \
730 assert(SvIOK(sv)); \
731 if (SvUOK(sv)) \
52db365a 732 hk = INT2PTR(BHK *, SvUVX(sv)); \
1930840b 733 else \
52db365a 734 hk = INT2PTR(BHK *, SvIVX(sv)); \
1930840b 735 \
52db365a
BM
736 if (BhkENTRY(hk, which)) \
737 CALL_FPTR(BhkENTRY(hk, which))(aTHX_ arg); \
1930840b
BM
738 } \
739 } \
740 } STMT_END
741
598921a7
NC
742#ifdef PERL_MAD
743# define MAD_NULL 1
744# define MAD_PV 2
745# define MAD_OP 3
746# define MAD_SV 4
747
748struct madprop {
749 MADPROP* mad_next;
d503a9ba 750 void *mad_val;
598921a7
NC
751 U32 mad_vlen;
752/* short mad_count; */
753 char mad_key;
754 char mad_type;
755};
756
757struct token {
758 I32 tk_type;
759 YYSTYPE tk_lval;
760 MADPROP* tk_mad;
761};
762#endif
2d910ff8
RGS
763
764/*
2b3def87 765 * Values that can be held by mad_key :
2d910ff8
RGS
766 * ^ unfilled head spot
767 * , literal ,
768 * ; literal ; (blank if implicit ; at end of block)
769 * : literal : from ?: or attr list
770 * + unary +
771 * ? literal ? from ?:
772 * ( literal (
773 * ) literal )
774 * [ literal [
775 * ] literal ]
776 * { literal {
777 * } literal }
778 * @ literal @ sigil
779 * $ literal $ sigil
780 * * literal * sigil
781 * ! use is source filtered
782 * & & or sub
783 * # whitespace/comment following ; or }
784 * # $# sigil
785 * 1 1st ; from for(;;)
786 * 1 retired protasis
787 * 2 2nd ; from for(;;)
788 * 2 retired apodosis
789 * 3 C-style for list
790 * a sub or var attributes
791 * a non-method arrow operator
792 * A method arrow operator
793 * A use import args
794 * b format block
795 * B retired stub block
796 * C constant conditional op
797 * d declarator
798 * D do block
799 * e unreached "else" (see C)
800 * e expression producing E
801 * E tr/E/R/, /E/
802 * f folded constant op
803 * F peg op for format
63575281 804 * g op was forced to be a word
2d910ff8
RGS
805 * i if/unless modifier
806 * I if/elsif/unless statement
dde83331 807 * k local declarator
2d910ff8
RGS
808 * K retired kid op
809 * l last index of array ($#foo)
810 * L label
811 * m modifier on regex
2d910ff8
RGS
812 * n sub or format name
813 * o current operator/declarator name
814 * o else/continue
815 * O generic optimized op
816 * p peg to hold extra whitespace at statement level
817 * P peg op for package declaration
818 * q opening quote
819 * = quoted material
820 * Q closing quote
821 * Q optimized qw//
822 * r expression producing R
823 * R tr/E/R/ s/E/R/
2d910ff8
RGS
824 * s sub signature
825 * S use import stub (no import)
826 * S retired sort block
827 * t unreached "then" (see C)
828 * U use import op
829 * v private sv of for loop
830 * V use version
831 * w while/until modifier
832 * W while/for statement
833 * x optimized qw
834 * X random thing
835 * _ whitespace/comments preceding anything else
836 * ~ =~ operator
837 */
3f2908ec
NC
838
839/*
840 * Local variables:
841 * c-indentation-style: bsd
842 * c-basic-offset: 4
843 * indent-tabs-mode: t
844 * End:
845 *
846 * ex: set ts=8 sts=4 sw=4 noet:
847 */