This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Bump NEXT version to 0.61 for CPAN release
[perl5.git] / opcode.pl
index d055f58..7f88036 100755 (executable)
--- a/opcode.pl
+++ b/opcode.pl
@@ -1,22 +1,28 @@
-#!/usr/bin/perl
+#!/usr/bin/perl -w
+use strict;
+
 BEGIN {
     # Get function prototypes
-    require 'regen.pl';
+    require 'regen_lib.pl';
 }
 
-$opcode_new = 'opcode.h-new';
-$opname_new = 'opnames.h-new';
-open(OC, ">$opcode_new") || die "Can't create $opcode_new: $!\n";
-open(ON, ">$opname_new") || die "Can't create $opname_new: $!\n";
-select OC;
+my $opcode_new = 'opcode.h-new';
+my $opname_new = 'opnames.h-new';
+my $oc = safer_open($opcode_new);
+my $on = safer_open($opname_new);
+select $oc;
 
 # Read data.
 
+my %seen;
+my (@ops, %desc, %check, %ckname, %flags, %args, %opnum);
+
 while (<DATA>) {
     chop;
     next unless $_;
     next if /^#/;
-    ($key, $desc, $check, $flags, $args) = split(/\t+/, $_, 5);
+    my ($key, $desc, $check, $flags, $args) = split(/\t+/, $_, 5);
+    $args = '' unless defined $args;
 
     warn qq[Description "$desc" duplicates $seen{$desc}\n] if $seen{$desc};
     die qq[Opcode "$key" duplicates $seen{$key}\n] if $seen{$key};
@@ -24,6 +30,7 @@ while (<DATA>) {
     $seen{$key} = qq[opcode "$key"];
 
     push(@ops, $key);
+    $opnum{$key} = $#ops;
     $desc{$key} = $desc;
     $check{$key} = $check;
     $ckname{$check}++;
@@ -31,14 +38,74 @@ while (<DATA>) {
     $args{$key} = $args;
 }
 
+# Set up aliases
+
+my %alias;
+
+# Format is "this function" => "does these op names"
+my @raw_alias = (
+                Perl_do_kv => [qw( keys values )],
+                Perl_unimplemented_op => [qw(padany mapstart custom)],
+                # All the ops with a body of { return NORMAL; }
+                Perl_pp_null => [qw(scalar regcmaybe lineseq scope)],
+
+                Perl_pp_goto => ['dump'],
+                Perl_pp_require => ['dofile'],
+                Perl_pp_untie => ['dbmclose'],
+                Perl_pp_sysread => [qw(read recv)],
+                Perl_pp_sysseek => ['seek'],
+                Perl_pp_ioctl => ['fcntl'],
+                Perl_pp_ssockopt => ['gsockopt'],
+                Perl_pp_getpeername => ['getsockname'],
+                Perl_pp_stat => ['lstat'],
+                Perl_pp_ftrowned => [qw(fteowned ftzero ftsock ftchr ftblk
+                                        ftfile ftdir ftpipe ftsuid ftsgid
+                                        ftsvtx)],
+                Perl_pp_fttext => ['ftbinary'],
+                Perl_pp_gmtime => ['localtime'],
+                Perl_pp_semget => [qw(shmget msgget)],
+                Perl_pp_semctl => [qw(shmctl msgctl)],
+                Perl_pp_ghostent => [qw(ghbyname ghbyaddr)],
+                Perl_pp_gnetent => [qw(gnbyname gnbyaddr)],
+                Perl_pp_gprotoent => [qw(gpbyname gpbynumber)],
+                Perl_pp_gservent => [qw(gsbyname gsbyport)],
+                Perl_pp_gpwent => [qw(gpwnam gpwuid)],
+                Perl_pp_ggrent => [qw(ggrnam ggrgid)],
+                Perl_pp_ftis => [qw(ftsize ftmtime ftatime ftctime)],
+                Perl_pp_chown => [qw(unlink chmod utime kill)],
+                Perl_pp_link => ['symlink'],
+                Perl_pp_ftrread => [qw(ftrwrite ftrexec fteread ftewrite
+                                       fteexec)],
+                Perl_pp_shmwrite => [qw(shmread msgsnd msgrcv semop)],
+                Perl_pp_send => ['syswrite'],
+                Perl_pp_defined => [qw(dor dorassign)],
+                 Perl_pp_and => ['andassign'],
+                Perl_pp_or => ['orassign'],
+                Perl_pp_ucfirst => ['lcfirst'],
+                Perl_pp_sle => [qw(slt sgt sge)],
+                Perl_pp_print => ['say'],
+                Perl_pp_index => ['rindex'],
+                Perl_pp_oct => ['hex'],
+                Perl_pp_shift => ['pop'],
+                Perl_pp_sin => [qw(cos exp log sqrt)],
+                Perl_pp_bit_or => ['bit_xor'],
+                Perl_pp_rv2av => ['rv2hv'],
+                Perl_pp_akeys => ['avalues'],
+               );
+
+while (my ($func, $names) = splice @raw_alias, 0, 2) {
+    $alias{$_} = $func for @$names;
+}
+
 # Emit defines.
 
-$i = 0;
 print <<"END";
-/*
+/* -*- buffer-read-only: t -*-
+ *
  *    opcode.h
  *
- *    Copyright (c) 1997-2002, Larry Wall
+ *    Copyright (C) 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
+ *    2001, 2002, 2003, 2004, 2005, 2006, 2007 by Larry Wall and others
  *
  *    You may distribute under the terms of either the GNU General Public
  *    License or the Artistic License, as specified in the README file.
@@ -48,18 +115,24 @@ print <<"END";
  *  will be lost!
  */
 
+#ifndef PERL_GLOBAL_STRUCT_INIT
+
 #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
 
+PERL_PPDEF(Perl_unimplemented_op)
+
 END
 
-print ON <<"END";
-/*
+print $on <<"END";
+/* -*- buffer-read-only: t -*-
+ *
  *    opnames.h
  *
- *    Copyright (c) 1997-2002, Larry Wall
+ *    Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
+ *    2007 by Larry Wall and others
  *
  *    You may distribute under the terms of either the GNU General Public
  *    License or the Artistic License, as specified in the README file.
@@ -73,31 +146,31 @@ print ON <<"END";
 typedef enum opcode {
 END
 
+my $i = 0;
 for (@ops) {
-    print ON "\t", &tab(3,"OP_\U$_,"), "/* ", $i++, " */\n";
+    # print $on "\t", &tab(3,"OP_\U$_,"), "/* ", $i++, " */\n";
+      print $on "\t", &tab(3,"OP_\U$_"), " = ", $i++, ",\n";
 }
-print ON "\t", &tab(3,"OP_max"), "\n";
-print ON "} opcode;\n";
-print ON "\n#define MAXO ", scalar @ops, "\n";
-print ON "#define OP_phoney_INPUT_ONLY -1\n";
-print ON "#define OP_phoney_OUTPUT_ONLY -2\n\n";
+print $on "\t", &tab(3,"OP_max"), "\n";
+print $on "} opcode;\n";
+print $on "\n#define MAXO ", scalar @ops, "\n";
+print $on "#define OP_phoney_INPUT_ONLY -1\n";
+print $on "#define OP_phoney_OUTPUT_ONLY -2\n\n";
 
 # Emit op names and descriptions.
 
 print <<END;
-
 START_EXTERN_C
 
-
-#define OP_NAME(o) (o->op_type == OP_CUSTOM ? custom_op_name(o) : \\
-                    PL_op_name[o->op_type])
-#define OP_DESC(o) (o->op_type == OP_CUSTOM ? custom_op_desc(o) : \\
-                    PL_op_desc[o->op_type])
+#define OP_NAME(o) ((o)->op_type == OP_CUSTOM ? custom_op_name(o) : \\
+                    PL_op_name[(o)->op_type])
+#define OP_DESC(o) ((o)->op_type == OP_CUSTOM ? custom_op_desc(o) : \\
+                    PL_op_desc[(o)->op_type])
 
 #ifndef DOINIT
-EXT char *PL_op_name[];
+EXTCONST char* const PL_op_name[];
 #else
-EXT char *PL_op_name[] = {
+EXTCONST char* const PL_op_name[] = {
 END
 
 for (@ops) {
@@ -112,9 +185,9 @@ END
 
 print <<END;
 #ifndef DOINIT
-EXT char *PL_op_desc[];
+EXTCONST char* const PL_op_desc[];
 #else
-EXT char *PL_op_desc[] = {
+EXTCONST char* const PL_op_desc[] = {
 END
 
 for (@ops) {
@@ -132,6 +205,7 @@ print <<END;
 
 END_EXTERN_C
 
+#endif /* !PERL_GLOBAL_STRUCT_INIT */
 END
 
 # Emit function declarations.
@@ -152,18 +226,34 @@ print <<END;
 
 START_EXTERN_C
 
-#ifndef DOINIT
-EXT OP * (CPERLscope(*PL_ppaddr)[])(pTHX);
+#ifdef PERL_GLOBAL_STRUCT_INIT
+#  define PERL_PPADDR_INITED
+static const Perl_ppaddr_t Gppaddr[]
 #else
-EXT OP * (CPERLscope(*PL_ppaddr)[])(pTHX) = {
+#  ifndef PERL_GLOBAL_STRUCT
+#    define PERL_PPADDR_INITED
+EXT Perl_ppaddr_t PL_ppaddr[] /* or perlvars.h */
+#  endif
+#endif /* PERL_GLOBAL_STRUCT */
+#if (defined(DOINIT) && !defined(PERL_GLOBAL_STRUCT)) || defined(PERL_GLOBAL_STRUCT_INIT)
+#  define PERL_PPADDR_INITED
+= {
 END
 
 for (@ops) {
-    print "\tMEMBER_TO_FPTR(Perl_pp_$_),\n" unless $_ eq "custom";
+    if (my $name = $alias{$_}) {
+       print "\tMEMBER_TO_FPTR($name),\t/* Perl_pp_$_ */\n";
+    }
+    else {
+       print "\tMEMBER_TO_FPTR(Perl_pp_$_),\n";
+    }
 }
 
 print <<END;
-};
+}
+#endif
+#ifdef PERL_PPADDR_INITED
+;
 #endif
 
 END
@@ -171,10 +261,18 @@ END
 # Emit check routines.
 
 print <<END;
-#ifndef DOINIT
-EXT OP * (CPERLscope(*PL_check)[]) (pTHX_ OP *op);
+#ifdef PERL_GLOBAL_STRUCT_INIT
+#  define PERL_CHECK_INITED
+static const Perl_check_t Gcheck[]
 #else
-EXT OP * (CPERLscope(*PL_check)[]) (pTHX_ OP *op) = {
+#  ifndef PERL_GLOBAL_STRUCT
+#    define PERL_CHECK_INITED
+EXT Perl_check_t PL_check[] /* or perlvars.h */
+#  endif
+#endif
+#if (defined(DOINIT) && !defined(PERL_GLOBAL_STRUCT)) || defined(PERL_GLOBAL_STRUCT_INIT)
+#  define PERL_CHECK_INITED
+= {
 END
 
 for (@ops) {
@@ -182,31 +280,38 @@ for (@ops) {
 }
 
 print <<END;
-};
+}
 #endif
+#ifdef PERL_CHECK_INITED
+;
+#endif /* #ifdef PERL_CHECK_INITED */
 
 END
 
 # Emit allowed argument types.
 
+my $ARGBITS = 32;
+
 print <<END;
+#ifndef PERL_GLOBAL_STRUCT_INIT
+
 #ifndef DOINIT
-EXT U32 PL_opargs[];
+EXTCONST U32 PL_opargs[];
 #else
-EXT U32 PL_opargs[] = {
+EXTCONST U32 PL_opargs[] = {
 END
 
-%argnum = (
-    S, 1,              # scalar
-    L, 2,              # list
-    A, 3,              # array value
-    H, 4,              # hash value
-    C, 5,              # code value
-    F, 6,              # file value
-    R, 7,              # scalar reference
+my %argnum = (
+    'S',  1,           # scalar
+    'L',  2,           # list
+    'A',  3,           # array value
+    'H',  4,           # hash value
+    'C',  5,           # code value
+    'F',  6,           # file value
+    'R',  7,           # scalar reference
 );
 
-%opclass = (
+my %opclass = (
     '0',  0,           # baseop
     '1',  1,           # unop
     '2',  2,           # binop
@@ -223,86 +328,139 @@ END
     '}',  13,          # loopexop
 );
 
+my %opflags = (
+    'm' =>   1,                # needs stack mark
+    'f' =>   2,                # fold constants
+    's' =>   4,                # always produces scalar
+    't' =>   8,                # needs target scalar
+    'T' =>   8 | 256,  # ... which may be lexical
+    'i' =>  16,                # always produces integer
+    'I' =>  32,                # has corresponding int op
+    'd' =>  64,                # danger, unknown side effects
+    'u' => 128,                # defaults to $_
+);
+
 my %OP_IS_SOCKET;
 my %OP_IS_FILETEST;
-
-for (@ops) {
-    $argsum = 0;
-    $flags = $flags{$_};
-    $argsum |= 1 if $flags =~ /m/;             # needs stack mark
-    $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} << 9;
-    $mul = 0x2000;                             # 2 ^ OASHIFT
-    for $arg (split(' ',$args{$_})) {
+my %OP_IS_FT_ACCESS;
+my $OCSHIFT = 9;
+my $OASHIFT = 13;
+
+for my $op (@ops) {
+    my $argsum = 0;
+    my $flags = $flags{$op};
+    for my $flag (keys %opflags) {
+       if ($flags =~ s/$flag//) {
+           die "Flag collision for '$op' ($flags{$op}, $flag)\n"
+               if $argsum & $opflags{$flag};
+           $argsum |= $opflags{$flag};
+       }
+    }
+    die qq[Opcode '$op' has no class indicator ($flags{$op} => $flags)\n]
+       unless exists $opclass{$flags};
+    $argsum |= $opclass{$flags} << $OCSHIFT;
+    my $argshift = $OASHIFT;
+    for my $arg (split(' ',$args{$op})) {
        if ($arg =~ /^F/) {
-           $OP_IS_SOCKET{$_}   = 1 if $arg =~ s/s//;
-           $OP_IS_FILETEST{$_} = 1 if $arg =~ s/-//;
+           # record opnums of these opnames
+           $OP_IS_SOCKET{$op}   = $opnum{$op} if $arg =~ s/s//;
+           $OP_IS_FILETEST{$op} = $opnum{$op} if $arg =~ s/-//;
+           $OP_IS_FT_ACCESS{$op} = $opnum{$op} if $arg =~ s/\+//;
         }
-       $argnum = ($arg =~ s/\?//) ? 8 : 0;
-        die "op = $_, arg = $arg\n" unless length($arg) == 1;
+       my $argnum = ($arg =~ s/\?//) ? 8 : 0;
+        die "op = $op, arg = $arg\n"
+           unless exists $argnum{$arg};
        $argnum += $argnum{$arg};
-       warn "# Conflicting bit 32 for '$_'.\n"
-           if $argnum & 8 and $mul == 0x10000000;
-       $argsum += $argnum * $mul;
-       $mul <<= 4;
+       die "Argument overflow for '$op'\n"
+           if $argshift >= $ARGBITS ||
+              $argnum > ((1 << ($ARGBITS - $argshift)) - 1);
+       $argsum += $argnum << $argshift;
+       $argshift += 4;
     }
     $argsum = sprintf("0x%08x", $argsum);
-    print "\t", &tab(3, "$argsum,"), "/* $_ */\n";
+    print "\t", &tab(3, "$argsum,"), "/* $op */\n";
 }
 
 print <<END;
 };
 #endif
 
+#endif /* !PERL_GLOBAL_STRUCT_INIT */
+
 END_EXTERN_C
+
 END
 
-if (keys %OP_IS_SOCKET) {
-    print ON "\n#define OP_IS_SOCKET(op)       \\\n\t(";
-    print ON join(" || \\\n\t ",
-               map { "(op) == OP_" . uc() } sort keys %OP_IS_SOCKET);
-    print ON ")\n\n";
+# Emit OP_IS_* macros
+
+print $on <<EO_OP_IS_COMMENT;
+
+/* the OP_IS_(SOCKET|FILETEST) macros are optimized to a simple range
+    check because all the member OPs are contiguous in opcode.pl
+    <DATA> table.  opcode.pl verifies the range contiguity.  */
+
+EO_OP_IS_COMMENT
+
+gen_op_is_macro( \%OP_IS_SOCKET, 'OP_IS_SOCKET');
+gen_op_is_macro( \%OP_IS_FILETEST, 'OP_IS_FILETEST');
+gen_op_is_macro( \%OP_IS_FT_ACCESS, 'OP_IS_FILETEST_ACCESS');
+
+sub gen_op_is_macro {
+    my ($op_is, $macname) = @_;
+    if (keys %$op_is) {
+       
+       # get opnames whose numbers are lowest and highest
+       my ($first, @rest) = sort {
+           $op_is->{$a} <=> $op_is->{$b}
+       } keys %$op_is;
+       
+       my $last = pop @rest;   # @rest slurped, get its last
+       die "Invalid range of ops: $first .. $last\n" unless $last;
+
+       print $on "#define $macname(op) \\\n\t(";
+
+       # verify that op-ct matches 1st..last range (and fencepost)
+       # (we know there are no dups)
+       if ( $op_is->{$last} - $op_is->{$first} == scalar @rest + 1) {
+           
+           # contiguous ops -> optimized version
+           print $on "(op) >= OP_" . uc($first) . " && (op) <= OP_" . uc($last);
+           print $on ")\n\n";
+       }
+       else {
+           print $on join(" || \\\n\t ",
+                         map { "(op) == OP_" . uc() } sort keys %$op_is);
+           print $on ")\n\n";
+       }
+    }
 }
 
-if (keys %OP_IS_FILETEST) {
-    print ON "\n#define OP_IS_FILETEST(op)     \\\n\t(";
-    print ON join(" || \\\n\t ",
-               map { "(op) == OP_" . uc() } sort keys %OP_IS_FILETEST);
-    print ON ")\n\n";
-}
+print $oc "/* ex: set ro: */\n";
+print $on "/* ex: set ro: */\n";
 
-close OC or die "Error closing opcode.h: $!";
-close ON or die "Error closing opnames.h: $!";
+safer_close($oc);
+safer_close($on);
 
-foreach ('opcode.h', 'opnames.h') {
-    safer_rename_silent $_, "$_-old";
-}
-safer_rename $opcode_new, 'opcode.h';
-safer_rename $opname_new, 'opnames.h';
+rename_if_different $opcode_new, 'opcode.h';
+rename_if_different $opname_new, 'opnames.h';
 
-$pp_proto_new = 'pp_proto.h-new';
-$pp_sym_new  = 'pp.sym-new';
+my $pp_proto_new = 'pp_proto.h-new';
+my $pp_sym_new  = 'pp.sym-new';
 
-open PP, ">$pp_proto_new" or die "Error creating $pp_proto_new: $!";
-open PPSYM, ">$pp_sym_new" or die "Error creating $pp_sym_new: $!";
+my $pp = safer_open($pp_proto_new);
+my $ppsym = safer_open($pp_sym_new);
 
-print PP <<"END";
-/* !!!!!!!   DO NOT EDIT THIS FILE   !!!!!!!
+print $pp <<"END";
+/* -*- buffer-read-only: t -*-
+   !!!!!!!   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";
+print $ppsym <<"END";
+# -*- buffer-read-only: t -*-
 #
 # !!!!!!!   DO NOT EDIT THIS FILE   !!!!!!!
 #   This file is built by opcode.pl from its data.  Any changes made here
@@ -313,32 +471,37 @@ END
 
 
 for (sort keys %ckname) {
-    print PP "PERL_CKDEF(Perl_$_)\n";
-    print PPSYM "Perl_$_\n";
+    print $pp "PERL_CKDEF(Perl_$_)\n";
+    print $ppsym "Perl_$_\n";
 #OP *\t", &tab(3,$_),"(OP* o);\n";
 }
 
-print PP "\n\n";
+print $pp "\n\n";
 
 for (@ops) {
     next if /^i_(pre|post)(inc|dec)$/;
     next if /^custom$/;
-    print PP "PERL_PPDEF(Perl_pp_$_)\n";
-    print PPSYM "Perl_pp_$_\n";
+    print $pp "PERL_PPDEF(Perl_pp_$_)\n";
+    print $ppsym "Perl_pp_$_\n";
 }
+print $pp "\n/* ex: set ro: */\n";
+print $ppsym "\n# ex: set ro:\n";
 
-close PP or die "Error closing pp_proto.h: $!";
-close PPSYM or die "Error closing pp.sym: $!";
+safer_close($pp);
+safer_close($ppsym);
 
-foreach ('pp_proto.h', 'pp.sym') {
-    safer_rename_silent $_, "$_-old";
+rename_if_different $pp_proto_new, 'pp_proto.h';
+rename_if_different $pp_sym_new, 'pp.sym';
+
+END {
+  foreach ('opcode.h', 'opnames.h', 'pp_proto.h', 'pp.sym') {
+    1 while unlink "$_-old";
+  }
 }
-safer_rename $pp_proto_new, 'pp_proto.h';
-safer_rename $pp_sym_new, 'pp.sym';
 
 ###########################################################################
 sub tab {
-    local($l, $t) = @_;
+    my ($l, $t) = @_;
     $t .= "\t" x ($l - (length($t) + 1) / 8);
     $t;
 }
@@ -402,7 +565,8 @@ sub tab {
 
 __END__
 
-# New ops always go at the end, just before 'custom'
+# New ops always go at the end
+# The restriction on having custom as the last op has been removed
 
 # A recapitulation of the format of this file:
 # The file consists of five columns: the name of the op, an English
@@ -432,7 +596,9 @@ __END__
 # Values for the operands are:
 # scalar      - S            list     - L            array     - A
 # hash        - H            sub (CV) - C            file      - F
-# socket      - Fs           filetest - F-           reference - R
+# socket      - Fs           filetest - F-           filetest_access - F-+
+
+# reference - R
 # "?" denotes an optional operand.
 
 # Nothing.
@@ -473,10 +639,10 @@ bless             bless                   ck_fun          s@      S S?
 
 # Pushy I/O.
 
-backtick       quoted execution (``, qx)       ck_open         t%      
+backtick       quoted execution (``, qx)       ck_open         tu%     S?
 # glob defaults its first arg to $_
 glob           glob                    ck_glob         t@      S?
-readline       <HANDLE>                ck_null         t%      F?
+readline       <HANDLE>                ck_readline     t%      F?
 rcatline       append I/O operator     ck_null         t$
 
 # Bindable operators.
@@ -486,9 +652,9 @@ regcreset   regexp internal reset   ck_fun          s1      S
 regcomp                regexp compilation      ck_null         s|      S
 match          pattern match (m//)     ck_match        d/
 qr             pattern quote (qr//)    ck_match        s/
-subst          substitution (s///)     ck_null         dis/    S
+subst          substitution (s///)     ck_match        dis/    S
 substcont      substitution iterator   ck_null         dis|    
-trans          transliteration (tr///) ck_null         is"     S
+trans          transliteration (tr///) ck_match        is"     S
 
 # Lvalue operators.
 # sassign is special-cased for op class
@@ -568,6 +734,8 @@ i_negate    integer negation (-)    ck_null         ifsT1   S
 not            not                     ck_null         ifs1    S
 complement     1's complement (~)      ck_bitop        fst1    S
 
+smartmatch     smart match             ck_smartmatch   s2
+
 # High falutin' math.
 
 atan2          atan2                   ck_fun          fsT@    S S
@@ -588,14 +756,14 @@ abs               abs                     ck_fun          fsTu%   S?
 
 # String stuff.
 
-length         length                  ck_lengthconst  isTu%   S?
+length         length                  ck_fun          ifsTu%  S?
 substr         substr                  ck_substr       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?
 
-sprintf                sprintf                 ck_fun          mfst@   S L
+sprintf                sprintf                 ck_fun          fmst@   S L
 formline       formline                ck_fun          ms@     S L
 ord            ord                     ck_fun          ifsTu%  S?
 chr            chr                     ck_fun          fsTu%   S?
@@ -613,20 +781,24 @@ aelemfast constant array element  ck_null         s$      A S
 aelem          array element           ck_null         s2      A S
 aslice         array slice             ck_null         m@      A L
 
+aeach          each on array           ck_each         %       A
+akeys          keys on array           ck_each         t%      A
+avalues                values on array         ck_each         t%      A
+
 # Hashes.
 
-each           each                    ck_fun          %       H
-values         values                  ck_fun          t%      H
-keys           keys                    ck_fun          t%      H
+each           each                    ck_each         %       H
+values         values                  ck_each         t%      H
+keys           keys                    ck_each         t%      H
 delete         delete                  ck_delete       %       S
 exists         exists                  ck_exists       is%     S
 rv2hv          hash dereference        ck_rvconst      dt1     
-helem          hash element            ck_null         s2@     H S
+helem          hash element            ck_null         s2      H S
 hslice         hash slice              ck_null         m@      H L
 
 # Explosives and implosives.
 
-unpack         unpack                  ck_fun          @       S S
+unpack         unpack                  ck_unpack       @       S S?
 pack           pack                    ck_fun          mst@    S L
 split          split                   ck_split        t@      S S S
 join           join or string          ck_join         mst@    S L
@@ -640,10 +812,10 @@ 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        s%      A
-shift          shift                   ck_shift        s%      A
+pop            pop                     ck_shift        s%      A?
+shift          shift                   ck_shift        s%      A?
 unshift                unshift                 ck_fun          imsT@   A L
-sort           sort                    ck_sort         m@      C? L
+sort           sort                    ck_sort         dm@     C? L
 reverse                reverse                 ck_fun          mt@     L
 
 grepstart      grep                    ck_grep         dm@     C L
@@ -663,9 +835,11 @@ flop               range (or flop)         ck_null         1
 and            logical and (&&)                ck_null         |       
 or             logical or (||)                 ck_null         |       
 xor            logical xor                     ck_null         fs2     S S     
+dor            defined or (//)                 ck_null         |
 cond_expr      conditional expression          ck_null         d|      
 andassign      logical and assignment (&&=)    ck_null         s|      
 orassign       logical or assignment (||=)     ck_null         s|      
+dorassign      defined or assignment (//=)     ck_null         s|
 
 method         method lookup           ck_method       d1
 entersub       subroutine entry        ck_subr         dmt1    L
@@ -694,10 +868,14 @@ redo              redo                    ck_null         ds}
 dump           dump                    ck_null         ds}     
 goto           goto                    ck_null         ds}     
 exit           exit                    ck_exit         ds%     S?
-# continued below
+method_named   method with known name  ck_null         d$
 
-#nswitch       numeric switch          ck_null         d       
-#cswitch       character switch        ck_null         d       
+entergiven     given()                 ck_null         d|
+leavegiven     leave given block       ck_null         1
+enterwhen      when()                  ck_null         d|
+leavewhen      leave when block        ck_null         1
+break          break                   ck_null         0
+continue       continue                ck_null         0
 
 # I/O.
 
@@ -725,15 +903,13 @@ leavewrite        write exit              ck_null         1
 
 prtf           printf                  ck_listiob      ims@    F? L
 print          print                   ck_listiob      ims@    F? L
+say            say                     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?
 
-send           send                    ck_fun          imst@   Fs S S S?
-recv           recv                    ck_fun          imst@   Fs R S S
-
 eof            eof                     ck_eof          is%     F?
 tell           tell                    ck_fun          st%     F?
 seek           seek                    ck_fun          s@      F S S
@@ -744,7 +920,10 @@ fcntl              fcntl                   ck_fun          st@     F S S
 ioctl          ioctl                   ck_fun          st@     F S S
 flock          flock                   ck_fun          isT@    F S
 
-# Sockets.
+# Sockets.  OP_IS_SOCKET wants them consecutive (so moved 1st 2)
+
+send           send                    ck_fun          imst@   Fs S S S?
+recv           recv                    ck_fun          imst@   Fs R S S
 
 socket         socket                  ck_fun          is@     Fs S S S
 sockpair       socketpair              ck_fun          is@     Fs Fs S S S
@@ -761,41 +940,42 @@ ssockopt  setsockopt              ck_fun          is@     Fs S S S
 getsockname    getsockname             ck_fun          is%     Fs
 getpeername    getpeername             ck_fun          is%     Fs
 
-# Stat calls.
+# Stat calls.  OP_IS_FILETEST wants them consecutive.
 
 lstat          lstat                   ck_ftst         u-      F
 stat           stat                    ck_ftst         u-      F
-ftrread                -R                      ck_ftst         isu-    F-
-ftrwrite       -W                      ck_ftst         isu-    F-
-ftrexec                -X                      ck_ftst         isu-    F-
-fteread                -r                      ck_ftst         isu-    F-
-ftewrite       -w                      ck_ftst         isu-    F-
-fteexec                -x                      ck_ftst         isu-    F-
+ftrread                -R                      ck_ftst         isu-    F-+
+ftrwrite       -W                      ck_ftst         isu-    F-+
+ftrexec                -X                      ck_ftst         isu-    F-+
+fteread                -r                      ck_ftst         isu-    F-+
+ftewrite       -w                      ck_ftst         isu-    F-+
+fteexec                -x                      ck_ftst         isu-    F-+
 ftis           -e                      ck_ftst         isu-    F-
-fteowned       -O                      ck_ftst         isu-    F-
-ftrowned       -o                      ck_ftst         isu-    F-
-ftzero         -z                      ck_ftst         isu-    F-
 ftsize         -s                      ck_ftst         istu-   F-
 ftmtime                -M                      ck_ftst         stu-    F-
 ftatime                -A                      ck_ftst         stu-    F-
 ftctime                -C                      ck_ftst         stu-    F-
+ftrowned       -O                      ck_ftst         isu-    F-
+fteowned       -o                      ck_ftst         isu-    F-
+ftzero         -z                      ck_ftst         isu-    F-
 ftsock         -S                      ck_ftst         isu-    F-
 ftchr          -c                      ck_ftst         isu-    F-
 ftblk          -b                      ck_ftst         isu-    F-
 ftfile         -f                      ck_ftst         isu-    F-
 ftdir          -d                      ck_ftst         isu-    F-
 ftpipe         -p                      ck_ftst         isu-    F-
-ftlink         -l                      ck_ftst         isu-    F-
 ftsuid         -u                      ck_ftst         isu-    F-
 ftsgid         -g                      ck_ftst         isu-    F-
 ftsvtx         -k                      ck_ftst         isu-    F-
+ftlink         -l                      ck_ftst         isu-    F-
 fttty          -t                      ck_ftst         is-     F-
 fttext         -T                      ck_ftst         isu-    F-
 ftbinary       -B                      ck_ftst         isu-    F-
 
 # File calls.
 
-chdir          chdir                   ck_fun          isT%    S?
+# chdir really behaves as if it had both "S?" and "F?"
+chdir          chdir                   ck_chdir        isT%    S?
 chown          chown                   ck_fun          imsT@   L
 chroot         chroot                  ck_fun          isTu%   S?
 unlink         unlink                  ck_fun          imsTu@  L
@@ -805,7 +985,7 @@ 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?
+mkdir          mkdir                   ck_fun          isTu@   S? S?
 rmdir          rmdir                   ck_fun          isTu%   S?
 
 # Directory calls.
@@ -860,14 +1040,15 @@ msgrcv           msgrcv                  ck_fun          imst@   S S S S S
 
 # Semaphores.
 
+semop          semop                   ck_fun          imst@   S S
 semget         semget                  ck_fun          imst@   S S S
 semctl         semctl                  ck_fun          imst@   S S S S
-semop          semop                   ck_fun          imst@   S S
 
 # Eval.
 
 require                require                 ck_require      du%     S?
 dofile         do "file"               ck_fun          d1      S
+hintseval      eval hints              ck_svconst      s$
 entereval      eval "string"           ck_eval         d%      S
 leaveeval      eval "string" exit      ck_null         1       S
 #evalonce      eval constant string    ck_null         d1      S
@@ -913,16 +1094,10 @@ getlogin getlogin                ck_null         st0
 syscall                syscall                 ck_fun          imst@   S L
 
 # For multi-threading
-lock           lock                    ck_rfun         s%      S
-threadsv       per-thread value        ck_null         ds0
-
-# Control (contd.)
-setstate       set statement info      ck_null         s;
-method_named   method with known name  ck_null         d$
+lock           lock                    ck_rfun         s%      R
 
-dor            defined or (//)                 ck_null         |
-dorassign      defined or assignment (//=)     ck_null         s|
+# For state support
 
-# Add new ops before this, the custom operator.
+once           once                    ck_null         |       
 
 custom         unknown custom operator         ck_null         0