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