|
428
|
1 /* CCL (Code Conversion Language) interpreter.
|
|
444
|
2 Copyright (C) 1995, 1997 Electrotechnical Laboratory, JAPAN.
|
|
826
|
3 Copyright (C) 2002 Ben Wing.
|
|
428
|
4 Licensed to the Free Software Foundation.
|
|
|
5
|
|
613
|
6 This file is part of XEmacs.
|
|
428
|
7
|
|
613
|
8 XEmacs is free software; you can redistribute it and/or modify
|
|
428
|
9 it under the terms of the GNU General Public License as published by
|
|
|
10 the Free Software Foundation; either version 2, or (at your option)
|
|
|
11 any later version.
|
|
|
12
|
|
613
|
13 XEmacs is distributed in the hope that it will be useful,
|
|
428
|
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
16 GNU General Public License for more details.
|
|
|
17
|
|
|
18 You should have received a copy of the GNU General Public License
|
|
613
|
19 along with XEmacs; see the file COPYING. If not, write to
|
|
428
|
20 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
|
21 Boston, MA 02111-1307, USA. */
|
|
|
22
|
|
444
|
23 /* Synched up with : FSF Emacs 21.0.90 except TranslateCharacter */
|
|
428
|
24
|
|
|
25 #include <config.h>
|
|
771
|
26 #include "lisp.h"
|
|
444
|
27
|
|
428
|
28 #include "buffer.h"
|
|
771
|
29 #include "charset.h"
|
|
428
|
30 #include "mule-ccl.h"
|
|
|
31 #include "file-coding.h"
|
|
|
32
|
|
565
|
33 Lisp_Object Qccl_error;
|
|
|
34
|
|
428
|
35 /* This contains all code conversion map available to CCL. */
|
|
|
36 Lisp_Object Vcode_conversion_map_vector;
|
|
|
37
|
|
|
38 /* Alist of fontname patterns vs corresponding CCL program. */
|
|
|
39 Lisp_Object Vfont_ccl_encoder_alist;
|
|
|
40
|
|
444
|
41 /* This symbol is a property which associates with ccl program vector.
|
|
428
|
42 Ex: (get 'ccl-big5-encoder 'ccl-program) returns ccl program vector. */
|
|
|
43 Lisp_Object Qccl_program;
|
|
|
44
|
|
|
45 /* These symbols are properties which associate with code conversion
|
|
|
46 map and their ID respectively. */
|
|
|
47 Lisp_Object Qcode_conversion_map;
|
|
|
48 Lisp_Object Qcode_conversion_map_id;
|
|
|
49
|
|
|
50 /* Symbols of ccl program have this property, a value of the property
|
|
444
|
51 is an index for Vccl_program_table. */
|
|
428
|
52 Lisp_Object Qccl_program_idx;
|
|
|
53
|
|
444
|
54 /* Table of registered CCL programs. Each element is a vector of
|
|
|
55 NAME, CCL_PROG, and RESOLVEDP where NAME (symbol) is the name of
|
|
|
56 the program, CCL_PROG (vector) is the compiled code of the program,
|
|
|
57 RESOLVEDP (t or nil) is the flag to tell if symbols in CCL_PROG is
|
|
|
58 already resolved to index numbers or not. */
|
|
428
|
59 Lisp_Object Vccl_program_table;
|
|
|
60
|
|
|
61 /* CCL (Code Conversion Language) is a simple language which has
|
|
|
62 operations on one input buffer, one output buffer, and 7 registers.
|
|
|
63 The syntax of CCL is described in `ccl.el'. Emacs Lisp function
|
|
|
64 `ccl-compile' compiles a CCL program and produces a CCL code which
|
|
|
65 is a vector of integers. The structure of this vector is as
|
|
|
66 follows: The 1st element: buffer-magnification, a factor for the
|
|
|
67 size of output buffer compared with the size of input buffer. The
|
|
|
68 2nd element: address of CCL code to be executed when encountered
|
|
|
69 with end of input stream. The 3rd and the remaining elements: CCL
|
|
|
70 codes. */
|
|
|
71
|
|
|
72 /* Header of CCL compiled code */
|
|
|
73 #define CCL_HEADER_BUF_MAG 0
|
|
|
74 #define CCL_HEADER_EOF 1
|
|
|
75 #define CCL_HEADER_MAIN 2
|
|
|
76
|
|
|
77 /* CCL code is a sequence of 28-bit non-negative integers (i.e. the
|
|
|
78 MSB is always 0), each contains CCL command and/or arguments in the
|
|
|
79 following format:
|
|
|
80
|
|
|
81 |----------------- integer (28-bit) ------------------|
|
|
|
82 |------- 17-bit ------|- 3-bit --|- 3-bit --|- 5-bit -|
|
|
|
83 |--constant argument--|-register-|-register-|-command-|
|
|
|
84 ccccccccccccccccc RRR rrr XXXXX
|
|
|
85 or
|
|
|
86 |------- relative address -------|-register-|-command-|
|
|
|
87 cccccccccccccccccccc rrr XXXXX
|
|
|
88 or
|
|
|
89 |------------- constant or other args ----------------|
|
|
|
90 cccccccccccccccccccccccccccc
|
|
|
91
|
|
|
92 where, `cc...c' is a non-negative integer indicating constant value
|
|
|
93 (the left most `c' is always 0) or an absolute jump address, `RRR'
|
|
|
94 and `rrr' are CCL register number, `XXXXX' is one of the following
|
|
|
95 CCL commands. */
|
|
|
96
|
|
|
97 /* CCL commands
|
|
|
98
|
|
|
99 Each comment fields shows one or more lines for command syntax and
|
|
|
100 the following lines for semantics of the command. In semantics, IC
|
|
|
101 stands for Instruction Counter. */
|
|
|
102
|
|
|
103 #define CCL_SetRegister 0x00 /* Set register a register value:
|
|
|
104 1:00000000000000000RRRrrrXXXXX
|
|
|
105 ------------------------------
|
|
|
106 reg[rrr] = reg[RRR];
|
|
|
107 */
|
|
|
108
|
|
|
109 #define CCL_SetShortConst 0x01 /* Set register a short constant value:
|
|
|
110 1:CCCCCCCCCCCCCCCCCCCCrrrXXXXX
|
|
|
111 ------------------------------
|
|
|
112 reg[rrr] = CCCCCCCCCCCCCCCCCCC;
|
|
|
113 */
|
|
|
114
|
|
|
115 #define CCL_SetConst 0x02 /* Set register a constant value:
|
|
|
116 1:00000000000000000000rrrXXXXX
|
|
|
117 2:CONSTANT
|
|
|
118 ------------------------------
|
|
|
119 reg[rrr] = CONSTANT;
|
|
|
120 IC++;
|
|
|
121 */
|
|
|
122
|
|
|
123 #define CCL_SetArray 0x03 /* Set register an element of array:
|
|
|
124 1:CCCCCCCCCCCCCCCCCRRRrrrXXXXX
|
|
|
125 2:ELEMENT[0]
|
|
|
126 3:ELEMENT[1]
|
|
|
127 ...
|
|
|
128 ------------------------------
|
|
|
129 if (0 <= reg[RRR] < CC..C)
|
|
|
130 reg[rrr] = ELEMENT[reg[RRR]];
|
|
|
131 IC += CC..C;
|
|
|
132 */
|
|
|
133
|
|
|
134 #define CCL_Jump 0x04 /* Jump:
|
|
|
135 1:A--D--D--R--E--S--S-000XXXXX
|
|
|
136 ------------------------------
|
|
|
137 IC += ADDRESS;
|
|
|
138 */
|
|
|
139
|
|
|
140 /* Note: If CC..C is greater than 0, the second code is omitted. */
|
|
|
141
|
|
|
142 #define CCL_JumpCond 0x05 /* Jump conditional:
|
|
|
143 1:A--D--D--R--E--S--S-rrrXXXXX
|
|
|
144 ------------------------------
|
|
|
145 if (!reg[rrr])
|
|
|
146 IC += ADDRESS;
|
|
|
147 */
|
|
|
148
|
|
|
149
|
|
|
150 #define CCL_WriteRegisterJump 0x06 /* Write register and jump:
|
|
|
151 1:A--D--D--R--E--S--S-rrrXXXXX
|
|
|
152 ------------------------------
|
|
|
153 write (reg[rrr]);
|
|
|
154 IC += ADDRESS;
|
|
|
155 */
|
|
|
156
|
|
|
157 #define CCL_WriteRegisterReadJump 0x07 /* Write register, read, and jump:
|
|
|
158 1:A--D--D--R--E--S--S-rrrXXXXX
|
|
|
159 2:A--D--D--R--E--S--S-rrrYYYYY
|
|
|
160 -----------------------------
|
|
|
161 write (reg[rrr]);
|
|
|
162 IC++;
|
|
|
163 read (reg[rrr]);
|
|
|
164 IC += ADDRESS;
|
|
|
165 */
|
|
|
166 /* Note: If read is suspended, the resumed execution starts from the
|
|
|
167 second code (YYYYY == CCL_ReadJump). */
|
|
|
168
|
|
|
169 #define CCL_WriteConstJump 0x08 /* Write constant and jump:
|
|
|
170 1:A--D--D--R--E--S--S-000XXXXX
|
|
444
|
171 2:CONST
|
|
428
|
172 ------------------------------
|
|
444
|
173 write (CONST);
|
|
428
|
174 IC += ADDRESS;
|
|
|
175 */
|
|
|
176
|
|
|
177 #define CCL_WriteConstReadJump 0x09 /* Write constant, read, and jump:
|
|
|
178 1:A--D--D--R--E--S--S-rrrXXXXX
|
|
444
|
179 2:CONST
|
|
428
|
180 3:A--D--D--R--E--S--S-rrrYYYYY
|
|
|
181 -----------------------------
|
|
444
|
182 write (CONST);
|
|
428
|
183 IC += 2;
|
|
|
184 read (reg[rrr]);
|
|
|
185 IC += ADDRESS;
|
|
|
186 */
|
|
|
187 /* Note: If read is suspended, the resumed execution starts from the
|
|
|
188 second code (YYYYY == CCL_ReadJump). */
|
|
|
189
|
|
|
190 #define CCL_WriteStringJump 0x0A /* Write string and jump:
|
|
|
191 1:A--D--D--R--E--S--S-000XXXXX
|
|
|
192 2:LENGTH
|
|
|
193 3:0000STRIN[0]STRIN[1]STRIN[2]
|
|
|
194 ...
|
|
|
195 ------------------------------
|
|
|
196 write_string (STRING, LENGTH);
|
|
|
197 IC += ADDRESS;
|
|
|
198 */
|
|
|
199
|
|
|
200 #define CCL_WriteArrayReadJump 0x0B /* Write an array element, read, and jump:
|
|
|
201 1:A--D--D--R--E--S--S-rrrXXXXX
|
|
|
202 2:LENGTH
|
|
|
203 3:ELEMENET[0]
|
|
|
204 4:ELEMENET[1]
|
|
|
205 ...
|
|
|
206 N:A--D--D--R--E--S--S-rrrYYYYY
|
|
|
207 ------------------------------
|
|
|
208 if (0 <= reg[rrr] < LENGTH)
|
|
|
209 write (ELEMENT[reg[rrr]]);
|
|
|
210 IC += LENGTH + 2; (... pointing at N+1)
|
|
|
211 read (reg[rrr]);
|
|
|
212 IC += ADDRESS;
|
|
|
213 */
|
|
|
214 /* Note: If read is suspended, the resumed execution starts from the
|
|
|
215 Nth code (YYYYY == CCL_ReadJump). */
|
|
|
216
|
|
|
217 #define CCL_ReadJump 0x0C /* Read and jump:
|
|
|
218 1:A--D--D--R--E--S--S-rrrYYYYY
|
|
|
219 -----------------------------
|
|
|
220 read (reg[rrr]);
|
|
|
221 IC += ADDRESS;
|
|
|
222 */
|
|
|
223
|
|
|
224 #define CCL_Branch 0x0D /* Jump by branch table:
|
|
|
225 1:CCCCCCCCCCCCCCCCCCCCrrrXXXXX
|
|
|
226 2:A--D--D--R--E-S-S[0]000XXXXX
|
|
|
227 3:A--D--D--R--E-S-S[1]000XXXXX
|
|
|
228 ...
|
|
|
229 ------------------------------
|
|
|
230 if (0 <= reg[rrr] < CC..C)
|
|
|
231 IC += ADDRESS[reg[rrr]];
|
|
|
232 else
|
|
|
233 IC += ADDRESS[CC..C];
|
|
|
234 */
|
|
|
235
|
|
|
236 #define CCL_ReadRegister 0x0E /* Read bytes into registers:
|
|
|
237 1:CCCCCCCCCCCCCCCCCCCCrrrXXXXX
|
|
|
238 2:CCCCCCCCCCCCCCCCCCCCrrrXXXXX
|
|
|
239 ...
|
|
|
240 ------------------------------
|
|
|
241 while (CCC--)
|
|
|
242 read (reg[rrr]);
|
|
|
243 */
|
|
|
244
|
|
|
245 #define CCL_WriteExprConst 0x0F /* write result of expression:
|
|
|
246 1:00000OPERATION000RRR000XXXXX
|
|
|
247 2:CONSTANT
|
|
|
248 ------------------------------
|
|
|
249 write (reg[RRR] OPERATION CONSTANT);
|
|
|
250 IC++;
|
|
|
251 */
|
|
|
252
|
|
|
253 /* Note: If the Nth read is suspended, the resumed execution starts
|
|
|
254 from the Nth code. */
|
|
|
255
|
|
|
256 #define CCL_ReadBranch 0x10 /* Read one byte into a register,
|
|
|
257 and jump by branch table:
|
|
|
258 1:CCCCCCCCCCCCCCCCCCCCrrrXXXXX
|
|
|
259 2:A--D--D--R--E-S-S[0]000XXXXX
|
|
|
260 3:A--D--D--R--E-S-S[1]000XXXXX
|
|
|
261 ...
|
|
|
262 ------------------------------
|
|
|
263 read (read[rrr]);
|
|
|
264 if (0 <= reg[rrr] < CC..C)
|
|
|
265 IC += ADDRESS[reg[rrr]];
|
|
|
266 else
|
|
|
267 IC += ADDRESS[CC..C];
|
|
|
268 */
|
|
|
269
|
|
|
270 #define CCL_WriteRegister 0x11 /* Write registers:
|
|
|
271 1:CCCCCCCCCCCCCCCCCCCrrrXXXXX
|
|
|
272 2:CCCCCCCCCCCCCCCCCCCrrrXXXXX
|
|
|
273 ...
|
|
|
274 ------------------------------
|
|
|
275 while (CCC--)
|
|
|
276 write (reg[rrr]);
|
|
|
277 ...
|
|
|
278 */
|
|
|
279
|
|
|
280 /* Note: If the Nth write is suspended, the resumed execution
|
|
|
281 starts from the Nth code. */
|
|
|
282
|
|
|
283 #define CCL_WriteExprRegister 0x12 /* Write result of expression
|
|
|
284 1:00000OPERATIONRrrRRR000XXXXX
|
|
|
285 ------------------------------
|
|
|
286 write (reg[RRR] OPERATION reg[Rrr]);
|
|
|
287 */
|
|
|
288
|
|
|
289 #define CCL_Call 0x13 /* Call the CCL program whose ID is
|
|
444
|
290 CC..C or cc..c.
|
|
|
291 1:CCCCCCCCCCCCCCCCCCCCFFFXXXXX
|
|
|
292 [2:00000000cccccccccccccccccccc]
|
|
428
|
293 ------------------------------
|
|
444
|
294 if (FFF)
|
|
|
295 call (cc..c)
|
|
|
296 IC++;
|
|
|
297 else
|
|
|
298 call (CC..C)
|
|
428
|
299 */
|
|
|
300
|
|
|
301 #define CCL_WriteConstString 0x14 /* Write a constant or a string:
|
|
|
302 1:CCCCCCCCCCCCCCCCCCCCrrrXXXXX
|
|
|
303 [2:0000STRIN[0]STRIN[1]STRIN[2]]
|
|
|
304 [...]
|
|
|
305 -----------------------------
|
|
|
306 if (!rrr)
|
|
|
307 write (CC..C)
|
|
|
308 else
|
|
|
309 write_string (STRING, CC..C);
|
|
|
310 IC += (CC..C + 2) / 3;
|
|
|
311 */
|
|
|
312
|
|
|
313 #define CCL_WriteArray 0x15 /* Write an element of array:
|
|
|
314 1:CCCCCCCCCCCCCCCCCCCCrrrXXXXX
|
|
|
315 2:ELEMENT[0]
|
|
|
316 3:ELEMENT[1]
|
|
|
317 ...
|
|
|
318 ------------------------------
|
|
|
319 if (0 <= reg[rrr] < CC..C)
|
|
|
320 write (ELEMENT[reg[rrr]]);
|
|
|
321 IC += CC..C;
|
|
|
322 */
|
|
|
323
|
|
|
324 #define CCL_End 0x16 /* Terminate:
|
|
|
325 1:00000000000000000000000XXXXX
|
|
|
326 ------------------------------
|
|
|
327 terminate ();
|
|
|
328 */
|
|
|
329
|
|
|
330 /* The following two codes execute an assignment arithmetic/logical
|
|
|
331 operation. The form of the operation is like REG OP= OPERAND. */
|
|
|
332
|
|
|
333 #define CCL_ExprSelfConst 0x17 /* REG OP= constant:
|
|
|
334 1:00000OPERATION000000rrrXXXXX
|
|
|
335 2:CONSTANT
|
|
|
336 ------------------------------
|
|
|
337 reg[rrr] OPERATION= CONSTANT;
|
|
|
338 */
|
|
|
339
|
|
|
340 #define CCL_ExprSelfReg 0x18 /* REG1 OP= REG2:
|
|
|
341 1:00000OPERATION000RRRrrrXXXXX
|
|
|
342 ------------------------------
|
|
|
343 reg[rrr] OPERATION= reg[RRR];
|
|
|
344 */
|
|
|
345
|
|
|
346 /* The following codes execute an arithmetic/logical operation. The
|
|
|
347 form of the operation is like REG_X = REG_Y OP OPERAND2. */
|
|
|
348
|
|
|
349 #define CCL_SetExprConst 0x19 /* REG_X = REG_Y OP constant:
|
|
|
350 1:00000OPERATION000RRRrrrXXXXX
|
|
|
351 2:CONSTANT
|
|
|
352 ------------------------------
|
|
|
353 reg[rrr] = reg[RRR] OPERATION CONSTANT;
|
|
|
354 IC++;
|
|
|
355 */
|
|
|
356
|
|
|
357 #define CCL_SetExprReg 0x1A /* REG1 = REG2 OP REG3:
|
|
|
358 1:00000OPERATIONRrrRRRrrrXXXXX
|
|
|
359 ------------------------------
|
|
|
360 reg[rrr] = reg[RRR] OPERATION reg[Rrr];
|
|
|
361 */
|
|
|
362
|
|
|
363 #define CCL_JumpCondExprConst 0x1B /* Jump conditional according to
|
|
|
364 an operation on constant:
|
|
|
365 1:A--D--D--R--E--S--S-rrrXXXXX
|
|
|
366 2:OPERATION
|
|
|
367 3:CONSTANT
|
|
|
368 -----------------------------
|
|
|
369 reg[7] = reg[rrr] OPERATION CONSTANT;
|
|
|
370 if (!(reg[7]))
|
|
|
371 IC += ADDRESS;
|
|
|
372 else
|
|
|
373 IC += 2
|
|
|
374 */
|
|
|
375
|
|
|
376 #define CCL_JumpCondExprReg 0x1C /* Jump conditional according to
|
|
|
377 an operation on register:
|
|
|
378 1:A--D--D--R--E--S--S-rrrXXXXX
|
|
|
379 2:OPERATION
|
|
|
380 3:RRR
|
|
|
381 -----------------------------
|
|
|
382 reg[7] = reg[rrr] OPERATION reg[RRR];
|
|
|
383 if (!reg[7])
|
|
|
384 IC += ADDRESS;
|
|
|
385 else
|
|
|
386 IC += 2;
|
|
|
387 */
|
|
|
388
|
|
|
389 #define CCL_ReadJumpCondExprConst 0x1D /* Read and jump conditional according
|
|
|
390 to an operation on constant:
|
|
|
391 1:A--D--D--R--E--S--S-rrrXXXXX
|
|
|
392 2:OPERATION
|
|
|
393 3:CONSTANT
|
|
|
394 -----------------------------
|
|
|
395 read (reg[rrr]);
|
|
|
396 reg[7] = reg[rrr] OPERATION CONSTANT;
|
|
|
397 if (!reg[7])
|
|
|
398 IC += ADDRESS;
|
|
|
399 else
|
|
|
400 IC += 2;
|
|
|
401 */
|
|
|
402
|
|
|
403 #define CCL_ReadJumpCondExprReg 0x1E /* Read and jump conditional according
|
|
|
404 to an operation on register:
|
|
|
405 1:A--D--D--R--E--S--S-rrrXXXXX
|
|
|
406 2:OPERATION
|
|
|
407 3:RRR
|
|
|
408 -----------------------------
|
|
|
409 read (reg[rrr]);
|
|
|
410 reg[7] = reg[rrr] OPERATION reg[RRR];
|
|
|
411 if (!reg[7])
|
|
|
412 IC += ADDRESS;
|
|
|
413 else
|
|
|
414 IC += 2;
|
|
|
415 */
|
|
|
416
|
|
456
|
417 #define CCL_Extension 0x1F /* Extended CCL code
|
|
428
|
418 1:ExtendedCOMMNDRrrRRRrrrXXXXX
|
|
444
|
419 2:ARGUMENT
|
|
428
|
420 3:...
|
|
|
421 ------------------------------
|
|
|
422 extended_command (rrr,RRR,Rrr,ARGS)
|
|
|
423 */
|
|
|
424
|
|
442
|
425 /*
|
|
428
|
426 Here after, Extended CCL Instructions.
|
|
|
427 Bit length of extended command is 14.
|
|
|
428 Therefore, the instruction code range is 0..16384(0x3fff).
|
|
|
429 */
|
|
|
430
|
|
|
431 /* Read a multibyte characeter.
|
|
|
432 A code point is stored into reg[rrr]. A charset ID is stored into
|
|
|
433 reg[RRR]. */
|
|
|
434
|
|
|
435 #define CCL_ReadMultibyteChar2 0x00 /* Read Multibyte Character
|
|
|
436 1:ExtendedCOMMNDRrrRRRrrrXXXXX */
|
|
|
437
|
|
|
438 /* Write a multibyte character.
|
|
|
439 Write a character whose code point is reg[rrr] and the charset ID
|
|
|
440 is reg[RRR]. */
|
|
|
441
|
|
|
442 #define CCL_WriteMultibyteChar2 0x01 /* Write Multibyte Character
|
|
|
443 1:ExtendedCOMMNDRrrRRRrrrXXXXX */
|
|
|
444
|
|
|
445 /* Translate a character whose code point is reg[rrr] and the charset
|
|
|
446 ID is reg[RRR] by a translation table whose ID is reg[Rrr].
|
|
|
447
|
|
|
448 A translated character is set in reg[rrr] (code point) and reg[RRR]
|
|
|
449 (charset ID). */
|
|
|
450
|
|
|
451 #define CCL_TranslateCharacter 0x02 /* Translate a multibyte character
|
|
|
452 1:ExtendedCOMMNDRrrRRRrrrXXXXX */
|
|
|
453
|
|
|
454 /* Translate a character whose code point is reg[rrr] and the charset
|
|
|
455 ID is reg[RRR] by a translation table whose ID is ARGUMENT.
|
|
|
456
|
|
|
457 A translated character is set in reg[rrr] (code point) and reg[RRR]
|
|
|
458 (charset ID). */
|
|
|
459
|
|
|
460 #define CCL_TranslateCharacterConstTbl 0x03 /* Translate a multibyte character
|
|
|
461 1:ExtendedCOMMNDRrrRRRrrrXXXXX
|
|
|
462 2:ARGUMENT(Translation Table ID)
|
|
|
463 */
|
|
|
464
|
|
|
465 /* Iterate looking up MAPs for reg[rrr] starting from the Nth (N =
|
|
|
466 reg[RRR]) MAP until some value is found.
|
|
|
467
|
|
|
468 Each MAP is a Lisp vector whose element is number, nil, t, or
|
|
|
469 lambda.
|
|
|
470 If the element is nil, ignore the map and proceed to the next map.
|
|
|
471 If the element is t or lambda, finish without changing reg[rrr].
|
|
|
472 If the element is a number, set reg[rrr] to the number and finish.
|
|
|
473
|
|
444
|
474 Detail of the map structure is described in the comment for
|
|
428
|
475 CCL_MapMultiple below. */
|
|
|
476
|
|
|
477 #define CCL_IterateMultipleMap 0x10 /* Iterate multiple maps
|
|
|
478 1:ExtendedCOMMNDXXXRRRrrrXXXXX
|
|
|
479 2:NUMBER of MAPs
|
|
|
480 3:MAP-ID1
|
|
|
481 4:MAP-ID2
|
|
|
482 ...
|
|
442
|
483 */
|
|
428
|
484
|
|
|
485 /* Map the code in reg[rrr] by MAPs starting from the Nth (N =
|
|
|
486 reg[RRR]) map.
|
|
|
487
|
|
|
488 MAPs are supplied in the succeeding CCL codes as follows:
|
|
|
489
|
|
|
490 When CCL program gives this nested structure of map to this command:
|
|
|
491 ((MAP-ID11
|
|
|
492 MAP-ID12
|
|
|
493 (MAP-ID121 MAP-ID122 MAP-ID123)
|
|
|
494 MAP-ID13)
|
|
|
495 (MAP-ID21
|
|
|
496 (MAP-ID211 (MAP-ID2111) MAP-ID212)
|
|
|
497 MAP-ID22)),
|
|
444
|
498 the compiled CCL code has this sequence:
|
|
428
|
499 CCL_MapMultiple (CCL code of this command)
|
|
|
500 16 (total number of MAPs and SEPARATORs)
|
|
|
501 -7 (1st SEPARATOR)
|
|
|
502 MAP-ID11
|
|
|
503 MAP-ID12
|
|
|
504 -3 (2nd SEPARATOR)
|
|
|
505 MAP-ID121
|
|
|
506 MAP-ID122
|
|
|
507 MAP-ID123
|
|
|
508 MAP-ID13
|
|
|
509 -7 (3rd SEPARATOR)
|
|
|
510 MAP-ID21
|
|
|
511 -4 (4th SEPARATOR)
|
|
|
512 MAP-ID211
|
|
|
513 -1 (5th SEPARATOR)
|
|
|
514 MAP_ID2111
|
|
|
515 MAP-ID212
|
|
|
516 MAP-ID22
|
|
|
517
|
|
|
518 A value of each SEPARATOR follows this rule:
|
|
|
519 MAP-SET := SEPARATOR [(MAP-ID | MAP-SET)]+
|
|
|
520 SEPARATOR := -(number of MAP-IDs and SEPARATORs in the MAP-SET)
|
|
|
521
|
|
|
522 (*)....Nest level of MAP-SET must not be over than MAX_MAP_SET_LEVEL.
|
|
|
523
|
|
|
524 When some map fails to map (i.e. it doesn't have a value for
|
|
|
525 reg[rrr]), the mapping is treated as identity.
|
|
|
526
|
|
|
527 The mapping is iterated for all maps in each map set (set of maps
|
|
|
528 separated by SEPARATOR) except in the case that lambda is
|
|
|
529 encountered. More precisely, the mapping proceeds as below:
|
|
|
530
|
|
|
531 At first, VAL0 is set to reg[rrr], and it is translated by the
|
|
|
532 first map to VAL1. Then, VAL1 is translated by the next map to
|
|
|
533 VAL2. This mapping is iterated until the last map is used. The
|
|
444
|
534 result of the mapping is the last value of VAL?. When the mapping
|
|
|
535 process reached to the end of the map set, it moves to the next
|
|
|
536 map set. If the next does not exit, the mapping process terminates,
|
|
|
537 and regard the last value as a result.
|
|
428
|
538
|
|
|
539 But, when VALm is mapped to VALn and VALn is not a number, the
|
|
444
|
540 mapping proceeds as follows:
|
|
428
|
541
|
|
|
542 If VALn is nil, the lastest map is ignored and the mapping of VALm
|
|
444
|
543 proceeds to the next map.
|
|
428
|
544
|
|
|
545 In VALn is t, VALm is reverted to reg[rrr] and the mapping of VALm
|
|
444
|
546 proceeds to the next map.
|
|
428
|
547
|
|
444
|
548 If VALn is lambda, move to the next map set like reaching to the
|
|
|
549 end of the current map set.
|
|
|
550
|
|
|
551 If VALn is a symbol, call the CCL program refered by it.
|
|
|
552 Then, use reg[rrr] as a mapped value except for -1, -2 and -3.
|
|
|
553 Such special values are regarded as nil, t, and lambda respectively.
|
|
428
|
554
|
|
|
555 Each map is a Lisp vector of the following format (a) or (b):
|
|
|
556 (a)......[STARTPOINT VAL1 VAL2 ...]
|
|
|
557 (b)......[t VAL STARTPOINT ENDPOINT],
|
|
|
558 where
|
|
|
559 STARTPOINT is an offset to be used for indexing a map,
|
|
|
560 ENDPOINT is a maximum index number of a map,
|
|
442
|
561 VAL and VALn is a number, nil, t, or lambda.
|
|
428
|
562
|
|
|
563 Valid index range of a map of type (a) is:
|
|
|
564 STARTPOINT <= index < STARTPOINT + map_size - 1
|
|
|
565 Valid index range of a map of type (b) is:
|
|
|
566 STARTPOINT <= index < ENDPOINT */
|
|
|
567
|
|
|
568 #define CCL_MapMultiple 0x11 /* Mapping by multiple code conversion maps
|
|
|
569 1:ExtendedCOMMNDXXXRRRrrrXXXXX
|
|
|
570 2:N-2
|
|
|
571 3:SEPARATOR_1 (< 0)
|
|
|
572 4:MAP-ID_1
|
|
|
573 5:MAP-ID_2
|
|
|
574 ...
|
|
|
575 M:SEPARATOR_x (< 0)
|
|
|
576 M+1:MAP-ID_y
|
|
|
577 ...
|
|
|
578 N:SEPARATOR_z (< 0)
|
|
|
579 */
|
|
|
580
|
|
444
|
581 #define MAX_MAP_SET_LEVEL 30
|
|
428
|
582
|
|
|
583 typedef struct
|
|
|
584 {
|
|
|
585 int rest_length;
|
|
|
586 int orig_val;
|
|
|
587 } tr_stack;
|
|
|
588
|
|
|
589 static tr_stack mapping_stack[MAX_MAP_SET_LEVEL];
|
|
|
590 static tr_stack *mapping_stack_pointer;
|
|
444
|
591
|
|
|
592 /* If this variable is non-zero, it indicates the stack_idx
|
|
|
593 of immediately called by CCL_MapMultiple. */
|
|
450
|
594 static int stack_idx_of_map_multiple;
|
|
444
|
595
|
|
|
596 #define PUSH_MAPPING_STACK(restlen, orig) \
|
|
|
597 do { \
|
|
|
598 mapping_stack_pointer->rest_length = (restlen); \
|
|
|
599 mapping_stack_pointer->orig_val = (orig); \
|
|
|
600 mapping_stack_pointer++; \
|
|
|
601 } while (0)
|
|
|
602
|
|
|
603 #define POP_MAPPING_STACK(restlen, orig) \
|
|
|
604 do { \
|
|
|
605 mapping_stack_pointer--; \
|
|
|
606 (restlen) = mapping_stack_pointer->rest_length; \
|
|
|
607 (orig) = mapping_stack_pointer->orig_val; \
|
|
|
608 } while (0)
|
|
428
|
609
|
|
444
|
610 #define CCL_CALL_FOR_MAP_INSTRUCTION(symbol, ret_ic) \
|
|
|
611 do { \
|
|
|
612 struct ccl_program called_ccl; \
|
|
|
613 if (stack_idx >= 256 \
|
|
|
614 || (setup_ccl_program (&called_ccl, (symbol)) != 0)) \
|
|
|
615 { \
|
|
|
616 if (stack_idx > 0) \
|
|
|
617 { \
|
|
|
618 ccl_prog = ccl_prog_stack_struct[0].ccl_prog; \
|
|
|
619 ic = ccl_prog_stack_struct[0].ic; \
|
|
|
620 } \
|
|
|
621 CCL_INVALID_CMD; \
|
|
|
622 } \
|
|
|
623 ccl_prog_stack_struct[stack_idx].ccl_prog = ccl_prog; \
|
|
|
624 ccl_prog_stack_struct[stack_idx].ic = (ret_ic); \
|
|
|
625 stack_idx++; \
|
|
|
626 ccl_prog = called_ccl.prog; \
|
|
|
627 ic = CCL_HEADER_MAIN; \
|
|
456
|
628 /* The "if (1)" prevents warning \
|
|
|
629 "end-of loop code not reached" */ \
|
|
|
630 if (1) goto ccl_repeat; \
|
|
444
|
631 } while (0)
|
|
428
|
632
|
|
|
633 #define CCL_MapSingle 0x12 /* Map by single code conversion map
|
|
|
634 1:ExtendedCOMMNDXXXRRRrrrXXXXX
|
|
|
635 2:MAP-ID
|
|
|
636 ------------------------------
|
|
|
637 Map reg[rrr] by MAP-ID.
|
|
|
638 If some valid mapping is found,
|
|
|
639 set reg[rrr] to the result,
|
|
|
640 else
|
|
|
641 set reg[RRR] to -1.
|
|
|
642 */
|
|
|
643
|
|
|
644 /* CCL arithmetic/logical operators. */
|
|
|
645 #define CCL_PLUS 0x00 /* X = Y + Z */
|
|
|
646 #define CCL_MINUS 0x01 /* X = Y - Z */
|
|
|
647 #define CCL_MUL 0x02 /* X = Y * Z */
|
|
|
648 #define CCL_DIV 0x03 /* X = Y / Z */
|
|
|
649 #define CCL_MOD 0x04 /* X = Y % Z */
|
|
|
650 #define CCL_AND 0x05 /* X = Y & Z */
|
|
|
651 #define CCL_OR 0x06 /* X = Y | Z */
|
|
|
652 #define CCL_XOR 0x07 /* X = Y ^ Z */
|
|
|
653 #define CCL_LSH 0x08 /* X = Y << Z */
|
|
|
654 #define CCL_RSH 0x09 /* X = Y >> Z */
|
|
|
655 #define CCL_LSH8 0x0A /* X = (Y << 8) | Z */
|
|
|
656 #define CCL_RSH8 0x0B /* X = Y >> 8, r[7] = Y & 0xFF */
|
|
|
657 #define CCL_DIVMOD 0x0C /* X = Y / Z, r[7] = Y % Z */
|
|
|
658 #define CCL_LS 0x10 /* X = (X < Y) */
|
|
|
659 #define CCL_GT 0x11 /* X = (X > Y) */
|
|
|
660 #define CCL_EQ 0x12 /* X = (X == Y) */
|
|
|
661 #define CCL_LE 0x13 /* X = (X <= Y) */
|
|
|
662 #define CCL_GE 0x14 /* X = (X >= Y) */
|
|
|
663 #define CCL_NE 0x15 /* X = (X != Y) */
|
|
|
664
|
|
|
665 #define CCL_DECODE_SJIS 0x16 /* X = HIGHER_BYTE (DE-SJIS (Y, Z))
|
|
|
666 r[7] = LOWER_BYTE (DE-SJIS (Y, Z)) */
|
|
|
667 #define CCL_ENCODE_SJIS 0x17 /* X = HIGHER_BYTE (SJIS (Y, Z))
|
|
|
668 r[7] = LOWER_BYTE (SJIS (Y, Z) */
|
|
|
669
|
|
444
|
670 /* Terminate CCL program successfully. */
|
|
462
|
671 #define CCL_SUCCESS \
|
|
|
672 do { \
|
|
|
673 ccl->status = CCL_STAT_SUCCESS; \
|
|
456
|
674 /* The "if (1)" inhibits the warning \
|
|
|
675 "end-of loop code not reached" */ \
|
|
|
676 if (1) goto ccl_finish; \
|
|
462
|
677 } while (0)
|
|
444
|
678
|
|
428
|
679 /* Suspend CCL program because of reading from empty input buffer or
|
|
|
680 writing to full output buffer. When this program is resumed, the
|
|
444
|
681 same I/O command is executed. */
|
|
462
|
682 #define CCL_SUSPEND(stat) \
|
|
|
683 do { \
|
|
|
684 ic--; \
|
|
456
|
685 ccl->status = (stat); \
|
|
|
686 /* The "if (1)" inhibits the warning \
|
|
|
687 "end-of loop code not reached" */ \
|
|
|
688 if (1) goto ccl_finish; \
|
|
462
|
689 } while (0)
|
|
428
|
690
|
|
|
691 /* Terminate CCL program because of invalid command. Should not occur
|
|
444
|
692 in the normal case. */
|
|
771
|
693 #define CCL_INVALID_CMD \
|
|
|
694 do { \
|
|
|
695 ccl->status = CCL_STAT_INVALID_CMD; \
|
|
|
696 /* enable this to debug invalid cmd errors */ \
|
|
|
697 /* debug_break (); */ \
|
|
|
698 /* The "if (1)" inhibits the warning \
|
|
|
699 "end-of loop code not reached" */ \
|
|
|
700 if (1) goto ccl_error_handler; \
|
|
462
|
701 } while (0)
|
|
428
|
702
|
|
|
703 /* Encode one character CH to multibyte form and write to the current
|
|
444
|
704 output buffer. At encoding time, if CH is less than 256, CH is
|
|
|
705 written as is. At decoding time, if CH cannot be regarded as an
|
|
|
706 ASCII character, write it in multibyte form. */
|
|
|
707 #define CCL_WRITE_CHAR(ch) \
|
|
|
708 do { \
|
|
|
709 if (!destination) \
|
|
|
710 CCL_INVALID_CMD; \
|
|
|
711 if (conversion_mode == CCL_MODE_ENCODING) \
|
|
|
712 { \
|
|
456
|
713 if ((ch) == '\n') \
|
|
444
|
714 { \
|
|
|
715 if (ccl->eol_type == CCL_CODING_EOL_CRLF) \
|
|
|
716 { \
|
|
|
717 Dynarr_add (destination, '\r'); \
|
|
|
718 Dynarr_add (destination, '\n'); \
|
|
|
719 } \
|
|
|
720 else if (ccl->eol_type == CCL_CODING_EOL_CR) \
|
|
|
721 Dynarr_add (destination, '\r'); \
|
|
|
722 else \
|
|
|
723 Dynarr_add (destination, '\n'); \
|
|
|
724 } \
|
|
456
|
725 else if ((ch) < 0x100) \
|
|
444
|
726 { \
|
|
|
727 Dynarr_add (destination, ch); \
|
|
|
728 } \
|
|
|
729 else \
|
|
|
730 { \
|
|
665
|
731 Intbyte work[MAX_EMCHAR_LEN]; \
|
|
444
|
732 int len; \
|
|
|
733 len = non_ascii_set_charptr_emchar (work, ch); \
|
|
|
734 Dynarr_add_many (destination, work, len); \
|
|
|
735 } \
|
|
|
736 } \
|
|
|
737 else \
|
|
|
738 { \
|
|
826
|
739 if (!emchar_multibyte_p(ch)) \
|
|
444
|
740 { \
|
|
|
741 Dynarr_add (destination, ch); \
|
|
|
742 } \
|
|
|
743 else \
|
|
|
744 { \
|
|
665
|
745 Intbyte work[MAX_EMCHAR_LEN]; \
|
|
444
|
746 int len; \
|
|
|
747 len = non_ascii_set_charptr_emchar (work, ch); \
|
|
|
748 Dynarr_add_many (destination, work, len); \
|
|
|
749 } \
|
|
|
750 } \
|
|
|
751 } while (0)
|
|
428
|
752
|
|
|
753 /* Write a string at ccl_prog[IC] of length LEN to the current output
|
|
444
|
754 buffer. But this macro treat this string as a binary. Therefore,
|
|
|
755 cannot handle a multibyte string except for Control-1 characters. */
|
|
|
756 #define CCL_WRITE_STRING(len) \
|
|
|
757 do { \
|
|
665
|
758 Intbyte work[MAX_EMCHAR_LEN]; \
|
|
444
|
759 int ch, bytes; \
|
|
|
760 if (!destination) \
|
|
|
761 CCL_INVALID_CMD; \
|
|
|
762 else if (conversion_mode == CCL_MODE_ENCODING) \
|
|
|
763 { \
|
|
456
|
764 for (i = 0; i < (len); i++) \
|
|
444
|
765 { \
|
|
|
766 ch = ((XINT (ccl_prog[ic + (i / 3)])) \
|
|
|
767 >> ((2 - (i % 3)) * 8)) & 0xFF; \
|
|
|
768 if (ch == '\n') \
|
|
|
769 { \
|
|
|
770 if (ccl->eol_type == CCL_CODING_EOL_CRLF) \
|
|
|
771 { \
|
|
|
772 Dynarr_add (destination, '\r'); \
|
|
|
773 Dynarr_add (destination, '\n'); \
|
|
|
774 } \
|
|
|
775 else if (ccl->eol_type == CCL_CODING_EOL_CR) \
|
|
|
776 Dynarr_add (destination, '\r'); \
|
|
|
777 else \
|
|
|
778 Dynarr_add (destination, '\n'); \
|
|
|
779 } \
|
|
|
780 if (ch < 0x100) \
|
|
|
781 { \
|
|
|
782 Dynarr_add (destination, ch); \
|
|
|
783 } \
|
|
|
784 else \
|
|
|
785 { \
|
|
|
786 bytes = non_ascii_set_charptr_emchar (work, ch); \
|
|
|
787 Dynarr_add_many (destination, work, len); \
|
|
|
788 } \
|
|
|
789 } \
|
|
|
790 } \
|
|
|
791 else \
|
|
|
792 { \
|
|
456
|
793 for (i = 0; i < (len); i++) \
|
|
444
|
794 { \
|
|
|
795 ch = ((XINT (ccl_prog[ic + (i / 3)])) \
|
|
|
796 >> ((2 - (i % 3)) * 8)) & 0xFF; \
|
|
826
|
797 if (!emchar_multibyte_p(ch)) \
|
|
444
|
798 { \
|
|
|
799 Dynarr_add (destination, ch); \
|
|
|
800 } \
|
|
|
801 else \
|
|
|
802 { \
|
|
|
803 bytes = non_ascii_set_charptr_emchar (work, ch); \
|
|
|
804 Dynarr_add_many (destination, work, len); \
|
|
|
805 } \
|
|
|
806 } \
|
|
|
807 } \
|
|
|
808 } while (0)
|
|
428
|
809
|
|
|
810 /* Read one byte from the current input buffer into Rth register. */
|
|
444
|
811 #define CCL_READ_CHAR(r) \
|
|
|
812 do { \
|
|
|
813 if (!src) \
|
|
|
814 CCL_INVALID_CMD; \
|
|
|
815 if (src < src_end) \
|
|
456
|
816 (r) = *src++; \
|
|
444
|
817 else \
|
|
|
818 { \
|
|
|
819 if (ccl->last_block) \
|
|
|
820 { \
|
|
|
821 ic = ccl->eof_ic; \
|
|
|
822 goto ccl_repeat; \
|
|
|
823 } \
|
|
|
824 else \
|
|
|
825 CCL_SUSPEND (CCL_STAT_SUSPEND_BY_SRC); \
|
|
|
826 } \
|
|
|
827 } while (0)
|
|
|
828
|
|
|
829
|
|
|
830 /* Set C to the character code made from CHARSET and CODE. This is
|
|
826
|
831 like make_emchar but check the validity of CHARSET and CODE. If they
|
|
444
|
832 are not valid, set C to (CODE & 0xFF) because that is usually the
|
|
|
833 case that CCL_ReadMultibyteChar2 read an invalid code and it set
|
|
|
834 CODE to that invalid byte. */
|
|
|
835
|
|
|
836 /* On XEmacs, TranslateCharacter is not supported. Thus, this
|
|
|
837 macro is not used. */
|
|
|
838 #if 0
|
|
|
839 #define CCL_MAKE_CHAR(charset, code, c) \
|
|
|
840 do { \
|
|
456
|
841 if ((charset) == CHARSET_ASCII) \
|
|
|
842 (c) = (code) & 0xFF; \
|
|
444
|
843 else if (CHARSET_DEFINED_P (charset) \
|
|
456
|
844 && ((code) & 0x7F) >= 32 \
|
|
|
845 && ((code) < 256 || ((code >> 7) & 0x7F) >= 32)) \
|
|
444
|
846 { \
|
|
456
|
847 int c1 = (code) & 0x7F, c2 = 0; \
|
|
444
|
848 \
|
|
456
|
849 if ((code) >= 256) \
|
|
|
850 c2 = c1, c1 = ((code) >> 7) & 0x7F; \
|
|
826
|
851 (c) = make_emchar (charset, c1, c2); \
|
|
444
|
852 } \
|
|
|
853 else \
|
|
456
|
854 (c) = (code) & 0xFF; \
|
|
444
|
855 } while (0)
|
|
|
856 #endif
|
|
428
|
857
|
|
|
858
|
|
|
859 /* Execute CCL code on SRC_BYTES length text at SOURCE. The resulting
|
|
444
|
860 text goes to a place pointed by DESTINATION, the length of which
|
|
|
861 should not exceed DST_BYTES. The bytes actually processed is
|
|
|
862 returned as *CONSUMED. The return value is the length of the
|
|
|
863 resulting text. As a side effect, the contents of CCL registers
|
|
428
|
864 are updated. If SOURCE or DESTINATION is NULL, only operations on
|
|
|
865 registers are permitted. */
|
|
|
866
|
|
|
867 #ifdef CCL_DEBUG
|
|
|
868 #define CCL_DEBUG_BACKTRACE_LEN 256
|
|
|
869 int ccl_backtrace_table[CCL_BACKTRACE_TABLE];
|
|
|
870 int ccl_backtrace_idx;
|
|
|
871 #endif
|
|
|
872
|
|
|
873 struct ccl_prog_stack
|
|
|
874 {
|
|
|
875 Lisp_Object *ccl_prog; /* Pointer to an array of CCL code. */
|
|
|
876 int ic; /* Instruction Counter. */
|
|
|
877 };
|
|
|
878
|
|
442
|
879 /* For the moment, we only support depth 256 of stack. */
|
|
428
|
880 static struct ccl_prog_stack ccl_prog_stack_struct[256];
|
|
|
881
|
|
|
882 int
|
|
444
|
883 ccl_driver (struct ccl_program *ccl,
|
|
|
884 const unsigned char *source,
|
|
|
885 unsigned_char_dynarr *destination,
|
|
|
886 int src_bytes,
|
|
|
887 int *consumed,
|
|
|
888 int conversion_mode)
|
|
428
|
889 {
|
|
444
|
890 register int *reg = ccl->reg;
|
|
|
891 register int ic = ccl->ic;
|
|
|
892 register int code = -1;
|
|
|
893 register int field1, field2;
|
|
|
894 register Lisp_Object *ccl_prog = ccl->prog;
|
|
442
|
895 const unsigned char *src = source, *src_end = src + src_bytes;
|
|
444
|
896 int jump_address;
|
|
428
|
897 int i, j, op;
|
|
|
898 int stack_idx = ccl->stack_idx;
|
|
|
899 /* Instruction counter of the current CCL code. */
|
|
|
900 int this_ic = 0;
|
|
|
901
|
|
|
902 if (ic >= ccl->eof_ic)
|
|
|
903 ic = CCL_HEADER_MAIN;
|
|
|
904
|
|
|
905 if (ccl->buf_magnification ==0) /* We can't produce any bytes. */
|
|
444
|
906 destination = NULL;
|
|
|
907
|
|
|
908 /* Set mapping stack pointer. */
|
|
|
909 mapping_stack_pointer = mapping_stack;
|
|
428
|
910
|
|
|
911 #ifdef CCL_DEBUG
|
|
|
912 ccl_backtrace_idx = 0;
|
|
|
913 #endif
|
|
|
914
|
|
|
915 for (;;)
|
|
|
916 {
|
|
|
917 ccl_repeat:
|
|
|
918 #ifdef CCL_DEBUG
|
|
|
919 ccl_backtrace_table[ccl_backtrace_idx++] = ic;
|
|
|
920 if (ccl_backtrace_idx >= CCL_DEBUG_BACKTRACE_LEN)
|
|
|
921 ccl_backtrace_idx = 0;
|
|
|
922 ccl_backtrace_table[ccl_backtrace_idx] = 0;
|
|
|
923 #endif
|
|
|
924
|
|
|
925 if (!NILP (Vquit_flag) && NILP (Vinhibit_quit))
|
|
|
926 {
|
|
|
927 /* We can't just signal Qquit, instead break the loop as if
|
|
|
928 the whole data is processed. Don't reset Vquit_flag, it
|
|
|
929 must be handled later at a safer place. */
|
|
|
930 if (consumed)
|
|
|
931 src = source + src_bytes;
|
|
|
932 ccl->status = CCL_STAT_QUIT;
|
|
|
933 break;
|
|
|
934 }
|
|
|
935
|
|
|
936 this_ic = ic;
|
|
|
937 code = XINT (ccl_prog[ic]); ic++;
|
|
|
938 field1 = code >> 8;
|
|
|
939 field2 = (code & 0xFF) >> 5;
|
|
|
940
|
|
|
941 #define rrr field2
|
|
|
942 #define RRR (field1 & 7)
|
|
|
943 #define Rrr ((field1 >> 3) & 7)
|
|
|
944 #define ADDR field1
|
|
|
945 #define EXCMD (field1 >> 6)
|
|
|
946
|
|
|
947 switch (code & 0x1F)
|
|
|
948 {
|
|
|
949 case CCL_SetRegister: /* 00000000000000000RRRrrrXXXXX */
|
|
|
950 reg[rrr] = reg[RRR];
|
|
|
951 break;
|
|
|
952
|
|
|
953 case CCL_SetShortConst: /* CCCCCCCCCCCCCCCCCCCCrrrXXXXX */
|
|
|
954 reg[rrr] = field1;
|
|
|
955 break;
|
|
|
956
|
|
|
957 case CCL_SetConst: /* 00000000000000000000rrrXXXXX */
|
|
|
958 reg[rrr] = XINT (ccl_prog[ic]);
|
|
|
959 ic++;
|
|
|
960 break;
|
|
|
961
|
|
|
962 case CCL_SetArray: /* CCCCCCCCCCCCCCCCCCCCRRRrrrXXXXX */
|
|
|
963 i = reg[RRR];
|
|
|
964 j = field1 >> 3;
|
|
647
|
965 /* #### it's non-obvious to me that we need these casts,
|
|
|
966 but the left one was already there so clearly the intention
|
|
|
967 was an unsigned comparison. --ben */
|
|
|
968 if ((unsigned int) i < (unsigned int) j)
|
|
428
|
969 reg[rrr] = XINT (ccl_prog[ic + i]);
|
|
|
970 ic += j;
|
|
|
971 break;
|
|
|
972
|
|
|
973 case CCL_Jump: /* A--D--D--R--E--S--S-000XXXXX */
|
|
|
974 ic += ADDR;
|
|
|
975 break;
|
|
|
976
|
|
|
977 case CCL_JumpCond: /* A--D--D--R--E--S--S-rrrXXXXX */
|
|
|
978 if (!reg[rrr])
|
|
|
979 ic += ADDR;
|
|
|
980 break;
|
|
|
981
|
|
|
982 case CCL_WriteRegisterJump: /* A--D--D--R--E--S--S-rrrXXXXX */
|
|
|
983 i = reg[rrr];
|
|
|
984 CCL_WRITE_CHAR (i);
|
|
|
985 ic += ADDR;
|
|
|
986 break;
|
|
|
987
|
|
|
988 case CCL_WriteRegisterReadJump: /* A--D--D--R--E--S--S-rrrXXXXX */
|
|
|
989 i = reg[rrr];
|
|
|
990 CCL_WRITE_CHAR (i);
|
|
|
991 ic++;
|
|
|
992 CCL_READ_CHAR (reg[rrr]);
|
|
|
993 ic += ADDR - 1;
|
|
|
994 break;
|
|
|
995
|
|
|
996 case CCL_WriteConstJump: /* A--D--D--R--E--S--S-000XXXXX */
|
|
|
997 i = XINT (ccl_prog[ic]);
|
|
|
998 CCL_WRITE_CHAR (i);
|
|
|
999 ic += ADDR;
|
|
|
1000 break;
|
|
|
1001
|
|
|
1002 case CCL_WriteConstReadJump: /* A--D--D--R--E--S--S-rrrXXXXX */
|
|
|
1003 i = XINT (ccl_prog[ic]);
|
|
|
1004 CCL_WRITE_CHAR (i);
|
|
|
1005 ic++;
|
|
|
1006 CCL_READ_CHAR (reg[rrr]);
|
|
|
1007 ic += ADDR - 1;
|
|
|
1008 break;
|
|
|
1009
|
|
|
1010 case CCL_WriteStringJump: /* A--D--D--R--E--S--S-000XXXXX */
|
|
|
1011 j = XINT (ccl_prog[ic]);
|
|
|
1012 ic++;
|
|
|
1013 CCL_WRITE_STRING (j);
|
|
|
1014 ic += ADDR - 1;
|
|
|
1015 break;
|
|
|
1016
|
|
|
1017 case CCL_WriteArrayReadJump: /* A--D--D--R--E--S--S-rrrXXXXX */
|
|
|
1018 i = reg[rrr];
|
|
|
1019 j = XINT (ccl_prog[ic]);
|
|
647
|
1020 /* #### see comment at CCL_SetArray */
|
|
|
1021 if ((unsigned int) i < (unsigned int) j)
|
|
428
|
1022 {
|
|
|
1023 i = XINT (ccl_prog[ic + 1 + i]);
|
|
|
1024 CCL_WRITE_CHAR (i);
|
|
|
1025 }
|
|
|
1026 ic += j + 2;
|
|
|
1027 CCL_READ_CHAR (reg[rrr]);
|
|
|
1028 ic += ADDR - (j + 2);
|
|
|
1029 break;
|
|
|
1030
|
|
|
1031 case CCL_ReadJump: /* A--D--D--R--E--S--S-rrrYYYYY */
|
|
|
1032 CCL_READ_CHAR (reg[rrr]);
|
|
|
1033 ic += ADDR;
|
|
|
1034 break;
|
|
|
1035
|
|
|
1036 case CCL_ReadBranch: /* CCCCCCCCCCCCCCCCCCCCrrrXXXXX */
|
|
|
1037 CCL_READ_CHAR (reg[rrr]);
|
|
|
1038 /* fall through ... */
|
|
|
1039 case CCL_Branch: /* CCCCCCCCCCCCCCCCCCCCrrrXXXXX */
|
|
647
|
1040 /* #### see comment at CCL_SetArray */
|
|
|
1041 if ((unsigned int) reg[rrr] < (unsigned int) field1)
|
|
428
|
1042 ic += XINT (ccl_prog[ic + reg[rrr]]);
|
|
|
1043 else
|
|
|
1044 ic += XINT (ccl_prog[ic + field1]);
|
|
|
1045 break;
|
|
|
1046
|
|
|
1047 case CCL_ReadRegister: /* CCCCCCCCCCCCCCCCCCCCrrXXXXX */
|
|
|
1048 while (1)
|
|
|
1049 {
|
|
|
1050 CCL_READ_CHAR (reg[rrr]);
|
|
|
1051 if (!field1) break;
|
|
|
1052 code = XINT (ccl_prog[ic]); ic++;
|
|
|
1053 field1 = code >> 8;
|
|
|
1054 field2 = (code & 0xFF) >> 5;
|
|
|
1055 }
|
|
|
1056 break;
|
|
|
1057
|
|
|
1058 case CCL_WriteExprConst: /* 1:00000OPERATION000RRR000XXXXX */
|
|
|
1059 rrr = 7;
|
|
|
1060 i = reg[RRR];
|
|
|
1061 j = XINT (ccl_prog[ic]);
|
|
|
1062 op = field1 >> 6;
|
|
444
|
1063 jump_address = ic + 1;
|
|
428
|
1064 goto ccl_set_expr;
|
|
|
1065
|
|
|
1066 case CCL_WriteRegister: /* CCCCCCCCCCCCCCCCCCCrrrXXXXX */
|
|
|
1067 while (1)
|
|
|
1068 {
|
|
|
1069 i = reg[rrr];
|
|
|
1070 CCL_WRITE_CHAR (i);
|
|
|
1071 if (!field1) break;
|
|
|
1072 code = XINT (ccl_prog[ic]); ic++;
|
|
|
1073 field1 = code >> 8;
|
|
|
1074 field2 = (code & 0xFF) >> 5;
|
|
|
1075 }
|
|
|
1076 break;
|
|
|
1077
|
|
|
1078 case CCL_WriteExprRegister: /* 1:00000OPERATIONRrrRRR000XXXXX */
|
|
|
1079 rrr = 7;
|
|
|
1080 i = reg[RRR];
|
|
|
1081 j = reg[Rrr];
|
|
|
1082 op = field1 >> 6;
|
|
444
|
1083 jump_address = ic;
|
|
428
|
1084 goto ccl_set_expr;
|
|
|
1085
|
|
444
|
1086 case CCL_Call: /* 1:CCCCCCCCCCCCCCCCCCCCFFFXXXXX */
|
|
428
|
1087 {
|
|
|
1088 Lisp_Object slot;
|
|
444
|
1089 int prog_id;
|
|
|
1090
|
|
|
1091 /* If FFF is nonzero, the CCL program ID is in the
|
|
|
1092 following code. */
|
|
|
1093 if (rrr)
|
|
|
1094 {
|
|
|
1095 prog_id = XINT (ccl_prog[ic]);
|
|
|
1096 ic++;
|
|
|
1097 }
|
|
|
1098 else
|
|
|
1099 prog_id = field1;
|
|
428
|
1100
|
|
|
1101 if (stack_idx >= 256
|
|
444
|
1102 || prog_id < 0
|
|
|
1103 || prog_id >= XVECTOR (Vccl_program_table)->size
|
|
|
1104 || (slot = XVECTOR (Vccl_program_table)->contents[prog_id],
|
|
|
1105 !VECTORP (slot))
|
|
|
1106 || !VECTORP (XVECTOR (slot)->contents[1]))
|
|
428
|
1107 {
|
|
|
1108 if (stack_idx > 0)
|
|
|
1109 {
|
|
|
1110 ccl_prog = ccl_prog_stack_struct[0].ccl_prog;
|
|
|
1111 ic = ccl_prog_stack_struct[0].ic;
|
|
|
1112 }
|
|
444
|
1113 CCL_INVALID_CMD;
|
|
428
|
1114 }
|
|
|
1115
|
|
|
1116 ccl_prog_stack_struct[stack_idx].ccl_prog = ccl_prog;
|
|
|
1117 ccl_prog_stack_struct[stack_idx].ic = ic;
|
|
|
1118 stack_idx++;
|
|
444
|
1119 ccl_prog = XVECTOR (XVECTOR (slot)->contents[1])->contents;
|
|
428
|
1120 ic = CCL_HEADER_MAIN;
|
|
|
1121 }
|
|
|
1122 break;
|
|
|
1123
|
|
|
1124 case CCL_WriteConstString: /* CCCCCCCCCCCCCCCCCCCCrrrXXXXX */
|
|
|
1125 if (!rrr)
|
|
|
1126 CCL_WRITE_CHAR (field1);
|
|
|
1127 else
|
|
|
1128 {
|
|
|
1129 CCL_WRITE_STRING (field1);
|
|
|
1130 ic += (field1 + 2) / 3;
|
|
|
1131 }
|
|
|
1132 break;
|
|
|
1133
|
|
|
1134 case CCL_WriteArray: /* CCCCCCCCCCCCCCCCCCCCrrrXXXXX */
|
|
|
1135 i = reg[rrr];
|
|
647
|
1136 /* #### see comment at CCL_SetArray */
|
|
|
1137 if ((unsigned int) i < (unsigned int) field1)
|
|
428
|
1138 {
|
|
|
1139 j = XINT (ccl_prog[ic + i]);
|
|
|
1140 CCL_WRITE_CHAR (j);
|
|
|
1141 }
|
|
|
1142 ic += field1;
|
|
|
1143 break;
|
|
|
1144
|
|
|
1145 case CCL_End: /* 0000000000000000000000XXXXX */
|
|
444
|
1146 if (stack_idx > 0)
|
|
428
|
1147 {
|
|
444
|
1148 stack_idx--;
|
|
428
|
1149 ccl_prog = ccl_prog_stack_struct[stack_idx].ccl_prog;
|
|
|
1150 ic = ccl_prog_stack_struct[stack_idx].ic;
|
|
|
1151 break;
|
|
|
1152 }
|
|
|
1153 if (src)
|
|
|
1154 src = src_end;
|
|
|
1155 /* ccl->ic should points to this command code again to
|
|
|
1156 suppress further processing. */
|
|
|
1157 ic--;
|
|
444
|
1158 CCL_SUCCESS;
|
|
428
|
1159
|
|
|
1160 case CCL_ExprSelfConst: /* 00000OPERATION000000rrrXXXXX */
|
|
|
1161 i = XINT (ccl_prog[ic]);
|
|
|
1162 ic++;
|
|
|
1163 op = field1 >> 6;
|
|
|
1164 goto ccl_expr_self;
|
|
|
1165
|
|
|
1166 case CCL_ExprSelfReg: /* 00000OPERATION000RRRrrrXXXXX */
|
|
|
1167 i = reg[RRR];
|
|
|
1168 op = field1 >> 6;
|
|
|
1169
|
|
|
1170 ccl_expr_self:
|
|
|
1171 switch (op)
|
|
|
1172 {
|
|
|
1173 case CCL_PLUS: reg[rrr] += i; break;
|
|
|
1174 case CCL_MINUS: reg[rrr] -= i; break;
|
|
|
1175 case CCL_MUL: reg[rrr] *= i; break;
|
|
|
1176 case CCL_DIV: reg[rrr] /= i; break;
|
|
|
1177 case CCL_MOD: reg[rrr] %= i; break;
|
|
|
1178 case CCL_AND: reg[rrr] &= i; break;
|
|
|
1179 case CCL_OR: reg[rrr] |= i; break;
|
|
|
1180 case CCL_XOR: reg[rrr] ^= i; break;
|
|
|
1181 case CCL_LSH: reg[rrr] <<= i; break;
|
|
|
1182 case CCL_RSH: reg[rrr] >>= i; break;
|
|
|
1183 case CCL_LSH8: reg[rrr] <<= 8; reg[rrr] |= i; break;
|
|
|
1184 case CCL_RSH8: reg[7] = reg[rrr] & 0xFF; reg[rrr] >>= 8; break;
|
|
|
1185 case CCL_DIVMOD: reg[7] = reg[rrr] % i; reg[rrr] /= i; break;
|
|
|
1186 case CCL_LS: reg[rrr] = reg[rrr] < i; break;
|
|
|
1187 case CCL_GT: reg[rrr] = reg[rrr] > i; break;
|
|
|
1188 case CCL_EQ: reg[rrr] = reg[rrr] == i; break;
|
|
|
1189 case CCL_LE: reg[rrr] = reg[rrr] <= i; break;
|
|
|
1190 case CCL_GE: reg[rrr] = reg[rrr] >= i; break;
|
|
|
1191 case CCL_NE: reg[rrr] = reg[rrr] != i; break;
|
|
444
|
1192 default: CCL_INVALID_CMD;
|
|
428
|
1193 }
|
|
|
1194 break;
|
|
|
1195
|
|
|
1196 case CCL_SetExprConst: /* 00000OPERATION000RRRrrrXXXXX */
|
|
|
1197 i = reg[RRR];
|
|
|
1198 j = XINT (ccl_prog[ic]);
|
|
|
1199 op = field1 >> 6;
|
|
|
1200 jump_address = ++ic;
|
|
|
1201 goto ccl_set_expr;
|
|
|
1202
|
|
|
1203 case CCL_SetExprReg: /* 00000OPERATIONRrrRRRrrrXXXXX */
|
|
|
1204 i = reg[RRR];
|
|
|
1205 j = reg[Rrr];
|
|
|
1206 op = field1 >> 6;
|
|
|
1207 jump_address = ic;
|
|
|
1208 goto ccl_set_expr;
|
|
|
1209
|
|
|
1210 case CCL_ReadJumpCondExprConst: /* A--D--D--R--E--S--S-rrrXXXXX */
|
|
|
1211 CCL_READ_CHAR (reg[rrr]);
|
|
|
1212 case CCL_JumpCondExprConst: /* A--D--D--R--E--S--S-rrrXXXXX */
|
|
|
1213 i = reg[rrr];
|
|
|
1214 op = XINT (ccl_prog[ic]);
|
|
|
1215 jump_address = ic++ + ADDR;
|
|
|
1216 j = XINT (ccl_prog[ic]);
|
|
|
1217 ic++;
|
|
|
1218 rrr = 7;
|
|
|
1219 goto ccl_set_expr;
|
|
|
1220
|
|
|
1221 case CCL_ReadJumpCondExprReg: /* A--D--D--R--E--S--S-rrrXXXXX */
|
|
|
1222 CCL_READ_CHAR (reg[rrr]);
|
|
|
1223 case CCL_JumpCondExprReg:
|
|
|
1224 i = reg[rrr];
|
|
|
1225 op = XINT (ccl_prog[ic]);
|
|
|
1226 jump_address = ic++ + ADDR;
|
|
|
1227 j = reg[XINT (ccl_prog[ic])];
|
|
|
1228 ic++;
|
|
|
1229 rrr = 7;
|
|
|
1230
|
|
|
1231 ccl_set_expr:
|
|
|
1232 switch (op)
|
|
|
1233 {
|
|
|
1234 case CCL_PLUS: reg[rrr] = i + j; break;
|
|
|
1235 case CCL_MINUS: reg[rrr] = i - j; break;
|
|
|
1236 case CCL_MUL: reg[rrr] = i * j; break;
|
|
|
1237 case CCL_DIV: reg[rrr] = i / j; break;
|
|
|
1238 case CCL_MOD: reg[rrr] = i % j; break;
|
|
|
1239 case CCL_AND: reg[rrr] = i & j; break;
|
|
|
1240 case CCL_OR: reg[rrr] = i | j; break;
|
|
444
|
1241 case CCL_XOR: reg[rrr] = i ^ j;; break;
|
|
428
|
1242 case CCL_LSH: reg[rrr] = i << j; break;
|
|
|
1243 case CCL_RSH: reg[rrr] = i >> j; break;
|
|
|
1244 case CCL_LSH8: reg[rrr] = (i << 8) | j; break;
|
|
|
1245 case CCL_RSH8: reg[rrr] = i >> 8; reg[7] = i & 0xFF; break;
|
|
|
1246 case CCL_DIVMOD: reg[rrr] = i / j; reg[7] = i % j; break;
|
|
|
1247 case CCL_LS: reg[rrr] = i < j; break;
|
|
|
1248 case CCL_GT: reg[rrr] = i > j; break;
|
|
|
1249 case CCL_EQ: reg[rrr] = i == j; break;
|
|
|
1250 case CCL_LE: reg[rrr] = i <= j; break;
|
|
|
1251 case CCL_GE: reg[rrr] = i >= j; break;
|
|
|
1252 case CCL_NE: reg[rrr] = i != j; break;
|
|
444
|
1253 case CCL_DECODE_SJIS:
|
|
771
|
1254 /* DECODE_SHIFT_JIS set MSB for internal format
|
|
444
|
1255 as opposed to Emacs. */
|
|
771
|
1256 DECODE_SHIFT_JIS (i, j, reg[rrr], reg[7]);
|
|
444
|
1257 reg[rrr] &= 0x7F;
|
|
|
1258 reg[7] &= 0x7F;
|
|
|
1259 break;
|
|
|
1260 case CCL_ENCODE_SJIS:
|
|
771
|
1261 /* ENCODE_SHIFT_JIS assumes MSB of SHIFT-JIS-char is set
|
|
444
|
1262 as opposed to Emacs. */
|
|
771
|
1263 ENCODE_SHIFT_JIS (i | 0x80, j | 0x80, reg[rrr], reg[7]);
|
|
444
|
1264 break;
|
|
|
1265 default: CCL_INVALID_CMD;
|
|
428
|
1266 }
|
|
|
1267 code &= 0x1F;
|
|
|
1268 if (code == CCL_WriteExprConst || code == CCL_WriteExprRegister)
|
|
|
1269 {
|
|
|
1270 i = reg[rrr];
|
|
|
1271 CCL_WRITE_CHAR (i);
|
|
444
|
1272 ic = jump_address;
|
|
428
|
1273 }
|
|
|
1274 else if (!reg[rrr])
|
|
|
1275 ic = jump_address;
|
|
|
1276 break;
|
|
|
1277
|
|
456
|
1278 case CCL_Extension:
|
|
428
|
1279 switch (EXCMD)
|
|
|
1280 {
|
|
|
1281 case CCL_ReadMultibyteChar2:
|
|
|
1282 if (!src)
|
|
|
1283 CCL_INVALID_CMD;
|
|
|
1284
|
|
462
|
1285 if (src >= src_end)
|
|
|
1286 {
|
|
|
1287 src++;
|
|
456
|
1288 goto ccl_read_multibyte_character_suspend;
|
|
462
|
1289 }
|
|
|
1290
|
|
|
1291 i = *src++;
|
|
|
1292 if (i < 0x80)
|
|
|
1293 {
|
|
|
1294 /* ASCII */
|
|
|
1295 reg[rrr] = i;
|
|
|
1296 reg[RRR] = LEADING_BYTE_ASCII;
|
|
|
1297 }
|
|
|
1298 else if (i <= MAX_LEADING_BYTE_OFFICIAL_1)
|
|
|
1299 {
|
|
|
1300 if (src >= src_end)
|
|
|
1301 goto ccl_read_multibyte_character_suspend;
|
|
|
1302 reg[RRR] = i;
|
|
|
1303 reg[rrr] = (*src++ & 0x7F);
|
|
|
1304 }
|
|
|
1305 else if (i <= MAX_LEADING_BYTE_OFFICIAL_2)
|
|
|
1306 {
|
|
|
1307 if ((src + 1) >= src_end)
|
|
|
1308 goto ccl_read_multibyte_character_suspend;
|
|
|
1309 reg[RRR] = i;
|
|
|
1310 i = (*src++ & 0x7F);
|
|
|
1311 reg[rrr] = ((i << 7) | (*src & 0x7F));
|
|
|
1312 src++;
|
|
|
1313 }
|
|
|
1314 else if (i == PRE_LEADING_BYTE_PRIVATE_1)
|
|
|
1315 {
|
|
|
1316 if ((src + 1) >= src_end)
|
|
|
1317 goto ccl_read_multibyte_character_suspend;
|
|
|
1318 reg[RRR] = *src++;
|
|
|
1319 reg[rrr] = (*src++ & 0x7F);
|
|
|
1320 }
|
|
|
1321 else if (i == PRE_LEADING_BYTE_PRIVATE_2)
|
|
|
1322 {
|
|
|
1323 if ((src + 2) >= src_end)
|
|
|
1324 goto ccl_read_multibyte_character_suspend;
|
|
|
1325 reg[RRR] = *src++;
|
|
|
1326 i = (*src++ & 0x7F);
|
|
|
1327 reg[rrr] = ((i << 7) | (*src & 0x7F));
|
|
|
1328 src++;
|
|
|
1329 }
|
|
|
1330 else
|
|
|
1331 {
|
|
|
1332 /* INVALID CODE. Return a single byte character. */
|
|
|
1333 reg[RRR] = LEADING_BYTE_ASCII;
|
|
|
1334 reg[rrr] = i;
|
|
|
1335 }
|
|
428
|
1336 break;
|
|
|
1337
|
|
|
1338 ccl_read_multibyte_character_suspend:
|
|
|
1339 src--;
|
|
|
1340 if (ccl->last_block)
|
|
|
1341 {
|
|
|
1342 ic = ccl->eof_ic;
|
|
|
1343 goto ccl_repeat;
|
|
|
1344 }
|
|
|
1345 else
|
|
|
1346 CCL_SUSPEND (CCL_STAT_SUSPEND_BY_SRC);
|
|
|
1347
|
|
|
1348 break;
|
|
|
1349
|
|
|
1350 case CCL_WriteMultibyteChar2:
|
|
|
1351 i = reg[RRR]; /* charset */
|
|
|
1352 if (i == LEADING_BYTE_ASCII)
|
|
|
1353 i = reg[rrr] & 0xFF;
|
|
826
|
1354 else if (XCHARSET_DIMENSION (charset_by_leading_byte (i)) == 1)
|
|
444
|
1355 i = (((i - FIELD2_TO_OFFICIAL_LEADING_BYTE) << 7)
|
|
|
1356 | (reg[rrr] & 0x7F));
|
|
|
1357 else if (i < MAX_LEADING_BYTE_OFFICIAL_2)
|
|
428
|
1358 i = ((i - FIELD1_TO_OFFICIAL_LEADING_BYTE) << 14) | reg[rrr];
|
|
|
1359 else
|
|
|
1360 i = ((i - FIELD1_TO_PRIVATE_LEADING_BYTE) << 14) | reg[rrr];
|
|
|
1361
|
|
|
1362 CCL_WRITE_CHAR (i);
|
|
|
1363
|
|
|
1364 break;
|
|
|
1365
|
|
444
|
1366 case CCL_TranslateCharacter:
|
|
428
|
1367 #if 0
|
|
444
|
1368 /* XEmacs does not have translate_char, and its
|
|
|
1369 equivalent nor. We do nothing on this operation. */
|
|
|
1370 CCL_MAKE_CHAR (reg[RRR], reg[rrr], i);
|
|
428
|
1371 op = translate_char (GET_TRANSLATION_TABLE (reg[Rrr]),
|
|
|
1372 i, -1, 0, 0);
|
|
|
1373 SPLIT_CHAR (op, reg[RRR], i, j);
|
|
|
1374 if (j != -1)
|
|
|
1375 i = (i << 7) | j;
|
|
442
|
1376
|
|
428
|
1377 reg[rrr] = i;
|
|
444
|
1378 #endif
|
|
428
|
1379 break;
|
|
|
1380
|
|
|
1381 case CCL_TranslateCharacterConstTbl:
|
|
444
|
1382 #if 0
|
|
771
|
1383 /* XEmacs does not have translate_char or an equivalent. We
|
|
|
1384 do nothing on this operation. */
|
|
428
|
1385 op = XINT (ccl_prog[ic]); /* table */
|
|
|
1386 ic++;
|
|
444
|
1387 CCL_MAKE_CHAR (reg[RRR], reg[rrr], i);
|
|
428
|
1388 op = translate_char (GET_TRANSLATION_TABLE (op), i, -1, 0, 0);
|
|
|
1389 SPLIT_CHAR (op, reg[RRR], i, j);
|
|
|
1390 if (j != -1)
|
|
|
1391 i = (i << 7) | j;
|
|
442
|
1392
|
|
428
|
1393 reg[rrr] = i;
|
|
444
|
1394 #endif
|
|
428
|
1395 break;
|
|
|
1396
|
|
|
1397 case CCL_IterateMultipleMap:
|
|
|
1398 {
|
|
|
1399 Lisp_Object map, content, attrib, value;
|
|
|
1400 int point, size, fin_ic;
|
|
|
1401
|
|
|
1402 j = XINT (ccl_prog[ic++]); /* number of maps. */
|
|
|
1403 fin_ic = ic + j;
|
|
|
1404 op = reg[rrr];
|
|
|
1405 if ((j > reg[RRR]) && (j >= 0))
|
|
|
1406 {
|
|
|
1407 ic += reg[RRR];
|
|
|
1408 i = reg[RRR];
|
|
|
1409 }
|
|
|
1410 else
|
|
|
1411 {
|
|
|
1412 reg[RRR] = -1;
|
|
|
1413 ic = fin_ic;
|
|
|
1414 break;
|
|
|
1415 }
|
|
|
1416
|
|
|
1417 for (;i < j;i++)
|
|
|
1418 {
|
|
|
1419
|
|
|
1420 size = XVECTOR (Vcode_conversion_map_vector)->size;
|
|
|
1421 point = XINT (ccl_prog[ic++]);
|
|
|
1422 if (point >= size) continue;
|
|
|
1423 map =
|
|
|
1424 XVECTOR (Vcode_conversion_map_vector)->contents[point];
|
|
|
1425
|
|
444
|
1426 /* Check map validity. */
|
|
428
|
1427 if (!CONSP (map)) continue;
|
|
444
|
1428 map = XCDR (map);
|
|
428
|
1429 if (!VECTORP (map)) continue;
|
|
|
1430 size = XVECTOR (map)->size;
|
|
|
1431 if (size <= 1) continue;
|
|
|
1432
|
|
|
1433 content = XVECTOR (map)->contents[0];
|
|
|
1434
|
|
|
1435 /* check map type,
|
|
|
1436 [STARTPOINT VAL1 VAL2 ...] or
|
|
444
|
1437 [t ELEMENT STARTPOINT ENDPOINT] */
|
|
|
1438 if (INTP (content))
|
|
428
|
1439 {
|
|
|
1440 point = XUINT (content);
|
|
|
1441 point = op - point + 1;
|
|
|
1442 if (!((point >= 1) && (point < size))) continue;
|
|
|
1443 content = XVECTOR (map)->contents[point];
|
|
|
1444 }
|
|
|
1445 else if (EQ (content, Qt))
|
|
|
1446 {
|
|
|
1447 if (size != 4) continue;
|
|
647
|
1448 /* #### see comment at CCL_SetArray; in this
|
|
|
1449 case the casts are added but the XUINT was
|
|
|
1450 already present */
|
|
|
1451 if (((unsigned int) op >=
|
|
|
1452 XUINT (XVECTOR (map)->contents[2]))
|
|
|
1453 && ((unsigned int) op <
|
|
|
1454 XUINT (XVECTOR (map)->contents[3])))
|
|
428
|
1455 content = XVECTOR (map)->contents[1];
|
|
|
1456 else
|
|
|
1457 continue;
|
|
|
1458 }
|
|
442
|
1459 else
|
|
428
|
1460 continue;
|
|
|
1461
|
|
|
1462 if (NILP (content))
|
|
|
1463 continue;
|
|
444
|
1464 else if (INTP (content))
|
|
428
|
1465 {
|
|
|
1466 reg[RRR] = i;
|
|
|
1467 reg[rrr] = XINT(content);
|
|
|
1468 break;
|
|
|
1469 }
|
|
|
1470 else if (EQ (content, Qt) || EQ (content, Qlambda))
|
|
|
1471 {
|
|
|
1472 reg[RRR] = i;
|
|
|
1473 break;
|
|
|
1474 }
|
|
|
1475 else if (CONSP (content))
|
|
|
1476 {
|
|
444
|
1477 attrib = XCAR (content);
|
|
|
1478 value = XCDR (content);
|
|
|
1479 if (!INTP (attrib) || !INTP (value))
|
|
428
|
1480 continue;
|
|
|
1481 reg[RRR] = i;
|
|
|
1482 reg[rrr] = XUINT (value);
|
|
|
1483 break;
|
|
|
1484 }
|
|
444
|
1485 else if (SYMBOLP (content))
|
|
|
1486 CCL_CALL_FOR_MAP_INSTRUCTION (content, fin_ic);
|
|
|
1487 else
|
|
|
1488 CCL_INVALID_CMD;
|
|
428
|
1489 }
|
|
|
1490 if (i == j)
|
|
|
1491 reg[RRR] = -1;
|
|
|
1492 ic = fin_ic;
|
|
|
1493 }
|
|
|
1494 break;
|
|
442
|
1495
|
|
428
|
1496 case CCL_MapMultiple:
|
|
|
1497 {
|
|
|
1498 Lisp_Object map, content, attrib, value;
|
|
|
1499 int point, size, map_vector_size;
|
|
|
1500 int map_set_rest_length, fin_ic;
|
|
444
|
1501 int current_ic = this_ic;
|
|
|
1502
|
|
|
1503 /* inhibit recursive call on MapMultiple. */
|
|
|
1504 if (stack_idx_of_map_multiple > 0)
|
|
|
1505 {
|
|
|
1506 if (stack_idx_of_map_multiple <= stack_idx)
|
|
|
1507 {
|
|
|
1508 stack_idx_of_map_multiple = 0;
|
|
|
1509 mapping_stack_pointer = mapping_stack;
|
|
|
1510 CCL_INVALID_CMD;
|
|
|
1511 }
|
|
|
1512 }
|
|
|
1513 else
|
|
|
1514 mapping_stack_pointer = mapping_stack;
|
|
|
1515 stack_idx_of_map_multiple = 0;
|
|
428
|
1516
|
|
|
1517 map_set_rest_length =
|
|
|
1518 XINT (ccl_prog[ic++]); /* number of maps and separators. */
|
|
|
1519 fin_ic = ic + map_set_rest_length;
|
|
444
|
1520 op = reg[rrr];
|
|
|
1521
|
|
428
|
1522 if ((map_set_rest_length > reg[RRR]) && (reg[RRR] >= 0))
|
|
|
1523 {
|
|
|
1524 ic += reg[RRR];
|
|
|
1525 i = reg[RRR];
|
|
|
1526 map_set_rest_length -= i;
|
|
|
1527 }
|
|
|
1528 else
|
|
|
1529 {
|
|
|
1530 ic = fin_ic;
|
|
|
1531 reg[RRR] = -1;
|
|
444
|
1532 mapping_stack_pointer = mapping_stack;
|
|
428
|
1533 break;
|
|
|
1534 }
|
|
444
|
1535
|
|
|
1536 if (mapping_stack_pointer <= (mapping_stack + 1))
|
|
428
|
1537 {
|
|
444
|
1538 /* Set up initial state. */
|
|
|
1539 mapping_stack_pointer = mapping_stack;
|
|
|
1540 PUSH_MAPPING_STACK (0, op);
|
|
|
1541 reg[RRR] = -1;
|
|
|
1542 }
|
|
|
1543 else
|
|
|
1544 {
|
|
|
1545 /* Recover after calling other ccl program. */
|
|
|
1546 int orig_op;
|
|
428
|
1547
|
|
444
|
1548 POP_MAPPING_STACK (map_set_rest_length, orig_op);
|
|
|
1549 POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
|
|
|
1550 switch (op)
|
|
428
|
1551 {
|
|
444
|
1552 case -1:
|
|
|
1553 /* Regard it as Qnil. */
|
|
|
1554 op = orig_op;
|
|
|
1555 i++;
|
|
|
1556 ic++;
|
|
|
1557 map_set_rest_length--;
|
|
|
1558 break;
|
|
|
1559 case -2:
|
|
|
1560 /* Regard it as Qt. */
|
|
|
1561 op = reg[rrr];
|
|
|
1562 i++;
|
|
|
1563 ic++;
|
|
|
1564 map_set_rest_length--;
|
|
|
1565 break;
|
|
|
1566 case -3:
|
|
|
1567 /* Regard it as Qlambda. */
|
|
|
1568 op = orig_op;
|
|
428
|
1569 i += map_set_rest_length;
|
|
444
|
1570 ic += map_set_rest_length;
|
|
|
1571 map_set_rest_length = 0;
|
|
|
1572 break;
|
|
|
1573 default:
|
|
|
1574 /* Regard it as normal mapping. */
|
|
428
|
1575 i += map_set_rest_length;
|
|
444
|
1576 ic += map_set_rest_length;
|
|
428
|
1577 POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
|
|
|
1578 break;
|
|
|
1579 }
|
|
|
1580 }
|
|
444
|
1581 map_vector_size = XVECTOR (Vcode_conversion_map_vector)->size;
|
|
|
1582
|
|
|
1583 do {
|
|
|
1584 for (;map_set_rest_length > 0;i++, ic++, map_set_rest_length--)
|
|
|
1585 {
|
|
|
1586 point = XINT(ccl_prog[ic]);
|
|
|
1587 if (point < 0)
|
|
|
1588 {
|
|
|
1589 /* +1 is for including separator. */
|
|
|
1590 point = -point + 1;
|
|
|
1591 if (mapping_stack_pointer
|
|
460
|
1592 >= mapping_stack + countof (mapping_stack))
|
|
444
|
1593 CCL_INVALID_CMD;
|
|
|
1594 PUSH_MAPPING_STACK (map_set_rest_length - point,
|
|
|
1595 reg[rrr]);
|
|
|
1596 map_set_rest_length = point;
|
|
|
1597 reg[rrr] = op;
|
|
|
1598 continue;
|
|
|
1599 }
|
|
|
1600
|
|
|
1601 if (point >= map_vector_size) continue;
|
|
|
1602 map = (XVECTOR (Vcode_conversion_map_vector)
|
|
|
1603 ->contents[point]);
|
|
|
1604
|
|
|
1605 /* Check map validity. */
|
|
|
1606 if (!CONSP (map)) continue;
|
|
|
1607 map = XCDR (map);
|
|
|
1608 if (!VECTORP (map)) continue;
|
|
|
1609 size = XVECTOR (map)->size;
|
|
|
1610 if (size <= 1) continue;
|
|
|
1611
|
|
|
1612 content = XVECTOR (map)->contents[0];
|
|
|
1613
|
|
|
1614 /* check map type,
|
|
|
1615 [STARTPOINT VAL1 VAL2 ...] or
|
|
|
1616 [t ELEMENT STARTPOINT ENDPOINT] */
|
|
|
1617 if (INTP (content))
|
|
|
1618 {
|
|
|
1619 point = XUINT (content);
|
|
|
1620 point = op - point + 1;
|
|
|
1621 if (!((point >= 1) && (point < size))) continue;
|
|
|
1622 content = XVECTOR (map)->contents[point];
|
|
|
1623 }
|
|
|
1624 else if (EQ (content, Qt))
|
|
|
1625 {
|
|
|
1626 if (size != 4) continue;
|
|
647
|
1627 /* #### see comment at CCL_SetArray; in this
|
|
|
1628 case the casts are added but the XUINT was
|
|
|
1629 already present */
|
|
|
1630 if (((unsigned int) op >=
|
|
|
1631 XUINT (XVECTOR (map)->contents[2])) &&
|
|
|
1632 ((unsigned int) op <
|
|
|
1633 XUINT (XVECTOR (map)->contents[3])))
|
|
444
|
1634 content = XVECTOR (map)->contents[1];
|
|
|
1635 else
|
|
|
1636 continue;
|
|
|
1637 }
|
|
|
1638 else
|
|
|
1639 continue;
|
|
|
1640
|
|
|
1641 if (NILP (content))
|
|
|
1642 continue;
|
|
|
1643
|
|
|
1644 reg[RRR] = i;
|
|
|
1645 if (INTP (content))
|
|
|
1646 {
|
|
|
1647 op = XINT (content);
|
|
|
1648 i += map_set_rest_length - 1;
|
|
|
1649 ic += map_set_rest_length - 1;
|
|
|
1650 POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
|
|
|
1651 map_set_rest_length++;
|
|
|
1652 }
|
|
|
1653 else if (CONSP (content))
|
|
|
1654 {
|
|
|
1655 attrib = XCAR (content);
|
|
|
1656 value = XCDR (content);
|
|
|
1657 if (!INTP (attrib) || !INTP (value))
|
|
|
1658 continue;
|
|
|
1659 op = XUINT (value);
|
|
|
1660 i += map_set_rest_length - 1;
|
|
|
1661 ic += map_set_rest_length - 1;
|
|
|
1662 POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
|
|
|
1663 map_set_rest_length++;
|
|
|
1664 }
|
|
|
1665 else if (EQ (content, Qt))
|
|
|
1666 {
|
|
|
1667 op = reg[rrr];
|
|
|
1668 }
|
|
|
1669 else if (EQ (content, Qlambda))
|
|
|
1670 {
|
|
|
1671 i += map_set_rest_length;
|
|
|
1672 ic += map_set_rest_length;
|
|
|
1673 break;
|
|
|
1674 }
|
|
|
1675 else if (SYMBOLP (content))
|
|
|
1676 {
|
|
|
1677 if (mapping_stack_pointer
|
|
460
|
1678 >= mapping_stack + countof (mapping_stack))
|
|
444
|
1679 CCL_INVALID_CMD;
|
|
|
1680 PUSH_MAPPING_STACK (map_set_rest_length, reg[rrr]);
|
|
|
1681 PUSH_MAPPING_STACK (map_set_rest_length, op);
|
|
|
1682 stack_idx_of_map_multiple = stack_idx + 1;
|
|
|
1683 CCL_CALL_FOR_MAP_INSTRUCTION (content, current_ic);
|
|
|
1684 }
|
|
|
1685 else
|
|
|
1686 CCL_INVALID_CMD;
|
|
|
1687 }
|
|
|
1688 if (mapping_stack_pointer <= (mapping_stack + 1))
|
|
|
1689 break;
|
|
|
1690 POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
|
|
|
1691 i += map_set_rest_length;
|
|
|
1692 ic += map_set_rest_length;
|
|
|
1693 POP_MAPPING_STACK (map_set_rest_length, reg[rrr]);
|
|
|
1694 } while (1);
|
|
|
1695
|
|
428
|
1696 ic = fin_ic;
|
|
|
1697 }
|
|
|
1698 reg[rrr] = op;
|
|
|
1699 break;
|
|
|
1700
|
|
|
1701 case CCL_MapSingle:
|
|
|
1702 {
|
|
|
1703 Lisp_Object map, attrib, value, content;
|
|
|
1704 int size, point;
|
|
|
1705 j = XINT (ccl_prog[ic++]); /* map_id */
|
|
|
1706 op = reg[rrr];
|
|
|
1707 if (j >= XVECTOR (Vcode_conversion_map_vector)->size)
|
|
|
1708 {
|
|
|
1709 reg[RRR] = -1;
|
|
|
1710 break;
|
|
|
1711 }
|
|
|
1712 map = XVECTOR (Vcode_conversion_map_vector)->contents[j];
|
|
|
1713 if (!CONSP (map))
|
|
|
1714 {
|
|
|
1715 reg[RRR] = -1;
|
|
|
1716 break;
|
|
|
1717 }
|
|
444
|
1718 map = XCDR (map);
|
|
428
|
1719 if (!VECTORP (map))
|
|
|
1720 {
|
|
|
1721 reg[RRR] = -1;
|
|
|
1722 break;
|
|
|
1723 }
|
|
|
1724 size = XVECTOR (map)->size;
|
|
|
1725 point = XUINT (XVECTOR (map)->contents[0]);
|
|
|
1726 point = op - point + 1;
|
|
|
1727 reg[RRR] = 0;
|
|
|
1728 if ((size <= 1) ||
|
|
|
1729 (!((point >= 1) && (point < size))))
|
|
|
1730 reg[RRR] = -1;
|
|
|
1731 else
|
|
|
1732 {
|
|
444
|
1733 reg[RRR] = 0;
|
|
428
|
1734 content = XVECTOR (map)->contents[point];
|
|
|
1735 if (NILP (content))
|
|
|
1736 reg[RRR] = -1;
|
|
444
|
1737 else if (INTP (content))
|
|
428
|
1738 reg[rrr] = XINT (content);
|
|
444
|
1739 else if (EQ (content, Qt));
|
|
428
|
1740 else if (CONSP (content))
|
|
|
1741 {
|
|
444
|
1742 attrib = XCAR (content);
|
|
|
1743 value = XCDR (content);
|
|
|
1744 if (!INTP (attrib) || !INTP (value))
|
|
428
|
1745 continue;
|
|
|
1746 reg[rrr] = XUINT(value);
|
|
|
1747 break;
|
|
|
1748 }
|
|
444
|
1749 else if (SYMBOLP (content))
|
|
|
1750 CCL_CALL_FOR_MAP_INSTRUCTION (content, ic);
|
|
428
|
1751 else
|
|
|
1752 reg[RRR] = -1;
|
|
|
1753 }
|
|
|
1754 }
|
|
|
1755 break;
|
|
442
|
1756
|
|
428
|
1757 default:
|
|
|
1758 CCL_INVALID_CMD;
|
|
|
1759 }
|
|
|
1760 break;
|
|
|
1761
|
|
|
1762 default:
|
|
444
|
1763 CCL_INVALID_CMD;
|
|
428
|
1764 }
|
|
|
1765 }
|
|
|
1766
|
|
|
1767 ccl_error_handler:
|
|
|
1768 if (destination)
|
|
|
1769 {
|
|
|
1770 /* We can insert an error message only if DESTINATION is
|
|
|
1771 specified and we still have a room to store the message
|
|
|
1772 there. */
|
|
|
1773 char msg[256];
|
|
|
1774
|
|
|
1775 switch (ccl->status)
|
|
|
1776 {
|
|
|
1777 case CCL_STAT_INVALID_CMD:
|
|
|
1778 sprintf(msg, "\nCCL: Invalid command %x (ccl_code = %x) at %d.",
|
|
|
1779 code & 0x1F, code, this_ic);
|
|
|
1780 #ifdef CCL_DEBUG
|
|
|
1781 {
|
|
|
1782 int i = ccl_backtrace_idx - 1;
|
|
|
1783 int j;
|
|
|
1784
|
|
|
1785 Dynarr_add_many (destination, (unsigned char *) msg, strlen (msg));
|
|
|
1786
|
|
|
1787 for (j = 0; j < CCL_DEBUG_BACKTRACE_LEN; j++, i--)
|
|
|
1788 {
|
|
|
1789 if (i < 0) i = CCL_DEBUG_BACKTRACE_LEN - 1;
|
|
|
1790 if (ccl_backtrace_table[i] == 0)
|
|
|
1791 break;
|
|
|
1792 sprintf(msg, " %d", ccl_backtrace_table[i]);
|
|
|
1793 Dynarr_add_many (destination, (unsigned char *) msg, strlen (msg));
|
|
|
1794 }
|
|
|
1795 goto ccl_finish;
|
|
|
1796 }
|
|
|
1797 #endif
|
|
|
1798 break;
|
|
|
1799
|
|
|
1800 case CCL_STAT_QUIT:
|
|
444
|
1801 sprintf(msg, "\nCCL: Exited.");
|
|
428
|
1802 break;
|
|
|
1803
|
|
|
1804 default:
|
|
|
1805 sprintf(msg, "\nCCL: Unknown error type (%d).", ccl->status);
|
|
|
1806 }
|
|
|
1807
|
|
|
1808 Dynarr_add_many (destination, (unsigned char *) msg, strlen (msg));
|
|
|
1809 }
|
|
|
1810
|
|
|
1811 ccl_finish:
|
|
|
1812 ccl->ic = ic;
|
|
|
1813 ccl->stack_idx = stack_idx;
|
|
|
1814 ccl->prog = ccl_prog;
|
|
|
1815 if (consumed) *consumed = src - source;
|
|
444
|
1816 if (!destination)
|
|
428
|
1817 return 0;
|
|
444
|
1818 return Dynarr_length (destination);
|
|
|
1819 }
|
|
|
1820
|
|
|
1821 /* Resolve symbols in the specified CCL code (Lisp vector). This
|
|
|
1822 function converts symbols of code conversion maps and character
|
|
|
1823 translation tables embedded in the CCL code into their ID numbers.
|
|
|
1824
|
|
|
1825 The return value is a vector (CCL itself or a new vector in which
|
|
|
1826 all symbols are resolved), Qt if resolving of some symbol failed,
|
|
|
1827 or nil if CCL contains invalid data. */
|
|
|
1828
|
|
|
1829 static Lisp_Object
|
|
|
1830 resolve_symbol_ccl_program (Lisp_Object ccl)
|
|
|
1831 {
|
|
|
1832 int i, veclen, unresolved = 0;
|
|
|
1833 Lisp_Object result, contents, val;
|
|
|
1834
|
|
|
1835 result = ccl;
|
|
|
1836 veclen = XVECTOR (result)->size;
|
|
|
1837
|
|
|
1838 for (i = 0; i < veclen; i++)
|
|
|
1839 {
|
|
|
1840 contents = XVECTOR (result)->contents[i];
|
|
|
1841 if (INTP (contents))
|
|
|
1842 continue;
|
|
|
1843 else if (CONSP (contents)
|
|
|
1844 && SYMBOLP (XCAR (contents))
|
|
|
1845 && SYMBOLP (XCDR (contents)))
|
|
|
1846 {
|
|
|
1847 /* This is the new style for embedding symbols. The form is
|
|
|
1848 (SYMBOL . PROPERTY). (get SYMBOL PROPERTY) should give
|
|
|
1849 an index number. */
|
|
|
1850
|
|
|
1851 if (EQ (result, ccl))
|
|
|
1852 result = Fcopy_sequence (ccl);
|
|
|
1853
|
|
|
1854 val = Fget (XCAR (contents), XCDR (contents), Qnil);
|
|
|
1855 if (NATNUMP (val))
|
|
|
1856 XVECTOR (result)->contents[i] = val;
|
|
|
1857 else
|
|
|
1858 unresolved = 1;
|
|
|
1859 continue;
|
|
|
1860 }
|
|
|
1861 else if (SYMBOLP (contents))
|
|
|
1862 {
|
|
|
1863 /* This is the old style for embedding symbols. This style
|
|
|
1864 may lead to a bug if, for instance, a translation table
|
|
|
1865 and a code conversion map have the same name. */
|
|
|
1866 if (EQ (result, ccl))
|
|
|
1867 result = Fcopy_sequence (ccl);
|
|
|
1868
|
|
|
1869 val = Fget (contents, Qcode_conversion_map_id, Qnil);
|
|
|
1870 if (NATNUMP (val))
|
|
|
1871 XVECTOR (result)->contents[i] = val;
|
|
|
1872 else
|
|
|
1873 {
|
|
|
1874 val = Fget (contents, Qccl_program_idx, Qnil);
|
|
|
1875 if (NATNUMP (val))
|
|
|
1876 XVECTOR (result)->contents[i] = val;
|
|
|
1877 else
|
|
|
1878 unresolved = 1;
|
|
|
1879 }
|
|
|
1880 continue;
|
|
|
1881 }
|
|
|
1882 return Qnil;
|
|
|
1883 }
|
|
|
1884
|
|
|
1885 return (unresolved ? Qt : result);
|
|
|
1886 }
|
|
|
1887
|
|
|
1888 /* Return the compiled code (vector) of CCL program CCL_PROG.
|
|
|
1889 CCL_PROG is a name (symbol) of the program or already compiled
|
|
|
1890 code. If necessary, resolve symbols in the compiled code to index
|
|
|
1891 numbers. If we failed to get the compiled code or to resolve
|
|
|
1892 symbols, return Qnil. */
|
|
|
1893
|
|
|
1894 static Lisp_Object
|
|
|
1895 ccl_get_compiled_code (Lisp_Object ccl_prog)
|
|
|
1896 {
|
|
|
1897 Lisp_Object val, slot;
|
|
|
1898
|
|
|
1899 if (VECTORP (ccl_prog))
|
|
|
1900 {
|
|
|
1901 val = resolve_symbol_ccl_program (ccl_prog);
|
|
|
1902 return (VECTORP (val) ? val : Qnil);
|
|
|
1903 }
|
|
|
1904 if (!SYMBOLP (ccl_prog))
|
|
|
1905 return Qnil;
|
|
|
1906
|
|
|
1907 val = Fget (ccl_prog, Qccl_program_idx, Qnil);
|
|
|
1908 if (! NATNUMP (val)
|
|
|
1909 || XINT (val) >= XVECTOR_LENGTH (Vccl_program_table))
|
|
|
1910 return Qnil;
|
|
|
1911 slot = XVECTOR_DATA (Vccl_program_table)[XINT (val)];
|
|
|
1912 if (! VECTORP (slot)
|
|
|
1913 || XVECTOR (slot)->size != 3
|
|
|
1914 || ! VECTORP (XVECTOR_DATA (slot)[1]))
|
|
|
1915 return Qnil;
|
|
|
1916 if (NILP (XVECTOR_DATA (slot)[2]))
|
|
|
1917 {
|
|
|
1918 val = resolve_symbol_ccl_program (XVECTOR_DATA (slot)[1]);
|
|
|
1919 if (! VECTORP (val))
|
|
|
1920 return Qnil;
|
|
|
1921 XVECTOR_DATA (slot)[1] = val;
|
|
|
1922 XVECTOR_DATA (slot)[2] = Qt;
|
|
|
1923 }
|
|
|
1924 return XVECTOR_DATA (slot)[1];
|
|
428
|
1925 }
|
|
|
1926
|
|
|
1927 /* Setup fields of the structure pointed by CCL appropriately for the
|
|
444
|
1928 execution of CCL program CCL_PROG. CCL_PROG is the name (symbol)
|
|
|
1929 of the CCL program or the already compiled code (vector).
|
|
|
1930 Return 0 if we succeed this setup, else return -1.
|
|
|
1931
|
|
|
1932 If CCL_PROG is nil, we just reset the structure pointed by CCL. */
|
|
|
1933 int
|
|
|
1934 setup_ccl_program (struct ccl_program *ccl, Lisp_Object ccl_prog)
|
|
428
|
1935 {
|
|
771
|
1936 xzero (*ccl); /* XEmacs change */
|
|
444
|
1937 if (! NILP (ccl_prog))
|
|
428
|
1938 {
|
|
444
|
1939 ccl_prog = ccl_get_compiled_code (ccl_prog);
|
|
|
1940 if (! VECTORP (ccl_prog))
|
|
|
1941 return -1;
|
|
|
1942 ccl->size = XVECTOR_LENGTH (ccl_prog);
|
|
|
1943 ccl->prog = XVECTOR_DATA (ccl_prog);
|
|
|
1944 ccl->eof_ic = XINT (XVECTOR_DATA (ccl_prog)[CCL_HEADER_EOF]);
|
|
|
1945 ccl->buf_magnification = XINT (XVECTOR_DATA (ccl_prog)[CCL_HEADER_BUF_MAG]);
|
|
428
|
1946 }
|
|
|
1947 ccl->ic = CCL_HEADER_MAIN;
|
|
444
|
1948 ccl->eol_type = CCL_CODING_EOL_LF;
|
|
|
1949 return 0;
|
|
428
|
1950 }
|
|
|
1951
|
|
444
|
1952 #ifdef emacs
|
|
428
|
1953
|
|
444
|
1954 DEFUN ("ccl-program-p", Fccl_program_p, 1, 1, 0, /*
|
|
|
1955 Return t if OBJECT is a CCL program name or a compiled CCL program code.
|
|
|
1956 See the documentation of `define-ccl-program' for the detail of CCL program.
|
|
|
1957 */
|
|
|
1958 (object))
|
|
|
1959 {
|
|
|
1960 Lisp_Object val;
|
|
428
|
1961
|
|
444
|
1962 if (VECTORP (object))
|
|
|
1963 {
|
|
|
1964 val = resolve_symbol_ccl_program (object);
|
|
|
1965 return (VECTORP (val) ? Qt : Qnil);
|
|
428
|
1966 }
|
|
444
|
1967 if (!SYMBOLP (object))
|
|
|
1968 return Qnil;
|
|
428
|
1969
|
|
444
|
1970 val = Fget (object, Qccl_program_idx, Qnil);
|
|
|
1971 return ((! NATNUMP (val)
|
|
|
1972 || XINT (val) >= XVECTOR_LENGTH (Vccl_program_table))
|
|
|
1973 ? Qnil : Qt);
|
|
428
|
1974 }
|
|
|
1975
|
|
|
1976 DEFUN ("ccl-execute", Fccl_execute, 2, 2, 0, /*
|
|
|
1977 Execute CCL-PROGRAM with registers initialized by REGISTERS.
|
|
|
1978
|
|
444
|
1979 CCL-PROGRAM is a CCL program name (symbol)
|
|
428
|
1980 or a compiled code generated by `ccl-compile' (for backward compatibility,
|
|
444
|
1981 in this case, the overhead of the execution is bigger than the former case).
|
|
428
|
1982 No I/O commands should appear in CCL-PROGRAM.
|
|
|
1983
|
|
|
1984 REGISTERS is a vector of [R0 R1 ... R7] where RN is an initial value
|
|
|
1985 of Nth register.
|
|
|
1986
|
|
444
|
1987 As side effect, each element of REGISTERS holds the value of
|
|
428
|
1988 corresponding register after the execution.
|
|
444
|
1989
|
|
|
1990 See the documentation of `define-ccl-program' for the detail of CCL program.
|
|
428
|
1991 */
|
|
444
|
1992 (ccl_prog, reg))
|
|
428
|
1993 {
|
|
|
1994 struct ccl_program ccl;
|
|
|
1995 int i;
|
|
|
1996
|
|
444
|
1997 if (setup_ccl_program (&ccl, ccl_prog) < 0)
|
|
563
|
1998 syntax_error ("Invalid CCL program", Qunbound);
|
|
428
|
1999
|
|
|
2000 CHECK_VECTOR (reg);
|
|
|
2001 if (XVECTOR_LENGTH (reg) != 8)
|
|
563
|
2002 syntax_error ("Length of vector REGISTERS is not 8", Qunbound);
|
|
428
|
2003
|
|
|
2004 for (i = 0; i < 8; i++)
|
|
|
2005 ccl.reg[i] = (INTP (XVECTOR_DATA (reg)[i])
|
|
|
2006 ? XINT (XVECTOR_DATA (reg)[i])
|
|
|
2007 : 0);
|
|
|
2008
|
|
444
|
2009 ccl_driver (&ccl, (const unsigned char *)0,
|
|
|
2010 (unsigned_char_dynarr *)0, 0, (int *)0,
|
|
|
2011 CCL_MODE_ENCODING);
|
|
428
|
2012 QUIT;
|
|
|
2013 if (ccl.status != CCL_STAT_SUCCESS)
|
|
563
|
2014 signal_error (Qccl_error, "Error in CCL program at code numbered ...", make_int (ccl.ic));
|
|
428
|
2015
|
|
|
2016 for (i = 0; i < 8; i++)
|
|
793
|
2017 XVECTOR (reg)->contents[i] = make_int (ccl.reg[i]);
|
|
428
|
2018 return Qnil;
|
|
|
2019 }
|
|
|
2020
|
|
444
|
2021 DEFUN ("ccl-execute-on-string", Fccl_execute_on_string,
|
|
|
2022 3, 4, 0, /*
|
|
428
|
2023 Execute CCL-PROGRAM with initial STATUS on STRING.
|
|
|
2024
|
|
|
2025 CCL-PROGRAM is a symbol registered by register-ccl-program,
|
|
|
2026 or a compiled code generated by `ccl-compile' (for backward compatibility,
|
|
|
2027 in this case, the execution is slower).
|
|
|
2028
|
|
|
2029 Read buffer is set to STRING, and write buffer is allocated automatically.
|
|
|
2030
|
|
|
2031 STATUS is a vector of [R0 R1 ... R7 IC], where
|
|
|
2032 R0..R7 are initial values of corresponding registers,
|
|
|
2033 IC is the instruction counter specifying from where to start the program.
|
|
|
2034 If R0..R7 are nil, they are initialized to 0.
|
|
|
2035 If IC is nil, it is initialized to head of the CCL program.
|
|
|
2036
|
|
|
2037 If optional 4th arg CONTINUE is non-nil, keep IC on read operation
|
|
444
|
2038 when read buffer is exhausted, else, IC is always set to the end of
|
|
428
|
2039 CCL-PROGRAM on exit.
|
|
|
2040
|
|
|
2041 It returns the contents of write buffer as a string,
|
|
|
2042 and as side effect, STATUS is updated.
|
|
444
|
2043
|
|
|
2044 See the documentation of `define-ccl-program' for the detail of CCL program.
|
|
428
|
2045 */
|
|
444
|
2046 (ccl_prog, status, string, continue_))
|
|
428
|
2047 {
|
|
|
2048 Lisp_Object val;
|
|
|
2049 struct ccl_program ccl;
|
|
|
2050 int i, produced;
|
|
|
2051 unsigned_char_dynarr *outbuf;
|
|
444
|
2052 struct gcpro gcpro1, gcpro2;
|
|
428
|
2053
|
|
444
|
2054 if (setup_ccl_program (&ccl, ccl_prog) < 0)
|
|
563
|
2055 syntax_error ("Invalid CCL program", Qunbound);
|
|
428
|
2056
|
|
|
2057 CHECK_VECTOR (status);
|
|
444
|
2058 if (XVECTOR (status)->size != 9)
|
|
563
|
2059 syntax_error ("Length of vector STATUS is not 9", Qunbound);
|
|
444
|
2060 CHECK_STRING (string);
|
|
428
|
2061
|
|
444
|
2062 GCPRO2 (status, string);
|
|
|
2063
|
|
428
|
2064 for (i = 0; i < 8; i++)
|
|
|
2065 {
|
|
|
2066 if (NILP (XVECTOR_DATA (status)[i]))
|
|
793
|
2067 XVECTOR_DATA (status)[i] = make_int (0);
|
|
428
|
2068 if (INTP (XVECTOR_DATA (status)[i]))
|
|
|
2069 ccl.reg[i] = XINT (XVECTOR_DATA (status)[i]);
|
|
|
2070 }
|
|
444
|
2071 if (INTP (XVECTOR (status)->contents[i]))
|
|
428
|
2072 {
|
|
|
2073 i = XINT (XVECTOR_DATA (status)[8]);
|
|
|
2074 if (ccl.ic < i && i < ccl.size)
|
|
|
2075 ccl.ic = i;
|
|
|
2076 }
|
|
|
2077 outbuf = Dynarr_new (unsigned_char);
|
|
444
|
2078 ccl.last_block = NILP (continue_);
|
|
|
2079 produced = ccl_driver (&ccl, XSTRING_DATA (string), outbuf,
|
|
|
2080 XSTRING_LENGTH (string),
|
|
|
2081 (int *) 0,
|
|
|
2082 CCL_MODE_DECODING);
|
|
428
|
2083 for (i = 0; i < 8; i++)
|
|
793
|
2084 XVECTOR_DATA (status)[i] = make_int (ccl.reg[i]);
|
|
|
2085 XVECTOR_DATA (status)[8] = make_int (ccl.ic);
|
|
428
|
2086 UNGCPRO;
|
|
|
2087
|
|
|
2088 val = make_string (Dynarr_atp (outbuf, 0), produced);
|
|
|
2089 Dynarr_free (outbuf);
|
|
|
2090 QUIT;
|
|
444
|
2091 if (ccl.status == CCL_STAT_SUSPEND_BY_DST)
|
|
563
|
2092 signal_error (Qccl_error, "Output buffer for the CCL programs overflow", Qunbound);
|
|
428
|
2093 if (ccl.status != CCL_STAT_SUCCESS
|
|
444
|
2094 && ccl.status != CCL_STAT_SUSPEND_BY_SRC)
|
|
563
|
2095 signal_error (Qccl_error, "Error in CCL program at code numbered...", make_int (ccl.ic));
|
|
428
|
2096
|
|
|
2097 return val;
|
|
|
2098 }
|
|
|
2099
|
|
444
|
2100 DEFUN ("register-ccl-program", Fregister_ccl_program,
|
|
|
2101 2, 2, 0, /*
|
|
|
2102 Register CCL program CCL-PROG as NAME in `ccl-program-table'.
|
|
|
2103 CCL-PROG should be a compiled CCL program (vector), or nil.
|
|
|
2104 If it is nil, just reserve NAME as a CCL program name.
|
|
428
|
2105 Return index number of the registered CCL program.
|
|
|
2106 */
|
|
444
|
2107 (name, ccl_prog))
|
|
428
|
2108 {
|
|
|
2109 int len = XVECTOR_LENGTH (Vccl_program_table);
|
|
444
|
2110 int idx;
|
|
|
2111 Lisp_Object resolved;
|
|
428
|
2112
|
|
|
2113 CHECK_SYMBOL (name);
|
|
444
|
2114 resolved = Qnil;
|
|
428
|
2115 if (!NILP (ccl_prog))
|
|
|
2116 {
|
|
|
2117 CHECK_VECTOR (ccl_prog);
|
|
444
|
2118 resolved = resolve_symbol_ccl_program (ccl_prog);
|
|
|
2119 if (! NILP (resolved))
|
|
428
|
2120 {
|
|
444
|
2121 ccl_prog = resolved;
|
|
|
2122 resolved = Qt;
|
|
428
|
2123 }
|
|
|
2124 }
|
|
|
2125
|
|
444
|
2126 for (idx = 0; idx < len; idx++)
|
|
428
|
2127 {
|
|
444
|
2128 Lisp_Object slot;
|
|
|
2129
|
|
|
2130 slot = XVECTOR_DATA (Vccl_program_table)[idx];
|
|
|
2131 if (!VECTORP (slot))
|
|
|
2132 /* This is the first unused slot. Register NAME here. */
|
|
|
2133 break;
|
|
|
2134
|
|
|
2135 if (EQ (name, XVECTOR_DATA (slot)[0]))
|
|
|
2136 {
|
|
|
2137 /* Update this slot. */
|
|
|
2138 XVECTOR_DATA (slot)[1] = ccl_prog;
|
|
|
2139 XVECTOR_DATA (slot)[2] = resolved;
|
|
|
2140 return make_int (idx);
|
|
|
2141 }
|
|
|
2142 }
|
|
|
2143
|
|
|
2144 if (idx == len)
|
|
|
2145 {
|
|
|
2146 /* Extend the table. */
|
|
|
2147 Lisp_Object new_table;
|
|
428
|
2148 int j;
|
|
|
2149
|
|
444
|
2150 new_table = Fmake_vector (make_int (len * 2), Qnil);
|
|
428
|
2151 for (j = 0; j < len; j++)
|
|
|
2152 XVECTOR_DATA (new_table)[j]
|
|
|
2153 = XVECTOR_DATA (Vccl_program_table)[j];
|
|
|
2154 Vccl_program_table = new_table;
|
|
|
2155 }
|
|
|
2156
|
|
444
|
2157 {
|
|
|
2158 Lisp_Object elt;
|
|
|
2159
|
|
|
2160 elt = Fmake_vector (make_int (3), Qnil);
|
|
|
2161 XVECTOR_DATA (elt)[0] = name;
|
|
|
2162 XVECTOR_DATA (elt)[1] = ccl_prog;
|
|
|
2163 XVECTOR_DATA (elt)[2] = resolved;
|
|
|
2164 XVECTOR_DATA (Vccl_program_table)[idx] = elt;
|
|
|
2165 }
|
|
|
2166
|
|
|
2167 Fput (name, Qccl_program_idx, make_int (idx));
|
|
|
2168 return make_int (idx);
|
|
428
|
2169 }
|
|
|
2170
|
|
|
2171 /* Register code conversion map.
|
|
|
2172 A code conversion map consists of numbers, Qt, Qnil, and Qlambda.
|
|
|
2173 The first element is start code point.
|
|
|
2174 The rest elements are mapped numbers.
|
|
|
2175 Symbol t means to map to an original number before mapping.
|
|
|
2176 Symbol nil means that the corresponding element is empty.
|
|
442
|
2177 Symbol lambda means to terminate mapping here.
|
|
428
|
2178 */
|
|
|
2179
|
|
|
2180 DEFUN ("register-code-conversion-map", Fregister_code_conversion_map,
|
|
444
|
2181 2, 2, 0, /*
|
|
|
2182 Register SYMBOL as code conversion map MAP.
|
|
|
2183 Return index number of the registered map.
|
|
|
2184 */
|
|
|
2185 (symbol, map))
|
|
428
|
2186 {
|
|
444
|
2187 int len = XVECTOR_LENGTH (Vcode_conversion_map_vector);
|
|
428
|
2188 int i;
|
|
444
|
2189 Lisp_Object idx;
|
|
428
|
2190
|
|
444
|
2191 CHECK_SYMBOL (symbol);
|
|
|
2192 CHECK_VECTOR (map);
|
|
442
|
2193
|
|
428
|
2194 for (i = 0; i < len; i++)
|
|
|
2195 {
|
|
444
|
2196 Lisp_Object slot = XVECTOR_DATA (Vcode_conversion_map_vector)[i];
|
|
428
|
2197
|
|
|
2198 if (!CONSP (slot))
|
|
|
2199 break;
|
|
|
2200
|
|
444
|
2201 if (EQ (symbol, XCAR (slot)))
|
|
428
|
2202 {
|
|
444
|
2203 idx = make_int (i);
|
|
|
2204 XCDR (slot) = map;
|
|
428
|
2205 Fput (symbol, Qcode_conversion_map, map);
|
|
444
|
2206 Fput (symbol, Qcode_conversion_map_id, idx);
|
|
|
2207 return idx;
|
|
428
|
2208 }
|
|
|
2209 }
|
|
|
2210
|
|
|
2211 if (i == len)
|
|
|
2212 {
|
|
|
2213 Lisp_Object new_vector = Fmake_vector (make_int (len * 2), Qnil);
|
|
|
2214 int j;
|
|
|
2215
|
|
|
2216 for (j = 0; j < len; j++)
|
|
444
|
2217 XVECTOR_DATA (new_vector)[j]
|
|
|
2218 = XVECTOR_DATA (Vcode_conversion_map_vector)[j];
|
|
428
|
2219 Vcode_conversion_map_vector = new_vector;
|
|
|
2220 }
|
|
|
2221
|
|
444
|
2222 idx = make_int (i);
|
|
428
|
2223 Fput (symbol, Qcode_conversion_map, map);
|
|
444
|
2224 Fput (symbol, Qcode_conversion_map_id, idx);
|
|
|
2225 XVECTOR_DATA (Vcode_conversion_map_vector)[i] = Fcons (symbol, map);
|
|
|
2226 return idx;
|
|
428
|
2227 }
|
|
|
2228
|
|
|
2229
|
|
|
2230 void
|
|
|
2231 syms_of_mule_ccl (void)
|
|
|
2232 {
|
|
565
|
2233 DEFERROR_STANDARD (Qccl_error, Qconversion_error);
|
|
|
2234
|
|
444
|
2235 DEFSUBR (Fccl_program_p);
|
|
428
|
2236 DEFSUBR (Fccl_execute);
|
|
|
2237 DEFSUBR (Fccl_execute_on_string);
|
|
|
2238 DEFSUBR (Fregister_ccl_program);
|
|
444
|
2239 DEFSUBR (Fregister_code_conversion_map);
|
|
428
|
2240 }
|
|
|
2241
|
|
|
2242 void
|
|
|
2243 vars_of_mule_ccl (void)
|
|
|
2244 {
|
|
|
2245 staticpro (&Vccl_program_table);
|
|
|
2246 Vccl_program_table = Fmake_vector (make_int (32), Qnil);
|
|
|
2247
|
|
563
|
2248 DEFSYMBOL (Qccl_program);
|
|
|
2249 DEFSYMBOL (Qccl_program_idx);
|
|
|
2250 DEFSYMBOL (Qcode_conversion_map);
|
|
|
2251 DEFSYMBOL (Qcode_conversion_map_id);
|
|
428
|
2252
|
|
|
2253 DEFVAR_LISP ("code-conversion-map-vector", &Vcode_conversion_map_vector /*
|
|
444
|
2254 Vector of code conversion maps.
|
|
|
2255 */ );
|
|
428
|
2256 Vcode_conversion_map_vector = Fmake_vector (make_int (16), Qnil);
|
|
|
2257
|
|
|
2258 DEFVAR_LISP ("font-ccl-encoder-alist", &Vfont_ccl_encoder_alist /*
|
|
|
2259 Alist of fontname patterns vs corresponding CCL program.
|
|
|
2260 Each element looks like (REGEXP . CCL-CODE),
|
|
|
2261 where CCL-CODE is a compiled CCL program.
|
|
|
2262 When a font whose name matches REGEXP is used for displaying a character,
|
|
|
2263 CCL-CODE is executed to calculate the code point in the font
|
|
|
2264 from the charset number and position code(s) of the character which are set
|
|
|
2265 in CCL registers R0, R1, and R2 before the execution.
|
|
|
2266 The code point in the font is set in CCL registers R1 and R2
|
|
|
2267 when the execution terminated.
|
|
|
2268 If the font is single-byte font, the register R2 is not used.
|
|
|
2269 */ );
|
|
|
2270 Vfont_ccl_encoder_alist = Qnil;
|
|
|
2271 }
|
|
|
2272
|
|
|
2273 #endif /* emacs */
|
