X-Git-Url: https://perl5.git.perl.org/perl5.git/blobdiff_plain/2faa37ccf8e46b865687f0ab4992b29a75eb79ea..1f763251de9d15bd843d41adf21f5de7aa72b2ea:/opcode.pl diff --git a/opcode.pl b/opcode.pl index c67f142..f2b876d 100755 --- a/opcode.pl +++ b/opcode.pl @@ -29,10 +29,15 @@ while () { $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,10 +51,13 @@ print "\n#define MAXO ", scalar @ops, "\n\n"; # Emit op names and descriptions. print <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(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(Perl_pp_$_)\n"; + print PPSYM "Perl_pp_$_\n"; +} + +close PP or die "Error closing pp_proto.h: $!"; +close PPSYM or die "Error closing pp.sym: $!"; + ########################################################################### sub tab { local($l, $t) = @_; @@ -204,8 +262,47 @@ 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__ +# New ops always go at the very end + # Nothing. null null operation ck_null 0 @@ -227,7 +324,7 @@ padav private array ck_null d0 padhv private hash ck_null d0 padany private something ck_null d0 -pushre push regexp ck_null / +pushre push regexp ck_null d/ # References and stuff. @@ -237,8 +334,8 @@ av2arylen array length ck_null is1 rv2cv subroutine deref ck_rvconst d1 anoncode anonymous subroutine ck_anoncode $ prototype subroutine prototype ck_null s% S -refgen reference constructor ck_spair m0 L -srefgen scalar ref constructor ck_null fs0 S +refgen reference constructor ck_spair m1 L +srefgen single ref constructor ck_null fs1 S ref reference-type operator ck_fun stu% S? bless bless ck_fun s@ S S? @@ -253,8 +350,10 @@ rcatline append I/O operator ck_null t% # Bindable operators. regcmaybe regexp comp once ck_fun s1 S +regcreset regexp reset interpolation flag ck_fun s1 S regcomp regexp compilation ck_null s| S match pattern match ck_match d/ +qr pattern quote ck_match s/ subst substitution ck_null dis/ S substcont substitution cont ck_null dis| trans character translation ck_null is" S @@ -262,14 +361,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? @@ -278,32 +377,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 @@ -328,52 +427,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? -substr substr ck_fun st@ S S 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. @@ -384,7 +483,7 @@ aslice array slice ck_null m@ A L # Hashes. -each each ck_fun t% H +each each ck_fun % H values values ck_fun t% H keys keys ck_fun t% H delete delete ck_delete % S @@ -398,7 +497,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. @@ -408,10 +507,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 -pop pop ck_shift si% A +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 @@ -423,7 +522,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 @@ -432,7 +531,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| @@ -447,7 +546,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 @ @@ -462,6 +561,7 @@ redo redo ck_null ds} dump dump ck_null ds} goto goto ck_null ds} exit exit ck_fun ds% S? +# continued below #nswitch numeric switch ck_null d #cswitch character switch ck_null d @@ -496,7 +596,7 @@ print print ck_listiob ims@ F? L sysopen sysopen ck_fun s@ F S S S? sysseek sysseek ck_fun s@ F S S sysread sysread ck_fun imst@ F R S S? -syswrite syswrite ck_fun imst@ F S S S? +syswrite syswrite ck_fun imst@ F S S? S? send send ck_fun imst@ F S S S? recv recv ck_fun imst@ F R S S @@ -509,7 +609,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. @@ -562,18 +662,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. @@ -587,25 +687,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. @@ -678,3 +778,6 @@ syscall syscall ck_fun imst@ S L # For multi-threading lock lock ck_rfun s% S threadsv per-thread variable ck_null ds0 + +# Control (contd.) +setstate set statement info ck_null s;