This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Re: Réf. : Re: PATCH proposal for ext/Safe/safe2.t
[perl5.git] / bytecode.pl
index 7d9b223..9315739 100644 (file)
@@ -9,11 +9,11 @@ my %alias_to = (
     U8 => [qw(char)],
 );
 
-my @optype= qw(OP UNOP BINOP LOGOP LISTOP PMOP SVOP GVOP PVOP LOOP COP);
+my @optype= qw(OP UNOP BINOP LOGOP LISTOP PMOP SVOP PADOP PVOP LOOP COP);
 
 # Nullsv *must* come first in the following so that the condition
 # ($$sv == 0) can continue to be used to test (sv == Nullsv).
-my @specialsv = qw(Nullsv &PL_sv_undef &PL_sv_yes &PL_sv_no);
+my @specialsv = qw(Nullsv &PL_sv_undef &PL_sv_yes &PL_sv_no pWARN_ALL pWARN_NONE);
 
 my (%alias_from, $from, $tos);
 while (($from, $tos) = each %alias_to) {
@@ -44,10 +44,13 @@ unlink "ext/ByteLoader/byterun.c", "ext/ByteLoader/byterun.h", "ext/B/B/Asmdata.
 open(ASMDATA_PM, ">ext/B/B/Asmdata.pm") or die "ext/B/B/Asmdata.pm: $!";
 print ASMDATA_PM $perl_header, <<'EOT';
 package B::Asmdata;
+
+our $VERSION = '1.00';
+
 use Exporter;
 @ISA = qw(Exporter);
 @EXPORT_OK = qw(%insn_data @insn_name @optype @specialsv_name);
-use vars qw(%insn_data @insn_name @optype @specialsv_name);
+our(%insn_data, @insn_name, @optype, @specialsv_name);
 
 EOT
 print ASMDATA_PM <<"EOT";
@@ -71,18 +74,11 @@ print BYTERUN_C $c_header, <<'EOT';
 #define NO_XSLOCKS
 #include "XSUB.h"
 
-#ifdef PERL_OBJECT
-#undef CALL_FPTR
-#define CALL_FPTR(fptr) (pPerl->*fptr)
-#undef PL_ppaddr
-#define PL_ppaddr (*get_ppaddr())
-#endif
-
 #include "byterun.h"
 #include "bytecode.h"
 
 
-static int optype_size[] = {
+static const int optype_size[] = {
 EOT
 my $i = 0;
 for ($i = 0; $i < @optype - 1; $i++) {
@@ -92,37 +88,31 @@ printf BYTERUN_C "    sizeof(%s)\n", $optype[$i], $i;
 print BYTERUN_C <<'EOT';
 };
 
-static SV *specialsv_list[4];
-
-static int bytecode_iv_overflows = 0;
-static SV *bytecode_sv;
-static XPV bytecode_pv;
-static void **bytecode_obj_list;
-static I32 bytecode_obj_list_fill = -1;
-
 void *
-bset_obj_store(pTHXo_ void *obj, I32 ix)
+bset_obj_store(pTHX_ struct byteloader_state *bstate, void *obj, I32 ix)
 {
-    if (ix > bytecode_obj_list_fill) {
-       if (bytecode_obj_list_fill == -1)
-           New(666, bytecode_obj_list, ix + 1, void*);
-       else
-           Renew(bytecode_obj_list, ix + 1, void*);
-       bytecode_obj_list_fill = ix;
+    if (ix > bstate->bs_obj_list_fill) {
+       Renew(bstate->bs_obj_list, ix + 32, void*);
+       bstate->bs_obj_list_fill = ix + 31;
     }
-    bytecode_obj_list[ix] = obj;
+    bstate->bs_obj_list[ix] = obj;
     return obj;
 }
 
 void
-byterun(pTHXo_ struct bytestream bs)
+byterun(pTHX_ register struct byteloader_state *bstate)
 {
-    dTHR;
-    int insn;
+    register int insn;
+    U32 ix;
+    SV *specialsv_list[6];
+
+    BYTECODE_HEADER_CHECK;     /* croak if incorrect platform */
+    New(666, bstate->bs_obj_list, 32, void*); /* set op objlist */
+    bstate->bs_obj_list_fill = 31;
 
 EOT
 
-for (my $i = 0; $i < @specialsv; $i++) {
+for my $i ( 0 .. $#specialsv ) {
     print BYTERUN_C "    specialsv_list[$i] = $specialsv[$i];\n";
 }
 
@@ -198,19 +188,31 @@ EOT
 #
 open(BYTERUN_H, ">ext/ByteLoader/byterun.h") or die "ext/ByteLoader/byterun.h: $!";
 print BYTERUN_H $c_header, <<'EOT';
-struct bytestream {
-    void *data;
-    int (*pfgetc)(void *);
-    int (*pfread)(char *, size_t, size_t, void *);
-    void (*pfreadpv)(U32, void *, XPV *);
+struct byteloader_fdata {
+    SV *datasv;
+    int next_out;
+    int        idx;
+};
+
+struct byteloader_state {
+    struct byteloader_fdata    *bs_fdata;
+    SV                         *bs_sv;
+    void                       **bs_obj_list;
+    int                                bs_obj_list_fill;
+    XPV                                bs_pv;
+    int                                bs_iv_overflows;
 };
 
+int bl_getc(struct byteloader_fdata *);
+int bl_read(struct byteloader_fdata *, char *, size_t, size_t);
+extern void byterun(pTHX_ struct byteloader_state *);
+
 enum {
 EOT
 
 my $add_enum_value = 0;
 my $max_insn;
-for ($i = 0; $i < @insn_name; $i++) {
+for $i ( 0 .. $#insn_name ) {
     $insn = uc($insn_name[$i]);
     if (defined($insn)) {
        $max_insn = $i;
@@ -233,18 +235,6 @@ for ($i = 0; $i < @optype - 1; $i++) {
 }
 printf BYTERUN_H "    OPt_%s\t\t/* %d */\n};\n\n", $optype[$i], $i;
 
-print BYTERUN_H <<'EOT';
-extern void byterun(pTHXo_ struct bytestream bs);
-
-#define INIT_SPECIALSV_LIST STMT_START { \
-EOT
-for ($i = 0; $i < @specialsv; $i++) {
-    print BYTERUN_H "\tPL_specialsv_list[$i] = $specialsv[$i]; \\\n";
-}
-print BYTERUN_H <<'EOT';
-    } STMT_END
-EOT
-
 #
 # Finish off insn_data and create array initialisers in Asmdata.pm
 #
@@ -267,11 +257,53 @@ B::Asmdata - Autogenerated data about Perl ops, used to generate bytecode
 
 =head1 SYNOPSIS
 
-       use Asmdata;
+       use B::Asmdata qw(%insn_data @insn_name @optype @specialsv_name);
 
 =head1 DESCRIPTION
 
-See F<ext/B/B/Asmdata.pm>.
+Provides information about Perl ops in order to generate bytecode via
+a bunch of exported variables.  Its mostly used by B::Assembler and
+B::Disassembler.
+
+=over 4
+
+=item %insn_data
+
+  my($bytecode_num, $put_sub, $get_meth) = @$insn_data{$op_name};
+
+For a given $op_name (for example, 'cop_label', 'sv_flags', etc...) 
+you get an array ref containing the bytecode number of the op, a
+reference to the subroutine used to 'PUT', and the name of the method
+used to 'GET'.
+
+=for _private
+Add more detail about what $put_sub and $get_meth are and how to use them.
+
+=item @insn_name
+
+  my $op_name = $insn_name[$bytecode_num];
+
+A simple mapping of the bytecode number to the name of the op.
+Suitable for using with %insn_data like so:
+
+  my $op_info = $insn_data{$insn_name[$bytecode_num]};
+
+=item @optype
+
+  my $op_type = $optype[$op_type_num];
+
+A simple mapping of the op type number to its type (like 'COP' or 'BINOP').
+
+=item @specialsv_name
+
+  my $sv_name = $specialsv_name[$sv_index];
+
+Certain SV types are considered 'special'.  They're represented by
+B::SPECIAL and are refered to by a number from the specialsv_list.
+This array maps that number back to the name of the SV (like 'Nullsv'
+or '&PL_sv_undef').
+
+=back
 
 =head1 AUTHOR
 
@@ -294,85 +326,86 @@ nop               none                    none
 #opcode                lvalue                                  argtype         flags   
 #
 ret            none                                    none            x
-ldsv           bytecode_sv                             svindex
+ldsv           bstate->bs_sv                           svindex
 ldop           PL_op                                   opindex
-stsv           bytecode_sv                             U32             s
+stsv           bstate->bs_sv                           U32             s
 stop           PL_op                                   U32             s
-ldspecsv       bytecode_sv                             U8              x
-newsv          bytecode_sv                             U8              x
+stpv           bstate->bs_pv.xpv_pv                    U32             x
+ldspecsv       bstate->bs_sv                           U8              x
+newsv          bstate->bs_sv                           U8              x
 newop          PL_op                                   U8              x
 newopn         PL_op                                   U8              x
 newpv          none                                    PV
-pv_cur         bytecode_pv.xpv_cur                     STRLEN
-pv_free                bytecode_pv                             none            x
-sv_upgrade     bytecode_sv                             char            x
-sv_refcnt      SvREFCNT(bytecode_sv)                   U32
-sv_refcnt_add  SvREFCNT(bytecode_sv)                   I32             x
-sv_flags       SvFLAGS(bytecode_sv)                    U32
-xrv            SvRV(bytecode_sv)                       svindex
-xpv            bytecode_sv                             none            x
-xiv32          SvIVX(bytecode_sv)                      I32
-xiv64          SvIVX(bytecode_sv)                      IV64
-xnv            SvNVX(bytecode_sv)                      NV
-xlv_targoff    LvTARGOFF(bytecode_sv)                  STRLEN
-xlv_targlen    LvTARGLEN(bytecode_sv)                  STRLEN
-xlv_targ       LvTARG(bytecode_sv)                     svindex
-xlv_type       LvTYPE(bytecode_sv)                     char
-xbm_useful     BmUSEFUL(bytecode_sv)                   I32
-xbm_previous   BmPREVIOUS(bytecode_sv)                 U16
-xbm_rare       BmRARE(bytecode_sv)                     U8
-xfm_lines      FmLINES(bytecode_sv)                    I32
-xio_lines      IoLINES(bytecode_sv)                    long
-xio_page       IoPAGE(bytecode_sv)                     long
-xio_page_len   IoPAGE_LEN(bytecode_sv)                 long
-xio_lines_left IoLINES_LEFT(bytecode_sv)               long
-xio_top_name   IoTOP_NAME(bytecode_sv)                 pvcontents
-xio_top_gv     *(SV**)&IoTOP_GV(bytecode_sv)           svindex
-xio_fmt_name   IoFMT_NAME(bytecode_sv)                 pvcontents
-xio_fmt_gv     *(SV**)&IoFMT_GV(bytecode_sv)           svindex
-xio_bottom_name        IoBOTTOM_NAME(bytecode_sv)              pvcontents
-xio_bottom_gv  *(SV**)&IoBOTTOM_GV(bytecode_sv)        svindex
-xio_subprocess IoSUBPROCESS(bytecode_sv)               short
-xio_type       IoTYPE(bytecode_sv)                     char
-xio_flags      IoFLAGS(bytecode_sv)                    char
-xcv_stash      *(SV**)&CvSTASH(bytecode_sv)            svindex
-xcv_start      CvSTART(bytecode_sv)                    opindex
-xcv_root       CvROOT(bytecode_sv)                     opindex
-xcv_gv         *(SV**)&CvGV(bytecode_sv)               svindex
-xcv_filegv     *(SV**)&CvFILEGV(bytecode_sv)           svindex
-xcv_depth      CvDEPTH(bytecode_sv)                    long
-xcv_padlist    *(SV**)&CvPADLIST(bytecode_sv)          svindex
-xcv_outside    *(SV**)&CvOUTSIDE(bytecode_sv)          svindex
-xcv_flags      CvFLAGS(bytecode_sv)                    U8
-av_extend      bytecode_sv                             SSize_t         x
-av_push                bytecode_sv                             svindex         x
-xav_fill       AvFILLp(bytecode_sv)                    SSize_t
-xav_max                AvMAX(bytecode_sv)                      SSize_t
-xav_flags      AvFLAGS(bytecode_sv)                    U8
-xhv_riter      HvRITER(bytecode_sv)                    I32
-xhv_name       HvNAME(bytecode_sv)                     pvcontents
-hv_store       bytecode_sv                             svindex         x
-sv_magic       bytecode_sv                             char            x
-mg_obj         SvMAGIC(bytecode_sv)->mg_obj            svindex
-mg_private     SvMAGIC(bytecode_sv)->mg_private        U16
-mg_flags       SvMAGIC(bytecode_sv)->mg_flags          U8
-mg_pv          SvMAGIC(bytecode_sv)                    pvcontents      x
-xmg_stash      *(SV**)&SvSTASH(bytecode_sv)            svindex
-gv_fetchpv     bytecode_sv                             strconst        x
-gv_stashpv     bytecode_sv                             strconst        x
-gp_sv          GvSV(bytecode_sv)                       svindex
-gp_refcnt      GvREFCNT(bytecode_sv)                   U32
-gp_refcnt_add  GvREFCNT(bytecode_sv)                   I32             x
-gp_av          *(SV**)&GvAV(bytecode_sv)               svindex
-gp_hv          *(SV**)&GvHV(bytecode_sv)               svindex
-gp_cv          *(SV**)&GvCV(bytecode_sv)               svindex
-gp_filegv      *(SV**)&GvFILEGV(bytecode_sv)           svindex
-gp_io          *(SV**)&GvIOp(bytecode_sv)              svindex
-gp_form                *(SV**)&GvFORM(bytecode_sv)             svindex
-gp_cvgen       GvCVGEN(bytecode_sv)                    U32
-gp_line                GvLINE(bytecode_sv)                     line_t
-gp_share       bytecode_sv                             svindex         x
-xgv_flags      GvFLAGS(bytecode_sv)                    U8
+pv_cur         bstate->bs_pv.xpv_cur                   STRLEN
+pv_free                bstate->bs_pv                           none            x
+sv_upgrade     bstate->bs_sv                           char            x
+sv_refcnt      SvREFCNT(bstate->bs_sv)                 U32
+sv_refcnt_add  SvREFCNT(bstate->bs_sv)                 I32             x
+sv_flags       SvFLAGS(bstate->bs_sv)                  U32
+xrv            SvRV(bstate->bs_sv)                     svindex
+xpv            bstate->bs_sv                           none            x
+xiv32          SvIVX(bstate->bs_sv)                    I32
+xiv64          SvIVX(bstate->bs_sv)                    IV64
+xnv            SvNVX(bstate->bs_sv)                    NV
+xlv_targoff    LvTARGOFF(bstate->bs_sv)                STRLEN
+xlv_targlen    LvTARGLEN(bstate->bs_sv)                STRLEN
+xlv_targ       LvTARG(bstate->bs_sv)                   svindex
+xlv_type       LvTYPE(bstate->bs_sv)                   char
+xbm_useful     BmUSEFUL(bstate->bs_sv)                 I32
+xbm_previous   BmPREVIOUS(bstate->bs_sv)               U16
+xbm_rare       BmRARE(bstate->bs_sv)                   U8
+xfm_lines      FmLINES(bstate->bs_sv)                  IV
+xio_lines      IoLINES(bstate->bs_sv)                  IV
+xio_page       IoPAGE(bstate->bs_sv)                   IV
+xio_page_len   IoPAGE_LEN(bstate->bs_sv)               IV
+xio_lines_left IoLINES_LEFT(bstate->bs_sv)             IV
+xio_top_name   IoTOP_NAME(bstate->bs_sv)               pvcontents
+xio_top_gv     *(SV**)&IoTOP_GV(bstate->bs_sv)         svindex
+xio_fmt_name   IoFMT_NAME(bstate->bs_sv)               pvcontents
+xio_fmt_gv     *(SV**)&IoFMT_GV(bstate->bs_sv)         svindex
+xio_bottom_name        IoBOTTOM_NAME(bstate->bs_sv)            pvcontents
+xio_bottom_gv  *(SV**)&IoBOTTOM_GV(bstate->bs_sv)      svindex
+xio_subprocess IoSUBPROCESS(bstate->bs_sv)             short
+xio_type       IoTYPE(bstate->bs_sv)                   char
+xio_flags      IoFLAGS(bstate->bs_sv)                  char
+xcv_stash      *(SV**)&CvSTASH(bstate->bs_sv)          svindex
+xcv_start      CvSTART(bstate->bs_sv)                  opindex
+xcv_root       CvROOT(bstate->bs_sv)                   opindex
+xcv_gv         *(SV**)&CvGV(bstate->bs_sv)             svindex
+xcv_file       CvFILE(bstate->bs_sv)                   pvindex
+xcv_depth      CvDEPTH(bstate->bs_sv)                  long
+xcv_padlist    *(SV**)&CvPADLIST(bstate->bs_sv)        svindex
+xcv_outside    *(SV**)&CvOUTSIDE(bstate->bs_sv)        svindex
+xcv_flags      CvFLAGS(bstate->bs_sv)                  U16
+av_extend      bstate->bs_sv                           SSize_t         x
+av_push                bstate->bs_sv                           svindex         x
+xav_fill       AvFILLp(bstate->bs_sv)                  SSize_t
+xav_max                AvMAX(bstate->bs_sv)                    SSize_t
+xav_flags      AvFLAGS(bstate->bs_sv)                  U8
+xhv_riter      HvRITER(bstate->bs_sv)                  I32
+xhv_name       HvNAME(bstate->bs_sv)                   pvcontents
+hv_store       bstate->bs_sv                           svindex         x
+sv_magic       bstate->bs_sv                           char            x
+mg_obj         SvMAGIC(bstate->bs_sv)->mg_obj          svindex
+mg_private     SvMAGIC(bstate->bs_sv)->mg_private      U16
+mg_flags       SvMAGIC(bstate->bs_sv)->mg_flags        U8
+mg_pv          SvMAGIC(bstate->bs_sv)                  pvcontents      x
+xmg_stash      *(SV**)&SvSTASH(bstate->bs_sv)          svindex
+gv_fetchpv     bstate->bs_sv                           strconst        x
+gv_stashpv     bstate->bs_sv                           strconst        x
+gp_sv          GvSV(bstate->bs_sv)                     svindex
+gp_refcnt      GvREFCNT(bstate->bs_sv)                 U32
+gp_refcnt_add  GvREFCNT(bstate->bs_sv)                 I32             x
+gp_av          *(SV**)&GvAV(bstate->bs_sv)             svindex
+gp_hv          *(SV**)&GvHV(bstate->bs_sv)             svindex
+gp_cv          *(SV**)&GvCV(bstate->bs_sv)             svindex
+gp_file                GvFILE(bstate->bs_sv)                   pvindex
+gp_io          *(SV**)&GvIOp(bstate->bs_sv)            svindex
+gp_form                *(SV**)&GvFORM(bstate->bs_sv)           svindex
+gp_cvgen       GvCVGEN(bstate->bs_sv)                  U32
+gp_line                GvLINE(bstate->bs_sv)                   line_t
+gp_share       bstate->bs_sv                           svindex         x
+xgv_flags      GvFLAGS(bstate->bs_sv)                  U8
 op_next                PL_op->op_next                          opindex
 op_sibling     PL_op->op_sibling                       opindex
 op_ppaddr      PL_op->op_ppaddr                        strconst        x
@@ -384,7 +417,6 @@ op_private  PL_op->op_private                       U8
 op_first       cUNOP->op_first                         opindex
 op_last                cBINOP->op_last                         opindex
 op_other       cLOGOP->op_other                        opindex
-op_children    cLISTOP->op_children                    U32
 op_pmreplroot  cPMOP->op_pmreplroot                    opindex
 op_pmreplrootgv        *(SV**)&cPMOP->op_pmreplroot            svindex
 op_pmreplstart cPMOP->op_pmreplstart                   opindex
@@ -393,19 +425,22 @@ pregcomp  PL_op                                   pvcontents      x
 op_pmflags     cPMOP->op_pmflags                       U16
 op_pmpermflags cPMOP->op_pmpermflags                   U16
 op_sv          cSVOP->op_sv                            svindex
-op_gv          *(SV**)&cGVOP->op_gv                    svindex
+op_padix       cPADOP->op_padix                        PADOFFSET
 op_pv          cPVOP->op_pv                            pvcontents
 op_pv_tr       cPVOP->op_pv                            op_tr_array
 op_redoop      cLOOP->op_redoop                        opindex
 op_nextop      cLOOP->op_nextop                        opindex
 op_lastop      cLOOP->op_lastop                        opindex
-cop_label      cCOP->cop_label                         pvcontents
-cop_stash      *(SV**)&cCOP->cop_stash                 svindex
-cop_filegv     *(SV**)&cCOP->cop_filegv                svindex
+cop_label      cCOP->cop_label                         pvindex
+cop_stashpv    cCOP                                    pvindex         x
+cop_file       cCOP                                    pvindex         x
 cop_seq                cCOP->cop_seq                           U32
 cop_arybase    cCOP->cop_arybase                       I32
-cop_line       cCOP->cop_line                          line_t
+cop_line       cCOP                                    line_t          x
 cop_warnings   cCOP->cop_warnings                      svindex
 main_start     PL_main_start                           opindex
 main_root      PL_main_root                            opindex
 curpad         PL_curpad                               svindex         x
+push_begin     PL_beginav                              svindex         x
+push_init      PL_initav                               svindex         x
+push_end       PL_endav                                svindex         x