(font-show-log): Add optional arg N to control the limit of font
[bpt/emacs.git] / src / search.c
CommitLineData
ca1d1d23 1/* String search routines for GNU Emacs.
429ab54e 2 Copyright (C) 1985, 1986, 1987, 1993, 1994, 1997, 1998, 1999, 2001, 2002,
8cabe764
GM
3 2003, 2004, 2005, 2006, 2007, 2008
4 Free Software Foundation, Inc.
ca1d1d23
JB
5
6This file is part of GNU Emacs.
7
9ec0b715 8GNU Emacs is free software: you can redistribute it and/or modify
ca1d1d23 9it under the terms of the GNU General Public License as published by
9ec0b715
GM
10the Free Software Foundation, either version 3 of the License, or
11(at your option) any later version.
ca1d1d23
JB
12
13GNU Emacs is distributed in the hope that it will be useful,
14but WITHOUT ANY WARRANTY; without even the implied warranty of
15MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16GNU General Public License for more details.
17
18You should have received a copy of the GNU General Public License
9ec0b715 19along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
ca1d1d23
JB
20
21
18160b98 22#include <config.h>
ca1d1d23
JB
23#include "lisp.h"
24#include "syntax.h"
5679531d 25#include "category.h"
ca1d1d23 26#include "buffer.h"
76eb0881 27#include "character.h"
89ad6492 28#include "charset.h"
9169c321 29#include "region-cache.h"
ca1d1d23 30#include "commands.h"
9ac0d9e0 31#include "blockinput.h"
bf1760bb 32#include "intervals.h"
4746118a 33
ca1d1d23
JB
34#include <sys/types.h>
35#include "regex.h"
36
1d288aef 37#define REGEXP_CACHE_SIZE 20
ca1d1d23 38
487282dc
KH
39/* If the regexp is non-nil, then the buffer contains the compiled form
40 of that regexp, suitable for searching. */
1d288aef
RS
41struct regexp_cache
42{
487282dc 43 struct regexp_cache *next;
ecdb561e 44 Lisp_Object regexp, whitespace_regexp;
b69e3c18 45 /* Syntax table for which the regexp applies. We need this because
58e95211
SM
46 of character classes. If this is t, then the compiled pattern is valid
47 for any syntax-table. */
b69e3c18 48 Lisp_Object syntax_table;
487282dc
KH
49 struct re_pattern_buffer buf;
50 char fastmap[0400];
b819a390
RS
51 /* Nonzero means regexp was compiled to do full POSIX backtracking. */
52 char posix;
487282dc 53};
ca1d1d23 54
487282dc
KH
55/* The instances of that struct. */
56struct regexp_cache searchbufs[REGEXP_CACHE_SIZE];
ca1d1d23 57
487282dc
KH
58/* The head of the linked list; points to the most recently used buffer. */
59struct regexp_cache *searchbuf_head;
ca1d1d23 60
ca1d1d23 61
4746118a
JB
62/* Every call to re_match, etc., must pass &search_regs as the regs
63 argument unless you can show it is unnecessary (i.e., if re_match
64 is certainly going to be called again before region-around-match
65 can be called).
66
67 Since the registers are now dynamically allocated, we need to make
68 sure not to refer to the Nth register before checking that it has
1113d9db
JB
69 been allocated by checking search_regs.num_regs.
70
71 The regex code keeps track of whether it has allocated the search
487282dc
KH
72 buffer using bits in the re_pattern_buffer. This means that whenever
73 you compile a new pattern, it completely forgets whether it has
1113d9db
JB
74 allocated any registers, and will allocate new registers the next
75 time you call a searching or matching function. Therefore, we need
76 to call re_set_registers after compiling a new pattern or after
77 setting the match registers, so that the regex functions will be
78 able to free or re-allocate it properly. */
ca1d1d23
JB
79static struct re_registers search_regs;
80
daa37602
JB
81/* The buffer in which the last search was performed, or
82 Qt if the last search was done in a string;
83 Qnil if no searching has been done yet. */
84static Lisp_Object last_thing_searched;
ca1d1d23 85
8e6208c5 86/* error condition signaled when regexp compile_pattern fails */
ca1d1d23
JB
87
88Lisp_Object Qinvalid_regexp;
89
06f77a8a
KS
90/* Error condition used for failing searches */
91Lisp_Object Qsearch_failed;
92
41a33295 93Lisp_Object Vsearch_spaces_regexp;
f31a9a68 94
ef887810
RS
95/* If non-nil, the match data will not be changed during call to
96 searching or matching functions. This variable is for internal use
97 only. */
98Lisp_Object Vinhibit_changing_match_data;
99
ca325161 100static void set_search_regs ();
044f81f1 101static void save_search_regs ();
facdc750
RS
102static int simple_search ();
103static int boyer_moore ();
b819a390 104static int search_buffer ();
01d09305 105static void matcher_overflow () NO_RETURN;
b819a390 106
ca1d1d23
JB
107static void
108matcher_overflow ()
109{
110 error ("Stack overflow in regexp matcher");
111}
112
b819a390
RS
113/* Compile a regexp and signal a Lisp error if anything goes wrong.
114 PATTERN is the pattern to compile.
115 CP is the place to put the result.
facdc750 116 TRANSLATE is a translation table for ignoring case, or nil for none.
b819a390
RS
117 REGP is the structure that says where to store the "register"
118 values that will result from matching this pattern.
119 If it is 0, we should compile the pattern not to record any
120 subexpression bounds.
121 POSIX is nonzero if we want full backtracking (POSIX style)
5679531d 122 for this pattern. 0 means backtrack only enough to get a valid match.
bbc73b48
KH
123
124 The behavior also depends on Vsearch_spaces_regexp. */
ca1d1d23 125
487282dc 126static void
89ad6492 127compile_pattern_1 (cp, pattern, translate, regp, posix)
487282dc 128 struct regexp_cache *cp;
ca1d1d23 129 Lisp_Object pattern;
facdc750 130 Lisp_Object translate;
487282dc 131 struct re_registers *regp;
b819a390 132 int posix;
ca1d1d23 133{
d451e4db 134 char *val;
b819a390 135 reg_syntax_t old;
ca1d1d23 136
487282dc 137 cp->regexp = Qnil;
59fab369 138 cp->buf.translate = (! NILP (translate) ? translate : make_number (0));
b819a390 139 cp->posix = posix;
93daa011 140 cp->buf.multibyte = STRING_MULTIBYTE (pattern);
89ad6492 141 cp->buf.charset_unibyte = charset_unibyte;
d8c85250
CY
142 if (STRINGP (Vsearch_spaces_regexp))
143 cp->whitespace_regexp = Vsearch_spaces_regexp;
144 else
145 cp->whitespace_regexp = Qnil;
146
e7b2dd2e
RS
147 /* rms: I think BLOCK_INPUT is not needed here any more,
148 because regex.c defines malloc to call xmalloc.
149 Using BLOCK_INPUT here means the debugger won't run if an error occurs.
150 So let's turn it off. */
151 /* BLOCK_INPUT; */
fb4a568d 152 old = re_set_syntax (RE_SYNTAX_EMACS
b819a390 153 | (posix ? 0 : RE_NO_POSIX_BACKTRACKING));
d8c85250
CY
154
155 if (STRINGP (Vsearch_spaces_regexp))
156 re_set_whitespace_regexp (SDATA (Vsearch_spaces_regexp));
157 else
158 re_set_whitespace_regexp (NULL);
bbc73b48 159
8f924df7
KH
160 val = (char *) re_compile_pattern ((char *) SDATA (pattern),
161 SBYTES (pattern), &cp->buf);
bbc73b48 162
58e95211
SM
163 /* If the compiled pattern hard codes some of the contents of the
164 syntax-table, it can only be reused with *this* syntax table. */
165 cp->syntax_table = cp->buf.used_syntax ? current_buffer->syntax_table : Qt;
166
bbc73b48
KH
167 re_set_whitespace_regexp (NULL);
168
b819a390 169 re_set_syntax (old);
e7b2dd2e 170 /* UNBLOCK_INPUT; */
ca1d1d23 171 if (val)
06f77a8a 172 xsignal1 (Qinvalid_regexp, build_string (val));
1113d9db 173
487282dc 174 cp->regexp = Fcopy_sequence (pattern);
487282dc
KH
175}
176
6efc7887
RS
177/* Shrink each compiled regexp buffer in the cache
178 to the size actually used right now.
179 This is called from garbage collection. */
180
181void
182shrink_regexp_cache ()
183{
a968f437 184 struct regexp_cache *cp;
6efc7887
RS
185
186 for (cp = searchbuf_head; cp != 0; cp = cp->next)
187 {
188 cp->buf.allocated = cp->buf.used;
189 cp->buf.buffer
b23c0a83 190 = (unsigned char *) xrealloc (cp->buf.buffer, cp->buf.used);
6efc7887
RS
191 }
192}
193
54dd3310
SM
194/* Clear the regexp cache w.r.t. a particular syntax table,
195 because it was changed.
e5b94d44
CY
196 There is no danger of memory leak here because re_compile_pattern
197 automagically manages the memory in each re_pattern_buffer struct,
198 based on its `allocated' and `buffer' values. */
199void
200clear_regexp_cache ()
201{
202 int i;
203
204 for (i = 0; i < REGEXP_CACHE_SIZE; ++i)
54dd3310
SM
205 /* It's tempting to compare with the syntax-table we've actually changd,
206 but it's not sufficient because char-table inheritance mewans that
207 modifying one syntax-table can change others at the same time. */
208 if (!EQ (searchbufs[i].syntax_table, Qt))
209 searchbufs[i].regexp = Qnil;
e5b94d44
CY
210}
211
487282dc 212/* Compile a regexp if necessary, but first check to see if there's one in
b819a390
RS
213 the cache.
214 PATTERN is the pattern to compile.
facdc750 215 TRANSLATE is a translation table for ignoring case, or nil for none.
b819a390
RS
216 REGP is the structure that says where to store the "register"
217 values that will result from matching this pattern.
218 If it is 0, we should compile the pattern not to record any
219 subexpression bounds.
220 POSIX is nonzero if we want full backtracking (POSIX style)
221 for this pattern. 0 means backtrack only enough to get a valid match. */
487282dc
KH
222
223struct re_pattern_buffer *
0c8533c6 224compile_pattern (pattern, regp, translate, posix, multibyte)
487282dc
KH
225 Lisp_Object pattern;
226 struct re_registers *regp;
facdc750 227 Lisp_Object translate;
0c8533c6 228 int posix, multibyte;
487282dc
KH
229{
230 struct regexp_cache *cp, **cpp;
231
232 for (cpp = &searchbuf_head; ; cpp = &cp->next)
233 {
234 cp = *cpp;
f1b9c7c1
KR
235 /* Entries are initialized to nil, and may be set to nil by
236 compile_pattern_1 if the pattern isn't valid. Don't apply
49a5f770
KR
237 string accessors in those cases. However, compile_pattern_1
238 is only applied to the cache entry we pick here to reuse. So
239 nil should never appear before a non-nil entry. */
7c752c80 240 if (NILP (cp->regexp))
f1b9c7c1 241 goto compile_it;
d5db4077 242 if (SCHARS (cp->regexp) == SCHARS (pattern)
cf69b13e 243 && STRING_MULTIBYTE (cp->regexp) == STRING_MULTIBYTE (pattern)
1d288aef 244 && !NILP (Fstring_equal (cp->regexp, pattern))
59fab369 245 && EQ (cp->buf.translate, (! NILP (translate) ? translate : make_number (0)))
5679531d 246 && cp->posix == posix
58e95211
SM
247 && (EQ (cp->syntax_table, Qt)
248 || EQ (cp->syntax_table, current_buffer->syntax_table))
89ad6492
KH
249 && !NILP (Fequal (cp->whitespace_regexp, Vsearch_spaces_regexp))
250 && cp->buf.charset_unibyte == charset_unibyte)
487282dc
KH
251 break;
252
f1b9c7c1
KR
253 /* If we're at the end of the cache, compile into the nil cell
254 we found, or the last (least recently used) cell with a
255 string value. */
487282dc
KH
256 if (cp->next == 0)
257 {
f1b9c7c1 258 compile_it:
89ad6492 259 compile_pattern_1 (cp, pattern, translate, regp, posix);
487282dc
KH
260 break;
261 }
262 }
263
264 /* When we get here, cp (aka *cpp) contains the compiled pattern,
265 either because we found it in the cache or because we just compiled it.
266 Move it to the front of the queue to mark it as most recently used. */
267 *cpp = cp->next;
268 cp->next = searchbuf_head;
269 searchbuf_head = cp;
1113d9db 270
6639708c
RS
271 /* Advise the searching functions about the space we have allocated
272 for register data. */
273 if (regp)
274 re_set_registers (&cp->buf, regp, regp->num_regs, regp->start, regp->end);
275
89ad6492
KH
276 /* The compiled pattern can be used both for mulitbyte and unibyte
277 target. But, we have to tell which the pattern is used for. */
278 cp->buf.target_multibyte = multibyte;
279
487282dc 280 return &cp->buf;
ca1d1d23
JB
281}
282
ca1d1d23 283\f
b819a390
RS
284static Lisp_Object
285looking_at_1 (string, posix)
ca1d1d23 286 Lisp_Object string;
b819a390 287 int posix;
ca1d1d23
JB
288{
289 Lisp_Object val;
290 unsigned char *p1, *p2;
291 int s1, s2;
292 register int i;
487282dc 293 struct re_pattern_buffer *bufp;
ca1d1d23 294
7074fde6
FP
295 if (running_asynch_code)
296 save_search_regs ();
297
910c747a
RS
298 /* This is so set_image_of_range_1 in regex.c can find the EQV table. */
299 XCHAR_TABLE (current_buffer->case_canon_table)->extras[2]
300 = current_buffer->case_eqv_table;
301
b7826503 302 CHECK_STRING (string);
ef887810
RS
303 bufp = compile_pattern (string,
304 (NILP (Vinhibit_changing_match_data)
305 ? &search_regs : NULL),
487282dc 306 (!NILP (current_buffer->case_fold_search)
0190922f 307 ? current_buffer->case_canon_table : Qnil),
0c8533c6
RS
308 posix,
309 !NILP (current_buffer->enable_multibyte_characters));
ca1d1d23
JB
310
311 immediate_quit = 1;
312 QUIT; /* Do a pending quit right away, to avoid paradoxical behavior */
313
314 /* Get pointers and sizes of the two strings
315 that make up the visible portion of the buffer. */
316
317 p1 = BEGV_ADDR;
fa8ed3e0 318 s1 = GPT_BYTE - BEGV_BYTE;
ca1d1d23 319 p2 = GAP_END_ADDR;
fa8ed3e0 320 s2 = ZV_BYTE - GPT_BYTE;
ca1d1d23
JB
321 if (s1 < 0)
322 {
323 p2 = p1;
fa8ed3e0 324 s2 = ZV_BYTE - BEGV_BYTE;
ca1d1d23
JB
325 s1 = 0;
326 }
327 if (s2 < 0)
328 {
fa8ed3e0 329 s1 = ZV_BYTE - BEGV_BYTE;
ca1d1d23
JB
330 s2 = 0;
331 }
8bb43c28
RS
332
333 re_match_object = Qnil;
177c0ea7 334
487282dc 335 i = re_match_2 (bufp, (char *) p1, s1, (char *) p2, s2,
ef887810
RS
336 PT_BYTE - BEGV_BYTE,
337 (NILP (Vinhibit_changing_match_data)
338 ? &search_regs : NULL),
fa8ed3e0 339 ZV_BYTE - BEGV_BYTE);
de182d70 340 immediate_quit = 0;
177c0ea7 341
ca1d1d23
JB
342 if (i == -2)
343 matcher_overflow ();
344
345 val = (0 <= i ? Qt : Qnil);
ef887810 346 if (NILP (Vinhibit_changing_match_data) && i >= 0)
fa8ed3e0
RS
347 for (i = 0; i < search_regs.num_regs; i++)
348 if (search_regs.start[i] >= 0)
349 {
350 search_regs.start[i]
351 = BYTE_TO_CHAR (search_regs.start[i] + BEGV_BYTE);
352 search_regs.end[i]
353 = BYTE_TO_CHAR (search_regs.end[i] + BEGV_BYTE);
354 }
ef887810
RS
355
356 /* Set last_thing_searched only when match data is changed. */
357 if (NILP (Vinhibit_changing_match_data))
358 XSETBUFFER (last_thing_searched, current_buffer);
359
ca1d1d23
JB
360 return val;
361}
362
b819a390 363DEFUN ("looking-at", Flooking_at, Slooking_at, 1, 1, 0,
8c1a1077
PJ
364 doc: /* Return t if text after point matches regular expression REGEXP.
365This function modifies the match data that `match-beginning',
366`match-end' and `match-data' access; save and restore the match
367data if you want to preserve them. */)
368 (regexp)
94f94972 369 Lisp_Object regexp;
b819a390 370{
94f94972 371 return looking_at_1 (regexp, 0);
b819a390
RS
372}
373
374DEFUN ("posix-looking-at", Fposix_looking_at, Sposix_looking_at, 1, 1, 0,
8c1a1077
PJ
375 doc: /* Return t if text after point matches regular expression REGEXP.
376Find the longest match, in accord with Posix regular expression rules.
377This function modifies the match data that `match-beginning',
378`match-end' and `match-data' access; save and restore the match
379data if you want to preserve them. */)
380 (regexp)
94f94972 381 Lisp_Object regexp;
b819a390 382{
94f94972 383 return looking_at_1 (regexp, 1);
b819a390
RS
384}
385\f
386static Lisp_Object
387string_match_1 (regexp, string, start, posix)
ca1d1d23 388 Lisp_Object regexp, string, start;
b819a390 389 int posix;
ca1d1d23
JB
390{
391 int val;
487282dc 392 struct re_pattern_buffer *bufp;
0c8533c6
RS
393 int pos, pos_byte;
394 int i;
ca1d1d23 395
7074fde6
FP
396 if (running_asynch_code)
397 save_search_regs ();
398
b7826503
PJ
399 CHECK_STRING (regexp);
400 CHECK_STRING (string);
ca1d1d23
JB
401
402 if (NILP (start))
0c8533c6 403 pos = 0, pos_byte = 0;
ca1d1d23
JB
404 else
405 {
d5db4077 406 int len = SCHARS (string);
ca1d1d23 407
b7826503 408 CHECK_NUMBER (start);
0c8533c6
RS
409 pos = XINT (start);
410 if (pos < 0 && -pos <= len)
411 pos = len + pos;
412 else if (0 > pos || pos > len)
ca1d1d23 413 args_out_of_range (string, start);
0c8533c6 414 pos_byte = string_char_to_byte (string, pos);
ca1d1d23
JB
415 }
416
910c747a
RS
417 /* This is so set_image_of_range_1 in regex.c can find the EQV table. */
418 XCHAR_TABLE (current_buffer->case_canon_table)->extras[2]
419 = current_buffer->case_eqv_table;
420
ef887810
RS
421 bufp = compile_pattern (regexp,
422 (NILP (Vinhibit_changing_match_data)
423 ? &search_regs : NULL),
487282dc 424 (!NILP (current_buffer->case_fold_search)
0190922f 425 ? current_buffer->case_canon_table : Qnil),
0c8533c6
RS
426 posix,
427 STRING_MULTIBYTE (string));
ca1d1d23 428 immediate_quit = 1;
8bb43c28 429 re_match_object = string;
177c0ea7 430
d5db4077
KR
431 val = re_search (bufp, (char *) SDATA (string),
432 SBYTES (string), pos_byte,
433 SBYTES (string) - pos_byte,
ef887810
RS
434 (NILP (Vinhibit_changing_match_data)
435 ? &search_regs : NULL));
ca1d1d23 436 immediate_quit = 0;
ef887810
RS
437
438 /* Set last_thing_searched only when match data is changed. */
439 if (NILP (Vinhibit_changing_match_data))
440 last_thing_searched = Qt;
441
ca1d1d23
JB
442 if (val == -2)
443 matcher_overflow ();
444 if (val < 0) return Qnil;
0c8533c6 445
ef887810
RS
446 if (NILP (Vinhibit_changing_match_data))
447 for (i = 0; i < search_regs.num_regs; i++)
448 if (search_regs.start[i] >= 0)
449 {
450 search_regs.start[i]
451 = string_byte_to_char (string, search_regs.start[i]);
452 search_regs.end[i]
453 = string_byte_to_char (string, search_regs.end[i]);
454 }
0c8533c6
RS
455
456 return make_number (string_byte_to_char (string, val));
ca1d1d23 457}
e59a8453 458
b819a390 459DEFUN ("string-match", Fstring_match, Sstring_match, 2, 3, 0,
8c1a1077 460 doc: /* Return index of start of first match for REGEXP in STRING, or nil.
b85acc4b 461Matching ignores case if `case-fold-search' is non-nil.
8c1a1077
PJ
462If third arg START is non-nil, start search at that index in STRING.
463For index of first char beyond the match, do (match-end 0).
464`match-end' and `match-beginning' also give indices of substrings
2bd2f32d
RS
465matched by parenthesis constructs in the pattern.
466
467You can use the function `match-string' to extract the substrings
468matched by the parenthesis constructions in REGEXP. */)
8c1a1077 469 (regexp, string, start)
b819a390
RS
470 Lisp_Object regexp, string, start;
471{
472 return string_match_1 (regexp, string, start, 0);
473}
474
475DEFUN ("posix-string-match", Fposix_string_match, Sposix_string_match, 2, 3, 0,
8c1a1077
PJ
476 doc: /* Return index of start of first match for REGEXP in STRING, or nil.
477Find the longest match, in accord with Posix regular expression rules.
478Case is ignored if `case-fold-search' is non-nil in the current buffer.
479If third arg START is non-nil, start search at that index in STRING.
480For index of first char beyond the match, do (match-end 0).
481`match-end' and `match-beginning' also give indices of substrings
482matched by parenthesis constructs in the pattern. */)
483 (regexp, string, start)
b819a390
RS
484 Lisp_Object regexp, string, start;
485{
486 return string_match_1 (regexp, string, start, 1);
487}
488
e59a8453
RS
489/* Match REGEXP against STRING, searching all of STRING,
490 and return the index of the match, or negative on failure.
491 This does not clobber the match data. */
492
493int
494fast_string_match (regexp, string)
495 Lisp_Object regexp, string;
496{
497 int val;
487282dc 498 struct re_pattern_buffer *bufp;
e59a8453 499
facdc750
RS
500 bufp = compile_pattern (regexp, 0, Qnil,
501 0, STRING_MULTIBYTE (string));
e59a8453 502 immediate_quit = 1;
8bb43c28 503 re_match_object = string;
177c0ea7 504
d5db4077
KR
505 val = re_search (bufp, (char *) SDATA (string),
506 SBYTES (string), 0,
507 SBYTES (string), 0);
e59a8453
RS
508 immediate_quit = 0;
509 return val;
510}
5679531d
KH
511
512/* Match REGEXP against STRING, searching all of STRING ignoring case,
513 and return the index of the match, or negative on failure.
0c8533c6
RS
514 This does not clobber the match data.
515 We assume that STRING contains single-byte characters. */
5679531d
KH
516
517extern Lisp_Object Vascii_downcase_table;
518
519int
b4577c63 520fast_c_string_match_ignore_case (regexp, string)
5679531d 521 Lisp_Object regexp;
96b80561 522 const char *string;
5679531d
KH
523{
524 int val;
525 struct re_pattern_buffer *bufp;
526 int len = strlen (string);
527
0c8533c6 528 regexp = string_make_unibyte (regexp);
b4577c63 529 re_match_object = Qt;
5679531d 530 bufp = compile_pattern (regexp, 0,
0190922f 531 Vascii_canon_table, 0,
f8bd51c4 532 0);
5679531d
KH
533 immediate_quit = 1;
534 val = re_search (bufp, string, len, 0, len, 0);
535 immediate_quit = 0;
536 return val;
537}
be5f4dfb
KH
538
539/* Like fast_string_match but ignore case. */
540
541int
542fast_string_match_ignore_case (regexp, string)
543 Lisp_Object regexp, string;
544{
545 int val;
546 struct re_pattern_buffer *bufp;
547
0190922f 548 bufp = compile_pattern (regexp, 0, Vascii_canon_table,
be5f4dfb
KH
549 0, STRING_MULTIBYTE (string));
550 immediate_quit = 1;
551 re_match_object = string;
552
553 val = re_search (bufp, (char *) SDATA (string),
554 SBYTES (string), 0,
555 SBYTES (string), 0);
556 immediate_quit = 0;
557 return val;
558}
ca1d1d23 559\f
9169c321
JB
560/* The newline cache: remembering which sections of text have no newlines. */
561
562/* If the user has requested newline caching, make sure it's on.
563 Otherwise, make sure it's off.
564 This is our cheezy way of associating an action with the change of
565 state of a buffer-local variable. */
566static void
567newline_cache_on_off (buf)
568 struct buffer *buf;
569{
570 if (NILP (buf->cache_long_line_scans))
571 {
572 /* It should be off. */
573 if (buf->newline_cache)
574 {
575 free_region_cache (buf->newline_cache);
576 buf->newline_cache = 0;
577 }
578 }
579 else
580 {
581 /* It should be on. */
582 if (buf->newline_cache == 0)
583 buf->newline_cache = new_region_cache ();
584 }
585}
586
587\f
588/* Search for COUNT instances of the character TARGET between START and END.
589
590 If COUNT is positive, search forwards; END must be >= START.
591 If COUNT is negative, search backwards for the -COUNTth instance;
592 END must be <= START.
593 If COUNT is zero, do anything you please; run rogue, for all I care.
594
595 If END is zero, use BEGV or ZV instead, as appropriate for the
596 direction indicated by COUNT.
ffd56f97
JB
597
598 If we find COUNT instances, set *SHORTAGE to zero, and return the
a9f2a45f 599 position past the COUNTth match. Note that for reverse motion
5bfe95c9 600 this is not the same as the usual convention for Emacs motion commands.
ffd56f97 601
9169c321
JB
602 If we don't find COUNT instances before reaching END, set *SHORTAGE
603 to the number of TARGETs left unfound, and return END.
ffd56f97 604
087a5f81
RS
605 If ALLOW_QUIT is non-zero, set immediate_quit. That's good to do
606 except when inside redisplay. */
607
dfcf069d 608int
9169c321
JB
609scan_buffer (target, start, end, count, shortage, allow_quit)
610 register int target;
611 int start, end;
612 int count;
613 int *shortage;
087a5f81 614 int allow_quit;
ca1d1d23 615{
9169c321 616 struct region_cache *newline_cache;
177c0ea7 617 int direction;
ffd56f97 618
9169c321
JB
619 if (count > 0)
620 {
621 direction = 1;
622 if (! end) end = ZV;
623 }
624 else
625 {
626 direction = -1;
627 if (! end) end = BEGV;
628 }
ffd56f97 629
9169c321
JB
630 newline_cache_on_off (current_buffer);
631 newline_cache = current_buffer->newline_cache;
ca1d1d23
JB
632
633 if (shortage != 0)
634 *shortage = 0;
635
087a5f81 636 immediate_quit = allow_quit;
ca1d1d23 637
ffd56f97 638 if (count > 0)
9169c321 639 while (start != end)
ca1d1d23 640 {
9169c321
JB
641 /* Our innermost scanning loop is very simple; it doesn't know
642 about gaps, buffer ends, or the newline cache. ceiling is
643 the position of the last character before the next such
644 obstacle --- the last character the dumb search loop should
645 examine. */
fa8ed3e0
RS
646 int ceiling_byte = CHAR_TO_BYTE (end) - 1;
647 int start_byte = CHAR_TO_BYTE (start);
67ce527d 648 int tem;
9169c321
JB
649
650 /* If we're looking for a newline, consult the newline cache
651 to see where we can avoid some scanning. */
652 if (target == '\n' && newline_cache)
653 {
654 int next_change;
655 immediate_quit = 0;
656 while (region_cache_forward
fa8ed3e0
RS
657 (current_buffer, newline_cache, start_byte, &next_change))
658 start_byte = next_change;
cbe0db0d 659 immediate_quit = allow_quit;
9169c321 660
fa8ed3e0
RS
661 /* START should never be after END. */
662 if (start_byte > ceiling_byte)
663 start_byte = ceiling_byte;
9169c321
JB
664
665 /* Now the text after start is an unknown region, and
666 next_change is the position of the next known region. */
fa8ed3e0 667 ceiling_byte = min (next_change - 1, ceiling_byte);
9169c321
JB
668 }
669
670 /* The dumb loop can only scan text stored in contiguous
671 bytes. BUFFER_CEILING_OF returns the last character
672 position that is contiguous, so the ceiling is the
673 position after that. */
67ce527d
KH
674 tem = BUFFER_CEILING_OF (start_byte);
675 ceiling_byte = min (tem, ceiling_byte);
9169c321
JB
676
677 {
177c0ea7 678 /* The termination address of the dumb loop. */
fa8ed3e0
RS
679 register unsigned char *ceiling_addr
680 = BYTE_POS_ADDR (ceiling_byte) + 1;
681 register unsigned char *cursor
682 = BYTE_POS_ADDR (start_byte);
9169c321
JB
683 unsigned char *base = cursor;
684
685 while (cursor < ceiling_addr)
686 {
687 unsigned char *scan_start = cursor;
688
689 /* The dumb loop. */
690 while (*cursor != target && ++cursor < ceiling_addr)
691 ;
692
693 /* If we're looking for newlines, cache the fact that
694 the region from start to cursor is free of them. */
695 if (target == '\n' && newline_cache)
696 know_region_cache (current_buffer, newline_cache,
fa8ed3e0
RS
697 start_byte + scan_start - base,
698 start_byte + cursor - base);
9169c321
JB
699
700 /* Did we find the target character? */
701 if (cursor < ceiling_addr)
702 {
703 if (--count == 0)
704 {
705 immediate_quit = 0;
fa8ed3e0 706 return BYTE_TO_CHAR (start_byte + cursor - base + 1);
9169c321
JB
707 }
708 cursor++;
709 }
710 }
711
fa8ed3e0 712 start = BYTE_TO_CHAR (start_byte + cursor - base);
9169c321 713 }
ca1d1d23
JB
714 }
715 else
9169c321
JB
716 while (start > end)
717 {
718 /* The last character to check before the next obstacle. */
fa8ed3e0
RS
719 int ceiling_byte = CHAR_TO_BYTE (end);
720 int start_byte = CHAR_TO_BYTE (start);
67ce527d 721 int tem;
9169c321
JB
722
723 /* Consult the newline cache, if appropriate. */
724 if (target == '\n' && newline_cache)
725 {
726 int next_change;
727 immediate_quit = 0;
728 while (region_cache_backward
fa8ed3e0
RS
729 (current_buffer, newline_cache, start_byte, &next_change))
730 start_byte = next_change;
cbe0db0d 731 immediate_quit = allow_quit;
9169c321
JB
732
733 /* Start should never be at or before end. */
fa8ed3e0
RS
734 if (start_byte <= ceiling_byte)
735 start_byte = ceiling_byte + 1;
9169c321
JB
736
737 /* Now the text before start is an unknown region, and
738 next_change is the position of the next known region. */
fa8ed3e0 739 ceiling_byte = max (next_change, ceiling_byte);
9169c321
JB
740 }
741
742 /* Stop scanning before the gap. */
67ce527d
KH
743 tem = BUFFER_FLOOR_OF (start_byte - 1);
744 ceiling_byte = max (tem, ceiling_byte);
9169c321
JB
745
746 {
747 /* The termination address of the dumb loop. */
fa8ed3e0
RS
748 register unsigned char *ceiling_addr = BYTE_POS_ADDR (ceiling_byte);
749 register unsigned char *cursor = BYTE_POS_ADDR (start_byte - 1);
9169c321
JB
750 unsigned char *base = cursor;
751
752 while (cursor >= ceiling_addr)
753 {
754 unsigned char *scan_start = cursor;
755
756 while (*cursor != target && --cursor >= ceiling_addr)
757 ;
758
759 /* If we're looking for newlines, cache the fact that
760 the region from after the cursor to start is free of them. */
761 if (target == '\n' && newline_cache)
762 know_region_cache (current_buffer, newline_cache,
fa8ed3e0
RS
763 start_byte + cursor - base,
764 start_byte + scan_start - base);
9169c321
JB
765
766 /* Did we find the target character? */
767 if (cursor >= ceiling_addr)
768 {
769 if (++count >= 0)
770 {
771 immediate_quit = 0;
fa8ed3e0 772 return BYTE_TO_CHAR (start_byte + cursor - base);
9169c321
JB
773 }
774 cursor--;
775 }
776 }
777
fa8ed3e0 778 start = BYTE_TO_CHAR (start_byte + cursor - base);
9169c321
JB
779 }
780 }
781
ca1d1d23
JB
782 immediate_quit = 0;
783 if (shortage != 0)
ffd56f97 784 *shortage = count * direction;
9169c321 785 return start;
ca1d1d23 786}
fa8ed3e0
RS
787\f
788/* Search for COUNT instances of a line boundary, which means either a
789 newline or (if selective display enabled) a carriage return.
790 Start at START. If COUNT is negative, search backwards.
791
792 We report the resulting position by calling TEMP_SET_PT_BOTH.
793
794 If we find COUNT instances. we position after (always after,
795 even if scanning backwards) the COUNTth match, and return 0.
796
797 If we don't find COUNT instances before reaching the end of the
798 buffer (or the beginning, if scanning backwards), we return
799 the number of line boundaries left unfound, and position at
800 the limit we bumped up against.
801
802 If ALLOW_QUIT is non-zero, set immediate_quit. That's good to do
d5d57b92 803 except in special cases. */
ca1d1d23 804
63fa018d 805int
fa8ed3e0
RS
806scan_newline (start, start_byte, limit, limit_byte, count, allow_quit)
807 int start, start_byte;
808 int limit, limit_byte;
809 register int count;
810 int allow_quit;
63fa018d 811{
fa8ed3e0
RS
812 int direction = ((count > 0) ? 1 : -1);
813
814 register unsigned char *cursor;
815 unsigned char *base;
816
817 register int ceiling;
818 register unsigned char *ceiling_addr;
819
d5d57b92
RS
820 int old_immediate_quit = immediate_quit;
821
fa8ed3e0
RS
822 /* The code that follows is like scan_buffer
823 but checks for either newline or carriage return. */
824
d5d57b92
RS
825 if (allow_quit)
826 immediate_quit++;
fa8ed3e0
RS
827
828 start_byte = CHAR_TO_BYTE (start);
829
830 if (count > 0)
831 {
832 while (start_byte < limit_byte)
833 {
834 ceiling = BUFFER_CEILING_OF (start_byte);
835 ceiling = min (limit_byte - 1, ceiling);
836 ceiling_addr = BYTE_POS_ADDR (ceiling) + 1;
837 base = (cursor = BYTE_POS_ADDR (start_byte));
838 while (1)
839 {
840 while (*cursor != '\n' && ++cursor != ceiling_addr)
841 ;
842
843 if (cursor != ceiling_addr)
844 {
845 if (--count == 0)
846 {
d5d57b92 847 immediate_quit = old_immediate_quit;
fa8ed3e0
RS
848 start_byte = start_byte + cursor - base + 1;
849 start = BYTE_TO_CHAR (start_byte);
850 TEMP_SET_PT_BOTH (start, start_byte);
851 return 0;
852 }
853 else
854 if (++cursor == ceiling_addr)
855 break;
856 }
857 else
858 break;
859 }
860 start_byte += cursor - base;
861 }
862 }
863 else
864 {
fa8ed3e0
RS
865 while (start_byte > limit_byte)
866 {
867 ceiling = BUFFER_FLOOR_OF (start_byte - 1);
868 ceiling = max (limit_byte, ceiling);
869 ceiling_addr = BYTE_POS_ADDR (ceiling) - 1;
870 base = (cursor = BYTE_POS_ADDR (start_byte - 1) + 1);
871 while (1)
872 {
873 while (--cursor != ceiling_addr && *cursor != '\n')
874 ;
875
876 if (cursor != ceiling_addr)
877 {
878 if (++count == 0)
879 {
d5d57b92 880 immediate_quit = old_immediate_quit;
fa8ed3e0
RS
881 /* Return the position AFTER the match we found. */
882 start_byte = start_byte + cursor - base + 1;
883 start = BYTE_TO_CHAR (start_byte);
884 TEMP_SET_PT_BOTH (start, start_byte);
885 return 0;
886 }
887 }
888 else
889 break;
890 }
891 /* Here we add 1 to compensate for the last decrement
892 of CURSOR, which took it past the valid range. */
893 start_byte += cursor - base + 1;
894 }
895 }
896
897 TEMP_SET_PT_BOTH (limit, limit_byte);
d5d57b92 898 immediate_quit = old_immediate_quit;
fa8ed3e0
RS
899
900 return count * direction;
63fa018d
RS
901}
902
ca1d1d23 903int
fa8ed3e0 904find_next_newline_no_quit (from, cnt)
ca1d1d23
JB
905 register int from, cnt;
906{
fa8ed3e0 907 return scan_buffer ('\n', from, 0, cnt, (int *) 0, 0);
9169c321
JB
908}
909
9169c321
JB
910/* Like find_next_newline, but returns position before the newline,
911 not after, and only search up to TO. This isn't just
912 find_next_newline (...)-1, because you might hit TO. */
fa8ed3e0 913
9169c321
JB
914int
915find_before_next_newline (from, to, cnt)
cbe0db0d 916 int from, to, cnt;
9169c321
JB
917{
918 int shortage;
919 int pos = scan_buffer ('\n', from, to, cnt, &shortage, 1);
920
921 if (shortage == 0)
922 pos--;
177c0ea7 923
9169c321 924 return pos;
ca1d1d23
JB
925}
926\f
ca1d1d23
JB
927/* Subroutines of Lisp buffer search functions. */
928
929static Lisp_Object
b819a390 930search_command (string, bound, noerror, count, direction, RE, posix)
ca1d1d23
JB
931 Lisp_Object string, bound, noerror, count;
932 int direction;
933 int RE;
b819a390 934 int posix;
ca1d1d23
JB
935{
936 register int np;
9f43ad85 937 int lim, lim_byte;
ca1d1d23
JB
938 int n = direction;
939
940 if (!NILP (count))
941 {
b7826503 942 CHECK_NUMBER (count);
ca1d1d23
JB
943 n *= XINT (count);
944 }
945
b7826503 946 CHECK_STRING (string);
ca1d1d23 947 if (NILP (bound))
9f43ad85
RS
948 {
949 if (n > 0)
950 lim = ZV, lim_byte = ZV_BYTE;
951 else
952 lim = BEGV, lim_byte = BEGV_BYTE;
953 }
ca1d1d23
JB
954 else
955 {
b7826503 956 CHECK_NUMBER_COERCE_MARKER (bound);
ca1d1d23 957 lim = XINT (bound);
6ec8bbd2 958 if (n > 0 ? lim < PT : lim > PT)
ca1d1d23
JB
959 error ("Invalid search bound (wrong side of point)");
960 if (lim > ZV)
9f43ad85 961 lim = ZV, lim_byte = ZV_BYTE;
588d2fd5 962 else if (lim < BEGV)
9f43ad85 963 lim = BEGV, lim_byte = BEGV_BYTE;
588d2fd5
KH
964 else
965 lim_byte = CHAR_TO_BYTE (lim);
ca1d1d23
JB
966 }
967
910c747a
RS
968 /* This is so set_image_of_range_1 in regex.c can find the EQV table. */
969 XCHAR_TABLE (current_buffer->case_canon_table)->extras[2]
970 = current_buffer->case_eqv_table;
971
9f43ad85 972 np = search_buffer (string, PT, PT_BYTE, lim, lim_byte, n, RE,
ca1d1d23 973 (!NILP (current_buffer->case_fold_search)
facdc750 974 ? current_buffer->case_canon_table
3135e9fd 975 : Qnil),
ca1d1d23 976 (!NILP (current_buffer->case_fold_search)
facdc750 977 ? current_buffer->case_eqv_table
3135e9fd 978 : Qnil),
b819a390 979 posix);
ca1d1d23
JB
980 if (np <= 0)
981 {
982 if (NILP (noerror))
06f77a8a
KS
983 xsignal1 (Qsearch_failed, string);
984
ca1d1d23
JB
985 if (!EQ (noerror, Qt))
986 {
987 if (lim < BEGV || lim > ZV)
988 abort ();
9f43ad85 989 SET_PT_BOTH (lim, lim_byte);
a5f217b8
RS
990 return Qnil;
991#if 0 /* This would be clean, but maybe programs depend on
992 a value of nil here. */
481399bf 993 np = lim;
a5f217b8 994#endif
ca1d1d23 995 }
481399bf
RS
996 else
997 return Qnil;
ca1d1d23
JB
998 }
999
1000 if (np < BEGV || np > ZV)
1001 abort ();
1002
1003 SET_PT (np);
1004
1005 return make_number (np);
1006}
1007\f
fa8ed3e0
RS
1008/* Return 1 if REGEXP it matches just one constant string. */
1009
b6d6a51c
KH
1010static int
1011trivial_regexp_p (regexp)
1012 Lisp_Object regexp;
1013{
d5db4077
KR
1014 int len = SBYTES (regexp);
1015 unsigned char *s = SDATA (regexp);
b6d6a51c
KH
1016 while (--len >= 0)
1017 {
1018 switch (*s++)
1019 {
1020 case '.': case '*': case '+': case '?': case '[': case '^': case '$':
1021 return 0;
1022 case '\\':
1023 if (--len < 0)
1024 return 0;
1025 switch (*s++)
1026 {
1027 case '|': case '(': case ')': case '`': case '\'': case 'b':
1028 case 'B': case '<': case '>': case 'w': case 'W': case 's':
29f89fe7 1029 case 'S': case '=': case '{': case '}': case '_':
5679531d 1030 case 'c': case 'C': /* for categoryspec and notcategoryspec */
866f60fd 1031 case '1': case '2': case '3': case '4': case '5':
b6d6a51c
KH
1032 case '6': case '7': case '8': case '9':
1033 return 0;
1034 }
1035 }
1036 }
1037 return 1;
1038}
1039
ca325161 1040/* Search for the n'th occurrence of STRING in the current buffer,
ca1d1d23 1041 starting at position POS and stopping at position LIM,
b819a390 1042 treating STRING as a literal string if RE is false or as
ca1d1d23
JB
1043 a regular expression if RE is true.
1044
1045 If N is positive, searching is forward and LIM must be greater than POS.
1046 If N is negative, searching is backward and LIM must be less than POS.
1047
facdc750 1048 Returns -x if x occurrences remain to be found (x > 0),
ca1d1d23 1049 or else the position at the beginning of the Nth occurrence
b819a390
RS
1050 (if searching backward) or the end (if searching forward).
1051
1052 POSIX is nonzero if we want full backtracking (POSIX style)
1053 for this pattern. 0 means backtrack only enough to get a valid match. */
ca1d1d23 1054
aff2ce94
RS
1055#define TRANSLATE(out, trt, d) \
1056do \
1057 { \
1058 if (! NILP (trt)) \
1059 { \
1060 Lisp_Object temp; \
1061 temp = Faref (trt, make_number (d)); \
1062 if (INTEGERP (temp)) \
1063 out = XINT (temp); \
1064 else \
1065 out = d; \
1066 } \
1067 else \
1068 out = d; \
1069 } \
1070while (0)
facdc750 1071
ef887810
RS
1072/* Only used in search_buffer, to record the end position of the match
1073 when searching regexps and SEARCH_REGS should not be changed
1074 (i.e. Vinhibit_changing_match_data is non-nil). */
1075static struct re_registers search_regs_1;
1076
b819a390 1077static int
9f43ad85
RS
1078search_buffer (string, pos, pos_byte, lim, lim_byte, n,
1079 RE, trt, inverse_trt, posix)
ca1d1d23
JB
1080 Lisp_Object string;
1081 int pos;
9f43ad85 1082 int pos_byte;
ca1d1d23 1083 int lim;
9f43ad85 1084 int lim_byte;
ca1d1d23
JB
1085 int n;
1086 int RE;
facdc750
RS
1087 Lisp_Object trt;
1088 Lisp_Object inverse_trt;
b819a390 1089 int posix;
ca1d1d23 1090{
d5db4077
KR
1091 int len = SCHARS (string);
1092 int len_byte = SBYTES (string);
facdc750 1093 register int i;
ca1d1d23 1094
7074fde6
FP
1095 if (running_asynch_code)
1096 save_search_regs ();
1097
a7e4cdde 1098 /* Searching 0 times means don't move. */
ca1d1d23 1099 /* Null string is found at starting position. */
a7e4cdde 1100 if (len == 0 || n == 0)
ca325161 1101 {
0353b28f 1102 set_search_regs (pos_byte, 0);
ca325161
RS
1103 return pos;
1104 }
3f57a499 1105
41a33295 1106 if (RE && !(trivial_regexp_p (string) && NILP (Vsearch_spaces_regexp)))
ca1d1d23 1107 {
facdc750
RS
1108 unsigned char *p1, *p2;
1109 int s1, s2;
487282dc
KH
1110 struct re_pattern_buffer *bufp;
1111
ef887810
RS
1112 bufp = compile_pattern (string,
1113 (NILP (Vinhibit_changing_match_data)
1114 ? &search_regs : &search_regs_1),
1115 trt, posix,
0c8533c6 1116 !NILP (current_buffer->enable_multibyte_characters));
ca1d1d23 1117
ca1d1d23
JB
1118 immediate_quit = 1; /* Quit immediately if user types ^G,
1119 because letting this function finish
1120 can take too long. */
1121 QUIT; /* Do a pending quit right away,
1122 to avoid paradoxical behavior */
1123 /* Get pointers and sizes of the two strings
1124 that make up the visible portion of the buffer. */
1125
1126 p1 = BEGV_ADDR;
fa8ed3e0 1127 s1 = GPT_BYTE - BEGV_BYTE;
ca1d1d23 1128 p2 = GAP_END_ADDR;
fa8ed3e0 1129 s2 = ZV_BYTE - GPT_BYTE;
ca1d1d23
JB
1130 if (s1 < 0)
1131 {
1132 p2 = p1;
fa8ed3e0 1133 s2 = ZV_BYTE - BEGV_BYTE;
ca1d1d23
JB
1134 s1 = 0;
1135 }
1136 if (s2 < 0)
1137 {
fa8ed3e0 1138 s1 = ZV_BYTE - BEGV_BYTE;
ca1d1d23
JB
1139 s2 = 0;
1140 }
8bb43c28 1141 re_match_object = Qnil;
177c0ea7 1142
ca1d1d23
JB
1143 while (n < 0)
1144 {
42db823b 1145 int val;
487282dc 1146 val = re_search_2 (bufp, (char *) p1, s1, (char *) p2, s2,
4996330b 1147 pos_byte - BEGV_BYTE, lim_byte - pos_byte,
ef887810
RS
1148 (NILP (Vinhibit_changing_match_data)
1149 ? &search_regs : &search_regs_1),
42db823b 1150 /* Don't allow match past current point */
4996330b 1151 pos_byte - BEGV_BYTE);
ca1d1d23 1152 if (val == -2)
b6d6a51c
KH
1153 {
1154 matcher_overflow ();
1155 }
ca1d1d23
JB
1156 if (val >= 0)
1157 {
ef887810
RS
1158 if (NILP (Vinhibit_changing_match_data))
1159 {
1160 pos_byte = search_regs.start[0] + BEGV_BYTE;
1161 for (i = 0; i < search_regs.num_regs; i++)
1162 if (search_regs.start[i] >= 0)
1163 {
1164 search_regs.start[i]
1165 = BYTE_TO_CHAR (search_regs.start[i] + BEGV_BYTE);
1166 search_regs.end[i]
1167 = BYTE_TO_CHAR (search_regs.end[i] + BEGV_BYTE);
1168 }
1169 XSETBUFFER (last_thing_searched, current_buffer);
1170 /* Set pos to the new position. */
1171 pos = search_regs.start[0];
1172 }
1173 else
1174 {
1175 pos_byte = search_regs_1.start[0] + BEGV_BYTE;
1176 /* Set pos to the new position. */
1177 pos = BYTE_TO_CHAR (search_regs_1.start[0] + BEGV_BYTE);
1178 }
ca1d1d23
JB
1179 }
1180 else
1181 {
1182 immediate_quit = 0;
1183 return (n);
1184 }
1185 n++;
1186 }
1187 while (n > 0)
1188 {
42db823b 1189 int val;
487282dc 1190 val = re_search_2 (bufp, (char *) p1, s1, (char *) p2, s2,
4996330b 1191 pos_byte - BEGV_BYTE, lim_byte - pos_byte,
ef887810
RS
1192 (NILP (Vinhibit_changing_match_data)
1193 ? &search_regs : &search_regs_1),
4996330b 1194 lim_byte - BEGV_BYTE);
ca1d1d23 1195 if (val == -2)
b6d6a51c
KH
1196 {
1197 matcher_overflow ();
1198 }
ca1d1d23
JB
1199 if (val >= 0)
1200 {
ef887810
RS
1201 if (NILP (Vinhibit_changing_match_data))
1202 {
1203 pos_byte = search_regs.end[0] + BEGV_BYTE;
1204 for (i = 0; i < search_regs.num_regs; i++)
1205 if (search_regs.start[i] >= 0)
1206 {
1207 search_regs.start[i]
1208 = BYTE_TO_CHAR (search_regs.start[i] + BEGV_BYTE);
1209 search_regs.end[i]
1210 = BYTE_TO_CHAR (search_regs.end[i] + BEGV_BYTE);
1211 }
1212 XSETBUFFER (last_thing_searched, current_buffer);
1213 pos = search_regs.end[0];
1214 }
1215 else
1216 {
1217 pos_byte = search_regs_1.end[0] + BEGV_BYTE;
1218 pos = BYTE_TO_CHAR (search_regs_1.end[0] + BEGV_BYTE);
1219 }
ca1d1d23
JB
1220 }
1221 else
1222 {
1223 immediate_quit = 0;
1224 return (0 - n);
1225 }
1226 n--;
1227 }
1228 immediate_quit = 0;
1229 return (pos);
1230 }
1231 else /* non-RE case */
1232 {
facdc750
RS
1233 unsigned char *raw_pattern, *pat;
1234 int raw_pattern_size;
1235 int raw_pattern_size_byte;
1236 unsigned char *patbuf;
1237 int multibyte = !NILP (current_buffer->enable_multibyte_characters);
a967ed62 1238 unsigned char *base_pat;
49e44e81
KH
1239 /* Set to positive if we find a non-ASCII char that need
1240 translation. Otherwise set to zero later. */
1241 int char_base = -1;
040272ce 1242 int boyer_moore_ok = 1;
facdc750
RS
1243
1244 /* MULTIBYTE says whether the text to be searched is multibyte.
1245 We must convert PATTERN to match that, or we will not really
1246 find things right. */
1247
1248 if (multibyte == STRING_MULTIBYTE (string))
1249 {
d5db4077
KR
1250 raw_pattern = (unsigned char *) SDATA (string);
1251 raw_pattern_size = SCHARS (string);
1252 raw_pattern_size_byte = SBYTES (string);
facdc750
RS
1253 }
1254 else if (multibyte)
1255 {
d5db4077 1256 raw_pattern_size = SCHARS (string);
facdc750 1257 raw_pattern_size_byte
d5db4077 1258 = count_size_as_multibyte (SDATA (string),
facdc750 1259 raw_pattern_size);
7276d3d8 1260 raw_pattern = (unsigned char *) alloca (raw_pattern_size_byte + 1);
d5db4077
KR
1261 copy_text (SDATA (string), raw_pattern,
1262 SCHARS (string), 0, 1);
facdc750
RS
1263 }
1264 else
1265 {
1266 /* Converting multibyte to single-byte.
1267
1268 ??? Perhaps this conversion should be done in a special way
1269 by subtracting nonascii-insert-offset from each non-ASCII char,
1270 so that only the multibyte chars which really correspond to
1271 the chosen single-byte character set can possibly match. */
d5db4077
KR
1272 raw_pattern_size = SCHARS (string);
1273 raw_pattern_size_byte = SCHARS (string);
7276d3d8 1274 raw_pattern = (unsigned char *) alloca (raw_pattern_size + 1);
d5db4077
KR
1275 copy_text (SDATA (string), raw_pattern,
1276 SBYTES (string), 1, 0);
facdc750
RS
1277 }
1278
1279 /* Copy and optionally translate the pattern. */
1280 len = raw_pattern_size;
1281 len_byte = raw_pattern_size_byte;
f5f7578b 1282 patbuf = (unsigned char *) alloca (len * MAX_MULTIBYTE_LENGTH);
facdc750
RS
1283 pat = patbuf;
1284 base_pat = raw_pattern;
1285 if (multibyte)
1286 {
a17ae96a
KH
1287 /* Fill patbuf by translated characters in STRING while
1288 checking if we can use boyer-moore search. If TRT is
1289 non-nil, we can use boyer-moore search only if TRT can be
1290 represented by the byte array of 256 elements. For that,
1291 all non-ASCII case-equivalents of all case-senstive
1292 characters in STRING must belong to the same charset and
1293 row. */
1294
facdc750
RS
1295 while (--len >= 0)
1296 {
a17ae96a 1297 unsigned char str_base[MAX_MULTIBYTE_LENGTH], *str;
aff2ce94 1298 int c, translated, inverse;
a17ae96a 1299 int in_charlen, charlen;
facdc750
RS
1300
1301 /* If we got here and the RE flag is set, it's because we're
1302 dealing with a regexp known to be trivial, so the backslash
1303 just quotes the next character. */
1304 if (RE && *base_pat == '\\')
1305 {
1306 len--;
62221f22 1307 raw_pattern_size--;
facdc750
RS
1308 len_byte--;
1309 base_pat++;
1310 }
1311
1312 c = STRING_CHAR_AND_LENGTH (base_pat, len_byte, in_charlen);
040272ce 1313
a17ae96a 1314 if (NILP (trt))
facdc750 1315 {
a17ae96a
KH
1316 str = base_pat;
1317 charlen = in_charlen;
1318 }
1319 else
1320 {
1321 /* Translate the character. */
1322 TRANSLATE (translated, trt, c);
1323 charlen = CHAR_STRING (translated, str_base);
1324 str = str_base;
1325
1326 /* Check if C has any other case-equivalents. */
1327 TRANSLATE (inverse, inverse_trt, c);
1328 /* If so, check if we can use boyer-moore. */
1329 if (c != inverse && boyer_moore_ok)
1330 {
1331 /* Check if all equivalents belong to the same
1332 group of characters. Note that the check of C
49e44e81
KH
1333 itself is done by the last iteration. */
1334 int this_char_base = -1;
1335
1336 while (boyer_moore_ok)
a17ae96a 1337 {
49e44e81 1338 if (ASCII_BYTE_P (inverse))
a17ae96a 1339 {
49e44e81
KH
1340 if (this_char_base > 0)
1341 boyer_moore_ok = 0;
1342 else
a17ae96a 1343 {
49e44e81
KH
1344 this_char_base = 0;
1345 if (char_base < 0)
1346 char_base = this_char_base;
a17ae96a
KH
1347 }
1348 }
49e44e81
KH
1349 else if (CHAR_BYTE8_P (inverse))
1350 /* Boyer-moore search can't handle a
1351 translation of an eight-bit
1352 character. */
1353 boyer_moore_ok = 0;
1354 else if (this_char_base < 0)
1355 {
1356 this_char_base = inverse & ~0x3F;
1357 if (char_base < 0)
1358 char_base = this_char_base;
1359 else if (char_base > 0
1360 && this_char_base != char_base)
1361 boyer_moore_ok = 0;
1362 }
1363 else if ((inverse & ~0x3F) != this_char_base)
1364 boyer_moore_ok = 0;
a17ae96a
KH
1365 if (c == inverse)
1366 break;
1367 TRANSLATE (inverse, inverse_trt, inverse);
1368 }
1369 }
aff2ce94 1370 }
49e44e81
KH
1371 if (char_base < 0)
1372 char_base = 0;
facdc750
RS
1373
1374 /* Store this character into the translated pattern. */
a17ae96a
KH
1375 bcopy (str, pat, charlen);
1376 pat += charlen;
facdc750
RS
1377 base_pat += in_charlen;
1378 len_byte -= in_charlen;
1379 }
1380 }
1381 else
1382 {
040272ce 1383 /* Unibyte buffer. */
a17ae96a 1384 char_base = 0;
facdc750
RS
1385 while (--len >= 0)
1386 {
040272ce 1387 int c, translated;
facdc750
RS
1388
1389 /* If we got here and the RE flag is set, it's because we're
1390 dealing with a regexp known to be trivial, so the backslash
1391 just quotes the next character. */
1392 if (RE && *base_pat == '\\')
1393 {
1394 len--;
0190922f 1395 raw_pattern_size--;
facdc750
RS
1396 base_pat++;
1397 }
1398 c = *base_pat++;
aff2ce94 1399 TRANSLATE (translated, trt, c);
facdc750
RS
1400 *pat++ = translated;
1401 }
1402 }
1403
1404 len_byte = pat - patbuf;
1405 len = raw_pattern_size;
1406 pat = base_pat = patbuf;
1407
040272ce 1408 if (boyer_moore_ok)
facdc750 1409 return boyer_moore (n, pat, len, len_byte, trt, inverse_trt,
aff2ce94 1410 pos, pos_byte, lim, lim_byte,
a17ae96a 1411 char_base);
facdc750
RS
1412 else
1413 return simple_search (n, pat, len, len_byte, trt,
1414 pos, pos_byte, lim, lim_byte);
1415 }
1416}
1417\f
1418/* Do a simple string search N times for the string PAT,
1419 whose length is LEN/LEN_BYTE,
1420 from buffer position POS/POS_BYTE until LIM/LIM_BYTE.
1421 TRT is the translation table.
f8bd51c4 1422
facdc750
RS
1423 Return the character position where the match is found.
1424 Otherwise, if M matches remained to be found, return -M.
f8bd51c4 1425
facdc750
RS
1426 This kind of search works regardless of what is in PAT and
1427 regardless of what is in TRT. It is used in cases where
1428 boyer_moore cannot work. */
1429
1430static int
1431simple_search (n, pat, len, len_byte, trt, pos, pos_byte, lim, lim_byte)
1432 int n;
1433 unsigned char *pat;
1434 int len, len_byte;
1435 Lisp_Object trt;
1436 int pos, pos_byte;
1437 int lim, lim_byte;
1438{
1439 int multibyte = ! NILP (current_buffer->enable_multibyte_characters);
ab228c24 1440 int forward = n > 0;
49e44e81
KH
1441 /* Number of buffer bytes matched. Note that this may be different
1442 from len_byte in a multibyte buffer. */
1443 int match_byte;
facdc750
RS
1444
1445 if (lim > pos && multibyte)
1446 while (n > 0)
1447 {
1448 while (1)
f8bd51c4 1449 {
facdc750
RS
1450 /* Try matching at position POS. */
1451 int this_pos = pos;
1452 int this_pos_byte = pos_byte;
1453 int this_len = len;
1454 int this_len_byte = len_byte;
1455 unsigned char *p = pat;
a9469498 1456 if (pos + len > lim || pos_byte + len_byte > lim_byte)
facdc750
RS
1457 goto stop;
1458
1459 while (this_len > 0)
1460 {
1461 int charlen, buf_charlen;
ab228c24 1462 int pat_ch, buf_ch;
facdc750 1463
ab228c24 1464 pat_ch = STRING_CHAR_AND_LENGTH (p, this_len_byte, charlen);
facdc750
RS
1465 buf_ch = STRING_CHAR_AND_LENGTH (BYTE_POS_ADDR (this_pos_byte),
1466 ZV_BYTE - this_pos_byte,
1467 buf_charlen);
aff2ce94 1468 TRANSLATE (buf_ch, trt, buf_ch);
facdc750
RS
1469
1470 if (buf_ch != pat_ch)
1471 break;
ab228c24
RS
1472
1473 this_len_byte -= charlen;
1474 this_len--;
1475 p += charlen;
1476
1477 this_pos_byte += buf_charlen;
1478 this_pos++;
facdc750
RS
1479 }
1480
1481 if (this_len == 0)
1482 {
49e44e81 1483 match_byte = this_pos_byte - pos_byte;
facdc750 1484 pos += len;
49e44e81 1485 pos_byte += match_byte;
facdc750
RS
1486 break;
1487 }
1488
1489 INC_BOTH (pos, pos_byte);
f8bd51c4 1490 }
facdc750
RS
1491
1492 n--;
1493 }
1494 else if (lim > pos)
1495 while (n > 0)
1496 {
1497 while (1)
f8bd51c4 1498 {
facdc750
RS
1499 /* Try matching at position POS. */
1500 int this_pos = pos;
1501 int this_len = len;
1502 unsigned char *p = pat;
1503
1504 if (pos + len > lim)
1505 goto stop;
1506
1507 while (this_len > 0)
1508 {
1509 int pat_ch = *p++;
1510 int buf_ch = FETCH_BYTE (this_pos);
aff2ce94 1511 TRANSLATE (buf_ch, trt, buf_ch);
facdc750
RS
1512
1513 if (buf_ch != pat_ch)
1514 break;
ab228c24
RS
1515
1516 this_len--;
1517 this_pos++;
facdc750
RS
1518 }
1519
1520 if (this_len == 0)
1521 {
49e44e81 1522 match_byte = len;
facdc750
RS
1523 pos += len;
1524 break;
1525 }
1526
1527 pos++;
f8bd51c4 1528 }
facdc750
RS
1529
1530 n--;
1531 }
1532 /* Backwards search. */
1533 else if (lim < pos && multibyte)
1534 while (n < 0)
1535 {
1536 while (1)
f8bd51c4 1537 {
facdc750
RS
1538 /* Try matching at position POS. */
1539 int this_pos = pos - len;
3dcf0066 1540 int this_pos_byte;
facdc750
RS
1541 int this_len = len;
1542 int this_len_byte = len_byte;
1543 unsigned char *p = pat;
1544
3dcf0066 1545 if (this_pos < lim || (pos_byte - len_byte) < lim_byte)
facdc750 1546 goto stop;
3dcf0066 1547 this_pos_byte = CHAR_TO_BYTE (this_pos);
49e44e81 1548 match_byte = pos_byte - this_pos_byte;
facdc750
RS
1549
1550 while (this_len > 0)
1551 {
1552 int charlen, buf_charlen;
ab228c24 1553 int pat_ch, buf_ch;
facdc750 1554
ab228c24 1555 pat_ch = STRING_CHAR_AND_LENGTH (p, this_len_byte, charlen);
facdc750
RS
1556 buf_ch = STRING_CHAR_AND_LENGTH (BYTE_POS_ADDR (this_pos_byte),
1557 ZV_BYTE - this_pos_byte,
1558 buf_charlen);
aff2ce94 1559 TRANSLATE (buf_ch, trt, buf_ch);
facdc750
RS
1560
1561 if (buf_ch != pat_ch)
1562 break;
ab228c24
RS
1563
1564 this_len_byte -= charlen;
1565 this_len--;
1566 p += charlen;
1567 this_pos_byte += buf_charlen;
1568 this_pos++;
facdc750
RS
1569 }
1570
1571 if (this_len == 0)
1572 {
1573 pos -= len;
49e44e81 1574 pos_byte -= match_byte;
facdc750
RS
1575 break;
1576 }
1577
1578 DEC_BOTH (pos, pos_byte);
f8bd51c4
KH
1579 }
1580
facdc750
RS
1581 n++;
1582 }
1583 else if (lim < pos)
1584 while (n < 0)
1585 {
1586 while (1)
b6d6a51c 1587 {
facdc750
RS
1588 /* Try matching at position POS. */
1589 int this_pos = pos - len;
1590 int this_len = len;
1591 unsigned char *p = pat;
1592
a9469498 1593 if (this_pos < lim)
facdc750
RS
1594 goto stop;
1595
1596 while (this_len > 0)
1597 {
1598 int pat_ch = *p++;
1599 int buf_ch = FETCH_BYTE (this_pos);
aff2ce94 1600 TRANSLATE (buf_ch, trt, buf_ch);
facdc750
RS
1601
1602 if (buf_ch != pat_ch)
1603 break;
ab228c24
RS
1604 this_len--;
1605 this_pos++;
facdc750
RS
1606 }
1607
1608 if (this_len == 0)
b6d6a51c 1609 {
49e44e81 1610 match_byte = len;
facdc750
RS
1611 pos -= len;
1612 break;
b6d6a51c 1613 }
facdc750
RS
1614
1615 pos--;
b6d6a51c 1616 }
facdc750
RS
1617
1618 n++;
b6d6a51c 1619 }
facdc750
RS
1620
1621 stop:
1622 if (n == 0)
aff2ce94 1623 {
ab228c24 1624 if (forward)
49e44e81 1625 set_search_regs ((multibyte ? pos_byte : pos) - match_byte, match_byte);
ab228c24 1626 else
49e44e81 1627 set_search_regs (multibyte ? pos_byte : pos, match_byte);
aff2ce94
RS
1628
1629 return pos;
1630 }
facdc750
RS
1631 else if (n > 0)
1632 return -n;
1633 else
1634 return n;
1635}
1636\f
0190922f 1637/* Do Boyer-Moore search N times for the string BASE_PAT,
facdc750
RS
1638 whose length is LEN/LEN_BYTE,
1639 from buffer position POS/POS_BYTE until LIM/LIM_BYTE.
1640 DIRECTION says which direction we search in.
1641 TRT and INVERSE_TRT are translation tables.
0190922f 1642 Characters in PAT are already translated by TRT.
facdc750 1643
0190922f
KH
1644 This kind of search works if all the characters in BASE_PAT that
1645 have nontrivial translation are the same aside from the last byte.
1646 This makes it possible to translate just the last byte of a
1647 character, and do so after just a simple test of the context.
b2e6b10f 1648 CHAR_BASE is nonzero if there is such a non-ASCII character.
facdc750
RS
1649
1650 If that criterion is not satisfied, do not call this function. */
1651
1652static int
1653boyer_moore (n, base_pat, len, len_byte, trt, inverse_trt,
a17ae96a 1654 pos, pos_byte, lim, lim_byte, char_base)
facdc750
RS
1655 int n;
1656 unsigned char *base_pat;
1657 int len, len_byte;
1658 Lisp_Object trt;
1659 Lisp_Object inverse_trt;
1660 int pos, pos_byte;
1661 int lim, lim_byte;
a17ae96a 1662 int char_base;
facdc750
RS
1663{
1664 int direction = ((n > 0) ? 1 : -1);
1665 register int dirlen;
a968f437 1666 int infinity, limit, stride_for_teases = 0;
facdc750
RS
1667 register int *BM_tab;
1668 int *BM_tab_base;
177c0ea7 1669 register unsigned char *cursor, *p_limit;
facdc750 1670 register int i, j;
cb6792d2 1671 unsigned char *pat, *pat_end;
facdc750
RS
1672 int multibyte = ! NILP (current_buffer->enable_multibyte_characters);
1673
1674 unsigned char simple_translate[0400];
0190922f 1675 /* These are set to the preceding bytes of a byte to be translated
49e44e81 1676 if char_base is nonzero. As the maximum byte length of a
a17ae96a 1677 multibyte character is 5, we have to check at most four previous
0190922f
KH
1678 bytes. */
1679 int translate_prev_byte1 = 0;
1680 int translate_prev_byte2 = 0;
1681 int translate_prev_byte3 = 0;
a17ae96a 1682 int translate_prev_byte4 = 0;
facdc750 1683
facdc750 1684 BM_tab = (int *) alloca (0400 * sizeof (int));
e2a51aa8 1685
facdc750
RS
1686 /* The general approach is that we are going to maintain that we know */
1687 /* the first (closest to the present position, in whatever direction */
1688 /* we're searching) character that could possibly be the last */
1689 /* (furthest from present position) character of a valid match. We */
1690 /* advance the state of our knowledge by looking at that character */
1691 /* and seeing whether it indeed matches the last character of the */
1692 /* pattern. If it does, we take a closer look. If it does not, we */
1693 /* move our pointer (to putative last characters) as far as is */
1694 /* logically possible. This amount of movement, which I call a */
1695 /* stride, will be the length of the pattern if the actual character */
1696 /* appears nowhere in the pattern, otherwise it will be the distance */
1697 /* from the last occurrence of that character to the end of the */
1698 /* pattern. */
1699 /* As a coding trick, an enormous stride is coded into the table for */
1700 /* characters that match the last character. This allows use of only */
1701 /* a single test, a test for having gone past the end of the */
1702 /* permissible match region, to test for both possible matches (when */
1703 /* the stride goes past the end immediately) and failure to */
177c0ea7 1704 /* match (where you get nudged past the end one stride at a time). */
facdc750
RS
1705
1706 /* Here we make a "mickey mouse" BM table. The stride of the search */
1707 /* is determined only by the last character of the putative match. */
1708 /* If that character does not match, we will stride the proper */
1709 /* distance to propose a match that superimposes it on the last */
1710 /* instance of a character that matches it (per trt), or misses */
177c0ea7 1711 /* it entirely if there is none. */
facdc750
RS
1712
1713 dirlen = len_byte * direction;
1714 infinity = dirlen - (lim_byte + pos_byte + len_byte + len_byte) * direction;
cb6792d2
RS
1715
1716 /* Record position after the end of the pattern. */
1717 pat_end = base_pat + len_byte;
1718 /* BASE_PAT points to a character that we start scanning from.
1719 It is the first character in a forward search,
1720 the last character in a backward search. */
facdc750 1721 if (direction < 0)
cb6792d2
RS
1722 base_pat = pat_end - 1;
1723
facdc750
RS
1724 BM_tab_base = BM_tab;
1725 BM_tab += 0400;
1726 j = dirlen; /* to get it in a register */
1727 /* A character that does not appear in the pattern induces a */
1728 /* stride equal to the pattern length. */
1729 while (BM_tab_base != BM_tab)
1730 {
1731 *--BM_tab = j;
1732 *--BM_tab = j;
1733 *--BM_tab = j;
1734 *--BM_tab = j;
1735 }
1736
1737 /* We use this for translation, instead of TRT itself.
1738 We fill this in to handle the characters that actually
1739 occur in the pattern. Others don't matter anyway! */
1740 bzero (simple_translate, sizeof simple_translate);
1741 for (i = 0; i < 0400; i++)
1742 simple_translate[i] = i;
1743
a17ae96a 1744 if (char_base)
0190922f 1745 {
a17ae96a 1746 /* Setup translate_prev_byte1/2/3/4 from CHAR_BASE. Only a
0190922f 1747 byte following them are the target of translation. */
0190922f 1748 unsigned char str[MAX_MULTIBYTE_LENGTH];
a17ae96a 1749 int len = CHAR_STRING (char_base, str);
0190922f
KH
1750
1751 translate_prev_byte1 = str[len - 2];
1752 if (len > 2)
1753 {
1754 translate_prev_byte2 = str[len - 3];
1755 if (len > 3)
a17ae96a
KH
1756 {
1757 translate_prev_byte3 = str[len - 4];
1758 if (len > 4)
1759 translate_prev_byte4 = str[len - 5];
1760 }
0190922f
KH
1761 }
1762 }
1763
facdc750
RS
1764 i = 0;
1765 while (i != infinity)
1766 {
cb6792d2 1767 unsigned char *ptr = base_pat + i;
facdc750
RS
1768 i += direction;
1769 if (i == dirlen)
1770 i = infinity;
1771 if (! NILP (trt))
ca1d1d23 1772 {
49e44e81
KH
1773 /* If the byte currently looking at is the last of a
1774 character to check case-equivalents, set CH to that
1775 character. An ASCII character and a non-ASCII character
1776 matching with CHAR_BASE are to be checked. */
a17ae96a
KH
1777 int ch = -1;
1778
1779 if (ASCII_BYTE_P (*ptr) || ! multibyte)
1780 ch = *ptr;
49e44e81 1781 else if (char_base
86dc6ccb 1782 && ((pat_end - ptr) == 1 || CHAR_HEAD_P (ptr[1])))
ca1d1d23 1783 {
49e44e81
KH
1784 unsigned char *charstart = ptr - 1;
1785
1786 while (! (CHAR_HEAD_P (*charstart)))
1787 charstart--;
1788 ch = STRING_CHAR (charstart, ptr - charstart + 1);
a17ae96a
KH
1789 if (char_base != (ch & ~0x3F))
1790 ch = -1;
ca1d1d23 1791 }
facdc750 1792
f51995fa 1793 if (ch >= 0200)
49e44e81
KH
1794 j = (ch & 0x3F) | 0200;
1795 else
1796 j = *ptr;
1797
facdc750
RS
1798 if (i == infinity)
1799 stride_for_teases = BM_tab[j];
ab228c24 1800
facdc750
RS
1801 BM_tab[j] = dirlen - i;
1802 /* A translation table is accompanied by its inverse -- see */
177c0ea7 1803 /* comment following downcase_table for details */
a17ae96a 1804 if (ch >= 0)
ab228c24
RS
1805 {
1806 int starting_ch = ch;
49e44e81 1807 int starting_j = j;
a17ae96a 1808
ab228c24
RS
1809 while (1)
1810 {
1811 TRANSLATE (ch, inverse_trt, ch);
f51995fa 1812 if (ch >= 0200)
49e44e81 1813 j = (ch & 0x3F) | 0200;
ab228c24 1814 else
a17ae96a 1815 j = ch;
ab228c24
RS
1816
1817 /* For all the characters that map into CH,
1818 set up simple_translate to map the last byte
1819 into STARTING_J. */
1820 simple_translate[j] = starting_j;
1821 if (ch == starting_ch)
1822 break;
1823 BM_tab[j] = dirlen - i;
1824 }
1825 }
facdc750
RS
1826 }
1827 else
1828 {
1829 j = *ptr;
1830
1831 if (i == infinity)
1832 stride_for_teases = BM_tab[j];
1833 BM_tab[j] = dirlen - i;
ca1d1d23 1834 }
facdc750
RS
1835 /* stride_for_teases tells how much to stride if we get a */
1836 /* match on the far character but are subsequently */
1837 /* disappointed, by recording what the stride would have been */
1838 /* for that character if the last character had been */
1839 /* different. */
1840 }
1841 infinity = dirlen - infinity;
1842 pos_byte += dirlen - ((direction > 0) ? direction : 0);
1843 /* loop invariant - POS_BYTE points at where last char (first
1844 char if reverse) of pattern would align in a possible match. */
1845 while (n != 0)
1846 {
1847 int tail_end;
1848 unsigned char *tail_end_ptr;
1849
1850 /* It's been reported that some (broken) compiler thinks that
1851 Boolean expressions in an arithmetic context are unsigned.
1852 Using an explicit ?1:0 prevents this. */
1853 if ((lim_byte - pos_byte - ((direction > 0) ? 1 : 0)) * direction
1854 < 0)
1855 return (n * (0 - direction));
1856 /* First we do the part we can by pointers (maybe nothing) */
1857 QUIT;
1858 pat = base_pat;
1859 limit = pos_byte - dirlen + direction;
67ce527d
KH
1860 if (direction > 0)
1861 {
1862 limit = BUFFER_CEILING_OF (limit);
1863 /* LIMIT is now the last (not beyond-last!) value POS_BYTE
1864 can take on without hitting edge of buffer or the gap. */
1865 limit = min (limit, pos_byte + 20000);
1866 limit = min (limit, lim_byte - 1);
1867 }
1868 else
1869 {
1870 limit = BUFFER_FLOOR_OF (limit);
1871 /* LIMIT is now the last (not beyond-last!) value POS_BYTE
1872 can take on without hitting edge of buffer or the gap. */
1873 limit = max (limit, pos_byte - 20000);
1874 limit = max (limit, lim_byte);
1875 }
facdc750
RS
1876 tail_end = BUFFER_CEILING_OF (pos_byte) + 1;
1877 tail_end_ptr = BYTE_POS_ADDR (tail_end);
1878
1879 if ((limit - pos_byte) * direction > 20)
ca1d1d23 1880 {
facdc750
RS
1881 unsigned char *p2;
1882
1883 p_limit = BYTE_POS_ADDR (limit);
1884 p2 = (cursor = BYTE_POS_ADDR (pos_byte));
1885 /* In this loop, pos + cursor - p2 is the surrogate for pos */
1886 while (1) /* use one cursor setting as long as i can */
ca1d1d23 1887 {
facdc750 1888 if (direction > 0) /* worth duplicating */
ca1d1d23 1889 {
facdc750
RS
1890 /* Use signed comparison if appropriate
1891 to make cursor+infinity sure to be > p_limit.
1892 Assuming that the buffer lies in a range of addresses
1893 that are all "positive" (as ints) or all "negative",
1894 either kind of comparison will work as long
1895 as we don't step by infinity. So pick the kind
1896 that works when we do step by infinity. */
1897 if ((EMACS_INT) (p_limit + infinity) > (EMACS_INT) p_limit)
1898 while ((EMACS_INT) cursor <= (EMACS_INT) p_limit)
1899 cursor += BM_tab[*cursor];
ca1d1d23 1900 else
facdc750
RS
1901 while ((EMACS_UINT) cursor <= (EMACS_UINT) p_limit)
1902 cursor += BM_tab[*cursor];
1903 }
1904 else
1905 {
1906 if ((EMACS_INT) (p_limit + infinity) < (EMACS_INT) p_limit)
1907 while ((EMACS_INT) cursor >= (EMACS_INT) p_limit)
1908 cursor += BM_tab[*cursor];
1909 else
1910 while ((EMACS_UINT) cursor >= (EMACS_UINT) p_limit)
1911 cursor += BM_tab[*cursor];
1912 }
ca1d1d23 1913/* If you are here, cursor is beyond the end of the searched region. */
facdc750
RS
1914/* This can happen if you match on the far character of the pattern, */
1915/* because the "stride" of that character is infinity, a number able */
1916/* to throw you well beyond the end of the search. It can also */
1917/* happen if you fail to match within the permitted region and would */
1918/* otherwise try a character beyond that region */
1919 if ((cursor - p_limit) * direction <= len_byte)
1920 break; /* a small overrun is genuine */
1921 cursor -= infinity; /* large overrun = hit */
1922 i = dirlen - direction;
1923 if (! NILP (trt))
1924 {
1925 while ((i -= direction) + direction != 0)
ca1d1d23 1926 {
facdc750
RS
1927 int ch;
1928 cursor -= direction;
1929 /* Translate only the last byte of a character. */
1930 if (! multibyte
1931 || ((cursor == tail_end_ptr
1932 || CHAR_HEAD_P (cursor[1]))
1933 && (CHAR_HEAD_P (cursor[0])
0190922f
KH
1934 /* Check if this is the last byte of
1935 a translable character. */
1936 || (translate_prev_byte1 == cursor[-1]
1937 && (CHAR_HEAD_P (translate_prev_byte1)
1938 || (translate_prev_byte2 == cursor[-2]
1939 && (CHAR_HEAD_P (translate_prev_byte2)
1940 || (translate_prev_byte3 == cursor[-3]))))))))
facdc750
RS
1941 ch = simple_translate[*cursor];
1942 else
1943 ch = *cursor;
1944 if (pat[i] != ch)
1945 break;
ca1d1d23 1946 }
facdc750
RS
1947 }
1948 else
1949 {
1950 while ((i -= direction) + direction != 0)
ca1d1d23 1951 {
facdc750
RS
1952 cursor -= direction;
1953 if (pat[i] != *cursor)
1954 break;
ca1d1d23 1955 }
facdc750
RS
1956 }
1957 cursor += dirlen - i - direction; /* fix cursor */
1958 if (i + direction == 0)
1959 {
ef887810 1960 int position, start, end;
0c8533c6 1961
facdc750 1962 cursor -= direction;
1113d9db 1963
facdc750
RS
1964 position = pos_byte + cursor - p2 + ((direction > 0)
1965 ? 1 - len_byte : 0);
1966 set_search_regs (position, len_byte);
ca325161 1967
ef887810
RS
1968 if (NILP (Vinhibit_changing_match_data))
1969 {
1970 start = search_regs.start[0];
1971 end = search_regs.end[0];
1972 }
1973 else
1974 /* If Vinhibit_changing_match_data is non-nil,
1975 search_regs will not be changed. So let's
1976 compute start and end here. */
1977 {
1978 start = BYTE_TO_CHAR (position);
1979 end = BYTE_TO_CHAR (position + len_byte);
1980 }
1981
facdc750
RS
1982 if ((n -= direction) != 0)
1983 cursor += dirlen; /* to resume search */
ca1d1d23 1984 else
ef887810 1985 return direction > 0 ? end : start;
ca1d1d23 1986 }
facdc750
RS
1987 else
1988 cursor += stride_for_teases; /* <sigh> we lose - */
ca1d1d23 1989 }
facdc750
RS
1990 pos_byte += cursor - p2;
1991 }
1992 else
1993 /* Now we'll pick up a clump that has to be done the hard */
1994 /* way because it covers a discontinuity */
1995 {
1996 limit = ((direction > 0)
1997 ? BUFFER_CEILING_OF (pos_byte - dirlen + 1)
1998 : BUFFER_FLOOR_OF (pos_byte - dirlen - 1));
1999 limit = ((direction > 0)
2000 ? min (limit + len_byte, lim_byte - 1)
2001 : max (limit - len_byte, lim_byte));
2002 /* LIMIT is now the last value POS_BYTE can have
2003 and still be valid for a possible match. */
2004 while (1)
ca1d1d23 2005 {
facdc750
RS
2006 /* This loop can be coded for space rather than */
2007 /* speed because it will usually run only once. */
2008 /* (the reach is at most len + 21, and typically */
177c0ea7 2009 /* does not exceed len) */
facdc750
RS
2010 while ((limit - pos_byte) * direction >= 0)
2011 pos_byte += BM_tab[FETCH_BYTE (pos_byte)];
2012 /* now run the same tests to distinguish going off the */
2013 /* end, a match or a phony match. */
2014 if ((pos_byte - limit) * direction <= len_byte)
2015 break; /* ran off the end */
2016 /* Found what might be a match.
2017 Set POS_BYTE back to last (first if reverse) pos. */
2018 pos_byte -= infinity;
2019 i = dirlen - direction;
2020 while ((i -= direction) + direction != 0)
ca1d1d23 2021 {
facdc750
RS
2022 int ch;
2023 unsigned char *ptr;
2024 pos_byte -= direction;
2025 ptr = BYTE_POS_ADDR (pos_byte);
2026 /* Translate only the last byte of a character. */
2027 if (! multibyte
2028 || ((ptr == tail_end_ptr
2029 || CHAR_HEAD_P (ptr[1]))
2030 && (CHAR_HEAD_P (ptr[0])
0190922f
KH
2031 /* Check if this is the last byte of a
2032 translable character. */
2033 || (translate_prev_byte1 == ptr[-1]
2034 && (CHAR_HEAD_P (translate_prev_byte1)
2035 || (translate_prev_byte2 == ptr[-2]
2036 && (CHAR_HEAD_P (translate_prev_byte2)
2037 || translate_prev_byte3 == ptr[-3])))))))
facdc750
RS
2038 ch = simple_translate[*ptr];
2039 else
2040 ch = *ptr;
2041 if (pat[i] != ch)
2042 break;
2043 }
2044 /* Above loop has moved POS_BYTE part or all the way
2045 back to the first pos (last pos if reverse).
2046 Set it once again at the last (first if reverse) char. */
2047 pos_byte += dirlen - i- direction;
2048 if (i + direction == 0)
2049 {
ef887810 2050 int position, start, end;
facdc750 2051 pos_byte -= direction;
1113d9db 2052
facdc750 2053 position = pos_byte + ((direction > 0) ? 1 - len_byte : 0);
facdc750 2054 set_search_regs (position, len_byte);
ca325161 2055
ef887810
RS
2056 if (NILP (Vinhibit_changing_match_data))
2057 {
2058 start = search_regs.start[0];
2059 end = search_regs.end[0];
2060 }
2061 else
2062 /* If Vinhibit_changing_match_data is non-nil,
2063 search_regs will not be changed. So let's
2064 compute start and end here. */
2065 {
2066 start = BYTE_TO_CHAR (position);
2067 end = BYTE_TO_CHAR (position + len_byte);
2068 }
2069
facdc750
RS
2070 if ((n -= direction) != 0)
2071 pos_byte += dirlen; /* to resume search */
ca1d1d23 2072 else
ef887810 2073 return direction > 0 ? end : start;
ca1d1d23 2074 }
facdc750
RS
2075 else
2076 pos_byte += stride_for_teases;
2077 }
2078 }
2079 /* We have done one clump. Can we continue? */
2080 if ((lim_byte - pos_byte) * direction < 0)
2081 return ((0 - n) * direction);
ca1d1d23 2082 }
facdc750 2083 return BYTE_TO_CHAR (pos_byte);
ca1d1d23 2084}
ca325161 2085
fa8ed3e0 2086/* Record beginning BEG_BYTE and end BEG_BYTE + NBYTES
a7e4cdde
RS
2087 for the overall match just found in the current buffer.
2088 Also clear out the match data for registers 1 and up. */
ca325161
RS
2089
2090static void
fa8ed3e0
RS
2091set_search_regs (beg_byte, nbytes)
2092 int beg_byte, nbytes;
ca325161 2093{
a7e4cdde
RS
2094 int i;
2095
ef887810
RS
2096 if (!NILP (Vinhibit_changing_match_data))
2097 return;
2098
ca325161
RS
2099 /* Make sure we have registers in which to store
2100 the match position. */
2101 if (search_regs.num_regs == 0)
2102 {
2d4a771a
RS
2103 search_regs.start = (regoff_t *) xmalloc (2 * sizeof (regoff_t));
2104 search_regs.end = (regoff_t *) xmalloc (2 * sizeof (regoff_t));
487282dc 2105 search_regs.num_regs = 2;
ca325161
RS
2106 }
2107
a7e4cdde
RS
2108 /* Clear out the other registers. */
2109 for (i = 1; i < search_regs.num_regs; i++)
2110 {
2111 search_regs.start[i] = -1;
2112 search_regs.end[i] = -1;
2113 }
2114
fa8ed3e0
RS
2115 search_regs.start[0] = BYTE_TO_CHAR (beg_byte);
2116 search_regs.end[0] = BYTE_TO_CHAR (beg_byte + nbytes);
a3668d92 2117 XSETBUFFER (last_thing_searched, current_buffer);
ca325161 2118}
ca1d1d23
JB
2119\f
2120/* Given a string of words separated by word delimiters,
2121 compute a regexp that matches those exact words
2122 separated by arbitrary punctuation. */
2123
2124static Lisp_Object
2125wordify (string)
2126 Lisp_Object string;
2127{
2128 register unsigned char *p, *o;
0c8533c6 2129 register int i, i_byte, len, punct_count = 0, word_count = 0;
ca1d1d23 2130 Lisp_Object val;
0c8533c6
RS
2131 int prev_c = 0;
2132 int adjust;
ca1d1d23 2133
b7826503 2134 CHECK_STRING (string);
d5db4077
KR
2135 p = SDATA (string);
2136 len = SCHARS (string);
ca1d1d23 2137
0c8533c6
RS
2138 for (i = 0, i_byte = 0; i < len; )
2139 {
2140 int c;
177c0ea7 2141
93daa011 2142 FETCH_STRING_CHAR_AS_MULTIBYTE_ADVANCE (c, string, i, i_byte);
0c8533c6
RS
2143
2144 if (SYNTAX (c) != Sword)
2145 {
2146 punct_count++;
2147 if (i > 0 && SYNTAX (prev_c) == Sword)
2148 word_count++;
2149 }
ca1d1d23 2150
0c8533c6
RS
2151 prev_c = c;
2152 }
2153
2154 if (SYNTAX (prev_c) == Sword)
2155 word_count++;
2156 if (!word_count)
c60416e0 2157 return empty_unibyte_string;
0c8533c6
RS
2158
2159 adjust = - punct_count + 5 * (word_count - 1) + 4;
8a2df937
RS
2160 if (STRING_MULTIBYTE (string))
2161 val = make_uninit_multibyte_string (len + adjust,
d5db4077 2162 SBYTES (string)
8a2df937
RS
2163 + adjust);
2164 else
2165 val = make_uninit_string (len + adjust);
ca1d1d23 2166
d5db4077 2167 o = SDATA (val);
ca1d1d23
JB
2168 *o++ = '\\';
2169 *o++ = 'b';
1e9582d4 2170 prev_c = 0;
ca1d1d23 2171
1e9582d4
RS
2172 for (i = 0, i_byte = 0; i < len; )
2173 {
2174 int c;
2175 int i_byte_orig = i_byte;
177c0ea7 2176
93daa011 2177 FETCH_STRING_CHAR_AS_MULTIBYTE_ADVANCE (c, string, i, i_byte);
1e9582d4
RS
2178
2179 if (SYNTAX (c) == Sword)
2180 {
5d69fe10 2181 bcopy (SDATA (string) + i_byte_orig, o,
1e9582d4
RS
2182 i_byte - i_byte_orig);
2183 o += i_byte - i_byte_orig;
2184 }
2185 else if (i > 0 && SYNTAX (prev_c) == Sword && --word_count)
2186 {
2187 *o++ = '\\';
2188 *o++ = 'W';
2189 *o++ = '\\';
2190 *o++ = 'W';
2191 *o++ = '*';
2192 }
2193
2194 prev_c = c;
2195 }
ca1d1d23
JB
2196
2197 *o++ = '\\';
2198 *o++ = 'b';
2199
2200 return val;
2201}
2202\f
2203DEFUN ("search-backward", Fsearch_backward, Ssearch_backward, 1, 4,
8c1a1077
PJ
2204 "MSearch backward: ",
2205 doc: /* Search backward from point for STRING.
2206Set point to the beginning of the occurrence found, and return point.
2207An optional second argument bounds the search; it is a buffer position.
2208The match found must not extend before that position.
2209Optional third argument, if t, means if fail just return nil (no error).
2210 If not nil and not t, position at limit of search and return nil.
2211Optional fourth argument is repeat count--search for successive occurrences.
2212
2213Search case-sensitivity is determined by the value of the variable
2214`case-fold-search', which see.
2215
2216See also the functions `match-beginning', `match-end' and `replace-match'. */)
2217 (string, bound, noerror, count)
ca1d1d23
JB
2218 Lisp_Object string, bound, noerror, count;
2219{
b819a390 2220 return search_command (string, bound, noerror, count, -1, 0, 0);
ca1d1d23
JB
2221}
2222
6af43974 2223DEFUN ("search-forward", Fsearch_forward, Ssearch_forward, 1, 4, "MSearch: ",
8c1a1077
PJ
2224 doc: /* Search forward from point for STRING.
2225Set point to the end of the occurrence found, and return point.
2226An optional second argument bounds the search; it is a buffer position.
d6aacdcd 2227The match found must not extend after that position. A value of nil is
48740f01 2228 equivalent to (point-max).
8c1a1077
PJ
2229Optional third argument, if t, means if fail just return nil (no error).
2230 If not nil and not t, move to limit of search and return nil.
2231Optional fourth argument is repeat count--search for successive occurrences.
2232
2233Search case-sensitivity is determined by the value of the variable
2234`case-fold-search', which see.
2235
2236See also the functions `match-beginning', `match-end' and `replace-match'. */)
2237 (string, bound, noerror, count)
ca1d1d23
JB
2238 Lisp_Object string, bound, noerror, count;
2239{
b819a390 2240 return search_command (string, bound, noerror, count, 1, 0, 0);
ca1d1d23
JB
2241}
2242
2243DEFUN ("word-search-backward", Fword_search_backward, Sword_search_backward, 1, 4,
8c1a1077
PJ
2244 "sWord search backward: ",
2245 doc: /* Search backward from point for STRING, ignoring differences in punctuation.
2246Set point to the beginning of the occurrence found, and return point.
2247An optional second argument bounds the search; it is a buffer position.
2248The match found must not extend before that position.
2249Optional third argument, if t, means if fail just return nil (no error).
2250 If not nil and not t, move to limit of search and return nil.
2251Optional fourth argument is repeat count--search for successive occurrences. */)
2252 (string, bound, noerror, count)
ca1d1d23
JB
2253 Lisp_Object string, bound, noerror, count;
2254{
b819a390 2255 return search_command (wordify (string), bound, noerror, count, -1, 1, 0);
ca1d1d23
JB
2256}
2257
2258DEFUN ("word-search-forward", Fword_search_forward, Sword_search_forward, 1, 4,
8c1a1077
PJ
2259 "sWord search: ",
2260 doc: /* Search forward from point for STRING, ignoring differences in punctuation.
2261Set point to the end of the occurrence found, and return point.
2262An optional second argument bounds the search; it is a buffer position.
2263The match found must not extend after that position.
2264Optional third argument, if t, means if fail just return nil (no error).
2265 If not nil and not t, move to limit of search and return nil.
2266Optional fourth argument is repeat count--search for successive occurrences. */)
2267 (string, bound, noerror, count)
ca1d1d23
JB
2268 Lisp_Object string, bound, noerror, count;
2269{
b819a390 2270 return search_command (wordify (string), bound, noerror, count, 1, 1, 0);
ca1d1d23
JB
2271}
2272
2273DEFUN ("re-search-backward", Fre_search_backward, Sre_search_backward, 1, 4,
8c1a1077
PJ
2274 "sRE search backward: ",
2275 doc: /* Search backward from point for match for regular expression REGEXP.
2276Set point to the beginning of the match, and return point.
2277The match found is the one starting last in the buffer
2278and yet ending before the origin of the search.
2279An optional second argument bounds the search; it is a buffer position.
2280The match found must start at or after that position.
2281Optional third argument, if t, means if fail just return nil (no error).
2282 If not nil and not t, move to limit of search and return nil.
2283Optional fourth argument is repeat count--search for successive occurrences.
2284See also the functions `match-beginning', `match-end', `match-string',
2285and `replace-match'. */)
2286 (regexp, bound, noerror, count)
19c0a730 2287 Lisp_Object regexp, bound, noerror, count;
ca1d1d23 2288{
b819a390 2289 return search_command (regexp, bound, noerror, count, -1, 1, 0);
ca1d1d23
JB
2290}
2291
2292DEFUN ("re-search-forward", Fre_search_forward, Sre_search_forward, 1, 4,
8c1a1077
PJ
2293 "sRE search: ",
2294 doc: /* Search forward from point for regular expression REGEXP.
2295Set point to the end of the occurrence found, and return point.
2296An optional second argument bounds the search; it is a buffer position.
2297The match found must not extend after that position.
2298Optional third argument, if t, means if fail just return nil (no error).
2299 If not nil and not t, move to limit of search and return nil.
2300Optional fourth argument is repeat count--search for successive occurrences.
2301See also the functions `match-beginning', `match-end', `match-string',
2302and `replace-match'. */)
2303 (regexp, bound, noerror, count)
19c0a730 2304 Lisp_Object regexp, bound, noerror, count;
ca1d1d23 2305{
b819a390
RS
2306 return search_command (regexp, bound, noerror, count, 1, 1, 0);
2307}
2308
2309DEFUN ("posix-search-backward", Fposix_search_backward, Sposix_search_backward, 1, 4,
8c1a1077
PJ
2310 "sPosix search backward: ",
2311 doc: /* Search backward from point for match for regular expression REGEXP.
2312Find the longest match in accord with Posix regular expression rules.
2313Set point to the beginning of the match, and return point.
2314The match found is the one starting last in the buffer
2315and yet ending before the origin of the search.
2316An optional second argument bounds the search; it is a buffer position.
2317The match found must start at or after that position.
2318Optional third argument, if t, means if fail just return nil (no error).
2319 If not nil and not t, move to limit of search and return nil.
2320Optional fourth argument is repeat count--search for successive occurrences.
2321See also the functions `match-beginning', `match-end', `match-string',
2322and `replace-match'. */)
2323 (regexp, bound, noerror, count)
b819a390
RS
2324 Lisp_Object regexp, bound, noerror, count;
2325{
2326 return search_command (regexp, bound, noerror, count, -1, 1, 1);
2327}
2328
2329DEFUN ("posix-search-forward", Fposix_search_forward, Sposix_search_forward, 1, 4,
8c1a1077
PJ
2330 "sPosix search: ",
2331 doc: /* Search forward from point for regular expression REGEXP.
2332Find the longest match in accord with Posix regular expression rules.
2333Set point to the end of the occurrence found, and return point.
2334An optional second argument bounds the search; it is a buffer position.
2335The match found must not extend after that position.
2336Optional third argument, if t, means if fail just return nil (no error).
2337 If not nil and not t, move to limit of search and return nil.
2338Optional fourth argument is repeat count--search for successive occurrences.
2339See also the functions `match-beginning', `match-end', `match-string',
2340and `replace-match'. */)
2341 (regexp, bound, noerror, count)
b819a390
RS
2342 Lisp_Object regexp, bound, noerror, count;
2343{
2344 return search_command (regexp, bound, noerror, count, 1, 1, 1);
ca1d1d23
JB
2345}
2346\f
d7a5ad5f 2347DEFUN ("replace-match", Freplace_match, Sreplace_match, 1, 5, 0,
8c1a1077 2348 doc: /* Replace text matched by last search with NEWTEXT.
4dd0c271
RS
2349Leave point at the end of the replacement text.
2350
8c1a1077
PJ
2351If second arg FIXEDCASE is non-nil, do not alter case of replacement text.
2352Otherwise maybe capitalize the whole text, or maybe just word initials,
2353based on the replaced text.
2354If the replaced text has only capital letters
2355and has at least one multiletter word, convert NEWTEXT to all caps.
4dd0c271
RS
2356Otherwise if all words are capitalized in the replaced text,
2357capitalize each word in NEWTEXT.
8c1a1077
PJ
2358
2359If third arg LITERAL is non-nil, insert NEWTEXT literally.
2360Otherwise treat `\\' as special:
2361 `\\&' in NEWTEXT means substitute original matched text.
2362 `\\N' means substitute what matched the Nth `\\(...\\)'.
2363 If Nth parens didn't match, substitute nothing.
2364 `\\\\' means insert one `\\'.
4dd0c271
RS
2365Case conversion does not apply to these substitutions.
2366
8c1a1077 2367FIXEDCASE and LITERAL are optional arguments.
8c1a1077
PJ
2368
2369The optional fourth argument STRING can be a string to modify.
2370This is meaningful when the previous match was done against STRING,
2371using `string-match'. When used this way, `replace-match'
2372creates and returns a new string made by copying STRING and replacing
2373the part of STRING that was matched.
2374
2375The optional fifth argument SUBEXP specifies a subexpression;
2376it says to replace just that subexpression with NEWTEXT,
2377rather than replacing the entire matched text.
2378This is, in a vague sense, the inverse of using `\\N' in NEWTEXT;
2379`\\N' copies subexp N into NEWTEXT, but using N as SUBEXP puts
2380NEWTEXT in place of subexp N.
2381This is useful only after a regular expression search or match,
2382since only regular expressions have distinguished subexpressions. */)
2383 (newtext, fixedcase, literal, string, subexp)
d7a5ad5f 2384 Lisp_Object newtext, fixedcase, literal, string, subexp;
ca1d1d23
JB
2385{
2386 enum { nochange, all_caps, cap_initial } case_action;
ac3b28b1 2387 register int pos, pos_byte;
ca1d1d23 2388 int some_multiletter_word;
97832bd0 2389 int some_lowercase;
73dc8771 2390 int some_uppercase;
208767c3 2391 int some_nonuppercase_initial;
ca1d1d23 2392 register int c, prevc;
d7a5ad5f 2393 int sub;
3e18eecf 2394 int opoint, newpoint;
ca1d1d23 2395
b7826503 2396 CHECK_STRING (newtext);
ca1d1d23 2397
080c45fd 2398 if (! NILP (string))
b7826503 2399 CHECK_STRING (string);
080c45fd 2400
ca1d1d23
JB
2401 case_action = nochange; /* We tried an initialization */
2402 /* but some C compilers blew it */
4746118a
JB
2403
2404 if (search_regs.num_regs <= 0)
d72cdbfc 2405 error ("`replace-match' called before any match found");
4746118a 2406
d7a5ad5f
RS
2407 if (NILP (subexp))
2408 sub = 0;
2409 else
2410 {
b7826503 2411 CHECK_NUMBER (subexp);
d7a5ad5f
RS
2412 sub = XINT (subexp);
2413 if (sub < 0 || sub >= search_regs.num_regs)
2414 args_out_of_range (subexp, make_number (search_regs.num_regs));
2415 }
2416
080c45fd
RS
2417 if (NILP (string))
2418 {
d7a5ad5f
RS
2419 if (search_regs.start[sub] < BEGV
2420 || search_regs.start[sub] > search_regs.end[sub]
2421 || search_regs.end[sub] > ZV)
2422 args_out_of_range (make_number (search_regs.start[sub]),
2423 make_number (search_regs.end[sub]));
080c45fd
RS
2424 }
2425 else
2426 {
d7a5ad5f
RS
2427 if (search_regs.start[sub] < 0
2428 || search_regs.start[sub] > search_regs.end[sub]
d5db4077 2429 || search_regs.end[sub] > SCHARS (string))
d7a5ad5f
RS
2430 args_out_of_range (make_number (search_regs.start[sub]),
2431 make_number (search_regs.end[sub]));
080c45fd 2432 }
ca1d1d23
JB
2433
2434 if (NILP (fixedcase))
2435 {
2436 /* Decide how to casify by examining the matched text. */
ac3b28b1 2437 int last;
ca1d1d23 2438
ac3b28b1
KH
2439 pos = search_regs.start[sub];
2440 last = search_regs.end[sub];
fa8ed3e0
RS
2441
2442 if (NILP (string))
ac3b28b1 2443 pos_byte = CHAR_TO_BYTE (pos);
fa8ed3e0 2444 else
ac3b28b1 2445 pos_byte = string_char_to_byte (string, pos);
fa8ed3e0 2446
ca1d1d23
JB
2447 prevc = '\n';
2448 case_action = all_caps;
2449
2450 /* some_multiletter_word is set nonzero if any original word
2451 is more than one letter long. */
2452 some_multiletter_word = 0;
97832bd0 2453 some_lowercase = 0;
208767c3 2454 some_nonuppercase_initial = 0;
73dc8771 2455 some_uppercase = 0;
ca1d1d23 2456
ac3b28b1 2457 while (pos < last)
ca1d1d23 2458 {
080c45fd 2459 if (NILP (string))
ac3b28b1 2460 {
93daa011 2461 c = FETCH_CHAR_AS_MULTIBYTE (pos_byte);
ac3b28b1
KH
2462 INC_BOTH (pos, pos_byte);
2463 }
080c45fd 2464 else
93daa011 2465 FETCH_STRING_CHAR_AS_MULTIBYTE_ADVANCE (c, string, pos, pos_byte);
080c45fd 2466
ca1d1d23
JB
2467 if (LOWERCASEP (c))
2468 {
2469 /* Cannot be all caps if any original char is lower case */
2470
97832bd0 2471 some_lowercase = 1;
ca1d1d23 2472 if (SYNTAX (prevc) != Sword)
208767c3 2473 some_nonuppercase_initial = 1;
ca1d1d23
JB
2474 else
2475 some_multiletter_word = 1;
2476 }
d16c2b66 2477 else if (UPPERCASEP (c))
ca1d1d23 2478 {
73dc8771 2479 some_uppercase = 1;
97832bd0 2480 if (SYNTAX (prevc) != Sword)
c4d460ce 2481 ;
97832bd0 2482 else
ca1d1d23
JB
2483 some_multiletter_word = 1;
2484 }
208767c3
RS
2485 else
2486 {
2487 /* If the initial is a caseless word constituent,
2488 treat that like a lowercase initial. */
2489 if (SYNTAX (prevc) != Sword)
2490 some_nonuppercase_initial = 1;
2491 }
ca1d1d23
JB
2492
2493 prevc = c;
2494 }
2495
97832bd0
RS
2496 /* Convert to all caps if the old text is all caps
2497 and has at least one multiletter word. */
2498 if (! some_lowercase && some_multiletter_word)
2499 case_action = all_caps;
c4d460ce 2500 /* Capitalize each word, if the old text has all capitalized words. */
208767c3 2501 else if (!some_nonuppercase_initial && some_multiletter_word)
ca1d1d23 2502 case_action = cap_initial;
208767c3 2503 else if (!some_nonuppercase_initial && some_uppercase)
73dc8771
KH
2504 /* Should x -> yz, operating on X, give Yz or YZ?
2505 We'll assume the latter. */
2506 case_action = all_caps;
97832bd0
RS
2507 else
2508 case_action = nochange;
ca1d1d23
JB
2509 }
2510
080c45fd
RS
2511 /* Do replacement in a string. */
2512 if (!NILP (string))
2513 {
2514 Lisp_Object before, after;
2515
2516 before = Fsubstring (string, make_number (0),
d7a5ad5f
RS
2517 make_number (search_regs.start[sub]));
2518 after = Fsubstring (string, make_number (search_regs.end[sub]), Qnil);
080c45fd 2519
636a5e28
RS
2520 /* Substitute parts of the match into NEWTEXT
2521 if desired. */
080c45fd
RS
2522 if (NILP (literal))
2523 {
d131e79c
RS
2524 int lastpos = 0;
2525 int lastpos_byte = 0;
080c45fd
RS
2526 /* We build up the substituted string in ACCUM. */
2527 Lisp_Object accum;
2528 Lisp_Object middle;
d5db4077 2529 int length = SBYTES (newtext);
080c45fd
RS
2530
2531 accum = Qnil;
2532
ac3b28b1 2533 for (pos_byte = 0, pos = 0; pos_byte < length;)
080c45fd
RS
2534 {
2535 int substart = -1;
6bbd7a29 2536 int subend = 0;
1e79ec24 2537 int delbackslash = 0;
080c45fd 2538
0c8533c6
RS
2539 FETCH_STRING_CHAR_ADVANCE (c, newtext, pos, pos_byte);
2540
080c45fd
RS
2541 if (c == '\\')
2542 {
0c8533c6 2543 FETCH_STRING_CHAR_ADVANCE (c, newtext, pos, pos_byte);
177c0ea7 2544
080c45fd
RS
2545 if (c == '&')
2546 {
d7a5ad5f
RS
2547 substart = search_regs.start[sub];
2548 subend = search_regs.end[sub];
080c45fd 2549 }
76fc1ea2 2550 else if (c >= '1' && c <= '9')
080c45fd 2551 {
76fc1ea2
KH
2552 if (search_regs.start[c - '0'] >= 0
2553 && c <= search_regs.num_regs + '0')
080c45fd
RS
2554 {
2555 substart = search_regs.start[c - '0'];
2556 subend = search_regs.end[c - '0'];
2557 }
76fc1ea2
KH
2558 else
2559 {
2560 /* If that subexp did not match,
2561 replace \\N with nothing. */
2562 substart = 0;
2563 subend = 0;
2564 }
080c45fd 2565 }
1e79ec24
KH
2566 else if (c == '\\')
2567 delbackslash = 1;
636a5e28
RS
2568 else
2569 error ("Invalid use of `\\' in replacement text");
080c45fd
RS
2570 }
2571 if (substart >= 0)
2572 {
d131e79c
RS
2573 if (pos - 2 != lastpos)
2574 middle = substring_both (newtext, lastpos,
2575 lastpos_byte,
2576 pos - 2, pos_byte - 2);
080c45fd
RS
2577 else
2578 middle = Qnil;
2579 accum = concat3 (accum, middle,
0c8533c6
RS
2580 Fsubstring (string,
2581 make_number (substart),
080c45fd
RS
2582 make_number (subend)));
2583 lastpos = pos;
0c8533c6 2584 lastpos_byte = pos_byte;
080c45fd 2585 }
1e79ec24
KH
2586 else if (delbackslash)
2587 {
d131e79c
RS
2588 middle = substring_both (newtext, lastpos,
2589 lastpos_byte,
2590 pos - 1, pos_byte - 1);
0c8533c6 2591
1e79ec24
KH
2592 accum = concat2 (accum, middle);
2593 lastpos = pos;
0c8533c6 2594 lastpos_byte = pos_byte;
1e79ec24 2595 }
080c45fd
RS
2596 }
2597
d131e79c
RS
2598 if (pos != lastpos)
2599 middle = substring_both (newtext, lastpos,
2600 lastpos_byte,
0c8533c6 2601 pos, pos_byte);
080c45fd
RS
2602 else
2603 middle = Qnil;
2604
2605 newtext = concat2 (accum, middle);
2606 }
2607
636a5e28 2608 /* Do case substitution in NEWTEXT if desired. */
080c45fd
RS
2609 if (case_action == all_caps)
2610 newtext = Fupcase (newtext);
2611 else if (case_action == cap_initial)
2b2eead9 2612 newtext = Fupcase_initials (newtext);
080c45fd
RS
2613
2614 return concat3 (before, newtext, after);
2615 }
2616
09c4719e 2617 /* Record point, then move (quietly) to the start of the match. */
9160906f 2618 if (PT >= search_regs.end[sub])
b0eba991 2619 opoint = PT - ZV;
9160906f
RS
2620 else if (PT > search_regs.start[sub])
2621 opoint = search_regs.end[sub] - ZV;
b0eba991
RS
2622 else
2623 opoint = PT;
2624
886ed6ec
RS
2625 /* If we want non-literal replacement,
2626 perform substitution on the replacement string. */
2627 if (NILP (literal))
ca1d1d23 2628 {
d5db4077 2629 int length = SBYTES (newtext);
68e69fbd
RS
2630 unsigned char *substed;
2631 int substed_alloc_size, substed_len;
3bc25e52
KH
2632 int buf_multibyte = !NILP (current_buffer->enable_multibyte_characters);
2633 int str_multibyte = STRING_MULTIBYTE (newtext);
2634 Lisp_Object rev_tbl;
886ed6ec 2635 int really_changed = 0;
3bc25e52 2636
8f924df7 2637 rev_tbl = Qnil;
ac3b28b1 2638
68e69fbd
RS
2639 substed_alloc_size = length * 2 + 100;
2640 substed = (unsigned char *) xmalloc (substed_alloc_size + 1);
2641 substed_len = 0;
2642
3bc25e52
KH
2643 /* Go thru NEWTEXT, producing the actual text to insert in
2644 SUBSTED while adjusting multibyteness to that of the current
2645 buffer. */
ca1d1d23 2646
ac3b28b1 2647 for (pos_byte = 0, pos = 0; pos_byte < length;)
ca1d1d23 2648 {
68e69fbd 2649 unsigned char str[MAX_MULTIBYTE_LENGTH];
f8ce8a0d
GM
2650 unsigned char *add_stuff = NULL;
2651 int add_len = 0;
68e69fbd 2652 int idx = -1;
9a76659d 2653
3bc25e52
KH
2654 if (str_multibyte)
2655 {
eb99a8dd 2656 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, newtext, pos, pos_byte);
3bc25e52
KH
2657 if (!buf_multibyte)
2658 c = multibyte_char_to_unibyte (c, rev_tbl);
2659 }
2660 else
2661 {
2662 /* Note that we don't have to increment POS. */
5d69fe10 2663 c = SREF (newtext, pos_byte++);
3bc25e52
KH
2664 if (buf_multibyte)
2665 c = unibyte_char_to_multibyte (c);
2666 }
ac3b28b1 2667
68e69fbd
RS
2668 /* Either set ADD_STUFF and ADD_LEN to the text to put in SUBSTED,
2669 or set IDX to a match index, which means put that part
2670 of the buffer text into SUBSTED. */
2671
ca1d1d23
JB
2672 if (c == '\\')
2673 {
886ed6ec
RS
2674 really_changed = 1;
2675
3bc25e52
KH
2676 if (str_multibyte)
2677 {
eb99a8dd
KH
2678 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, newtext,
2679 pos, pos_byte);
071ce769 2680 if (!buf_multibyte && !ASCII_CHAR_P (c))
3bc25e52
KH
2681 c = multibyte_char_to_unibyte (c, rev_tbl);
2682 }
2683 else
2684 {
d5db4077 2685 c = SREF (newtext, pos_byte++);
3bc25e52
KH
2686 if (buf_multibyte)
2687 c = unibyte_char_to_multibyte (c);
2688 }
2689
ca1d1d23 2690 if (c == '&')
68e69fbd 2691 idx = sub;
78445046 2692 else if (c >= '1' && c <= '9' && c <= search_regs.num_regs + '0')
ca1d1d23
JB
2693 {
2694 if (search_regs.start[c - '0'] >= 1)
68e69fbd 2695 idx = c - '0';
ca1d1d23 2696 }
636a5e28 2697 else if (c == '\\')
68e69fbd 2698 add_len = 1, add_stuff = "\\";
636a5e28 2699 else
3bc25e52
KH
2700 {
2701 xfree (substed);
2702 error ("Invalid use of `\\' in replacement text");
2703 }
ca1d1d23
JB
2704 }
2705 else
68e69fbd
RS
2706 {
2707 add_len = CHAR_STRING (c, str);
2708 add_stuff = str;
2709 }
2710
2711 /* If we want to copy part of a previous match,
2712 set up ADD_STUFF and ADD_LEN to point to it. */
2713 if (idx >= 0)
2714 {
2715 int begbyte = CHAR_TO_BYTE (search_regs.start[idx]);
2716 add_len = CHAR_TO_BYTE (search_regs.end[idx]) - begbyte;
2717 if (search_regs.start[idx] < GPT && GPT < search_regs.end[idx])
2718 move_gap (search_regs.start[idx]);
2719 add_stuff = BYTE_POS_ADDR (begbyte);
2720 }
2721
2722 /* Now the stuff we want to add to SUBSTED
2723 is invariably ADD_LEN bytes starting at ADD_STUFF. */
2724
2725 /* Make sure SUBSTED is big enough. */
2726 if (substed_len + add_len >= substed_alloc_size)
2727 {
2728 substed_alloc_size = substed_len + add_len + 500;
2729 substed = (unsigned char *) xrealloc (substed,
2730 substed_alloc_size + 1);
2731 }
2732
2733 /* Now add to the end of SUBSTED. */
f8ce8a0d
GM
2734 if (add_stuff)
2735 {
2736 bcopy (add_stuff, substed + substed_len, add_len);
2737 substed_len += add_len;
2738 }
ca1d1d23 2739 }
68e69fbd 2740
886ed6ec 2741 if (really_changed)
76fc1ea2
KH
2742 {
2743 if (buf_multibyte)
2744 {
2745 int nchars = multibyte_chars_in_text (substed, substed_len);
68e69fbd 2746
76fc1ea2
KH
2747 newtext = make_multibyte_string (substed, nchars, substed_len);
2748 }
2749 else
2750 newtext = make_unibyte_string (substed, substed_len);
2751 }
68e69fbd 2752 xfree (substed);
ca1d1d23
JB
2753 }
2754
886ed6ec
RS
2755 /* Replace the old text with the new in the cleanest possible way. */
2756 replace_range (search_regs.start[sub], search_regs.end[sub],
2757 newtext, 1, 0, 1);
d5db4077 2758 newpoint = search_regs.start[sub] + SCHARS (newtext);
ca1d1d23
JB
2759
2760 if (case_action == all_caps)
886ed6ec
RS
2761 Fupcase_region (make_number (search_regs.start[sub]),
2762 make_number (newpoint));
ca1d1d23 2763 else if (case_action == cap_initial)
886ed6ec
RS
2764 Fupcase_initials_region (make_number (search_regs.start[sub]),
2765 make_number (newpoint));
3e18eecf 2766
98e942e0
RS
2767 /* Adjust search data for this change. */
2768 {
5b88a2c5 2769 int oldend = search_regs.end[sub];
41c01205 2770 int oldstart = search_regs.start[sub];
98e942e0
RS
2771 int change = newpoint - search_regs.end[sub];
2772 int i;
2773
2774 for (i = 0; i < search_regs.num_regs; i++)
2775 {
41c01205 2776 if (search_regs.start[i] >= oldend)
98e942e0 2777 search_regs.start[i] += change;
41c01205
DK
2778 else if (search_regs.start[i] > oldstart)
2779 search_regs.start[i] = oldstart;
2780 if (search_regs.end[i] >= oldend)
98e942e0 2781 search_regs.end[i] += change;
41c01205
DK
2782 else if (search_regs.end[i] > oldstart)
2783 search_regs.end[i] = oldstart;
98e942e0
RS
2784 }
2785 }
2786
b0eba991 2787 /* Put point back where it was in the text. */
8d808a65 2788 if (opoint <= 0)
fa8ed3e0 2789 TEMP_SET_PT (opoint + ZV);
b0eba991 2790 else
fa8ed3e0 2791 TEMP_SET_PT (opoint);
b0eba991
RS
2792
2793 /* Now move point "officially" to the start of the inserted replacement. */
3e18eecf 2794 move_if_not_intangible (newpoint);
177c0ea7 2795
ca1d1d23
JB
2796 return Qnil;
2797}
2798\f
2799static Lisp_Object
2800match_limit (num, beginningp)
2801 Lisp_Object num;
2802 int beginningp;
2803{
2804 register int n;
2805
b7826503 2806 CHECK_NUMBER (num);
ca1d1d23 2807 n = XINT (num);
f90a5bf5 2808 if (n < 0)
bd2cbd56 2809 args_out_of_range (num, make_number (0));
f90a5bf5
RS
2810 if (search_regs.num_regs <= 0)
2811 error ("No match data, because no search succeeded");
9b9ceb61 2812 if (n >= search_regs.num_regs
4746118a 2813 || search_regs.start[n] < 0)
ca1d1d23
JB
2814 return Qnil;
2815 return (make_number ((beginningp) ? search_regs.start[n]
2816 : search_regs.end[n]));
2817}
2818
2819DEFUN ("match-beginning", Fmatch_beginning, Smatch_beginning, 1, 1, 0,
8c1a1077
PJ
2820 doc: /* Return position of start of text matched by last search.
2821SUBEXP, a number, specifies which parenthesized expression in the last
2822 regexp.
2823Value is nil if SUBEXPth pair didn't match, or there were less than
2824 SUBEXP pairs.
2825Zero means the entire text matched by the whole regexp or whole string. */)
2826 (subexp)
5806161b 2827 Lisp_Object subexp;
ca1d1d23 2828{
5806161b 2829 return match_limit (subexp, 1);
ca1d1d23
JB
2830}
2831
2832DEFUN ("match-end", Fmatch_end, Smatch_end, 1, 1, 0,
8c1a1077
PJ
2833 doc: /* Return position of end of text matched by last search.
2834SUBEXP, a number, specifies which parenthesized expression in the last
2835 regexp.
2836Value is nil if SUBEXPth pair didn't match, or there were less than
2837 SUBEXP pairs.
2838Zero means the entire text matched by the whole regexp or whole string. */)
2839 (subexp)
5806161b 2840 Lisp_Object subexp;
ca1d1d23 2841{
5806161b 2842 return match_limit (subexp, 0);
177c0ea7 2843}
ca1d1d23 2844
abd0071c 2845DEFUN ("match-data", Fmatch_data, Smatch_data, 0, 3, 0,
8c1a1077
PJ
2846 doc: /* Return a list containing all info on what the last search matched.
2847Element 2N is `(match-beginning N)'; element 2N + 1 is `(match-end N)'.
2848All the elements are markers or nil (nil if the Nth pair didn't match)
2849if the last match was on a buffer; integers or nil if a string was matched.
2850Use `store-match-data' to reinstate the data in this list.
2851
41c01205
DK
2852If INTEGERS (the optional first argument) is non-nil, always use
2853integers \(rather than markers) to represent buffer positions. In
2854this case, and if the last match was in a buffer, the buffer will get
2855stored as one additional element at the end of the list.
2856
abd0071c
KS
2857If REUSE is a list, reuse it as part of the value. If REUSE is long
2858enough to hold all the values, and if INTEGERS is non-nil, no consing
2859is done.
2860
2861If optional third arg RESEAT is non-nil, any previous markers on the
2862REUSE list will be modified to point to nowhere.
2863
140a6b7e 2864Return value is undefined if the last search failed. */)
abd0071c
KS
2865 (integers, reuse, reseat)
2866 Lisp_Object integers, reuse, reseat;
ca1d1d23 2867{
56256c2a 2868 Lisp_Object tail, prev;
4746118a 2869 Lisp_Object *data;
ca1d1d23
JB
2870 int i, len;
2871
abd0071c
KS
2872 if (!NILP (reseat))
2873 for (tail = reuse; CONSP (tail); tail = XCDR (tail))
2874 if (MARKERP (XCAR (tail)))
2875 {
51f10faa 2876 unchain_marker (XMARKER (XCAR (tail)));
abd0071c
KS
2877 XSETCAR (tail, Qnil);
2878 }
2879
daa37602 2880 if (NILP (last_thing_searched))
c36bcf1b 2881 return Qnil;
daa37602 2882
6bbd7a29
GM
2883 prev = Qnil;
2884
41c01205 2885 data = (Lisp_Object *) alloca ((2 * search_regs.num_regs + 1)
4746118a
JB
2886 * sizeof (Lisp_Object));
2887
41c01205 2888 len = 0;
4746118a 2889 for (i = 0; i < search_regs.num_regs; i++)
ca1d1d23
JB
2890 {
2891 int start = search_regs.start[i];
2892 if (start >= 0)
2893 {
56256c2a
RS
2894 if (EQ (last_thing_searched, Qt)
2895 || ! NILP (integers))
ca1d1d23 2896 {
c235cce7
KH
2897 XSETFASTINT (data[2 * i], start);
2898 XSETFASTINT (data[2 * i + 1], search_regs.end[i]);
ca1d1d23 2899 }
0ed62dc7 2900 else if (BUFFERP (last_thing_searched))
ca1d1d23
JB
2901 {
2902 data[2 * i] = Fmake_marker ();
daa37602
JB
2903 Fset_marker (data[2 * i],
2904 make_number (start),
2905 last_thing_searched);
ca1d1d23
JB
2906 data[2 * i + 1] = Fmake_marker ();
2907 Fset_marker (data[2 * i + 1],
177c0ea7 2908 make_number (search_regs.end[i]),
daa37602 2909 last_thing_searched);
ca1d1d23 2910 }
daa37602
JB
2911 else
2912 /* last_thing_searched must always be Qt, a buffer, or Qnil. */
2913 abort ();
2914
abd0071c 2915 len = 2 * i + 2;
ca1d1d23
JB
2916 }
2917 else
abd0071c 2918 data[2 * i] = data[2 * i + 1] = Qnil;
ca1d1d23 2919 }
56256c2a 2920
bd2cbd56 2921 if (BUFFERP (last_thing_searched) && !NILP (integers))
41c01205 2922 {
bd2cbd56 2923 data[len] = last_thing_searched;
41c01205
DK
2924 len++;
2925 }
2926
56256c2a
RS
2927 /* If REUSE is not usable, cons up the values and return them. */
2928 if (! CONSP (reuse))
41c01205 2929 return Flist (len, data);
56256c2a
RS
2930
2931 /* If REUSE is a list, store as many value elements as will fit
2932 into the elements of REUSE. */
2933 for (i = 0, tail = reuse; CONSP (tail);
c1d497be 2934 i++, tail = XCDR (tail))
56256c2a 2935 {
41c01205 2936 if (i < len)
f3fbd155 2937 XSETCAR (tail, data[i]);
56256c2a 2938 else
f3fbd155 2939 XSETCAR (tail, Qnil);
56256c2a
RS
2940 prev = tail;
2941 }
2942
2943 /* If we couldn't fit all value elements into REUSE,
2944 cons up the rest of them and add them to the end of REUSE. */
41c01205
DK
2945 if (i < len)
2946 XSETCDR (prev, Flist (len - i, data + i));
56256c2a
RS
2947
2948 return reuse;
ca1d1d23
JB
2949}
2950
b51d6c92
SM
2951/* We used to have an internal use variant of `reseat' described as:
2952
2953 If RESEAT is `evaporate', put the markers back on the free list
2954 immediately. No other references to the markers must exist in this
2955 case, so it is used only internally on the unwind stack and
2956 save-match-data from Lisp.
2957
2958 But it was ill-conceived: those supposedly-internal markers get exposed via
2959 the undo-list, so freeing them here is unsafe. */
ca1d1d23 2960
abd0071c 2961DEFUN ("set-match-data", Fset_match_data, Sset_match_data, 1, 2, 0,
8c1a1077 2962 doc: /* Set internal data on last search match from elements of LIST.
abd0071c
KS
2963LIST should have been created by calling `match-data' previously.
2964
51f10faa 2965If optional arg RESEAT is non-nil, make markers on LIST point nowhere. */)
abd0071c
KS
2966 (list, reseat)
2967 register Lisp_Object list, reseat;
ca1d1d23
JB
2968{
2969 register int i;
2970 register Lisp_Object marker;
2971
7074fde6
FP
2972 if (running_asynch_code)
2973 save_search_regs ();
2974
29100cea 2975 CHECK_LIST (list);
ca1d1d23 2976
41c01205
DK
2977 /* Unless we find a marker with a buffer or an explicit buffer
2978 in LIST, assume that this match data came from a string. */
daa37602
JB
2979 last_thing_searched = Qt;
2980
4746118a
JB
2981 /* Allocate registers if they don't already exist. */
2982 {
d084e942 2983 int length = XFASTINT (Flength (list)) / 2;
4746118a
JB
2984
2985 if (length > search_regs.num_regs)
2986 {
1113d9db
JB
2987 if (search_regs.num_regs == 0)
2988 {
2989 search_regs.start
2990 = (regoff_t *) xmalloc (length * sizeof (regoff_t));
2991 search_regs.end
2992 = (regoff_t *) xmalloc (length * sizeof (regoff_t));
2993 }
4746118a 2994 else
1113d9db
JB
2995 {
2996 search_regs.start
2997 = (regoff_t *) xrealloc (search_regs.start,
2998 length * sizeof (regoff_t));
2999 search_regs.end
3000 = (regoff_t *) xrealloc (search_regs.end,
3001 length * sizeof (regoff_t));
3002 }
4746118a 3003
e62371e9
KH
3004 for (i = search_regs.num_regs; i < length; i++)
3005 search_regs.start[i] = -1;
3006
487282dc 3007 search_regs.num_regs = length;
4746118a 3008 }
ca1d1d23 3009
abd0071c 3010 for (i = 0; CONSP (list); i++)
41c01205 3011 {
abd0071c 3012 marker = XCAR (list);
bd2cbd56 3013 if (BUFFERP (marker))
c3762cbd 3014 {
bd2cbd56 3015 last_thing_searched = marker;
c3762cbd
DK
3016 break;
3017 }
3018 if (i >= length)
3019 break;
41c01205
DK
3020 if (NILP (marker))
3021 {
3022 search_regs.start[i] = -1;
abd0071c 3023 list = XCDR (list);
41c01205
DK
3024 }
3025 else
3026 {
3027 int from;
abd0071c 3028 Lisp_Object m;
e2811828 3029
abd0071c 3030 m = marker;
41c01205
DK
3031 if (MARKERP (marker))
3032 {
3033 if (XMARKER (marker)->buffer == 0)
3034 XSETFASTINT (marker, 0);
3035 else
3036 XSETBUFFER (last_thing_searched, XMARKER (marker)->buffer);
3037 }
e2811828 3038
41c01205
DK
3039 CHECK_NUMBER_COERCE_MARKER (marker);
3040 from = XINT (marker);
e2811828 3041
abd0071c
KS
3042 if (!NILP (reseat) && MARKERP (m))
3043 {
b51d6c92 3044 unchain_marker (XMARKER (m));
9ad54a7e 3045 XSETCAR (list, Qnil);
abd0071c
KS
3046 }
3047
3048 if ((list = XCDR (list), !CONSP (list)))
3049 break;
3050
3051 m = marker = XCAR (list);
3052
41c01205
DK
3053 if (MARKERP (marker) && XMARKER (marker)->buffer == 0)
3054 XSETFASTINT (marker, 0);
e2811828 3055
41c01205
DK
3056 CHECK_NUMBER_COERCE_MARKER (marker);
3057 search_regs.start[i] = from;
3058 search_regs.end[i] = XINT (marker);
abd0071c
KS
3059
3060 if (!NILP (reseat) && MARKERP (m))
3061 {
b51d6c92 3062 unchain_marker (XMARKER (m));
9ad54a7e 3063 XSETCAR (list, Qnil);
abd0071c 3064 }
41c01205 3065 }
abd0071c 3066 list = XCDR (list);
41c01205 3067 }
ca1d1d23 3068
41c01205
DK
3069 for (; i < search_regs.num_regs; i++)
3070 search_regs.start[i] = -1;
3071 }
ca1d1d23 3072
177c0ea7 3073 return Qnil;
ca1d1d23
JB
3074}
3075
7074fde6
FP
3076/* If non-zero the match data have been saved in saved_search_regs
3077 during the execution of a sentinel or filter. */
75ebf74b 3078static int search_regs_saved;
7074fde6 3079static struct re_registers saved_search_regs;
41c01205 3080static Lisp_Object saved_last_thing_searched;
7074fde6
FP
3081
3082/* Called from Flooking_at, Fstring_match, search_buffer, Fstore_match_data
3083 if asynchronous code (filter or sentinel) is running. */
3084static void
3085save_search_regs ()
3086{
3087 if (!search_regs_saved)
3088 {
3089 saved_search_regs.num_regs = search_regs.num_regs;
3090 saved_search_regs.start = search_regs.start;
3091 saved_search_regs.end = search_regs.end;
41c01205
DK
3092 saved_last_thing_searched = last_thing_searched;
3093 last_thing_searched = Qnil;
7074fde6 3094 search_regs.num_regs = 0;
2d4a771a
RS
3095 search_regs.start = 0;
3096 search_regs.end = 0;
7074fde6
FP
3097
3098 search_regs_saved = 1;
3099 }
3100}
3101
3102/* Called upon exit from filters and sentinels. */
3103void
abd0071c 3104restore_search_regs ()
7074fde6
FP
3105{
3106 if (search_regs_saved)
3107 {
3108 if (search_regs.num_regs > 0)
3109 {
3110 xfree (search_regs.start);
3111 xfree (search_regs.end);
3112 }
3113 search_regs.num_regs = saved_search_regs.num_regs;
3114 search_regs.start = saved_search_regs.start;
3115 search_regs.end = saved_search_regs.end;
41c01205
DK
3116 last_thing_searched = saved_last_thing_searched;
3117 saved_last_thing_searched = Qnil;
7074fde6
FP
3118 search_regs_saved = 0;
3119 }
3120}
3121
abd0071c
KS
3122static Lisp_Object
3123unwind_set_match_data (list)
3124 Lisp_Object list;
3125{
b51d6c92
SM
3126 /* It is NOT ALWAYS safe to free (evaporate) the markers immediately. */
3127 return Fset_match_data (list, Qt);
abd0071c
KS
3128}
3129
3130/* Called to unwind protect the match data. */
3131void
3132record_unwind_save_match_data ()
3133{
3134 record_unwind_protect (unwind_set_match_data,
3135 Fmatch_data (Qnil, Qnil, Qnil));
3136}
3137
ca1d1d23
JB
3138/* Quote a string to inactivate reg-expr chars */
3139
3140DEFUN ("regexp-quote", Fregexp_quote, Sregexp_quote, 1, 1, 0,
8c1a1077
PJ
3141 doc: /* Return a regexp string which matches exactly STRING and nothing else. */)
3142 (string)
5806161b 3143 Lisp_Object string;
ca1d1d23
JB
3144{
3145 register unsigned char *in, *out, *end;
3146 register unsigned char *temp;
0c8533c6 3147 int backslashes_added = 0;
ca1d1d23 3148
b7826503 3149 CHECK_STRING (string);
ca1d1d23 3150
d5db4077 3151 temp = (unsigned char *) alloca (SBYTES (string) * 2);
ca1d1d23
JB
3152
3153 /* Now copy the data into the new string, inserting escapes. */
3154
d5db4077
KR
3155 in = SDATA (string);
3156 end = in + SBYTES (string);
177c0ea7 3157 out = temp;
ca1d1d23
JB
3158
3159 for (; in != end; in++)
3160 {
66bc6082 3161 if (*in == '['
ca1d1d23
JB
3162 || *in == '*' || *in == '.' || *in == '\\'
3163 || *in == '?' || *in == '+'
3164 || *in == '^' || *in == '$')
0c8533c6 3165 *out++ = '\\', backslashes_added++;
ca1d1d23
JB
3166 *out++ = *in;
3167 }
3168
3f8100f1 3169 return make_specified_string (temp,
d5db4077 3170 SCHARS (string) + backslashes_added,
3f8100f1
RS
3171 out - temp,
3172 STRING_MULTIBYTE (string));
ca1d1d23 3173}
177c0ea7 3174\f
dfcf069d 3175void
ca1d1d23
JB
3176syms_of_search ()
3177{
3178 register int i;
3179
487282dc
KH
3180 for (i = 0; i < REGEXP_CACHE_SIZE; ++i)
3181 {
3182 searchbufs[i].buf.allocated = 100;
b23c0a83 3183 searchbufs[i].buf.buffer = (unsigned char *) xmalloc (100);
487282dc
KH
3184 searchbufs[i].buf.fastmap = searchbufs[i].fastmap;
3185 searchbufs[i].regexp = Qnil;
ecdb561e 3186 searchbufs[i].whitespace_regexp = Qnil;
b69e3c18 3187 searchbufs[i].syntax_table = Qnil;
487282dc 3188 staticpro (&searchbufs[i].regexp);
aa77b5ce 3189 staticpro (&searchbufs[i].whitespace_regexp);
b69e3c18 3190 staticpro (&searchbufs[i].syntax_table);
487282dc
KH
3191 searchbufs[i].next = (i == REGEXP_CACHE_SIZE-1 ? 0 : &searchbufs[i+1]);
3192 }
3193 searchbuf_head = &searchbufs[0];
ca1d1d23
JB
3194
3195 Qsearch_failed = intern ("search-failed");
3196 staticpro (&Qsearch_failed);
3197 Qinvalid_regexp = intern ("invalid-regexp");
3198 staticpro (&Qinvalid_regexp);
3199
3200 Fput (Qsearch_failed, Qerror_conditions,
3201 Fcons (Qsearch_failed, Fcons (Qerror, Qnil)));
3202 Fput (Qsearch_failed, Qerror_message,
3203 build_string ("Search failed"));
3204
3205 Fput (Qinvalid_regexp, Qerror_conditions,
3206 Fcons (Qinvalid_regexp, Fcons (Qerror, Qnil)));
3207 Fput (Qinvalid_regexp, Qerror_message,
3208 build_string ("Invalid regexp"));
3209
daa37602
JB
3210 last_thing_searched = Qnil;
3211 staticpro (&last_thing_searched);
3212
0f6af254
DK
3213 saved_last_thing_searched = Qnil;
3214 staticpro (&saved_last_thing_searched);
3215
41a33295 3216 DEFVAR_LISP ("search-spaces-regexp", &Vsearch_spaces_regexp,
e2811828 3217 doc: /* Regexp to substitute for bunches of spaces in regexp search.
f31a9a68
RS
3218Some commands use this for user-specified regexps.
3219Spaces that occur inside character classes or repetition operators
3220or other such regexp constructs are not replaced with this.
3221A value of nil (which is the normal value) means treat spaces literally. */);
41a33295 3222 Vsearch_spaces_regexp = Qnil;
f31a9a68 3223
ef887810
RS
3224 DEFVAR_LISP ("inhibit-changing-match-data", &Vinhibit_changing_match_data,
3225 doc: /* Internal use only.
39d0bf74
RS
3226If non-nil, the primitive searching and matching functions
3227such as `looking-at', `string-match', `re-search-forward', etc.,
3228do not set the match data. The proper way to use this variable
3229is to bind it with `let' around a small expression. */);
ef887810
RS
3230 Vinhibit_changing_match_data = Qnil;
3231
ca1d1d23 3232 defsubr (&Slooking_at);
b819a390
RS
3233 defsubr (&Sposix_looking_at);
3234 defsubr (&Sstring_match);
3235 defsubr (&Sposix_string_match);
ca1d1d23
JB
3236 defsubr (&Ssearch_forward);
3237 defsubr (&Ssearch_backward);
3238 defsubr (&Sword_search_forward);
3239 defsubr (&Sword_search_backward);
3240 defsubr (&Sre_search_forward);
3241 defsubr (&Sre_search_backward);
b819a390
RS
3242 defsubr (&Sposix_search_forward);
3243 defsubr (&Sposix_search_backward);
ca1d1d23
JB
3244 defsubr (&Sreplace_match);
3245 defsubr (&Smatch_beginning);
3246 defsubr (&Smatch_end);
3247 defsubr (&Smatch_data);
3f1c005b 3248 defsubr (&Sset_match_data);
ca1d1d23
JB
3249 defsubr (&Sregexp_quote);
3250}
76fc1ea2
KH
3251
3252/* arch-tag: a6059d79-0552-4f14-a2cb-d379a4e3c78f
3253 (do not change this comment) */