X-Git-Url: http://git.vpit.fr/?a=blobdiff_plain;f=Types.xs;h=0a13cdb88caf7c94517d61d6188349c1e15a604c;hb=c09d4ed8764e8dcbcf9948d6dfd6ca03874439e2;hp=38652141345a6d762c1f27d432b39824ddd8fc6a;hpb=333c198120153b0cfe076fcb54e100dcf0eb9fb4;p=perl%2Fmodules%2FLexical-Types.git diff --git a/Types.xs b/Types.xs index 3865214..0a13cdb 100644 --- a/Types.xs +++ b/Types.xs @@ -39,6 +39,20 @@ # define SvREFCNT_inc_simple_NN SvREFCNT_inc #endif +#undef ENTERn +#if defined(ENTER_with_name) && !LT_HAS_PERL(5, 11, 4) +# define ENTERn(N) ENTER_with_name(N) +#else +# define ENTERn(N) ENTER +#endif + +#undef LEAVEn +#if defined(LEAVE_with_name) && !LT_HAS_PERL(5, 11, 4) +# define LEAVEn(N) LEAVE_with_name(N) +#else +# define LEAVEn(N) LEAVE +#endif + /* ... Thread safety and multiplicity ...................................... */ #ifndef LT_MULTIPLICITY @@ -91,7 +105,7 @@ typedef struct { SV *code; - UV requires; + IV cxreq; } lt_hint_t; #define LT_HINT_STRUCT 1 @@ -185,11 +199,11 @@ STATIC void lt_ptable_hints_clone(pTHX_ ptable_ent *ent, void *ud_) { #if LT_HINT_STRUCT - h2 = PerlMemShared_malloc(sizeof *h2); - h2->code = lt_clone(h1->code, ud->owner); + h2 = PerlMemShared_malloc(sizeof *h2); + h2->code = lt_clone(h1->code, ud->owner); SvREFCNT_inc(h2->code); #if LT_WORKAROUND_REQUIRE_PROPAGATION - h2->requires = h1->requires; + h2->cxreq = h1->cxreq; #endif #else /* LT_HINT_STRUCT */ @@ -223,6 +237,26 @@ STATIC void lt_thread_cleanup(pTHX_ void *ud) { /* ... Hint tags ........................................................... */ +#if LT_WORKAROUND_REQUIRE_PROPAGATION +STATIC IV lt_require_tag(pTHX) { +#define lt_require_tag() lt_require_tag(aTHX) + const PERL_SI *si; + + for (si = PL_curstackinfo; si; si = si->si_prev) { + I32 cxix; + + for (cxix = si->si_cxix; cxix >= 0; --cxix) { + const PERL_CONTEXT *cx = si->si_cxstack + cxix; + + if (CxTYPE(cx) == CXt_EVAL && cx->blk_eval.old_op_type == OP_REQUIRE) + return PTR2IV(cx); + } + } + + return PTR2IV(NULL); +} +#endif /* LT_WORKAROUND_REQUIRE_PROPAGATION */ + STATIC SV *lt_tag(pTHX_ SV *value) { #define lt_tag(V) lt_tag(aTHX_ (V)) lt_hint_t *h; @@ -239,28 +273,10 @@ STATIC SV *lt_tag(pTHX_ SV *value) { #if LT_HINT_STRUCT h = PerlMemShared_malloc(sizeof *h); - h->code = code; - -#if LT_WORKAROUND_REQUIRE_PROPAGATION - { - const PERL_SI *si; - I32 requires = 0; - - for (si = PL_curstackinfo; si; si = si->si_prev) { - I32 cxix; - - for (cxix = si->si_cxix; cxix >= 0; --cxix) { - const PERL_CONTEXT *cx = si->si_cxstack + cxix; - - if (CxTYPE(cx) == CXt_EVAL && cx->blk_eval.old_op_type == OP_REQUIRE) - ++requires; - } - } - - h->requires = requires; - } -#endif /* LT_WORKAROUND_REQUIRE_PROPAGATION */ - + h->code = code; +# if LT_WORKAROUND_REQUIRE_PROPAGATION + h->cxreq = lt_require_tag(); +# endif /* LT_WORKAROUND_REQUIRE_PROPAGATION */ #else /* LT_HINT_STRUCT */ h = code; #endif /* !LT_HINT_STRUCT */ @@ -287,24 +303,9 @@ STATIC SV *lt_detag(pTHX_ const SV *hint) { #if LT_THREADSAFE h = ptable_fetch(MY_CXT.tbl, h); #endif /* LT_THREADSAFE */ - #if LT_WORKAROUND_REQUIRE_PROPAGATION - { - const PERL_SI *si; - I32 requires = 0; - - for (si = PL_curstackinfo; si; si = si->si_prev) { - I32 cxix; - - for (cxix = si->si_cxix; cxix >= 0; --cxix) { - const PERL_CONTEXT *cx = si->si_cxstack + cxix; - - if (CxTYPE(cx) == CXt_EVAL && cx->blk_eval.old_op_type == OP_REQUIRE - && ++requires > h->requires) - return NULL; - } - } - } + if (lt_require_tag() != h->cxreq) + return NULL; #endif /* LT_WORKAROUND_REQUIRE_PROPAGATION */ return LT_HINT_CODE(h); @@ -355,10 +356,10 @@ typedef struct { SV *type_pkg; SV *type_meth; #endif /* !MULTIPLICITY */ - OP *(*pp_padsv)(pTHX); + OP *(*old_pp_padsv)(pTHX); } lt_op_info; -STATIC void lt_map_store(pTHX_ const OP *o, SV *orig_pkg, SV *type_pkg, SV *type_meth, OP *(*pp_padsv)(pTHX)) { +STATIC void lt_map_store(pTHX_ const OP *o, SV *orig_pkg, SV *type_pkg, SV *type_meth, OP *(*old_pp_padsv)(pTHX)) { #define lt_map_store(O, OP, TP, TM, PP) lt_map_store(aTHX_ (O), (OP), (TP), (TM), (PP)) lt_op_info *oi; @@ -411,7 +412,7 @@ STATIC void lt_map_store(pTHX_ const OP *o, SV *orig_pkg, SV *type_pkg, SV *type oi->type_meth = type_meth; #endif /* !MULTIPLICITY */ - oi->pp_padsv = pp_padsv; + oi->old_pp_padsv = old_pp_padsv; #ifdef USE_ITHREADS MUTEX_UNLOCK(<_op_map_mutex); @@ -514,7 +515,7 @@ STATIC OP *lt_pp_padsv(pTHX) { LEAVE; } - return CALL_FPTR(oi.pp_padsv)(aTHX); + return CALL_FPTR(oi.old_pp_padsv)(aTHX); } return CALL_FPTR(PL_ppaddr[OP_PADSV])(aTHX); @@ -592,6 +593,8 @@ STATIC OP *lt_ck_padany(pTHX_ OP *o) { croak(__PACKAGE__ " mangler should return zero, one or two scalars, but got %d", items); if (items == 0) { SvREFCNT_dec(orig_pkg); + FREETMPS; + LEAVE; goto skip; } else { SV *rsv; @@ -672,19 +675,21 @@ STATIC void lt_teardown(pTHX_ void *root) { lt_initialized = 0; } -STATIC lt_setup(pTHX) { +STATIC void lt_setup(pTHX) { #define lt_setup() lt_setup(aTHX) if (lt_initialized) return; - MY_CXT_INIT; + { + MY_CXT_INIT; #if LT_THREADSAFE - MY_CXT.tbl = ptable_new(); - MY_CXT.owner = aTHX; + MY_CXT.tbl = ptable_new(); + MY_CXT.owner = aTHX; #endif - MY_CXT.pp_padsv_saved = 0; - MY_CXT.default_meth = newSVpvn("TYPEDSCALAR", 11); - SvREADONLY_on(MY_CXT.default_meth); + MY_CXT.pp_padsv_saved = 0; + MY_CXT.default_meth = newSVpvn("TYPEDSCALAR", 11); + SvREADONLY_on(MY_CXT.default_meth); + } lt_old_ck_padany = PL_check[OP_PADANY]; PL_check[OP_PADANY] = MEMBER_TO_FPTR(lt_ck_padany); @@ -708,8 +713,8 @@ MODULE = Lexical::Types PACKAGE = Lexical::Types PROTOTYPES: ENABLE -BOOT: -{ +BOOT: +{ if (!lt_booted++) { HV *stash; @@ -736,7 +741,7 @@ PREINIT: ptable *t; int *level; SV *cloned_default_meth; -CODE: +PPCODE: { my_cxt_t ud; dMY_CXT; @@ -755,10 +760,11 @@ CODE: { level = PerlMemShared_malloc(sizeof *level); *level = 1; - LEAVE; + LEAVEn("sub"); SAVEDESTRUCTOR_X(lt_thread_cleanup, level); - ENTER; + ENTERn("sub"); } + XSRETURN(0); #endif