Commit | Line | Data |
---|---|---|
36f7ba0a | 1 | /* Execution of byte code produced by bytecomp.el. |
73b0cd50 | 2 | Copyright (C) 1985-1988, 1993, 2000-2011 Free Software Foundation, Inc. |
36f7ba0a JB |
3 | |
4 | This file is part of GNU Emacs. | |
5 | ||
9ec0b715 | 6 | GNU Emacs is free software: you can redistribute it and/or modify |
36f7ba0a | 7 | it under the terms of the GNU General Public License as published by |
9ec0b715 GM |
8 | the Free Software Foundation, either version 3 of the License, or |
9 | (at your option) any later version. | |
36f7ba0a JB |
10 | |
11 | GNU Emacs is distributed in the hope that it will be useful, | |
12 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | GNU General Public License for more details. | |
15 | ||
16 | You should have received a copy of the GNU General Public License | |
9ec0b715 | 17 | along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */ |
36f7ba0a | 18 | |
9ec0b715 | 19 | /* |
63639d44 | 20 | hacked on by jwz@lucid.com 17-jun-91 |
36f7ba0a JB |
21 | o added a compile-time switch to turn on simple sanity checking; |
22 | o put back the obsolete byte-codes for error-detection; | |
8e11578b | 23 | o added a new instruction, unbind_all, which I will use for |
36f7ba0a | 24 | tail-recursion elimination; |
63639d44 | 25 | o made temp_output_buffer_show be called with the right number |
36f7ba0a JB |
26 | of args; |
27 | o made the new bytecodes be called with args in the right order; | |
28 | o added metering support. | |
29 | ||
30 | by Hallvard: | |
3ffbe76b | 31 | o added relative jump instructions; |
36f7ba0a JB |
32 | o all conditionals now only do QUIT if they jump. |
33 | */ | |
34 | ||
18160b98 | 35 | #include <config.h> |
d7306fe6 | 36 | #include <setjmp.h> |
36f7ba0a JB |
37 | #include "lisp.h" |
38 | #include "buffer.h" | |
83be827a | 39 | #include "character.h" |
36f7ba0a | 40 | #include "syntax.h" |
3f6abfd7 | 41 | #include "window.h" |
36f7ba0a | 42 | |
ad7de7d7 GM |
43 | #ifdef CHECK_FRAME_FONT |
44 | #include "frame.h" | |
45 | #include "xterm.h" | |
46 | #endif | |
47 | ||
63639d44 | 48 | /* |
8e11578b | 49 | * define BYTE_CODE_SAFE to enable some minor sanity checking (useful for |
63639d44 JB |
50 | * debugging the byte compiler...) |
51 | * | |
8e11578b | 52 | * define BYTE_CODE_METER to enable generation of a byte-op usage histogram. |
36f7ba0a | 53 | */ |
63639d44 JB |
54 | /* #define BYTE_CODE_SAFE */ |
55 | /* #define BYTE_CODE_METER */ | |
36f7ba0a JB |
56 | |
57 | \f | |
58 | #ifdef BYTE_CODE_METER | |
59 | ||
29208e82 | 60 | Lisp_Object Qbyte_code_meter; |
63639d44 | 61 | #define METER_2(code1, code2) \ |
36f7ba0a JB |
62 | XFASTINT (XVECTOR (XVECTOR (Vbyte_code_meter)->contents[(code1)]) \ |
63 | ->contents[(code2)]) | |
64 | ||
63639d44 JB |
65 | #define METER_1(code) METER_2 (0, (code)) |
66 | ||
2e3bf02a GM |
67 | #define METER_CODE(last_code, this_code) \ |
68 | { \ | |
69 | if (byte_metering_on) \ | |
70 | { \ | |
71 | if (METER_1 (this_code) < MOST_POSITIVE_FIXNUM) \ | |
72 | METER_1 (this_code)++; \ | |
73 | if (last_code \ | |
74 | && METER_2 (last_code, this_code) < MOST_POSITIVE_FIXNUM) \ | |
75 | METER_2 (last_code, this_code)++; \ | |
76 | } \ | |
63639d44 | 77 | } |
36f7ba0a | 78 | |
63639d44 | 79 | #else /* no BYTE_CODE_METER */ |
36f7ba0a | 80 | |
63639d44 | 81 | #define METER_CODE(last_code, this_code) |
044512ed | 82 | |
63639d44 | 83 | #endif /* no BYTE_CODE_METER */ |
36f7ba0a JB |
84 | \f |
85 | ||
86 | Lisp_Object Qbytecode; | |
b9598260 | 87 | extern Lisp_Object Qand_optional, Qand_rest; |
36f7ba0a JB |
88 | |
89 | /* Byte codes: */ | |
90 | ||
b9598260 | 91 | #define Bstack_ref 0 |
36f7ba0a JB |
92 | #define Bvarref 010 |
93 | #define Bvarset 020 | |
94 | #define Bvarbind 030 | |
95 | #define Bcall 040 | |
96 | #define Bunbind 050 | |
97 | ||
98 | #define Bnth 070 | |
99 | #define Bsymbolp 071 | |
100 | #define Bconsp 072 | |
101 | #define Bstringp 073 | |
102 | #define Blistp 074 | |
103 | #define Beq 075 | |
104 | #define Bmemq 076 | |
105 | #define Bnot 077 | |
106 | #define Bcar 0100 | |
107 | #define Bcdr 0101 | |
108 | #define Bcons 0102 | |
109 | #define Blist1 0103 | |
110 | #define Blist2 0104 | |
111 | #define Blist3 0105 | |
112 | #define Blist4 0106 | |
113 | #define Blength 0107 | |
114 | #define Baref 0110 | |
115 | #define Baset 0111 | |
116 | #define Bsymbol_value 0112 | |
63639d44 | 117 | #define Bsymbol_function 0113 |
36f7ba0a | 118 | #define Bset 0114 |
63639d44 | 119 | #define Bfset 0115 |
36f7ba0a JB |
120 | #define Bget 0116 |
121 | #define Bsubstring 0117 | |
122 | #define Bconcat2 0120 | |
123 | #define Bconcat3 0121 | |
124 | #define Bconcat4 0122 | |
125 | #define Bsub1 0123 | |
126 | #define Badd1 0124 | |
127 | #define Beqlsign 0125 | |
128 | #define Bgtr 0126 | |
129 | #define Blss 0127 | |
130 | #define Bleq 0130 | |
131 | #define Bgeq 0131 | |
132 | #define Bdiff 0132 | |
133 | #define Bnegate 0133 | |
134 | #define Bplus 0134 | |
135 | #define Bmax 0135 | |
136 | #define Bmin 0136 | |
137 | #define Bmult 0137 | |
138 | ||
139 | #define Bpoint 0140 | |
3b841abc | 140 | /* Was Bmark in v17. */ |
e0f57e65 | 141 | #define Bsave_current_buffer 0141 /* Obsolete. */ |
36f7ba0a JB |
142 | #define Bgoto_char 0142 |
143 | #define Binsert 0143 | |
144 | #define Bpoint_max 0144 | |
145 | #define Bpoint_min 0145 | |
146 | #define Bchar_after 0146 | |
147 | #define Bfollowing_char 0147 | |
148 | #define Bpreceding_char 0150 | |
149 | #define Bcurrent_column 0151 | |
150 | #define Bindent_to 0152 | |
151 | #define Bscan_buffer 0153 /* No longer generated as of v18 */ | |
152 | #define Beolp 0154 | |
153 | #define Beobp 0155 | |
154 | #define Bbolp 0156 | |
155 | #define Bbobp 0157 | |
156 | #define Bcurrent_buffer 0160 | |
157 | #define Bset_buffer 0161 | |
80402f25 | 158 | #define Bsave_current_buffer_1 0162 /* Replacing Bsave_current_buffer. */ |
63639d44 | 159 | #define Bread_char 0162 /* No longer generated as of v19 */ |
36f7ba0a | 160 | #define Bset_mark 0163 /* this loser is no longer generated as of v18 */ |
e0f57e65 | 161 | #define Binteractive_p 0164 /* Obsolete. */ |
36f7ba0a JB |
162 | |
163 | #define Bforward_char 0165 | |
164 | #define Bforward_word 0166 | |
165 | #define Bskip_chars_forward 0167 | |
166 | #define Bskip_chars_backward 0170 | |
167 | #define Bforward_line 0171 | |
168 | #define Bchar_syntax 0172 | |
169 | #define Bbuffer_substring 0173 | |
170 | #define Bdelete_region 0174 | |
171 | #define Bnarrow_to_region 0175 | |
172 | #define Bwiden 0176 | |
63639d44 | 173 | #define Bend_of_line 0177 |
36f7ba0a JB |
174 | |
175 | #define Bconstant2 0201 | |
176 | #define Bgoto 0202 | |
177 | #define Bgotoifnil 0203 | |
178 | #define Bgotoifnonnil 0204 | |
179 | #define Bgotoifnilelsepop 0205 | |
180 | #define Bgotoifnonnilelsepop 0206 | |
181 | #define Breturn 0207 | |
182 | #define Bdiscard 0210 | |
183 | #define Bdup 0211 | |
184 | ||
185 | #define Bsave_excursion 0212 | |
e0f57e65 | 186 | #define Bsave_window_excursion 0213 /* Obsolete. */ |
36f7ba0a JB |
187 | #define Bsave_restriction 0214 |
188 | #define Bcatch 0215 | |
189 | ||
190 | #define Bunwind_protect 0216 | |
191 | #define Bcondition_case 0217 | |
192 | #define Btemp_output_buffer_setup 0220 | |
193 | #define Btemp_output_buffer_show 0221 | |
194 | ||
e0f57e65 | 195 | #define Bunbind_all 0222 /* Obsolete. */ |
36f7ba0a | 196 | |
63639d44 JB |
197 | #define Bset_marker 0223 |
198 | #define Bmatch_beginning 0224 | |
199 | #define Bmatch_end 0225 | |
200 | #define Bupcase 0226 | |
201 | #define Bdowncase 0227 | |
202 | ||
36f7ba0a JB |
203 | #define Bstringeqlsign 0230 |
204 | #define Bstringlss 0231 | |
205 | #define Bequal 0232 | |
206 | #define Bnthcdr 0233 | |
207 | #define Belt 0234 | |
208 | #define Bmember 0235 | |
209 | #define Bassq 0236 | |
210 | #define Bnreverse 0237 | |
211 | #define Bsetcar 0240 | |
212 | #define Bsetcdr 0241 | |
213 | #define Bcar_safe 0242 | |
214 | #define Bcdr_safe 0243 | |
215 | #define Bnconc 0244 | |
216 | #define Bquo 0245 | |
217 | #define Brem 0246 | |
218 | #define Bnumberp 0247 | |
219 | #define Bintegerp 0250 | |
220 | ||
63639d44 JB |
221 | #define BRgoto 0252 |
222 | #define BRgotoifnil 0253 | |
223 | #define BRgotoifnonnil 0254 | |
224 | #define BRgotoifnilelsepop 0255 | |
225 | #define BRgotoifnonnilelsepop 0256 | |
226 | ||
227 | #define BlistN 0257 | |
228 | #define BconcatN 0260 | |
229 | #define BinsertN 0261 | |
230 | ||
b9598260 SM |
231 | /* Bstack_ref is code 0. */ |
232 | #define Bstack_set 0262 | |
233 | #define Bstack_set2 0263 | |
b9598260 SM |
234 | #define BdiscardN 0266 |
235 | ||
36f7ba0a JB |
236 | #define Bconstant 0300 |
237 | #define CONSTANTLIM 0100 | |
7ca1e8b7 | 238 | |
4015b3c0 | 239 | \f |
7ca1e8b7 GM |
240 | /* Structure describing a value stack used during byte-code execution |
241 | in Fbyte_code. */ | |
242 | ||
243 | struct byte_stack | |
244 | { | |
245 | /* Program counter. This points into the byte_string below | |
246 | and is relocated when that string is relocated. */ | |
33b6c007 | 247 | const unsigned char *pc; |
7ca1e8b7 GM |
248 | |
249 | /* Top and bottom of stack. The bottom points to an area of memory | |
250 | allocated with alloca in Fbyte_code. */ | |
251 | Lisp_Object *top, *bottom; | |
252 | ||
253 | /* The string containing the byte-code, and its current address. | |
254 | Storing this here protects it from GC because mark_byte_stack | |
255 | marks it. */ | |
256 | Lisp_Object byte_string; | |
33b6c007 | 257 | const unsigned char *byte_string_start; |
7ca1e8b7 GM |
258 | |
259 | /* The vector of constants used during byte-code execution. Storing | |
260 | this here protects it from GC because mark_byte_stack marks it. */ | |
261 | Lisp_Object constants; | |
262 | ||
263 | /* Next entry in byte_stack_list. */ | |
264 | struct byte_stack *next; | |
265 | }; | |
266 | ||
267 | /* A list of currently active byte-code execution value stacks. | |
268 | Fbyte_code adds an entry to the head of this list before it starts | |
269 | processing byte-code, and it removed the entry again when it is | |
270 | done. Signalling an error truncates the list analoguous to | |
271 | gcprolist. */ | |
272 | ||
273 | struct byte_stack *byte_stack_list; | |
274 | ||
4015b3c0 | 275 | \f |
7ca1e8b7 GM |
276 | /* Mark objects on byte_stack_list. Called during GC. */ |
277 | ||
278 | void | |
971de7fb | 279 | mark_byte_stack (void) |
7ca1e8b7 GM |
280 | { |
281 | struct byte_stack *stack; | |
282 | Lisp_Object *obj; | |
283 | ||
284 | for (stack = byte_stack_list; stack; stack = stack->next) | |
285 | { | |
dff13d03 GM |
286 | /* If STACK->top is null here, this means there's an opcode in |
287 | Fbyte_code that wasn't expected to GC, but did. To find out | |
288 | which opcode this is, record the value of `stack', and walk | |
289 | up the stack in a debugger, stopping in frames of Fbyte_code. | |
290 | The culprit is found in the frame of Fbyte_code where the | |
291 | address of its local variable `stack' is equal to the | |
292 | recorded value of `stack' here. */ | |
6b61353c | 293 | eassert (stack->top); |
8e11578b | 294 | |
7ca1e8b7 | 295 | for (obj = stack->bottom; obj <= stack->top; ++obj) |
6b61353c | 296 | mark_object (*obj); |
a719d13e | 297 | |
6b61353c KH |
298 | mark_object (stack->byte_string); |
299 | mark_object (stack->constants); | |
7ca1e8b7 GM |
300 | } |
301 | } | |
302 | ||
303 | ||
a719d13e GM |
304 | /* Unmark objects in the stacks on byte_stack_list. Relocate program |
305 | counters. Called when GC has completed. */ | |
7ca1e8b7 | 306 | |
8e11578b | 307 | void |
971de7fb | 308 | unmark_byte_stack (void) |
7ca1e8b7 GM |
309 | { |
310 | struct byte_stack *stack; | |
311 | ||
312 | for (stack = byte_stack_list; stack; stack = stack->next) | |
a719d13e | 313 | { |
d5db4077 | 314 | if (stack->byte_string_start != SDATA (stack->byte_string)) |
a719d13e GM |
315 | { |
316 | int offset = stack->pc - stack->byte_string_start; | |
d5db4077 | 317 | stack->byte_string_start = SDATA (stack->byte_string); |
a719d13e GM |
318 | stack->pc = stack->byte_string_start + offset; |
319 | } | |
320 | } | |
7ca1e8b7 GM |
321 | } |
322 | ||
36f7ba0a JB |
323 | \f |
324 | /* Fetch the next byte from the bytecode stream */ | |
325 | ||
7ca1e8b7 | 326 | #define FETCH *stack.pc++ |
36f7ba0a | 327 | |
4015b3c0 GM |
328 | /* Fetch two bytes from the bytecode stream and make a 16-bit number |
329 | out of them */ | |
36f7ba0a JB |
330 | |
331 | #define FETCH2 (op = FETCH, op + (FETCH << 8)) | |
332 | ||
4015b3c0 GM |
333 | /* Push x onto the execution stack. This used to be #define PUSH(x) |
334 | (*++stackp = (x)) This oddity is necessary because Alliant can't be | |
335 | bothered to compile the preincrement operator properly, as of 4/91. | |
336 | -JimB */ | |
7ca1e8b7 GM |
337 | |
338 | #define PUSH(x) (top++, *top = (x)) | |
36f7ba0a JB |
339 | |
340 | /* Pop a value off the execution stack. */ | |
341 | ||
7ca1e8b7 | 342 | #define POP (*top--) |
36f7ba0a JB |
343 | |
344 | /* Discard n values from the execution stack. */ | |
345 | ||
7ca1e8b7 GM |
346 | #define DISCARD(n) (top -= (n)) |
347 | ||
348 | /* Get the value which is at the top of the execution stack, but don't | |
349 | pop it. */ | |
350 | ||
351 | #define TOP (*top) | |
36f7ba0a | 352 | |
4015b3c0 | 353 | /* Actions that must be performed before and after calling a function |
7ca1e8b7 | 354 | that might GC. */ |
36f7ba0a | 355 | |
7ca1e8b7 GM |
356 | #define BEFORE_POTENTIAL_GC() stack.top = top |
357 | #define AFTER_POTENTIAL_GC() stack.top = NULL | |
36f7ba0a | 358 | |
14726871 RS |
359 | /* Garbage collect if we have consed enough since the last time. |
360 | We do this at every branch, to avoid loops that never GC. */ | |
361 | ||
3414f2d8 RS |
362 | #define MAYBE_GC() \ |
363 | if (consing_since_gc > gc_cons_threshold \ | |
364 | && consing_since_gc > gc_relative_threshold) \ | |
365 | { \ | |
366 | BEFORE_POTENTIAL_GC (); \ | |
367 | Fgarbage_collect (); \ | |
368 | AFTER_POTENTIAL_GC (); \ | |
369 | } \ | |
5e7ed093 RS |
370 | else |
371 | ||
3d5fc37b | 372 | /* Check for jumping out of range. */ |
7ca1e8b7 GM |
373 | |
374 | #ifdef BYTE_CODE_SAFE | |
375 | ||
4015b3c0 | 376 | #define CHECK_RANGE(ARG) \ |
3d5fc37b RS |
377 | if (ARG >= bytestr_length) abort () |
378 | ||
4015b3c0 | 379 | #else /* not BYTE_CODE_SAFE */ |
7ca1e8b7 GM |
380 | |
381 | #define CHECK_RANGE(ARG) | |
382 | ||
4015b3c0 | 383 | #endif /* not BYTE_CODE_SAFE */ |
7ca1e8b7 | 384 | |
e12ea64e GM |
385 | /* A version of the QUIT macro which makes sure that the stack top is |
386 | set before signaling `quit'. */ | |
387 | ||
388 | #define BYTE_CODE_QUIT \ | |
389 | do { \ | |
390 | if (!NILP (Vquit_flag) && NILP (Vinhibit_quit)) \ | |
391 | { \ | |
731475e7 | 392 | Lisp_Object flag = Vquit_flag; \ |
e12ea64e GM |
393 | Vquit_flag = Qnil; \ |
394 | BEFORE_POTENTIAL_GC (); \ | |
731475e7 | 395 | if (EQ (Vthrow_on_input, flag)) \ |
a8f0f551 | 396 | Fthrow (Vthrow_on_input, Qt); \ |
e12ea64e | 397 | Fsignal (Qquit, Qnil); \ |
892a8eb5 | 398 | AFTER_POTENTIAL_GC (); \ |
e12ea64e | 399 | } \ |
c0335e02 | 400 | ELSE_PENDING_SIGNALS \ |
e12ea64e GM |
401 | } while (0) |
402 | ||
7ca1e8b7 | 403 | |
b9598260 | 404 | DEFUN ("byte-code", Fbyte_code, Sbyte_code, 3, MANY, 0, |
39f624fa PJ |
405 | doc: /* Function used internally in byte-compiled code. |
406 | The first argument, BYTESTR, is a string of byte code; | |
407 | the second, VECTOR, a vector of constants; | |
408 | the third, MAXDEPTH, the maximum stack depth used in this function. | |
b9598260 SM |
409 | If the third argument is incorrect, Emacs may crash. |
410 | ||
411 | If ARGS-TEMPLATE is specified, it is an argument list specification, | |
412 | according to which any remaining arguments are pushed on the stack | |
413 | before executing BYTESTR. | |
414 | ||
415 | usage: (byte-code BYTESTR VECTOR MAXDEP &optional ARGS-TEMPLATE &rest ARGS) */) | |
0ee81a0c | 416 | (int nargs, Lisp_Object *args) |
b9598260 SM |
417 | { |
418 | Lisp_Object args_tmpl = nargs >= 4 ? args[3] : Qnil; | |
419 | int pnargs = nargs >= 4 ? nargs - 4 : 0; | |
420 | Lisp_Object *pargs = nargs >= 4 ? args + 4 : 0; | |
421 | return exec_byte_code (args[0], args[1], args[2], args_tmpl, pnargs, pargs); | |
422 | } | |
423 | ||
424 | /* Execute the byte-code in BYTESTR. VECTOR is the constant vector, and | |
425 | MAXDEPTH is the maximum stack depth used (if MAXDEPTH is incorrect, | |
426 | emacs may crash!). If ARGS_TEMPLATE is non-nil, it should be a lisp | |
427 | argument list (including &rest, &optional, etc.), and ARGS, of size | |
428 | NARGS, should be a vector of the actual arguments. The arguments in | |
429 | ARGS are pushed on the stack according to ARGS_TEMPLATE before | |
430 | executing BYTESTR. */ | |
431 | ||
432 | Lisp_Object | |
0ee81a0c SM |
433 | exec_byte_code (Lisp_Object bytestr, Lisp_Object vector, Lisp_Object maxdepth, |
434 | Lisp_Object args_template, int nargs, Lisp_Object *args) | |
36f7ba0a | 435 | { |
aed13378 | 436 | int count = SPECPDL_INDEX (); |
36f7ba0a JB |
437 | #ifdef BYTE_CODE_METER |
438 | int this_op = 0; | |
439 | int prev_op; | |
440 | #endif | |
7ca1e8b7 | 441 | int op; |
4015b3c0 | 442 | /* Lisp_Object v1, v2; */ |
089b985f | 443 | Lisp_Object *vectorp; |
36f7ba0a | 444 | #ifdef BYTE_CODE_SAFE |
7ca1e8b7 GM |
445 | int const_length = XVECTOR (vector)->size; |
446 | Lisp_Object *stacke; | |
36f7ba0a | 447 | #endif |
089b985f | 448 | int bytestr_length; |
7ca1e8b7 GM |
449 | struct byte_stack stack; |
450 | Lisp_Object *top; | |
4015b3c0 | 451 | Lisp_Object result; |
36f7ba0a | 452 | |
603a0937 | 453 | #if 0 /* CHECK_FRAME_FONT */ |
ad7de7d7 GM |
454 | { |
455 | struct frame *f = SELECTED_FRAME (); | |
456 | if (FRAME_X_P (f) | |
457 | && FRAME_FONT (f)->direction != 0 | |
458 | && FRAME_FONT (f)->direction != 1) | |
459 | abort (); | |
460 | } | |
461 | #endif | |
462 | ||
b7826503 | 463 | CHECK_STRING (bytestr); |
c616acb8 | 464 | CHECK_VECTOR (vector); |
b7826503 | 465 | CHECK_NUMBER (maxdepth); |
36f7ba0a | 466 | |
089b985f KH |
467 | if (STRING_MULTIBYTE (bytestr)) |
468 | /* BYTESTR must have been produced by Emacs 20.2 or the earlier | |
469 | because they produced a raw 8-bit string for byte-code and now | |
470 | such a byte-code string is loaded as multibyte while raw 8-bit | |
471 | characters converted to multibyte form. Thus, now we must | |
fbd98f82 | 472 | convert them back to the originally intended unibyte form. */ |
5274126b | 473 | bytestr = Fstring_as_unibyte (bytestr); |
089b985f | 474 | |
d5db4077 | 475 | bytestr_length = SBYTES (bytestr); |
089b985f KH |
476 | vectorp = XVECTOR (vector)->contents; |
477 | ||
7ca1e8b7 | 478 | stack.byte_string = bytestr; |
d5db4077 | 479 | stack.pc = stack.byte_string_start = SDATA (bytestr); |
7ca1e8b7 | 480 | stack.constants = vector; |
8e11578b | 481 | stack.bottom = (Lisp_Object *) alloca (XFASTINT (maxdepth) |
7ca1e8b7 GM |
482 | * sizeof (Lisp_Object)); |
483 | top = stack.bottom - 1; | |
484 | stack.top = NULL; | |
485 | stack.next = byte_stack_list; | |
486 | byte_stack_list = &stack; | |
36f7ba0a | 487 | |
7ca1e8b7 GM |
488 | #ifdef BYTE_CODE_SAFE |
489 | stacke = stack.bottom - 1 + XFASTINT (maxdepth); | |
490 | #endif | |
8e11578b | 491 | |
b9598260 SM |
492 | if (! NILP (args_template)) |
493 | /* We should push some arguments on the stack. */ | |
494 | { | |
495 | Lisp_Object at; | |
496 | int pushed = 0, optional = 0; | |
497 | ||
498 | for (at = args_template; CONSP (at); at = XCDR (at)) | |
499 | if (EQ (XCAR (at), Qand_optional)) | |
500 | optional = 1; | |
501 | else if (EQ (XCAR (at), Qand_rest)) | |
502 | { | |
b38b1ec0 SM |
503 | PUSH (pushed < nargs |
504 | ? Flist (nargs - pushed, args) | |
505 | : Qnil); | |
b9598260 SM |
506 | pushed = nargs; |
507 | at = Qnil; | |
508 | break; | |
509 | } | |
510 | else if (pushed < nargs) | |
511 | { | |
512 | PUSH (*args++); | |
513 | pushed++; | |
514 | } | |
515 | else if (optional) | |
516 | PUSH (Qnil); | |
517 | else | |
518 | break; | |
519 | ||
520 | if (pushed != nargs || !NILP (at)) | |
521 | Fsignal (Qwrong_number_of_arguments, | |
522 | Fcons (args_template, Fcons (make_number (nargs), Qnil))); | |
523 | } | |
524 | ||
36f7ba0a JB |
525 | while (1) |
526 | { | |
527 | #ifdef BYTE_CODE_SAFE | |
9e49c990 | 528 | if (top > stacke) |
cc94f3b2 | 529 | abort (); |
7ca1e8b7 | 530 | else if (top < stack.bottom - 1) |
cc94f3b2 | 531 | abort (); |
36f7ba0a JB |
532 | #endif |
533 | ||
36f7ba0a JB |
534 | #ifdef BYTE_CODE_METER |
535 | prev_op = this_op; | |
536 | this_op = op = FETCH; | |
537 | METER_CODE (prev_op, op); | |
36f7ba0a | 538 | #else |
4015b3c0 | 539 | op = FETCH; |
36f7ba0a | 540 | #endif |
36f7ba0a | 541 | |
4015b3c0 GM |
542 | switch (op) |
543 | { | |
544 | case Bvarref + 7: | |
36f7ba0a JB |
545 | op = FETCH2; |
546 | goto varref; | |
547 | ||
8e11578b TTN |
548 | case Bvarref: |
549 | case Bvarref + 1: | |
550 | case Bvarref + 2: | |
4015b3c0 | 551 | case Bvarref + 3: |
8e11578b | 552 | case Bvarref + 4: |
4015b3c0 | 553 | case Bvarref + 5: |
36f7ba0a | 554 | op = op - Bvarref; |
4015b3c0 GM |
555 | goto varref; |
556 | ||
557 | /* This seems to be the most frequently executed byte-code | |
558 | among the Bvarref's, so avoid a goto here. */ | |
559 | case Bvarref+6: | |
560 | op = FETCH; | |
36f7ba0a | 561 | varref: |
4015b3c0 GM |
562 | { |
563 | Lisp_Object v1, v2; | |
564 | ||
565 | v1 = vectorp[op]; | |
566 | if (SYMBOLP (v1)) | |
567 | { | |
ce5b453a SM |
568 | if (XSYMBOL (v1)->redirect != SYMBOL_PLAINVAL |
569 | || (v2 = SYMBOL_VAL (XSYMBOL (v1)), | |
570 | EQ (v2, Qunbound))) | |
bf1de43e GM |
571 | { |
572 | BEFORE_POTENTIAL_GC (); | |
573 | v2 = Fsymbol_value (v1); | |
574 | AFTER_POTENTIAL_GC (); | |
575 | } | |
4015b3c0 GM |
576 | } |
577 | else | |
bf1de43e GM |
578 | { |
579 | BEFORE_POTENTIAL_GC (); | |
580 | v2 = Fsymbol_value (v1); | |
581 | AFTER_POTENTIAL_GC (); | |
582 | } | |
4015b3c0 GM |
583 | PUSH (v2); |
584 | break; | |
585 | } | |
586 | ||
587 | case Bgotoifnil: | |
21ed6de3 KR |
588 | { |
589 | Lisp_Object v1; | |
590 | MAYBE_GC (); | |
591 | op = FETCH2; | |
592 | v1 = POP; | |
593 | if (NILP (v1)) | |
594 | { | |
595 | BYTE_CODE_QUIT; | |
596 | CHECK_RANGE (op); | |
597 | stack.pc = stack.byte_string_start + op; | |
598 | } | |
599 | break; | |
600 | } | |
36f7ba0a | 601 | |
4015b3c0 GM |
602 | case Bcar: |
603 | { | |
604 | Lisp_Object v1; | |
605 | v1 = TOP; | |
14c5155a | 606 | TOP = CAR (v1); |
4015b3c0 GM |
607 | break; |
608 | } | |
609 | ||
610 | case Beq: | |
611 | { | |
612 | Lisp_Object v1; | |
613 | v1 = POP; | |
614 | TOP = EQ (v1, TOP) ? Qt : Qnil; | |
615 | break; | |
616 | } | |
617 | ||
618 | case Bmemq: | |
619 | { | |
620 | Lisp_Object v1; | |
bf1de43e | 621 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
622 | v1 = POP; |
623 | TOP = Fmemq (TOP, v1); | |
bf1de43e | 624 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
625 | break; |
626 | } | |
627 | ||
628 | case Bcdr: | |
629 | { | |
630 | Lisp_Object v1; | |
631 | v1 = TOP; | |
14c5155a | 632 | TOP = CDR (v1); |
4015b3c0 GM |
633 | break; |
634 | } | |
36f7ba0a | 635 | |
620cc5fa GM |
636 | case Bvarset: |
637 | case Bvarset+1: | |
638 | case Bvarset+2: | |
639 | case Bvarset+3: | |
640 | case Bvarset+4: | |
641 | case Bvarset+5: | |
642 | op -= Bvarset; | |
36f7ba0a JB |
643 | goto varset; |
644 | ||
620cc5fa GM |
645 | case Bvarset+7: |
646 | op = FETCH2; | |
4015b3c0 GM |
647 | goto varset; |
648 | ||
649 | case Bvarset+6: | |
650 | op = FETCH; | |
36f7ba0a | 651 | varset: |
620cc5fa GM |
652 | { |
653 | Lisp_Object sym, val; | |
8e11578b | 654 | |
620cc5fa | 655 | sym = vectorp[op]; |
bf1de43e | 656 | val = TOP; |
620cc5fa GM |
657 | |
658 | /* Inline the most common case. */ | |
659 | if (SYMBOLP (sym) | |
660 | && !EQ (val, Qunbound) | |
ce5b453a SM |
661 | && !XSYMBOL (sym)->redirect |
662 | && !SYMBOL_CONSTANT_P (sym)) | |
663 | XSYMBOL (sym)->val.value = val; | |
620cc5fa | 664 | else |
bf1de43e GM |
665 | { |
666 | BEFORE_POTENTIAL_GC (); | |
94b612ad | 667 | set_internal (sym, val, Qnil, 0); |
bf1de43e GM |
668 | AFTER_POTENTIAL_GC (); |
669 | } | |
620cc5fa | 670 | } |
3789dcdf | 671 | (void) POP; |
36f7ba0a JB |
672 | break; |
673 | ||
4015b3c0 GM |
674 | case Bdup: |
675 | { | |
676 | Lisp_Object v1; | |
677 | v1 = TOP; | |
678 | PUSH (v1); | |
679 | break; | |
680 | } | |
681 | ||
682 | /* ------------------ */ | |
683 | ||
36f7ba0a JB |
684 | case Bvarbind+6: |
685 | op = FETCH; | |
686 | goto varbind; | |
687 | ||
688 | case Bvarbind+7: | |
689 | op = FETCH2; | |
690 | goto varbind; | |
691 | ||
fa9aabf6 GM |
692 | case Bvarbind: |
693 | case Bvarbind+1: | |
694 | case Bvarbind+2: | |
695 | case Bvarbind+3: | |
696 | case Bvarbind+4: | |
697 | case Bvarbind+5: | |
36f7ba0a JB |
698 | op -= Bvarbind; |
699 | varbind: | |
56b8eef5 GM |
700 | /* Specbind can signal and thus GC. */ |
701 | BEFORE_POTENTIAL_GC (); | |
36f7ba0a | 702 | specbind (vectorp[op], POP); |
56b8eef5 | 703 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
704 | break; |
705 | ||
706 | case Bcall+6: | |
707 | op = FETCH; | |
708 | goto docall; | |
709 | ||
710 | case Bcall+7: | |
711 | op = FETCH2; | |
712 | goto docall; | |
713 | ||
fa9aabf6 GM |
714 | case Bcall: |
715 | case Bcall+1: | |
716 | case Bcall+2: | |
717 | case Bcall+3: | |
718 | case Bcall+4: | |
719 | case Bcall+5: | |
36f7ba0a JB |
720 | op -= Bcall; |
721 | docall: | |
4015b3c0 | 722 | { |
fa9aabf6 | 723 | BEFORE_POTENTIAL_GC (); |
4015b3c0 | 724 | DISCARD (op); |
63639d44 | 725 | #ifdef BYTE_CODE_METER |
4015b3c0 GM |
726 | if (byte_metering_on && SYMBOLP (TOP)) |
727 | { | |
728 | Lisp_Object v1, v2; | |
729 | ||
730 | v1 = TOP; | |
731 | v2 = Fget (v1, Qbyte_code_meter); | |
732 | if (INTEGERP (v2) | |
f28e6371 | 733 | && XINT (v2) < MOST_POSITIVE_FIXNUM) |
4015b3c0 GM |
734 | { |
735 | XSETINT (v2, XINT (v2) + 1); | |
736 | Fput (v1, Qbyte_code_meter, v2); | |
737 | } | |
738 | } | |
63639d44 | 739 | #endif |
4015b3c0 GM |
740 | TOP = Ffuncall (op + 1, &TOP); |
741 | AFTER_POTENTIAL_GC (); | |
742 | break; | |
743 | } | |
36f7ba0a JB |
744 | |
745 | case Bunbind+6: | |
746 | op = FETCH; | |
747 | goto dounbind; | |
748 | ||
749 | case Bunbind+7: | |
750 | op = FETCH2; | |
751 | goto dounbind; | |
752 | ||
fa9aabf6 GM |
753 | case Bunbind: |
754 | case Bunbind+1: | |
755 | case Bunbind+2: | |
756 | case Bunbind+3: | |
757 | case Bunbind+4: | |
758 | case Bunbind+5: | |
36f7ba0a JB |
759 | op -= Bunbind; |
760 | dounbind: | |
7ca1e8b7 | 761 | BEFORE_POTENTIAL_GC (); |
aed13378 | 762 | unbind_to (SPECPDL_INDEX () - op, Qnil); |
7ca1e8b7 | 763 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
764 | break; |
765 | ||
e0f57e65 | 766 | case Bunbind_all: /* Obsolete. */ |
36f7ba0a | 767 | /* To unbind back to the beginning of this frame. Not used yet, |
63639d44 | 768 | but will be needed for tail-recursion elimination. */ |
7ca1e8b7 | 769 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 770 | unbind_to (count, Qnil); |
7ca1e8b7 | 771 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
772 | break; |
773 | ||
774 | case Bgoto: | |
14726871 | 775 | MAYBE_GC (); |
e12ea64e | 776 | BYTE_CODE_QUIT; |
36f7ba0a | 777 | op = FETCH2; /* pc = FETCH2 loses since FETCH2 contains pc++ */ |
3d5fc37b | 778 | CHECK_RANGE (op); |
7ca1e8b7 | 779 | stack.pc = stack.byte_string_start + op; |
36f7ba0a JB |
780 | break; |
781 | ||
36f7ba0a | 782 | case Bgotoifnonnil: |
21ed6de3 KR |
783 | { |
784 | Lisp_Object v1; | |
785 | MAYBE_GC (); | |
786 | op = FETCH2; | |
787 | v1 = POP; | |
788 | if (!NILP (v1)) | |
789 | { | |
790 | BYTE_CODE_QUIT; | |
791 | CHECK_RANGE (op); | |
792 | stack.pc = stack.byte_string_start + op; | |
793 | } | |
794 | break; | |
795 | } | |
36f7ba0a JB |
796 | |
797 | case Bgotoifnilelsepop: | |
14726871 | 798 | MAYBE_GC (); |
36f7ba0a | 799 | op = FETCH2; |
921a8935 | 800 | if (NILP (TOP)) |
36f7ba0a | 801 | { |
e12ea64e | 802 | BYTE_CODE_QUIT; |
3d5fc37b | 803 | CHECK_RANGE (op); |
7ca1e8b7 | 804 | stack.pc = stack.byte_string_start + op; |
36f7ba0a | 805 | } |
63639d44 | 806 | else DISCARD (1); |
36f7ba0a JB |
807 | break; |
808 | ||
809 | case Bgotoifnonnilelsepop: | |
14726871 | 810 | MAYBE_GC (); |
36f7ba0a | 811 | op = FETCH2; |
921a8935 | 812 | if (!NILP (TOP)) |
36f7ba0a | 813 | { |
e12ea64e | 814 | BYTE_CODE_QUIT; |
3d5fc37b | 815 | CHECK_RANGE (op); |
7ca1e8b7 | 816 | stack.pc = stack.byte_string_start + op; |
36f7ba0a | 817 | } |
63639d44 JB |
818 | else DISCARD (1); |
819 | break; | |
820 | ||
821 | case BRgoto: | |
14726871 | 822 | MAYBE_GC (); |
e12ea64e | 823 | BYTE_CODE_QUIT; |
7ca1e8b7 | 824 | stack.pc += (int) *stack.pc - 127; |
63639d44 JB |
825 | break; |
826 | ||
827 | case BRgotoifnil: | |
21ed6de3 KR |
828 | { |
829 | Lisp_Object v1; | |
830 | MAYBE_GC (); | |
831 | v1 = POP; | |
832 | if (NILP (v1)) | |
833 | { | |
834 | BYTE_CODE_QUIT; | |
835 | stack.pc += (int) *stack.pc - 128; | |
836 | } | |
837 | stack.pc++; | |
838 | break; | |
839 | } | |
63639d44 JB |
840 | |
841 | case BRgotoifnonnil: | |
21ed6de3 KR |
842 | { |
843 | Lisp_Object v1; | |
844 | MAYBE_GC (); | |
845 | v1 = POP; | |
846 | if (!NILP (v1)) | |
847 | { | |
848 | BYTE_CODE_QUIT; | |
849 | stack.pc += (int) *stack.pc - 128; | |
850 | } | |
851 | stack.pc++; | |
852 | break; | |
853 | } | |
63639d44 JB |
854 | |
855 | case BRgotoifnilelsepop: | |
14726871 | 856 | MAYBE_GC (); |
7ca1e8b7 | 857 | op = *stack.pc++; |
63639d44 JB |
858 | if (NILP (TOP)) |
859 | { | |
e12ea64e | 860 | BYTE_CODE_QUIT; |
7ca1e8b7 | 861 | stack.pc += op - 128; |
63639d44 JB |
862 | } |
863 | else DISCARD (1); | |
864 | break; | |
865 | ||
866 | case BRgotoifnonnilelsepop: | |
14726871 | 867 | MAYBE_GC (); |
7ca1e8b7 | 868 | op = *stack.pc++; |
63639d44 JB |
869 | if (!NILP (TOP)) |
870 | { | |
e12ea64e | 871 | BYTE_CODE_QUIT; |
7ca1e8b7 | 872 | stack.pc += op - 128; |
63639d44 JB |
873 | } |
874 | else DISCARD (1); | |
98bf0c8d JB |
875 | break; |
876 | ||
36f7ba0a | 877 | case Breturn: |
4015b3c0 | 878 | result = POP; |
36f7ba0a JB |
879 | goto exit; |
880 | ||
881 | case Bdiscard: | |
63639d44 | 882 | DISCARD (1); |
36f7ba0a JB |
883 | break; |
884 | ||
36f7ba0a JB |
885 | case Bconstant2: |
886 | PUSH (vectorp[FETCH2]); | |
887 | break; | |
888 | ||
889 | case Bsave_excursion: | |
fa9aabf6 GM |
890 | record_unwind_protect (save_excursion_restore, |
891 | save_excursion_save ()); | |
36f7ba0a JB |
892 | break; |
893 | ||
e0f57e65 | 894 | case Bsave_current_buffer: /* Obsolete. */ |
80402f25 | 895 | case Bsave_current_buffer_1: |
de404585 | 896 | record_unwind_protect (set_buffer_if_live, Fcurrent_buffer ()); |
3b841abc RS |
897 | break; |
898 | ||
e0f57e65 SM |
899 | case Bsave_window_excursion: /* Obsolete. */ |
900 | { | |
901 | register Lisp_Object val; | |
902 | register int count = SPECPDL_INDEX (); | |
903 | ||
904 | record_unwind_protect (Fset_window_configuration, | |
905 | Fcurrent_window_configuration (Qnil)); | |
906 | BEFORE_POTENTIAL_GC (); | |
907 | TOP = Fprogn (TOP); | |
908 | unbind_to (count, TOP); | |
909 | AFTER_POTENTIAL_GC (); | |
910 | break; | |
911 | } | |
36f7ba0a JB |
912 | |
913 | case Bsave_restriction: | |
fa9aabf6 GM |
914 | record_unwind_protect (save_restriction_restore, |
915 | save_restriction_save ()); | |
36f7ba0a JB |
916 | break; |
917 | ||
918 | case Bcatch: | |
4015b3c0 GM |
919 | { |
920 | Lisp_Object v1; | |
4015b3c0 | 921 | BEFORE_POTENTIAL_GC (); |
bf1de43e | 922 | v1 = POP; |
a0ee6f27 | 923 | TOP = internal_catch (TOP, eval_sub, v1); /* FIXME: lexbind */ |
4015b3c0 GM |
924 | AFTER_POTENTIAL_GC (); |
925 | break; | |
926 | } | |
36f7ba0a JB |
927 | |
928 | case Bunwind_protect: | |
defb1411 | 929 | record_unwind_protect (Fprogn, POP); /* FIXME: lexbind */ |
36f7ba0a JB |
930 | break; |
931 | ||
932 | case Bcondition_case: | |
4015b3c0 | 933 | { |
5c125a13 RS |
934 | Lisp_Object handlers, body; |
935 | handlers = POP; | |
936 | body = POP; | |
4015b3c0 | 937 | BEFORE_POTENTIAL_GC (); |
defb1411 | 938 | TOP = internal_lisp_condition_case (TOP, body, handlers); /* FIXME: lexbind */ |
4015b3c0 GM |
939 | AFTER_POTENTIAL_GC (); |
940 | break; | |
941 | } | |
36f7ba0a JB |
942 | |
943 | case Btemp_output_buffer_setup: | |
4015b3c0 | 944 | BEFORE_POTENTIAL_GC (); |
b7826503 | 945 | CHECK_STRING (TOP); |
42a5b22f | 946 | temp_output_buffer_setup (SSDATA (TOP)); |
4015b3c0 | 947 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
948 | TOP = Vstandard_output; |
949 | break; | |
950 | ||
951 | case Btemp_output_buffer_show: | |
4015b3c0 GM |
952 | { |
953 | Lisp_Object v1; | |
4015b3c0 | 954 | BEFORE_POTENTIAL_GC (); |
bf1de43e | 955 | v1 = POP; |
4015b3c0 GM |
956 | temp_output_buffer_show (TOP); |
957 | TOP = v1; | |
958 | /* pop binding of standard-output */ | |
aed13378 | 959 | unbind_to (SPECPDL_INDEX () - 1, Qnil); |
4015b3c0 GM |
960 | AFTER_POTENTIAL_GC (); |
961 | break; | |
962 | } | |
36f7ba0a JB |
963 | |
964 | case Bnth: | |
4015b3c0 GM |
965 | { |
966 | Lisp_Object v1, v2; | |
bf1de43e | 967 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
968 | v1 = POP; |
969 | v2 = TOP; | |
b7826503 | 970 | CHECK_NUMBER (v2); |
f5941bf8 | 971 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
972 | op = XINT (v2); |
973 | immediate_quit = 1; | |
14c5155a KS |
974 | while (--op >= 0 && CONSP (v1)) |
975 | v1 = XCDR (v1); | |
4015b3c0 | 976 | immediate_quit = 0; |
14c5155a | 977 | TOP = CAR (v1); |
4015b3c0 GM |
978 | break; |
979 | } | |
36f7ba0a JB |
980 | |
981 | case Bsymbolp: | |
617bd3f6 | 982 | TOP = SYMBOLP (TOP) ? Qt : Qnil; |
36f7ba0a JB |
983 | break; |
984 | ||
985 | case Bconsp: | |
986 | TOP = CONSP (TOP) ? Qt : Qnil; | |
987 | break; | |
988 | ||
989 | case Bstringp: | |
617bd3f6 | 990 | TOP = STRINGP (TOP) ? Qt : Qnil; |
36f7ba0a JB |
991 | break; |
992 | ||
993 | case Blistp: | |
921a8935 | 994 | TOP = CONSP (TOP) || NILP (TOP) ? Qt : Qnil; |
36f7ba0a JB |
995 | break; |
996 | ||
36f7ba0a | 997 | case Bnot: |
921a8935 | 998 | TOP = NILP (TOP) ? Qt : Qnil; |
36f7ba0a JB |
999 | break; |
1000 | ||
36f7ba0a | 1001 | case Bcons: |
4015b3c0 GM |
1002 | { |
1003 | Lisp_Object v1; | |
1004 | v1 = POP; | |
1005 | TOP = Fcons (TOP, v1); | |
1006 | break; | |
1007 | } | |
36f7ba0a JB |
1008 | |
1009 | case Blist1: | |
1010 | TOP = Fcons (TOP, Qnil); | |
1011 | break; | |
1012 | ||
1013 | case Blist2: | |
4015b3c0 GM |
1014 | { |
1015 | Lisp_Object v1; | |
1016 | v1 = POP; | |
1017 | TOP = Fcons (TOP, Fcons (v1, Qnil)); | |
1018 | break; | |
1019 | } | |
36f7ba0a JB |
1020 | |
1021 | case Blist3: | |
63639d44 | 1022 | DISCARD (2); |
36f7ba0a JB |
1023 | TOP = Flist (3, &TOP); |
1024 | break; | |
1025 | ||
1026 | case Blist4: | |
63639d44 | 1027 | DISCARD (3); |
36f7ba0a JB |
1028 | TOP = Flist (4, &TOP); |
1029 | break; | |
1030 | ||
63639d44 JB |
1031 | case BlistN: |
1032 | op = FETCH; | |
1033 | DISCARD (op - 1); | |
1034 | TOP = Flist (op, &TOP); | |
1035 | break; | |
1036 | ||
36f7ba0a | 1037 | case Blength: |
bf1de43e | 1038 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1039 | TOP = Flength (TOP); |
bf1de43e | 1040 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1041 | break; |
1042 | ||
1043 | case Baref: | |
4015b3c0 GM |
1044 | { |
1045 | Lisp_Object v1; | |
bf1de43e | 1046 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1047 | v1 = POP; |
1048 | TOP = Faref (TOP, v1); | |
bf1de43e | 1049 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1050 | break; |
1051 | } | |
36f7ba0a JB |
1052 | |
1053 | case Baset: | |
4015b3c0 GM |
1054 | { |
1055 | Lisp_Object v1, v2; | |
bf1de43e | 1056 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1057 | v2 = POP; v1 = POP; |
1058 | TOP = Faset (TOP, v1, v2); | |
bf1de43e | 1059 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1060 | break; |
1061 | } | |
36f7ba0a JB |
1062 | |
1063 | case Bsymbol_value: | |
bf1de43e | 1064 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1065 | TOP = Fsymbol_value (TOP); |
bf1de43e | 1066 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1067 | break; |
1068 | ||
1069 | case Bsymbol_function: | |
bf1de43e | 1070 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1071 | TOP = Fsymbol_function (TOP); |
bf1de43e | 1072 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1073 | break; |
1074 | ||
1075 | case Bset: | |
4015b3c0 GM |
1076 | { |
1077 | Lisp_Object v1; | |
bf1de43e | 1078 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1079 | v1 = POP; |
1080 | TOP = Fset (TOP, v1); | |
bf1de43e | 1081 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1082 | break; |
1083 | } | |
36f7ba0a JB |
1084 | |
1085 | case Bfset: | |
4015b3c0 GM |
1086 | { |
1087 | Lisp_Object v1; | |
bf1de43e | 1088 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1089 | v1 = POP; |
1090 | TOP = Ffset (TOP, v1); | |
bf1de43e | 1091 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1092 | break; |
1093 | } | |
36f7ba0a JB |
1094 | |
1095 | case Bget: | |
4015b3c0 GM |
1096 | { |
1097 | Lisp_Object v1; | |
bf1de43e | 1098 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1099 | v1 = POP; |
1100 | TOP = Fget (TOP, v1); | |
bf1de43e | 1101 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1102 | break; |
1103 | } | |
36f7ba0a JB |
1104 | |
1105 | case Bsubstring: | |
4015b3c0 GM |
1106 | { |
1107 | Lisp_Object v1, v2; | |
fa9aabf6 | 1108 | BEFORE_POTENTIAL_GC (); |
bf1de43e | 1109 | v2 = POP; v1 = POP; |
4015b3c0 | 1110 | TOP = Fsubstring (TOP, v1, v2); |
fa9aabf6 | 1111 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1112 | break; |
1113 | } | |
36f7ba0a JB |
1114 | |
1115 | case Bconcat2: | |
bf1de43e | 1116 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1117 | DISCARD (1); |
36f7ba0a | 1118 | TOP = Fconcat (2, &TOP); |
bf1de43e | 1119 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1120 | break; |
1121 | ||
1122 | case Bconcat3: | |
bf1de43e | 1123 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1124 | DISCARD (2); |
36f7ba0a | 1125 | TOP = Fconcat (3, &TOP); |
bf1de43e | 1126 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1127 | break; |
1128 | ||
1129 | case Bconcat4: | |
bf1de43e | 1130 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1131 | DISCARD (3); |
36f7ba0a | 1132 | TOP = Fconcat (4, &TOP); |
bf1de43e | 1133 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1134 | break; |
1135 | ||
63639d44 JB |
1136 | case BconcatN: |
1137 | op = FETCH; | |
bf1de43e | 1138 | BEFORE_POTENTIAL_GC (); |
63639d44 JB |
1139 | DISCARD (op - 1); |
1140 | TOP = Fconcat (op, &TOP); | |
bf1de43e | 1141 | AFTER_POTENTIAL_GC (); |
63639d44 JB |
1142 | break; |
1143 | ||
36f7ba0a | 1144 | case Bsub1: |
4015b3c0 GM |
1145 | { |
1146 | Lisp_Object v1; | |
1147 | v1 = TOP; | |
1148 | if (INTEGERP (v1)) | |
1149 | { | |
1150 | XSETINT (v1, XINT (v1) - 1); | |
1151 | TOP = v1; | |
1152 | } | |
1153 | else | |
e494eee5 MB |
1154 | { |
1155 | BEFORE_POTENTIAL_GC (); | |
1156 | TOP = Fsub1 (v1); | |
1157 | AFTER_POTENTIAL_GC (); | |
1158 | } | |
4015b3c0 GM |
1159 | break; |
1160 | } | |
36f7ba0a JB |
1161 | |
1162 | case Badd1: | |
4015b3c0 GM |
1163 | { |
1164 | Lisp_Object v1; | |
1165 | v1 = TOP; | |
1166 | if (INTEGERP (v1)) | |
1167 | { | |
1168 | XSETINT (v1, XINT (v1) + 1); | |
1169 | TOP = v1; | |
1170 | } | |
1171 | else | |
bf1de43e GM |
1172 | { |
1173 | BEFORE_POTENTIAL_GC (); | |
1174 | TOP = Fadd1 (v1); | |
1175 | AFTER_POTENTIAL_GC (); | |
1176 | } | |
4015b3c0 GM |
1177 | break; |
1178 | } | |
36f7ba0a JB |
1179 | |
1180 | case Beqlsign: | |
4015b3c0 GM |
1181 | { |
1182 | Lisp_Object v1, v2; | |
f5941bf8 | 1183 | BEFORE_POTENTIAL_GC (); |
bf1de43e | 1184 | v2 = POP; v1 = TOP; |
b7826503 PJ |
1185 | CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (v1); |
1186 | CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (v2); | |
f5941bf8 | 1187 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1188 | if (FLOATP (v1) || FLOATP (v2)) |
1189 | { | |
1190 | double f1, f2; | |
1191 | ||
1192 | f1 = (FLOATP (v1) ? XFLOAT_DATA (v1) : XINT (v1)); | |
1193 | f2 = (FLOATP (v2) ? XFLOAT_DATA (v2) : XINT (v2)); | |
1194 | TOP = (f1 == f2 ? Qt : Qnil); | |
1195 | } | |
1196 | else | |
4015b3c0 GM |
1197 | TOP = (XINT (v1) == XINT (v2) ? Qt : Qnil); |
1198 | break; | |
1199 | } | |
36f7ba0a JB |
1200 | |
1201 | case Bgtr: | |
4015b3c0 GM |
1202 | { |
1203 | Lisp_Object v1; | |
bf1de43e | 1204 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1205 | v1 = POP; |
1206 | TOP = Fgtr (TOP, v1); | |
bf1de43e | 1207 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1208 | break; |
1209 | } | |
36f7ba0a JB |
1210 | |
1211 | case Blss: | |
4015b3c0 GM |
1212 | { |
1213 | Lisp_Object v1; | |
bf1de43e | 1214 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1215 | v1 = POP; |
1216 | TOP = Flss (TOP, v1); | |
bf1de43e | 1217 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1218 | break; |
1219 | } | |
36f7ba0a JB |
1220 | |
1221 | case Bleq: | |
4015b3c0 GM |
1222 | { |
1223 | Lisp_Object v1; | |
bf1de43e | 1224 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1225 | v1 = POP; |
1226 | TOP = Fleq (TOP, v1); | |
bf1de43e | 1227 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1228 | break; |
1229 | } | |
36f7ba0a JB |
1230 | |
1231 | case Bgeq: | |
4015b3c0 GM |
1232 | { |
1233 | Lisp_Object v1; | |
d9c1f6f9 | 1234 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1235 | v1 = POP; |
1236 | TOP = Fgeq (TOP, v1); | |
d9c1f6f9 | 1237 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1238 | break; |
1239 | } | |
36f7ba0a JB |
1240 | |
1241 | case Bdiff: | |
bf1de43e | 1242 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1243 | DISCARD (1); |
36f7ba0a | 1244 | TOP = Fminus (2, &TOP); |
bf1de43e | 1245 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1246 | break; |
1247 | ||
1248 | case Bnegate: | |
4015b3c0 GM |
1249 | { |
1250 | Lisp_Object v1; | |
1251 | v1 = TOP; | |
1252 | if (INTEGERP (v1)) | |
1253 | { | |
1254 | XSETINT (v1, - XINT (v1)); | |
1255 | TOP = v1; | |
1256 | } | |
1257 | else | |
bf1de43e GM |
1258 | { |
1259 | BEFORE_POTENTIAL_GC (); | |
1260 | TOP = Fminus (1, &TOP); | |
1261 | AFTER_POTENTIAL_GC (); | |
1262 | } | |
4015b3c0 GM |
1263 | break; |
1264 | } | |
36f7ba0a JB |
1265 | |
1266 | case Bplus: | |
bf1de43e | 1267 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1268 | DISCARD (1); |
36f7ba0a | 1269 | TOP = Fplus (2, &TOP); |
bf1de43e | 1270 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1271 | break; |
1272 | ||
1273 | case Bmax: | |
bf1de43e | 1274 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1275 | DISCARD (1); |
36f7ba0a | 1276 | TOP = Fmax (2, &TOP); |
bf1de43e | 1277 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1278 | break; |
1279 | ||
1280 | case Bmin: | |
bf1de43e | 1281 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1282 | DISCARD (1); |
36f7ba0a | 1283 | TOP = Fmin (2, &TOP); |
bf1de43e | 1284 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1285 | break; |
1286 | ||
1287 | case Bmult: | |
bf1de43e | 1288 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1289 | DISCARD (1); |
36f7ba0a | 1290 | TOP = Ftimes (2, &TOP); |
bf1de43e | 1291 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1292 | break; |
1293 | ||
1294 | case Bquo: | |
bf1de43e | 1295 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1296 | DISCARD (1); |
36f7ba0a | 1297 | TOP = Fquo (2, &TOP); |
bf1de43e | 1298 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1299 | break; |
1300 | ||
1301 | case Brem: | |
4015b3c0 GM |
1302 | { |
1303 | Lisp_Object v1; | |
bf1de43e | 1304 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1305 | v1 = POP; |
1306 | TOP = Frem (TOP, v1); | |
bf1de43e | 1307 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1308 | break; |
1309 | } | |
36f7ba0a JB |
1310 | |
1311 | case Bpoint: | |
4015b3c0 GM |
1312 | { |
1313 | Lisp_Object v1; | |
1314 | XSETFASTINT (v1, PT); | |
1315 | PUSH (v1); | |
1316 | break; | |
1317 | } | |
36f7ba0a JB |
1318 | |
1319 | case Bgoto_char: | |
4015b3c0 | 1320 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1321 | TOP = Fgoto_char (TOP); |
4015b3c0 | 1322 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1323 | break; |
1324 | ||
1325 | case Binsert: | |
4015b3c0 | 1326 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1327 | TOP = Finsert (1, &TOP); |
4015b3c0 | 1328 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1329 | break; |
1330 | ||
63639d44 JB |
1331 | case BinsertN: |
1332 | op = FETCH; | |
4015b3c0 | 1333 | BEFORE_POTENTIAL_GC (); |
fa9aabf6 | 1334 | DISCARD (op - 1); |
63639d44 | 1335 | TOP = Finsert (op, &TOP); |
4015b3c0 | 1336 | AFTER_POTENTIAL_GC (); |
63639d44 JB |
1337 | break; |
1338 | ||
36f7ba0a | 1339 | case Bpoint_max: |
4015b3c0 GM |
1340 | { |
1341 | Lisp_Object v1; | |
1342 | XSETFASTINT (v1, ZV); | |
1343 | PUSH (v1); | |
1344 | break; | |
1345 | } | |
36f7ba0a JB |
1346 | |
1347 | case Bpoint_min: | |
4015b3c0 GM |
1348 | { |
1349 | Lisp_Object v1; | |
1350 | XSETFASTINT (v1, BEGV); | |
1351 | PUSH (v1); | |
1352 | break; | |
1353 | } | |
36f7ba0a JB |
1354 | |
1355 | case Bchar_after: | |
bf1de43e | 1356 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1357 | TOP = Fchar_after (TOP); |
bf1de43e | 1358 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1359 | break; |
1360 | ||
1361 | case Bfollowing_char: | |
4015b3c0 GM |
1362 | { |
1363 | Lisp_Object v1; | |
bf1de43e | 1364 | BEFORE_POTENTIAL_GC (); |
4015b3c0 | 1365 | v1 = Ffollowing_char (); |
bf1de43e | 1366 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1367 | PUSH (v1); |
1368 | break; | |
1369 | } | |
36f7ba0a JB |
1370 | |
1371 | case Bpreceding_char: | |
4015b3c0 GM |
1372 | { |
1373 | Lisp_Object v1; | |
bf1de43e | 1374 | BEFORE_POTENTIAL_GC (); |
4015b3c0 | 1375 | v1 = Fprevious_char (); |
bf1de43e | 1376 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1377 | PUSH (v1); |
1378 | break; | |
1379 | } | |
36f7ba0a JB |
1380 | |
1381 | case Bcurrent_column: | |
4015b3c0 GM |
1382 | { |
1383 | Lisp_Object v1; | |
96111f48 | 1384 | BEFORE_POTENTIAL_GC (); |
8e11578b | 1385 | XSETFASTINT (v1, (int) current_column ()); /* iftc */ |
96111f48 | 1386 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1387 | PUSH (v1); |
1388 | break; | |
1389 | } | |
36f7ba0a JB |
1390 | |
1391 | case Bindent_to: | |
4015b3c0 | 1392 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1393 | TOP = Findent_to (TOP, Qnil); |
4015b3c0 | 1394 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1395 | break; |
1396 | ||
1397 | case Beolp: | |
1398 | PUSH (Feolp ()); | |
1399 | break; | |
1400 | ||
1401 | case Beobp: | |
1402 | PUSH (Feobp ()); | |
1403 | break; | |
1404 | ||
1405 | case Bbolp: | |
1406 | PUSH (Fbolp ()); | |
1407 | break; | |
1408 | ||
1409 | case Bbobp: | |
1410 | PUSH (Fbobp ()); | |
1411 | break; | |
1412 | ||
1413 | case Bcurrent_buffer: | |
1414 | PUSH (Fcurrent_buffer ()); | |
1415 | break; | |
1416 | ||
1417 | case Bset_buffer: | |
4015b3c0 | 1418 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1419 | TOP = Fset_buffer (TOP); |
4015b3c0 | 1420 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1421 | break; |
1422 | ||
e0f57e65 | 1423 | case Binteractive_p: /* Obsolete. */ |
36f7ba0a JB |
1424 | PUSH (Finteractive_p ()); |
1425 | break; | |
1426 | ||
1427 | case Bforward_char: | |
4015b3c0 | 1428 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1429 | TOP = Fforward_char (TOP); |
4015b3c0 | 1430 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1431 | break; |
1432 | ||
1433 | case Bforward_word: | |
4015b3c0 | 1434 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1435 | TOP = Fforward_word (TOP); |
4015b3c0 | 1436 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1437 | break; |
1438 | ||
1439 | case Bskip_chars_forward: | |
4015b3c0 GM |
1440 | { |
1441 | Lisp_Object v1; | |
4015b3c0 | 1442 | BEFORE_POTENTIAL_GC (); |
bf1de43e | 1443 | v1 = POP; |
4015b3c0 GM |
1444 | TOP = Fskip_chars_forward (TOP, v1); |
1445 | AFTER_POTENTIAL_GC (); | |
1446 | break; | |
1447 | } | |
36f7ba0a JB |
1448 | |
1449 | case Bskip_chars_backward: | |
4015b3c0 GM |
1450 | { |
1451 | Lisp_Object v1; | |
4015b3c0 | 1452 | BEFORE_POTENTIAL_GC (); |
bf1de43e | 1453 | v1 = POP; |
4015b3c0 GM |
1454 | TOP = Fskip_chars_backward (TOP, v1); |
1455 | AFTER_POTENTIAL_GC (); | |
1456 | break; | |
1457 | } | |
36f7ba0a JB |
1458 | |
1459 | case Bforward_line: | |
4015b3c0 | 1460 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1461 | TOP = Fforward_line (TOP); |
4015b3c0 | 1462 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1463 | break; |
1464 | ||
1465 | case Bchar_syntax: | |
9281d077 KH |
1466 | { |
1467 | int c; | |
1468 | ||
1469 | BEFORE_POTENTIAL_GC (); | |
1470 | CHECK_CHARACTER (TOP); | |
1471 | AFTER_POTENTIAL_GC (); | |
1472 | c = XFASTINT (TOP); | |
1473 | if (NILP (current_buffer->enable_multibyte_characters)) | |
1474 | MAKE_CHAR_MULTIBYTE (c); | |
1475 | XSETFASTINT (TOP, syntax_code_spec[(int) SYNTAX (c)]); | |
8f924df7 | 1476 | } |
36f7ba0a JB |
1477 | break; |
1478 | ||
1479 | case Bbuffer_substring: | |
4015b3c0 GM |
1480 | { |
1481 | Lisp_Object v1; | |
4015b3c0 | 1482 | BEFORE_POTENTIAL_GC (); |
bf1de43e | 1483 | v1 = POP; |
4015b3c0 GM |
1484 | TOP = Fbuffer_substring (TOP, v1); |
1485 | AFTER_POTENTIAL_GC (); | |
1486 | break; | |
1487 | } | |
36f7ba0a JB |
1488 | |
1489 | case Bdelete_region: | |
4015b3c0 GM |
1490 | { |
1491 | Lisp_Object v1; | |
4015b3c0 | 1492 | BEFORE_POTENTIAL_GC (); |
bf1de43e | 1493 | v1 = POP; |
4015b3c0 GM |
1494 | TOP = Fdelete_region (TOP, v1); |
1495 | AFTER_POTENTIAL_GC (); | |
1496 | break; | |
1497 | } | |
36f7ba0a JB |
1498 | |
1499 | case Bnarrow_to_region: | |
4015b3c0 GM |
1500 | { |
1501 | Lisp_Object v1; | |
4015b3c0 | 1502 | BEFORE_POTENTIAL_GC (); |
bf1de43e | 1503 | v1 = POP; |
4015b3c0 GM |
1504 | TOP = Fnarrow_to_region (TOP, v1); |
1505 | AFTER_POTENTIAL_GC (); | |
1506 | break; | |
1507 | } | |
36f7ba0a JB |
1508 | |
1509 | case Bwiden: | |
4015b3c0 | 1510 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1511 | PUSH (Fwiden ()); |
4015b3c0 | 1512 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1513 | break; |
1514 | ||
63639d44 | 1515 | case Bend_of_line: |
4015b3c0 | 1516 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1517 | TOP = Fend_of_line (TOP); |
4015b3c0 | 1518 | AFTER_POTENTIAL_GC (); |
63639d44 JB |
1519 | break; |
1520 | ||
1521 | case Bset_marker: | |
4015b3c0 GM |
1522 | { |
1523 | Lisp_Object v1, v2; | |
bf1de43e | 1524 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1525 | v1 = POP; |
1526 | v2 = POP; | |
1527 | TOP = Fset_marker (TOP, v2, v1); | |
bf1de43e | 1528 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1529 | break; |
1530 | } | |
63639d44 JB |
1531 | |
1532 | case Bmatch_beginning: | |
bf1de43e | 1533 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1534 | TOP = Fmatch_beginning (TOP); |
bf1de43e | 1535 | AFTER_POTENTIAL_GC (); |
63639d44 JB |
1536 | break; |
1537 | ||
1538 | case Bmatch_end: | |
bf1de43e | 1539 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1540 | TOP = Fmatch_end (TOP); |
bf1de43e | 1541 | AFTER_POTENTIAL_GC (); |
63639d44 JB |
1542 | break; |
1543 | ||
1544 | case Bupcase: | |
bf1de43e | 1545 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1546 | TOP = Fupcase (TOP); |
bf1de43e | 1547 | AFTER_POTENTIAL_GC (); |
63639d44 JB |
1548 | break; |
1549 | ||
1550 | case Bdowncase: | |
bf1de43e | 1551 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1552 | TOP = Fdowncase (TOP); |
bf1de43e | 1553 | AFTER_POTENTIAL_GC (); |
63639d44 JB |
1554 | break; |
1555 | ||
36f7ba0a | 1556 | case Bstringeqlsign: |
4015b3c0 GM |
1557 | { |
1558 | Lisp_Object v1; | |
bf1de43e | 1559 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1560 | v1 = POP; |
1561 | TOP = Fstring_equal (TOP, v1); | |
bf1de43e | 1562 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1563 | break; |
1564 | } | |
36f7ba0a JB |
1565 | |
1566 | case Bstringlss: | |
4015b3c0 GM |
1567 | { |
1568 | Lisp_Object v1; | |
bf1de43e | 1569 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1570 | v1 = POP; |
1571 | TOP = Fstring_lessp (TOP, v1); | |
bf1de43e | 1572 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1573 | break; |
1574 | } | |
36f7ba0a JB |
1575 | |
1576 | case Bequal: | |
4015b3c0 GM |
1577 | { |
1578 | Lisp_Object v1; | |
1579 | v1 = POP; | |
1580 | TOP = Fequal (TOP, v1); | |
1581 | break; | |
1582 | } | |
36f7ba0a JB |
1583 | |
1584 | case Bnthcdr: | |
4015b3c0 GM |
1585 | { |
1586 | Lisp_Object v1; | |
bf1de43e | 1587 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1588 | v1 = POP; |
1589 | TOP = Fnthcdr (TOP, v1); | |
bf1de43e | 1590 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1591 | break; |
1592 | } | |
36f7ba0a JB |
1593 | |
1594 | case Belt: | |
4015b3c0 GM |
1595 | { |
1596 | Lisp_Object v1, v2; | |
1597 | if (CONSP (TOP)) | |
1598 | { | |
1599 | /* Exchange args and then do nth. */ | |
bf1de43e | 1600 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1601 | v2 = POP; |
1602 | v1 = TOP; | |
b7826503 | 1603 | CHECK_NUMBER (v2); |
f5941bf8 | 1604 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1605 | op = XINT (v2); |
1606 | immediate_quit = 1; | |
14c5155a KS |
1607 | while (--op >= 0 && CONSP (v1)) |
1608 | v1 = XCDR (v1); | |
4015b3c0 | 1609 | immediate_quit = 0; |
14c5155a | 1610 | TOP = CAR (v1); |
4015b3c0 GM |
1611 | } |
1612 | else | |
1613 | { | |
bf1de43e | 1614 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1615 | v1 = POP; |
1616 | TOP = Felt (TOP, v1); | |
bf1de43e | 1617 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1618 | } |
1619 | break; | |
1620 | } | |
36f7ba0a JB |
1621 | |
1622 | case Bmember: | |
4015b3c0 GM |
1623 | { |
1624 | Lisp_Object v1; | |
bf1de43e | 1625 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1626 | v1 = POP; |
1627 | TOP = Fmember (TOP, v1); | |
bf1de43e | 1628 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1629 | break; |
1630 | } | |
36f7ba0a JB |
1631 | |
1632 | case Bassq: | |
4015b3c0 GM |
1633 | { |
1634 | Lisp_Object v1; | |
bf1de43e | 1635 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1636 | v1 = POP; |
1637 | TOP = Fassq (TOP, v1); | |
bf1de43e | 1638 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1639 | break; |
1640 | } | |
36f7ba0a JB |
1641 | |
1642 | case Bnreverse: | |
bf1de43e | 1643 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1644 | TOP = Fnreverse (TOP); |
bf1de43e | 1645 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1646 | break; |
1647 | ||
1648 | case Bsetcar: | |
4015b3c0 GM |
1649 | { |
1650 | Lisp_Object v1; | |
bf1de43e | 1651 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1652 | v1 = POP; |
1653 | TOP = Fsetcar (TOP, v1); | |
bf1de43e | 1654 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1655 | break; |
1656 | } | |
36f7ba0a JB |
1657 | |
1658 | case Bsetcdr: | |
4015b3c0 GM |
1659 | { |
1660 | Lisp_Object v1; | |
bf1de43e | 1661 | BEFORE_POTENTIAL_GC (); |
4015b3c0 GM |
1662 | v1 = POP; |
1663 | TOP = Fsetcdr (TOP, v1); | |
bf1de43e | 1664 | AFTER_POTENTIAL_GC (); |
4015b3c0 GM |
1665 | break; |
1666 | } | |
36f7ba0a JB |
1667 | |
1668 | case Bcar_safe: | |
4015b3c0 GM |
1669 | { |
1670 | Lisp_Object v1; | |
1671 | v1 = TOP; | |
14c5155a | 1672 | TOP = CAR_SAFE (v1); |
4015b3c0 GM |
1673 | break; |
1674 | } | |
36f7ba0a JB |
1675 | |
1676 | case Bcdr_safe: | |
4015b3c0 GM |
1677 | { |
1678 | Lisp_Object v1; | |
1679 | v1 = TOP; | |
14c5155a | 1680 | TOP = CDR_SAFE (v1); |
4015b3c0 GM |
1681 | break; |
1682 | } | |
36f7ba0a JB |
1683 | |
1684 | case Bnconc: | |
bf1de43e | 1685 | BEFORE_POTENTIAL_GC (); |
63639d44 | 1686 | DISCARD (1); |
36f7ba0a | 1687 | TOP = Fnconc (2, &TOP); |
bf1de43e | 1688 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1689 | break; |
1690 | ||
1691 | case Bnumberp: | |
63639d44 | 1692 | TOP = (NUMBERP (TOP) ? Qt : Qnil); |
36f7ba0a JB |
1693 | break; |
1694 | ||
1695 | case Bintegerp: | |
617bd3f6 | 1696 | TOP = INTEGERP (TOP) ? Qt : Qnil; |
36f7ba0a JB |
1697 | break; |
1698 | ||
1699 | #ifdef BYTE_CODE_SAFE | |
1700 | case Bset_mark: | |
f5941bf8 | 1701 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1702 | error ("set-mark is an obsolete bytecode"); |
f5941bf8 | 1703 | AFTER_POTENTIAL_GC (); |
36f7ba0a JB |
1704 | break; |
1705 | case Bscan_buffer: | |
f5941bf8 | 1706 | BEFORE_POTENTIAL_GC (); |
36f7ba0a | 1707 | error ("scan-buffer is an obsolete bytecode"); |
f5941bf8 | 1708 | AFTER_POTENTIAL_GC (); |
36f7ba0a | 1709 | break; |
36f7ba0a JB |
1710 | #endif |
1711 | ||
b9598260 SM |
1712 | /* Handy byte-codes for lexical binding. */ |
1713 | case Bstack_ref: | |
1714 | case Bstack_ref+1: | |
1715 | case Bstack_ref+2: | |
1716 | case Bstack_ref+3: | |
1717 | case Bstack_ref+4: | |
1718 | case Bstack_ref+5: | |
1719 | PUSH (stack.bottom[op - Bstack_ref]); | |
1720 | break; | |
1721 | case Bstack_ref+6: | |
1722 | PUSH (stack.bottom[FETCH]); | |
1723 | break; | |
1724 | case Bstack_ref+7: | |
1725 | PUSH (stack.bottom[FETCH2]); | |
1726 | break; | |
1727 | case Bstack_set: | |
1728 | stack.bottom[FETCH] = POP; | |
1729 | break; | |
1730 | case Bstack_set2: | |
1731 | stack.bottom[FETCH2] = POP; | |
1732 | break; | |
b9598260 SM |
1733 | case BdiscardN: |
1734 | op = FETCH; | |
1735 | if (op & 0x80) | |
1736 | { | |
1737 | op &= 0x7F; | |
1738 | top[-op] = TOP; | |
1739 | } | |
1740 | DISCARD (op); | |
1741 | break; | |
c96d71f7 RS |
1742 | |
1743 | case 255: | |
36f7ba0a JB |
1744 | default: |
1745 | #ifdef BYTE_CODE_SAFE | |
1746 | if (op < Bconstant) | |
f5941bf8 | 1747 | { |
cc94f3b2 | 1748 | abort (); |
f5941bf8 | 1749 | } |
36f7ba0a | 1750 | if ((op -= Bconstant) >= const_length) |
f5941bf8 | 1751 | { |
cc94f3b2 | 1752 | abort (); |
f5941bf8 | 1753 | } |
36f7ba0a JB |
1754 | PUSH (vectorp[op]); |
1755 | #else | |
1756 | PUSH (vectorp[op - Bconstant]); | |
1757 | #endif | |
1758 | } | |
1759 | } | |
1760 | ||
1761 | exit: | |
7ca1e8b7 GM |
1762 | |
1763 | byte_stack_list = byte_stack_list->next; | |
1764 | ||
36f7ba0a | 1765 | /* Binds and unbinds are supposed to be compiled balanced. */ |
aed13378 | 1766 | if (SPECPDL_INDEX () != count) |
36f7ba0a JB |
1767 | #ifdef BYTE_CODE_SAFE |
1768 | error ("binding stack not balanced (serious byte compiler bug)"); | |
1769 | #else | |
1770 | abort (); | |
1771 | #endif | |
8e11578b | 1772 | |
4015b3c0 | 1773 | return result; |
36f7ba0a JB |
1774 | } |
1775 | ||
dfcf069d | 1776 | void |
971de7fb | 1777 | syms_of_bytecode (void) |
36f7ba0a | 1778 | { |
d67b4f80 | 1779 | Qbytecode = intern_c_string ("byte-code"); |
36f7ba0a JB |
1780 | staticpro (&Qbytecode); |
1781 | ||
1782 | defsubr (&Sbyte_code); | |
1783 | ||
1784 | #ifdef BYTE_CODE_METER | |
1785 | ||
29208e82 | 1786 | DEFVAR_LISP ("byte-code-meter", Vbyte_code_meter, |
39f624fa PJ |
1787 | doc: /* A vector of vectors which holds a histogram of byte-code usage. |
1788 | \(aref (aref byte-code-meter 0) CODE) indicates how many times the byte | |
1789 | opcode CODE has been executed. | |
1790 | \(aref (aref byte-code-meter CODE1) CODE2), where CODE1 is not 0, | |
1791 | indicates how many times the byte opcodes CODE1 and CODE2 have been | |
1792 | executed in succession. */); | |
8e11578b | 1793 | |
29208e82 | 1794 | DEFVAR_BOOL ("byte-metering-on", byte_metering_on, |
39f624fa PJ |
1795 | doc: /* If non-nil, keep profiling information on byte code usage. |
1796 | The variable byte-code-meter indicates how often each byte opcode is used. | |
1797 | If a symbol has a property named `byte-code-meter' whose value is an | |
1798 | integer, it is incremented each time that symbol's function is called. */); | |
36f7ba0a JB |
1799 | |
1800 | byte_metering_on = 0; | |
63639d44 | 1801 | Vbyte_code_meter = Fmake_vector (make_number (256), make_number (0)); |
d67b4f80 | 1802 | Qbyte_code_meter = intern_c_string ("byte-code-meter"); |
63639d44 | 1803 | staticpro (&Qbyte_code_meter); |
36f7ba0a JB |
1804 | { |
1805 | int i = 256; | |
1806 | while (i--) | |
63639d44 JB |
1807 | XVECTOR (Vbyte_code_meter)->contents[i] = |
1808 | Fmake_vector (make_number (256), make_number (0)); | |
36f7ba0a JB |
1809 | } |
1810 | #endif | |
1811 | } |