(Fdocumentation, Fdocumentation_property, Fsubstitute_command_keys):

[gnu-emacs] / src / bytecode.c

diff --git a/src/bytecode.c b/src/bytecode.c
index 0b8d0cee0499d3fb185f2daab6e805add972754e..422855f4ed1b77ba31d1f11c2e61c159fb5e0b45 100644 (file)
--- a/src/bytecode.c
+++ b/src/bytecode.c
@@ -251,8 +251,9 @@ Lisp_Object Qbytecode;
 
 DEFUN ("byte-code", Fbyte_code, Sbyte_code, 3, 3, 0,
   "Function used internally in byte-compiled code.\n\
-The first argument is a string of byte code; the second, a vector of constants;\n\
-the third, the maximum stack depth used in this function.\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)
      Lisp_Object bytestr, vector, maxdepth;
@@ -280,7 +281,7 @@ If the third argument is incorrect, Emacs may crash.")
   register unsigned char *strbeg;
 
   CHECK_STRING (bytestr, 0);
-  if (XTYPE (vector) != Lisp_Vector)
+  if (!VECTORP (vector))
     vector = wrong_type_argument (Qvectorp, vector);
   CHECK_NUMBER (maxdepth, 2);
 
@@ -336,29 +337,13 @@ If the third argument is incorrect, Emacs may crash.")
          op = op - Bvarref;
        varref:
          v1 = vectorp[op];
-         if (XTYPE (v1) != Lisp_Symbol)
+         if (!SYMBOLP (v1))
            v2 = Fsymbol_value (v1);
          else
            {
              v2 = XSYMBOL (v1)->value;
-#ifdef SWITCH_ENUM_BUG
-             switch ((int) XTYPE (v2))
-#else
-             switch (XTYPE (v2))
-#endif
-               {
-               case Lisp_Symbol:
-                 if (!EQ (v2, Qunbound))
-                   break;
-               case Lisp_Intfwd:
-               case Lisp_Boolfwd:
-               case Lisp_Objfwd:
-               case Lisp_Buffer_Local_Value:
-               case Lisp_Some_Buffer_Local_Value:
-               case Lisp_Buffer_Objfwd:
-               case Lisp_Void:
-                 v2 = Fsymbol_value (v1);
-               }
+             if (MISCP (v2) || EQ (v2, Qunbound))
+               v2 = Fsymbol_value (v1);
            }
          PUSH (v2);
          break;
@@ -407,11 +392,11 @@ If the third argument is incorrect, Emacs may crash.")
        docall:
          DISCARD (op);
 #ifdef BYTE_CODE_METER
-         if (byte_metering_on && XTYPE (TOP) == Lisp_Symbol)
+         if (byte_metering_on && SYMBOLP (TOP))
            {
              v1 = TOP;
              v2 = Fget (v1, Qbyte_code_meter);
-             if (XTYPE (v2) == Lisp_Int
+             if (INTEGERP (v2)
                  && XINT (v2) != ((1<<VALBITS)-1))
                {
                  XSETINT (v2, XINT (v2) + 1);
@@ -611,7 +596,7 @@ If the third argument is incorrect, Emacs may crash.")
          goto docar;
 
        case Bsymbolp:
-         TOP = XTYPE (TOP) == Lisp_Symbol ? Qt : Qnil;
+         TOP = SYMBOLP (TOP) ? Qt : Qnil;
          break;
 
        case Bconsp:
@@ -619,7 +604,7 @@ If the third argument is incorrect, Emacs may crash.")
          break;
 
        case Bstringp:
-         TOP = XTYPE (TOP) == Lisp_String ? Qt : Qnil;
+         TOP = STRINGP (TOP) ? Qt : Qnil;
          break;
 
        case Blistp:
@@ -750,7 +735,7 @@ If the third argument is incorrect, Emacs may crash.")
 
        case Bsub1:
          v1 = TOP;
-         if (XTYPE (v1) == Lisp_Int)
+         if (INTEGERP (v1))
            {
              XSETINT (v1, XINT (v1) - 1);
              TOP = v1;
@@ -761,7 +746,7 @@ If the third argument is incorrect, Emacs may crash.")
 
        case Badd1:
          v1 = TOP;
-         if (XTYPE (v1) == Lisp_Int)
+         if (INTEGERP (v1))
            {
              XSETINT (v1, XINT (v1) + 1);
              TOP = v1;
@@ -774,7 +759,18 @@ If the third argument is incorrect, Emacs may crash.")
          v2 = POP; v1 = TOP;
          CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (v1, 0);
          CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (v2, 0);
-         TOP = (XFLOATINT (v1) == XFLOATINT (v2)) ? Qt : Qnil;
+#ifdef LISP_FLOAT_TYPE
+         if (FLOATP (v1) || FLOATP (v2))
+           {
+             double f1, f2;
+
+             f1 = (FLOATP (v1) ? XFLOAT (v1)->data : XINT (v1));
+             f2 = (FLOATP (v2) ? XFLOAT (v2)->data : XINT (v2));
+             TOP = (f1 == f2 ? Qt : Qnil);
+           }
+         else
+#endif
+           TOP = (XINT (v1) == XINT (v2) ? Qt : Qnil);
          break;
 
        case Bgtr:
@@ -804,7 +800,7 @@ If the third argument is incorrect, Emacs may crash.")
 
        case Bnegate:
          v1 = TOP;
-         if (XTYPE (v1) == Lisp_Int)
+         if (INTEGERP (v1))
            {
              XSETINT (v1, - XINT (v1));
              TOP = v1;
@@ -844,7 +840,7 @@ If the third argument is incorrect, Emacs may crash.")
          break;
 
        case Bpoint:
-         XFASTINT (v1) = point;
+         XSETFASTINT (v1, point);
          PUSH (v1);
          break;
 
@@ -863,12 +859,12 @@ If the third argument is incorrect, Emacs may crash.")
          break;
 
        case Bpoint_max:
-         XFASTINT (v1) = ZV;
+         XSETFASTINT (v1, ZV);
          PUSH (v1);
          break;
 
        case Bpoint_min:
-         XFASTINT (v1) = BEGV;
+         XSETFASTINT (v1, BEGV);
          PUSH (v1);
          break;
 
@@ -877,17 +873,17 @@ If the third argument is incorrect, Emacs may crash.")
          break;
 
        case Bfollowing_char:
-         XFASTINT (v1) = PT == ZV ? 0 : FETCH_CHAR (point);
+         v1 = Ffollowing_char ();
          PUSH (v1);
          break;
 
        case Bpreceding_char:
-         XFASTINT (v1) = point <= BEGV ? 0 : FETCH_CHAR (point - 1);
+         v1 = Fprevious_char ();
          PUSH (v1);
          break;
 
        case Bcurrent_column:
-         XFASTINT (v1) = current_column ();
+         XSETFASTINT (v1, current_column ());
          PUSH (v1);
          break;
 
@@ -952,7 +948,8 @@ If the third argument is incorrect, Emacs may crash.")
 
        case Bchar_syntax:
          CHECK_NUMBER (TOP, 0);
-         XFASTINT (TOP) = syntax_code_spec[(int) SYNTAX (0xFF & XINT (TOP))];
+         XSETFASTINT (TOP,
+                      syntax_code_spec[(int) SYNTAX (XINT (TOP))]);
          break;
 
        case Bbuffer_substring:
@@ -1021,7 +1018,7 @@ If the third argument is incorrect, Emacs may crash.")
          break;
 
        case Belt:
-         if (XTYPE (TOP) == Lisp_Cons)
+         if (CONSP (TOP))
            {
              /* Exchange args and then do nth.  */
              v2 = POP;
@@ -1058,7 +1055,7 @@ If the third argument is incorrect, Emacs may crash.")
 
        case Bcar_safe:
          v1 = TOP;
-         if (XTYPE (v1) == Lisp_Cons)
+         if (CONSP (v1))
            TOP = XCONS (v1)->car;
          else
            TOP = Qnil;
@@ -1066,7 +1063,7 @@ If the third argument is incorrect, Emacs may crash.")
 
        case Bcdr_safe:
          v1 = TOP;
-         if (XTYPE (v1) == Lisp_Cons)
+         if (CONSP (v1))
            TOP = XCONS (v1)->cdr;
          else
            TOP = Qnil;
@@ -1082,7 +1079,7 @@ If the third argument is incorrect, Emacs may crash.")
          break;
 
        case Bintegerp:
-         TOP = XTYPE (TOP) == Lisp_Int ? Qt : Qnil;
+         TOP = INTEGERP (TOP) ? Qt : Qnil;
          break;
 
 #ifdef BYTE_CODE_SAFE