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