]> code.delx.au - gnu-emacs/blobdiff - src/bytecode.c
(Fmove_to_column): Remove unused local variable `end_byte'.
[gnu-emacs] / src / bytecode.c
index 57639d9797239d9bfd613b6f272e8cfc7a622347..f24132dae2561a9eca5a41c97d0c88d1c8596f56 100644 (file)
@@ -1,5 +1,6 @@
 /* Execution of byte code produced by bytecomp.el.
-   Copyright (C) 1985, 1986, 1987, 1988, 1993 Free Software Foundation, Inc.
+   Copyright (C) 1985, 1986, 1987, 1988, 1993, 2000, 2001
+   Free Software Foundation, Inc.
 
 This file is part of GNU Emacs.
 
@@ -39,6 +40,11 @@ by Hallvard:
 #include "charset.h"
 #include "syntax.h"
 
+#ifdef CHECK_FRAME_FONT
+#include "frame.h"
+#include "xterm.h"
+#endif
+
 /*
  * define BYTE_CODE_SAFE to enable some minor sanity checking (useful for 
  * debugging the byte compiler...)
@@ -60,16 +66,16 @@ int byte_metering_on;
 
 #define METER_1(code) METER_2 (0, (code))
 
-#define METER_CODE(last_code, this_code)                       \
-{                                                              \
-  if (byte_metering_on)                                                \
-    {                                                          \
-      if (METER_1 (this_code) != ((1<<VALBITS)-1))             \
-        METER_1 (this_code)++;                                 \
-      if (last_code                                            \
-         && METER_2 (last_code, this_code) != ((1<<VALBITS)-1))\
-        METER_2 (last_code, this_code)++;                      \
-    }                                                          \
+#define METER_CODE(last_code, this_code)                               \
+{                                                                      \
+  if (byte_metering_on)                                                        \
+    {                                                                  \
+      if (METER_1 (this_code) < MOST_POSITIVE_FIXNUM)                  \
+        METER_1 (this_code)++;                                         \
+      if (last_code                                                    \
+         && METER_2 (last_code, this_code) < MOST_POSITIVE_FIXNUM)     \
+        METER_2 (last_code, this_code)++;                              \
+    }                                                                  \
 }
 
 #else /* no BYTE_CODE_METER */
@@ -272,33 +278,62 @@ mark_byte_stack ()
 
   for (stack = byte_stack_list; stack; stack = stack->next)
     {
+      /* If STACK->top is null here, this means there's an opcode in
+        Fbyte_code that wasn't expected to GC, but did.  To find out
+        which opcode this is, record the value of `stack', and walk
+        up the stack in a debugger, stopping in frames of Fbyte_code.
+        The culprit is found in the frame of Fbyte_code where the
+        address of its local variable `stack' is equal to the
+        recorded value of `stack' here.  */
       if (!stack->top)
        abort ();
       
       for (obj = stack->bottom; obj <= stack->top; ++obj)
-       mark_object (obj);
+       if (!XMARKBIT (*obj))
+         {
+           mark_object (obj);
+           XMARK (*obj);
+         }
+
+      if (!XMARKBIT (stack->byte_string))
+       {
+          mark_object (&stack->byte_string);
+         XMARK (stack->byte_string);
+       }
 
-      mark_object (&stack->byte_string);
-      mark_object (&stack->constants);
+      if (!XMARKBIT (stack->constants))
+       {
+         mark_object (&stack->constants);
+         XMARK (stack->constants);
+       }
     }
 }
 
 
-/* Relocate program counters in the stacks on byte_stack_list.  Called
-   when GC has completed.  */
+/* Unmark objects in the stacks on byte_stack_list.  Relocate program
+   counters.  Called when GC has completed.  */
 
 void 
-relocate_byte_pcs ()
+unmark_byte_stack ()
 {
   struct byte_stack *stack;
+  Lisp_Object *obj;
 
   for (stack = byte_stack_list; stack; stack = stack->next)
-    if (stack->byte_string_start != XSTRING (stack->byte_string)->data)
-      {
-       int offset = stack->pc - stack->byte_string_start;
-       stack->byte_string_start = XSTRING (stack->byte_string)->data;
-       stack->pc = stack->byte_string_start + offset;
-      }
+    {
+      for (obj = stack->bottom; obj <= stack->top; ++obj)
+       XUNMARK (*obj);
+
+      XUNMARK (stack->byte_string);
+      XUNMARK (stack->constants);
+
+      if (stack->byte_string_start != XSTRING (stack->byte_string)->data)
+       {
+         int offset = stack->pc - stack->byte_string_start;
+         stack->byte_string_start = XSTRING (stack->byte_string)->data;
+         stack->pc = stack->byte_string_start + offset;
+       }
+    }
 }
 
 \f
@@ -362,14 +397,27 @@ relocate_byte_pcs ()
 
 #endif /* not BYTE_CODE_SAFE */
 
+/* A version of the QUIT macro which makes sure that the stack top is
+   set before signaling `quit'.  */
+
+#define BYTE_CODE_QUIT                                 \
+  do {                                                 \
+    if (!NILP (Vquit_flag) && NILP (Vinhibit_quit))    \
+      {                                                        \
+       Vquit_flag = Qnil;                              \
+        BEFORE_POTENTIAL_GC ();                                \
+       Fsignal (Qquit, Qnil);                          \
+      }                                                        \
+  } while (0)
+
 
 DEFUN ("byte-code", Fbyte_code, Sbyte_code, 3, 3, 0,
-  "Function used internally in byte-compiled code.\n\
-The first argument, BYTESTR, is a string of byte code;\n\
-the second, VECTOR, a vector of constants;\n\
-the third, MAXDEPTH, the maximum stack depth used in this function.\n\
-If the third argument is incorrect, Emacs may crash.")
-  (bytestr, vector, maxdepth)
+       doc: /* Function used internally in byte-compiled code.
+The first argument, BYTESTR, is a string of byte code;
+the second, VECTOR, a vector of constants;
+the third, MAXDEPTH, the maximum stack depth used in this function.
+If the third argument is incorrect, Emacs may crash.  */)
+     (bytestr, vector, maxdepth)
      Lisp_Object bytestr, vector, maxdepth;
 {
   int count = specpdl_ptr - specpdl;
@@ -379,20 +427,41 @@ If the third argument is incorrect, Emacs may crash.")
 #endif
   int op;
   /* Lisp_Object v1, v2; */
-  Lisp_Object *vectorp = XVECTOR (vector)->contents;
+  Lisp_Object *vectorp;
 #ifdef BYTE_CODE_SAFE
   int const_length = XVECTOR (vector)->size;
   Lisp_Object *stacke;
 #endif
-  int bytestr_length = STRING_BYTES (XSTRING (bytestr));
+  int bytestr_length;
   struct byte_stack stack;
   Lisp_Object *top;
   Lisp_Object result;
 
-  CHECK_STRING (bytestr, 0);
+#ifdef CHECK_FRAME_FONT
+ {
+   struct frame *f = SELECTED_FRAME ();
+   if (FRAME_X_P (f)
+       && FRAME_FONT (f)->direction != 0
+       && FRAME_FONT (f)->direction != 1)
+     abort ();
+ }
+#endif
+
+  CHECK_STRING (bytestr);
   if (!VECTORP (vector))
     vector = wrong_type_argument (Qvectorp, vector);
-  CHECK_NUMBER (maxdepth, 2);
+  CHECK_NUMBER (maxdepth);
+
+  if (STRING_MULTIBYTE (bytestr))
+    /* BYTESTR must have been produced by Emacs 20.2 or the earlier
+       because they produced a raw 8-bit string for byte-code and now
+       such a byte-code string is loaded as multibyte while raw 8-bit
+       characters converted to multibyte form.  Thus, now we must
+       convert them back to the originally intended unibyte form.  */
+    bytestr = Fstring_as_unibyte (bytestr);
+
+  bytestr_length = STRING_BYTES (XSTRING (bytestr));
+  vectorp = XVECTOR (vector)->contents;
 
   stack.byte_string = bytestr;
   stack.pc = stack.byte_string_start = XSTRING (bytestr)->data;
@@ -411,12 +480,10 @@ If the third argument is incorrect, Emacs may crash.")
   while (1)
     {
 #ifdef BYTE_CODE_SAFE
-      if (top > stacks)
-       error ("Byte code stack overflow (byte compiler bug), pc %d, depth %d",
-              stack.pc - stack.byte_string_start, stacke - top);
+      if (top > stacke)
+       abort ();
       else if (top < stack.bottom - 1)
-       error ("Byte code stack underflow (byte compiler bug), pc %d",
-              stack.pc - stack.byte_string_start);
+       abort ();
 #endif
 
 #ifdef BYTE_CODE_METER
@@ -453,12 +520,20 @@ If the third argument is incorrect, Emacs may crash.")
            v1 = vectorp[op];
            if (SYMBOLP (v1))
              {
-               v2 = XSYMBOL (v1)->value;
+               v2 = SYMBOL_VALUE (v1);
                if (MISCP (v2) || EQ (v2, Qunbound))
-                 v2 = Fsymbol_value (v1);
+                 {
+                   BEFORE_POTENTIAL_GC ();
+                   v2 = Fsymbol_value (v1);
+                   AFTER_POTENTIAL_GC ();
+                 }
              }
            else
-             v2 = Fsymbol_value (v1);
+             {
+               BEFORE_POTENTIAL_GC ();
+               v2 = Fsymbol_value (v1);
+               AFTER_POTENTIAL_GC ();
+             }
            PUSH (v2);
            break;
          }
@@ -468,7 +543,7 @@ If the third argument is incorrect, Emacs may crash.")
          op = FETCH2;
          if (NILP (POP))
            {
-             QUIT;
+             BYTE_CODE_QUIT;
              CHECK_RANGE (op);
              stack.pc = stack.byte_string_start + op;
            }
@@ -478,9 +553,16 @@ If the third argument is incorrect, Emacs may crash.")
          {
            Lisp_Object v1;
            v1 = TOP;
-           if (CONSP (v1)) TOP = XCAR (v1);
-           else if (NILP (v1)) TOP = Qnil;
-           else Fcar (wrong_type_argument (Qlistp, v1));
+           if (CONSP (v1))
+             TOP = XCAR (v1);
+           else if (NILP (v1))
+             TOP = Qnil;
+           else
+             {
+               BEFORE_POTENTIAL_GC ();
+               Fcar (wrong_type_argument (Qlistp, v1));
+               AFTER_POTENTIAL_GC ();
+             }
            break;
          }
 
@@ -495,8 +577,10 @@ If the third argument is incorrect, Emacs may crash.")
        case Bmemq:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fmemq (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
@@ -504,26 +588,56 @@ If the third argument is incorrect, Emacs may crash.")
          {
            Lisp_Object v1;
            v1 = TOP;
-           if (CONSP (v1)) TOP = XCDR (v1);
-           else if (NILP (v1)) TOP = Qnil;
-           else Fcdr (wrong_type_argument (Qlistp, v1));
+           if (CONSP (v1))
+             TOP = XCDR (v1);
+           else if (NILP (v1))
+             TOP = Qnil;
+           else
+             {
+               BEFORE_POTENTIAL_GC ();
+               Fcdr (wrong_type_argument (Qlistp, v1));
+               AFTER_POTENTIAL_GC ();
+             }
            break;
          }
 
-       case Bvarset+7:
-         op = FETCH2;
+       case Bvarset:
+       case Bvarset+1:
+       case Bvarset+2:
+       case Bvarset+3:
+       case Bvarset+4:
+       case Bvarset+5:
+         op -= Bvarset;
          goto varset;
 
-       case Bvarset: case Bvarset+1: case Bvarset+2: case Bvarset+3:
-       case Bvarset+4: case Bvarset+5:
-         op -= Bvarset;
+       case Bvarset+7:
+         op = FETCH2;
          goto varset;
 
        case Bvarset+6:
          op = FETCH;
        varset:
-         set_internal (vectorp[op], POP, 0);
-         /* Fset (vectorp[op], POP); */
+         {
+           Lisp_Object sym, val;
+             
+           sym = vectorp[op];
+           val = TOP;
+
+           /* Inline the most common case.  */
+           if (SYMBOLP (sym)
+               && !EQ (val, Qunbound)
+               && !XSYMBOL (sym)->indirect_variable
+               && !XSYMBOL (sym)->constant
+               && !MISCP (XSYMBOL (sym)->value))
+             XSYMBOL (sym)->value = val;
+           else
+             {
+               BEFORE_POTENTIAL_GC ();
+               set_internal (sym, val, current_buffer, 0);
+               AFTER_POTENTIAL_GC ();
+             }
+         }
+         POP;
          break;
 
        case Bdup:
@@ -544,11 +658,18 @@ If the third argument is incorrect, Emacs may crash.")
          op = FETCH2;
          goto varbind;
 
-       case Bvarbind: case Bvarbind+1: case Bvarbind+2: case Bvarbind+3:
-       case Bvarbind+4: case Bvarbind+5:
+       case Bvarbind:
+       case Bvarbind+1:
+       case Bvarbind+2:
+       case Bvarbind+3:
+       case Bvarbind+4:
+       case Bvarbind+5:
          op -= Bvarbind;
        varbind:
+         /* Specbind can signal and thus GC.  */
+         BEFORE_POTENTIAL_GC ();
          specbind (vectorp[op], POP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bcall+6:
@@ -559,11 +680,16 @@ If the third argument is incorrect, Emacs may crash.")
          op = FETCH2;
          goto docall;
 
-       case Bcall: case Bcall+1: case Bcall+2: case Bcall+3:
-       case Bcall+4: case Bcall+5:
+       case Bcall:
+       case Bcall+1:
+       case Bcall+2:
+       case Bcall+3:
+       case Bcall+4:
+       case Bcall+5:
          op -= Bcall;
        docall:
          {
+           BEFORE_POTENTIAL_GC ();
            DISCARD (op);
 #ifdef BYTE_CODE_METER
            if (byte_metering_on && SYMBOLP (TOP))
@@ -573,14 +699,13 @@ If the third argument is incorrect, Emacs may crash.")
                v1 = TOP;
                v2 = Fget (v1, Qbyte_code_meter);
                if (INTEGERP (v2)
-                   && XINT (v2) != ((1<<VALBITS)-1))
+                   && XINT (v2) < MOST_POSITIVE_FIXNUM)
                  {
                    XSETINT (v2, XINT (v2) + 1);
                    Fput (v1, Qbyte_code_meter, v2);
                  }
              }
 #endif
-           BEFORE_POTENTIAL_GC ();
            TOP = Ffuncall (op + 1, &TOP);
            AFTER_POTENTIAL_GC ();
            break;
@@ -594,8 +719,12 @@ If the third argument is incorrect, Emacs may crash.")
          op = FETCH2;
          goto dounbind;
 
-       case Bunbind: case Bunbind+1: case Bunbind+2: case Bunbind+3:
-       case Bunbind+4: case Bunbind+5:
+       case Bunbind:
+       case Bunbind+1:
+       case Bunbind+2:
+       case Bunbind+3:
+       case Bunbind+4:
+       case Bunbind+5:
          op -= Bunbind;
        dounbind:
          BEFORE_POTENTIAL_GC ();
@@ -613,7 +742,7 @@ If the third argument is incorrect, Emacs may crash.")
 
        case Bgoto:
          MAYBE_GC ();
-         QUIT;
+         BYTE_CODE_QUIT;
          op = FETCH2;    /* pc = FETCH2 loses since FETCH2 contains pc++ */
          CHECK_RANGE (op);
          stack.pc = stack.byte_string_start + op;
@@ -624,7 +753,7 @@ If the third argument is incorrect, Emacs may crash.")
          op = FETCH2;
          if (!NILP (POP))
            {
-             QUIT;
+             BYTE_CODE_QUIT;
              CHECK_RANGE (op);
              stack.pc = stack.byte_string_start + op;
            }
@@ -635,7 +764,7 @@ If the third argument is incorrect, Emacs may crash.")
          op = FETCH2;
          if (NILP (TOP))
            {
-             QUIT;
+             BYTE_CODE_QUIT;
              CHECK_RANGE (op);
              stack.pc = stack.byte_string_start + op;
            }
@@ -647,7 +776,7 @@ If the third argument is incorrect, Emacs may crash.")
          op = FETCH2;
          if (!NILP (TOP))
            {
-             QUIT;
+             BYTE_CODE_QUIT;
              CHECK_RANGE (op);
              stack.pc = stack.byte_string_start + op;
            }
@@ -656,7 +785,7 @@ If the third argument is incorrect, Emacs may crash.")
 
        case BRgoto:
          MAYBE_GC ();
-         QUIT;
+         BYTE_CODE_QUIT;
          stack.pc += (int) *stack.pc - 127;
          break;
 
@@ -664,7 +793,7 @@ If the third argument is incorrect, Emacs may crash.")
          MAYBE_GC ();
          if (NILP (POP))
            {
-             QUIT;
+             BYTE_CODE_QUIT;
              stack.pc += (int) *stack.pc - 128;
            }
          stack.pc++;
@@ -674,7 +803,7 @@ If the third argument is incorrect, Emacs may crash.")
          MAYBE_GC ();
          if (!NILP (POP))
            {
-             QUIT;
+             BYTE_CODE_QUIT;
              stack.pc += (int) *stack.pc - 128;
            }
          stack.pc++;
@@ -685,7 +814,7 @@ If the third argument is incorrect, Emacs may crash.")
          op = *stack.pc++;
          if (NILP (TOP))
            {
-             QUIT;
+             BYTE_CODE_QUIT;
              stack.pc += op - 128;
            }
          else DISCARD (1);
@@ -696,7 +825,7 @@ If the third argument is incorrect, Emacs may crash.")
          op = *stack.pc++;
          if (!NILP (TOP))
            {
-             QUIT;
+             BYTE_CODE_QUIT;
              stack.pc += op - 128;
            }
          else DISCARD (1);
@@ -715,7 +844,8 @@ If the third argument is incorrect, Emacs may crash.")
          break;
 
        case Bsave_excursion:
-         record_unwind_protect (save_excursion_restore, save_excursion_save ());
+         record_unwind_protect (save_excursion_restore,
+                                save_excursion_save ());
          break;
 
        case Bsave_current_buffer:
@@ -730,22 +860,25 @@ If the third argument is incorrect, Emacs may crash.")
          break;
 
        case Bsave_restriction:
-         record_unwind_protect (save_restriction_restore, save_restriction_save ());
+         record_unwind_protect (save_restriction_restore,
+                                save_restriction_save ());
          break;
 
        case Bcatch:
          {
            Lisp_Object v1;
-
-           v1 = POP;
            BEFORE_POTENTIAL_GC ();
+           v1 = POP;
            TOP = internal_catch (TOP, Feval, v1);
            AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bunwind_protect:
+         /* The function record_unwind_protect can GC.  */
+         BEFORE_POTENTIAL_GC ();
          record_unwind_protect (0, POP);
+         AFTER_POTENTIAL_GC ();
          (specpdl_ptr - 1)->symbol = Qnil;
          break;
 
@@ -762,6 +895,7 @@ If the third argument is incorrect, Emacs may crash.")
 
        case Btemp_output_buffer_setup:
          BEFORE_POTENTIAL_GC ();
+         CHECK_STRING (TOP);
          temp_output_buffer_setup (XSTRING (TOP)->data);
          AFTER_POTENTIAL_GC ();
          TOP = Vstandard_output;
@@ -770,8 +904,8 @@ If the third argument is incorrect, Emacs may crash.")
        case Btemp_output_buffer_show:
          {
            Lisp_Object v1;
-           v1 = POP;
            BEFORE_POTENTIAL_GC ();
+           v1 = POP;
            temp_output_buffer_show (TOP);
            TOP = v1;
            /* pop binding of standard-output */
@@ -783,9 +917,11 @@ If the third argument is incorrect, Emacs may crash.")
        case Bnth:
          {
            Lisp_Object v1, v2;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            v2 = TOP;
-           CHECK_NUMBER (v2, 0);
+           CHECK_NUMBER (v2);
+           AFTER_POTENTIAL_GC ();
            op = XINT (v2);
            immediate_quit = 1;
            while (--op >= 0)
@@ -795,15 +931,24 @@ If the third argument is incorrect, Emacs may crash.")
                else if (!NILP (v1))
                  {
                    immediate_quit = 0;
+                   BEFORE_POTENTIAL_GC ();
                    v1 = wrong_type_argument (Qlistp, v1);
+                   AFTER_POTENTIAL_GC ();
                    immediate_quit = 1;
                    op++;
                  }
              }
            immediate_quit = 0;
-           if (CONSP (v1)) TOP = XCAR (v1);
-           else if (NILP (v1)) TOP = Qnil;
-           else Fcar (wrong_type_argument (Qlistp, v1));
+           if (CONSP (v1))
+             TOP = XCAR (v1);
+           else if (NILP (v1))
+             TOP = Qnil;
+           else
+             {
+               BEFORE_POTENTIAL_GC ();
+               Fcar (wrong_type_argument (Qlistp, v1));
+               AFTER_POTENTIAL_GC ();
+             }
            break;
          }
 
@@ -864,84 +1009,110 @@ If the third argument is incorrect, Emacs may crash.")
          break;
 
        case Blength:
+         BEFORE_POTENTIAL_GC ();
          TOP = Flength (TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Baref:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Faref (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Baset:
          {
            Lisp_Object v1, v2;
+           BEFORE_POTENTIAL_GC ();
            v2 = POP; v1 = POP;
            TOP = Faset (TOP, v1, v2);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bsymbol_value:
+         BEFORE_POTENTIAL_GC ();
          TOP = Fsymbol_value (TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bsymbol_function:
+         BEFORE_POTENTIAL_GC ();
          TOP = Fsymbol_function (TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bset:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fset (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bfset:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Ffset (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bget:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fget (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bsubstring:
          {
            Lisp_Object v1, v2;
+           BEFORE_POTENTIAL_GC ();
            v2 = POP; v1 = POP;
            TOP = Fsubstring (TOP, v1, v2);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bconcat2:
+         BEFORE_POTENTIAL_GC ();
          DISCARD (1);
          TOP = Fconcat (2, &TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bconcat3:
+         BEFORE_POTENTIAL_GC ();
          DISCARD (2);
          TOP = Fconcat (3, &TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bconcat4:
+         BEFORE_POTENTIAL_GC ();
          DISCARD (3);
          TOP = Fconcat (4, &TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case BconcatN:
          op = FETCH;
+         BEFORE_POTENTIAL_GC ();
          DISCARD (op - 1);
          TOP = Fconcat (op, &TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bsub1:
@@ -968,17 +1139,22 @@ If the third argument is incorrect, Emacs may crash.")
                TOP = v1;
              }
            else
-             TOP = Fadd1 (v1);
+             {
+               BEFORE_POTENTIAL_GC ();
+               TOP = Fadd1 (v1);
+               AFTER_POTENTIAL_GC ();
+             }
            break;
          }
 
        case Beqlsign:
          {
            Lisp_Object v1, v2;
+           BEFORE_POTENTIAL_GC ();
            v2 = POP; v1 = TOP;
-           CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (v1, 0);
-           CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (v2, 0);
-#ifdef LISP_FLOAT_TYPE
+           CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (v1);
+           CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (v2);
+           AFTER_POTENTIAL_GC ();
            if (FLOATP (v1) || FLOATP (v2))
              {
                double f1, f2;
@@ -988,7 +1164,6 @@ If the third argument is incorrect, Emacs may crash.")
                TOP = (f1 == f2 ? Qt : Qnil);
              }
            else
-#endif
              TOP = (XINT (v1) == XINT (v2) ? Qt : Qnil);
            break;
          }
@@ -996,38 +1171,48 @@ If the third argument is incorrect, Emacs may crash.")
        case Bgtr:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fgtr (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Blss:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Flss (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bleq:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fleq (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bgeq:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fgeq (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bdiff:
+         BEFORE_POTENTIAL_GC ();
          DISCARD (1);
          TOP = Fminus (2, &TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bnegate:
@@ -1040,40 +1225,56 @@ If the third argument is incorrect, Emacs may crash.")
                TOP = v1;
              }
            else
-             TOP = Fminus (1, &TOP);
+             {
+               BEFORE_POTENTIAL_GC ();
+               TOP = Fminus (1, &TOP);
+               AFTER_POTENTIAL_GC ();
+             }
            break;
          }
 
        case Bplus:
+         BEFORE_POTENTIAL_GC ();
          DISCARD (1);
          TOP = Fplus (2, &TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bmax:
+         BEFORE_POTENTIAL_GC ();
          DISCARD (1);
          TOP = Fmax (2, &TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bmin:
+         BEFORE_POTENTIAL_GC ();
          DISCARD (1);
          TOP = Fmin (2, &TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bmult:
+         BEFORE_POTENTIAL_GC ();
          DISCARD (1);
          TOP = Ftimes (2, &TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bquo:
+         BEFORE_POTENTIAL_GC ();
          DISCARD (1);
          TOP = Fquo (2, &TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Brem:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Frem (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
@@ -1099,8 +1300,8 @@ If the third argument is incorrect, Emacs may crash.")
 
        case BinsertN:
          op = FETCH;
-         DISCARD (op - 1);
          BEFORE_POTENTIAL_GC ();
+         DISCARD (op - 1);
          TOP = Finsert (op, &TOP);
          AFTER_POTENTIAL_GC ();
          break;
@@ -1122,13 +1323,17 @@ If the third argument is incorrect, Emacs may crash.")
          }
 
        case Bchar_after:
+         BEFORE_POTENTIAL_GC ();
          TOP = Fchar_after (TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bfollowing_char:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = Ffollowing_char ();
+           AFTER_POTENTIAL_GC ();
            PUSH (v1);
            break;
          }
@@ -1136,7 +1341,9 @@ If the third argument is incorrect, Emacs may crash.")
        case Bpreceding_char:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = Fprevious_char ();
+           AFTER_POTENTIAL_GC ();
            PUSH (v1);
            break;
          }
@@ -1144,7 +1351,9 @@ If the third argument is incorrect, Emacs may crash.")
        case Bcurrent_column:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            XSETFASTINT (v1, current_column ());
+           AFTER_POTENTIAL_GC ();
            PUSH (v1);
            break;
          }
@@ -1200,8 +1409,8 @@ If the third argument is incorrect, Emacs may crash.")
        case Bskip_chars_forward:
          {
            Lisp_Object v1;
-           v1 = POP;
            BEFORE_POTENTIAL_GC ();
+           v1 = POP;
            TOP = Fskip_chars_forward (TOP, v1);
            AFTER_POTENTIAL_GC ();
            break;
@@ -1210,8 +1419,8 @@ If the third argument is incorrect, Emacs may crash.")
        case Bskip_chars_backward:
          {
            Lisp_Object v1;
-           v1 = POP;
            BEFORE_POTENTIAL_GC ();
+           v1 = POP;
            TOP = Fskip_chars_backward (TOP, v1);
            AFTER_POTENTIAL_GC ();
            break;
@@ -1224,15 +1433,17 @@ If the third argument is incorrect, Emacs may crash.")
          break;
 
        case Bchar_syntax:
-         CHECK_NUMBER (TOP, 0);
+         BEFORE_POTENTIAL_GC ();
+         CHECK_NUMBER (TOP);
+         AFTER_POTENTIAL_GC ();
          XSETFASTINT (TOP, syntax_code_spec[(int) SYNTAX (XINT (TOP))]);
          break;
 
        case Bbuffer_substring:
          {
            Lisp_Object v1;
-           v1 = POP;
            BEFORE_POTENTIAL_GC ();
+           v1 = POP;
            TOP = Fbuffer_substring (TOP, v1);
            AFTER_POTENTIAL_GC ();
            break;
@@ -1241,8 +1452,8 @@ If the third argument is incorrect, Emacs may crash.")
        case Bdelete_region:
          {
            Lisp_Object v1;
-           v1 = POP;
            BEFORE_POTENTIAL_GC ();
+           v1 = POP;
            TOP = Fdelete_region (TOP, v1);
            AFTER_POTENTIAL_GC ();
            break;
@@ -1251,8 +1462,8 @@ If the third argument is incorrect, Emacs may crash.")
        case Bnarrow_to_region:
          {
            Lisp_Object v1;
-           v1 = POP;
            BEFORE_POTENTIAL_GC ();
+           v1 = POP;
            TOP = Fnarrow_to_region (TOP, v1);
            AFTER_POTENTIAL_GC ();
            break;
@@ -1273,41 +1484,55 @@ If the third argument is incorrect, Emacs may crash.")
        case Bset_marker:
          {
            Lisp_Object v1, v2;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            v2 = POP;
            TOP = Fset_marker (TOP, v2, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bmatch_beginning:
+         BEFORE_POTENTIAL_GC ();
          TOP = Fmatch_beginning (TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bmatch_end:
+         BEFORE_POTENTIAL_GC ();
          TOP = Fmatch_end (TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bupcase:
+         BEFORE_POTENTIAL_GC ();
          TOP = Fupcase (TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bdowncase:
+         BEFORE_POTENTIAL_GC ();
          TOP = Fdowncase (TOP);
+         AFTER_POTENTIAL_GC ();
        break;
 
        case Bstringeqlsign:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fstring_equal (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bstringlss:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fstring_lessp (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
@@ -1322,8 +1547,10 @@ If the third argument is incorrect, Emacs may crash.")
        case Bnthcdr:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fnthcdr (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
@@ -1333,9 +1560,11 @@ If the third argument is incorrect, Emacs may crash.")
            if (CONSP (TOP))
              {
                /* Exchange args and then do nth.  */
+               BEFORE_POTENTIAL_GC ();
                v2 = POP;
                v1 = TOP;
-               CHECK_NUMBER (v2, 0);
+               CHECK_NUMBER (v2);
+               AFTER_POTENTIAL_GC ();
                op = XINT (v2);
                immediate_quit = 1;
                while (--op >= 0)
@@ -1345,20 +1574,31 @@ If the third argument is incorrect, Emacs may crash.")
                    else if (!NILP (v1))
                      {
                        immediate_quit = 0;
+                       BEFORE_POTENTIAL_GC ();
                        v1 = wrong_type_argument (Qlistp, v1);
+                       AFTER_POTENTIAL_GC ();
                        immediate_quit = 1;
                        op++;
                      }
                  }
                immediate_quit = 0;
-               if (CONSP (v1)) TOP = XCAR (v1);
-               else if (NILP (v1)) TOP = Qnil;
-               else Fcar (wrong_type_argument (Qlistp, v1));
+               if (CONSP (v1))
+                 TOP = XCAR (v1);
+               else if (NILP (v1))
+                 TOP = Qnil;
+               else
+                 {
+                   BEFORE_POTENTIAL_GC ();
+                   Fcar (wrong_type_argument (Qlistp, v1));
+                   AFTER_POTENTIAL_GC ();
+                 }
              }
            else
              {
+               BEFORE_POTENTIAL_GC ();
                v1 = POP;
                TOP = Felt (TOP, v1);
+               AFTER_POTENTIAL_GC ();
              }
            break;
          }
@@ -1366,36 +1606,46 @@ If the third argument is incorrect, Emacs may crash.")
        case Bmember:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fmember (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bassq:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fassq (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bnreverse:
+         BEFORE_POTENTIAL_GC ();
          TOP = Fnreverse (TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bsetcar:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fsetcar (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
        case Bsetcdr:
          {
            Lisp_Object v1;
+           BEFORE_POTENTIAL_GC ();
            v1 = POP;
            TOP = Fsetcdr (TOP, v1);
+           AFTER_POTENTIAL_GC ();
            break;
          }
 
@@ -1422,8 +1672,10 @@ If the third argument is incorrect, Emacs may crash.")
          }
 
        case Bnconc:
+         BEFORE_POTENTIAL_GC ();
          DISCARD (1);
          TOP = Fnconc (2, &TOP);
+         AFTER_POTENTIAL_GC ();
          break;
 
        case Bnumberp:
@@ -1436,19 +1688,31 @@ If the third argument is incorrect, Emacs may crash.")
 
 #ifdef BYTE_CODE_SAFE
        case Bset_mark:
+         BEFORE_POTENTIAL_GC ();
          error ("set-mark is an obsolete bytecode");
+         AFTER_POTENTIAL_GC ();
          break;
        case Bscan_buffer:
+         BEFORE_POTENTIAL_GC ();
          error ("scan-buffer is an obsolete bytecode");
+         AFTER_POTENTIAL_GC ();
          break;
 #endif
 
+       case 0:
+         abort ();
+
+       case 255:
        default:
 #ifdef BYTE_CODE_SAFE
          if (op < Bconstant)
-           error ("unknown bytecode %d (byte compiler bug)", op);
+           {
+             abort ();
+           }
          if ((op -= Bconstant) >= const_length)
-           error ("no constant number %d (byte compiler bug)", op);
+           {
+             abort ();
+           }
          PUSH (vectorp[op]);
 #else
          PUSH (vectorp[op - Bconstant]);
@@ -1482,17 +1746,18 @@ syms_of_bytecode ()
 #ifdef BYTE_CODE_METER
 
   DEFVAR_LISP ("byte-code-meter", &Vbyte_code_meter,
-   "A vector of vectors which holds a histogram of byte-code usage.\n\
-(aref (aref byte-code-meter 0) CODE) indicates how many times the byte\n\
-opcode CODE has been executed.\n\
-(aref (aref byte-code-meter CODE1) CODE2), where CODE1 is not 0,\n\
-indicates how many times the byte opcodes CODE1 and CODE2 have been\n\
-executed in succession.");
+              doc: /* A vector of vectors which holds a histogram of byte-code usage.
+\(aref (aref byte-code-meter 0) CODE) indicates how many times the byte
+opcode CODE has been executed.
+\(aref (aref byte-code-meter CODE1) CODE2), where CODE1 is not 0,
+indicates how many times the byte opcodes CODE1 and CODE2 have been
+executed in succession.  */);
+  
   DEFVAR_BOOL ("byte-metering-on", &byte_metering_on,
-   "If non-nil, keep profiling information on byte code usage.\n\
-The variable byte-code-meter indicates how often each byte opcode is used.\n\
-If a symbol has a property named `byte-code-meter' whose value is an\n\
-integer, it is incremented each time that symbol's function is called.");
+              doc: /* If non-nil, keep profiling information on byte code usage.
+The variable byte-code-meter indicates how often each byte opcode is used.
+If a symbol has a property named `byte-code-meter' whose value is an
+integer, it is incremented each time that symbol's function is called.  */);
 
   byte_metering_on = 0;
   Vbyte_code_meter = Fmake_vector (make_number (256), make_number (0));