|
428
|
1 /* Definitions for bytecode interpretation and compiled-function objects.
|
|
|
2 Copyright (C) 1985, 1986, 1987, 1992, 1993 Free Software Foundation, Inc.
|
|
814
|
3 Copyright (C) 2002 Ben Wing.
|
|
428
|
4
|
|
|
5 This file is part of XEmacs.
|
|
|
6
|
|
|
7 XEmacs is free software; you can redistribute it and/or modify it
|
|
|
8 under the terms of the GNU General Public License as published by the
|
|
|
9 Free Software Foundation; either version 2, or (at your option) any
|
|
|
10 later version.
|
|
|
11
|
|
|
12 XEmacs is distributed in the hope that it will be useful, but WITHOUT
|
|
|
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
|
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
|
15 for more details.
|
|
|
16
|
|
|
17 You should have received a copy of the GNU General Public License
|
|
|
18 along with XEmacs; see the file COPYING. If not, write to
|
|
|
19 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
|
20 Boston, MA 02111-1307, USA. */
|
|
|
21
|
|
|
22 /* Synched up with: Not in FSF. */
|
|
|
23
|
|
|
24 /* Authorship:
|
|
|
25
|
|
|
26 FSF: long ago.
|
|
|
27 Mly: rewrote for 19.8, properly abstracted.
|
|
|
28 Jon Reid: some changes for I18N3 (domain, etc), for 19.8.
|
|
|
29 */
|
|
|
30
|
|
440
|
31 #ifndef INCLUDED_bytecode_h_
|
|
|
32 #define INCLUDED_bytecode_h_
|
|
428
|
33
|
|
|
34 /* Meanings of slots in a Lisp_Compiled_Function.
|
|
|
35 Don't use these! For backward compatibility only. */
|
|
|
36 #define COMPILED_ARGLIST 0
|
|
|
37 #define COMPILED_INSTRUCTIONS 1
|
|
|
38 #define COMPILED_CONSTANTS 2
|
|
|
39 #define COMPILED_STACK_DEPTH 3
|
|
|
40 #define COMPILED_DOC_STRING 4
|
|
|
41 #define COMPILED_INTERACTIVE 5
|
|
|
42 #define COMPILED_DOMAIN 6
|
|
|
43
|
|
|
44 /* It doesn't make sense to have this and also have load-history */
|
|
|
45 /* #define COMPILED_FUNCTION_ANNOTATION_HACK */
|
|
|
46
|
|
|
47 struct Lisp_Compiled_Function
|
|
|
48 {
|
|
|
49 struct lrecord_header lheader;
|
|
|
50 unsigned short stack_depth;
|
|
|
51 unsigned short specpdl_depth;
|
|
|
52 struct
|
|
|
53 {
|
|
|
54 unsigned int documentationp: 1;
|
|
|
55 unsigned int interactivep: 1;
|
|
|
56 /* Only used if I18N3, but always defined for simplicity. */
|
|
|
57 unsigned int domainp: 1;
|
|
|
58 /* Non-zero if this bytecode came from a v18 or v19 file.
|
|
|
59 We need to Ebolify the `assoc', `delq', etc. functions. */
|
|
|
60 unsigned int ebolified: 1;
|
|
|
61 } flags;
|
|
|
62 Lisp_Object instructions;
|
|
|
63 Lisp_Object constants;
|
|
|
64 Lisp_Object arglist;
|
|
814
|
65 /* For speed, we unroll arglist into an array of argument symbols, so we
|
|
|
66 don't have to process arglist every time we make a function call. */
|
|
|
67 Lisp_Object *args;
|
|
|
68 /* Minimum and maximum number of arguments. If MAX_ARGS == MANY, the
|
|
|
69 function was declared with &rest, and (args_in_array - 1) indicates
|
|
|
70 how many arguments there are before the &rest argument. (We could
|
|
|
71 munge the max_non_rest_args into max_args by using a negative number,
|
|
|
72 but that interferes with pdump marking. We don't want to use a flag
|
|
|
73 to indicate &rest because that would add an extra check in the
|
|
|
74 simplest case.) */
|
|
|
75 int min_args, max_args;
|
|
|
76 int args_in_array;
|
|
428
|
77 /* This uses the minimal number of conses; see accessors in data.c. */
|
|
|
78 Lisp_Object doc_and_interactive;
|
|
|
79 #ifdef COMPILED_FUNCTION_ANNOTATION_HACK
|
|
|
80 /* Something indicating where the bytecode came from */
|
|
|
81 Lisp_Object annotated;
|
|
|
82 #endif
|
|
|
83 };
|
|
|
84 typedef struct Lisp_Compiled_Function Lisp_Compiled_Function;
|
|
|
85
|
|
|
86 Lisp_Object run_byte_code (Lisp_Object compiled_function_or_instructions, ...);
|
|
|
87
|
|
|
88 Lisp_Object compiled_function_arglist (Lisp_Compiled_Function *f);
|
|
|
89 Lisp_Object compiled_function_instructions (Lisp_Compiled_Function *f);
|
|
|
90 Lisp_Object compiled_function_constants (Lisp_Compiled_Function *f);
|
|
|
91 int compiled_function_stack_depth (Lisp_Compiled_Function *f);
|
|
|
92 Lisp_Object compiled_function_documentation (Lisp_Compiled_Function *f);
|
|
|
93 Lisp_Object compiled_function_annotation (Lisp_Compiled_Function *f);
|
|
|
94 Lisp_Object compiled_function_domain (Lisp_Compiled_Function *f);
|
|
|
95 Lisp_Object compiled_function_interactive (Lisp_Compiled_Function *f);
|
|
|
96
|
|
|
97 void set_compiled_function_documentation (Lisp_Compiled_Function *f,
|
|
|
98 Lisp_Object new_doc);
|
|
|
99
|
|
|
100 void optimize_compiled_function (Lisp_Object compiled_function);
|
|
|
101
|
|
814
|
102 typedef unsigned char Opbyte;
|
|
|
103 Lisp_Object execute_optimized_program (const Opbyte *program,
|
|
|
104 int stack_depth,
|
|
|
105 Lisp_Object *constants_data);
|
|
|
106
|
|
428
|
107 DECLARE_LRECORD (compiled_function, Lisp_Compiled_Function);
|
|
|
108 #define XCOMPILED_FUNCTION(x) XRECORD (x, compiled_function, \
|
|
|
109 Lisp_Compiled_Function)
|
|
617
|
110 #define wrap_compiled_function(p) wrap_record (p, compiled_function)
|
|
428
|
111 #define COMPILED_FUNCTIONP(x) RECORDP (x, compiled_function)
|
|
|
112 #define CHECK_COMPILED_FUNCTION(x) CHECK_RECORD (x, compiled_function)
|
|
|
113 #define CONCHECK_COMPILED_FUNCTION(x) CONCHECK_RECORD (x, compiled_function)
|
|
|
114
|
|
|
115 extern Lisp_Object Qbyte_code;
|
|
|
116
|
|
|
117 /* total 1765 internal 101 doc-and-int 775 doc-only 389 int-only 42 neither 559
|
|
|
118 no doc slot, no int slot
|
|
|
119 overhead : (* 1765 0) = 0
|
|
|
120 doc-and-int (args . (doc . int)): (* 775 4) = 3100
|
|
|
121 doc-only (args . doc) : (* 389 2) = 778
|
|
|
122 int-only (args . int) : (* 42 2) = 84
|
|
|
123 neither args : (* 559 0) = 0 = 3962
|
|
|
124 combined
|
|
|
125 overhead : (* 1765 1) = 1765
|
|
|
126 doc-and-int (doc . int) : (* 775 2) = 1550
|
|
|
127 doc-only doc : (* 389 0) = 0
|
|
|
128 int-only int : (* 42 0) = 0
|
|
|
129 neither - : (* 559 0) = 0 = 3315
|
|
|
130 both
|
|
|
131 overhead : (* 1765 2) = 3530
|
|
|
132 doc-and-int - : (* 775 0) = 0
|
|
|
133 doc-only - : (* 389 0) = 0
|
|
|
134 int-only - : (* 42 0) = 0
|
|
|
135 neither - : (* 559 0) = 0 = 3530
|
|
|
136 */
|
|
|
137
|
|
440
|
138 #endif /* INCLUDED_bytecode_h_ */
|
|
428
|
139
|
