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
 288  if (SvROK(value)) {
 289   value = SvRV(value);
 290   if (SvTYPE(value) >= SVt_PVCV) {
 291    code = value;
 292    SvREFCNT_inc_simple_NN(code);
 293   }
 294  }
 295
 296 #if LT_HINT_STRUCT
 297  h = PerlMemShared_malloc(sizeof *h);
 298  h->code        = code;
 299 # if LT_WORKAROUND_REQUIRE_PROPAGATION
 300  h->require_tag = lt_require_tag();
 301 # endif /* LT_WORKAROUND_REQUIRE_PROPAGATION */
 302 #else  /*  LT_HINT_STRUCT */
 303  h = code;
 304 #endif /* !LT_HINT_STRUCT */
 305
 306 #if LT_THREADSAFE
 307  {
 308   dMY_CXT;
 309   /* We only need for the key to be an unique tag for looking up the value later
 310    * Allocated memory provides convenient unique identifiers, so that's why we
 311    * use the hint as the key itself. */
 312   ptable_hints_store(MY_CXT.tbl, h, h);
 313  }
 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
 566  o = lt_old_ck_padany(aTHX_ o);
 567
 568  stash = PL_in_my_stash;
 569  if (stash && (code = lt_hint())) {
 570   dMY_CXT;
 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  lt_map_delete(o);
 643
 644  return lt_old_ck_padsv(aTHX_ o);
 645 }
 646
 647 /* ... Our peephole optimizer .............................................. */
 648
 649 STATIC peep_t lt_old_peep = 0; /* This is actually the rpeep past 5.13.5 */
 650
 651 #if !LT_HAS_RPEEP
 652 # define LT_PEEP_REC_PROTO STATIC void lt_peep_rec(pTHX_ OP *o, ptable *seen)
 653 #else /* !LT_HAS_RPEEP */
 654 # define LT_PEEP_REC_PROTO STATIC void lt_peep_rec(pTHX_ OP *o)
 655 #endif /* LT_HAS_RPEEP */
 656
 657 LT_PEEP_REC_PROTO;
 658 LT_PEEP_REC_PROTO {
 659 #if !LT_HAS_RPEEP
 660 # define lt_peep_rec(O) lt_peep_rec(aTHX_ (O), seen)
 661 #else /* !LT_HAS_RPEEP */
 662 # define lt_peep_rec(O) lt_peep_rec(aTHX_ (O))
 663 #endif /* LT_HAS_RPEEP */
 664
 665 #if !LT_HAS_RPEEP
 666  if (ptable_fetch(seen, o))
 667   return;
 668 #endif
 669
 670  for (; o; o = o->op_next) {
 671   lt_op_info *oi = NULL;
 672
 673 #if !LT_HAS_RPEEP
 674   ptable_seen_store(seen, o, o);
 675 #endif
 676   switch (o->op_type) {
 677    case OP_PADSV:
 678     if (o->op_ppaddr != lt_pp_padsv && o->op_private & OPpLVAL_INTRO) {
 679 #ifdef USE_ITHREADS
 680      MUTEX_LOCK(&lt_op_map_mutex);
 681 #endif
 682      oi = ptable_fetch(lt_op_map, o);
 683      if (oi) {
 684       oi->old_pp_padsv = o->op_ppaddr;
 685       o->op_ppaddr     = lt_pp_padsv;
 686      }
 687 #ifdef USE_ITHREADS
 688      MUTEX_UNLOCK(&lt_op_map_mutex);
 689 #endif
 690     }
 691     break;
 692 #if !LT_HAS_RPEEP
 693    case OP_MAPWHILE:
 694    case OP_GREPWHILE:
 695    case OP_AND:
 696    case OP_OR:
 697    case OP_ANDASSIGN:
 698    case OP_ORASSIGN:
 699    case OP_COND_EXPR:
 700    case OP_RANGE:
 701 # if LT_HAS_PERL(5, 10, 0)
 702    case OP_ONCE:
 703    case OP_DOR:
 704    case OP_DORASSIGN:
 705 # endif
 706     lt_peep_rec(cLOGOPo->op_other);
 707     break;
 708    case OP_ENTERLOOP:
 709    case OP_ENTERITER:
 710     lt_peep_rec(cLOOPo->op_redoop);
 711     lt_peep_rec(cLOOPo->op_nextop);
 712     lt_peep_rec(cLOOPo->op_lastop);
 713     break;
 714 # if LT_HAS_PERL(5, 9, 5)
 715    case OP_SUBST:
 716     lt_peep_rec(cPMOPo->op_pmstashstartu.op_pmreplstart);
 717     break;
 718 # else
 719    case OP_QR:
 720    case OP_MATCH:
 721    case OP_SUBST:
 722     lt_peep_rec(cPMOPo->op_pmreplstart);
 723     break;
 724 # endif
 725 #endif /* !LT_HAS_RPEEP */
 726    default:
 727     break;
 728   }
 729  }
 730 }
 731
 732 STATIC void lt_peep(pTHX_ OP *o) {
 733 #if !LT_HAS_RPEEP
 734  dMY_CXT;
 735  ptable *seen = MY_CXT.seen;
 736
 737  ptable_seen_clear(seen);
 738 #endif /* !LT_HAS_RPEEP */
 739
 740  lt_old_peep(aTHX_ o);
 741  lt_peep_rec(o);
 742 }
 743
 744 /* --- Interpreter setup/teardown ------------------------------------------ */
 745
 746
 747 STATIC U32 lt_initialized = 0;
 748
 749 STATIC void lt_teardown(pTHX_ void *root) {
 750  if (!lt_initialized)
 751   return;
 752
 753 #if LT_MULTIPLICITY
 754  if (aTHX != root)
 755   return;
 756 #endif
 757
 758  {
 759   dMY_CXT;
 760 #if LT_THREADSAFE
 761   ptable_hints_free(MY_CXT.tbl);
 762 #endif
 763 #if !LT_HAS_RPEEP
 764   ptable_seen_free(MY_CXT.seen);
 765 #endif
 766   SvREFCNT_dec(MY_CXT.default_meth);
 767  }
 768
 769  PL_check[OP_PADANY] = MEMBER_TO_FPTR(lt_old_ck_padany);
 770  lt_old_ck_padany    = 0;
 771  PL_check[OP_PADSV]  = MEMBER_TO_FPTR(lt_old_ck_padsv);
 772  lt_old_ck_padsv     = 0;
 773
 774 #if LT_HAS_RPEEP
 775  PL_rpeepp   = lt_old_peep;
 776 #else
 777  PL_peepp    = lt_old_peep;
 778 #endif
 779  lt_old_peep = 0;
 780
 781  lt_initialized = 0;
 782 }
 783
 784 STATIC void lt_setup(pTHX) {
 785 #define lt_setup() lt_setup(aTHX)
 786  if (lt_initialized)
 787   return;
 788
 789  {
 790   MY_CXT_INIT;
 791 #if LT_THREADSAFE
 792   MY_CXT.tbl          = ptable_new();
 793   MY_CXT.owner        = aTHX;
 794 #endif
 795 #if !LT_HAS_RPEEP
 796   MY_CXT.seen         = ptable_new();
 797 #endif
 798   MY_CXT.default_meth = newSVpvn("TYPEDSCALAR", 11);
 799   SvREADONLY_on(MY_CXT.default_meth);
 800  }
 801
 802  lt_old_ck_padany    = PL_check[OP_PADANY];
 803  PL_check[OP_PADANY] = MEMBER_TO_FPTR(lt_ck_padany);
 804  lt_old_ck_padsv     = PL_check[OP_PADSV];
 805  PL_check[OP_PADSV]  = MEMBER_TO_FPTR(lt_ck_padsv);
 806
 807 #if LT_HAS_RPEEP
 808  lt_old_peep = PL_rpeepp;
 809  PL_rpeepp   = lt_peep;
 810 #else
 811  lt_old_peep = PL_peepp;
 812  PL_peepp    = lt_peep;
 813 #endif
 814
 815 #if LT_MULTIPLICITY
 816  call_atexit(lt_teardown, aTHX);
 817 #else
 818  call_atexit(lt_teardown, NULL);
 819 #endif
 820
 821  lt_initialized = 1;
 822 }
 823
 824 STATIC U32 lt_booted = 0;
 825
 826 /* --- XS ------------------------------------------------------------------ */
 827
 828 MODULE = Lexical::Types      PACKAGE = Lexical::Types
 829
 830 PROTOTYPES: ENABLE
 831
 832 BOOT:
 833 {
 834  if (!lt_booted++) {
 835   HV *stash;
 836
 837   lt_op_map = ptable_new();
 838 #ifdef USE_ITHREADS
 839   MUTEX_INIT(&lt_op_map_mutex);
 840 #endif
 841
 842   PERL_HASH(lt_hash, __PACKAGE__, __PACKAGE_LEN__);
 843
 844   stash = gv_stashpvn(__PACKAGE__, __PACKAGE_LEN__, 1);
 845   newCONSTSUB(stash, "LT_THREADSAFE", newSVuv(LT_THREADSAFE));
 846  }
 847
 848  lt_setup();
 849 }
 850
 851 #if LT_THREADSAFE
 852
 853 void
 854 CLONE(...)
 855 PROTOTYPE: DISABLE
 856 PREINIT:
 857  ptable *t;
 858 #if !LT_HAS_RPEEP
 859  ptable *s;
 860 #endif
 861  SV     *cloned_default_meth;
 862 PPCODE:
 863  {
 864   {
 865    lt_ptable_clone_ud ud;
 866    dMY_CXT;
 867
 868    t = ptable_new();
 869    lt_ptable_clone_ud_init(ud, t, MY_CXT.owner);
 870    ptable_walk(MY_CXT.tbl, lt_ptable_clone, &ud);
 871    cloned_default_meth = lt_dup_inc(MY_CXT.default_meth, &ud);
 872    lt_ptable_clone_ud_deinit(ud);
 873   }
 874 #if !LT_HAS_RPEEP
 875   s = ptable_new();
 876 #endif
 877  }
 878  {
 879   MY_CXT_CLONE;
 880   MY_CXT.tbl          = t;
 881   MY_CXT.owner        = aTHX;
 882 #if !LT_HAS_RPEEP
 883   MY_CXT.seen         = s;
 884 #endif
 885   MY_CXT.default_meth = cloned_default_meth;
 886  }
 887  reap(3, lt_thread_cleanup, NULL);
 888  XSRETURN(0);
 889
 890 #endif
 891
 892 SV *
 893 _tag(SV *value)
 894 PROTOTYPE: $
 895 CODE:
 896  RETVAL = lt_tag(value);
 897 OUTPUT:
 898  RETVAL