* src/lisp.h (FOR_EACH_TAIL): New macro.
[bpt/emacs.git] / src / fns.c
CommitLineData
7b863bd5 1/* Random utility Lisp functions.
f0ddbf7b
GM
2
3Copyright (C) 1985-1987, 1993-1995, 1997-2013 Free Software Foundation, Inc.
7b863bd5
JB
4
5This file is part of GNU Emacs.
6
9ec0b715 7GNU Emacs is free software: you can redistribute it and/or modify
7b863bd5 8it under the terms of the GNU General Public License as published by
9ec0b715
GM
9the Free Software Foundation, either version 3 of the License, or
10(at your option) any later version.
7b863bd5
JB
11
12GNU Emacs is distributed in the hope that it will be useful,
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15GNU General Public License for more details.
16
17You should have received a copy of the GNU General Public License
9ec0b715 18along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
7b863bd5 19
18160b98 20#include <config.h>
7b863bd5 21
dfcf069d 22#include <unistd.h>
58edb572 23#include <time.h>
dfcf069d 24
f03dc6ef
PE
25#include <intprops.h>
26
7b863bd5
JB
27#include "lisp.h"
28#include "commands.h"
38583a69 29#include "character.h"
dec002ca 30#include "coding.h"
7b863bd5 31#include "buffer.h"
f812877e 32#include "keyboard.h"
8feddab4 33#include "keymap.h"
ac811a55 34#include "intervals.h"
2d8e7e1f
RS
35#include "frame.h"
36#include "window.h"
91b11d9d 37#include "blockinput.h"
3df07ecd 38#if defined (HAVE_X_WINDOWS)
dfcf069d
AS
39#include "xterm.h"
40#endif
7b863bd5 41
955cbe7b
PE
42Lisp_Object Qstring_lessp;
43static Lisp_Object Qprovide, Qrequire;
44static Lisp_Object Qyes_or_no_p_history;
eb4ffa4e 45Lisp_Object Qcursor_in_echo_area;
955cbe7b
PE
46static Lisp_Object Qwidget_type;
47static Lisp_Object Qcodeset, Qdays, Qmonths, Qpaper;
7b863bd5 48
7f3f739f
LL
49static Lisp_Object Qmd5, Qsha1, Qsha224, Qsha256, Qsha384, Qsha512;
50
9f4ffeee 51static bool internal_equal (Lisp_Object, Lisp_Object, int, bool, Lisp_Object);
e0f5cf5a 52\f
a7ca3326 53DEFUN ("identity", Fidentity, Sidentity, 1, 1, 0,
ddb67bdc 54 doc: /* Return the argument unchanged. */)
5842a27b 55 (Lisp_Object arg)
7b863bd5
JB
56{
57 return arg;
58}
59
60DEFUN ("random", Frandom, Srandom, 0, 1, 0,
e9d8ddc9 61 doc: /* Return a pseudo-random number.
48de8b12
CY
62All integers representable in Lisp, i.e. between `most-negative-fixnum'
63and `most-positive-fixnum', inclusive, are equally likely.
64
13d62fad
JB
65With positive integer LIMIT, return random number in interval [0,LIMIT).
66With argument t, set the random number seed from the current time and pid.
085d34c4
GM
67With a string argument, set the seed based on the string's contents.
68Other values of LIMIT are ignored.
69
70See Info node `(elisp)Random Numbers' for more details. */)
5842a27b 71 (Lisp_Object limit)
7b863bd5 72{
e2d6972a 73 EMACS_INT val;
7b863bd5 74
13d62fad 75 if (EQ (limit, Qt))
0e23ef9d
PE
76 init_random ();
77 else if (STRINGP (limit))
78 seed_random (SSDATA (limit), SBYTES (limit));
d8ed26bd 79
0e23ef9d 80 val = get_random ();
13d62fad 81 if (NATNUMP (limit) && XFASTINT (limit) != 0)
0e23ef9d
PE
82 val %= XFASTINT (limit);
83 return make_number (val);
7b863bd5
JB
84}
85\f
e6966cd6
PE
86/* Heuristic on how many iterations of a tight loop can be safely done
87 before it's time to do a QUIT. This must be a power of 2. */
88enum { QUIT_COUNT_HEURISTIC = 1 << 16 };
89
4a74c818 90/* Random data-structure functions. */
7b863bd5 91
84575e67
PE
92static void
93CHECK_LIST_END (Lisp_Object x, Lisp_Object y)
94{
95 CHECK_TYPE (NILP (x), Qlistp, y);
96}
97
a7ca3326 98DEFUN ("length", Flength, Slength, 1, 1, 0,
e9d8ddc9 99 doc: /* Return the length of vector, list or string SEQUENCE.
47cebab1 100A byte-code function object is also allowed.
f5965ada 101If the string contains multibyte characters, this is not necessarily
47cebab1 102the number of bytes in the string; it is the number of characters.
adf2c803 103To get the number of bytes, use `string-bytes'. */)
5842a27b 104 (register Lisp_Object sequence)
7b863bd5 105{
504f24f1 106 register Lisp_Object val;
7b863bd5 107
88fe8140 108 if (STRINGP (sequence))
d5db4077 109 XSETFASTINT (val, SCHARS (sequence));
88fe8140 110 else if (VECTORP (sequence))
7edbb0da 111 XSETFASTINT (val, ASIZE (sequence));
88fe8140 112 else if (CHAR_TABLE_P (sequence))
64a5094a 113 XSETFASTINT (val, MAX_CHAR);
88fe8140 114 else if (BOOL_VECTOR_P (sequence))
1c0a7493 115 XSETFASTINT (val, bool_vector_size (sequence));
876c194c
SM
116 else if (COMPILEDP (sequence))
117 XSETFASTINT (val, ASIZE (sequence) & PSEUDOVECTOR_SIZE_MASK);
88fe8140 118 else if (CONSP (sequence))
7b863bd5 119 {
00c604f2
PE
120 EMACS_INT i = 0;
121
122 do
7b863bd5 123 {
7843e09c 124 ++i;
e6966cd6 125 if ((i & (QUIT_COUNT_HEURISTIC - 1)) == 0)
00c604f2
PE
126 {
127 if (MOST_POSITIVE_FIXNUM < i)
128 error ("List too long");
129 QUIT;
130 }
7843e09c 131 sequence = XCDR (sequence);
7b863bd5 132 }
00c604f2 133 while (CONSP (sequence));
7b863bd5 134
89662fc3 135 CHECK_LIST_END (sequence, sequence);
f2be3671
GM
136
137 val = make_number (i);
7b863bd5 138 }
88fe8140 139 else if (NILP (sequence))
a2ad3e19 140 XSETFASTINT (val, 0);
7b863bd5 141 else
692ae65c 142 wrong_type_argument (Qsequencep, sequence);
89662fc3 143
a2ad3e19 144 return val;
7b863bd5
JB
145}
146
5a30fab8 147DEFUN ("safe-length", Fsafe_length, Ssafe_length, 1, 1, 0,
e9d8ddc9 148 doc: /* Return the length of a list, but avoid error or infinite loop.
47cebab1
GM
149This function never gets an error. If LIST is not really a list,
150it returns 0. If LIST is circular, it returns a finite value
adf2c803 151which is at least the number of distinct elements. */)
5842a27b 152 (Lisp_Object list)
5a30fab8 153{
e6966cd6
PE
154 Lisp_Object tail, halftail;
155 double hilen = 0;
156 uintmax_t lolen = 1;
157
158 if (! CONSP (list))
ff2bc410 159 return make_number (0);
5a30fab8
RS
160
161 /* halftail is used to detect circular lists. */
e6966cd6 162 for (tail = halftail = list; ; )
5a30fab8 163 {
e6966cd6
PE
164 tail = XCDR (tail);
165 if (! CONSP (tail))
cb3d1a0a 166 break;
e6966cd6
PE
167 if (EQ (tail, halftail))
168 break;
169 lolen++;
170 if ((lolen & 1) == 0)
171 {
172 halftail = XCDR (halftail);
173 if ((lolen & (QUIT_COUNT_HEURISTIC - 1)) == 0)
174 {
175 QUIT;
176 if (lolen == 0)
177 hilen += UINTMAX_MAX + 1.0;
178 }
179 }
5a30fab8
RS
180 }
181
e6966cd6
PE
182 /* If the length does not fit into a fixnum, return a float.
183 On all known practical machines this returns an upper bound on
184 the true length. */
185 return hilen ? make_float (hilen + lolen) : make_fixnum_or_float (lolen);
5a30fab8
RS
186}
187
91f78c99 188DEFUN ("string-bytes", Fstring_bytes, Sstring_bytes, 1, 1, 0,
e9d8ddc9 189 doc: /* Return the number of bytes in STRING.
eeb7eaa8 190If STRING is multibyte, this may be greater than the length of STRING. */)
5842a27b 191 (Lisp_Object string)
026f59ce 192{
b7826503 193 CHECK_STRING (string);
d5db4077 194 return make_number (SBYTES (string));
026f59ce
RS
195}
196
a7ca3326 197DEFUN ("string-equal", Fstring_equal, Sstring_equal, 2, 2, 0,
e9d8ddc9 198 doc: /* Return t if two strings have identical contents.
47cebab1 199Case is significant, but text properties are ignored.
adf2c803 200Symbols are also allowed; their print names are used instead. */)
5842a27b 201 (register Lisp_Object s1, Lisp_Object s2)
7b863bd5 202{
7650760e 203 if (SYMBOLP (s1))
c06583e1 204 s1 = SYMBOL_NAME (s1);
7650760e 205 if (SYMBOLP (s2))
c06583e1 206 s2 = SYMBOL_NAME (s2);
b7826503
PJ
207 CHECK_STRING (s1);
208 CHECK_STRING (s2);
7b863bd5 209
d5db4077
KR
210 if (SCHARS (s1) != SCHARS (s2)
211 || SBYTES (s1) != SBYTES (s2)
72af86bd 212 || memcmp (SDATA (s1), SDATA (s2), SBYTES (s1)))
7b863bd5
JB
213 return Qnil;
214 return Qt;
215}
216
a7ca3326 217DEFUN ("compare-strings", Fcompare_strings, Scompare_strings, 6, 7, 0,
b756c005 218 doc: /* Compare the contents of two strings, converting to multibyte if needed.
5bec25eb
CY
219The arguments START1, END1, START2, and END2, if non-nil, are
220positions specifying which parts of STR1 or STR2 to compare. In
221string STR1, compare the part between START1 (inclusive) and END1
222\(exclusive). If START1 is nil, it defaults to 0, the beginning of
223the string; if END1 is nil, it defaults to the length of the string.
224Likewise, in string STR2, compare the part between START2 and END2.
225
226The strings are compared by the numeric values of their characters.
227For instance, STR1 is "less than" STR2 if its first differing
228character has a smaller numeric value. If IGNORE-CASE is non-nil,
229characters are converted to lower-case before comparing them. Unibyte
230strings are converted to multibyte for comparison.
47cebab1
GM
231
232The value is t if the strings (or specified portions) match.
233If string STR1 is less, the value is a negative number N;
234 - 1 - N is the number of characters that match at the beginning.
235If string STR1 is greater, the value is a positive number N;
adf2c803 236 N - 1 is the number of characters that match at the beginning. */)
5842a27b 237 (Lisp_Object str1, Lisp_Object start1, Lisp_Object end1, Lisp_Object str2, Lisp_Object start2, Lisp_Object end2, Lisp_Object ignore_case)
0e1e9f8d 238{
d311d28c
PE
239 register ptrdiff_t end1_char, end2_char;
240 register ptrdiff_t i1, i1_byte, i2, i2_byte;
0e1e9f8d 241
b7826503
PJ
242 CHECK_STRING (str1);
243 CHECK_STRING (str2);
0e1e9f8d
RS
244 if (NILP (start1))
245 start1 = make_number (0);
246 if (NILP (start2))
247 start2 = make_number (0);
b7826503
PJ
248 CHECK_NATNUM (start1);
249 CHECK_NATNUM (start2);
0e1e9f8d 250 if (! NILP (end1))
b7826503 251 CHECK_NATNUM (end1);
0e1e9f8d 252 if (! NILP (end2))
b7826503 253 CHECK_NATNUM (end2);
0e1e9f8d 254
d5db4077 255 end1_char = SCHARS (str1);
0e1e9f8d
RS
256 if (! NILP (end1) && end1_char > XINT (end1))
257 end1_char = XINT (end1);
d311d28c
PE
258 if (end1_char < XINT (start1))
259 args_out_of_range (str1, start1);
0e1e9f8d 260
d5db4077 261 end2_char = SCHARS (str2);
0e1e9f8d
RS
262 if (! NILP (end2) && end2_char > XINT (end2))
263 end2_char = XINT (end2);
d311d28c
PE
264 if (end2_char < XINT (start2))
265 args_out_of_range (str2, start2);
266
267 i1 = XINT (start1);
268 i2 = XINT (start2);
269
270 i1_byte = string_char_to_byte (str1, i1);
271 i2_byte = string_char_to_byte (str2, i2);
0e1e9f8d
RS
272
273 while (i1 < end1_char && i2 < end2_char)
274 {
275 /* When we find a mismatch, we must compare the
276 characters, not just the bytes. */
277 int c1, c2;
278
279 if (STRING_MULTIBYTE (str1))
2efdd1b9 280 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c1, str1, i1, i1_byte);
0e1e9f8d
RS
281 else
282 {
d5db4077 283 c1 = SREF (str1, i1++);
4c0354d7 284 MAKE_CHAR_MULTIBYTE (c1);
0e1e9f8d
RS
285 }
286
287 if (STRING_MULTIBYTE (str2))
2efdd1b9 288 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c2, str2, i2, i2_byte);
0e1e9f8d
RS
289 else
290 {
d5db4077 291 c2 = SREF (str2, i2++);
4c0354d7 292 MAKE_CHAR_MULTIBYTE (c2);
0e1e9f8d
RS
293 }
294
295 if (c1 == c2)
296 continue;
297
298 if (! NILP (ignore_case))
299 {
300 Lisp_Object tem;
301
302 tem = Fupcase (make_number (c1));
303 c1 = XINT (tem);
304 tem = Fupcase (make_number (c2));
305 c2 = XINT (tem);
306 }
307
308 if (c1 == c2)
309 continue;
310
311 /* Note that I1 has already been incremented
312 past the character that we are comparing;
313 hence we don't add or subtract 1 here. */
314 if (c1 < c2)
60f8d735 315 return make_number (- i1 + XINT (start1));
0e1e9f8d 316 else
60f8d735 317 return make_number (i1 - XINT (start1));
0e1e9f8d
RS
318 }
319
320 if (i1 < end1_char)
321 return make_number (i1 - XINT (start1) + 1);
322 if (i2 < end2_char)
323 return make_number (- i1 + XINT (start1) - 1);
324
325 return Qt;
326}
327
a7ca3326 328DEFUN ("string-lessp", Fstring_lessp, Sstring_lessp, 2, 2, 0,
e9d8ddc9 329 doc: /* Return t if first arg string is less than second in lexicographic order.
47cebab1 330Case is significant.
adf2c803 331Symbols are also allowed; their print names are used instead. */)
5842a27b 332 (register Lisp_Object s1, Lisp_Object s2)
7b863bd5 333{
d311d28c
PE
334 register ptrdiff_t end;
335 register ptrdiff_t i1, i1_byte, i2, i2_byte;
7b863bd5 336
7650760e 337 if (SYMBOLP (s1))
c06583e1 338 s1 = SYMBOL_NAME (s1);
7650760e 339 if (SYMBOLP (s2))
c06583e1 340 s2 = SYMBOL_NAME (s2);
b7826503
PJ
341 CHECK_STRING (s1);
342 CHECK_STRING (s2);
7b863bd5 343
09ab3c3b
KH
344 i1 = i1_byte = i2 = i2_byte = 0;
345
d5db4077
KR
346 end = SCHARS (s1);
347 if (end > SCHARS (s2))
348 end = SCHARS (s2);
7b863bd5 349
09ab3c3b 350 while (i1 < end)
7b863bd5 351 {
09ab3c3b
KH
352 /* When we find a mismatch, we must compare the
353 characters, not just the bytes. */
354 int c1, c2;
355
2efdd1b9
KH
356 FETCH_STRING_CHAR_ADVANCE (c1, s1, i1, i1_byte);
357 FETCH_STRING_CHAR_ADVANCE (c2, s2, i2, i2_byte);
09ab3c3b
KH
358
359 if (c1 != c2)
360 return c1 < c2 ? Qt : Qnil;
7b863bd5 361 }
d5db4077 362 return i1 < SCHARS (s2) ? Qt : Qnil;
7b863bd5
JB
363}
364\f
f66c7cf8 365static Lisp_Object concat (ptrdiff_t nargs, Lisp_Object *args,
f75d7a91 366 enum Lisp_Type target_type, bool last_special);
7b863bd5
JB
367
368/* ARGSUSED */
369Lisp_Object
971de7fb 370concat2 (Lisp_Object s1, Lisp_Object s2)
7b863bd5 371{
7b863bd5
JB
372 Lisp_Object args[2];
373 args[0] = s1;
374 args[1] = s2;
375 return concat (2, args, Lisp_String, 0);
7b863bd5
JB
376}
377
d4af3687
RS
378/* ARGSUSED */
379Lisp_Object
971de7fb 380concat3 (Lisp_Object s1, Lisp_Object s2, Lisp_Object s3)
d4af3687 381{
d4af3687
RS
382 Lisp_Object args[3];
383 args[0] = s1;
384 args[1] = s2;
385 args[2] = s3;
386 return concat (3, args, Lisp_String, 0);
d4af3687
RS
387}
388
a7ca3326 389DEFUN ("append", Fappend, Sappend, 0, MANY, 0,
e9d8ddc9 390 doc: /* Concatenate all the arguments and make the result a list.
47cebab1
GM
391The result is a list whose elements are the elements of all the arguments.
392Each argument may be a list, vector or string.
4bf8e2a3
MB
393The last argument is not copied, just used as the tail of the new list.
394usage: (append &rest SEQUENCES) */)
f66c7cf8 395 (ptrdiff_t nargs, Lisp_Object *args)
7b863bd5
JB
396{
397 return concat (nargs, args, Lisp_Cons, 1);
398}
399
a7ca3326 400DEFUN ("concat", Fconcat, Sconcat, 0, MANY, 0,
e9d8ddc9 401 doc: /* Concatenate all the arguments and make the result a string.
47cebab1 402The result is a string whose elements are the elements of all the arguments.
4bf8e2a3
MB
403Each argument may be a string or a list or vector of characters (integers).
404usage: (concat &rest SEQUENCES) */)
f66c7cf8 405 (ptrdiff_t nargs, Lisp_Object *args)
7b863bd5
JB
406{
407 return concat (nargs, args, Lisp_String, 0);
408}
409
a7ca3326 410DEFUN ("vconcat", Fvconcat, Svconcat, 0, MANY, 0,
e9d8ddc9 411 doc: /* Concatenate all the arguments and make the result a vector.
47cebab1 412The result is a vector whose elements are the elements of all the arguments.
4bf8e2a3
MB
413Each argument may be a list, vector or string.
414usage: (vconcat &rest SEQUENCES) */)
f66c7cf8 415 (ptrdiff_t nargs, Lisp_Object *args)
7b863bd5 416{
3e7383eb 417 return concat (nargs, args, Lisp_Vectorlike, 0);
7b863bd5
JB
418}
419
3720677d 420
a7ca3326 421DEFUN ("copy-sequence", Fcopy_sequence, Scopy_sequence, 1, 1, 0,
7652ade0 422 doc: /* Return a copy of a list, vector, string or char-table.
47cebab1 423The elements of a list or vector are not copied; they are shared
adf2c803 424with the original. */)
5842a27b 425 (Lisp_Object arg)
7b863bd5 426{
265a9e55 427 if (NILP (arg)) return arg;
e03f7933
RS
428
429 if (CHAR_TABLE_P (arg))
430 {
38583a69 431 return copy_char_table (arg);
e03f7933
RS
432 }
433
434 if (BOOL_VECTOR_P (arg))
435 {
2cf00efc
PE
436 EMACS_INT nbits = bool_vector_size (arg);
437 ptrdiff_t nbytes = bool_vector_bytes (nbits);
438 Lisp_Object val = make_uninit_bool_vector (nbits);
439 memcpy (bool_vector_data (val), bool_vector_data (arg), nbytes);
e03f7933
RS
440 return val;
441 }
442
7650760e 443 if (!CONSP (arg) && !VECTORP (arg) && !STRINGP (arg))
89662fc3
KS
444 wrong_type_argument (Qsequencep, arg);
445
210272ce 446 return concat (1, &arg, XTYPE (arg), 0);
7b863bd5
JB
447}
448
2d6115c8
KH
449/* This structure holds information of an argument of `concat' that is
450 a string and has text properties to be copied. */
87f0532f 451struct textprop_rec
2d6115c8 452{
f66c7cf8 453 ptrdiff_t argnum; /* refer to ARGS (arguments of `concat') */
d311d28c
PE
454 ptrdiff_t from; /* refer to ARGS[argnum] (argument string) */
455 ptrdiff_t to; /* refer to VAL (the target string) */
2d6115c8
KH
456};
457
7b863bd5 458static Lisp_Object
f66c7cf8 459concat (ptrdiff_t nargs, Lisp_Object *args,
f75d7a91 460 enum Lisp_Type target_type, bool last_special)
7b863bd5
JB
461{
462 Lisp_Object val;
f75d7a91
PE
463 Lisp_Object tail;
464 Lisp_Object this;
d311d28c
PE
465 ptrdiff_t toindex;
466 ptrdiff_t toindex_byte = 0;
f75d7a91
PE
467 EMACS_INT result_len;
468 EMACS_INT result_len_byte;
f66c7cf8 469 ptrdiff_t argnum;
7b863bd5
JB
470 Lisp_Object last_tail;
471 Lisp_Object prev;
f75d7a91 472 bool some_multibyte;
2d6115c8 473 /* When we make a multibyte string, we can't copy text properties
66699ad3
PE
474 while concatenating each string because the length of resulting
475 string can't be decided until we finish the whole concatenation.
2d6115c8 476 So, we record strings that have text properties to be copied
66699ad3 477 here, and copy the text properties after the concatenation. */
093386ca 478 struct textprop_rec *textprops = NULL;
78edd3b7 479 /* Number of elements in textprops. */
f66c7cf8 480 ptrdiff_t num_textprops = 0;
2ec7f67a 481 USE_SAFE_ALLOCA;
7b863bd5 482
093386ca
GM
483 tail = Qnil;
484
7b863bd5
JB
485 /* In append, the last arg isn't treated like the others */
486 if (last_special && nargs > 0)
487 {
488 nargs--;
489 last_tail = args[nargs];
490 }
491 else
492 last_tail = Qnil;
493
89662fc3 494 /* Check each argument. */
7b863bd5
JB
495 for (argnum = 0; argnum < nargs; argnum++)
496 {
497 this = args[argnum];
7650760e 498 if (!(CONSP (this) || NILP (this) || VECTORP (this) || STRINGP (this)
876c194c 499 || COMPILEDP (this) || BOOL_VECTOR_P (this)))
89662fc3 500 wrong_type_argument (Qsequencep, this);
7b863bd5
JB
501 }
502
ea35ce3d
RS
503 /* Compute total length in chars of arguments in RESULT_LEN.
504 If desired output is a string, also compute length in bytes
505 in RESULT_LEN_BYTE, and determine in SOME_MULTIBYTE
506 whether the result should be a multibyte string. */
507 result_len_byte = 0;
508 result_len = 0;
509 some_multibyte = 0;
510 for (argnum = 0; argnum < nargs; argnum++)
7b863bd5 511 {
e6d4aefa 512 EMACS_INT len;
7b863bd5 513 this = args[argnum];
ea35ce3d
RS
514 len = XFASTINT (Flength (this));
515 if (target_type == Lisp_String)
5b6dddaa 516 {
09ab3c3b
KH
517 /* We must count the number of bytes needed in the string
518 as well as the number of characters. */
d311d28c 519 ptrdiff_t i;
5b6dddaa 520 Lisp_Object ch;
c1f134b5 521 int c;
d311d28c 522 ptrdiff_t this_len_byte;
5b6dddaa 523
876c194c 524 if (VECTORP (this) || COMPILEDP (this))
ea35ce3d 525 for (i = 0; i < len; i++)
dec58e65 526 {
7edbb0da 527 ch = AREF (this, i);
63db3c1b 528 CHECK_CHARACTER (ch);
c1f134b5
PE
529 c = XFASTINT (ch);
530 this_len_byte = CHAR_BYTES (c);
d311d28c
PE
531 if (STRING_BYTES_BOUND - result_len_byte < this_len_byte)
532 string_overflow ();
ea35ce3d 533 result_len_byte += this_len_byte;
c1f134b5 534 if (! ASCII_CHAR_P (c) && ! CHAR_BYTE8_P (c))
ea35ce3d 535 some_multibyte = 1;
dec58e65 536 }
1c0a7493 537 else if (BOOL_VECTOR_P (this) && bool_vector_size (this) > 0)
6d475204 538 wrong_type_argument (Qintegerp, Faref (this, make_number (0)));
ea35ce3d 539 else if (CONSP (this))
70949dac 540 for (; CONSP (this); this = XCDR (this))
dec58e65 541 {
70949dac 542 ch = XCAR (this);
63db3c1b 543 CHECK_CHARACTER (ch);
c1f134b5
PE
544 c = XFASTINT (ch);
545 this_len_byte = CHAR_BYTES (c);
d311d28c
PE
546 if (STRING_BYTES_BOUND - result_len_byte < this_len_byte)
547 string_overflow ();
ea35ce3d 548 result_len_byte += this_len_byte;
c1f134b5 549 if (! ASCII_CHAR_P (c) && ! CHAR_BYTE8_P (c))
ea35ce3d 550 some_multibyte = 1;
dec58e65 551 }
470730a8 552 else if (STRINGP (this))
ea35ce3d 553 {
06f57aa7 554 if (STRING_MULTIBYTE (this))
09ab3c3b
KH
555 {
556 some_multibyte = 1;
d311d28c 557 this_len_byte = SBYTES (this);
09ab3c3b
KH
558 }
559 else
d311d28c
PE
560 this_len_byte = count_size_as_multibyte (SDATA (this),
561 SCHARS (this));
562 if (STRING_BYTES_BOUND - result_len_byte < this_len_byte)
563 string_overflow ();
564 result_len_byte += this_len_byte;
ea35ce3d 565 }
5b6dddaa 566 }
ea35ce3d
RS
567
568 result_len += len;
d311d28c
PE
569 if (MOST_POSITIVE_FIXNUM < result_len)
570 memory_full (SIZE_MAX);
7b863bd5
JB
571 }
572
09ab3c3b
KH
573 if (! some_multibyte)
574 result_len_byte = result_len;
7b863bd5 575
ea35ce3d 576 /* Create the output object. */
7b863bd5 577 if (target_type == Lisp_Cons)
ea35ce3d 578 val = Fmake_list (make_number (result_len), Qnil);
3e7383eb 579 else if (target_type == Lisp_Vectorlike)
ea35ce3d 580 val = Fmake_vector (make_number (result_len), Qnil);
b10b2daa 581 else if (some_multibyte)
ea35ce3d 582 val = make_uninit_multibyte_string (result_len, result_len_byte);
b10b2daa
RS
583 else
584 val = make_uninit_string (result_len);
7b863bd5 585
09ab3c3b
KH
586 /* In `append', if all but last arg are nil, return last arg. */
587 if (target_type == Lisp_Cons && EQ (val, Qnil))
588 return last_tail;
7b863bd5 589
ea35ce3d 590 /* Copy the contents of the args into the result. */
7b863bd5 591 if (CONSP (val))
2d6115c8 592 tail = val, toindex = -1; /* -1 in toindex is flag we are making a list */
7b863bd5 593 else
ea35ce3d 594 toindex = 0, toindex_byte = 0;
7b863bd5
JB
595
596 prev = Qnil;
2d6115c8 597 if (STRINGP (val))
0065d054 598 SAFE_NALLOCA (textprops, 1, nargs);
7b863bd5
JB
599
600 for (argnum = 0; argnum < nargs; argnum++)
601 {
602 Lisp_Object thislen;
d311d28c
PE
603 ptrdiff_t thisleni = 0;
604 register ptrdiff_t thisindex = 0;
605 register ptrdiff_t thisindex_byte = 0;
7b863bd5
JB
606
607 this = args[argnum];
608 if (!CONSP (this))
609 thislen = Flength (this), thisleni = XINT (thislen);
610
ea35ce3d
RS
611 /* Between strings of the same kind, copy fast. */
612 if (STRINGP (this) && STRINGP (val)
613 && STRING_MULTIBYTE (this) == some_multibyte)
7b863bd5 614 {
d311d28c 615 ptrdiff_t thislen_byte = SBYTES (this);
2d6115c8 616
72af86bd 617 memcpy (SDATA (val) + toindex_byte, SDATA (this), SBYTES (this));
0c94c8d6 618 if (string_intervals (this))
2d6115c8 619 {
87f0532f 620 textprops[num_textprops].argnum = argnum;
38583a69 621 textprops[num_textprops].from = 0;
87f0532f 622 textprops[num_textprops++].to = toindex;
2d6115c8 623 }
ea35ce3d 624 toindex_byte += thislen_byte;
38583a69 625 toindex += thisleni;
ea35ce3d 626 }
09ab3c3b
KH
627 /* Copy a single-byte string to a multibyte string. */
628 else if (STRINGP (this) && STRINGP (val))
629 {
0c94c8d6 630 if (string_intervals (this))
2d6115c8 631 {
87f0532f
KH
632 textprops[num_textprops].argnum = argnum;
633 textprops[num_textprops].from = 0;
634 textprops[num_textprops++].to = toindex;
2d6115c8 635 }
d5db4077
KR
636 toindex_byte += copy_text (SDATA (this),
637 SDATA (val) + toindex_byte,
638 SCHARS (this), 0, 1);
09ab3c3b
KH
639 toindex += thisleni;
640 }
ea35ce3d
RS
641 else
642 /* Copy element by element. */
643 while (1)
644 {
645 register Lisp_Object elt;
646
647 /* Fetch next element of `this' arg into `elt', or break if
648 `this' is exhausted. */
649 if (NILP (this)) break;
650 if (CONSP (this))
70949dac 651 elt = XCAR (this), this = XCDR (this);
6a7df83b
RS
652 else if (thisindex >= thisleni)
653 break;
654 else if (STRINGP (this))
ea35ce3d 655 {
2cef5737 656 int c;
6a7df83b 657 if (STRING_MULTIBYTE (this))
c1f134b5
PE
658 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, this,
659 thisindex,
660 thisindex_byte);
6a7df83b 661 else
ea35ce3d 662 {
c1f134b5
PE
663 c = SREF (this, thisindex); thisindex++;
664 if (some_multibyte && !ASCII_CHAR_P (c))
665 c = BYTE8_TO_CHAR (c);
ea35ce3d 666 }
c1f134b5 667 XSETFASTINT (elt, c);
6a7df83b
RS
668 }
669 else if (BOOL_VECTOR_P (this))
670 {
df5b4930 671 elt = bool_vector_ref (this, thisindex);
6a7df83b 672 thisindex++;
ea35ce3d 673 }
6a7df83b 674 else
68b587a6
SM
675 {
676 elt = AREF (this, thisindex);
677 thisindex++;
678 }
7b863bd5 679
ea35ce3d
RS
680 /* Store this element into the result. */
681 if (toindex < 0)
7b863bd5 682 {
f3fbd155 683 XSETCAR (tail, elt);
ea35ce3d 684 prev = tail;
70949dac 685 tail = XCDR (tail);
7b863bd5 686 }
ea35ce3d 687 else if (VECTORP (val))
68b587a6
SM
688 {
689 ASET (val, toindex, elt);
690 toindex++;
691 }
ea35ce3d
RS
692 else
693 {
13bdea59
PE
694 int c;
695 CHECK_CHARACTER (elt);
696 c = XFASTINT (elt);
38583a69 697 if (some_multibyte)
13bdea59 698 toindex_byte += CHAR_STRING (c, SDATA (val) + toindex_byte);
ea35ce3d 699 else
13bdea59 700 SSET (val, toindex_byte++, c);
38583a69 701 toindex++;
ea35ce3d
RS
702 }
703 }
7b863bd5 704 }
265a9e55 705 if (!NILP (prev))
f3fbd155 706 XSETCDR (prev, last_tail);
7b863bd5 707
87f0532f 708 if (num_textprops > 0)
2d6115c8 709 {
33f37824 710 Lisp_Object props;
d311d28c 711 ptrdiff_t last_to_end = -1;
33f37824 712
87f0532f 713 for (argnum = 0; argnum < num_textprops; argnum++)
2d6115c8 714 {
87f0532f 715 this = args[textprops[argnum].argnum];
33f37824
KH
716 props = text_property_list (this,
717 make_number (0),
d5db4077 718 make_number (SCHARS (this)),
33f37824 719 Qnil);
66699ad3 720 /* If successive arguments have properties, be sure that the
33f37824 721 value of `composition' property be the copy. */
3bd00f3b 722 if (last_to_end == textprops[argnum].to)
33f37824
KH
723 make_composition_value_copy (props);
724 add_text_properties_from_list (val, props,
725 make_number (textprops[argnum].to));
d5db4077 726 last_to_end = textprops[argnum].to + SCHARS (this);
2d6115c8
KH
727 }
728 }
2ec7f67a
KS
729
730 SAFE_FREE ();
b4f334f7 731 return val;
7b863bd5
JB
732}
733\f
09ab3c3b 734static Lisp_Object string_char_byte_cache_string;
d311d28c
PE
735static ptrdiff_t string_char_byte_cache_charpos;
736static ptrdiff_t string_char_byte_cache_bytepos;
09ab3c3b 737
57247650 738void
971de7fb 739clear_string_char_byte_cache (void)
57247650
KH
740{
741 string_char_byte_cache_string = Qnil;
742}
743
13818c30 744/* Return the byte index corresponding to CHAR_INDEX in STRING. */
ea35ce3d 745
d311d28c
PE
746ptrdiff_t
747string_char_to_byte (Lisp_Object string, ptrdiff_t char_index)
ea35ce3d 748{
d311d28c
PE
749 ptrdiff_t i_byte;
750 ptrdiff_t best_below, best_below_byte;
751 ptrdiff_t best_above, best_above_byte;
ea35ce3d 752
09ab3c3b 753 best_below = best_below_byte = 0;
d5db4077
KR
754 best_above = SCHARS (string);
755 best_above_byte = SBYTES (string);
95ac7579
KH
756 if (best_above == best_above_byte)
757 return char_index;
09ab3c3b
KH
758
759 if (EQ (string, string_char_byte_cache_string))
760 {
761 if (string_char_byte_cache_charpos < char_index)
762 {
763 best_below = string_char_byte_cache_charpos;
764 best_below_byte = string_char_byte_cache_bytepos;
765 }
766 else
767 {
768 best_above = string_char_byte_cache_charpos;
769 best_above_byte = string_char_byte_cache_bytepos;
770 }
771 }
772
773 if (char_index - best_below < best_above - char_index)
774 {
8f924df7 775 unsigned char *p = SDATA (string) + best_below_byte;
38583a69 776
09ab3c3b
KH
777 while (best_below < char_index)
778 {
38583a69
KH
779 p += BYTES_BY_CHAR_HEAD (*p);
780 best_below++;
09ab3c3b 781 }
8f924df7 782 i_byte = p - SDATA (string);
09ab3c3b
KH
783 }
784 else
ea35ce3d 785 {
8f924df7 786 unsigned char *p = SDATA (string) + best_above_byte;
38583a69 787
09ab3c3b
KH
788 while (best_above > char_index)
789 {
38583a69
KH
790 p--;
791 while (!CHAR_HEAD_P (*p)) p--;
09ab3c3b
KH
792 best_above--;
793 }
8f924df7 794 i_byte = p - SDATA (string);
ea35ce3d
RS
795 }
796
09ab3c3b 797 string_char_byte_cache_bytepos = i_byte;
38583a69 798 string_char_byte_cache_charpos = char_index;
09ab3c3b
KH
799 string_char_byte_cache_string = string;
800
ea35ce3d
RS
801 return i_byte;
802}
09ab3c3b 803\f
ea35ce3d
RS
804/* Return the character index corresponding to BYTE_INDEX in STRING. */
805
d311d28c
PE
806ptrdiff_t
807string_byte_to_char (Lisp_Object string, ptrdiff_t byte_index)
ea35ce3d 808{
d311d28c
PE
809 ptrdiff_t i, i_byte;
810 ptrdiff_t best_below, best_below_byte;
811 ptrdiff_t best_above, best_above_byte;
ea35ce3d 812
09ab3c3b 813 best_below = best_below_byte = 0;
d5db4077
KR
814 best_above = SCHARS (string);
815 best_above_byte = SBYTES (string);
95ac7579
KH
816 if (best_above == best_above_byte)
817 return byte_index;
09ab3c3b
KH
818
819 if (EQ (string, string_char_byte_cache_string))
820 {
821 if (string_char_byte_cache_bytepos < byte_index)
822 {
823 best_below = string_char_byte_cache_charpos;
824 best_below_byte = string_char_byte_cache_bytepos;
825 }
826 else
827 {
828 best_above = string_char_byte_cache_charpos;
829 best_above_byte = string_char_byte_cache_bytepos;
830 }
831 }
832
833 if (byte_index - best_below_byte < best_above_byte - byte_index)
834 {
8f924df7
KH
835 unsigned char *p = SDATA (string) + best_below_byte;
836 unsigned char *pend = SDATA (string) + byte_index;
38583a69
KH
837
838 while (p < pend)
09ab3c3b 839 {
38583a69
KH
840 p += BYTES_BY_CHAR_HEAD (*p);
841 best_below++;
09ab3c3b
KH
842 }
843 i = best_below;
8f924df7 844 i_byte = p - SDATA (string);
09ab3c3b
KH
845 }
846 else
ea35ce3d 847 {
8f924df7
KH
848 unsigned char *p = SDATA (string) + best_above_byte;
849 unsigned char *pbeg = SDATA (string) + byte_index;
38583a69
KH
850
851 while (p > pbeg)
09ab3c3b 852 {
38583a69
KH
853 p--;
854 while (!CHAR_HEAD_P (*p)) p--;
09ab3c3b
KH
855 best_above--;
856 }
857 i = best_above;
8f924df7 858 i_byte = p - SDATA (string);
ea35ce3d
RS
859 }
860
09ab3c3b
KH
861 string_char_byte_cache_bytepos = i_byte;
862 string_char_byte_cache_charpos = i;
863 string_char_byte_cache_string = string;
864
ea35ce3d
RS
865 return i;
866}
09ab3c3b 867\f
9d6d303b 868/* Convert STRING to a multibyte string. */
ea35ce3d 869
2f7c71a1 870static Lisp_Object
971de7fb 871string_make_multibyte (Lisp_Object string)
ea35ce3d
RS
872{
873 unsigned char *buf;
d311d28c 874 ptrdiff_t nbytes;
e76ca790
MB
875 Lisp_Object ret;
876 USE_SAFE_ALLOCA;
ea35ce3d
RS
877
878 if (STRING_MULTIBYTE (string))
879 return string;
880
d5db4077
KR
881 nbytes = count_size_as_multibyte (SDATA (string),
882 SCHARS (string));
6d475204
RS
883 /* If all the chars are ASCII, they won't need any more bytes
884 once converted. In that case, we can return STRING itself. */
d5db4077 885 if (nbytes == SBYTES (string))
6d475204
RS
886 return string;
887
98c6f1e3 888 buf = SAFE_ALLOCA (nbytes);
d5db4077 889 copy_text (SDATA (string), buf, SBYTES (string),
ea35ce3d
RS
890 0, 1);
891
f1e59824 892 ret = make_multibyte_string ((char *) buf, SCHARS (string), nbytes);
233f3db6 893 SAFE_FREE ();
799c08ac
KS
894
895 return ret;
ea35ce3d
RS
896}
897
2df18cdb 898
8f924df7
KH
899/* Convert STRING (if unibyte) to a multibyte string without changing
900 the number of characters. Characters 0200 trough 0237 are
901 converted to eight-bit characters. */
2df18cdb
KH
902
903Lisp_Object
971de7fb 904string_to_multibyte (Lisp_Object string)
2df18cdb
KH
905{
906 unsigned char *buf;
d311d28c 907 ptrdiff_t nbytes;
799c08ac
KS
908 Lisp_Object ret;
909 USE_SAFE_ALLOCA;
2df18cdb
KH
910
911 if (STRING_MULTIBYTE (string))
912 return string;
913
de883a70 914 nbytes = count_size_as_multibyte (SDATA (string), SBYTES (string));
8f924df7
KH
915 /* If all the chars are ASCII, they won't need any more bytes once
916 converted. */
2df18cdb 917 if (nbytes == SBYTES (string))
42a5b22f 918 return make_multibyte_string (SSDATA (string), nbytes, nbytes);
2df18cdb 919
98c6f1e3 920 buf = SAFE_ALLOCA (nbytes);
72af86bd 921 memcpy (buf, SDATA (string), SBYTES (string));
2df18cdb
KH
922 str_to_multibyte (buf, nbytes, SBYTES (string));
923
f1e59824 924 ret = make_multibyte_string ((char *) buf, SCHARS (string), nbytes);
233f3db6 925 SAFE_FREE ();
799c08ac
KS
926
927 return ret;
2df18cdb
KH
928}
929
930
ea35ce3d
RS
931/* Convert STRING to a single-byte string. */
932
933Lisp_Object
971de7fb 934string_make_unibyte (Lisp_Object string)
ea35ce3d 935{
d311d28c 936 ptrdiff_t nchars;
ea35ce3d 937 unsigned char *buf;
a6cb6b78 938 Lisp_Object ret;
799c08ac 939 USE_SAFE_ALLOCA;
ea35ce3d
RS
940
941 if (! STRING_MULTIBYTE (string))
942 return string;
943
799c08ac 944 nchars = SCHARS (string);
ea35ce3d 945
98c6f1e3 946 buf = SAFE_ALLOCA (nchars);
d5db4077 947 copy_text (SDATA (string), buf, SBYTES (string),
ea35ce3d
RS
948 1, 0);
949
f1e59824 950 ret = make_unibyte_string ((char *) buf, nchars);
233f3db6 951 SAFE_FREE ();
a6cb6b78
JD
952
953 return ret;
ea35ce3d 954}
09ab3c3b 955
a7ca3326 956DEFUN ("string-make-multibyte", Fstring_make_multibyte, Sstring_make_multibyte,
09ab3c3b 957 1, 1, 0,
e9d8ddc9 958 doc: /* Return the multibyte equivalent of STRING.
6b61353c
KH
959If STRING is unibyte and contains non-ASCII characters, the function
960`unibyte-char-to-multibyte' is used to convert each unibyte character
961to a multibyte character. In this case, the returned string is a
962newly created string with no text properties. If STRING is multibyte
963or entirely ASCII, it is returned unchanged. In particular, when
964STRING is unibyte and entirely ASCII, the returned string is unibyte.
965\(When the characters are all ASCII, Emacs primitives will treat the
966string the same way whether it is unibyte or multibyte.) */)
5842a27b 967 (Lisp_Object string)
09ab3c3b 968{
b7826503 969 CHECK_STRING (string);
aabd38ec 970
09ab3c3b
KH
971 return string_make_multibyte (string);
972}
973
a7ca3326 974DEFUN ("string-make-unibyte", Fstring_make_unibyte, Sstring_make_unibyte,
09ab3c3b 975 1, 1, 0,
e9d8ddc9 976 doc: /* Return the unibyte equivalent of STRING.
f8f2fbf9
EZ
977Multibyte character codes are converted to unibyte according to
978`nonascii-translation-table' or, if that is nil, `nonascii-insert-offset'.
979If the lookup in the translation table fails, this function takes just
adf2c803 980the low 8 bits of each character. */)
5842a27b 981 (Lisp_Object string)
09ab3c3b 982{
b7826503 983 CHECK_STRING (string);
aabd38ec 984
09ab3c3b
KH
985 return string_make_unibyte (string);
986}
6d475204 987
a7ca3326 988DEFUN ("string-as-unibyte", Fstring_as_unibyte, Sstring_as_unibyte,
6d475204 989 1, 1, 0,
e9d8ddc9 990 doc: /* Return a unibyte string with the same individual bytes as STRING.
47cebab1
GM
991If STRING is unibyte, the result is STRING itself.
992Otherwise it is a newly created string, with no text properties.
993If STRING is multibyte and contains a character of charset
6b61353c 994`eight-bit', it is converted to the corresponding single byte. */)
5842a27b 995 (Lisp_Object string)
6d475204 996{
b7826503 997 CHECK_STRING (string);
aabd38ec 998
6d475204
RS
999 if (STRING_MULTIBYTE (string))
1000 {
17b9dc45 1001 unsigned char *str = (unsigned char *) xlispstrdup (string);
04d47595 1002 ptrdiff_t bytes = str_as_unibyte (str, SBYTES (string));
2efdd1b9 1003
f1e59824 1004 string = make_unibyte_string ((char *) str, bytes);
2efdd1b9 1005 xfree (str);
6d475204
RS
1006 }
1007 return string;
1008}
1009
a7ca3326 1010DEFUN ("string-as-multibyte", Fstring_as_multibyte, Sstring_as_multibyte,
6d475204 1011 1, 1, 0,
e9d8ddc9 1012 doc: /* Return a multibyte string with the same individual bytes as STRING.
47cebab1
GM
1013If STRING is multibyte, the result is STRING itself.
1014Otherwise it is a newly created string, with no text properties.
2d5cc537 1015
47cebab1 1016If STRING is unibyte and contains an individual 8-bit byte (i.e. not
2d5cc537
DL
1017part of a correct utf-8 sequence), it is converted to the corresponding
1018multibyte character of charset `eight-bit'.
3100d59f
KH
1019See also `string-to-multibyte'.
1020
1021Beware, this often doesn't really do what you think it does.
1022It is similar to (decode-coding-string STRING 'utf-8-emacs).
1023If you're not sure, whether to use `string-as-multibyte' or
1024`string-to-multibyte', use `string-to-multibyte'. */)
5842a27b 1025 (Lisp_Object string)
6d475204 1026{
b7826503 1027 CHECK_STRING (string);
aabd38ec 1028
6d475204
RS
1029 if (! STRING_MULTIBYTE (string))
1030 {
2efdd1b9 1031 Lisp_Object new_string;
d311d28c 1032 ptrdiff_t nchars, nbytes;
2efdd1b9 1033
d5db4077
KR
1034 parse_str_as_multibyte (SDATA (string),
1035 SBYTES (string),
2efdd1b9
KH
1036 &nchars, &nbytes);
1037 new_string = make_uninit_multibyte_string (nchars, nbytes);
72af86bd 1038 memcpy (SDATA (new_string), SDATA (string), SBYTES (string));
d5db4077
KR
1039 if (nbytes != SBYTES (string))
1040 str_as_multibyte (SDATA (new_string), nbytes,
1041 SBYTES (string), NULL);
2efdd1b9 1042 string = new_string;
0c94c8d6 1043 set_string_intervals (string, NULL);
6d475204
RS
1044 }
1045 return string;
1046}
2df18cdb 1047
a7ca3326 1048DEFUN ("string-to-multibyte", Fstring_to_multibyte, Sstring_to_multibyte,
2df18cdb
KH
1049 1, 1, 0,
1050 doc: /* Return a multibyte string with the same individual chars as STRING.
9c7a329a 1051If STRING is multibyte, the result is STRING itself.
2df18cdb 1052Otherwise it is a newly created string, with no text properties.
88dad6e7
KH
1053
1054If STRING is unibyte and contains an 8-bit byte, it is converted to
2d5cc537
DL
1055the corresponding multibyte character of charset `eight-bit'.
1056
1057This differs from `string-as-multibyte' by converting each byte of a correct
1058utf-8 sequence to an eight-bit character, not just bytes that don't form a
1059correct sequence. */)
5842a27b 1060 (Lisp_Object string)
2df18cdb
KH
1061{
1062 CHECK_STRING (string);
1063
1064 return string_to_multibyte (string);
1065}
1066
b4480f16 1067DEFUN ("string-to-unibyte", Fstring_to_unibyte, Sstring_to_unibyte,
6e8b42de 1068 1, 1, 0,
b4480f16
KH
1069 doc: /* Return a unibyte string with the same individual chars as STRING.
1070If STRING is unibyte, the result is STRING itself.
1071Otherwise it is a newly created string, with no text properties,
1072where each `eight-bit' character is converted to the corresponding byte.
1073If STRING contains a non-ASCII, non-`eight-bit' character,
6e8b42de 1074an error is signaled. */)
5842a27b 1075 (Lisp_Object string)
b4480f16
KH
1076{
1077 CHECK_STRING (string);
1078
1079 if (STRING_MULTIBYTE (string))
1080 {
d311d28c 1081 ptrdiff_t chars = SCHARS (string);
23f86fce 1082 unsigned char *str = xmalloc (chars);
67dbec33 1083 ptrdiff_t converted = str_to_unibyte (SDATA (string), str, chars);
6e8b42de 1084
b4480f16 1085 if (converted < chars)
7c85f529 1086 error ("Can't convert the %"pD"dth character to unibyte", converted);
f1e59824 1087 string = make_unibyte_string ((char *) str, chars);
b4480f16
KH
1088 xfree (str);
1089 }
1090 return string;
1091}
1092
ea35ce3d 1093\f
a7ca3326 1094DEFUN ("copy-alist", Fcopy_alist, Scopy_alist, 1, 1, 0,
e9d8ddc9 1095 doc: /* Return a copy of ALIST.
47cebab1
GM
1096This is an alist which represents the same mapping from objects to objects,
1097but does not share the alist structure with ALIST.
1098The objects mapped (cars and cdrs of elements of the alist)
1099are shared, however.
e9d8ddc9 1100Elements of ALIST that are not conses are also shared. */)
5842a27b 1101 (Lisp_Object alist)
7b863bd5
JB
1102{
1103 register Lisp_Object tem;
1104
b7826503 1105 CHECK_LIST (alist);
265a9e55 1106 if (NILP (alist))
7b863bd5
JB
1107 return alist;
1108 alist = concat (1, &alist, Lisp_Cons, 0);
70949dac 1109 for (tem = alist; CONSP (tem); tem = XCDR (tem))
7b863bd5
JB
1110 {
1111 register Lisp_Object car;
70949dac 1112 car = XCAR (tem);
7b863bd5
JB
1113
1114 if (CONSP (car))
f3fbd155 1115 XSETCAR (tem, Fcons (XCAR (car), XCDR (car)));
7b863bd5
JB
1116 }
1117 return alist;
1118}
1119
a7ca3326 1120DEFUN ("substring", Fsubstring, Ssubstring, 2, 3, 0,
753169bd
CY
1121 doc: /* Return a new string whose contents are a substring of STRING.
1122The returned string consists of the characters between index FROM
1123\(inclusive) and index TO (exclusive) of STRING. FROM and TO are
1124zero-indexed: 0 means the first character of STRING. Negative values
1125are counted from the end of STRING. If TO is nil, the substring runs
1126to the end of STRING.
1127
1128The STRING argument may also be a vector. In that case, the return
1129value is a new vector that contains the elements between index FROM
1130\(inclusive) and index TO (exclusive) of that vector argument. */)
5842a27b 1131 (Lisp_Object string, register Lisp_Object from, Lisp_Object to)
7b863bd5 1132{
ac811a55 1133 Lisp_Object res;
d311d28c 1134 ptrdiff_t size;
e6d4aefa 1135 EMACS_INT from_char, to_char;
21fbc8e5 1136
89662fc3 1137 CHECK_VECTOR_OR_STRING (string);
b7826503 1138 CHECK_NUMBER (from);
21fbc8e5
RS
1139
1140 if (STRINGP (string))
d311d28c 1141 size = SCHARS (string);
21fbc8e5 1142 else
7edbb0da 1143 size = ASIZE (string);
21fbc8e5 1144
265a9e55 1145 if (NILP (to))
d311d28c 1146 to_char = size;
7b863bd5 1147 else
ea35ce3d 1148 {
b7826503 1149 CHECK_NUMBER (to);
ea35ce3d
RS
1150
1151 to_char = XINT (to);
1152 if (to_char < 0)
1153 to_char += size;
ea35ce3d
RS
1154 }
1155
1156 from_char = XINT (from);
1157 if (from_char < 0)
1158 from_char += size;
ea35ce3d
RS
1159 if (!(0 <= from_char && from_char <= to_char && to_char <= size))
1160 args_out_of_range_3 (string, make_number (from_char),
1161 make_number (to_char));
8c172e82 1162
21fbc8e5
RS
1163 if (STRINGP (string))
1164 {
d311d28c
PE
1165 ptrdiff_t to_byte =
1166 (NILP (to) ? SBYTES (string) : string_char_to_byte (string, to_char));
1167 ptrdiff_t from_byte = string_char_to_byte (string, from_char);
42a5b22f 1168 res = make_specified_string (SSDATA (string) + from_byte,
b10b2daa
RS
1169 to_char - from_char, to_byte - from_byte,
1170 STRING_MULTIBYTE (string));
21ab867f
AS
1171 copy_text_properties (make_number (from_char), make_number (to_char),
1172 string, make_number (0), res, Qnil);
ea35ce3d
RS
1173 }
1174 else
4939150c 1175 res = Fvector (to_char - from_char, aref_addr (string, from_char));
ea35ce3d
RS
1176
1177 return res;
1178}
1179
aebf4d42
RS
1180
1181DEFUN ("substring-no-properties", Fsubstring_no_properties, Ssubstring_no_properties, 1, 3, 0,
1182 doc: /* Return a substring of STRING, without text properties.
b756c005 1183It starts at index FROM and ends before TO.
aebf4d42
RS
1184TO may be nil or omitted; then the substring runs to the end of STRING.
1185If FROM is nil or omitted, the substring starts at the beginning of STRING.
1186If FROM or TO is negative, it counts from the end.
1187
1188With one argument, just copy STRING without its properties. */)
5842a27b 1189 (Lisp_Object string, register Lisp_Object from, Lisp_Object to)
aebf4d42 1190{
d311d28c 1191 ptrdiff_t size;
e6d4aefa 1192 EMACS_INT from_char, to_char;
d311d28c 1193 ptrdiff_t from_byte, to_byte;
aebf4d42
RS
1194
1195 CHECK_STRING (string);
1196
d5db4077 1197 size = SCHARS (string);
aebf4d42
RS
1198
1199 if (NILP (from))
d311d28c 1200 from_char = 0;
aebf4d42
RS
1201 else
1202 {
1203 CHECK_NUMBER (from);
1204 from_char = XINT (from);
1205 if (from_char < 0)
1206 from_char += size;
aebf4d42
RS
1207 }
1208
1209 if (NILP (to))
d311d28c 1210 to_char = size;
aebf4d42
RS
1211 else
1212 {
1213 CHECK_NUMBER (to);
aebf4d42
RS
1214 to_char = XINT (to);
1215 if (to_char < 0)
1216 to_char += size;
aebf4d42
RS
1217 }
1218
1219 if (!(0 <= from_char && from_char <= to_char && to_char <= size))
1220 args_out_of_range_3 (string, make_number (from_char),
1221 make_number (to_char));
1222
d311d28c
PE
1223 from_byte = NILP (from) ? 0 : string_char_to_byte (string, from_char);
1224 to_byte =
1225 NILP (to) ? SBYTES (string) : string_char_to_byte (string, to_char);
42a5b22f 1226 return make_specified_string (SSDATA (string) + from_byte,
aebf4d42
RS
1227 to_char - from_char, to_byte - from_byte,
1228 STRING_MULTIBYTE (string));
1229}
1230
ea35ce3d
RS
1231/* Extract a substring of STRING, giving start and end positions
1232 both in characters and in bytes. */
1233
1234Lisp_Object
d311d28c
PE
1235substring_both (Lisp_Object string, ptrdiff_t from, ptrdiff_t from_byte,
1236 ptrdiff_t to, ptrdiff_t to_byte)
ea35ce3d
RS
1237{
1238 Lisp_Object res;
d311d28c 1239 ptrdiff_t size;
ea35ce3d 1240
89662fc3 1241 CHECK_VECTOR_OR_STRING (string);
ea35ce3d 1242
0bc0b309 1243 size = STRINGP (string) ? SCHARS (string) : ASIZE (string);
ea35ce3d
RS
1244
1245 if (!(0 <= from && from <= to && to <= size))
1246 args_out_of_range_3 (string, make_number (from), make_number (to));
1247
1248 if (STRINGP (string))
1249 {
42a5b22f 1250 res = make_specified_string (SSDATA (string) + from_byte,
b10b2daa
RS
1251 to - from, to_byte - from_byte,
1252 STRING_MULTIBYTE (string));
21ab867f
AS
1253 copy_text_properties (make_number (from), make_number (to),
1254 string, make_number (0), res, Qnil);
21fbc8e5
RS
1255 }
1256 else
4939150c 1257 res = Fvector (to - from, aref_addr (string, from));
b4f334f7 1258
ac811a55 1259 return res;
7b863bd5
JB
1260}
1261\f
a7ca3326 1262DEFUN ("nthcdr", Fnthcdr, Snthcdr, 2, 2, 0,
b756c005 1263 doc: /* Take cdr N times on LIST, return the result. */)
5842a27b 1264 (Lisp_Object n, Lisp_Object list)
7b863bd5 1265{
6346d301 1266 EMACS_INT i, num;
b7826503 1267 CHECK_NUMBER (n);
7b863bd5 1268 num = XINT (n);
265a9e55 1269 for (i = 0; i < num && !NILP (list); i++)
7b863bd5
JB
1270 {
1271 QUIT;
89662fc3 1272 CHECK_LIST_CONS (list, list);
71a8e74b 1273 list = XCDR (list);
7b863bd5
JB
1274 }
1275 return list;
1276}
1277
a7ca3326 1278DEFUN ("nth", Fnth, Snth, 2, 2, 0,
e9d8ddc9
MB
1279 doc: /* Return the Nth element of LIST.
1280N counts from zero. If LIST is not that long, nil is returned. */)
5842a27b 1281 (Lisp_Object n, Lisp_Object list)
7b863bd5
JB
1282{
1283 return Fcar (Fnthcdr (n, list));
1284}
1285
a7ca3326 1286DEFUN ("elt", Felt, Selt, 2, 2, 0,
e9d8ddc9 1287 doc: /* Return element of SEQUENCE at index N. */)
5842a27b 1288 (register Lisp_Object sequence, Lisp_Object n)
7b863bd5 1289{
b7826503 1290 CHECK_NUMBER (n);
89662fc3
KS
1291 if (CONSP (sequence) || NILP (sequence))
1292 return Fcar (Fnthcdr (n, sequence));
1293
1294 /* Faref signals a "not array" error, so check here. */
876c194c 1295 CHECK_ARRAY (sequence, Qsequencep);
89662fc3 1296 return Faref (sequence, n);
7b863bd5
JB
1297}
1298
a7ca3326 1299DEFUN ("member", Fmember, Smember, 2, 2, 0,
b756c005 1300 doc: /* Return non-nil if ELT is an element of LIST. Comparison done with `equal'.
e9d8ddc9 1301The value is actually the tail of LIST whose car is ELT. */)
5842a27b 1302 (register Lisp_Object elt, Lisp_Object list)
7b863bd5
JB
1303{
1304 register Lisp_Object tail;
9beb8baa 1305 for (tail = list; CONSP (tail); tail = XCDR (tail))
7b863bd5
JB
1306 {
1307 register Lisp_Object tem;
89662fc3 1308 CHECK_LIST_CONS (tail, list);
71a8e74b 1309 tem = XCAR (tail);
265a9e55 1310 if (! NILP (Fequal (elt, tem)))
7b863bd5
JB
1311 return tail;
1312 QUIT;
1313 }
1314 return Qnil;
1315}
1316
a7ca3326 1317DEFUN ("memq", Fmemq, Smemq, 2, 2, 0,
b756c005 1318 doc: /* Return non-nil if ELT is an element of LIST. Comparison done with `eq'.
008ef0ef 1319The value is actually the tail of LIST whose car is ELT. */)
5842a27b 1320 (register Lisp_Object elt, Lisp_Object list)
7b863bd5 1321{
f2be3671 1322 while (1)
7b863bd5 1323 {
f2be3671
GM
1324 if (!CONSP (list) || EQ (XCAR (list), elt))
1325 break;
59f953a2 1326
f2be3671
GM
1327 list = XCDR (list);
1328 if (!CONSP (list) || EQ (XCAR (list), elt))
1329 break;
1330
1331 list = XCDR (list);
1332 if (!CONSP (list) || EQ (XCAR (list), elt))
1333 break;
1334
1335 list = XCDR (list);
7b863bd5
JB
1336 QUIT;
1337 }
f2be3671 1338
89662fc3 1339 CHECK_LIST (list);
f2be3671 1340 return list;
7b863bd5
JB
1341}
1342
008ef0ef 1343DEFUN ("memql", Fmemql, Smemql, 2, 2, 0,
b756c005 1344 doc: /* Return non-nil if ELT is an element of LIST. Comparison done with `eql'.
008ef0ef 1345The value is actually the tail of LIST whose car is ELT. */)
5842a27b 1346 (register Lisp_Object elt, Lisp_Object list)
008ef0ef
KS
1347{
1348 register Lisp_Object tail;
1349
1350 if (!FLOATP (elt))
1351 return Fmemq (elt, list);
1352
9beb8baa 1353 for (tail = list; CONSP (tail); tail = XCDR (tail))
008ef0ef
KS
1354 {
1355 register Lisp_Object tem;
1356 CHECK_LIST_CONS (tail, list);
1357 tem = XCAR (tail);
9f4ffeee 1358 if (FLOATP (tem) && internal_equal (elt, tem, 0, 0, Qnil))
008ef0ef
KS
1359 return tail;
1360 QUIT;
1361 }
1362 return Qnil;
1363}
1364
a7ca3326 1365DEFUN ("assq", Fassq, Sassq, 2, 2, 0,
e9d8ddc9 1366 doc: /* Return non-nil if KEY is `eq' to the car of an element of LIST.
6b61353c 1367The value is actually the first element of LIST whose car is KEY.
e9d8ddc9 1368Elements of LIST that are not conses are ignored. */)
5842a27b 1369 (Lisp_Object key, Lisp_Object list)
7b863bd5 1370{
f2be3671 1371 while (1)
7b863bd5 1372 {
f2be3671
GM
1373 if (!CONSP (list)
1374 || (CONSP (XCAR (list))
1375 && EQ (XCAR (XCAR (list)), key)))
1376 break;
59f953a2 1377
f2be3671
GM
1378 list = XCDR (list);
1379 if (!CONSP (list)
1380 || (CONSP (XCAR (list))
1381 && EQ (XCAR (XCAR (list)), key)))
1382 break;
59f953a2 1383
f2be3671
GM
1384 list = XCDR (list);
1385 if (!CONSP (list)
1386 || (CONSP (XCAR (list))
1387 && EQ (XCAR (XCAR (list)), key)))
1388 break;
59f953a2 1389
f2be3671 1390 list = XCDR (list);
7b863bd5
JB
1391 QUIT;
1392 }
f2be3671 1393
89662fc3 1394 return CAR (list);
7b863bd5
JB
1395}
1396
1397/* Like Fassq but never report an error and do not allow quits.
1398 Use only on lists known never to be circular. */
1399
1400Lisp_Object
971de7fb 1401assq_no_quit (Lisp_Object key, Lisp_Object list)
7b863bd5 1402{
f2be3671
GM
1403 while (CONSP (list)
1404 && (!CONSP (XCAR (list))
1405 || !EQ (XCAR (XCAR (list)), key)))
1406 list = XCDR (list);
1407
89662fc3 1408 return CAR_SAFE (list);
7b863bd5
JB
1409}
1410
a7ca3326 1411DEFUN ("assoc", Fassoc, Sassoc, 2, 2, 0,
e9d8ddc9 1412 doc: /* Return non-nil if KEY is `equal' to the car of an element of LIST.
6b61353c 1413The value is actually the first element of LIST whose car equals KEY. */)
5842a27b 1414 (Lisp_Object key, Lisp_Object list)
7b863bd5 1415{
89662fc3 1416 Lisp_Object car;
f2be3671
GM
1417
1418 while (1)
7b863bd5 1419 {
f2be3671
GM
1420 if (!CONSP (list)
1421 || (CONSP (XCAR (list))
1422 && (car = XCAR (XCAR (list)),
1423 EQ (car, key) || !NILP (Fequal (car, key)))))
1424 break;
59f953a2 1425
f2be3671
GM
1426 list = XCDR (list);
1427 if (!CONSP (list)
1428 || (CONSP (XCAR (list))
1429 && (car = XCAR (XCAR (list)),
1430 EQ (car, key) || !NILP (Fequal (car, key)))))
1431 break;
59f953a2 1432
f2be3671
GM
1433 list = XCDR (list);
1434 if (!CONSP (list)
1435 || (CONSP (XCAR (list))
1436 && (car = XCAR (XCAR (list)),
1437 EQ (car, key) || !NILP (Fequal (car, key)))))
1438 break;
59f953a2 1439
f2be3671 1440 list = XCDR (list);
7b863bd5
JB
1441 QUIT;
1442 }
f2be3671 1443
89662fc3 1444 return CAR (list);
7b863bd5
JB
1445}
1446
86840809
KH
1447/* Like Fassoc but never report an error and do not allow quits.
1448 Use only on lists known never to be circular. */
1449
1450Lisp_Object
971de7fb 1451assoc_no_quit (Lisp_Object key, Lisp_Object list)
86840809
KH
1452{
1453 while (CONSP (list)
1454 && (!CONSP (XCAR (list))
1455 || (!EQ (XCAR (XCAR (list)), key)
1456 && NILP (Fequal (XCAR (XCAR (list)), key)))))
1457 list = XCDR (list);
1458
1459 return CONSP (list) ? XCAR (list) : Qnil;
1460}
1461
a7ca3326 1462DEFUN ("rassq", Frassq, Srassq, 2, 2, 0,
e9d8ddc9 1463 doc: /* Return non-nil if KEY is `eq' to the cdr of an element of LIST.
6b61353c 1464The value is actually the first element of LIST whose cdr is KEY. */)
5842a27b 1465 (register Lisp_Object key, Lisp_Object list)
7b863bd5 1466{
f2be3671 1467 while (1)
7b863bd5 1468 {
f2be3671
GM
1469 if (!CONSP (list)
1470 || (CONSP (XCAR (list))
1471 && EQ (XCDR (XCAR (list)), key)))
1472 break;
59f953a2 1473
f2be3671
GM
1474 list = XCDR (list);
1475 if (!CONSP (list)
1476 || (CONSP (XCAR (list))
1477 && EQ (XCDR (XCAR (list)), key)))
1478 break;
59f953a2 1479
f2be3671
GM
1480 list = XCDR (list);
1481 if (!CONSP (list)
1482 || (CONSP (XCAR (list))
1483 && EQ (XCDR (XCAR (list)), key)))
1484 break;
59f953a2 1485
f2be3671 1486 list = XCDR (list);
7b863bd5
JB
1487 QUIT;
1488 }
f2be3671 1489
89662fc3 1490 return CAR (list);
7b863bd5 1491}
0fb5a19c 1492
a7ca3326 1493DEFUN ("rassoc", Frassoc, Srassoc, 2, 2, 0,
e9d8ddc9 1494 doc: /* Return non-nil if KEY is `equal' to the cdr of an element of LIST.
6b61353c 1495The value is actually the first element of LIST whose cdr equals KEY. */)
5842a27b 1496 (Lisp_Object key, Lisp_Object list)
0fb5a19c 1497{
89662fc3 1498 Lisp_Object cdr;
f2be3671
GM
1499
1500 while (1)
0fb5a19c 1501 {
f2be3671
GM
1502 if (!CONSP (list)
1503 || (CONSP (XCAR (list))
1504 && (cdr = XCDR (XCAR (list)),
1505 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1506 break;
59f953a2 1507
f2be3671
GM
1508 list = XCDR (list);
1509 if (!CONSP (list)
1510 || (CONSP (XCAR (list))
1511 && (cdr = XCDR (XCAR (list)),
1512 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1513 break;
59f953a2 1514
f2be3671
GM
1515 list = XCDR (list);
1516 if (!CONSP (list)
1517 || (CONSP (XCAR (list))
1518 && (cdr = XCDR (XCAR (list)),
1519 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1520 break;
59f953a2 1521
f2be3671 1522 list = XCDR (list);
0fb5a19c
RS
1523 QUIT;
1524 }
f2be3671 1525
89662fc3 1526 return CAR (list);
0fb5a19c 1527}
7b863bd5 1528\f
a7ca3326 1529DEFUN ("delq", Fdelq, Sdelq, 2, 2, 0,
d105a573
CY
1530 doc: /* Delete members of LIST which are `eq' to ELT, and return the result.
1531More precisely, this function skips any members `eq' to ELT at the
1532front of LIST, then removes members `eq' to ELT from the remaining
1533sublist by modifying its list structure, then returns the resulting
1534list.
1535
1536Write `(setq foo (delq element foo))' to be sure of correctly changing
1537the value of a list `foo'. */)
5842a27b 1538 (register Lisp_Object elt, Lisp_Object list)
7b863bd5 1539{
105324ce
SM
1540 Lisp_Object tail, tortoise, prev = Qnil;
1541 bool skip;
7b863bd5 1542
105324ce 1543 FOR_EACH_TAIL (tail, list, tortoise, skip)
7b863bd5 1544 {
105324ce 1545 Lisp_Object tem = XCAR (tail);
7b863bd5
JB
1546 if (EQ (elt, tem))
1547 {
265a9e55 1548 if (NILP (prev))
70949dac 1549 list = XCDR (tail);
7b863bd5 1550 else
70949dac 1551 Fsetcdr (prev, XCDR (tail));
7b863bd5
JB
1552 }
1553 else
1554 prev = tail;
7b863bd5
JB
1555 }
1556 return list;
1557}
1558
a7ca3326 1559DEFUN ("delete", Fdelete, Sdelete, 2, 2, 0,
d105a573
CY
1560 doc: /* Delete members of SEQ which are `equal' to ELT, and return the result.
1561SEQ must be a sequence (i.e. a list, a vector, or a string).
1562The return value is a sequence of the same type.
1563
1564If SEQ is a list, this behaves like `delq', except that it compares
1565with `equal' instead of `eq'. In particular, it may remove elements
1566by altering the list structure.
1567
1568If SEQ is not a list, deletion is never performed destructively;
1569instead this function creates and returns a new vector or string.
1570
1571Write `(setq foo (delete element foo))' to be sure of correctly
1572changing the value of a sequence `foo'. */)
5842a27b 1573 (Lisp_Object elt, Lisp_Object seq)
1e134a5f 1574{
e517f19d
GM
1575 if (VECTORP (seq))
1576 {
d311d28c 1577 ptrdiff_t i, n;
1e134a5f 1578
e517f19d
GM
1579 for (i = n = 0; i < ASIZE (seq); ++i)
1580 if (NILP (Fequal (AREF (seq, i), elt)))
1581 ++n;
1582
1583 if (n != ASIZE (seq))
1584 {
b3660ef6 1585 struct Lisp_Vector *p = allocate_vector (n);
59f953a2 1586
e517f19d
GM
1587 for (i = n = 0; i < ASIZE (seq); ++i)
1588 if (NILP (Fequal (AREF (seq, i), elt)))
91f2d272 1589 p->contents[n++] = AREF (seq, i);
e517f19d 1590
e517f19d
GM
1591 XSETVECTOR (seq, p);
1592 }
1593 }
1594 else if (STRINGP (seq))
1e134a5f 1595 {
d311d28c 1596 ptrdiff_t i, ibyte, nchars, nbytes, cbytes;
e517f19d
GM
1597 int c;
1598
1599 for (i = nchars = nbytes = ibyte = 0;
d5db4077 1600 i < SCHARS (seq);
e517f19d 1601 ++i, ibyte += cbytes)
1e134a5f 1602 {
e517f19d
GM
1603 if (STRING_MULTIBYTE (seq))
1604 {
62a6e103 1605 c = STRING_CHAR (SDATA (seq) + ibyte);
e517f19d
GM
1606 cbytes = CHAR_BYTES (c);
1607 }
1e134a5f 1608 else
e517f19d 1609 {
d5db4077 1610 c = SREF (seq, i);
e517f19d
GM
1611 cbytes = 1;
1612 }
59f953a2 1613
e517f19d
GM
1614 if (!INTEGERP (elt) || c != XINT (elt))
1615 {
1616 ++nchars;
1617 nbytes += cbytes;
1618 }
1619 }
1620
d5db4077 1621 if (nchars != SCHARS (seq))
e517f19d
GM
1622 {
1623 Lisp_Object tem;
1624
1625 tem = make_uninit_multibyte_string (nchars, nbytes);
1626 if (!STRING_MULTIBYTE (seq))
d5db4077 1627 STRING_SET_UNIBYTE (tem);
59f953a2 1628
e517f19d 1629 for (i = nchars = nbytes = ibyte = 0;
d5db4077 1630 i < SCHARS (seq);
e517f19d
GM
1631 ++i, ibyte += cbytes)
1632 {
1633 if (STRING_MULTIBYTE (seq))
1634 {
62a6e103 1635 c = STRING_CHAR (SDATA (seq) + ibyte);
e517f19d
GM
1636 cbytes = CHAR_BYTES (c);
1637 }
1638 else
1639 {
d5db4077 1640 c = SREF (seq, i);
e517f19d
GM
1641 cbytes = 1;
1642 }
59f953a2 1643
e517f19d
GM
1644 if (!INTEGERP (elt) || c != XINT (elt))
1645 {
08663750
KR
1646 unsigned char *from = SDATA (seq) + ibyte;
1647 unsigned char *to = SDATA (tem) + nbytes;
d311d28c 1648 ptrdiff_t n;
59f953a2 1649
e517f19d
GM
1650 ++nchars;
1651 nbytes += cbytes;
59f953a2 1652
e517f19d
GM
1653 for (n = cbytes; n--; )
1654 *to++ = *from++;
1655 }
1656 }
1657
1658 seq = tem;
1e134a5f 1659 }
1e134a5f 1660 }
e517f19d
GM
1661 else
1662 {
1663 Lisp_Object tail, prev;
1664
9beb8baa 1665 for (tail = seq, prev = Qnil; CONSP (tail); tail = XCDR (tail))
e517f19d 1666 {
89662fc3 1667 CHECK_LIST_CONS (tail, seq);
59f953a2 1668
e517f19d
GM
1669 if (!NILP (Fequal (elt, XCAR (tail))))
1670 {
1671 if (NILP (prev))
1672 seq = XCDR (tail);
1673 else
1674 Fsetcdr (prev, XCDR (tail));
1675 }
1676 else
1677 prev = tail;
1678 QUIT;
1679 }
1680 }
59f953a2 1681
e517f19d 1682 return seq;
1e134a5f
RM
1683}
1684
a7ca3326 1685DEFUN ("nreverse", Fnreverse, Snreverse, 1, 1, 0,
e9d8ddc9 1686 doc: /* Reverse LIST by modifying cdr pointers.
f60d391f 1687Return the reversed list. Expects a properly nil-terminated list. */)
5842a27b 1688 (Lisp_Object list)
7b863bd5
JB
1689{
1690 register Lisp_Object prev, tail, next;
1691
265a9e55 1692 if (NILP (list)) return list;
7b863bd5
JB
1693 prev = Qnil;
1694 tail = list;
265a9e55 1695 while (!NILP (tail))
7b863bd5
JB
1696 {
1697 QUIT;
f60d391f 1698 CHECK_LIST_CONS (tail, tail);
71a8e74b 1699 next = XCDR (tail);
7b863bd5
JB
1700 Fsetcdr (tail, prev);
1701 prev = tail;
1702 tail = next;
1703 }
1704 return prev;
1705}
1706
a7ca3326 1707DEFUN ("reverse", Freverse, Sreverse, 1, 1, 0,
6b61353c 1708 doc: /* Reverse LIST, copying. Return the reversed list.
e9d8ddc9 1709See also the function `nreverse', which is used more often. */)
5842a27b 1710 (Lisp_Object list)
7b863bd5 1711{
9d14ae76 1712 Lisp_Object new;
7b863bd5 1713
70949dac 1714 for (new = Qnil; CONSP (list); list = XCDR (list))
5c3ea973
DL
1715 {
1716 QUIT;
1717 new = Fcons (XCAR (list), new);
1718 }
89662fc3 1719 CHECK_LIST_END (list, list);
9d14ae76 1720 return new;
7b863bd5
JB
1721}
1722\f
a7ca3326 1723DEFUN ("sort", Fsort, Ssort, 2, 2, 0,
e9d8ddc9 1724 doc: /* Sort LIST, stably, comparing elements using PREDICATE.
47cebab1 1725Returns the sorted list. LIST is modified by side effects.
5c796e80 1726PREDICATE is called with two elements of LIST, and should return non-nil
71f6424d 1727if the first element should sort before the second. */)
5842a27b 1728 (Lisp_Object list, Lisp_Object predicate)
7b863bd5
JB
1729{
1730 Lisp_Object front, back;
1731 register Lisp_Object len, tem;
1732 struct gcpro gcpro1, gcpro2;
6346d301 1733 EMACS_INT length;
7b863bd5
JB
1734
1735 front = list;
1736 len = Flength (list);
1737 length = XINT (len);
1738 if (length < 2)
1739 return list;
1740
1741 XSETINT (len, (length / 2) - 1);
1742 tem = Fnthcdr (len, list);
1743 back = Fcdr (tem);
1744 Fsetcdr (tem, Qnil);
1745
1746 GCPRO2 (front, back);
88fe8140
EN
1747 front = Fsort (front, predicate);
1748 back = Fsort (back, predicate);
7b863bd5 1749 UNGCPRO;
88fe8140 1750 return merge (front, back, predicate);
7b863bd5
JB
1751}
1752
1753Lisp_Object
971de7fb 1754merge (Lisp_Object org_l1, Lisp_Object org_l2, Lisp_Object pred)
7b863bd5
JB
1755{
1756 Lisp_Object value;
1757 register Lisp_Object tail;
1758 Lisp_Object tem;
1759 register Lisp_Object l1, l2;
1760 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
1761
1762 l1 = org_l1;
1763 l2 = org_l2;
1764 tail = Qnil;
1765 value = Qnil;
1766
1767 /* It is sufficient to protect org_l1 and org_l2.
1768 When l1 and l2 are updated, we copy the new values
1769 back into the org_ vars. */
1770 GCPRO4 (org_l1, org_l2, pred, value);
1771
1772 while (1)
1773 {
265a9e55 1774 if (NILP (l1))
7b863bd5
JB
1775 {
1776 UNGCPRO;
265a9e55 1777 if (NILP (tail))
7b863bd5
JB
1778 return l2;
1779 Fsetcdr (tail, l2);
1780 return value;
1781 }
265a9e55 1782 if (NILP (l2))
7b863bd5
JB
1783 {
1784 UNGCPRO;
265a9e55 1785 if (NILP (tail))
7b863bd5
JB
1786 return l1;
1787 Fsetcdr (tail, l1);
1788 return value;
1789 }
1790 tem = call2 (pred, Fcar (l2), Fcar (l1));
265a9e55 1791 if (NILP (tem))
7b863bd5
JB
1792 {
1793 tem = l1;
1794 l1 = Fcdr (l1);
1795 org_l1 = l1;
1796 }
1797 else
1798 {
1799 tem = l2;
1800 l2 = Fcdr (l2);
1801 org_l2 = l2;
1802 }
265a9e55 1803 if (NILP (tail))
7b863bd5
JB
1804 value = tem;
1805 else
1806 Fsetcdr (tail, tem);
1807 tail = tem;
1808 }
1809}
be9d483d 1810
2d6fabfc 1811\f
12ae7fc6 1812/* This does not check for quits. That is safe since it must terminate. */
7b863bd5 1813
a7ca3326 1814DEFUN ("plist-get", Fplist_get, Splist_get, 2, 2, 0,
27f604dd
KS
1815 doc: /* Extract a value from a property list.
1816PLIST is a property list, which is a list of the form
1817\(PROP1 VALUE1 PROP2 VALUE2...). This function returns the value
12ae7fc6
KS
1818corresponding to the given PROP, or nil if PROP is not one of the
1819properties on the list. This function never signals an error. */)
5842a27b 1820 (Lisp_Object plist, Lisp_Object prop)
27f604dd
KS
1821{
1822 Lisp_Object tail, halftail;
1823
1824 /* halftail is used to detect circular lists. */
1825 tail = halftail = plist;
1826 while (CONSP (tail) && CONSP (XCDR (tail)))
1827 {
1828 if (EQ (prop, XCAR (tail)))
1829 return XCAR (XCDR (tail));
1830
1831 tail = XCDR (XCDR (tail));
1832 halftail = XCDR (halftail);
1833 if (EQ (tail, halftail))
1834 break;
1835 }
1836
1837 return Qnil;
1838}
1839
a7ca3326 1840DEFUN ("get", Fget, Sget, 2, 2, 0,
e9d8ddc9
MB
1841 doc: /* Return the value of SYMBOL's PROPNAME property.
1842This is the last value stored with `(put SYMBOL PROPNAME VALUE)'. */)
5842a27b 1843 (Lisp_Object symbol, Lisp_Object propname)
be9d483d 1844{
b7826503 1845 CHECK_SYMBOL (symbol);
c644523b 1846 return Fplist_get (XSYMBOL (symbol)->plist, propname);
be9d483d
BG
1847}
1848
a7ca3326 1849DEFUN ("plist-put", Fplist_put, Splist_put, 3, 3, 0,
e9d8ddc9 1850 doc: /* Change value in PLIST of PROP to VAL.
47cebab1
GM
1851PLIST is a property list, which is a list of the form
1852\(PROP1 VALUE1 PROP2 VALUE2 ...). PROP is a symbol and VAL is any object.
1853If PROP is already a property on the list, its value is set to VAL,
1854otherwise the new PROP VAL pair is added. The new plist is returned;
1855use `(setq x (plist-put x prop val))' to be sure to use the new value.
e9d8ddc9 1856The PLIST is modified by side effects. */)
5842a27b 1857 (Lisp_Object plist, register Lisp_Object prop, Lisp_Object val)
7b863bd5
JB
1858{
1859 register Lisp_Object tail, prev;
1860 Lisp_Object newcell;
1861 prev = Qnil;
70949dac
KR
1862 for (tail = plist; CONSP (tail) && CONSP (XCDR (tail));
1863 tail = XCDR (XCDR (tail)))
7b863bd5 1864 {
70949dac 1865 if (EQ (prop, XCAR (tail)))
be9d483d 1866 {
70949dac 1867 Fsetcar (XCDR (tail), val);
be9d483d
BG
1868 return plist;
1869 }
91f78c99 1870
7b863bd5 1871 prev = tail;
2d6fabfc 1872 QUIT;
7b863bd5 1873 }
088c8c37 1874 newcell = Fcons (prop, Fcons (val, NILP (prev) ? plist : XCDR (XCDR (prev))));
265a9e55 1875 if (NILP (prev))
be9d483d 1876 return newcell;
7b863bd5 1877 else
70949dac 1878 Fsetcdr (XCDR (prev), newcell);
be9d483d
BG
1879 return plist;
1880}
1881
a7ca3326 1882DEFUN ("put", Fput, Sput, 3, 3, 0,
e9d8ddc9
MB
1883 doc: /* Store SYMBOL's PROPNAME property with value VALUE.
1884It can be retrieved with `(get SYMBOL PROPNAME)'. */)
5842a27b 1885 (Lisp_Object symbol, Lisp_Object propname, Lisp_Object value)
be9d483d 1886{
b7826503 1887 CHECK_SYMBOL (symbol);
c644523b
DA
1888 set_symbol_plist
1889 (symbol, Fplist_put (XSYMBOL (symbol)->plist, propname, value));
c07289e0 1890 return value;
7b863bd5 1891}
aebf4d42
RS
1892\f
1893DEFUN ("lax-plist-get", Flax_plist_get, Slax_plist_get, 2, 2, 0,
1894 doc: /* Extract a value from a property list, comparing with `equal'.
1895PLIST is a property list, which is a list of the form
1896\(PROP1 VALUE1 PROP2 VALUE2...). This function returns the value
1897corresponding to the given PROP, or nil if PROP is not
1898one of the properties on the list. */)
5842a27b 1899 (Lisp_Object plist, Lisp_Object prop)
aebf4d42
RS
1900{
1901 Lisp_Object tail;
91f78c99 1902
aebf4d42
RS
1903 for (tail = plist;
1904 CONSP (tail) && CONSP (XCDR (tail));
1905 tail = XCDR (XCDR (tail)))
1906 {
1907 if (! NILP (Fequal (prop, XCAR (tail))))
1908 return XCAR (XCDR (tail));
1909
1910 QUIT;
1911 }
1912
89662fc3 1913 CHECK_LIST_END (tail, prop);
91f78c99 1914
aebf4d42
RS
1915 return Qnil;
1916}
7b863bd5 1917
aebf4d42
RS
1918DEFUN ("lax-plist-put", Flax_plist_put, Slax_plist_put, 3, 3, 0,
1919 doc: /* Change value in PLIST of PROP to VAL, comparing with `equal'.
1920PLIST is a property list, which is a list of the form
9e76ae05 1921\(PROP1 VALUE1 PROP2 VALUE2 ...). PROP and VAL are any objects.
aebf4d42
RS
1922If PROP is already a property on the list, its value is set to VAL,
1923otherwise the new PROP VAL pair is added. The new plist is returned;
1924use `(setq x (lax-plist-put x prop val))' to be sure to use the new value.
1925The PLIST is modified by side effects. */)
5842a27b 1926 (Lisp_Object plist, register Lisp_Object prop, Lisp_Object val)
aebf4d42
RS
1927{
1928 register Lisp_Object tail, prev;
1929 Lisp_Object newcell;
1930 prev = Qnil;
1931 for (tail = plist; CONSP (tail) && CONSP (XCDR (tail));
1932 tail = XCDR (XCDR (tail)))
1933 {
1934 if (! NILP (Fequal (prop, XCAR (tail))))
1935 {
1936 Fsetcar (XCDR (tail), val);
1937 return plist;
1938 }
91f78c99 1939
aebf4d42
RS
1940 prev = tail;
1941 QUIT;
1942 }
6c6f1994 1943 newcell = list2 (prop, val);
aebf4d42
RS
1944 if (NILP (prev))
1945 return newcell;
1946 else
1947 Fsetcdr (XCDR (prev), newcell);
1948 return plist;
1949}
1950\f
95f8c3b9
JPW
1951DEFUN ("eql", Feql, Seql, 2, 2, 0,
1952 doc: /* Return t if the two args are the same Lisp object.
1953Floating-point numbers of equal value are `eql', but they may not be `eq'. */)
5842a27b 1954 (Lisp_Object obj1, Lisp_Object obj2)
95f8c3b9
JPW
1955{
1956 if (FLOATP (obj1))
9f4ffeee 1957 return internal_equal (obj1, obj2, 0, 0, Qnil) ? Qt : Qnil;
95f8c3b9
JPW
1958 else
1959 return EQ (obj1, obj2) ? Qt : Qnil;
1960}
1961
a7ca3326 1962DEFUN ("equal", Fequal, Sequal, 2, 2, 0,
e9d8ddc9 1963 doc: /* Return t if two Lisp objects have similar structure and contents.
47cebab1
GM
1964They must have the same data type.
1965Conses are compared by comparing the cars and the cdrs.
1966Vectors and strings are compared element by element.
1967Numbers are compared by value, but integers cannot equal floats.
1968 (Use `=' if you want integers and floats to be able to be equal.)
e9d8ddc9 1969Symbols must match exactly. */)
5842a27b 1970 (register Lisp_Object o1, Lisp_Object o2)
7b863bd5 1971{
9f4ffeee 1972 return internal_equal (o1, o2, 0, 0, Qnil) ? Qt : Qnil;
6b61353c
KH
1973}
1974
1975DEFUN ("equal-including-properties", Fequal_including_properties, Sequal_including_properties, 2, 2, 0,
1976 doc: /* Return t if two Lisp objects have similar structure and contents.
1977This is like `equal' except that it compares the text properties
1978of strings. (`equal' ignores text properties.) */)
5842a27b 1979 (register Lisp_Object o1, Lisp_Object o2)
6b61353c 1980{
9f4ffeee 1981 return internal_equal (o1, o2, 0, 1, Qnil) ? Qt : Qnil;
e0f5cf5a
RS
1982}
1983
6b61353c
KH
1984/* DEPTH is current depth of recursion. Signal an error if it
1985 gets too deep.
f75d7a91 1986 PROPS means compare string text properties too. */
6b61353c 1987
f75d7a91 1988static bool
9f4ffeee
SM
1989internal_equal (Lisp_Object o1, Lisp_Object o2, int depth, bool props,
1990 Lisp_Object ht)
e0f5cf5a 1991{
9f4ffeee
SM
1992 if (depth > 10)
1993 {
1994 if (depth > 200)
1995 error ("Stack overflow in equal");
1996 if (NILP (ht))
1997 {
1998 Lisp_Object args[2] = { QCtest, Qeq };
1999 ht = Fmake_hash_table (2, args);
2000 }
2001 switch (XTYPE (o1))
2002 {
2003 case Lisp_Cons: case Lisp_Misc: case Lisp_Vectorlike:
2004 {
2005 struct Lisp_Hash_Table *h = XHASH_TABLE (ht);
2006 EMACS_UINT hash;
2007 ptrdiff_t i = hash_lookup (h, o1, &hash);
2008 if (i >= 0)
2009 { /* `o1' was seen already. */
2010 Lisp_Object o2s = HASH_VALUE (h, i);
2011 if (!NILP (Fmemq (o2, o2s)))
2012 return 1;
2013 else
2014 set_hash_value_slot (h, i, Fcons (o2, o2s));
2015 }
2016 else
2017 hash_put (h, o1, Fcons (o2, Qnil), hash);
2018 }
2019 default: ;
2020 }
2021 }
4ff1aed9 2022
6cb9cafb 2023 tail_recurse:
7b863bd5 2024 QUIT;
4ff1aed9
RS
2025 if (EQ (o1, o2))
2026 return 1;
2027 if (XTYPE (o1) != XTYPE (o2))
2028 return 0;
2029
2030 switch (XTYPE (o1))
2031 {
4ff1aed9 2032 case Lisp_Float:
6b61353c
KH
2033 {
2034 double d1, d2;
2035
2036 d1 = extract_float (o1);
2037 d2 = extract_float (o2);
2038 /* If d is a NaN, then d != d. Two NaNs should be `equal' even
b7432bb2 2039 though they are not =. */
6b61353c
KH
2040 return d1 == d2 || (d1 != d1 && d2 != d2);
2041 }
4ff1aed9
RS
2042
2043 case Lisp_Cons:
9f4ffeee 2044 if (!internal_equal (XCAR (o1), XCAR (o2), depth + 1, props, ht))
4cab5074 2045 return 0;
70949dac
KR
2046 o1 = XCDR (o1);
2047 o2 = XCDR (o2);
9f4ffeee 2048 /* FIXME: This inf-loops in a circular list! */
4cab5074 2049 goto tail_recurse;
4ff1aed9
RS
2050
2051 case Lisp_Misc:
81d1fba6 2052 if (XMISCTYPE (o1) != XMISCTYPE (o2))
6cb9cafb 2053 return 0;
4ff1aed9 2054 if (OVERLAYP (o1))
7b863bd5 2055 {
e23f814f 2056 if (!internal_equal (OVERLAY_START (o1), OVERLAY_START (o2),
9f4ffeee 2057 depth + 1, props, ht)
e23f814f 2058 || !internal_equal (OVERLAY_END (o1), OVERLAY_END (o2),
9f4ffeee 2059 depth + 1, props, ht))
6cb9cafb 2060 return 0;
c644523b
DA
2061 o1 = XOVERLAY (o1)->plist;
2062 o2 = XOVERLAY (o2)->plist;
4ff1aed9 2063 goto tail_recurse;
7b863bd5 2064 }
4ff1aed9
RS
2065 if (MARKERP (o1))
2066 {
2067 return (XMARKER (o1)->buffer == XMARKER (o2)->buffer
2068 && (XMARKER (o1)->buffer == 0
6ced1284 2069 || XMARKER (o1)->bytepos == XMARKER (o2)->bytepos));
4ff1aed9
RS
2070 }
2071 break;
2072
2073 case Lisp_Vectorlike:
4cab5074 2074 {
6b61353c 2075 register int i;
d311d28c 2076 ptrdiff_t size = ASIZE (o1);
4cab5074
KH
2077 /* Pseudovectors have the type encoded in the size field, so this test
2078 actually checks that the objects have the same type as well as the
2079 same size. */
7edbb0da 2080 if (ASIZE (o2) != size)
4cab5074 2081 return 0;
e03f7933
RS
2082 /* Boolvectors are compared much like strings. */
2083 if (BOOL_VECTOR_P (o1))
2084 {
1c0a7493
PE
2085 EMACS_INT size = bool_vector_size (o1);
2086 if (size != bool_vector_size (o2))
e03f7933 2087 return 0;
df5b4930 2088 if (memcmp (bool_vector_data (o1), bool_vector_data (o2),
2cf00efc 2089 bool_vector_bytes (size)))
e03f7933
RS
2090 return 0;
2091 return 1;
2092 }
ed73fcc1 2093 if (WINDOW_CONFIGURATIONP (o1))
48646924 2094 return compare_window_configurations (o1, o2, 0);
e03f7933 2095
876c194c 2096 /* Aside from them, only true vectors, char-tables, compiled
66699ad3 2097 functions, and fonts (font-spec, font-entity, font-object)
876c194c 2098 are sensible to compare, so eliminate the others now. */
4cab5074
KH
2099 if (size & PSEUDOVECTOR_FLAG)
2100 {
914adc42
DA
2101 if (((size & PVEC_TYPE_MASK) >> PSEUDOVECTOR_AREA_BITS)
2102 < PVEC_COMPILED)
4cab5074
KH
2103 return 0;
2104 size &= PSEUDOVECTOR_SIZE_MASK;
2105 }
2106 for (i = 0; i < size; i++)
2107 {
2108 Lisp_Object v1, v2;
7edbb0da
SM
2109 v1 = AREF (o1, i);
2110 v2 = AREF (o2, i);
9f4ffeee 2111 if (!internal_equal (v1, v2, depth + 1, props, ht))
4cab5074
KH
2112 return 0;
2113 }
2114 return 1;
2115 }
4ff1aed9
RS
2116 break;
2117
2118 case Lisp_String:
d5db4077 2119 if (SCHARS (o1) != SCHARS (o2))
4cab5074 2120 return 0;
d5db4077 2121 if (SBYTES (o1) != SBYTES (o2))
ea35ce3d 2122 return 0;
72af86bd 2123 if (memcmp (SDATA (o1), SDATA (o2), SBYTES (o1)))
4cab5074 2124 return 0;
6b61353c
KH
2125 if (props && !compare_string_intervals (o1, o2))
2126 return 0;
4cab5074 2127 return 1;
093386ca 2128
2de9f71c 2129 default:
093386ca 2130 break;
7b863bd5 2131 }
91f78c99 2132
6cb9cafb 2133 return 0;
7b863bd5
JB
2134}
2135\f
2e34157c 2136
7b863bd5 2137DEFUN ("fillarray", Ffillarray, Sfillarray, 2, 2, 0,
e9d8ddc9
MB
2138 doc: /* Store each element of ARRAY with ITEM.
2139ARRAY is a vector, string, char-table, or bool-vector. */)
5842a27b 2140 (Lisp_Object array, Lisp_Object item)
7b863bd5 2141{
d311d28c 2142 register ptrdiff_t size, idx;
e6d4aefa 2143
7650760e 2144 if (VECTORP (array))
086ca913
DA
2145 for (idx = 0, size = ASIZE (array); idx < size; idx++)
2146 ASET (array, idx, item);
e03f7933
RS
2147 else if (CHAR_TABLE_P (array))
2148 {
38583a69
KH
2149 int i;
2150
2151 for (i = 0; i < (1 << CHARTAB_SIZE_BITS_0); i++)
34dabdb7 2152 set_char_table_contents (array, i, item);
742af32f 2153 set_char_table_defalt (array, item);
e03f7933 2154 }
7650760e 2155 else if (STRINGP (array))
7b863bd5 2156 {
d5db4077 2157 register unsigned char *p = SDATA (array);
a4cf38e4
PE
2158 int charval;
2159 CHECK_CHARACTER (item);
2160 charval = XFASTINT (item);
d5db4077 2161 size = SCHARS (array);
57247650
KH
2162 if (STRING_MULTIBYTE (array))
2163 {
64a5094a
KH
2164 unsigned char str[MAX_MULTIBYTE_LENGTH];
2165 int len = CHAR_STRING (charval, str);
d311d28c 2166 ptrdiff_t size_byte = SBYTES (array);
57247650 2167
f03dc6ef
PE
2168 if (INT_MULTIPLY_OVERFLOW (SCHARS (array), len)
2169 || SCHARS (array) * len != size_byte)
2170 error ("Attempt to change byte length of a string");
436b4815
PE
2171 for (idx = 0; idx < size_byte; idx++)
2172 *p++ = str[idx % len];
57247650
KH
2173 }
2174 else
612f56df
PE
2175 for (idx = 0; idx < size; idx++)
2176 p[idx] = charval;
7b863bd5 2177 }
e03f7933 2178 else if (BOOL_VECTOR_P (array))
2cf00efc 2179 return bool_vector_fill (array, item);
7b863bd5 2180 else
89662fc3 2181 wrong_type_argument (Qarrayp, array);
7b863bd5
JB
2182 return array;
2183}
85cad579
RS
2184
2185DEFUN ("clear-string", Fclear_string, Sclear_string,
2186 1, 1, 0,
2187 doc: /* Clear the contents of STRING.
2188This makes STRING unibyte and may change its length. */)
5842a27b 2189 (Lisp_Object string)
85cad579 2190{
d311d28c 2191 ptrdiff_t len;
a085bf9d 2192 CHECK_STRING (string);
cfd23693 2193 len = SBYTES (string);
72af86bd 2194 memset (SDATA (string), 0, len);
85cad579
RS
2195 STRING_SET_CHARS (string, len);
2196 STRING_SET_UNIBYTE (string);
2197 return Qnil;
2198}
ea35ce3d 2199\f
7b863bd5
JB
2200/* ARGSUSED */
2201Lisp_Object
971de7fb 2202nconc2 (Lisp_Object s1, Lisp_Object s2)
7b863bd5 2203{
7b863bd5
JB
2204 Lisp_Object args[2];
2205 args[0] = s1;
2206 args[1] = s2;
2207 return Fnconc (2, args);
7b863bd5
JB
2208}
2209
a7ca3326 2210DEFUN ("nconc", Fnconc, Snconc, 0, MANY, 0,
e9d8ddc9 2211 doc: /* Concatenate any number of lists by altering them.
4bf8e2a3
MB
2212Only the last argument is not altered, and need not be a list.
2213usage: (nconc &rest LISTS) */)
f66c7cf8 2214 (ptrdiff_t nargs, Lisp_Object *args)
7b863bd5 2215{
f66c7cf8 2216 ptrdiff_t argnum;
7b863bd5
JB
2217 register Lisp_Object tail, tem, val;
2218
093386ca 2219 val = tail = Qnil;
7b863bd5
JB
2220
2221 for (argnum = 0; argnum < nargs; argnum++)
2222 {
2223 tem = args[argnum];
265a9e55 2224 if (NILP (tem)) continue;
7b863bd5 2225
265a9e55 2226 if (NILP (val))
7b863bd5
JB
2227 val = tem;
2228
2229 if (argnum + 1 == nargs) break;
2230
89662fc3 2231 CHECK_LIST_CONS (tem, tem);
7b863bd5
JB
2232
2233 while (CONSP (tem))
2234 {
2235 tail = tem;
cf42cb72 2236 tem = XCDR (tail);
7b863bd5
JB
2237 QUIT;
2238 }
2239
2240 tem = args[argnum + 1];
2241 Fsetcdr (tail, tem);
265a9e55 2242 if (NILP (tem))
7b863bd5
JB
2243 args[argnum + 1] = tail;
2244 }
2245
2246 return val;
2247}
2248\f
2249/* This is the guts of all mapping functions.
ea35ce3d
RS
2250 Apply FN to each element of SEQ, one by one,
2251 storing the results into elements of VALS, a C vector of Lisp_Objects.
2252 LENI is the length of VALS, which should also be the length of SEQ. */
7b863bd5
JB
2253
2254static void
e6d4aefa 2255mapcar1 (EMACS_INT leni, Lisp_Object *vals, Lisp_Object fn, Lisp_Object seq)
7b863bd5
JB
2256{
2257 register Lisp_Object tail;
2258 Lisp_Object dummy;
e6d4aefa 2259 register EMACS_INT i;
7b863bd5
JB
2260 struct gcpro gcpro1, gcpro2, gcpro3;
2261
f5c75033
DL
2262 if (vals)
2263 {
2264 /* Don't let vals contain any garbage when GC happens. */
2265 for (i = 0; i < leni; i++)
2266 vals[i] = Qnil;
7b863bd5 2267
f5c75033
DL
2268 GCPRO3 (dummy, fn, seq);
2269 gcpro1.var = vals;
2270 gcpro1.nvars = leni;
2271 }
2272 else
2273 GCPRO2 (fn, seq);
7b863bd5 2274 /* We need not explicitly protect `tail' because it is used only on lists, and
7edbb0da
SM
2275 1) lists are not relocated and 2) the list is marked via `seq' so will not
2276 be freed */
7b863bd5 2277
876c194c 2278 if (VECTORP (seq) || COMPILEDP (seq))
7b863bd5
JB
2279 {
2280 for (i = 0; i < leni; i++)
2281 {
7edbb0da 2282 dummy = call1 (fn, AREF (seq, i));
f5c75033
DL
2283 if (vals)
2284 vals[i] = dummy;
7b863bd5
JB
2285 }
2286 }
33aa0881
KH
2287 else if (BOOL_VECTOR_P (seq))
2288 {
2289 for (i = 0; i < leni; i++)
2290 {
df5b4930 2291 dummy = call1 (fn, bool_vector_ref (seq, i));
f5c75033
DL
2292 if (vals)
2293 vals[i] = dummy;
33aa0881
KH
2294 }
2295 }
ea35ce3d
RS
2296 else if (STRINGP (seq))
2297 {
d311d28c 2298 ptrdiff_t i_byte;
ea35ce3d
RS
2299
2300 for (i = 0, i_byte = 0; i < leni;)
2301 {
2302 int c;
d311d28c 2303 ptrdiff_t i_before = i;
0ab6a3d8
KH
2304
2305 FETCH_STRING_CHAR_ADVANCE (c, seq, i, i_byte);
ea35ce3d 2306 XSETFASTINT (dummy, c);
f5c75033
DL
2307 dummy = call1 (fn, dummy);
2308 if (vals)
2309 vals[i_before] = dummy;
ea35ce3d
RS
2310 }
2311 }
7b863bd5
JB
2312 else /* Must be a list, since Flength did not get an error */
2313 {
2314 tail = seq;
85946364 2315 for (i = 0; i < leni && CONSP (tail); i++)
7b863bd5 2316 {
85946364 2317 dummy = call1 (fn, XCAR (tail));
f5c75033
DL
2318 if (vals)
2319 vals[i] = dummy;
70949dac 2320 tail = XCDR (tail);
7b863bd5
JB
2321 }
2322 }
2323
2324 UNGCPRO;
2325}
2326
a7ca3326 2327DEFUN ("mapconcat", Fmapconcat, Smapconcat, 3, 3, 0,
e9d8ddc9 2328 doc: /* Apply FUNCTION to each element of SEQUENCE, and concat the results as strings.
dd8d1e71 2329In between each pair of results, stick in SEPARATOR. Thus, " " as
47cebab1 2330SEPARATOR results in spaces between the values returned by FUNCTION.
e9d8ddc9 2331SEQUENCE may be a list, a vector, a bool-vector, or a string. */)
5842a27b 2332 (Lisp_Object function, Lisp_Object sequence, Lisp_Object separator)
7b863bd5
JB
2333{
2334 Lisp_Object len;
e6d4aefa 2335 register EMACS_INT leni;
d311d28c
PE
2336 EMACS_INT nargs;
2337 ptrdiff_t i;
7b863bd5 2338 register Lisp_Object *args;
7b863bd5 2339 struct gcpro gcpro1;
799c08ac
KS
2340 Lisp_Object ret;
2341 USE_SAFE_ALLOCA;
7b863bd5 2342
88fe8140 2343 len = Flength (sequence);
4187aa82
KH
2344 if (CHAR_TABLE_P (sequence))
2345 wrong_type_argument (Qlistp, sequence);
7b863bd5
JB
2346 leni = XINT (len);
2347 nargs = leni + leni - 1;
b116683c 2348 if (nargs < 0) return empty_unibyte_string;
7b863bd5 2349
7b4cd44a 2350 SAFE_ALLOCA_LISP (args, nargs);
7b863bd5 2351
88fe8140
EN
2352 GCPRO1 (separator);
2353 mapcar1 (leni, args, function, sequence);
7b863bd5
JB
2354 UNGCPRO;
2355
85946364 2356 for (i = leni - 1; i > 0; i--)
7b863bd5 2357 args[i + i] = args[i];
b4f334f7 2358
7b863bd5 2359 for (i = 1; i < nargs; i += 2)
88fe8140 2360 args[i] = separator;
7b863bd5 2361
799c08ac 2362 ret = Fconcat (nargs, args);
233f3db6 2363 SAFE_FREE ();
799c08ac
KS
2364
2365 return ret;
7b863bd5
JB
2366}
2367
a7ca3326 2368DEFUN ("mapcar", Fmapcar, Smapcar, 2, 2, 0,
e9d8ddc9 2369 doc: /* Apply FUNCTION to each element of SEQUENCE, and make a list of the results.
47cebab1 2370The result is a list just as long as SEQUENCE.
e9d8ddc9 2371SEQUENCE may be a list, a vector, a bool-vector, or a string. */)
5842a27b 2372 (Lisp_Object function, Lisp_Object sequence)
7b863bd5
JB
2373{
2374 register Lisp_Object len;
e6d4aefa 2375 register EMACS_INT leni;
7b863bd5 2376 register Lisp_Object *args;
799c08ac
KS
2377 Lisp_Object ret;
2378 USE_SAFE_ALLOCA;
7b863bd5 2379
88fe8140 2380 len = Flength (sequence);
4187aa82
KH
2381 if (CHAR_TABLE_P (sequence))
2382 wrong_type_argument (Qlistp, sequence);
7b863bd5 2383 leni = XFASTINT (len);
799c08ac 2384
7b4cd44a 2385 SAFE_ALLOCA_LISP (args, leni);
7b863bd5 2386
88fe8140 2387 mapcar1 (leni, args, function, sequence);
7b863bd5 2388
799c08ac 2389 ret = Flist (leni, args);
233f3db6 2390 SAFE_FREE ();
799c08ac
KS
2391
2392 return ret;
7b863bd5 2393}
f5c75033
DL
2394
2395DEFUN ("mapc", Fmapc, Smapc, 2, 2, 0,
e9d8ddc9 2396 doc: /* Apply FUNCTION to each element of SEQUENCE for side effects only.
47cebab1 2397Unlike `mapcar', don't accumulate the results. Return SEQUENCE.
e9d8ddc9 2398SEQUENCE may be a list, a vector, a bool-vector, or a string. */)
5842a27b 2399 (Lisp_Object function, Lisp_Object sequence)
f5c75033 2400{
e6d4aefa 2401 register EMACS_INT leni;
f5c75033
DL
2402
2403 leni = XFASTINT (Flength (sequence));
4187aa82
KH
2404 if (CHAR_TABLE_P (sequence))
2405 wrong_type_argument (Qlistp, sequence);
f5c75033
DL
2406 mapcar1 (leni, 0, function, sequence);
2407
2408 return sequence;
2409}
7b863bd5 2410\f
7b863bd5
JB
2411/* This is how C code calls `yes-or-no-p' and allows the user
2412 to redefined it.
2413
2414 Anything that calls this function must protect from GC! */
2415
2416Lisp_Object
971de7fb 2417do_yes_or_no_p (Lisp_Object prompt)
7b863bd5
JB
2418{
2419 return call1 (intern ("yes-or-no-p"), prompt);
2420}
2421
2422/* Anything that calls this function must protect from GC! */
2423
2424DEFUN ("yes-or-no-p", Fyes_or_no_p, Syes_or_no_p, 1, 1, 0,
e9d8ddc9 2425 doc: /* Ask user a yes-or-no question. Return t if answer is yes.
9aea757b
CY
2426PROMPT is the string to display to ask the question. It should end in
2427a space; `yes-or-no-p' adds \"(yes or no) \" to it.
3d91e302
CY
2428
2429The user must confirm the answer with RET, and can edit it until it
2430has been confirmed.
47cebab1 2431
9f8551de
EZ
2432If dialog boxes are supported, a dialog box will be used
2433if `last-nonmenu-event' is nil, and `use-dialog-box' is non-nil. */)
5842a27b 2434 (Lisp_Object prompt)
7b863bd5
JB
2435{
2436 register Lisp_Object ans;
2437 Lisp_Object args[2];
2438 struct gcpro gcpro1;
2439
b7826503 2440 CHECK_STRING (prompt);
7b863bd5 2441
7452b7bd 2442 if ((NILP (last_nonmenu_event) || CONSP (last_nonmenu_event))
9f8551de 2443 && use_dialog_box)
1db4cfb2
RS
2444 {
2445 Lisp_Object pane, menu, obj;
3007ebfb 2446 redisplay_preserve_echo_area (4);
6c6f1994
PE
2447 pane = list2 (Fcons (build_string ("Yes"), Qt),
2448 Fcons (build_string ("No"), Qnil));
1db4cfb2 2449 GCPRO1 (pane);
ec26e1b9 2450 menu = Fcons (prompt, pane);
f0a31d70 2451 obj = Fx_popup_dialog (Qt, menu, Qnil);
1db4cfb2
RS
2452 UNGCPRO;
2453 return obj;
2454 }
2455
7b863bd5
JB
2456 args[0] = prompt;
2457 args[1] = build_string ("(yes or no) ");
2458 prompt = Fconcat (2, args);
2459
2460 GCPRO1 (prompt);
1db4cfb2 2461
7b863bd5
JB
2462 while (1)
2463 {
0ce830bc 2464 ans = Fdowncase (Fread_from_minibuffer (prompt, Qnil, Qnil, Qnil,
b24014d4 2465 Qyes_or_no_p_history, Qnil,
ba139299 2466 Qnil));
42a5b22f 2467 if (SCHARS (ans) == 3 && !strcmp (SSDATA (ans), "yes"))
7b863bd5
JB
2468 {
2469 UNGCPRO;
2470 return Qt;
2471 }
42a5b22f 2472 if (SCHARS (ans) == 2 && !strcmp (SSDATA (ans), "no"))
7b863bd5
JB
2473 {
2474 UNGCPRO;
2475 return Qnil;
2476 }
2477
2478 Fding (Qnil);
2479 Fdiscard_input ();
2f73da9c 2480 message1 ("Please answer yes or no.");
99dc4745 2481 Fsleep_for (make_number (2), Qnil);
7b863bd5 2482 }
7b863bd5
JB
2483}
2484\f
f4b50f66 2485DEFUN ("load-average", Fload_average, Sload_average, 0, 1, 0,
e9d8ddc9 2486 doc: /* Return list of 1 minute, 5 minute and 15 minute load averages.
91f78c99 2487
47cebab1
GM
2488Each of the three load averages is multiplied by 100, then converted
2489to integer.
2490
2491When USE-FLOATS is non-nil, floats will be used instead of integers.
2492These floats are not multiplied by 100.
2493
2494If the 5-minute or 15-minute load averages are not available, return a
30b1b0cf
DL
2495shortened list, containing only those averages which are available.
2496
2497An error is thrown if the load average can't be obtained. In some
2498cases making it work would require Emacs being installed setuid or
2499setgid so that it can read kernel information, and that usually isn't
2500advisable. */)
5842a27b 2501 (Lisp_Object use_floats)
7b863bd5 2502{
daa37602
JB
2503 double load_ave[3];
2504 int loads = getloadavg (load_ave, 3);
f4b50f66 2505 Lisp_Object ret = Qnil;
7b863bd5 2506
daa37602
JB
2507 if (loads < 0)
2508 error ("load-average not implemented for this operating system");
2509
f4b50f66
RS
2510 while (loads-- > 0)
2511 {
566684ea
PE
2512 Lisp_Object load = (NILP (use_floats)
2513 ? make_number (100.0 * load_ave[loads])
f4b50f66
RS
2514 : make_float (load_ave[loads]));
2515 ret = Fcons (load, ret);
2516 }
daa37602
JB
2517
2518 return ret;
2519}
7b863bd5 2520\f
955cbe7b 2521static Lisp_Object Qsubfeatures;
7b863bd5 2522
65550192 2523DEFUN ("featurep", Ffeaturep, Sfeaturep, 1, 2, 0,
b756c005 2524 doc: /* Return t if FEATURE is present in this Emacs.
91f78c99 2525
47cebab1 2526Use this to conditionalize execution of lisp code based on the
4774b68e 2527presence or absence of Emacs or environment extensions.
47cebab1
GM
2528Use `provide' to declare that a feature is available. This function
2529looks at the value of the variable `features'. The optional argument
e9d8ddc9 2530SUBFEATURE can be used to check a specific subfeature of FEATURE. */)
5842a27b 2531 (Lisp_Object feature, Lisp_Object subfeature)
7b863bd5
JB
2532{
2533 register Lisp_Object tem;
b7826503 2534 CHECK_SYMBOL (feature);
7b863bd5 2535 tem = Fmemq (feature, Vfeatures);
65550192 2536 if (!NILP (tem) && !NILP (subfeature))
37ebddef 2537 tem = Fmember (subfeature, Fget (feature, Qsubfeatures));
265a9e55 2538 return (NILP (tem)) ? Qnil : Qt;
7b863bd5
JB
2539}
2540
de0503df
SM
2541static Lisp_Object Qfuncall;
2542
a7ca3326 2543DEFUN ("provide", Fprovide, Sprovide, 1, 2, 0,
e9d8ddc9 2544 doc: /* Announce that FEATURE is a feature of the current Emacs.
47cebab1 2545The optional argument SUBFEATURES should be a list of symbols listing
e9d8ddc9 2546particular subfeatures supported in this version of FEATURE. */)
5842a27b 2547 (Lisp_Object feature, Lisp_Object subfeatures)
7b863bd5
JB
2548{
2549 register Lisp_Object tem;
b7826503 2550 CHECK_SYMBOL (feature);
37ebddef 2551 CHECK_LIST (subfeatures);
265a9e55 2552 if (!NILP (Vautoload_queue))
989e66e1
RS
2553 Vautoload_queue = Fcons (Fcons (make_number (0), Vfeatures),
2554 Vautoload_queue);
7b863bd5 2555 tem = Fmemq (feature, Vfeatures);
265a9e55 2556 if (NILP (tem))
7b863bd5 2557 Vfeatures = Fcons (feature, Vfeatures);
65550192
SM
2558 if (!NILP (subfeatures))
2559 Fput (feature, Qsubfeatures, subfeatures);
68732608 2560 LOADHIST_ATTACH (Fcons (Qprovide, feature));
65550192
SM
2561
2562 /* Run any load-hooks for this file. */
2563 tem = Fassq (feature, Vafter_load_alist);
cf42cb72 2564 if (CONSP (tem))
de0503df 2565 Fmapc (Qfuncall, XCDR (tem));
65550192 2566
7b863bd5
JB
2567 return feature;
2568}
1f79789d
RS
2569\f
2570/* `require' and its subroutines. */
2571
2572/* List of features currently being require'd, innermost first. */
2573
2a80c887 2574static Lisp_Object require_nesting_list;
1f79789d 2575
27e498e6 2576static void
971de7fb 2577require_unwind (Lisp_Object old_value)
1f79789d 2578{
27e498e6 2579 require_nesting_list = old_value;
1f79789d 2580}
7b863bd5 2581
53d5acf5 2582DEFUN ("require", Frequire, Srequire, 1, 3, 0,
e9d8ddc9 2583 doc: /* If feature FEATURE is not loaded, load it from FILENAME.
47cebab1
GM
2584If FEATURE is not a member of the list `features', then the feature
2585is not loaded; so load the file FILENAME.
2586If FILENAME is omitted, the printname of FEATURE is used as the file name,
6b61353c
KH
2587and `load' will try to load this name appended with the suffix `.elc' or
2588`.el', in that order. The name without appended suffix will not be used.
90186c68 2589See `get-load-suffixes' for the complete list of suffixes.
47cebab1
GM
2590If the optional third argument NOERROR is non-nil,
2591then return nil if the file is not found instead of signaling an error.
2592Normally the return value is FEATURE.
e9d8ddc9 2593The normal messages at start and end of loading FILENAME are suppressed. */)
5842a27b 2594 (Lisp_Object feature, Lisp_Object filename, Lisp_Object noerror)
7b863bd5 2595{
f75d7a91 2596 Lisp_Object tem;
1f79789d 2597 struct gcpro gcpro1, gcpro2;
f75d7a91 2598 bool from_file = load_in_progress;
1f79789d 2599
b7826503 2600 CHECK_SYMBOL (feature);
1f79789d 2601
5ba8f83d 2602 /* Record the presence of `require' in this file
9d5c2e7e
RS
2603 even if the feature specified is already loaded.
2604 But not more than once in any file,
06100606
RS
2605 and not when we aren't loading or reading from a file. */
2606 if (!from_file)
2607 for (tem = Vcurrent_load_list; CONSP (tem); tem = XCDR (tem))
2608 if (NILP (XCDR (tem)) && STRINGP (XCAR (tem)))
2609 from_file = 1;
2610
2611 if (from_file)
9d5c2e7e
RS
2612 {
2613 tem = Fcons (Qrequire, feature);
2614 if (NILP (Fmember (tem, Vcurrent_load_list)))
2615 LOADHIST_ATTACH (tem);
2616 }
7b863bd5 2617 tem = Fmemq (feature, Vfeatures);
91f78c99 2618
265a9e55 2619 if (NILP (tem))
7b863bd5 2620 {
d311d28c 2621 ptrdiff_t count = SPECPDL_INDEX ();
1f79789d 2622 int nesting = 0;
bcb31b2a 2623
aea6173f
RS
2624 /* This is to make sure that loadup.el gives a clear picture
2625 of what files are preloaded and when. */
bcb31b2a
RS
2626 if (! NILP (Vpurify_flag))
2627 error ("(require %s) while preparing to dump",
d5db4077 2628 SDATA (SYMBOL_NAME (feature)));
91f78c99 2629
1f79789d
RS
2630 /* A certain amount of recursive `require' is legitimate,
2631 but if we require the same feature recursively 3 times,
2632 signal an error. */
2633 tem = require_nesting_list;
2634 while (! NILP (tem))
2635 {
2636 if (! NILP (Fequal (feature, XCAR (tem))))
2637 nesting++;
2638 tem = XCDR (tem);
2639 }
f707342d 2640 if (nesting > 3)
1f79789d 2641 error ("Recursive `require' for feature `%s'",
d5db4077 2642 SDATA (SYMBOL_NAME (feature)));
1f79789d
RS
2643
2644 /* Update the list for any nested `require's that occur. */
2645 record_unwind_protect (require_unwind, require_nesting_list);
2646 require_nesting_list = Fcons (feature, require_nesting_list);
7b863bd5
JB
2647
2648 /* Value saved here is to be restored into Vautoload_queue */
2649 record_unwind_protect (un_autoload, Vautoload_queue);
2650 Vautoload_queue = Qt;
2651
1f79789d
RS
2652 /* Load the file. */
2653 GCPRO2 (feature, filename);
81a81c0f
GM
2654 tem = Fload (NILP (filename) ? Fsymbol_name (feature) : filename,
2655 noerror, Qt, Qnil, (NILP (filename) ? Qt : Qnil));
1f79789d
RS
2656 UNGCPRO;
2657
53d5acf5
RS
2658 /* If load failed entirely, return nil. */
2659 if (NILP (tem))
41857307 2660 return unbind_to (count, Qnil);
7b863bd5
JB
2661
2662 tem = Fmemq (feature, Vfeatures);
265a9e55 2663 if (NILP (tem))
1f79789d 2664 error ("Required feature `%s' was not provided",
d5db4077 2665 SDATA (SYMBOL_NAME (feature)));
7b863bd5
JB
2666
2667 /* Once loading finishes, don't undo it. */
2668 Vautoload_queue = Qt;
2669 feature = unbind_to (count, feature);
2670 }
1f79789d 2671
7b863bd5
JB
2672 return feature;
2673}
2674\f
b4f334f7
KH
2675/* Primitives for work of the "widget" library.
2676 In an ideal world, this section would not have been necessary.
2677 However, lisp function calls being as slow as they are, it turns
2678 out that some functions in the widget library (wid-edit.el) are the
2679 bottleneck of Widget operation. Here is their translation to C,
2680 for the sole reason of efficiency. */
2681
a7ca3326 2682DEFUN ("plist-member", Fplist_member, Splist_member, 2, 2, 0,
e9d8ddc9 2683 doc: /* Return non-nil if PLIST has the property PROP.
47cebab1
GM
2684PLIST is a property list, which is a list of the form
2685\(PROP1 VALUE1 PROP2 VALUE2 ...\). PROP is a symbol.
2686Unlike `plist-get', this allows you to distinguish between a missing
2687property and a property with the value nil.
e9d8ddc9 2688The value is actually the tail of PLIST whose car is PROP. */)
5842a27b 2689 (Lisp_Object plist, Lisp_Object prop)
b4f334f7
KH
2690{
2691 while (CONSP (plist) && !EQ (XCAR (plist), prop))
2692 {
2693 QUIT;
2694 plist = XCDR (plist);
2695 plist = CDR (plist);
2696 }
2697 return plist;
2698}
2699
2700DEFUN ("widget-put", Fwidget_put, Swidget_put, 3, 3, 0,
e9d8ddc9
MB
2701 doc: /* In WIDGET, set PROPERTY to VALUE.
2702The value can later be retrieved with `widget-get'. */)
5842a27b 2703 (Lisp_Object widget, Lisp_Object property, Lisp_Object value)
b4f334f7 2704{
b7826503 2705 CHECK_CONS (widget);
f3fbd155 2706 XSETCDR (widget, Fplist_put (XCDR (widget), property, value));
f7993597 2707 return value;
b4f334f7
KH
2708}
2709
2710DEFUN ("widget-get", Fwidget_get, Swidget_get, 2, 2, 0,
e9d8ddc9 2711 doc: /* In WIDGET, get the value of PROPERTY.
47cebab1 2712The value could either be specified when the widget was created, or
e9d8ddc9 2713later with `widget-put'. */)
5842a27b 2714 (Lisp_Object widget, Lisp_Object property)
b4f334f7
KH
2715{
2716 Lisp_Object tmp;
2717
2718 while (1)
2719 {
2720 if (NILP (widget))
2721 return Qnil;
b7826503 2722 CHECK_CONS (widget);
a5254817 2723 tmp = Fplist_member (XCDR (widget), property);
b4f334f7
KH
2724 if (CONSP (tmp))
2725 {
2726 tmp = XCDR (tmp);
2727 return CAR (tmp);
2728 }
2729 tmp = XCAR (widget);
2730 if (NILP (tmp))
2731 return Qnil;
2732 widget = Fget (tmp, Qwidget_type);
2733 }
2734}
2735
2736DEFUN ("widget-apply", Fwidget_apply, Swidget_apply, 2, MANY, 0,
e9d8ddc9 2737 doc: /* Apply the value of WIDGET's PROPERTY to the widget itself.
4bf8e2a3
MB
2738ARGS are passed as extra arguments to the function.
2739usage: (widget-apply WIDGET PROPERTY &rest ARGS) */)
f66c7cf8 2740 (ptrdiff_t nargs, Lisp_Object *args)
b4f334f7 2741{
b09cca6a 2742 /* This function can GC. */
b4f334f7
KH
2743 Lisp_Object newargs[3];
2744 struct gcpro gcpro1, gcpro2;
2745 Lisp_Object result;
2746
2747 newargs[0] = Fwidget_get (args[0], args[1]);
2748 newargs[1] = args[0];
2749 newargs[2] = Flist (nargs - 2, args + 2);
2750 GCPRO2 (newargs[0], newargs[2]);
2751 result = Fapply (3, newargs);
2752 UNGCPRO;
2753 return result;
2754}
dec002ca
DL
2755
2756#ifdef HAVE_LANGINFO_CODESET
2757#include <langinfo.h>
2758#endif
2759
d68beb2f
RS
2760DEFUN ("locale-info", Flocale_info, Slocale_info, 1, 1, 0,
2761 doc: /* Access locale data ITEM for the current C locale, if available.
2762ITEM should be one of the following:
30b1b0cf 2763
98aeeaa1 2764`codeset', returning the character set as a string (locale item CODESET);
30b1b0cf 2765
98aeeaa1 2766`days', returning a 7-element vector of day names (locale items DAY_n);
30b1b0cf 2767
98aeeaa1 2768`months', returning a 12-element vector of month names (locale items MON_n);
30b1b0cf 2769
d68beb2f 2770`paper', returning a list (WIDTH HEIGHT) for the default paper size,
66699ad3 2771 both measured in millimeters (locale items PAPER_WIDTH, PAPER_HEIGHT).
dec002ca
DL
2772
2773If the system can't provide such information through a call to
d68beb2f 2774`nl_langinfo', or if ITEM isn't from the list above, return nil.
dec002ca 2775
98aeeaa1
DL
2776See also Info node `(libc)Locales'.
2777
dec002ca 2778The data read from the system are decoded using `locale-coding-system'. */)
5842a27b 2779 (Lisp_Object item)
dec002ca
DL
2780{
2781 char *str = NULL;
2782#ifdef HAVE_LANGINFO_CODESET
2783 Lisp_Object val;
2784 if (EQ (item, Qcodeset))
2785 {
2786 str = nl_langinfo (CODESET);
2787 return build_string (str);
2788 }
2789#ifdef DAY_1
2790 else if (EQ (item, Qdays)) /* e.g. for calendar-day-name-array */
2791 {
2792 Lisp_Object v = Fmake_vector (make_number (7), Qnil);
77bf07e1 2793 const int days[7] = {DAY_1, DAY_2, DAY_3, DAY_4, DAY_5, DAY_6, DAY_7};
dec002ca 2794 int i;
77bf07e1
AS
2795 struct gcpro gcpro1;
2796 GCPRO1 (v);
dec002ca
DL
2797 synchronize_system_time_locale ();
2798 for (i = 0; i < 7; i++)
2799 {
2800 str = nl_langinfo (days[i]);
d7ea76b4 2801 val = build_unibyte_string (str);
dec002ca
DL
2802 /* Fixme: Is this coding system necessarily right, even if
2803 it is consistent with CODESET? If not, what to do? */
9a9d91d9
DA
2804 ASET (v, i, code_convert_string_norecord (val, Vlocale_coding_system,
2805 0));
dec002ca 2806 }
77bf07e1 2807 UNGCPRO;
dec002ca
DL
2808 return v;
2809 }
2810#endif /* DAY_1 */
2811#ifdef MON_1
2812 else if (EQ (item, Qmonths)) /* e.g. for calendar-month-name-array */
2813 {
77bf07e1
AS
2814 Lisp_Object v = Fmake_vector (make_number (12), Qnil);
2815 const int months[12] = {MON_1, MON_2, MON_3, MON_4, MON_5, MON_6, MON_7,
2816 MON_8, MON_9, MON_10, MON_11, MON_12};
dec002ca 2817 int i;
77bf07e1
AS
2818 struct gcpro gcpro1;
2819 GCPRO1 (v);
dec002ca
DL
2820 synchronize_system_time_locale ();
2821 for (i = 0; i < 12; i++)
2822 {
2823 str = nl_langinfo (months[i]);
d7ea76b4 2824 val = build_unibyte_string (str);
9a9d91d9
DA
2825 ASET (v, i, code_convert_string_norecord (val, Vlocale_coding_system,
2826 0));
dec002ca 2827 }
77bf07e1
AS
2828 UNGCPRO;
2829 return v;
dec002ca
DL
2830 }
2831#endif /* MON_1 */
2832/* LC_PAPER stuff isn't defined as accessible in glibc as of 2.3.1,
2833 but is in the locale files. This could be used by ps-print. */
2834#ifdef PAPER_WIDTH
2835 else if (EQ (item, Qpaper))
3de717bd 2836 return list2i (nl_langinfo (PAPER_WIDTH), nl_langinfo (PAPER_HEIGHT));
dec002ca
DL
2837#endif /* PAPER_WIDTH */
2838#endif /* HAVE_LANGINFO_CODESET*/
30b1b0cf 2839 return Qnil;
dec002ca 2840}
b4f334f7 2841\f
a90e80bf 2842/* base64 encode/decode functions (RFC 2045).
24c129e4
KH
2843 Based on code from GNU recode. */
2844
2845#define MIME_LINE_LENGTH 76
2846
2847#define IS_ASCII(Character) \
2848 ((Character) < 128)
2849#define IS_BASE64(Character) \
2850 (IS_ASCII (Character) && base64_char_to_value[Character] >= 0)
9a092df0
PF
2851#define IS_BASE64_IGNORABLE(Character) \
2852 ((Character) == ' ' || (Character) == '\t' || (Character) == '\n' \
2853 || (Character) == '\f' || (Character) == '\r')
2854
2855/* Used by base64_decode_1 to retrieve a non-base64-ignorable
2856 character or return retval if there are no characters left to
2857 process. */
caff31d4
KH
2858#define READ_QUADRUPLET_BYTE(retval) \
2859 do \
2860 { \
2861 if (i == length) \
2862 { \
2863 if (nchars_return) \
2864 *nchars_return = nchars; \
2865 return (retval); \
2866 } \
2867 c = from[i++]; \
2868 } \
9a092df0 2869 while (IS_BASE64_IGNORABLE (c))
24c129e4
KH
2870
2871/* Table of characters coding the 64 values. */
91433552 2872static const char base64_value_to_char[64] =
24c129e4
KH
2873{
2874 'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J', /* 0- 9 */
2875 'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', /* 10-19 */
2876 'U', 'V', 'W', 'X', 'Y', 'Z', 'a', 'b', 'c', 'd', /* 20-29 */
2877 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n', /* 30-39 */
2878 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', /* 40-49 */
2879 'y', 'z', '0', '1', '2', '3', '4', '5', '6', '7', /* 50-59 */
2880 '8', '9', '+', '/' /* 60-63 */
2881};
2882
2883/* Table of base64 values for first 128 characters. */
91433552 2884static const short base64_char_to_value[128] =
24c129e4
KH
2885{
2886 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 0- 9 */
2887 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 10- 19 */
2888 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 20- 29 */
2889 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 30- 39 */
2890 -1, -1, -1, 62, -1, -1, -1, 63, 52, 53, /* 40- 49 */
2891 54, 55, 56, 57, 58, 59, 60, 61, -1, -1, /* 50- 59 */
2892 -1, -1, -1, -1, -1, 0, 1, 2, 3, 4, /* 60- 69 */
2893 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, /* 70- 79 */
2894 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, /* 80- 89 */
2895 25, -1, -1, -1, -1, -1, -1, 26, 27, 28, /* 90- 99 */
2896 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, /* 100-109 */
2897 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, /* 110-119 */
2898 49, 50, 51, -1, -1, -1, -1, -1 /* 120-127 */
2899};
2900
2901/* The following diagram shows the logical steps by which three octets
2902 get transformed into four base64 characters.
2903
2904 .--------. .--------. .--------.
2905 |aaaaaabb| |bbbbcccc| |ccdddddd|
2906 `--------' `--------' `--------'
2907 6 2 4 4 2 6
2908 .--------+--------+--------+--------.
2909 |00aaaaaa|00bbbbbb|00cccccc|00dddddd|
2910 `--------+--------+--------+--------'
2911
2912 .--------+--------+--------+--------.
2913 |AAAAAAAA|BBBBBBBB|CCCCCCCC|DDDDDDDD|
2914 `--------+--------+--------+--------'
2915
2916 The octets are divided into 6 bit chunks, which are then encoded into
2917 base64 characters. */
2918
2919
f75d7a91
PE
2920static ptrdiff_t base64_encode_1 (const char *, char *, ptrdiff_t, bool, bool);
2921static ptrdiff_t base64_decode_1 (const char *, char *, ptrdiff_t, bool,
d311d28c 2922 ptrdiff_t *);
24c129e4
KH
2923
2924DEFUN ("base64-encode-region", Fbase64_encode_region, Sbase64_encode_region,
2925 2, 3, "r",
e9d8ddc9 2926 doc: /* Base64-encode the region between BEG and END.
47cebab1
GM
2927Return the length of the encoded text.
2928Optional third argument NO-LINE-BREAK means do not break long lines
e9d8ddc9 2929into shorter lines. */)
5842a27b 2930 (Lisp_Object beg, Lisp_Object end, Lisp_Object no_line_break)
24c129e4
KH
2931{
2932 char *encoded;
d311d28c
PE
2933 ptrdiff_t allength, length;
2934 ptrdiff_t ibeg, iend, encoded_length;
2935 ptrdiff_t old_pos = PT;
799c08ac 2936 USE_SAFE_ALLOCA;
24c129e4
KH
2937
2938 validate_region (&beg, &end);
2939
2940 ibeg = CHAR_TO_BYTE (XFASTINT (beg));
2941 iend = CHAR_TO_BYTE (XFASTINT (end));
2942 move_gap_both (XFASTINT (beg), ibeg);
2943
2944 /* We need to allocate enough room for encoding the text.
2945 We need 33 1/3% more space, plus a newline every 76
2946 characters, and then we round up. */
2947 length = iend - ibeg;
2948 allength = length + length/3 + 1;
2949 allength += allength / MIME_LINE_LENGTH + 1 + 6;
2950
98c6f1e3 2951 encoded = SAFE_ALLOCA (allength);
f1e59824
PE
2952 encoded_length = base64_encode_1 ((char *) BYTE_POS_ADDR (ibeg),
2953 encoded, length, NILP (no_line_break),
4b4deea2 2954 !NILP (BVAR (current_buffer, enable_multibyte_characters)));
24c129e4 2955 if (encoded_length > allength)
1088b922 2956 emacs_abort ();
24c129e4 2957
2efdd1b9
KH
2958 if (encoded_length < 0)
2959 {
2960 /* The encoding wasn't possible. */
233f3db6 2961 SAFE_FREE ();
a90e80bf 2962 error ("Multibyte character in data for base64 encoding");
2efdd1b9
KH
2963 }
2964
24c129e4
KH
2965 /* Now we have encoded the region, so we insert the new contents
2966 and delete the old. (Insert first in order to preserve markers.) */
8b835738 2967 SET_PT_BOTH (XFASTINT (beg), ibeg);
24c129e4 2968 insert (encoded, encoded_length);
233f3db6 2969 SAFE_FREE ();
24c129e4
KH
2970 del_range_byte (ibeg + encoded_length, iend + encoded_length, 1);
2971
2972 /* If point was outside of the region, restore it exactly; else just
2973 move to the beginning of the region. */
2974 if (old_pos >= XFASTINT (end))
2975 old_pos += encoded_length - (XFASTINT (end) - XFASTINT (beg));
8b835738
AS
2976 else if (old_pos > XFASTINT (beg))
2977 old_pos = XFASTINT (beg);
24c129e4
KH
2978 SET_PT (old_pos);
2979
2980 /* We return the length of the encoded text. */
2981 return make_number (encoded_length);
2982}
2983
2984DEFUN ("base64-encode-string", Fbase64_encode_string, Sbase64_encode_string,
c22554ac 2985 1, 2, 0,
e9d8ddc9 2986 doc: /* Base64-encode STRING and return the result.
47cebab1 2987Optional second argument NO-LINE-BREAK means do not break long lines
e9d8ddc9 2988into shorter lines. */)
5842a27b 2989 (Lisp_Object string, Lisp_Object no_line_break)
24c129e4 2990{
d311d28c 2991 ptrdiff_t allength, length, encoded_length;
24c129e4 2992 char *encoded;
4b2e75e6 2993 Lisp_Object encoded_string;
799c08ac 2994 USE_SAFE_ALLOCA;
24c129e4 2995
b7826503 2996 CHECK_STRING (string);
24c129e4 2997
7f8a0840
KH
2998 /* We need to allocate enough room for encoding the text.
2999 We need 33 1/3% more space, plus a newline every 76
3000 characters, and then we round up. */
d5db4077 3001 length = SBYTES (string);
7f8a0840
KH
3002 allength = length + length/3 + 1;
3003 allength += allength / MIME_LINE_LENGTH + 1 + 6;
24c129e4
KH
3004
3005 /* We need to allocate enough room for decoding the text. */
98c6f1e3 3006 encoded = SAFE_ALLOCA (allength);
24c129e4 3007
42a5b22f 3008 encoded_length = base64_encode_1 (SSDATA (string),
2efdd1b9
KH
3009 encoded, length, NILP (no_line_break),
3010 STRING_MULTIBYTE (string));
24c129e4 3011 if (encoded_length > allength)
1088b922 3012 emacs_abort ();
24c129e4 3013
2efdd1b9
KH
3014 if (encoded_length < 0)
3015 {
3016 /* The encoding wasn't possible. */
233f3db6 3017 SAFE_FREE ();
a90e80bf 3018 error ("Multibyte character in data for base64 encoding");
2efdd1b9
KH
3019 }
3020
4b2e75e6 3021 encoded_string = make_unibyte_string (encoded, encoded_length);
233f3db6 3022 SAFE_FREE ();
4b2e75e6
EZ
3023
3024 return encoded_string;
24c129e4
KH
3025}
3026
d311d28c
PE
3027static ptrdiff_t
3028base64_encode_1 (const char *from, char *to, ptrdiff_t length,
f75d7a91 3029 bool line_break, bool multibyte)
24c129e4 3030{
e6d4aefa 3031 int counter = 0;
d311d28c 3032 ptrdiff_t i = 0;
24c129e4 3033 char *e = to;
844eb643 3034 int c;
24c129e4 3035 unsigned int value;
2efdd1b9 3036 int bytes;
24c129e4
KH
3037
3038 while (i < length)
3039 {
2efdd1b9
KH
3040 if (multibyte)
3041 {
f1e59824 3042 c = STRING_CHAR_AND_LENGTH ((unsigned char *) from + i, bytes);
680d4b87
KH
3043 if (CHAR_BYTE8_P (c))
3044 c = CHAR_TO_BYTE8 (c);
3045 else if (c >= 256)
2efdd1b9 3046 return -1;
caff31d4 3047 i += bytes;
2efdd1b9
KH
3048 }
3049 else
3050 c = from[i++];
24c129e4
KH
3051
3052 /* Wrap line every 76 characters. */
3053
3054 if (line_break)
3055 {
3056 if (counter < MIME_LINE_LENGTH / 4)
3057 counter++;
3058 else
3059 {
3060 *e++ = '\n';
3061 counter = 1;
3062 }
3063 }
3064
3065 /* Process first byte of a triplet. */
3066
3067 *e++ = base64_value_to_char[0x3f & c >> 2];
3068 value = (0x03 & c) << 4;
3069
3070 /* Process second byte of a triplet. */
3071
3072 if (i == length)
3073 {
3074 *e++ = base64_value_to_char[value];
3075 *e++ = '=';
3076 *e++ = '=';
3077 break;
3078 }
3079
2efdd1b9
KH
3080 if (multibyte)
3081 {
f1e59824 3082 c = STRING_CHAR_AND_LENGTH ((unsigned char *) from + i, bytes);
680d4b87
KH
3083 if (CHAR_BYTE8_P (c))
3084 c = CHAR_TO_BYTE8 (c);
3085 else if (c >= 256)
9b40fbe6 3086 return -1;
caff31d4 3087 i += bytes;
2efdd1b9
KH
3088 }
3089 else
3090 c = from[i++];
24c129e4
KH
3091
3092 *e++ = base64_value_to_char[value | (0x0f & c >> 4)];
3093 value = (0x0f & c) << 2;
3094
3095 /* Process third byte of a triplet. */
3096
3097 if (i == length)
3098 {
3099 *e++ = base64_value_to_char[value];
3100 *e++ = '=';
3101 break;
3102 }
3103
2efdd1b9
KH
3104 if (multibyte)
3105 {
f1e59824 3106 c = STRING_CHAR_AND_LENGTH ((unsigned char *) from + i, bytes);
680d4b87
KH
3107 if (CHAR_BYTE8_P (c))
3108 c = CHAR_TO_BYTE8 (c);
3109 else if (c >= 256)
844eb643 3110 return -1;
caff31d4 3111 i += bytes;
2efdd1b9
KH
3112 }
3113 else
3114 c = from[i++];
24c129e4
KH
3115
3116 *e++ = base64_value_to_char[value | (0x03 & c >> 6)];
3117 *e++ = base64_value_to_char[0x3f & c];
3118 }
3119
24c129e4
KH
3120 return e - to;
3121}
3122
3123
3124DEFUN ("base64-decode-region", Fbase64_decode_region, Sbase64_decode_region,
47cebab1 3125 2, 2, "r",
e9d8ddc9 3126 doc: /* Base64-decode the region between BEG and END.
47cebab1 3127Return the length of the decoded text.
e9d8ddc9 3128If the region can't be decoded, signal an error and don't modify the buffer. */)
5842a27b 3129 (Lisp_Object beg, Lisp_Object end)
24c129e4 3130{
d311d28c 3131 ptrdiff_t ibeg, iend, length, allength;
24c129e4 3132 char *decoded;
d311d28c
PE
3133 ptrdiff_t old_pos = PT;
3134 ptrdiff_t decoded_length;
3135 ptrdiff_t inserted_chars;
f75d7a91 3136 bool multibyte = !NILP (BVAR (current_buffer, enable_multibyte_characters));
799c08ac 3137 USE_SAFE_ALLOCA;
24c129e4
KH
3138
3139 validate_region (&beg, &end);
3140
3141 ibeg = CHAR_TO_BYTE (XFASTINT (beg));
3142 iend = CHAR_TO_BYTE (XFASTINT (end));
3143
3144 length = iend - ibeg;
caff31d4
KH
3145
3146 /* We need to allocate enough room for decoding the text. If we are
3147 working on a multibyte buffer, each decoded code may occupy at
3148 most two bytes. */
3149 allength = multibyte ? length * 2 : length;
98c6f1e3 3150 decoded = SAFE_ALLOCA (allength);
24c129e4
KH
3151
3152 move_gap_both (XFASTINT (beg), ibeg);
f1e59824
PE
3153 decoded_length = base64_decode_1 ((char *) BYTE_POS_ADDR (ibeg),
3154 decoded, length,
caff31d4
KH
3155 multibyte, &inserted_chars);
3156 if (decoded_length > allength)
1088b922 3157 emacs_abort ();
24c129e4
KH
3158
3159 if (decoded_length < 0)
8c217645
KH
3160 {
3161 /* The decoding wasn't possible. */
233f3db6 3162 SAFE_FREE ();
a90e80bf 3163 error ("Invalid base64 data");
8c217645 3164 }
24c129e4
KH
3165
3166 /* Now we have decoded the region, so we insert the new contents
3167 and delete the old. (Insert first in order to preserve markers.) */
59f953a2 3168 TEMP_SET_PT_BOTH (XFASTINT (beg), ibeg);
2efdd1b9 3169 insert_1_both (decoded, inserted_chars, decoded_length, 0, 1, 0);
233f3db6 3170 SAFE_FREE ();
799c08ac 3171
2efdd1b9
KH
3172 /* Delete the original text. */
3173 del_range_both (PT, PT_BYTE, XFASTINT (end) + inserted_chars,
3174 iend + decoded_length, 1);
24c129e4
KH
3175
3176 /* If point was outside of the region, restore it exactly; else just
3177 move to the beginning of the region. */
3178 if (old_pos >= XFASTINT (end))
9b703a38
KH
3179 old_pos += inserted_chars - (XFASTINT (end) - XFASTINT (beg));
3180 else if (old_pos > XFASTINT (beg))
3181 old_pos = XFASTINT (beg);
e52ad9c9 3182 SET_PT (old_pos > ZV ? ZV : old_pos);
24c129e4 3183
9b703a38 3184 return make_number (inserted_chars);
24c129e4
KH
3185}
3186
3187DEFUN ("base64-decode-string", Fbase64_decode_string, Sbase64_decode_string,
3188 1, 1, 0,
e9d8ddc9 3189 doc: /* Base64-decode STRING and return the result. */)
5842a27b 3190 (Lisp_Object string)
24c129e4
KH
3191{
3192 char *decoded;
d311d28c 3193 ptrdiff_t length, decoded_length;
4b2e75e6 3194 Lisp_Object decoded_string;
799c08ac 3195 USE_SAFE_ALLOCA;
24c129e4 3196
b7826503 3197 CHECK_STRING (string);
24c129e4 3198
d5db4077 3199 length = SBYTES (string);
24c129e4 3200 /* We need to allocate enough room for decoding the text. */
98c6f1e3 3201 decoded = SAFE_ALLOCA (length);
24c129e4 3202
8ec118cd 3203 /* The decoded result should be unibyte. */
42a5b22f 3204 decoded_length = base64_decode_1 (SSDATA (string), decoded, length,
8ec118cd 3205 0, NULL);
24c129e4 3206 if (decoded_length > length)
1088b922 3207 emacs_abort ();
3d6c79c5 3208 else if (decoded_length >= 0)
2efdd1b9 3209 decoded_string = make_unibyte_string (decoded, decoded_length);
3d6c79c5
GM
3210 else
3211 decoded_string = Qnil;
24c129e4 3212
233f3db6 3213 SAFE_FREE ();
3d6c79c5 3214 if (!STRINGP (decoded_string))
a90e80bf 3215 error ("Invalid base64 data");
4b2e75e6
EZ
3216
3217 return decoded_string;
24c129e4
KH
3218}
3219
53964682 3220/* Base64-decode the data at FROM of LENGTH bytes into TO. If
f75d7a91 3221 MULTIBYTE, the decoded result should be in multibyte
9858f6c3 3222 form. If NCHARS_RETURN is not NULL, store the number of produced
caff31d4
KH
3223 characters in *NCHARS_RETURN. */
3224
d311d28c
PE
3225static ptrdiff_t
3226base64_decode_1 (const char *from, char *to, ptrdiff_t length,
f75d7a91 3227 bool multibyte, ptrdiff_t *nchars_return)
24c129e4 3228{
d311d28c 3229 ptrdiff_t i = 0; /* Used inside READ_QUADRUPLET_BYTE */
24c129e4
KH
3230 char *e = to;
3231 unsigned char c;
3232 unsigned long value;
d311d28c 3233 ptrdiff_t nchars = 0;
24c129e4 3234
9a092df0 3235 while (1)
24c129e4 3236 {
9a092df0 3237 /* Process first byte of a quadruplet. */
24c129e4 3238
9a092df0 3239 READ_QUADRUPLET_BYTE (e-to);
24c129e4
KH
3240
3241 if (!IS_BASE64 (c))
3242 return -1;
3243 value = base64_char_to_value[c] << 18;
3244
3245 /* Process second byte of a quadruplet. */
3246
9a092df0 3247 READ_QUADRUPLET_BYTE (-1);
24c129e4
KH
3248
3249 if (!IS_BASE64 (c))
3250 return -1;
3251 value |= base64_char_to_value[c] << 12;
3252
caff31d4 3253 c = (unsigned char) (value >> 16);
5a38b8c5
KH
3254 if (multibyte && c >= 128)
3255 e += BYTE8_STRING (c, e);
caff31d4
KH
3256 else
3257 *e++ = c;
3258 nchars++;
24c129e4
KH
3259
3260 /* Process third byte of a quadruplet. */
59f953a2 3261
9a092df0 3262 READ_QUADRUPLET_BYTE (-1);
24c129e4
KH
3263
3264 if (c == '=')
3265 {
9a092df0 3266 READ_QUADRUPLET_BYTE (-1);
59f953a2 3267
24c129e4
KH
3268 if (c != '=')
3269 return -1;
3270 continue;
3271 }
3272
3273 if (!IS_BASE64 (c))
3274 return -1;
3275 value |= base64_char_to_value[c] << 6;
3276
caff31d4 3277 c = (unsigned char) (0xff & value >> 8);
5a38b8c5
KH
3278 if (multibyte && c >= 128)
3279 e += BYTE8_STRING (c, e);
caff31d4
KH
3280 else
3281 *e++ = c;
3282 nchars++;
24c129e4
KH
3283
3284 /* Process fourth byte of a quadruplet. */
3285
9a092df0 3286 READ_QUADRUPLET_BYTE (-1);
24c129e4
KH
3287
3288 if (c == '=')
3289 continue;
3290
3291 if (!IS_BASE64 (c))
3292 return -1;
3293 value |= base64_char_to_value[c];
3294
caff31d4 3295 c = (unsigned char) (0xff & value);
5a38b8c5
KH
3296 if (multibyte && c >= 128)
3297 e += BYTE8_STRING (c, e);
caff31d4
KH
3298 else
3299 *e++ = c;
3300 nchars++;
24c129e4 3301 }
24c129e4 3302}
d80c6c11
GM
3303
3304
3305\f
3306/***********************************************************************
3307 ***** *****
3308 ***** Hash Tables *****
3309 ***** *****
3310 ***********************************************************************/
3311
3312/* Implemented by gerd@gnu.org. This hash table implementation was
3313 inspired by CMUCL hash tables. */
3314
3315/* Ideas:
3316
3317 1. For small tables, association lists are probably faster than
3318 hash tables because they have lower overhead.
3319
3320 For uses of hash tables where the O(1) behavior of table
3321 operations is not a requirement, it might therefore be a good idea
3322 not to hash. Instead, we could just do a linear search in the
3323 key_and_value vector of the hash table. This could be done
3324 if a `:linear-search t' argument is given to make-hash-table. */
3325
3326
d80c6c11
GM
3327/* The list of all weak hash tables. Don't staticpro this one. */
3328
dfcf3579 3329static struct Lisp_Hash_Table *weak_hash_tables;
d80c6c11
GM
3330
3331/* Various symbols. */
3332
84575e67
PE
3333static Lisp_Object Qhash_table_p;
3334static Lisp_Object Qkey, Qvalue, Qeql;
53371430 3335Lisp_Object Qeq, Qequal;
ee0403b3 3336Lisp_Object QCtest, QCsize, QCrehash_size, QCrehash_threshold, QCweakness;
955cbe7b 3337static Lisp_Object Qhash_table_test, Qkey_or_value, Qkey_and_value;
d80c6c11 3338
d80c6c11
GM
3339\f
3340/***********************************************************************
3341 Utilities
3342 ***********************************************************************/
3343
84575e67
PE
3344static void
3345CHECK_HASH_TABLE (Lisp_Object x)
3346{
3347 CHECK_TYPE (HASH_TABLE_P (x), Qhash_table_p, x);
3348}
3349
3350static void
3351set_hash_key_and_value (struct Lisp_Hash_Table *h, Lisp_Object key_and_value)
3352{
3353 h->key_and_value = key_and_value;
3354}
3355static void
3356set_hash_next (struct Lisp_Hash_Table *h, Lisp_Object next)
3357{
3358 h->next = next;
3359}
3360static void
3361set_hash_next_slot (struct Lisp_Hash_Table *h, ptrdiff_t idx, Lisp_Object val)
3362{
3363 gc_aset (h->next, idx, val);
3364}
3365static void
3366set_hash_hash (struct Lisp_Hash_Table *h, Lisp_Object hash)
3367{
3368 h->hash = hash;
3369}
3370static void
3371set_hash_hash_slot (struct Lisp_Hash_Table *h, ptrdiff_t idx, Lisp_Object val)
3372{
3373 gc_aset (h->hash, idx, val);
3374}
3375static void
3376set_hash_index (struct Lisp_Hash_Table *h, Lisp_Object index)
3377{
3378 h->index = index;
3379}
3380static void
3381set_hash_index_slot (struct Lisp_Hash_Table *h, ptrdiff_t idx, Lisp_Object val)
3382{
3383 gc_aset (h->index, idx, val);
3384}
3385
d80c6c11
GM
3386/* If OBJ is a Lisp hash table, return a pointer to its struct
3387 Lisp_Hash_Table. Otherwise, signal an error. */
3388
3389static struct Lisp_Hash_Table *
971de7fb 3390check_hash_table (Lisp_Object obj)
d80c6c11 3391{
b7826503 3392 CHECK_HASH_TABLE (obj);
d80c6c11
GM
3393 return XHASH_TABLE (obj);
3394}
3395
3396
3397/* Value is the next integer I >= N, N >= 0 which is "almost" a prime
ca9ce8f2
PE
3398 number. A number is "almost" a prime number if it is not divisible
3399 by any integer in the range 2 .. (NEXT_ALMOST_PRIME_LIMIT - 1). */
d80c6c11 3400
0de4bb68
PE
3401EMACS_INT
3402next_almost_prime (EMACS_INT n)
d80c6c11 3403{
ca9ce8f2 3404 verify (NEXT_ALMOST_PRIME_LIMIT == 11);
86fe5cfe
PE
3405 for (n |= 1; ; n += 2)
3406 if (n % 3 != 0 && n % 5 != 0 && n % 7 != 0)
3407 return n;
d80c6c11
GM
3408}
3409
3410
3411/* Find KEY in ARGS which has size NARGS. Don't consider indices for
3412 which USED[I] is non-zero. If found at index I in ARGS, set
3413 USED[I] and USED[I + 1] to 1, and return I + 1. Otherwise return
c5101a77 3414 0. This function is used to extract a keyword/argument pair from
d80c6c11
GM
3415 a DEFUN parameter list. */
3416
f66c7cf8
PE
3417static ptrdiff_t
3418get_key_arg (Lisp_Object key, ptrdiff_t nargs, Lisp_Object *args, char *used)
d80c6c11 3419{
f66c7cf8 3420 ptrdiff_t i;
59f953a2 3421
c5101a77
PE
3422 for (i = 1; i < nargs; i++)
3423 if (!used[i - 1] && EQ (args[i - 1], key))
3424 {
3425 used[i - 1] = 1;
3426 used[i] = 1;
3427 return i;
3428 }
59f953a2 3429
c5101a77 3430 return 0;
d80c6c11
GM
3431}
3432
3433
3434/* Return a Lisp vector which has the same contents as VEC but has
d311d28c
PE
3435 at least INCR_MIN more entries, where INCR_MIN is positive.
3436 If NITEMS_MAX is not -1, do not grow the vector to be any larger
3437 than NITEMS_MAX. Entries in the resulting
3438 vector that are not copied from VEC are set to nil. */
d80c6c11 3439
fa7dad5b 3440Lisp_Object
8c172e82 3441larger_vector (Lisp_Object vec, ptrdiff_t incr_min, ptrdiff_t nitems_max)
d80c6c11
GM
3442{
3443 struct Lisp_Vector *v;
d311d28c 3444 ptrdiff_t i, incr, incr_max, old_size, new_size;
91f2d272 3445 ptrdiff_t C_language_max = min (PTRDIFF_MAX, SIZE_MAX) / sizeof *v->contents;
8c172e82
PE
3446 ptrdiff_t n_max = (0 <= nitems_max && nitems_max < C_language_max
3447 ? nitems_max : C_language_max);
a54e2c05
DA
3448 eassert (VECTORP (vec));
3449 eassert (0 < incr_min && -1 <= nitems_max);
7edbb0da 3450 old_size = ASIZE (vec);
d311d28c
PE
3451 incr_max = n_max - old_size;
3452 incr = max (incr_min, min (old_size >> 1, incr_max));
3453 if (incr_max < incr)
3454 memory_full (SIZE_MAX);
3455 new_size = old_size + incr;
b3660ef6 3456 v = allocate_vector (new_size);
91f2d272 3457 memcpy (v->contents, XVECTOR (vec)->contents, old_size * sizeof *v->contents);
d80c6c11 3458 for (i = old_size; i < new_size; ++i)
91f2d272 3459 v->contents[i] = Qnil;
d80c6c11
GM
3460 XSETVECTOR (vec, v);
3461 return vec;
3462}
3463
3464
3465/***********************************************************************
3466 Low-level Functions
3467 ***********************************************************************/
3468
53371430
PE
3469static struct hash_table_test hashtest_eq;
3470struct hash_table_test hashtest_eql, hashtest_equal;
b7432bb2 3471
d80c6c11 3472/* Compare KEY1 which has hash code HASH1 and KEY2 with hash code
f75d7a91 3473 HASH2 in hash table H using `eql'. Value is true if KEY1 and
d80c6c11
GM
3474 KEY2 are the same. */
3475
f75d7a91 3476static bool
b7432bb2
SM
3477cmpfn_eql (struct hash_table_test *ht,
3478 Lisp_Object key1,
3479 Lisp_Object key2)
d80c6c11 3480{
2e5da676
GM
3481 return (FLOATP (key1)
3482 && FLOATP (key2)
e84b1dea 3483 && XFLOAT_DATA (key1) == XFLOAT_DATA (key2));
d80c6c11
GM
3484}
3485
3486
3487/* Compare KEY1 which has hash code HASH1 and KEY2 with hash code
f75d7a91 3488 HASH2 in hash table H using `equal'. Value is true if KEY1 and
d80c6c11
GM
3489 KEY2 are the same. */
3490
f75d7a91 3491static bool
b7432bb2
SM
3492cmpfn_equal (struct hash_table_test *ht,
3493 Lisp_Object key1,
3494 Lisp_Object key2)
d80c6c11 3495{
b7432bb2 3496 return !NILP (Fequal (key1, key2));
d80c6c11
GM
3497}
3498
59f953a2 3499
d80c6c11 3500/* Compare KEY1 which has hash code HASH1, and KEY2 with hash code
f75d7a91 3501 HASH2 in hash table H using H->user_cmp_function. Value is true
d80c6c11
GM
3502 if KEY1 and KEY2 are the same. */
3503
f75d7a91 3504static bool
b7432bb2
SM
3505cmpfn_user_defined (struct hash_table_test *ht,
3506 Lisp_Object key1,
3507 Lisp_Object key2)
d80c6c11 3508{
b7432bb2 3509 Lisp_Object args[3];
59f953a2 3510
b7432bb2
SM
3511 args[0] = ht->user_cmp_function;
3512 args[1] = key1;
3513 args[2] = key2;
3514 return !NILP (Ffuncall (3, args));
d80c6c11
GM
3515}
3516
3517
3518/* Value is a hash code for KEY for use in hash table H which uses
3519 `eq' to compare keys. The hash code returned is guaranteed to fit
3520 in a Lisp integer. */
3521
0de4bb68 3522static EMACS_UINT
b7432bb2 3523hashfn_eq (struct hash_table_test *ht, Lisp_Object key)
d80c6c11 3524{
61ddb1b9 3525 EMACS_UINT hash = XHASH (key) ^ XTYPE (key);
cf681889 3526 return hash;
d80c6c11
GM
3527}
3528
d80c6c11
GM
3529/* Value is a hash code for KEY for use in hash table H which uses
3530 `eql' to compare keys. The hash code returned is guaranteed to fit
3531 in a Lisp integer. */
3532
0de4bb68 3533static EMACS_UINT
b7432bb2 3534hashfn_eql (struct hash_table_test *ht, Lisp_Object key)
d80c6c11 3535{
0de4bb68 3536 EMACS_UINT hash;
cf681889
GM
3537 if (FLOATP (key))
3538 hash = sxhash (key, 0);
d80c6c11 3539 else
61ddb1b9 3540 hash = XHASH (key) ^ XTYPE (key);
cf681889 3541 return hash;
d80c6c11
GM
3542}
3543
d80c6c11
GM
3544/* Value is a hash code for KEY for use in hash table H which uses
3545 `equal' to compare keys. The hash code returned is guaranteed to fit
3546 in a Lisp integer. */
3547
0de4bb68 3548static EMACS_UINT
b7432bb2 3549hashfn_equal (struct hash_table_test *ht, Lisp_Object key)
d80c6c11 3550{
0de4bb68 3551 EMACS_UINT hash = sxhash (key, 0);
cf681889 3552 return hash;
d80c6c11
GM
3553}
3554
d80c6c11
GM
3555/* Value is a hash code for KEY for use in hash table H which uses as
3556 user-defined function to compare keys. The hash code returned is
3557 guaranteed to fit in a Lisp integer. */
3558
0de4bb68 3559static EMACS_UINT
b7432bb2 3560hashfn_user_defined (struct hash_table_test *ht, Lisp_Object key)
d80c6c11
GM
3561{
3562 Lisp_Object args[2], hash;
59f953a2 3563
b7432bb2 3564 args[0] = ht->user_hash_function;
d80c6c11
GM
3565 args[1] = key;
3566 hash = Ffuncall (2, args);
79804536 3567 return hashfn_eq (ht, hash);
d80c6c11
GM
3568}
3569
d311d28c
PE
3570/* An upper bound on the size of a hash table index. It must fit in
3571 ptrdiff_t and be a valid Emacs fixnum. */
3572#define INDEX_SIZE_BOUND \
663e2b3f 3573 ((ptrdiff_t) min (MOST_POSITIVE_FIXNUM, PTRDIFF_MAX / word_size))
d80c6c11
GM
3574
3575/* Create and initialize a new hash table.
3576
3577 TEST specifies the test the hash table will use to compare keys.
3578 It must be either one of the predefined tests `eq', `eql' or
3579 `equal' or a symbol denoting a user-defined test named TEST with
3580 test and hash functions USER_TEST and USER_HASH.
59f953a2 3581
1fd4c450 3582 Give the table initial capacity SIZE, SIZE >= 0, an integer.
d80c6c11
GM
3583
3584 If REHASH_SIZE is an integer, it must be > 0, and this hash table's
3585 new size when it becomes full is computed by adding REHASH_SIZE to
3586 its old size. If REHASH_SIZE is a float, it must be > 1.0, and the
3587 table's new size is computed by multiplying its old size with
3588 REHASH_SIZE.
3589
3590 REHASH_THRESHOLD must be a float <= 1.0, and > 0. The table will
3591 be resized when the ratio of (number of entries in the table) /
3592 (table size) is >= REHASH_THRESHOLD.
3593
3594 WEAK specifies the weakness of the table. If non-nil, it must be
ec504e6f 3595 one of the symbols `key', `value', `key-or-value', or `key-and-value'. */
d80c6c11
GM
3596
3597Lisp_Object
b7432bb2
SM
3598make_hash_table (struct hash_table_test test,
3599 Lisp_Object size, Lisp_Object rehash_size,
3600 Lisp_Object rehash_threshold, Lisp_Object weak)
d80c6c11
GM
3601{
3602 struct Lisp_Hash_Table *h;
d80c6c11 3603 Lisp_Object table;
d311d28c
PE
3604 EMACS_INT index_size, sz;
3605 ptrdiff_t i;
0de4bb68 3606 double index_float;
d80c6c11
GM
3607
3608 /* Preconditions. */
b7432bb2 3609 eassert (SYMBOLP (test.name));
a54e2c05
DA
3610 eassert (INTEGERP (size) && XINT (size) >= 0);
3611 eassert ((INTEGERP (rehash_size) && XINT (rehash_size) > 0)
0de4bb68 3612 || (FLOATP (rehash_size) && 1 < XFLOAT_DATA (rehash_size)));
a54e2c05 3613 eassert (FLOATP (rehash_threshold)
0de4bb68
PE
3614 && 0 < XFLOAT_DATA (rehash_threshold)
3615 && XFLOAT_DATA (rehash_threshold) <= 1.0);
d80c6c11 3616
1fd4c450
GM
3617 if (XFASTINT (size) == 0)
3618 size = make_number (1);
3619
0de4bb68
PE
3620 sz = XFASTINT (size);
3621 index_float = sz / XFLOAT_DATA (rehash_threshold);
d311d28c 3622 index_size = (index_float < INDEX_SIZE_BOUND + 1
0de4bb68 3623 ? next_almost_prime (index_float)
d311d28c
PE
3624 : INDEX_SIZE_BOUND + 1);
3625 if (INDEX_SIZE_BOUND < max (index_size, 2 * sz))
0de4bb68
PE
3626 error ("Hash table too large");
3627
b3660ef6
GM
3628 /* Allocate a table and initialize it. */
3629 h = allocate_hash_table ();
d80c6c11
GM
3630
3631 /* Initialize hash table slots. */
d80c6c11 3632 h->test = test;
d80c6c11
GM
3633 h->weak = weak;
3634 h->rehash_threshold = rehash_threshold;
3635 h->rehash_size = rehash_size;
878f97ff 3636 h->count = 0;
d80c6c11
GM
3637 h->key_and_value = Fmake_vector (make_number (2 * sz), Qnil);
3638 h->hash = Fmake_vector (size, Qnil);
3639 h->next = Fmake_vector (size, Qnil);
d80c6c11
GM
3640 h->index = Fmake_vector (make_number (index_size), Qnil);
3641
3642 /* Set up the free list. */
3643 for (i = 0; i < sz - 1; ++i)
e83064be 3644 set_hash_next_slot (h, i, make_number (i + 1));
d80c6c11
GM
3645 h->next_free = make_number (0);
3646
3647 XSET_HASH_TABLE (table, h);
a54e2c05
DA
3648 eassert (HASH_TABLE_P (table));
3649 eassert (XHASH_TABLE (table) == h);
d80c6c11
GM
3650
3651 /* Maybe add this hash table to the list of all weak hash tables. */
3652 if (NILP (h->weak))
6c661ec9 3653 h->next_weak = NULL;
d80c6c11
GM
3654 else
3655 {
6c661ec9
SM
3656 h->next_weak = weak_hash_tables;
3657 weak_hash_tables = h;
d80c6c11
GM
3658 }
3659
3660 return table;
3661}
3662
3663
f899c503
GM
3664/* Return a copy of hash table H1. Keys and values are not copied,
3665 only the table itself is. */
3666
2f7c71a1 3667static Lisp_Object
971de7fb 3668copy_hash_table (struct Lisp_Hash_Table *h1)
f899c503
GM
3669{
3670 Lisp_Object table;
3671 struct Lisp_Hash_Table *h2;
59f953a2 3672
b3660ef6 3673 h2 = allocate_hash_table ();
ae1d87e2 3674 *h2 = *h1;
f899c503
GM
3675 h2->key_and_value = Fcopy_sequence (h1->key_and_value);
3676 h2->hash = Fcopy_sequence (h1->hash);
3677 h2->next = Fcopy_sequence (h1->next);
3678 h2->index = Fcopy_sequence (h1->index);
3679 XSET_HASH_TABLE (table, h2);
3680
3681 /* Maybe add this hash table to the list of all weak hash tables. */
3682 if (!NILP (h2->weak))
3683 {
6c661ec9
SM
3684 h2->next_weak = weak_hash_tables;
3685 weak_hash_tables = h2;
f899c503
GM
3686 }
3687
3688 return table;
3689}
3690
3691
d80c6c11
GM
3692/* Resize hash table H if it's too full. If H cannot be resized
3693 because it's already too large, throw an error. */
3694
b0ab8123 3695static void
971de7fb 3696maybe_resize_hash_table (struct Lisp_Hash_Table *h)
d80c6c11
GM
3697{
3698 if (NILP (h->next_free))
3699 {
d311d28c
PE
3700 ptrdiff_t old_size = HASH_TABLE_SIZE (h);
3701 EMACS_INT new_size, index_size, nsize;
3702 ptrdiff_t i;
0de4bb68 3703 double index_float;
59f953a2 3704
d80c6c11
GM
3705 if (INTEGERP (h->rehash_size))
3706 new_size = old_size + XFASTINT (h->rehash_size);
3707 else
0de4bb68
PE
3708 {
3709 double float_new_size = old_size * XFLOAT_DATA (h->rehash_size);
d311d28c 3710 if (float_new_size < INDEX_SIZE_BOUND + 1)
0de4bb68
PE
3711 {
3712 new_size = float_new_size;
3713 if (new_size <= old_size)
3714 new_size = old_size + 1;
3715 }
3716 else
d311d28c 3717 new_size = INDEX_SIZE_BOUND + 1;
0de4bb68
PE
3718 }
3719 index_float = new_size / XFLOAT_DATA (h->rehash_threshold);
d311d28c 3720 index_size = (index_float < INDEX_SIZE_BOUND + 1
0de4bb68 3721 ? next_almost_prime (index_float)
d311d28c 3722 : INDEX_SIZE_BOUND + 1);
9bd1cd35 3723 nsize = max (index_size, 2 * new_size);
d311d28c 3724 if (INDEX_SIZE_BOUND < nsize)
d80c6c11
GM
3725 error ("Hash table too large to resize");
3726
1ec4b7b2
SM
3727#ifdef ENABLE_CHECKING
3728 if (HASH_TABLE_P (Vpurify_flag)
3729 && XHASH_TABLE (Vpurify_flag) == h)
3730 {
3731 Lisp_Object args[2];
3732 args[0] = build_string ("Growing hash table to: %d");
3733 args[1] = make_number (new_size);
3734 Fmessage (2, args);
3735 }
3736#endif
3737
e83064be
DA
3738 set_hash_key_and_value (h, larger_vector (h->key_and_value,
3739 2 * (new_size - old_size), -1));
3740 set_hash_next (h, larger_vector (h->next, new_size - old_size, -1));
3741 set_hash_hash (h, larger_vector (h->hash, new_size - old_size, -1));
3742 set_hash_index (h, Fmake_vector (make_number (index_size), Qnil));
d80c6c11
GM
3743
3744 /* Update the free list. Do it so that new entries are added at
3745 the end of the free list. This makes some operations like
3746 maphash faster. */
3747 for (i = old_size; i < new_size - 1; ++i)
e83064be 3748 set_hash_next_slot (h, i, make_number (i + 1));
59f953a2 3749
d80c6c11
GM
3750 if (!NILP (h->next_free))
3751 {
3752 Lisp_Object last, next;
59f953a2 3753
d80c6c11
GM
3754 last = h->next_free;
3755 while (next = HASH_NEXT (h, XFASTINT (last)),
3756 !NILP (next))
3757 last = next;
59f953a2 3758
e83064be 3759 set_hash_next_slot (h, XFASTINT (last), make_number (old_size));
d80c6c11
GM
3760 }
3761 else
3762 XSETFASTINT (h->next_free, old_size);
3763
3764 /* Rehash. */
3765 for (i = 0; i < old_size; ++i)
3766 if (!NILP (HASH_HASH (h, i)))
3767 {
0de4bb68 3768 EMACS_UINT hash_code = XUINT (HASH_HASH (h, i));
d311d28c 3769 ptrdiff_t start_of_bucket = hash_code % ASIZE (h->index);
e83064be
DA
3770 set_hash_next_slot (h, i, HASH_INDEX (h, start_of_bucket));
3771 set_hash_index_slot (h, start_of_bucket, make_number (i));
d80c6c11 3772 }
59f953a2 3773 }
d80c6c11
GM
3774}
3775
3776
3777/* Lookup KEY in hash table H. If HASH is non-null, return in *HASH
3778 the hash code of KEY. Value is the index of the entry in H
3779 matching KEY, or -1 if not found. */
3780
d3411f89 3781ptrdiff_t
0de4bb68 3782hash_lookup (struct Lisp_Hash_Table *h, Lisp_Object key, EMACS_UINT *hash)
d80c6c11 3783{
0de4bb68 3784 EMACS_UINT hash_code;
d3411f89 3785 ptrdiff_t start_of_bucket;
d80c6c11
GM
3786 Lisp_Object idx;
3787
b7432bb2
SM
3788 hash_code = h->test.hashfn (&h->test, key);
3789 eassert ((hash_code & ~INTMASK) == 0);
d80c6c11
GM
3790 if (hash)
3791 *hash = hash_code;
59f953a2 3792
7edbb0da 3793 start_of_bucket = hash_code % ASIZE (h->index);
d80c6c11
GM
3794 idx = HASH_INDEX (h, start_of_bucket);
3795
f5c75033 3796 /* We need not gcpro idx since it's either an integer or nil. */
d80c6c11
GM
3797 while (!NILP (idx))
3798 {
d311d28c 3799 ptrdiff_t i = XFASTINT (idx);
2e5da676 3800 if (EQ (key, HASH_KEY (h, i))
b7432bb2
SM
3801 || (h->test.cmpfn
3802 && hash_code == XUINT (HASH_HASH (h, i))
3803 && h->test.cmpfn (&h->test, key, HASH_KEY (h, i))))
d80c6c11
GM
3804 break;
3805 idx = HASH_NEXT (h, i);
3806 }
3807
3808 return NILP (idx) ? -1 : XFASTINT (idx);
3809}
3810
3811
3812/* Put an entry into hash table H that associates KEY with VALUE.
64a5094a
KH
3813 HASH is a previously computed hash code of KEY.
3814 Value is the index of the entry in H matching KEY. */
d80c6c11 3815
d3411f89 3816ptrdiff_t
0de4bb68
PE
3817hash_put (struct Lisp_Hash_Table *h, Lisp_Object key, Lisp_Object value,
3818 EMACS_UINT hash)
d80c6c11 3819{
d3411f89 3820 ptrdiff_t start_of_bucket, i;
d80c6c11 3821
a54e2c05 3822 eassert ((hash & ~INTMASK) == 0);
d80c6c11
GM
3823
3824 /* Increment count after resizing because resizing may fail. */
3825 maybe_resize_hash_table (h);
878f97ff 3826 h->count++;
59f953a2 3827
d80c6c11
GM
3828 /* Store key/value in the key_and_value vector. */
3829 i = XFASTINT (h->next_free);
3830 h->next_free = HASH_NEXT (h, i);
e83064be
DA
3831 set_hash_key_slot (h, i, key);
3832 set_hash_value_slot (h, i, value);
d80c6c11
GM
3833
3834 /* Remember its hash code. */
e83064be 3835 set_hash_hash_slot (h, i, make_number (hash));
d80c6c11
GM
3836
3837 /* Add new entry to its collision chain. */
7edbb0da 3838 start_of_bucket = hash % ASIZE (h->index);
e83064be
DA
3839 set_hash_next_slot (h, i, HASH_INDEX (h, start_of_bucket));
3840 set_hash_index_slot (h, start_of_bucket, make_number (i));
64a5094a 3841 return i;
d80c6c11
GM
3842}
3843
3844
3845/* Remove the entry matching KEY from hash table H, if there is one. */
3846
2749d28e 3847static void
971de7fb 3848hash_remove_from_table (struct Lisp_Hash_Table *h, Lisp_Object key)
d80c6c11 3849{
0de4bb68 3850 EMACS_UINT hash_code;
d311d28c 3851 ptrdiff_t start_of_bucket;
d80c6c11
GM
3852 Lisp_Object idx, prev;
3853
b7432bb2
SM
3854 hash_code = h->test.hashfn (&h->test, key);
3855 eassert ((hash_code & ~INTMASK) == 0);
7edbb0da 3856 start_of_bucket = hash_code % ASIZE (h->index);
d80c6c11
GM
3857 idx = HASH_INDEX (h, start_of_bucket);
3858 prev = Qnil;
3859
f5c75033 3860 /* We need not gcpro idx, prev since they're either integers or nil. */
d80c6c11
GM
3861 while (!NILP (idx))
3862 {
d311d28c 3863 ptrdiff_t i = XFASTINT (idx);
d80c6c11 3864
2e5da676 3865 if (EQ (key, HASH_KEY (h, i))
b7432bb2
SM
3866 || (h->test.cmpfn
3867 && hash_code == XUINT (HASH_HASH (h, i))
3868 && h->test.cmpfn (&h->test, key, HASH_KEY (h, i))))
d80c6c11
GM
3869 {
3870 /* Take entry out of collision chain. */
3871 if (NILP (prev))
e83064be 3872 set_hash_index_slot (h, start_of_bucket, HASH_NEXT (h, i));
d80c6c11 3873 else
e83064be 3874 set_hash_next_slot (h, XFASTINT (prev), HASH_NEXT (h, i));
d80c6c11
GM
3875
3876 /* Clear slots in key_and_value and add the slots to
3877 the free list. */
e83064be
DA
3878 set_hash_key_slot (h, i, Qnil);
3879 set_hash_value_slot (h, i, Qnil);
3880 set_hash_hash_slot (h, i, Qnil);
3881 set_hash_next_slot (h, i, h->next_free);
d80c6c11 3882 h->next_free = make_number (i);
878f97ff 3883 h->count--;
a54e2c05 3884 eassert (h->count >= 0);
d80c6c11
GM
3885 break;
3886 }
3887 else
3888 {
3889 prev = idx;
3890 idx = HASH_NEXT (h, i);
3891 }
3892 }
3893}
3894
3895
3896/* Clear hash table H. */
3897
2f7c71a1 3898static void
971de7fb 3899hash_clear (struct Lisp_Hash_Table *h)
d80c6c11 3900{
878f97ff 3901 if (h->count > 0)
d80c6c11 3902 {
d311d28c 3903 ptrdiff_t i, size = HASH_TABLE_SIZE (h);
d80c6c11
GM
3904
3905 for (i = 0; i < size; ++i)
3906 {
e83064be
DA
3907 set_hash_next_slot (h, i, i < size - 1 ? make_number (i + 1) : Qnil);
3908 set_hash_key_slot (h, i, Qnil);
3909 set_hash_value_slot (h, i, Qnil);
3910 set_hash_hash_slot (h, i, Qnil);
d80c6c11
GM
3911 }
3912
7edbb0da 3913 for (i = 0; i < ASIZE (h->index); ++i)
68b587a6 3914 ASET (h->index, i, Qnil);
d80c6c11
GM
3915
3916 h->next_free = make_number (0);
878f97ff 3917 h->count = 0;
d80c6c11
GM
3918 }
3919}
3920
3921
3922\f
3923/************************************************************************
3924 Weak Hash Tables
3925 ************************************************************************/
3926
f75d7a91 3927/* Sweep weak hash table H. REMOVE_ENTRIES_P means remove
a0b581cc 3928 entries from the table that don't survive the current GC.
f75d7a91
PE
3929 !REMOVE_ENTRIES_P means mark entries that are in use. Value is
3930 true if anything was marked. */
a0b581cc 3931
f75d7a91
PE
3932static bool
3933sweep_weak_table (struct Lisp_Hash_Table *h, bool remove_entries_p)
a0b581cc 3934{
d311d28c 3935 ptrdiff_t bucket, n;
f75d7a91 3936 bool marked;
59f953a2 3937
7edbb0da 3938 n = ASIZE (h->index) & ~ARRAY_MARK_FLAG;
a0b581cc 3939 marked = 0;
59f953a2 3940
a0b581cc
GM
3941 for (bucket = 0; bucket < n; ++bucket)
3942 {
1e546714 3943 Lisp_Object idx, next, prev;
a0b581cc
GM
3944
3945 /* Follow collision chain, removing entries that
3946 don't survive this garbage collection. */
a0b581cc 3947 prev = Qnil;
8e50cc2d 3948 for (idx = HASH_INDEX (h, bucket); !NILP (idx); idx = next)
a0b581cc 3949 {
d311d28c 3950 ptrdiff_t i = XFASTINT (idx);
fce31d69
PE
3951 bool key_known_to_survive_p = survives_gc_p (HASH_KEY (h, i));
3952 bool value_known_to_survive_p = survives_gc_p (HASH_VALUE (h, i));
f75d7a91 3953 bool remove_p;
59f953a2 3954
a0b581cc 3955 if (EQ (h->weak, Qkey))
aee625fa 3956 remove_p = !key_known_to_survive_p;
a0b581cc 3957 else if (EQ (h->weak, Qvalue))
aee625fa 3958 remove_p = !value_known_to_survive_p;
ec504e6f 3959 else if (EQ (h->weak, Qkey_or_value))
728c5d9d 3960 remove_p = !(key_known_to_survive_p || value_known_to_survive_p);
ec504e6f 3961 else if (EQ (h->weak, Qkey_and_value))
728c5d9d 3962 remove_p = !(key_known_to_survive_p && value_known_to_survive_p);
a0b581cc 3963 else
1088b922 3964 emacs_abort ();
59f953a2 3965
a0b581cc
GM
3966 next = HASH_NEXT (h, i);
3967
3968 if (remove_entries_p)
3969 {
3970 if (remove_p)
3971 {
3972 /* Take out of collision chain. */
8e50cc2d 3973 if (NILP (prev))
e83064be 3974 set_hash_index_slot (h, bucket, next);
a0b581cc 3975 else
e83064be 3976 set_hash_next_slot (h, XFASTINT (prev), next);
59f953a2 3977
a0b581cc 3978 /* Add to free list. */
e83064be 3979 set_hash_next_slot (h, i, h->next_free);
a0b581cc 3980 h->next_free = idx;
59f953a2 3981
a0b581cc 3982 /* Clear key, value, and hash. */
e83064be
DA
3983 set_hash_key_slot (h, i, Qnil);
3984 set_hash_value_slot (h, i, Qnil);
3985 set_hash_hash_slot (h, i, Qnil);
59f953a2 3986
878f97ff 3987 h->count--;
a0b581cc 3988 }
d278cde0
KS
3989 else
3990 {
3991 prev = idx;
3992 }
a0b581cc
GM
3993 }
3994 else
3995 {
3996 if (!remove_p)
3997 {
3998 /* Make sure key and value survive. */
aee625fa
GM
3999 if (!key_known_to_survive_p)
4000 {
9568e3d8 4001 mark_object (HASH_KEY (h, i));
aee625fa
GM
4002 marked = 1;
4003 }
4004
4005 if (!value_known_to_survive_p)
4006 {
9568e3d8 4007 mark_object (HASH_VALUE (h, i));
aee625fa
GM
4008 marked = 1;
4009 }
a0b581cc
GM
4010 }
4011 }
a0b581cc
GM
4012 }
4013 }
4014
4015 return marked;
4016}
4017
d80c6c11
GM
4018/* Remove elements from weak hash tables that don't survive the
4019 current garbage collection. Remove weak tables that don't survive
4020 from Vweak_hash_tables. Called from gc_sweep. */
4021
4022void
971de7fb 4023sweep_weak_hash_tables (void)
d80c6c11 4024{
6c661ec9 4025 struct Lisp_Hash_Table *h, *used, *next;
f75d7a91 4026 bool marked;
a0b581cc
GM
4027
4028 /* Mark all keys and values that are in use. Keep on marking until
4029 there is no more change. This is necessary for cases like
4030 value-weak table A containing an entry X -> Y, where Y is used in a
4031 key-weak table B, Z -> Y. If B comes after A in the list of weak
4032 tables, X -> Y might be removed from A, although when looking at B
4033 one finds that it shouldn't. */
4034 do
4035 {
4036 marked = 0;
6c661ec9 4037 for (h = weak_hash_tables; h; h = h->next_weak)
a0b581cc 4038 {
eab3844f 4039 if (h->header.size & ARRAY_MARK_FLAG)
a0b581cc
GM
4040 marked |= sweep_weak_table (h, 0);
4041 }
4042 }
4043 while (marked);
d80c6c11 4044
a0b581cc 4045 /* Remove tables and entries that aren't used. */
6c661ec9 4046 for (h = weak_hash_tables, used = NULL; h; h = next)
d80c6c11 4047 {
ac0e96ee 4048 next = h->next_weak;
91f78c99 4049
eab3844f 4050 if (h->header.size & ARRAY_MARK_FLAG)
d80c6c11 4051 {
ac0e96ee 4052 /* TABLE is marked as used. Sweep its contents. */
878f97ff 4053 if (h->count > 0)
a0b581cc 4054 sweep_weak_table (h, 1);
ac0e96ee
GM
4055
4056 /* Add table to the list of used weak hash tables. */
4057 h->next_weak = used;
6c661ec9 4058 used = h;
d80c6c11
GM
4059 }
4060 }
ac0e96ee 4061
6c661ec9 4062 weak_hash_tables = used;
d80c6c11
GM
4063}
4064
4065
4066\f
4067/***********************************************************************
4068 Hash Code Computation
4069 ***********************************************************************/
4070
4071/* Maximum depth up to which to dive into Lisp structures. */
4072
4073#define SXHASH_MAX_DEPTH 3
4074
4075/* Maximum length up to which to take list and vector elements into
4076 account. */
4077
4078#define SXHASH_MAX_LEN 7
4079
3cc5a532
PE
4080/* Return a hash for string PTR which has length LEN. The hash value
4081 can be any EMACS_UINT value. */
d80c6c11 4082
3cc5a532
PE
4083EMACS_UINT
4084hash_string (char const *ptr, ptrdiff_t len)
d80c6c11 4085{
3cc5a532
PE
4086 char const *p = ptr;
4087 char const *end = p + len;
d80c6c11 4088 unsigned char c;
0de4bb68 4089 EMACS_UINT hash = 0;
d80c6c11
GM
4090
4091 while (p != end)
4092 {
4093 c = *p++;
04a2d0d3 4094 hash = sxhash_combine (hash, c);
d80c6c11 4095 }
59f953a2 4096
3cc5a532
PE
4097 return hash;
4098}
4099
4100/* Return a hash for string PTR which has length LEN. The hash
4101 code returned is guaranteed to fit in a Lisp integer. */
4102
4103static EMACS_UINT
4104sxhash_string (char const *ptr, ptrdiff_t len)
4105{
4106 EMACS_UINT hash = hash_string (ptr, len);
0de4bb68 4107 return SXHASH_REDUCE (hash);
d80c6c11
GM
4108}
4109
0de4bb68
PE
4110/* Return a hash for the floating point value VAL. */
4111
eff1c190 4112static EMACS_UINT
0de4bb68
PE
4113sxhash_float (double val)
4114{
4115 EMACS_UINT hash = 0;
4116 enum {
4117 WORDS_PER_DOUBLE = (sizeof val / sizeof hash
4118 + (sizeof val % sizeof hash != 0))
4119 };
4120 union {
4121 double val;
4122 EMACS_UINT word[WORDS_PER_DOUBLE];
4123 } u;
4124 int i;
4125 u.val = val;
4126 memset (&u.val + 1, 0, sizeof u - sizeof u.val);
4127 for (i = 0; i < WORDS_PER_DOUBLE; i++)
04a2d0d3 4128 hash = sxhash_combine (hash, u.word[i]);
0de4bb68
PE
4129 return SXHASH_REDUCE (hash);
4130}
d80c6c11
GM
4131
4132/* Return a hash for list LIST. DEPTH is the current depth in the
4133 list. We don't recurse deeper than SXHASH_MAX_DEPTH in it. */
4134
0de4bb68 4135static EMACS_UINT
971de7fb 4136sxhash_list (Lisp_Object list, int depth)
d80c6c11 4137{
0de4bb68 4138 EMACS_UINT hash = 0;
d80c6c11 4139 int i;
59f953a2 4140
d80c6c11
GM
4141 if (depth < SXHASH_MAX_DEPTH)
4142 for (i = 0;
4143 CONSP (list) && i < SXHASH_MAX_LEN;
4144 list = XCDR (list), ++i)
4145 {
0de4bb68 4146 EMACS_UINT hash2 = sxhash (XCAR (list), depth + 1);
04a2d0d3 4147 hash = sxhash_combine (hash, hash2);
d80c6c11
GM
4148 }
4149
ea284f33
KS
4150 if (!NILP (list))
4151 {
0de4bb68 4152 EMACS_UINT hash2 = sxhash (list, depth + 1);
04a2d0d3 4153 hash = sxhash_combine (hash, hash2);
ea284f33
KS
4154 }
4155
0de4bb68 4156 return SXHASH_REDUCE (hash);
d80c6c11
GM
4157}
4158
4159
4160/* Return a hash for vector VECTOR. DEPTH is the current depth in
4161 the Lisp structure. */
4162
0de4bb68 4163static EMACS_UINT
971de7fb 4164sxhash_vector (Lisp_Object vec, int depth)
d80c6c11 4165{
0de4bb68 4166 EMACS_UINT hash = ASIZE (vec);
d80c6c11
GM
4167 int i, n;
4168
7edbb0da 4169 n = min (SXHASH_MAX_LEN, ASIZE (vec));
d80c6c11
GM
4170 for (i = 0; i < n; ++i)
4171 {
0de4bb68 4172 EMACS_UINT hash2 = sxhash (AREF (vec, i), depth + 1);
04a2d0d3 4173 hash = sxhash_combine (hash, hash2);
d80c6c11
GM
4174 }
4175
0de4bb68 4176 return SXHASH_REDUCE (hash);
d80c6c11
GM
4177}
4178
d80c6c11
GM
4179/* Return a hash for bool-vector VECTOR. */
4180
0de4bb68 4181static EMACS_UINT
971de7fb 4182sxhash_bool_vector (Lisp_Object vec)
d80c6c11 4183{
1c0a7493
PE
4184 EMACS_INT size = bool_vector_size (vec);
4185 EMACS_UINT hash = size;
d80c6c11
GM
4186 int i, n;
4187
df5b4930 4188 n = min (SXHASH_MAX_LEN, bool_vector_words (size));
d80c6c11 4189 for (i = 0; i < n; ++i)
df5b4930 4190 hash = sxhash_combine (hash, bool_vector_data (vec)[i]);
d80c6c11 4191
0de4bb68 4192 return SXHASH_REDUCE (hash);
d80c6c11
GM
4193}
4194
4195
4196/* Return a hash code for OBJ. DEPTH is the current depth in the Lisp
6b61353c 4197 structure. Value is an unsigned integer clipped to INTMASK. */
d80c6c11 4198
0de4bb68 4199EMACS_UINT
971de7fb 4200sxhash (Lisp_Object obj, int depth)
d80c6c11 4201{
0de4bb68 4202 EMACS_UINT hash;
d80c6c11
GM
4203
4204 if (depth > SXHASH_MAX_DEPTH)
4205 return 0;
59f953a2 4206
d80c6c11
GM
4207 switch (XTYPE (obj))
4208 {
2de9f71c 4209 case_Lisp_Int:
d80c6c11
GM
4210 hash = XUINT (obj);
4211 break;
4212
d80c6c11 4213 case Lisp_Misc:
61ddb1b9 4214 hash = XHASH (obj);
d80c6c11
GM
4215 break;
4216
32bfb2d5
EZ
4217 case Lisp_Symbol:
4218 obj = SYMBOL_NAME (obj);
4219 /* Fall through. */
4220
d80c6c11 4221 case Lisp_String:
3cc5a532 4222 hash = sxhash_string (SSDATA (obj), SBYTES (obj));
d80c6c11
GM
4223 break;
4224
4225 /* This can be everything from a vector to an overlay. */
4226 case Lisp_Vectorlike:
4227 if (VECTORP (obj))
4228 /* According to the CL HyperSpec, two arrays are equal only if
4229 they are `eq', except for strings and bit-vectors. In
4230 Emacs, this works differently. We have to compare element
4231 by element. */
4232 hash = sxhash_vector (obj, depth);
4233 else if (BOOL_VECTOR_P (obj))
4234 hash = sxhash_bool_vector (obj);
4235 else
4236 /* Others are `equal' if they are `eq', so let's take their
4237 address as hash. */
61ddb1b9 4238 hash = XHASH (obj);
d80c6c11
GM
4239 break;
4240
4241 case Lisp_Cons:
4242 hash = sxhash_list (obj, depth);
4243 break;
4244
4245 case Lisp_Float:
0de4bb68
PE
4246 hash = sxhash_float (XFLOAT_DATA (obj));
4247 break;
d80c6c11
GM
4248
4249 default:
1088b922 4250 emacs_abort ();
d80c6c11
GM
4251 }
4252
0de4bb68 4253 return hash;
d80c6c11
GM
4254}
4255
4256
4257\f
4258/***********************************************************************
4259 Lisp Interface
4260 ***********************************************************************/
4261
4262
4263DEFUN ("sxhash", Fsxhash, Ssxhash, 1, 1, 0,
e9d8ddc9 4264 doc: /* Compute a hash code for OBJ and return it as integer. */)
5842a27b 4265 (Lisp_Object obj)
d80c6c11 4266{
0de4bb68 4267 EMACS_UINT hash = sxhash (obj, 0);
d80c6c11
GM
4268 return make_number (hash);
4269}
4270
4271
a7ca3326 4272DEFUN ("make-hash-table", Fmake_hash_table, Smake_hash_table, 0, MANY, 0,
e9d8ddc9 4273 doc: /* Create and return a new hash table.
91f78c99 4274
47cebab1
GM
4275Arguments are specified as keyword/argument pairs. The following
4276arguments are defined:
4277
4278:test TEST -- TEST must be a symbol that specifies how to compare
4279keys. Default is `eql'. Predefined are the tests `eq', `eql', and
4280`equal'. User-supplied test and hash functions can be specified via
4281`define-hash-table-test'.
4282
4283:size SIZE -- A hint as to how many elements will be put in the table.
4284Default is 65.
4285
4286:rehash-size REHASH-SIZE - Indicates how to expand the table when it
79d6f59e
CY
4287fills up. If REHASH-SIZE is an integer, increase the size by that
4288amount. If it is a float, it must be > 1.0, and the new size is the
4289old size multiplied by that factor. Default is 1.5.
47cebab1
GM
4290
4291:rehash-threshold THRESHOLD -- THRESHOLD must a float > 0, and <= 1.0.
b756c005 4292Resize the hash table when the ratio (number of entries / table size)
e1025755 4293is greater than or equal to THRESHOLD. Default is 0.8.
47cebab1
GM
4294
4295:weakness WEAK -- WEAK must be one of nil, t, `key', `value',
4296`key-or-value', or `key-and-value'. If WEAK is not nil, the table
4297returned is a weak table. Key/value pairs are removed from a weak
4298hash table when there are no non-weak references pointing to their
4299key, value, one of key or value, or both key and value, depending on
4300WEAK. WEAK t is equivalent to `key-and-value'. Default value of WEAK
4bf8e2a3
MB
4301is nil.
4302
4303usage: (make-hash-table &rest KEYWORD-ARGS) */)
f66c7cf8 4304 (ptrdiff_t nargs, Lisp_Object *args)
d80c6c11
GM
4305{
4306 Lisp_Object test, size, rehash_size, rehash_threshold, weak;
b7432bb2 4307 struct hash_table_test testdesc;
d80c6c11 4308 char *used;
f66c7cf8 4309 ptrdiff_t i;
d80c6c11
GM
4310
4311 /* The vector `used' is used to keep track of arguments that
4312 have been consumed. */
38182d90 4313 used = alloca (nargs * sizeof *used);
72af86bd 4314 memset (used, 0, nargs * sizeof *used);
d80c6c11
GM
4315
4316 /* See if there's a `:test TEST' among the arguments. */
4317 i = get_key_arg (QCtest, nargs, args, used);
c5101a77 4318 test = i ? args[i] : Qeql;
b7432bb2
SM
4319 if (EQ (test, Qeq))
4320 testdesc = hashtest_eq;
4321 else if (EQ (test, Qeql))
4322 testdesc = hashtest_eql;
4323 else if (EQ (test, Qequal))
4324 testdesc = hashtest_equal;
4325 else
d80c6c11
GM
4326 {
4327 /* See if it is a user-defined test. */
4328 Lisp_Object prop;
59f953a2 4329
d80c6c11 4330 prop = Fget (test, Qhash_table_test);
c1dd95fc 4331 if (!CONSP (prop) || !CONSP (XCDR (prop)))
692ae65c 4332 signal_error ("Invalid hash table test", test);
b7432bb2
SM
4333 testdesc.name = test;
4334 testdesc.user_cmp_function = XCAR (prop);
4335 testdesc.user_hash_function = XCAR (XCDR (prop));
4336 testdesc.hashfn = hashfn_user_defined;
4337 testdesc.cmpfn = cmpfn_user_defined;
d80c6c11 4338 }
d80c6c11
GM
4339
4340 /* See if there's a `:size SIZE' argument. */
4341 i = get_key_arg (QCsize, nargs, args, used);
c5101a77 4342 size = i ? args[i] : Qnil;
cf42cb72
SM
4343 if (NILP (size))
4344 size = make_number (DEFAULT_HASH_SIZE);
4345 else if (!INTEGERP (size) || XINT (size) < 0)
692ae65c 4346 signal_error ("Invalid hash table size", size);
d80c6c11
GM
4347
4348 /* Look for `:rehash-size SIZE'. */
4349 i = get_key_arg (QCrehash_size, nargs, args, used);
c5101a77 4350 rehash_size = i ? args[i] : make_float (DEFAULT_REHASH_SIZE);
0de4bb68
PE
4351 if (! ((INTEGERP (rehash_size) && 0 < XINT (rehash_size))
4352 || (FLOATP (rehash_size) && 1 < XFLOAT_DATA (rehash_size))))
692ae65c 4353 signal_error ("Invalid hash table rehash size", rehash_size);
59f953a2 4354
d80c6c11
GM
4355 /* Look for `:rehash-threshold THRESHOLD'. */
4356 i = get_key_arg (QCrehash_threshold, nargs, args, used);
c5101a77 4357 rehash_threshold = i ? args[i] : make_float (DEFAULT_REHASH_THRESHOLD);
0de4bb68
PE
4358 if (! (FLOATP (rehash_threshold)
4359 && 0 < XFLOAT_DATA (rehash_threshold)
4360 && XFLOAT_DATA (rehash_threshold) <= 1))
692ae65c 4361 signal_error ("Invalid hash table rehash threshold", rehash_threshold);
59f953a2 4362
ee0403b3
GM
4363 /* Look for `:weakness WEAK'. */
4364 i = get_key_arg (QCweakness, nargs, args, used);
c5101a77 4365 weak = i ? args[i] : Qnil;
ec504e6f
GM
4366 if (EQ (weak, Qt))
4367 weak = Qkey_and_value;
d80c6c11 4368 if (!NILP (weak)
f899c503 4369 && !EQ (weak, Qkey)
ec504e6f
GM
4370 && !EQ (weak, Qvalue)
4371 && !EQ (weak, Qkey_or_value)
4372 && !EQ (weak, Qkey_and_value))
692ae65c 4373 signal_error ("Invalid hash table weakness", weak);
59f953a2 4374
d80c6c11
GM
4375 /* Now, all args should have been used up, or there's a problem. */
4376 for (i = 0; i < nargs; ++i)
4377 if (!used[i])
692ae65c 4378 signal_error ("Invalid argument list", args[i]);
d80c6c11 4379
b7432bb2 4380 return make_hash_table (testdesc, size, rehash_size, rehash_threshold, weak);
d80c6c11
GM
4381}
4382
4383
f899c503 4384DEFUN ("copy-hash-table", Fcopy_hash_table, Scopy_hash_table, 1, 1, 0,
e9d8ddc9 4385 doc: /* Return a copy of hash table TABLE. */)
5842a27b 4386 (Lisp_Object table)
f899c503
GM
4387{
4388 return copy_hash_table (check_hash_table (table));
4389}
4390
4391
d80c6c11 4392DEFUN ("hash-table-count", Fhash_table_count, Shash_table_count, 1, 1, 0,
e9d8ddc9 4393 doc: /* Return the number of elements in TABLE. */)
5842a27b 4394 (Lisp_Object table)
d80c6c11 4395{
878f97ff 4396 return make_number (check_hash_table (table)->count);
d80c6c11
GM
4397}
4398
59f953a2 4399
d80c6c11
GM
4400DEFUN ("hash-table-rehash-size", Fhash_table_rehash_size,
4401 Shash_table_rehash_size, 1, 1, 0,
e9d8ddc9 4402 doc: /* Return the current rehash size of TABLE. */)
5842a27b 4403 (Lisp_Object table)
d80c6c11
GM
4404{
4405 return check_hash_table (table)->rehash_size;
4406}
59f953a2 4407
d80c6c11
GM
4408
4409DEFUN ("hash-table-rehash-threshold", Fhash_table_rehash_threshold,
4410 Shash_table_rehash_threshold, 1, 1, 0,
e9d8ddc9 4411 doc: /* Return the current rehash threshold of TABLE. */)
5842a27b 4412 (Lisp_Object table)
d80c6c11
GM
4413{
4414 return check_hash_table (table)->rehash_threshold;
4415}
59f953a2 4416
d80c6c11
GM
4417
4418DEFUN ("hash-table-size", Fhash_table_size, Shash_table_size, 1, 1, 0,
e9d8ddc9 4419 doc: /* Return the size of TABLE.
47cebab1 4420The size can be used as an argument to `make-hash-table' to create
b756c005 4421a hash table than can hold as many elements as TABLE holds
e9d8ddc9 4422without need for resizing. */)
5842a27b 4423 (Lisp_Object table)
d80c6c11
GM
4424{
4425 struct Lisp_Hash_Table *h = check_hash_table (table);
4426 return make_number (HASH_TABLE_SIZE (h));
4427}
59f953a2 4428
d80c6c11
GM
4429
4430DEFUN ("hash-table-test", Fhash_table_test, Shash_table_test, 1, 1, 0,
e9d8ddc9 4431 doc: /* Return the test TABLE uses. */)
5842a27b 4432 (Lisp_Object table)
d80c6c11 4433{
b7432bb2 4434 return check_hash_table (table)->test.name;
d80c6c11
GM
4435}
4436
59f953a2 4437
e84b1dea
GM
4438DEFUN ("hash-table-weakness", Fhash_table_weakness, Shash_table_weakness,
4439 1, 1, 0,
e9d8ddc9 4440 doc: /* Return the weakness of TABLE. */)
5842a27b 4441 (Lisp_Object table)
d80c6c11
GM
4442{
4443 return check_hash_table (table)->weak;
4444}
4445
59f953a2 4446
d80c6c11 4447DEFUN ("hash-table-p", Fhash_table_p, Shash_table_p, 1, 1, 0,
e9d8ddc9 4448 doc: /* Return t if OBJ is a Lisp hash table object. */)
5842a27b 4449 (Lisp_Object obj)
d80c6c11
GM
4450{
4451 return HASH_TABLE_P (obj) ? Qt : Qnil;
4452}
4453
4454
4455DEFUN ("clrhash", Fclrhash, Sclrhash, 1, 1, 0,
ccd8f7fe 4456 doc: /* Clear hash table TABLE and return it. */)
5842a27b 4457 (Lisp_Object table)
d80c6c11
GM
4458{
4459 hash_clear (check_hash_table (table));
ccd8f7fe
TTN
4460 /* Be compatible with XEmacs. */
4461 return table;
d80c6c11
GM
4462}
4463
4464
a7ca3326 4465DEFUN ("gethash", Fgethash, Sgethash, 2, 3, 0,
e9d8ddc9
MB
4466 doc: /* Look up KEY in TABLE and return its associated value.
4467If KEY is not found, return DFLT which defaults to nil. */)
5842a27b 4468 (Lisp_Object key, Lisp_Object table, Lisp_Object dflt)
d80c6c11
GM
4469{
4470 struct Lisp_Hash_Table *h = check_hash_table (table);
d3411f89 4471 ptrdiff_t i = hash_lookup (h, key, NULL);
d80c6c11
GM
4472 return i >= 0 ? HASH_VALUE (h, i) : dflt;
4473}
4474
4475
a7ca3326 4476DEFUN ("puthash", Fputhash, Sputhash, 3, 3, 0,
e9d8ddc9 4477 doc: /* Associate KEY with VALUE in hash table TABLE.
47cebab1 4478If KEY is already present in table, replace its current value with
a54e3482 4479VALUE. In any case, return VALUE. */)
5842a27b 4480 (Lisp_Object key, Lisp_Object value, Lisp_Object table)
d80c6c11
GM
4481{
4482 struct Lisp_Hash_Table *h = check_hash_table (table);
d3411f89 4483 ptrdiff_t i;
0de4bb68 4484 EMACS_UINT hash;
d80c6c11
GM
4485
4486 i = hash_lookup (h, key, &hash);
4487 if (i >= 0)
e83064be 4488 set_hash_value_slot (h, i, value);
d80c6c11
GM
4489 else
4490 hash_put (h, key, value, hash);
59f953a2 4491
d9c4f922 4492 return value;
d80c6c11
GM
4493}
4494
4495
a7ca3326 4496DEFUN ("remhash", Fremhash, Sremhash, 2, 2, 0,
e9d8ddc9 4497 doc: /* Remove KEY from TABLE. */)
5842a27b 4498 (Lisp_Object key, Lisp_Object table)
d80c6c11
GM
4499{
4500 struct Lisp_Hash_Table *h = check_hash_table (table);
5a2d7ab6 4501 hash_remove_from_table (h, key);
d80c6c11
GM
4502 return Qnil;
4503}
4504
4505
4506DEFUN ("maphash", Fmaphash, Smaphash, 2, 2, 0,
e9d8ddc9 4507 doc: /* Call FUNCTION for all entries in hash table TABLE.
c14ec135 4508FUNCTION is called with two arguments, KEY and VALUE. */)
5842a27b 4509 (Lisp_Object function, Lisp_Object table)
d80c6c11
GM
4510{
4511 struct Lisp_Hash_Table *h = check_hash_table (table);
4512 Lisp_Object args[3];
d311d28c 4513 ptrdiff_t i;
d80c6c11
GM
4514
4515 for (i = 0; i < HASH_TABLE_SIZE (h); ++i)
4516 if (!NILP (HASH_HASH (h, i)))
4517 {
4518 args[0] = function;
4519 args[1] = HASH_KEY (h, i);
4520 args[2] = HASH_VALUE (h, i);
4521 Ffuncall (3, args);
4522 }
59f953a2 4523
d80c6c11
GM
4524 return Qnil;
4525}
4526
4527
4528DEFUN ("define-hash-table-test", Fdefine_hash_table_test,
4529 Sdefine_hash_table_test, 3, 3, 0,
e9d8ddc9 4530 doc: /* Define a new hash table test with name NAME, a symbol.
91f78c99 4531
47cebab1
GM
4532In hash tables created with NAME specified as test, use TEST to
4533compare keys, and HASH for computing hash codes of keys.
4534
4535TEST must be a function taking two arguments and returning non-nil if
4536both arguments are the same. HASH must be a function taking one
79804536
SM
4537argument and returning an object that is the hash code of the argument.
4538It should be the case that if (eq (funcall HASH x1) (funcall HASH x2))
4539returns nil, then (funcall TEST x1 x2) also returns nil. */)
5842a27b 4540 (Lisp_Object name, Lisp_Object test, Lisp_Object hash)
d80c6c11
GM
4541{
4542 return Fput (name, Qhash_table_test, list2 (test, hash));
4543}
4544
a3b210c4 4545
57916a7a 4546\f
5c302da4 4547/************************************************************************
7f3f739f 4548 MD5, SHA-1, and SHA-2
5c302da4
GM
4549 ************************************************************************/
4550
57916a7a 4551#include "md5.h"
e1b90ef6 4552#include "sha1.h"
7f3f739f
LL
4553#include "sha256.h"
4554#include "sha512.h"
57916a7a 4555
7f3f739f 4556/* ALGORITHM is a symbol: md5, sha1, sha224 and so on. */
47cebab1 4557
f1b54466 4558static Lisp_Object
7f3f739f 4559secure_hash (Lisp_Object algorithm, Lisp_Object object, Lisp_Object start, Lisp_Object end, Lisp_Object coding_system, Lisp_Object noerror, Lisp_Object binary)
57916a7a 4560{
57916a7a 4561 int i;
d311d28c 4562 ptrdiff_t size;
e6d4aefa 4563 EMACS_INT start_char = 0, end_char = 0;
d311d28c 4564 ptrdiff_t start_byte, end_byte;
e6d4aefa 4565 register EMACS_INT b, e;
57916a7a 4566 register struct buffer *bp;
e6d4aefa 4567 EMACS_INT temp;
7f3f739f
LL
4568 int digest_size;
4569 void *(*hash_func) (const char *, size_t, void *);
4570 Lisp_Object digest;
4571
4572 CHECK_SYMBOL (algorithm);
57916a7a 4573
5c302da4 4574 if (STRINGP (object))
57916a7a
GM
4575 {
4576 if (NILP (coding_system))
4577 {
5c302da4 4578 /* Decide the coding-system to encode the data with. */
57916a7a 4579
5c302da4
GM
4580 if (STRING_MULTIBYTE (object))
4581 /* use default, we can't guess correct value */
38583a69 4582 coding_system = preferred_coding_system ();
91f78c99 4583 else
5c302da4 4584 coding_system = Qraw_text;
57916a7a 4585 }
91f78c99 4586
5c302da4 4587 if (NILP (Fcoding_system_p (coding_system)))
57916a7a 4588 {
5c302da4 4589 /* Invalid coding system. */
91f78c99 4590
5c302da4
GM
4591 if (!NILP (noerror))
4592 coding_system = Qraw_text;
4593 else
692ae65c 4594 xsignal1 (Qcoding_system_error, coding_system);
57916a7a
GM
4595 }
4596
5c302da4 4597 if (STRING_MULTIBYTE (object))
38583a69 4598 object = code_convert_string (object, coding_system, Qnil, 1, 0, 1);
5c302da4 4599
d5db4077 4600 size = SCHARS (object);
57916a7a
GM
4601
4602 if (!NILP (start))
4603 {
b7826503 4604 CHECK_NUMBER (start);
57916a7a
GM
4605
4606 start_char = XINT (start);
4607
4608 if (start_char < 0)
4609 start_char += size;
57916a7a
GM
4610 }
4611
4612 if (NILP (end))
d311d28c 4613 end_char = size;
57916a7a
GM
4614 else
4615 {
b7826503 4616 CHECK_NUMBER (end);
91f78c99 4617
57916a7a
GM
4618 end_char = XINT (end);
4619
4620 if (end_char < 0)
4621 end_char += size;
57916a7a 4622 }
91f78c99 4623
57916a7a
GM
4624 if (!(0 <= start_char && start_char <= end_char && end_char <= size))
4625 args_out_of_range_3 (object, make_number (start_char),
4626 make_number (end_char));
d311d28c
PE
4627
4628 start_byte = NILP (start) ? 0 : string_char_to_byte (object, start_char);
4629 end_byte =
4630 NILP (end) ? SBYTES (object) : string_char_to_byte (object, end_char);
57916a7a
GM
4631 }
4632 else
4633 {
6b61353c
KH
4634 struct buffer *prev = current_buffer;
4635
66322887 4636 record_unwind_current_buffer ();
6b61353c 4637
b7826503 4638 CHECK_BUFFER (object);
57916a7a
GM
4639
4640 bp = XBUFFER (object);
a3d794a1 4641 set_buffer_internal (bp);
91f78c99 4642
57916a7a 4643 if (NILP (start))
6b61353c 4644 b = BEGV;
57916a7a
GM
4645 else
4646 {
b7826503 4647 CHECK_NUMBER_COERCE_MARKER (start);
57916a7a
GM
4648 b = XINT (start);
4649 }
4650
4651 if (NILP (end))
6b61353c 4652 e = ZV;
57916a7a
GM
4653 else
4654 {
b7826503 4655 CHECK_NUMBER_COERCE_MARKER (end);
57916a7a
GM
4656 e = XINT (end);
4657 }
91f78c99 4658
57916a7a
GM
4659 if (b > e)
4660 temp = b, b = e, e = temp;
91f78c99 4661
6b61353c 4662 if (!(BEGV <= b && e <= ZV))
57916a7a 4663 args_out_of_range (start, end);
91f78c99 4664
57916a7a
GM
4665 if (NILP (coding_system))
4666 {
91f78c99 4667 /* Decide the coding-system to encode the data with.
5c302da4
GM
4668 See fileio.c:Fwrite-region */
4669
4670 if (!NILP (Vcoding_system_for_write))
4671 coding_system = Vcoding_system_for_write;
4672 else
4673 {
f75d7a91 4674 bool force_raw_text = 0;
5c302da4 4675
4b4deea2 4676 coding_system = BVAR (XBUFFER (object), buffer_file_coding_system);
5c302da4
GM
4677 if (NILP (coding_system)
4678 || NILP (Flocal_variable_p (Qbuffer_file_coding_system, Qnil)))
4679 {
4680 coding_system = Qnil;
4b4deea2 4681 if (NILP (BVAR (current_buffer, enable_multibyte_characters)))
5c302da4
GM
4682 force_raw_text = 1;
4683 }
4684
5e617bc2 4685 if (NILP (coding_system) && !NILP (Fbuffer_file_name (object)))
5c302da4
GM
4686 {
4687 /* Check file-coding-system-alist. */
4688 Lisp_Object args[4], val;
91f78c99 4689
5c302da4 4690 args[0] = Qwrite_region; args[1] = start; args[2] = end;
5e617bc2 4691 args[3] = Fbuffer_file_name (object);
5c302da4
GM
4692 val = Ffind_operation_coding_system (4, args);
4693 if (CONSP (val) && !NILP (XCDR (val)))
4694 coding_system = XCDR (val);
4695 }
4696
4697 if (NILP (coding_system)
4b4deea2 4698 && !NILP (BVAR (XBUFFER (object), buffer_file_coding_system)))
5c302da4
GM
4699 {
4700 /* If we still have not decided a coding system, use the
4701 default value of buffer-file-coding-system. */
4b4deea2 4702 coding_system = BVAR (XBUFFER (object), buffer_file_coding_system);
5c302da4
GM
4703 }
4704
4705 if (!force_raw_text
4706 && !NILP (Ffboundp (Vselect_safe_coding_system_function)))
4707 /* Confirm that VAL can surely encode the current region. */
1e59646d 4708 coding_system = call4 (Vselect_safe_coding_system_function,
70da6a76 4709 make_number (b), make_number (e),
1e59646d 4710 coding_system, Qnil);
5c302da4
GM
4711
4712 if (force_raw_text)
4713 coding_system = Qraw_text;
4714 }
4715
4716 if (NILP (Fcoding_system_p (coding_system)))
57916a7a 4717 {
5c302da4
GM
4718 /* Invalid coding system. */
4719
4720 if (!NILP (noerror))
4721 coding_system = Qraw_text;
4722 else
692ae65c 4723 xsignal1 (Qcoding_system_error, coding_system);
57916a7a
GM
4724 }
4725 }
4726
4727 object = make_buffer_string (b, e, 0);
a3d794a1 4728 set_buffer_internal (prev);
6b61353c
KH
4729 /* Discard the unwind protect for recovering the current
4730 buffer. */
4731 specpdl_ptr--;
57916a7a
GM
4732
4733 if (STRING_MULTIBYTE (object))
8f924df7 4734 object = code_convert_string (object, coding_system, Qnil, 1, 0, 0);
d311d28c
PE
4735 start_byte = 0;
4736 end_byte = SBYTES (object);
57916a7a
GM
4737 }
4738
7f3f739f 4739 if (EQ (algorithm, Qmd5))
e1b90ef6 4740 {
7f3f739f
LL
4741 digest_size = MD5_DIGEST_SIZE;
4742 hash_func = md5_buffer;
4743 }
4744 else if (EQ (algorithm, Qsha1))
4745 {
4746 digest_size = SHA1_DIGEST_SIZE;
4747 hash_func = sha1_buffer;
4748 }
4749 else if (EQ (algorithm, Qsha224))
4750 {
4751 digest_size = SHA224_DIGEST_SIZE;
4752 hash_func = sha224_buffer;
4753 }
4754 else if (EQ (algorithm, Qsha256))
4755 {
4756 digest_size = SHA256_DIGEST_SIZE;
4757 hash_func = sha256_buffer;
4758 }
4759 else if (EQ (algorithm, Qsha384))
4760 {
4761 digest_size = SHA384_DIGEST_SIZE;
4762 hash_func = sha384_buffer;
4763 }
4764 else if (EQ (algorithm, Qsha512))
4765 {
4766 digest_size = SHA512_DIGEST_SIZE;
4767 hash_func = sha512_buffer;
4768 }
4769 else
4770 error ("Invalid algorithm arg: %s", SDATA (Fsymbol_name (algorithm)));
57916a7a 4771
7f3f739f
LL
4772 /* allocate 2 x digest_size so that it can be re-used to hold the
4773 hexified value */
4774 digest = make_uninit_string (digest_size * 2);
57916a7a 4775
7f3f739f 4776 hash_func (SSDATA (object) + start_byte,
d311d28c 4777 end_byte - start_byte,
7f3f739f 4778 SSDATA (digest));
e1b90ef6 4779
7f3f739f
LL
4780 if (NILP (binary))
4781 {
4782 unsigned char *p = SDATA (digest);
4783 for (i = digest_size - 1; i >= 0; i--)
4784 {
4785 static char const hexdigit[16] = "0123456789abcdef";
4786 int p_i = p[i];
4787 p[2 * i] = hexdigit[p_i >> 4];
4788 p[2 * i + 1] = hexdigit[p_i & 0xf];
4789 }
4790 return digest;
4791 }
4792 else
a9041e6c 4793 return make_unibyte_string (SSDATA (digest), digest_size);
e1b90ef6
LL
4794}
4795
4796DEFUN ("md5", Fmd5, Smd5, 1, 5, 0,
4797 doc: /* Return MD5 message digest of OBJECT, a buffer or string.
4798
4799A message digest is a cryptographic checksum of a document, and the
4800algorithm to calculate it is defined in RFC 1321.
4801
4802The two optional arguments START and END are character positions
4803specifying for which part of OBJECT the message digest should be
4804computed. If nil or omitted, the digest is computed for the whole
4805OBJECT.
4806
4807The MD5 message digest is computed from the result of encoding the
4808text in a coding system, not directly from the internal Emacs form of
4809the text. The optional fourth argument CODING-SYSTEM specifies which
4810coding system to encode the text with. It should be the same coding
4811system that you used or will use when actually writing the text into a
4812file.
4813
4814If CODING-SYSTEM is nil or omitted, the default depends on OBJECT. If
4815OBJECT is a buffer, the default for CODING-SYSTEM is whatever coding
4816system would be chosen by default for writing this text into a file.
4817
4818If OBJECT is a string, the most preferred coding system (see the
4819command `prefer-coding-system') is used.
4820
4821If NOERROR is non-nil, silently assume the `raw-text' coding if the
4822guesswork fails. Normally, an error is signaled in such case. */)
4823 (Lisp_Object object, Lisp_Object start, Lisp_Object end, Lisp_Object coding_system, Lisp_Object noerror)
4824{
7f3f739f 4825 return secure_hash (Qmd5, object, start, end, coding_system, noerror, Qnil);
e1b90ef6
LL
4826}
4827
7f3f739f 4828DEFUN ("secure-hash", Fsecure_hash, Ssecure_hash, 2, 5, 0,
49241268
GM
4829 doc: /* Return the secure hash of OBJECT, a buffer or string.
4830ALGORITHM is a symbol specifying the hash to use:
4831md5, sha1, sha224, sha256, sha384 or sha512.
4832
4833The two optional arguments START and END are positions specifying for
4834which part of OBJECT to compute the hash. If nil or omitted, uses the
4835whole OBJECT.
4836
4837If BINARY is non-nil, returns a string in binary form. */)
7f3f739f 4838 (Lisp_Object algorithm, Lisp_Object object, Lisp_Object start, Lisp_Object end, Lisp_Object binary)
e1b90ef6 4839{
7f3f739f 4840 return secure_hash (algorithm, object, start, end, Qnil, Qnil, binary);
57916a7a 4841}
24c129e4 4842\f
dfcf069d 4843void
971de7fb 4844syms_of_fns (void)
7b863bd5 4845{
7f3f739f
LL
4846 DEFSYM (Qmd5, "md5");
4847 DEFSYM (Qsha1, "sha1");
4848 DEFSYM (Qsha224, "sha224");
4849 DEFSYM (Qsha256, "sha256");
4850 DEFSYM (Qsha384, "sha384");
4851 DEFSYM (Qsha512, "sha512");
4852
d80c6c11 4853 /* Hash table stuff. */
cd3520a4
JB
4854 DEFSYM (Qhash_table_p, "hash-table-p");
4855 DEFSYM (Qeq, "eq");
4856 DEFSYM (Qeql, "eql");
4857 DEFSYM (Qequal, "equal");
4858 DEFSYM (QCtest, ":test");
4859 DEFSYM (QCsize, ":size");
4860 DEFSYM (QCrehash_size, ":rehash-size");
4861 DEFSYM (QCrehash_threshold, ":rehash-threshold");
4862 DEFSYM (QCweakness, ":weakness");
4863 DEFSYM (Qkey, "key");
4864 DEFSYM (Qvalue, "value");
4865 DEFSYM (Qhash_table_test, "hash-table-test");
4866 DEFSYM (Qkey_or_value, "key-or-value");
4867 DEFSYM (Qkey_and_value, "key-and-value");
d80c6c11
GM
4868
4869 defsubr (&Ssxhash);
4870 defsubr (&Smake_hash_table);
f899c503 4871 defsubr (&Scopy_hash_table);
d80c6c11
GM
4872 defsubr (&Shash_table_count);
4873 defsubr (&Shash_table_rehash_size);
4874 defsubr (&Shash_table_rehash_threshold);
4875 defsubr (&Shash_table_size);
4876 defsubr (&Shash_table_test);
e84b1dea 4877 defsubr (&Shash_table_weakness);
d80c6c11
GM
4878 defsubr (&Shash_table_p);
4879 defsubr (&Sclrhash);
4880 defsubr (&Sgethash);
4881 defsubr (&Sputhash);
4882 defsubr (&Sremhash);
4883 defsubr (&Smaphash);
4884 defsubr (&Sdefine_hash_table_test);
59f953a2 4885
cd3520a4
JB
4886 DEFSYM (Qstring_lessp, "string-lessp");
4887 DEFSYM (Qprovide, "provide");
4888 DEFSYM (Qrequire, "require");
4889 DEFSYM (Qyes_or_no_p_history, "yes-or-no-p-history");
4890 DEFSYM (Qcursor_in_echo_area, "cursor-in-echo-area");
4891 DEFSYM (Qwidget_type, "widget-type");
7b863bd5 4892
09ab3c3b
KH
4893 staticpro (&string_char_byte_cache_string);
4894 string_char_byte_cache_string = Qnil;
4895
1f79789d
RS
4896 require_nesting_list = Qnil;
4897 staticpro (&require_nesting_list);
4898
52a9879b
RS
4899 Fset (Qyes_or_no_p_history, Qnil);
4900
29208e82 4901 DEFVAR_LISP ("features", Vfeatures,
4774b68e 4902 doc: /* A list of symbols which are the features of the executing Emacs.
47cebab1 4903Used by `featurep' and `require', and altered by `provide'. */);
6c6f1994 4904 Vfeatures = list1 (intern_c_string ("emacs"));
cd3520a4 4905 DEFSYM (Qsubfeatures, "subfeatures");
de0503df 4906 DEFSYM (Qfuncall, "funcall");
7b863bd5 4907
dec002ca 4908#ifdef HAVE_LANGINFO_CODESET
cd3520a4
JB
4909 DEFSYM (Qcodeset, "codeset");
4910 DEFSYM (Qdays, "days");
4911 DEFSYM (Qmonths, "months");
4912 DEFSYM (Qpaper, "paper");
dec002ca
DL
4913#endif /* HAVE_LANGINFO_CODESET */
4914
29208e82 4915 DEFVAR_BOOL ("use-dialog-box", use_dialog_box,
fb7ada5f 4916 doc: /* Non-nil means mouse commands use dialog boxes to ask questions.
436fa78b 4917This applies to `y-or-n-p' and `yes-or-no-p' questions asked by commands
7e861e0d
CY
4918invoked by mouse clicks and mouse menu items.
4919
4920On some platforms, file selection dialogs are also enabled if this is
4921non-nil. */);
bdd8d692
RS
4922 use_dialog_box = 1;
4923
29208e82 4924 DEFVAR_BOOL ("use-file-dialog", use_file_dialog,
fb7ada5f 4925 doc: /* Non-nil means mouse commands use a file dialog to ask for files.
1f1d0797 4926This applies to commands from menus and tool bar buttons even when
2fd0161b
CY
4927they are initiated from the keyboard. If `use-dialog-box' is nil,
4928that disables the use of a file dialog, regardless of the value of
4929this variable. */);
6b61353c
KH
4930 use_file_dialog = 1;
4931
7b863bd5
JB
4932 defsubr (&Sidentity);
4933 defsubr (&Srandom);
4934 defsubr (&Slength);
5a30fab8 4935 defsubr (&Ssafe_length);
026f59ce 4936 defsubr (&Sstring_bytes);
7b863bd5 4937 defsubr (&Sstring_equal);
0e1e9f8d 4938 defsubr (&Scompare_strings);
7b863bd5
JB
4939 defsubr (&Sstring_lessp);
4940 defsubr (&Sappend);
4941 defsubr (&Sconcat);
4942 defsubr (&Svconcat);
4943 defsubr (&Scopy_sequence);
09ab3c3b
KH
4944 defsubr (&Sstring_make_multibyte);
4945 defsubr (&Sstring_make_unibyte);
6d475204
RS
4946 defsubr (&Sstring_as_multibyte);
4947 defsubr (&Sstring_as_unibyte);
2df18cdb 4948 defsubr (&Sstring_to_multibyte);
b4480f16 4949 defsubr (&Sstring_to_unibyte);
7b863bd5
JB
4950 defsubr (&Scopy_alist);
4951 defsubr (&Ssubstring);
aebf4d42 4952 defsubr (&Ssubstring_no_properties);
7b863bd5
JB
4953 defsubr (&Snthcdr);
4954 defsubr (&Snth);
4955 defsubr (&Selt);
4956 defsubr (&Smember);
4957 defsubr (&Smemq);
008ef0ef 4958 defsubr (&Smemql);
7b863bd5
JB
4959 defsubr (&Sassq);
4960 defsubr (&Sassoc);
4961 defsubr (&Srassq);
0fb5a19c 4962 defsubr (&Srassoc);
7b863bd5 4963 defsubr (&Sdelq);
ca8dd546 4964 defsubr (&Sdelete);
7b863bd5
JB
4965 defsubr (&Snreverse);
4966 defsubr (&Sreverse);
4967 defsubr (&Ssort);
be9d483d 4968 defsubr (&Splist_get);
7b863bd5 4969 defsubr (&Sget);
be9d483d 4970 defsubr (&Splist_put);
7b863bd5 4971 defsubr (&Sput);
aebf4d42
RS
4972 defsubr (&Slax_plist_get);
4973 defsubr (&Slax_plist_put);
95f8c3b9 4974 defsubr (&Seql);
7b863bd5 4975 defsubr (&Sequal);
6b61353c 4976 defsubr (&Sequal_including_properties);
7b863bd5 4977 defsubr (&Sfillarray);
85cad579 4978 defsubr (&Sclear_string);
7b863bd5
JB
4979 defsubr (&Snconc);
4980 defsubr (&Smapcar);
5c6740c9 4981 defsubr (&Smapc);
7b863bd5 4982 defsubr (&Smapconcat);
7b863bd5
JB
4983 defsubr (&Syes_or_no_p);
4984 defsubr (&Sload_average);
4985 defsubr (&Sfeaturep);
4986 defsubr (&Srequire);
4987 defsubr (&Sprovide);
a5254817 4988 defsubr (&Splist_member);
b4f334f7
KH
4989 defsubr (&Swidget_put);
4990 defsubr (&Swidget_get);
4991 defsubr (&Swidget_apply);
24c129e4
KH
4992 defsubr (&Sbase64_encode_region);
4993 defsubr (&Sbase64_decode_region);
4994 defsubr (&Sbase64_encode_string);
4995 defsubr (&Sbase64_decode_string);
57916a7a 4996 defsubr (&Smd5);
7f3f739f 4997 defsubr (&Ssecure_hash);
d68beb2f 4998 defsubr (&Slocale_info);
b7432bb2 4999
29abe551
PE
5000 hashtest_eq.name = Qeq;
5001 hashtest_eq.user_hash_function = Qnil;
5002 hashtest_eq.user_cmp_function = Qnil;
5003 hashtest_eq.cmpfn = 0;
5004 hashtest_eq.hashfn = hashfn_eq;
5005
5006 hashtest_eql.name = Qeql;
5007 hashtest_eql.user_hash_function = Qnil;
5008 hashtest_eql.user_cmp_function = Qnil;
5009 hashtest_eql.cmpfn = cmpfn_eql;
5010 hashtest_eql.hashfn = hashfn_eql;
5011
5012 hashtest_equal.name = Qequal;
5013 hashtest_equal.user_hash_function = Qnil;
5014 hashtest_equal.user_cmp_function = Qnil;
5015 hashtest_equal.cmpfn = cmpfn_equal;
5016 hashtest_equal.hashfn = hashfn_equal;
7b863bd5 5017}