Eliminate CONDOPs
[p5sagit/p5-mst-13.2.git] / opcode.pl
index 0243847..56d8342 100755 (executable)
--- a/opcode.pl
+++ b/opcode.pl
@@ -29,10 +29,15 @@ while (<DATA>) {
 
 $i = 0;
 print <<"END";
-#define pp_i_preinc pp_preinc
-#define pp_i_predec pp_predec
-#define pp_i_postinc pp_postinc
-#define pp_i_postdec pp_postdec
+/* !!!!!!!   DO NOT EDIT THIS FILE   !!!!!!! 
+   This file is built by opcode.pl from its data.  Any changes made here
+   will be lost!
+*/
+
+#define Perl_pp_i_preinc Perl_pp_preinc
+#define Perl_pp_i_predec Perl_pp_predec
+#define Perl_pp_i_postinc Perl_pp_postinc
+#define Perl_pp_i_postdec Perl_pp_postdec
 
 typedef enum {
 END
@@ -46,6 +51,9 @@ print "\n#define MAXO ", scalar @ops, "\n\n";
 # Emit op names and descriptions.
 
 print <<END;
+
+START_EXTERN_C
+
 #ifndef DOINIT
 EXT char *PL_op_name[];
 #else
@@ -77,45 +85,36 @@ print <<END;
 };
 #endif
 
-#ifndef PERL_OBJECT
-START_EXTERN_C
-
-#undef PERL_CKDEF
-#undef PERL_PPDEF
-#define PERL_CKDEF(s) OP *s _((OP *o));
-#define PERL_PPDEF(s) OP *s _((ARGSproto));
-
-#include "pp_proto.h"
+END_EXTERN_C
 
 END
 
 # Emit function declarations.
 
 #for (sort keys %ckname) {
-#    print "OP *\t", &tab(3,$_),"_((OP* o));\n";
+#    print "OP *\t", &tab(3,$_),"(pTHX_ OP* o);\n";
 #}
 #
 #print "\n";
 #
 #for (@ops) {
-#    print "OP *\t", &tab(3, "pp_$_"), "_((ARGSproto));\n";
+#    print "OP *\t", &tab(3, "pp_$_"), "(pTHX);\n";
 #}
 
 # Emit ppcode switch array.
 
 print <<END;
 
-END_EXTERN_C
-#endif /* PERL_OBJECT */
+START_EXTERN_C
 
 #ifndef DOINIT
-EXT OP * (CPERLscope(*PL_ppaddr)[])(ARGSproto);
+EXT OP * (CPERLscope(*PL_ppaddr)[])(pTHX);
 #else
-EXT OP * (CPERLscope(*PL_ppaddr)[])(ARGSproto) = {
+EXT OP * (CPERLscope(*PL_ppaddr)[])(pTHX) = {
 END
 
 for (@ops) {
-    print "\tpp_$_,\n";
+    print "\tPerl_pp_$_,\n";
 }
 
 print <<END;
@@ -128,13 +127,13 @@ END
 
 print <<END;
 #ifndef DOINIT
-EXT OP * (CPERLscope(*PL_check)[]) _((OP *op));
+EXT OP * (CPERLscope(*PL_check)[]) (pTHX_ OP *op);
 #else
-EXT OP * (CPERLscope(*PL_check)[]) _((OP *op)) = {
+EXT OP * (CPERLscope(*PL_check)[]) (pTHX_ OP *op) = {
 END
 
 for (@ops) {
-    print "\t", &tab(3, "$check{$_},"), "/* $_ */\n";
+    print "\t", &tab(3, "Perl_$check{$_},"), "/* $_ */\n";
 }
 
 print <<END;
@@ -167,17 +166,16 @@ END
     '1',  1,           # unop
     '2',  2,           # binop
     '|',  3,           # logop
-    '?',  4,           # condop
-    '@',  5,           # listop
-    '/',  6,           # pmop
-    '$',  7,           # svop
-    '*',  8,           # gvop
-    '"',  9,           # pvop
-    '{',  10,          # loop
-    ';',  11,          # cop
-    '%',  12,          # baseop_or_unop
-    '-',  13,          # filestatop
-    '}',  14,          # loopexop
+    '@',  4,           # listop
+    '/',  5,           # pmop
+    '$',  6,           # svop
+    '*',  7,           # gvop
+    '"',  8,           # pvop_or_svop
+    '{',  9,           # loop
+    ';',  10,          # cop
+    '%',  11,          # baseop_or_unop
+    '-',  12,          # filestatop
+    '}',  13,          # loopexop
 );
 
 for (@ops) {
@@ -187,17 +185,20 @@ for (@ops) {
     $argsum |= 2 if $flags =~ /f/;             # fold constants
     $argsum |= 4 if $flags =~ /s/;             # always produces scalar
     $argsum |= 8 if $flags =~ /t/;             # needs target scalar
+    $argsum |= (8|256) if $flags =~ /T/;       # ... which may be lexical
     $argsum |= 16 if $flags =~ /i/;            # always produces integer
     $argsum |= 32 if $flags =~ /I/;            # has corresponding int op
     $argsum |= 64 if $flags =~ /d/;            # danger, unknown side effects
     $argsum |= 128 if $flags =~ /u/;           # defaults to $_
 
     $flags =~ /([\W\d_])/ or die qq[Opcode "$_" has no class indicator];
-    $argsum |= $opclass{$1} << 8;
-    $mul = 4096;                               # 2 ^ OASHIFT
+    $argsum |= $opclass{$1} << 9;
+    $mul = 0x2000;                             # 2 ^ OASHIFT
     for $arg (split(' ',$args{$_})) {
        $argnum = ($arg =~ s/\?//) ? 8 : 0;
        $argnum += $argnum{$arg};
+       warn "# Conflicting bit 32 for '$_'.\n"
+           if $argnum & 8 and $mul == 0x10000000;
        $argsum += $argnum * $mul;
        $mul <<= 4;
     }
@@ -208,6 +209,8 @@ for (@ops) {
 print <<END;
 };
 #endif
+
+END_EXTERN_C
 END
 
 close OC or die "Error closing opcode.h: $!";
@@ -217,17 +220,36 @@ unlink "pp.sym";
 open PP, '>pp_proto.h' or die "Error creating pp_proto.h: $!";
 open PPSYM, '>pp.sym' or die "Error creating pp.sym: $!";
 
+print PP <<"END";
+/* !!!!!!!   DO NOT EDIT THIS FILE   !!!!!!! 
+   This file is built by opcode.pl from its data.  Any changes made here
+   will be lost!
+*/
+
+END
+
+print PPSYM <<"END";
+#
+# !!!!!!!   DO NOT EDIT THIS FILE   !!!!!!! 
+#   This file is built by opcode.pl from its data.  Any changes made here
+#   will be lost!
+#
+
+END
+
+
 for (sort keys %ckname) {
-    print PP "PERL_CKDEF($_)\n";
-#OP *\t", &tab(3,$_),"_((OP* o));\n";
+    print PP "PERL_CKDEF(Perl_$_)\n";
+    print PPSYM "Perl_$_\n";
+#OP *\t", &tab(3,$_),"(OP* o);\n";
 }
 
 print PP "\n\n";
 
 for (@ops) {
     next if /^i_(pre|post)(inc|dec)$/;
-    print PP "PERL_PPDEF(pp_$_)\n";
-    print PPSYM "pp_$_\n";
+    print PP "PERL_PPDEF(Perl_pp_$_)\n";
+    print PPSYM "Perl_pp_$_\n";
 }
 
 close PP or die "Error closing pp_proto.h: $!";
@@ -240,6 +262,43 @@ sub tab {
     $t;
 }
 ###########################################################################
+
+# Some comments about 'T' opcode classifier:
+
+# Safe to set if the ppcode uses:
+#      tryAMAGICbin, tryAMAGICun, SETn, SETi, SETu, PUSHn, PUSHTARG, SETTARG,
+#      SETs(TARG), XPUSHn, XPUSHu,
+
+# Unsafe to set if the ppcode uses dTARG or [X]RETPUSH[YES|NO|UNDEF]
+
+# lt and friends do SETs (including ncmp, but not scmp)
+
+# pp.c pos substr each not OK (RETPUSHUNDEF)
+#      substr vec also not OK due to LV to target (are they???)
+#      ref not OK (RETPUSHNO)
+#      trans not OK (dTARG; TARG = sv_newmortal();)
+#      ucfirst etc not OK: TMP arg processed inplace
+#      each repeat not OK too due to array context
+#      pack split - unknown whether they are safe
+
+# pp_hot.c
+#      readline - unknown whether it is safe
+#      match subst not OK (dTARG)
+#      grepwhile not OK (not always setting)
+
+# pp_ctl.c
+#      mapwhile flip caller not OK (not always setting)
+
+# pp_sys.c
+#      backtick glob warn die not OK (not always setting)
+#      warn not OK (RETPUSHYES)
+#      open fileno getc sysread syswrite ioctl accept shutdown
+#       ftsize(etc) readlink telldir fork alarm getlogin not OK (RETPUSHUNDEF)
+#      umask select not OK (XPUSHs(&PL_sv_undef);)
+#      fileno getc sysread syswrite tell not OK (meth("FILENO" "GETC"))
+#      sselect shm* sem* msg* syscall - unknown whether they are safe
+#      gmtime not OK (list context)
+
 __END__
 
 # Nothing.
@@ -274,7 +333,7 @@ rv2cv               subroutine deref        ck_rvconst      d1
 anoncode       anonymous subroutine    ck_anoncode     $       
 prototype      subroutine prototype    ck_null         s%      S
 refgen         reference constructor   ck_spair        m1      L
-srefgen                scalar ref constructor  ck_null         fs1     S
+srefgen                single ref constructor  ck_null         fs1     S
 ref            reference-type operator ck_fun          stu%    S?
 bless          bless                   ck_fun          s@      S S?
 
@@ -300,14 +359,14 @@ trans             character translation   ck_null         is"     S
 # Lvalue operators.
 # sassign is special-cased for op class
 
-sassign                scalar assignment       ck_null         s0
+sassign                scalar assignment       ck_sassign      s0
 aassign                list assignment         ck_null         t2      L L
 
-chop           chop                    ck_spair        mts%    L
-schop          scalar chop             ck_null         stu%    S?
-chomp          safe chop               ck_spair        mts%    L
-schomp         scalar safe chop        ck_null         stu%    S?
-defined                defined operator        ck_rfun         isu%    S?
+chop           chop                    ck_spair        mTs%    L
+schop          scalar chop             ck_null         sTu%    S?
+chomp          safe chop               ck_spair        mTs%    L
+schomp         scalar safe chop        ck_null         sTu%    S?
+defined                defined operator        ck_defined      isu%    S?
 undef          undef operator          ck_lfun         s%      S?
 study          study                   ck_fun          su%     S?
 pos            match position          ck_lfun         stu%    S?
@@ -316,32 +375,32 @@ preinc            preincrement            ck_lfun         dIs1    S
 i_preinc       integer preincrement    ck_lfun         dis1    S
 predec         predecrement            ck_lfun         dIs1    S
 i_predec       integer predecrement    ck_lfun         dis1    S
-postinc                postincrement           ck_lfun         dIst1   S
-i_postinc      integer postincrement   ck_lfun         dist1   S
-postdec                postdecrement           ck_lfun         dIst1   S
-i_postdec      integer postdecrement   ck_lfun         dist1   S
+postinc                postincrement           ck_lfun         dIsT1   S
+i_postinc      integer postincrement   ck_lfun         disT1   S
+postdec                postdecrement           ck_lfun         dIsT1   S
+i_postdec      integer postdecrement   ck_lfun         disT1   S
 
 # Ordinary operators.
 
-pow            exponentiation          ck_null         fst2    S S
+pow            exponentiation          ck_null         fsT2    S S
 
-multiply       multiplication          ck_null         Ifst2   S S
-i_multiply     integer multiplication  ck_null         ifst2   S S
-divide         division                ck_null         Ifst2   S S
-i_divide       integer division        ck_null         ifst2   S S
-modulo         modulus                 ck_null         Iifst2  S S
-i_modulo       integer modulus         ck_null         ifst2   S S
+multiply       multiplication          ck_null         IfsT2   S S
+i_multiply     integer multiplication  ck_null         ifsT2   S S
+divide         division                ck_null         IfsT2   S S
+i_divide       integer division        ck_null         ifsT2   S S
+modulo         modulus                 ck_null         IifsT2  S S
+i_modulo       integer modulus         ck_null         ifsT2   S S
 repeat         repeat                  ck_repeat       mt2     L S
 
-add            addition                ck_null         Ifst2   S S
-i_add          integer addition        ck_null         ifst2   S S
-subtract       subtraction             ck_null         Ifst2   S S
-i_subtract     integer subtraction     ck_null         ifst2   S S
-concat         concatenation           ck_concat       fst2    S S
-stringify      string                  ck_fun          fst@    S
+add            addition                ck_null         IfsT2   S S
+i_add          integer addition        ck_null         ifsT2   S S
+subtract       subtraction             ck_null         IfsT2   S S
+i_subtract     integer subtraction     ck_null         ifsT2   S S
+concat         concatenation           ck_concat       fsT2    S S
+stringify      string                  ck_fun          fsT@    S
 
-left_shift     left bitshift           ck_bitop        fst2    S S
-right_shift    right bitshift          ck_bitop        fst2    S S
+left_shift     left bitshift           ck_bitop        fsT2    S S
+right_shift    right bitshift          ck_bitop        fsT2    S S
 
 lt             numeric lt              ck_null         Iifs2   S S
 i_lt           integer lt              ck_null         ifs2    S S
@@ -366,52 +425,52 @@ seq               string eq               ck_null         ifs2    S S
 sne            string ne               ck_null         ifs2    S S
 scmp           string comparison       ck_scmp         ifst2   S S
 
-bit_and                bitwise and             ck_bitop        fst2    S S
-bit_xor                bitwise xor             ck_bitop        fst2    S S
-bit_or         bitwise or              ck_bitop        fst2    S S
+bit_and                bitwise and             ck_bitop        fsT2    S S
+bit_xor                bitwise xor             ck_bitop        fsT2    S S
+bit_or         bitwise or              ck_bitop        fsT2    S S
 
-negate         negate                  ck_null         Ifst1   S
-i_negate       integer negate          ck_null         ifst1   S
+negate         negate                  ck_null         IfsT1   S
+i_negate       integer negate          ck_null         ifsT1   S
 not            not                     ck_null         ifs1    S
-complement     1's complement          ck_bitop        fst1    S
+complement     1's complement          ck_bitop        fsT1    S
 
 # High falutin' math.
 
-atan2          atan2                   ck_fun          fst@    S S
-sin            sin                     ck_fun          fstu%   S?
-cos            cos                     ck_fun          fstu%   S?
-rand           rand                    ck_fun          st%     S?
+atan2          atan2                   ck_fun          fsT@    S S
+sin            sin                     ck_fun          fsTu%   S?
+cos            cos                     ck_fun          fsTu%   S?
+rand           rand                    ck_fun          sT%     S?
 srand          srand                   ck_fun          s%      S?
-exp            exp                     ck_fun          fstu%   S?
-log            log                     ck_fun          fstu%   S?
-sqrt           sqrt                    ck_fun          fstu%   S?
+exp            exp                     ck_fun          fsTu%   S?
+log            log                     ck_fun          fsTu%   S?
+sqrt           sqrt                    ck_fun          fsTu%   S?
 
 # Lowbrow math.
 
-int            int                     ck_fun          fstu%   S?
-hex            hex                     ck_fun          fstu%   S?
-oct            oct                     ck_fun          fstu%   S?
-abs            abs                     ck_fun          fstu%   S?
+int            int                     ck_fun          fsTu%   S?
+hex            hex                     ck_fun          fsTu%   S?
+oct            oct                     ck_fun          fsTu%   S?
+abs            abs                     ck_fun          fsTu%   S?
 
 # String stuff.
 
-length         length                  ck_lengthconst  istu%   S?
+length         length                  ck_lengthconst  isTu%   S?
 substr         substr                  ck_fun          st@     S S S? S?
 vec            vec                     ck_fun          ist@    S S S
 
-index          index                   ck_index        ist@    S S S?
-rindex         rindex                  ck_index        ist@    S S S?
+index          index                   ck_index        isT@    S S S?
+rindex         rindex                  ck_index        isT@    S S S?
 
-sprintf                sprintf                 ck_fun_locale   mfst@   S L
+sprintf                sprintf                 ck_fun_locale   mfsT@   S L
 formline       formline                ck_fun          ms@     S L
-ord            ord                     ck_fun          ifstu%  S?
-chr            chr                     ck_fun          fstu%   S?
-crypt          crypt                   ck_fun          fst@    S S
+ord            ord                     ck_fun          ifsTu%  S?
+chr            chr                     ck_fun          fsTu%   S?
+crypt          crypt                   ck_fun          fsT@    S S
 ucfirst                upper case first        ck_fun_locale   fstu%   S?
 lcfirst                lower case first        ck_fun_locale   fstu%   S?
 uc             upper case              ck_fun_locale   fstu%   S?
 lc             lower case              ck_fun_locale   fstu%   S?
-quotemeta      quote metachars         ck_fun          fstu%   S?
+quotemeta      quote metachars         ck_fun          fsTu%   S?
 
 # Arrays.
 
@@ -436,7 +495,7 @@ hslice              hash slice              ck_null         m@      H L
 unpack         unpack                  ck_fun          @       S S
 pack           pack                    ck_fun          mst@    S L
 split          split                   ck_split        t@      S S S
-join           join                    ck_fun          mst@    S L
+join           join                    ck_fun          msT@    S L
 
 # List operators.
 
@@ -446,10 +505,10 @@ anonlist  anonymous list          ck_fun          ms@     L
 anonhash       anonymous hash          ck_fun          ms@     L
 
 splice         splice                  ck_fun          m@      A S? S? L
-push           push                    ck_fun          imst@   A L
+push           push                    ck_fun          imsT@   A L
 pop            pop                     ck_shift        s%      A
 shift          shift                   ck_shift        s%      A
-unshift                unshift                 ck_fun          imst@   A L
+unshift                unshift                 ck_fun          imsT@   A L
 sort           sort                    ck_sort         m@      C? L
 reverse                reverse                 ck_fun          mt@     L
 
@@ -461,7 +520,7 @@ mapwhile    map iterator            ck_null         dt|
 
 # Range stuff.
 
-range          flipflop                ck_null         ?       S S
+range          flipflop                ck_null         |       S S
 flip           range (or flip)         ck_null         1       S S
 flop           range (or flop)         ck_null         1
 
@@ -470,7 +529,7 @@ flop                range (or flop)         ck_null         1
 and            logical and             ck_null         |       
 or             logical or              ck_null         |       
 xor            logical xor             ck_null         fs|     S S     
-cond_expr      conditional expression  ck_null         d?      
+cond_expr      conditional expression  ck_null         d|      
 andassign      logical and assignment  ck_null         s|      
 orassign       logical or assignment   ck_null         s|      
 
@@ -485,7 +544,7 @@ reset               reset                   ck_fun          is%     S?
 lineseq                line sequence           ck_null         @       
 nextstate      next statement          ck_null         s;      
 dbstate                debug next statement    ck_null         s;      
-unstack                unstack                 ck_null         s0
+unstack                iteration finalizer     ck_null         s0
 enter          block entry             ck_null         0       
 leave          block exit              ck_null         @       
 scope          block                   ck_null         @       
@@ -547,7 +606,7 @@ truncate    truncate                ck_trunc        is@     S S
 
 fcntl          fcntl                   ck_fun          st@     F S S
 ioctl          ioctl                   ck_fun          st@     F S S
-flock          flock                   ck_fun          ist@    F S
+flock          flock                   ck_fun          isT@    F S
 
 # Sockets.
 
@@ -600,18 +659,18 @@ ftbinary  -B                      ck_ftst         isu-    F
 
 # File calls.
 
-chdir          chdir                   ck_fun          ist%    S?
-chown          chown                   ck_fun          imst@   L
-chroot         chroot                  ck_fun          istu%   S?
-unlink         unlink                  ck_fun          imstu@  L
-chmod          chmod                   ck_fun          imst@   L
-utime          utime                   ck_fun          imst@   L
-rename         rename                  ck_fun          ist@    S S
-link           link                    ck_fun          ist@    S S
-symlink                symlink                 ck_fun          ist@    S S
+chdir          chdir                   ck_fun          isT%    S?
+chown          chown                   ck_fun          imsT@   L
+chroot         chroot                  ck_fun          isTu%   S?
+unlink         unlink                  ck_fun          imsTu@  L
+chmod          chmod                   ck_fun          imsT@   L
+utime          utime                   ck_fun          imsT@   L
+rename         rename                  ck_fun          isT@    S S
+link           link                    ck_fun          isT@    S S
+symlink                symlink                 ck_fun          isT@    S S
 readlink       readlink                ck_fun          stu%    S?
-mkdir          mkdir                   ck_fun          ist@    S S
-rmdir          rmdir                   ck_fun          istu%   S?
+mkdir          mkdir                   ck_fun          isT@    S S
+rmdir          rmdir                   ck_fun          isTu%   S?
 
 # Directory calls.
 
@@ -625,25 +684,25 @@ closedir  closedir                ck_fun          is%     F
 # Process control.
 
 fork           fork                    ck_null         ist0    
-wait           wait                    ck_null         ist0    
-waitpid                waitpid                 ck_fun          ist@    S S
-system         system                  ck_exec         imst@   S? L
-exec           exec                    ck_exec         dimst@  S? L
-kill           kill                    ck_fun          dimst@  L
-getppid                getppid                 ck_null         ist0    
-getpgrp                getpgrp                 ck_fun          ist%    S?
-setpgrp                setpgrp                 ck_fun          ist@    S? S?
-getpriority    getpriority             ck_fun          ist@    S S
-setpriority    setpriority             ck_fun          ist@    S S S
+wait           wait                    ck_null         isT0    
+waitpid                waitpid                 ck_fun          isT@    S S
+system         system                  ck_exec         imsT@   S? L
+exec           exec                    ck_exec         dimsT@  S? L
+kill           kill                    ck_fun          dimsT@  L
+getppid                getppid                 ck_null         isT0    
+getpgrp                getpgrp                 ck_fun          isT%    S?
+setpgrp                setpgrp                 ck_fun          isT@    S? S?
+getpriority    getpriority             ck_fun          isT@    S S
+setpriority    setpriority             ck_fun          isT@    S S S
 
 # Time calls.
 
-time           time                    ck_null         ist0    
+time           time                    ck_null         isT0    
 tms            times                   ck_null         0       
 localtime      localtime               ck_fun          t%      S?
 gmtime         gmtime                  ck_fun          t%      S?
 alarm          alarm                   ck_fun          istu%   S?
-sleep          sleep                   ck_fun          ist%    S?
+sleep          sleep                   ck_fun          isT%    S?
 
 # Shared memory.