Types.xs

   1 /* This file is part of the Lexical-Types Perl module.
   2  * See http://search.cpan.org/dist/Lexical-Types/ */
   3
   4 #define PERL_NO_GET_CONTEXT
   5 #include "EXTERN.h"
   6 #include "perl.h"
   7 #include "XSUB.h"
   8
   9 #define __PACKAGE__     "Lexical::Types"
  10 #define __PACKAGE_LEN__ (sizeof(__PACKAGE__)-1)
  11
  12 /* --- Compatibility wrappers ---------------------------------------------- */
  13
  14 #define LT_HAS_PERL(R, V, S) (PERL_REVISION > (R) || (PERL_REVISION == (R) && (PERL_VERSION > (V) || (PERL_VERSION == (V) && (PERL_SUBVERSION >= (S))))))
  15
  16 #if LT_HAS_PERL(5, 10, 0) || defined(PL_parser)
  17 # ifndef PL_in_my_stash
  18 #  define PL_in_my_stash PL_parser->in_my_stash
  19 # endif
  20 #else
  21 # ifndef PL_in_my_stash
  22 #  define PL_in_my_stash PL_Iin_my_stash
  23 # endif
  24 #endif
  25
  26 #ifndef LT_WORKAROUND_REQUIRE_PROPAGATION
  27 # define LT_WORKAROUND_REQUIRE_PROPAGATION !LT_HAS_PERL(5, 10, 1)
  28 #endif
  29
  30 #ifndef HvNAME_get
  31 # define HvNAME_get(H) HvNAME(H)
  32 #endif
  33
  34 #ifndef HvNAMELEN_get
  35 # define HvNAMELEN_get(H) strlen(HvNAME_get(H))
  36 #endif
  37
  38 #ifndef SvREFCNT_inc_simple_NN
  39 # define SvREFCNT_inc_simple_NN SvREFCNT_inc
  40 #endif
  41
  42 /* ... Thread safety and multiplicity ...................................... */
  43
  44 #ifndef LT_MULTIPLICITY
  45 # if defined(MULTIPLICITY) || defined(PERL_IMPLICIT_CONTEXT)
  46 #  define LT_MULTIPLICITY 1
  47 # else
  48 #  define LT_MULTIPLICITY 0
  49 # endif
  50 #endif
  51 #if LT_MULTIPLICITY && !defined(tTHX)
  52 # define tTHX PerlInterpreter*
  53 #endif
  54
  55 #if LT_MULTIPLICITY && defined(USE_ITHREADS) && defined(dMY_CXT) && defined(MY_CXT) && defined(START_MY_CXT) && defined(MY_CXT_INIT) && (defined(MY_CXT_CLONE) || defined(dMY_CXT_SV))
  56 # define LT_THREADSAFE 1
  57 # ifndef MY_CXT_CLONE
  58 #  define MY_CXT_CLONE \
  59     dMY_CXT_SV;                                                      \
  60     my_cxt_t *my_cxtp = (my_cxt_t*)SvPVX(newSV(sizeof(my_cxt_t)-1)); \
  61     Copy(INT2PTR(my_cxt_t*, SvUV(my_cxt_sv)), my_cxtp, 1, my_cxt_t); \
  62     sv_setuv(my_cxt_sv, PTR2UV(my_cxtp))
  63 # endif
  64 #else
  65 # define LT_THREADSAFE 0
  66 # undef  dMY_CXT
  67 # define dMY_CXT      dNOOP
  68 # undef  MY_CXT
  69 # define MY_CXT       lt_globaldata
  70 # undef  START_MY_CXT
  71 # define START_MY_CXT STATIC my_cxt_t MY_CXT;
  72 # undef  MY_CXT_INIT
  73 # define MY_CXT_INIT  NOOP
  74 # undef  MY_CXT_CLONE
  75 # define MY_CXT_CLONE NOOP
  76 # undef  pMY_CXT
  77 # define pMY_CXT
  78 # undef  pMY_CXT_
  79 # define pMY_CXT_
  80 # undef  aMY_CXT
  81 # define aMY_CXT
  82 # undef  aMY_CXT_
  83 # define aMY_CXT_
  84 #endif
  85
  86 /* --- Helpers ------------------------------------------------------------- */
  87
  88 /* ... Thread-safe hints ................................................... */
  89
  90 #if LT_WORKAROUND_REQUIRE_PROPAGATION
  91
  92 typedef struct {
  93  SV *code;
  94  IV  require_tag;
  95 } lt_hint_t;
  96
  97 #define LT_HINT_STRUCT 1
  98
  99 #define LT_HINT_CODE(H) ((H)->code)
 100
 101 #define LT_HINT_FREE(H) { \
 102  lt_hint_t *h = (H);      \
 103  SvREFCNT_dec(h->code);   \
 104  PerlMemShared_free(h);   \
 105 }
 106
 107 #else  /*  LT_WORKAROUND_REQUIRE_PROPAGATION */
 108
 109 typedef SV lt_hint_t;
 110
 111 #define LT_HINT_STRUCT 0
 112
 113 #define LT_HINT_CODE(H) (H)
 114
 115 #define LT_HINT_FREE(H) SvREFCNT_dec(H);
 116
 117 #endif /* !LT_WORKAROUND_REQUIRE_PROPAGATION */
 118
 119 #if LT_THREADSAFE
 120
 121 #define PTABLE_NAME        ptable_hints
 122 #define PTABLE_VAL_FREE(V) LT_HINT_FREE(V)
 123
 124 #define pPTBL  pTHX
 125 #define pPTBL_ pTHX_
 126 #define aPTBL  aTHX
 127 #define aPTBL_ aTHX_
 128
 129 #include "ptable.h"
 130
 131 #define ptable_hints_store(T, K, V) ptable_hints_store(aTHX_ (T), (K), (V))
 132 #define ptable_hints_free(T)        ptable_hints_free(aTHX_ (T))
 133
 134 #endif /* LT_THREADSAFE */
 135
 136 /* ... Global data ......................................................... */
 137
 138 #define MY_CXT_KEY __PACKAGE__ "::_guts" XS_VERSION
 139
 140 typedef struct {
 141 #if LT_THREADSAFE
 142  ptable *tbl; /* It really is a ptable_hints */
 143  tTHX    owner;
 144 #endif
 145  SV     *default_meth;
 146  OP *  (*pp_padsv_saved)(pTHX);
 147 } my_cxt_t;
 148
 149 START_MY_CXT
 150
 151 /* ... Cloning global data ................................................. */
 152
 153 #if LT_THREADSAFE
 154
 155 typedef struct {
 156  ptable *tbl;
 157 #if LT_HAS_PERL(5, 13, 2)
 158  CLONE_PARAMS *params;
 159 #else
 160  CLONE_PARAMS params;
 161 #endif
 162 } lt_ptable_clone_ud;
 163
 164 #if LT_HAS_PERL(5, 13, 2)
 165 # define lt_ptable_clone_ud_init(U, T, O) \
 166    (U).tbl    = (T); \
 167    (U).params = Perl_clone_params_new((O), aTHX)
 168 # define lt_ptable_clone_ud_deinit(U) Perl_clone_params_del((U).params)
 169 # define lt_dup_inc(S, U)             SvREFCNT_inc(sv_dup((S), (U)->params))
 170 #else
 171 # define lt_ptable_clone_ud_init(U, T, O) \
 172    (U).tbl               = (T);     \
 173    (U).params.stashes    = newAV(); \
 174    (U).params.flags      = 0;       \
 175    (U).params.proto_perl = (O)
 176 # define lt_ptable_clone_ud_deinit(U) SvREFCNT_dec((U).params.stashes)
 177 # define lt_dup_inc(S, U)             SvREFCNT_inc(sv_dup((S), &((U)->params)))
 178 #endif
 179
 180 STATIC void lt_ptable_clone(pTHX_ ptable_ent *ent, void *ud_) {
 181  lt_ptable_clone_ud *ud = ud_;
 182  lt_hint_t *h1 = ent->val;
 183  lt_hint_t *h2;
 184
 185 #if LT_HINT_STRUCT
 186
 187  h2              = PerlMemShared_malloc(sizeof *h2);
 188  h2->code        = lt_dup_inc(h1->code, ud);
 189 #if LT_WORKAROUND_REQUIRE_PROPAGATION
 190  h2->require_tag = PTR2IV(lt_dup_inc(INT2PTR(SV *, h1->require_tag), ud));
 191 #endif
 192
 193 #else /*   LT_HINT_STRUCT */
 194
 195  h2 = lt_dup_inc(h1, ud);
 196
 197 #endif /* !LT_HINT_STRUCT */
 198
 199  ptable_hints_store(ud->tbl, ent->key, h2);
 200 }
 201
 202 #include "reap.h"
 203
 204 STATIC void lt_thread_cleanup(pTHX_ void *ud) {
 205  dMY_CXT;
 206
 207  ptable_hints_free(MY_CXT.tbl);
 208 }
 209
 210 #endif /* LT_THREADSAFE */
 211
 212 /* ... Hint tags ........................................................... */
 213
 214 #if LT_WORKAROUND_REQUIRE_PROPAGATION
 215 STATIC IV lt_require_tag(pTHX) {
 216 #define lt_require_tag() lt_require_tag(aTHX)
 217  const CV *cv, *outside;
 218
 219  cv = PL_compcv;
 220
 221  if (!cv) {
 222   /* If for some reason the pragma is operational at run-time, try to discover
 223    * the current cv in use. */
 224   const PERL_SI *si;
 225
 226   for (si = PL_curstackinfo; si; si = si->si_prev) {
 227    I32 cxix;
 228
 229    for (cxix = si->si_cxix; cxix >= 0; --cxix) {
 230     const PERL_CONTEXT *cx = si->si_cxstack + cxix;
 231
 232     switch (CxTYPE(cx)) {
 233      case CXt_SUB:
 234      case CXt_FORMAT:
 235       /* The propagation workaround is only needed up to 5.10.0 and at that
 236        * time format and sub contexts were still identical. And even later the
 237        * cv members offsets should have been kept the same. */
 238       cv = cx->blk_sub.cv;
 239       goto get_enclosing_cv;
 240      case CXt_EVAL:
 241       cv = cx->blk_eval.cv;
 242       goto get_enclosing_cv;
 243      default:
 244       break;
 245     }
 246    }
 247   }
 248
 249   cv = PL_main_cv;
 250  }
 251
 252 get_enclosing_cv:
 253  for (outside = CvOUTSIDE(cv); outside; outside = CvOUTSIDE(cv))
 254   cv = outside;
 255
 256  return PTR2IV(cv);
 257 }
 258 #endif /* LT_WORKAROUND_REQUIRE_PROPAGATION */
 259
 260 STATIC SV *lt_tag(pTHX_ SV *value) {
 261 #define lt_tag(V) lt_tag(aTHX_ (V))
 262  lt_hint_t *h;
 263  SV *code = NULL;
 264  dMY_CXT;
 265
 266  if (SvROK(value)) {
 267   value = SvRV(value);
 268   if (SvTYPE(value) >= SVt_PVCV) {
 269    code = value;
 270    SvREFCNT_inc_simple_NN(code);
 271   }
 272  }
 273
 274 #if LT_HINT_STRUCT
 275  h = PerlMemShared_malloc(sizeof *h);
 276  h->code        = code;
 277 # if LT_WORKAROUND_REQUIRE_PROPAGATION
 278  h->require_tag = lt_require_tag();
 279 # endif /* LT_WORKAROUND_REQUIRE_PROPAGATION */
 280 #else  /*  LT_HINT_STRUCT */
 281  h = code;
 282 #endif /* !LT_HINT_STRUCT */
 283
 284 #if LT_THREADSAFE
 285  /* We only need for the key to be an unique tag for looking up the value later.
 286   * Allocated memory provides convenient unique identifiers, so that's why we
 287   * use the hint as the key itself. */
 288  ptable_hints_store(MY_CXT.tbl, h, h);
 289 #endif /* LT_THREADSAFE */
 290
 291  return newSViv(PTR2IV(h));
 292 }
 293
 294 STATIC SV *lt_detag(pTHX_ const SV *hint) {
 295 #define lt_detag(H) lt_detag(aTHX_ (H))
 296  lt_hint_t *h;
 297  dMY_CXT;
 298
 299  if (!(hint && SvIOK(hint)))
 300   return NULL;
 301
 302  h = INT2PTR(lt_hint_t *, SvIVX(hint));
 303 #if LT_THREADSAFE
 304  h = ptable_fetch(MY_CXT.tbl, h);
 305 #endif /* LT_THREADSAFE */
 306 #if LT_WORKAROUND_REQUIRE_PROPAGATION
 307  if (lt_require_tag() != h->require_tag)
 308   return NULL;
 309 #endif /* LT_WORKAROUND_REQUIRE_PROPAGATION */
 310
 311  return LT_HINT_CODE(h);
 312 }
 313
 314 STATIC U32 lt_hash = 0;
 315
 316 STATIC SV *lt_hint(pTHX) {
 317 #define lt_hint() lt_hint(aTHX)
 318  SV *hint;
 319 #ifdef cop_hints_fetch_pvn
 320  hint = cop_hints_fetch_pvn(PL_curcop, __PACKAGE__, __PACKAGE_LEN__, lt_hash,0);
 321 #elif LT_HAS_PERL(5, 9, 5)
 322  hint = Perl_refcounted_he_fetch(aTHX_ PL_curcop->cop_hints_hash,
 323                                        NULL,
 324                                        __PACKAGE__, __PACKAGE_LEN__,
 325                                        0,
 326                                        lt_hash);
 327 #else
 328  SV **val = hv_fetch(GvHV(PL_hintgv), __PACKAGE__, __PACKAGE_LEN__, lt_hash);
 329  if (!val)
 330   return 0;
 331  hint = *val;
 332 #endif
 333  return lt_detag(hint);
 334 }
 335
 336 /* ... op => info map ...................................................... */
 337
 338 #define PTABLE_NAME        ptable_map
 339 #define PTABLE_VAL_FREE(V) PerlMemShared_free(V)
 340
 341 #include "ptable.h"
 342
 343 /* PerlMemShared_free() needs the [ap]PTBLMS_? default values */
 344 #define ptable_map_store(T, K, V) ptable_map_store(aPTBLMS_ (T), (K), (V))
 345
 346 STATIC ptable *lt_op_map = NULL;
 347
 348 #ifdef USE_ITHREADS
 349 STATIC perl_mutex lt_op_map_mutex;
 350 #endif
 351
 352 typedef struct {
 353 #ifdef MULTIPLICITY
 354  STRLEN buf_size, orig_pkg_len, type_pkg_len, type_meth_len;
 355  char *buf;
 356 #else /* MULTIPLICITY */
 357  SV *orig_pkg;
 358  SV *type_pkg;
 359  SV *type_meth;
 360 #endif /* !MULTIPLICITY */
 361  OP *(*old_pp_padsv)(pTHX);
 362 } lt_op_info;
 363
 364 STATIC void lt_map_store(pTHX_ const OP *o, SV *orig_pkg, SV *type_pkg, SV *type_meth, OP *(*old_pp_padsv)(pTHX)) {
 365 #define lt_map_store(O, OP, TP, TM, PP) lt_map_store(aTHX_ (O), (OP), (TP), (TM), (PP))
 366  lt_op_info *oi;
 367
 368 #ifdef USE_ITHREADS
 369  MUTEX_LOCK(&lt_op_map_mutex);
 370 #endif
 371
 372  if (!(oi = ptable_fetch(lt_op_map, o))) {
 373   oi = PerlMemShared_malloc(sizeof *oi);
 374   ptable_map_store(lt_op_map, o, oi);
 375 #ifdef MULTIPLICITY
 376   oi->buf      = NULL;
 377   oi->buf_size = 0;
 378 #else /* MULTIPLICITY */
 379  } else {
 380   SvREFCNT_dec(oi->orig_pkg);
 381   SvREFCNT_dec(oi->type_pkg);
 382   SvREFCNT_dec(oi->type_meth);
 383 #endif /* !MULTIPLICITY */
 384  }
 385
 386 #ifdef MULTIPLICITY
 387  {
 388   STRLEN op_len       = SvCUR(orig_pkg);
 389   STRLEN tp_len       = SvCUR(type_pkg);
 390   STRLEN tm_len       = SvCUR(type_meth);
 391   STRLEN new_buf_size = op_len + tp_len + tm_len;
 392   char *buf;
 393   if (new_buf_size > oi->buf_size) {
 394    PerlMemShared_free(oi->buf);
 395    oi->buf      = PerlMemShared_malloc(new_buf_size);
 396    oi->buf_size = new_buf_size;
 397   }
 398   buf  = oi->buf;
 399   Copy(SvPVX(orig_pkg),  buf, op_len, char);
 400   buf += op_len;
 401   Copy(SvPVX(type_pkg),  buf, tp_len, char);
 402   buf += tp_len;
 403   Copy(SvPVX(type_meth), buf, tm_len, char);
 404   oi->orig_pkg_len  = op_len;
 405   oi->type_pkg_len  = tp_len;
 406   oi->type_meth_len = tm_len;
 407   SvREFCNT_dec(orig_pkg);
 408   SvREFCNT_dec(type_pkg);
 409   SvREFCNT_dec(type_meth);
 410  }
 411 #else /* MULTIPLICITY */
 412  oi->orig_pkg  = orig_pkg;
 413  oi->type_pkg  = type_pkg;
 414  oi->type_meth = type_meth;
 415 #endif /* !MULTIPLICITY */
 416
 417  oi->old_pp_padsv = old_pp_padsv;
 418
 419 #ifdef USE_ITHREADS
 420  MUTEX_UNLOCK(&lt_op_map_mutex);
 421 #endif
 422 }
 423
 424 STATIC const lt_op_info *lt_map_fetch(const OP *o, lt_op_info *oi) {
 425  const lt_op_info *val;
 426
 427 #ifdef USE_ITHREADS
 428  MUTEX_LOCK(&lt_op_map_mutex);
 429 #endif
 430
 431  val = ptable_fetch(lt_op_map, o);
 432  if (val) {
 433   *oi = *val;
 434   val = oi;
 435  }
 436
 437 #ifdef USE_ITHREADS
 438  MUTEX_UNLOCK(&lt_op_map_mutex);
 439 #endif
 440
 441  return val;
 442 }
 443
 444 STATIC void lt_map_delete(pTHX_ const OP *o) {
 445 #define lt_map_delete(O) lt_map_delete(aTHX_ (O))
 446 #ifdef USE_ITHREADS
 447  MUTEX_LOCK(&lt_op_map_mutex);
 448 #endif
 449
 450  ptable_map_delete(lt_op_map, o);
 451
 452 #ifdef USE_ITHREADS
 453  MUTEX_UNLOCK(&lt_op_map_mutex);
 454 #endif
 455 }
 456
 457 /* --- Hooks --------------------------------------------------------------- */
 458
 459 /* ... Our pp_padsv ........................................................ */
 460
 461 STATIC OP *lt_pp_padsv(pTHX) {
 462  lt_op_info oi;
 463
 464  if ((PL_op->op_private & OPpLVAL_INTRO) && lt_map_fetch(PL_op, &oi)) {
 465   PADOFFSET targ = PL_op->op_targ;
 466   SV *sv         = PAD_SVl(targ);
 467
 468   if (sv) {
 469    SV *orig_pkg, *type_pkg, *type_meth;
 470    int items;
 471    dSP;
 472
 473    ENTER;
 474    SAVETMPS;
 475
 476 #ifdef MULTIPLICITY
 477    {
 478     STRLEN op_len = oi.orig_pkg_len, tp_len = oi.type_pkg_len;
 479     char *buf = oi.buf;
 480     orig_pkg  = sv_2mortal(newSVpvn(buf, op_len));
 481     SvREADONLY_on(orig_pkg);
 482     buf      += op_len;
 483     type_pkg  = sv_2mortal(newSVpvn(buf, tp_len));
 484     SvREADONLY_on(type_pkg);
 485     buf      += tp_len;
 486     type_meth = sv_2mortal(newSVpvn(buf, oi.type_meth_len));
 487     SvREADONLY_on(type_meth);
 488    }
 489 #else /* MULTIPLICITY */
 490    orig_pkg  = oi.orig_pkg;
 491    type_pkg  = oi.type_pkg;
 492    type_meth = oi.type_meth;
 493 #endif /* !MULTIPLICITY */
 494
 495    PUSHMARK(SP);
 496    EXTEND(SP, 3);
 497    PUSHs(type_pkg);
 498    PUSHs(sv);
 499    PUSHs(orig_pkg);
 500    PUTBACK;
 501
 502    items = call_sv(type_meth, G_ARRAY | G_METHOD);
 503
 504    SPAGAIN;
 505    switch (items) {
 506     case 0:
 507      break;
 508     case 1:
 509      sv_setsv(sv, POPs);
 510      break;
 511     default:
 512      croak("Typed scalar initializer method should return zero or one scalar, but got %d", items);
 513    }
 514    PUTBACK;
 515
 516    FREETMPS;
 517    LEAVE;
 518   }
 519
 520   return CALL_FPTR(oi.old_pp_padsv)(aTHX);
 521  }
 522
 523  return CALL_FPTR(PL_ppaddr[OP_PADSV])(aTHX);
 524 }
 525
 526 STATIC void lt_pp_padsv_save(pMY_CXT) {
 527 #define lt_pp_padsv_save() lt_pp_padsv_save(aMY_CXT)
 528  if (MY_CXT.pp_padsv_saved)
 529   return;
 530
 531  MY_CXT.pp_padsv_saved = PL_ppaddr[OP_PADSV];
 532  PL_ppaddr[OP_PADSV]   = lt_pp_padsv;
 533 }
 534
 535 STATIC void lt_pp_padsv_restore(pMY_CXT_ OP *o) {
 536 #define lt_pp_padsv_restore(O) lt_pp_padsv_restore(aMY_CXT_ (O))
 537  OP *(*saved)(pTHX) = MY_CXT.pp_padsv_saved;
 538
 539  if (!saved)
 540   return;
 541
 542  if (o->op_ppaddr == lt_pp_padsv)
 543   o->op_ppaddr = saved;
 544
 545  PL_ppaddr[OP_PADSV]   = saved;
 546  MY_CXT.pp_padsv_saved = 0;
 547 }
 548
 549 /* ... Our ck_pad{any,sv} .................................................. */
 550
 551 /* Sadly, the PADSV OPs we are interested in don't trigger the padsv check
 552  * function, but are instead manually mutated from a PADANY. This is why we set
 553  * PL_ppaddr[OP_PADSV] in the padany check function so that PADSV OPs will have
 554  * their pp_ppaddr set to our pp_padsv. PL_ppaddr[OP_PADSV] is then reset at the
 555  * beginning of every ck_pad{any,sv}. Some unwanted OPs can still call our
 556  * pp_padsv, but much less than if we would have set PL_ppaddr[OP_PADSV]
 557  * globally. */
 558
 559 STATIC OP *(*lt_old_ck_padany)(pTHX_ OP *) = 0;
 560
 561 STATIC OP *lt_ck_padany(pTHX_ OP *o) {
 562  HV *stash;
 563  SV *code;
 564  dMY_CXT;
 565
 566  lt_pp_padsv_restore(o);
 567
 568  o = CALL_FPTR(lt_old_ck_padany)(aTHX_ o);
 569
 570  stash = PL_in_my_stash;
 571  if (stash && (code = lt_hint())) {
 572   SV *orig_pkg  = newSVpvn(HvNAME_get(stash), HvNAMELEN_get(stash));
 573   SV *orig_meth = MY_CXT.default_meth;
 574   SV *type_pkg  = NULL;
 575   SV *type_meth = NULL;
 576   int items;
 577
 578   dSP;
 579
 580   SvREADONLY_on(orig_pkg);
 581
 582   ENTER;
 583   SAVETMPS;
 584
 585   PUSHMARK(SP);
 586   EXTEND(SP, 2);
 587   PUSHs(orig_pkg);
 588   PUSHs(orig_meth);
 589   PUTBACK;
 590
 591   items = call_sv(code, G_ARRAY);
 592
 593   SPAGAIN;
 594   if (items > 2)
 595    croak(__PACKAGE__ " mangler should return zero, one or two scalars, but got %d", items);
 596   if (items == 0) {
 597    SvREFCNT_dec(orig_pkg);
 598    FREETMPS;
 599    LEAVE;
 600    goto skip;
 601   } else {
 602    SV *rsv;
 603    if (items > 1) {
 604     rsv = POPs;
 605     if (SvOK(rsv)) {
 606      type_meth = newSVsv(rsv);
 607      SvREADONLY_on(type_meth);
 608     }
 609    }
 610    rsv = POPs;
 611    if (SvOK(rsv)) {
 612     type_pkg = newSVsv(rsv);
 613     SvREADONLY_on(type_pkg);
 614    }
 615   }
 616   PUTBACK;
 617
 618   FREETMPS;
 619   LEAVE;
 620
 621   if (!type_pkg) {
 622    type_pkg = orig_pkg;
 623    SvREFCNT_inc(orig_pkg);
 624   }
 625
 626   if (!type_meth) {
 627    type_meth = orig_meth;
 628    SvREFCNT_inc(orig_meth);
 629   }
 630
 631   lt_pp_padsv_save();
 632
 633   lt_map_store(o, orig_pkg, type_pkg, type_meth, MY_CXT.pp_padsv_saved);
 634  } else {
 635 skip:
 636   lt_map_delete(o);
 637  }
 638
 639  return o;
 640 }
 641
 642 STATIC OP *(*lt_old_ck_padsv)(pTHX_ OP *) = 0;
 643
 644 STATIC OP *lt_ck_padsv(pTHX_ OP *o) {
 645  dMY_CXT;
 646
 647  lt_pp_padsv_restore(o);
 648
 649  lt_map_delete(o);
 650
 651  return CALL_FPTR(lt_old_ck_padsv)(aTHX_ o);
 652 }
 653
 654 STATIC U32 lt_initialized = 0;
 655
 656 STATIC void lt_teardown(pTHX_ void *root) {
 657  dMY_CXT;
 658
 659  if (!lt_initialized)
 660   return;
 661
 662 #if LT_MULTIPLICITY
 663  if (aTHX != root)
 664   return;
 665 #endif
 666
 667 #if LT_THREADSAFE
 668  ptable_hints_free(MY_CXT.tbl);
 669 #endif
 670  SvREFCNT_dec(MY_CXT.default_meth);
 671
 672  PL_check[OP_PADANY] = MEMBER_TO_FPTR(lt_old_ck_padany);
 673  lt_old_ck_padany    = 0;
 674  PL_check[OP_PADSV]  = MEMBER_TO_FPTR(lt_old_ck_padsv);
 675  lt_old_ck_padsv     = 0;
 676
 677  lt_initialized = 0;
 678 }
 679
 680 STATIC void lt_setup(pTHX) {
 681 #define lt_setup() lt_setup(aTHX)
 682  if (lt_initialized)
 683   return;
 684
 685  {
 686   MY_CXT_INIT;
 687 #if LT_THREADSAFE
 688   MY_CXT.tbl            = ptable_new();
 689   MY_CXT.owner          = aTHX;
 690 #endif
 691   MY_CXT.pp_padsv_saved = 0;
 692   MY_CXT.default_meth   = newSVpvn("TYPEDSCALAR", 11);
 693   SvREADONLY_on(MY_CXT.default_meth);
 694  }
 695
 696  lt_old_ck_padany    = PL_check[OP_PADANY];
 697  PL_check[OP_PADANY] = MEMBER_TO_FPTR(lt_ck_padany);
 698  lt_old_ck_padsv     = PL_check[OP_PADSV];
 699  PL_check[OP_PADSV]  = MEMBER_TO_FPTR(lt_ck_padsv);
 700
 701 #if LT_MULTIPLICITY
 702  call_atexit(lt_teardown, aTHX);
 703 #else
 704  call_atexit(lt_teardown, NULL);
 705 #endif
 706
 707  lt_initialized = 1;
 708 }
 709
 710 STATIC U32 lt_booted = 0;
 711
 712 /* --- XS ------------------------------------------------------------------ */
 713
 714 MODULE = Lexical::Types      PACKAGE = Lexical::Types
 715
 716 PROTOTYPES: ENABLE
 717
 718 BOOT:
 719 {
 720  if (!lt_booted++) {
 721   HV *stash;
 722
 723   lt_op_map = ptable_new();
 724 #ifdef USE_ITHREADS
 725   MUTEX_INIT(&lt_op_map_mutex);
 726 #endif
 727
 728   PERL_HASH(lt_hash, __PACKAGE__, __PACKAGE_LEN__);
 729
 730   stash = gv_stashpvn(__PACKAGE__, __PACKAGE_LEN__, 1);
 731   newCONSTSUB(stash, "LT_THREADSAFE", newSVuv(LT_THREADSAFE));
 732  }
 733
 734  lt_setup();
 735 }
 736
 737 #if LT_THREADSAFE
 738
 739 void
 740 CLONE(...)
 741 PROTOTYPE: DISABLE
 742 PREINIT:
 743  ptable *t;
 744  SV     *cloned_default_meth;
 745 PPCODE:
 746  {
 747   lt_ptable_clone_ud ud;
 748   dMY_CXT;
 749
 750   t = ptable_new();
 751   lt_ptable_clone_ud_init(ud, t, MY_CXT.owner);
 752   ptable_walk(MY_CXT.tbl, lt_ptable_clone, &ud);
 753   cloned_default_meth = lt_dup_inc(MY_CXT.default_meth, &ud);
 754   lt_ptable_clone_ud_deinit(ud);
 755  }
 756  {
 757   MY_CXT_CLONE;
 758   MY_CXT.tbl            = t;
 759   MY_CXT.owner          = aTHX;
 760   MY_CXT.pp_padsv_saved = 0;
 761   MY_CXT.default_meth   = cloned_default_meth;
 762  }
 763  reap(3, lt_thread_cleanup, NULL);
 764  XSRETURN(0);
 765
 766 #endif
 767
 768 SV *
 769 _tag(SV *value)
 770 PROTOTYPE: $
 771 CODE:
 772  RETVAL = lt_tag(value);
 773 OUTPUT:
 774  RETVAL