nntp.el (nntp-send-authinfo): Query `auth-source-search' with the logical server...
[emacs.git] / src / search.c
blob67323b3c6e7359342ce19dab55c9168a822dea3c
1 /* String search routines for GNU Emacs.
2 Copyright (C) 1985-1987, 1993-1994, 1997-1999, 2001-2012
3 Free Software Foundation, Inc.
5 This file is part of GNU Emacs.
7 GNU Emacs is free software: you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation, either version 3 of the License, or
10 (at your option) any later version.
12 GNU Emacs is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
21 #include <config.h>
22 #include <setjmp.h>
23 #include "lisp.h"
24 #include "syntax.h"
25 #include "category.h"
26 #include "buffer.h"
27 #include "character.h"
28 #include "charset.h"
29 #include "region-cache.h"
30 #include "commands.h"
31 #include "blockinput.h"
32 #include "intervals.h"
34 #include <sys/types.h>
35 #include "regex.h"
37 #define REGEXP_CACHE_SIZE 20
39 /* If the regexp is non-nil, then the buffer contains the compiled form
40 of that regexp, suitable for searching. */
41 struct regexp_cache
43 struct regexp_cache *next;
44 Lisp_Object regexp, whitespace_regexp;
45 /* Syntax table for which the regexp applies. We need this because
46 of character classes. If this is t, then the compiled pattern is valid
47 for any syntax-table. */
48 Lisp_Object syntax_table;
49 struct re_pattern_buffer buf;
50 char fastmap[0400];
51 /* Nonzero means regexp was compiled to do full POSIX backtracking. */
52 char posix;
55 /* The instances of that struct. */
56 static struct regexp_cache searchbufs[REGEXP_CACHE_SIZE];
58 /* The head of the linked list; points to the most recently used buffer. */
59 static struct regexp_cache *searchbuf_head;
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).
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
69 been allocated by checking search_regs.num_regs.
71 The regex code keeps track of whether it has allocated the search
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
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. */
79 static struct re_registers search_regs;
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. */
84 static Lisp_Object last_thing_searched;
86 /* Error condition signaled when regexp compile_pattern fails. */
87 static Lisp_Object Qinvalid_regexp;
89 /* Error condition used for failing searches. */
90 static Lisp_Object Qsearch_failed;
92 static void set_search_regs (EMACS_INT, EMACS_INT);
93 static void save_search_regs (void);
94 static EMACS_INT simple_search (EMACS_INT, unsigned char *, EMACS_INT,
95 EMACS_INT, Lisp_Object, EMACS_INT, EMACS_INT,
96 EMACS_INT, EMACS_INT);
97 static EMACS_INT boyer_moore (EMACS_INT, unsigned char *, EMACS_INT,
98 Lisp_Object, Lisp_Object, EMACS_INT,
99 EMACS_INT, int);
100 static EMACS_INT search_buffer (Lisp_Object, EMACS_INT, EMACS_INT,
101 EMACS_INT, EMACS_INT, EMACS_INT, int,
102 Lisp_Object, Lisp_Object, int);
103 static void matcher_overflow (void) NO_RETURN;
105 static void
106 matcher_overflow (void)
108 error ("Stack overflow in regexp matcher");
111 /* Compile a regexp and signal a Lisp error if anything goes wrong.
112 PATTERN is the pattern to compile.
113 CP is the place to put the result.
114 TRANSLATE is a translation table for ignoring case, or nil for none.
115 POSIX is nonzero if we want full backtracking (POSIX style)
116 for this pattern. 0 means backtrack only enough to get a valid match.
118 The behavior also depends on Vsearch_spaces_regexp. */
120 static void
121 compile_pattern_1 (struct regexp_cache *cp, Lisp_Object pattern, Lisp_Object translate, int posix)
123 char *val;
124 reg_syntax_t old;
126 cp->regexp = Qnil;
127 cp->buf.translate = (! NILP (translate) ? translate : make_number (0));
128 cp->posix = posix;
129 cp->buf.multibyte = STRING_MULTIBYTE (pattern);
130 cp->buf.charset_unibyte = charset_unibyte;
131 if (STRINGP (Vsearch_spaces_regexp))
132 cp->whitespace_regexp = Vsearch_spaces_regexp;
133 else
134 cp->whitespace_regexp = Qnil;
136 /* rms: I think BLOCK_INPUT is not needed here any more,
137 because regex.c defines malloc to call xmalloc.
138 Using BLOCK_INPUT here means the debugger won't run if an error occurs.
139 So let's turn it off. */
140 /* BLOCK_INPUT; */
141 old = re_set_syntax (RE_SYNTAX_EMACS
142 | (posix ? 0 : RE_NO_POSIX_BACKTRACKING));
144 if (STRINGP (Vsearch_spaces_regexp))
145 re_set_whitespace_regexp (SSDATA (Vsearch_spaces_regexp));
146 else
147 re_set_whitespace_regexp (NULL);
149 val = (char *) re_compile_pattern (SSDATA (pattern),
150 SBYTES (pattern), &cp->buf);
152 /* If the compiled pattern hard codes some of the contents of the
153 syntax-table, it can only be reused with *this* syntax table. */
154 cp->syntax_table = cp->buf.used_syntax ? BVAR (current_buffer, syntax_table) : Qt;
156 re_set_whitespace_regexp (NULL);
158 re_set_syntax (old);
159 /* UNBLOCK_INPUT; */
160 if (val)
161 xsignal1 (Qinvalid_regexp, build_string (val));
163 cp->regexp = Fcopy_sequence (pattern);
166 /* Shrink each compiled regexp buffer in the cache
167 to the size actually used right now.
168 This is called from garbage collection. */
170 void
171 shrink_regexp_cache (void)
173 struct regexp_cache *cp;
175 for (cp = searchbuf_head; cp != 0; cp = cp->next)
177 cp->buf.allocated = cp->buf.used;
178 cp->buf.buffer
179 = (unsigned char *) xrealloc (cp->buf.buffer, cp->buf.used);
183 /* Clear the regexp cache w.r.t. a particular syntax table,
184 because it was changed.
185 There is no danger of memory leak here because re_compile_pattern
186 automagically manages the memory in each re_pattern_buffer struct,
187 based on its `allocated' and `buffer' values. */
188 void
189 clear_regexp_cache (void)
191 int i;
193 for (i = 0; i < REGEXP_CACHE_SIZE; ++i)
194 /* It's tempting to compare with the syntax-table we've actually changed,
195 but it's not sufficient because char-table inheritance means that
196 modifying one syntax-table can change others at the same time. */
197 if (!EQ (searchbufs[i].syntax_table, Qt))
198 searchbufs[i].regexp = Qnil;
201 /* Compile a regexp if necessary, but first check to see if there's one in
202 the cache.
203 PATTERN is the pattern to compile.
204 TRANSLATE is a translation table for ignoring case, or nil for none.
205 REGP is the structure that says where to store the "register"
206 values that will result from matching this pattern.
207 If it is 0, we should compile the pattern not to record any
208 subexpression bounds.
209 POSIX is nonzero if we want full backtracking (POSIX style)
210 for this pattern. 0 means backtrack only enough to get a valid match. */
212 struct re_pattern_buffer *
213 compile_pattern (Lisp_Object pattern, struct re_registers *regp, Lisp_Object translate, int posix, int multibyte)
215 struct regexp_cache *cp, **cpp;
217 for (cpp = &searchbuf_head; ; cpp = &cp->next)
219 cp = *cpp;
220 /* Entries are initialized to nil, and may be set to nil by
221 compile_pattern_1 if the pattern isn't valid. Don't apply
222 string accessors in those cases. However, compile_pattern_1
223 is only applied to the cache entry we pick here to reuse. So
224 nil should never appear before a non-nil entry. */
225 if (NILP (cp->regexp))
226 goto compile_it;
227 if (SCHARS (cp->regexp) == SCHARS (pattern)
228 && STRING_MULTIBYTE (cp->regexp) == STRING_MULTIBYTE (pattern)
229 && !NILP (Fstring_equal (cp->regexp, pattern))
230 && EQ (cp->buf.translate, (! NILP (translate) ? translate : make_number (0)))
231 && cp->posix == posix
232 && (EQ (cp->syntax_table, Qt)
233 || EQ (cp->syntax_table, BVAR (current_buffer, syntax_table)))
234 && !NILP (Fequal (cp->whitespace_regexp, Vsearch_spaces_regexp))
235 && cp->buf.charset_unibyte == charset_unibyte)
236 break;
238 /* If we're at the end of the cache, compile into the nil cell
239 we found, or the last (least recently used) cell with a
240 string value. */
241 if (cp->next == 0)
243 compile_it:
244 compile_pattern_1 (cp, pattern, translate, posix);
245 break;
249 /* When we get here, cp (aka *cpp) contains the compiled pattern,
250 either because we found it in the cache or because we just compiled it.
251 Move it to the front of the queue to mark it as most recently used. */
252 *cpp = cp->next;
253 cp->next = searchbuf_head;
254 searchbuf_head = cp;
256 /* Advise the searching functions about the space we have allocated
257 for register data. */
258 if (regp)
259 re_set_registers (&cp->buf, regp, regp->num_regs, regp->start, regp->end);
261 /* The compiled pattern can be used both for multibyte and unibyte
262 target. But, we have to tell which the pattern is used for. */
263 cp->buf.target_multibyte = multibyte;
265 return &cp->buf;
269 static Lisp_Object
270 looking_at_1 (Lisp_Object string, int posix)
272 Lisp_Object val;
273 unsigned char *p1, *p2;
274 EMACS_INT s1, s2;
275 register EMACS_INT i;
276 struct re_pattern_buffer *bufp;
278 if (running_asynch_code)
279 save_search_regs ();
281 /* This is so set_image_of_range_1 in regex.c can find the EQV table. */
282 XCHAR_TABLE (BVAR (current_buffer, case_canon_table))->extras[2]
283 = BVAR (current_buffer, case_eqv_table);
285 CHECK_STRING (string);
286 bufp = compile_pattern (string,
287 (NILP (Vinhibit_changing_match_data)
288 ? &search_regs : NULL),
289 (!NILP (BVAR (current_buffer, case_fold_search))
290 ? BVAR (current_buffer, case_canon_table) : Qnil),
291 posix,
292 !NILP (BVAR (current_buffer, enable_multibyte_characters)));
294 immediate_quit = 1;
295 QUIT; /* Do a pending quit right away, to avoid paradoxical behavior */
297 /* Get pointers and sizes of the two strings
298 that make up the visible portion of the buffer. */
300 p1 = BEGV_ADDR;
301 s1 = GPT_BYTE - BEGV_BYTE;
302 p2 = GAP_END_ADDR;
303 s2 = ZV_BYTE - GPT_BYTE;
304 if (s1 < 0)
306 p2 = p1;
307 s2 = ZV_BYTE - BEGV_BYTE;
308 s1 = 0;
310 if (s2 < 0)
312 s1 = ZV_BYTE - BEGV_BYTE;
313 s2 = 0;
316 re_match_object = Qnil;
318 i = re_match_2 (bufp, (char *) p1, s1, (char *) p2, s2,
319 PT_BYTE - BEGV_BYTE,
320 (NILP (Vinhibit_changing_match_data)
321 ? &search_regs : NULL),
322 ZV_BYTE - BEGV_BYTE);
323 immediate_quit = 0;
325 if (i == -2)
326 matcher_overflow ();
328 val = (0 <= i ? Qt : Qnil);
329 if (NILP (Vinhibit_changing_match_data) && i >= 0)
330 for (i = 0; i < search_regs.num_regs; i++)
331 if (search_regs.start[i] >= 0)
333 search_regs.start[i]
334 = BYTE_TO_CHAR (search_regs.start[i] + BEGV_BYTE);
335 search_regs.end[i]
336 = BYTE_TO_CHAR (search_regs.end[i] + BEGV_BYTE);
339 /* Set last_thing_searched only when match data is changed. */
340 if (NILP (Vinhibit_changing_match_data))
341 XSETBUFFER (last_thing_searched, current_buffer);
343 return val;
346 DEFUN ("looking-at", Flooking_at, Slooking_at, 1, 1, 0,
347 doc: /* Return t if text after point matches regular expression REGEXP.
348 This function modifies the match data that `match-beginning',
349 `match-end' and `match-data' access; save and restore the match
350 data if you want to preserve them. */)
351 (Lisp_Object regexp)
353 return looking_at_1 (regexp, 0);
356 DEFUN ("posix-looking-at", Fposix_looking_at, Sposix_looking_at, 1, 1, 0,
357 doc: /* Return t if text after point matches regular expression REGEXP.
358 Find the longest match, in accord with Posix regular expression rules.
359 This function modifies the match data that `match-beginning',
360 `match-end' and `match-data' access; save and restore the match
361 data if you want to preserve them. */)
362 (Lisp_Object regexp)
364 return looking_at_1 (regexp, 1);
367 static Lisp_Object
368 string_match_1 (Lisp_Object regexp, Lisp_Object string, Lisp_Object start, int posix)
370 EMACS_INT val;
371 struct re_pattern_buffer *bufp;
372 EMACS_INT pos, pos_byte;
373 int i;
375 if (running_asynch_code)
376 save_search_regs ();
378 CHECK_STRING (regexp);
379 CHECK_STRING (string);
381 if (NILP (start))
382 pos = 0, pos_byte = 0;
383 else
385 EMACS_INT len = SCHARS (string);
387 CHECK_NUMBER (start);
388 pos = XINT (start);
389 if (pos < 0 && -pos <= len)
390 pos = len + pos;
391 else if (0 > pos || pos > len)
392 args_out_of_range (string, start);
393 pos_byte = string_char_to_byte (string, pos);
396 /* This is so set_image_of_range_1 in regex.c can find the EQV table. */
397 XCHAR_TABLE (BVAR (current_buffer, case_canon_table))->extras[2]
398 = BVAR (current_buffer, case_eqv_table);
400 bufp = compile_pattern (regexp,
401 (NILP (Vinhibit_changing_match_data)
402 ? &search_regs : NULL),
403 (!NILP (BVAR (current_buffer, case_fold_search))
404 ? BVAR (current_buffer, case_canon_table) : Qnil),
405 posix,
406 STRING_MULTIBYTE (string));
407 immediate_quit = 1;
408 re_match_object = string;
410 val = re_search (bufp, SSDATA (string),
411 SBYTES (string), pos_byte,
412 SBYTES (string) - pos_byte,
413 (NILP (Vinhibit_changing_match_data)
414 ? &search_regs : NULL));
415 immediate_quit = 0;
417 /* Set last_thing_searched only when match data is changed. */
418 if (NILP (Vinhibit_changing_match_data))
419 last_thing_searched = Qt;
421 if (val == -2)
422 matcher_overflow ();
423 if (val < 0) return Qnil;
425 if (NILP (Vinhibit_changing_match_data))
426 for (i = 0; i < search_regs.num_regs; i++)
427 if (search_regs.start[i] >= 0)
429 search_regs.start[i]
430 = string_byte_to_char (string, search_regs.start[i]);
431 search_regs.end[i]
432 = string_byte_to_char (string, search_regs.end[i]);
435 return make_number (string_byte_to_char (string, val));
438 DEFUN ("string-match", Fstring_match, Sstring_match, 2, 3, 0,
439 doc: /* Return index of start of first match for REGEXP in STRING, or nil.
440 Matching ignores case if `case-fold-search' is non-nil.
441 If third arg START is non-nil, start search at that index in STRING.
442 For index of first char beyond the match, do (match-end 0).
443 `match-end' and `match-beginning' also give indices of substrings
444 matched by parenthesis constructs in the pattern.
446 You can use the function `match-string' to extract the substrings
447 matched by the parenthesis constructions in REGEXP. */)
448 (Lisp_Object regexp, Lisp_Object string, Lisp_Object start)
450 return string_match_1 (regexp, string, start, 0);
453 DEFUN ("posix-string-match", Fposix_string_match, Sposix_string_match, 2, 3, 0,
454 doc: /* Return index of start of first match for REGEXP in STRING, or nil.
455 Find the longest match, in accord with Posix regular expression rules.
456 Case is ignored if `case-fold-search' is non-nil in the current buffer.
457 If third arg START is non-nil, start search at that index in STRING.
458 For index of first char beyond the match, do (match-end 0).
459 `match-end' and `match-beginning' also give indices of substrings
460 matched by parenthesis constructs in the pattern. */)
461 (Lisp_Object regexp, Lisp_Object string, Lisp_Object start)
463 return string_match_1 (regexp, string, start, 1);
466 /* Match REGEXP against STRING, searching all of STRING,
467 and return the index of the match, or negative on failure.
468 This does not clobber the match data. */
470 EMACS_INT
471 fast_string_match (Lisp_Object regexp, Lisp_Object string)
473 EMACS_INT val;
474 struct re_pattern_buffer *bufp;
476 bufp = compile_pattern (regexp, 0, Qnil,
477 0, STRING_MULTIBYTE (string));
478 immediate_quit = 1;
479 re_match_object = string;
481 val = re_search (bufp, SSDATA (string),
482 SBYTES (string), 0,
483 SBYTES (string), 0);
484 immediate_quit = 0;
485 return val;
488 /* Match REGEXP against STRING, searching all of STRING ignoring case,
489 and return the index of the match, or negative on failure.
490 This does not clobber the match data.
491 We assume that STRING contains single-byte characters. */
493 EMACS_INT
494 fast_c_string_match_ignore_case (Lisp_Object regexp, const char *string)
496 EMACS_INT val;
497 struct re_pattern_buffer *bufp;
498 size_t len = strlen (string);
500 regexp = string_make_unibyte (regexp);
501 re_match_object = Qt;
502 bufp = compile_pattern (regexp, 0,
503 Vascii_canon_table, 0,
505 immediate_quit = 1;
506 val = re_search (bufp, string, len, 0, len, 0);
507 immediate_quit = 0;
508 return val;
511 /* Like fast_string_match but ignore case. */
513 EMACS_INT
514 fast_string_match_ignore_case (Lisp_Object regexp, Lisp_Object string)
516 EMACS_INT val;
517 struct re_pattern_buffer *bufp;
519 bufp = compile_pattern (regexp, 0, Vascii_canon_table,
520 0, STRING_MULTIBYTE (string));
521 immediate_quit = 1;
522 re_match_object = string;
524 val = re_search (bufp, SSDATA (string),
525 SBYTES (string), 0,
526 SBYTES (string), 0);
527 immediate_quit = 0;
528 return val;
531 /* Match REGEXP against the characters after POS to LIMIT, and return
532 the number of matched characters. If STRING is non-nil, match
533 against the characters in it. In that case, POS and LIMIT are
534 indices into the string. This function doesn't modify the match
535 data. */
537 EMACS_INT
538 fast_looking_at (Lisp_Object regexp, EMACS_INT pos, EMACS_INT pos_byte, EMACS_INT limit, EMACS_INT limit_byte, Lisp_Object string)
540 int multibyte;
541 struct re_pattern_buffer *buf;
542 unsigned char *p1, *p2;
543 EMACS_INT s1, s2;
544 EMACS_INT len;
546 if (STRINGP (string))
548 if (pos_byte < 0)
549 pos_byte = string_char_to_byte (string, pos);
550 if (limit_byte < 0)
551 limit_byte = string_char_to_byte (string, limit);
552 p1 = NULL;
553 s1 = 0;
554 p2 = SDATA (string);
555 s2 = SBYTES (string);
556 re_match_object = string;
557 multibyte = STRING_MULTIBYTE (string);
559 else
561 if (pos_byte < 0)
562 pos_byte = CHAR_TO_BYTE (pos);
563 if (limit_byte < 0)
564 limit_byte = CHAR_TO_BYTE (limit);
565 pos_byte -= BEGV_BYTE;
566 limit_byte -= BEGV_BYTE;
567 p1 = BEGV_ADDR;
568 s1 = GPT_BYTE - BEGV_BYTE;
569 p2 = GAP_END_ADDR;
570 s2 = ZV_BYTE - GPT_BYTE;
571 if (s1 < 0)
573 p2 = p1;
574 s2 = ZV_BYTE - BEGV_BYTE;
575 s1 = 0;
577 if (s2 < 0)
579 s1 = ZV_BYTE - BEGV_BYTE;
580 s2 = 0;
582 re_match_object = Qnil;
583 multibyte = ! NILP (BVAR (current_buffer, enable_multibyte_characters));
586 buf = compile_pattern (regexp, 0, Qnil, 0, multibyte);
587 immediate_quit = 1;
588 len = re_match_2 (buf, (char *) p1, s1, (char *) p2, s2,
589 pos_byte, NULL, limit_byte);
590 immediate_quit = 0;
592 return len;
596 /* The newline cache: remembering which sections of text have no newlines. */
598 /* If the user has requested newline caching, make sure it's on.
599 Otherwise, make sure it's off.
600 This is our cheezy way of associating an action with the change of
601 state of a buffer-local variable. */
602 static void
603 newline_cache_on_off (struct buffer *buf)
605 if (NILP (BVAR (buf, cache_long_line_scans)))
607 /* It should be off. */
608 if (buf->newline_cache)
610 free_region_cache (buf->newline_cache);
611 buf->newline_cache = 0;
614 else
616 /* It should be on. */
617 if (buf->newline_cache == 0)
618 buf->newline_cache = new_region_cache ();
623 /* Search for COUNT instances of the character TARGET between START and END.
625 If COUNT is positive, search forwards; END must be >= START.
626 If COUNT is negative, search backwards for the -COUNTth instance;
627 END must be <= START.
628 If COUNT is zero, do anything you please; run rogue, for all I care.
630 If END is zero, use BEGV or ZV instead, as appropriate for the
631 direction indicated by COUNT.
633 If we find COUNT instances, set *SHORTAGE to zero, and return the
634 position past the COUNTth match. Note that for reverse motion
635 this is not the same as the usual convention for Emacs motion commands.
637 If we don't find COUNT instances before reaching END, set *SHORTAGE
638 to the number of TARGETs left unfound, and return END.
640 If ALLOW_QUIT is non-zero, set immediate_quit. That's good to do
641 except when inside redisplay. */
643 EMACS_INT
644 scan_buffer (register int target, EMACS_INT start, EMACS_INT end,
645 EMACS_INT count, EMACS_INT *shortage, int allow_quit)
647 struct region_cache *newline_cache;
648 int direction;
650 if (count > 0)
652 direction = 1;
653 if (! end) end = ZV;
655 else
657 direction = -1;
658 if (! end) end = BEGV;
661 newline_cache_on_off (current_buffer);
662 newline_cache = current_buffer->newline_cache;
664 if (shortage != 0)
665 *shortage = 0;
667 immediate_quit = allow_quit;
669 if (count > 0)
670 while (start != end)
672 /* Our innermost scanning loop is very simple; it doesn't know
673 about gaps, buffer ends, or the newline cache. ceiling is
674 the position of the last character before the next such
675 obstacle --- the last character the dumb search loop should
676 examine. */
677 EMACS_INT ceiling_byte = CHAR_TO_BYTE (end) - 1;
678 EMACS_INT start_byte = CHAR_TO_BYTE (start);
679 EMACS_INT tem;
681 /* If we're looking for a newline, consult the newline cache
682 to see where we can avoid some scanning. */
683 if (target == '\n' && newline_cache)
685 ptrdiff_t next_change;
686 immediate_quit = 0;
687 while (region_cache_forward
688 (current_buffer, newline_cache, start_byte, &next_change))
689 start_byte = next_change;
690 immediate_quit = allow_quit;
692 /* START should never be after END. */
693 if (start_byte > ceiling_byte)
694 start_byte = ceiling_byte;
696 /* Now the text after start is an unknown region, and
697 next_change is the position of the next known region. */
698 ceiling_byte = min (next_change - 1, ceiling_byte);
701 /* The dumb loop can only scan text stored in contiguous
702 bytes. BUFFER_CEILING_OF returns the last character
703 position that is contiguous, so the ceiling is the
704 position after that. */
705 tem = BUFFER_CEILING_OF (start_byte);
706 ceiling_byte = min (tem, ceiling_byte);
709 /* The termination address of the dumb loop. */
710 register unsigned char *ceiling_addr
711 = BYTE_POS_ADDR (ceiling_byte) + 1;
712 register unsigned char *cursor
713 = BYTE_POS_ADDR (start_byte);
714 unsigned char *base = cursor;
716 while (cursor < ceiling_addr)
718 unsigned char *scan_start = cursor;
720 /* The dumb loop. */
721 while (*cursor != target && ++cursor < ceiling_addr)
724 /* If we're looking for newlines, cache the fact that
725 the region from start to cursor is free of them. */
726 if (target == '\n' && newline_cache)
727 know_region_cache (current_buffer, newline_cache,
728 BYTE_TO_CHAR (start_byte + scan_start - base),
729 BYTE_TO_CHAR (start_byte + cursor - base));
731 /* Did we find the target character? */
732 if (cursor < ceiling_addr)
734 if (--count == 0)
736 immediate_quit = 0;
737 return BYTE_TO_CHAR (start_byte + cursor - base + 1);
739 cursor++;
743 start = BYTE_TO_CHAR (start_byte + cursor - base);
746 else
747 while (start > end)
749 /* The last character to check before the next obstacle. */
750 EMACS_INT ceiling_byte = CHAR_TO_BYTE (end);
751 EMACS_INT start_byte = CHAR_TO_BYTE (start);
752 EMACS_INT tem;
754 /* Consult the newline cache, if appropriate. */
755 if (target == '\n' && newline_cache)
757 ptrdiff_t next_change;
758 immediate_quit = 0;
759 while (region_cache_backward
760 (current_buffer, newline_cache, start_byte, &next_change))
761 start_byte = next_change;
762 immediate_quit = allow_quit;
764 /* Start should never be at or before end. */
765 if (start_byte <= ceiling_byte)
766 start_byte = ceiling_byte + 1;
768 /* Now the text before start is an unknown region, and
769 next_change is the position of the next known region. */
770 ceiling_byte = max (next_change, ceiling_byte);
773 /* Stop scanning before the gap. */
774 tem = BUFFER_FLOOR_OF (start_byte - 1);
775 ceiling_byte = max (tem, ceiling_byte);
778 /* The termination address of the dumb loop. */
779 register unsigned char *ceiling_addr = BYTE_POS_ADDR (ceiling_byte);
780 register unsigned char *cursor = BYTE_POS_ADDR (start_byte - 1);
781 unsigned char *base = cursor;
783 while (cursor >= ceiling_addr)
785 unsigned char *scan_start = cursor;
787 while (*cursor != target && --cursor >= ceiling_addr)
790 /* If we're looking for newlines, cache the fact that
791 the region from after the cursor to start is free of them. */
792 if (target == '\n' && newline_cache)
793 know_region_cache (current_buffer, newline_cache,
794 BYTE_TO_CHAR (start_byte + cursor - base),
795 BYTE_TO_CHAR (start_byte + scan_start - base));
797 /* Did we find the target character? */
798 if (cursor >= ceiling_addr)
800 if (++count >= 0)
802 immediate_quit = 0;
803 return BYTE_TO_CHAR (start_byte + cursor - base);
805 cursor--;
809 start = BYTE_TO_CHAR (start_byte + cursor - base);
813 immediate_quit = 0;
814 if (shortage != 0)
815 *shortage = count * direction;
816 return start;
819 /* Search for COUNT instances of a line boundary, which means either a
820 newline or (if selective display enabled) a carriage return.
821 Start at START. If COUNT is negative, search backwards.
823 We report the resulting position by calling TEMP_SET_PT_BOTH.
825 If we find COUNT instances. we position after (always after,
826 even if scanning backwards) the COUNTth match, and return 0.
828 If we don't find COUNT instances before reaching the end of the
829 buffer (or the beginning, if scanning backwards), we return
830 the number of line boundaries left unfound, and position at
831 the limit we bumped up against.
833 If ALLOW_QUIT is non-zero, set immediate_quit. That's good to do
834 except in special cases. */
836 EMACS_INT
837 scan_newline (EMACS_INT start, EMACS_INT start_byte,
838 EMACS_INT limit, EMACS_INT limit_byte,
839 register EMACS_INT count, int allow_quit)
841 int direction = ((count > 0) ? 1 : -1);
843 register unsigned char *cursor;
844 unsigned char *base;
846 EMACS_INT ceiling;
847 register unsigned char *ceiling_addr;
849 int old_immediate_quit = immediate_quit;
851 /* The code that follows is like scan_buffer
852 but checks for either newline or carriage return. */
854 if (allow_quit)
855 immediate_quit++;
857 start_byte = CHAR_TO_BYTE (start);
859 if (count > 0)
861 while (start_byte < limit_byte)
863 ceiling = BUFFER_CEILING_OF (start_byte);
864 ceiling = min (limit_byte - 1, ceiling);
865 ceiling_addr = BYTE_POS_ADDR (ceiling) + 1;
866 base = (cursor = BYTE_POS_ADDR (start_byte));
867 while (1)
869 while (*cursor != '\n' && ++cursor != ceiling_addr)
872 if (cursor != ceiling_addr)
874 if (--count == 0)
876 immediate_quit = old_immediate_quit;
877 start_byte = start_byte + cursor - base + 1;
878 start = BYTE_TO_CHAR (start_byte);
879 TEMP_SET_PT_BOTH (start, start_byte);
880 return 0;
882 else
883 if (++cursor == ceiling_addr)
884 break;
886 else
887 break;
889 start_byte += cursor - base;
892 else
894 while (start_byte > limit_byte)
896 ceiling = BUFFER_FLOOR_OF (start_byte - 1);
897 ceiling = max (limit_byte, ceiling);
898 ceiling_addr = BYTE_POS_ADDR (ceiling) - 1;
899 base = (cursor = BYTE_POS_ADDR (start_byte - 1) + 1);
900 while (1)
902 while (--cursor != ceiling_addr && *cursor != '\n')
905 if (cursor != ceiling_addr)
907 if (++count == 0)
909 immediate_quit = old_immediate_quit;
910 /* Return the position AFTER the match we found. */
911 start_byte = start_byte + cursor - base + 1;
912 start = BYTE_TO_CHAR (start_byte);
913 TEMP_SET_PT_BOTH (start, start_byte);
914 return 0;
917 else
918 break;
920 /* Here we add 1 to compensate for the last decrement
921 of CURSOR, which took it past the valid range. */
922 start_byte += cursor - base + 1;
926 TEMP_SET_PT_BOTH (limit, limit_byte);
927 immediate_quit = old_immediate_quit;
929 return count * direction;
932 EMACS_INT
933 find_next_newline_no_quit (EMACS_INT from, EMACS_INT cnt)
935 return scan_buffer ('\n', from, 0, cnt, (EMACS_INT *) 0, 0);
938 /* Like find_next_newline, but returns position before the newline,
939 not after, and only search up to TO. This isn't just
940 find_next_newline (...)-1, because you might hit TO. */
942 EMACS_INT
943 find_before_next_newline (EMACS_INT from, EMACS_INT to, EMACS_INT cnt)
945 EMACS_INT shortage;
946 EMACS_INT pos = scan_buffer ('\n', from, to, cnt, &shortage, 1);
948 if (shortage == 0)
949 pos--;
951 return pos;
954 /* Subroutines of Lisp buffer search functions. */
956 static Lisp_Object
957 search_command (Lisp_Object string, Lisp_Object bound, Lisp_Object noerror,
958 Lisp_Object count, int direction, int RE, int posix)
960 register EMACS_INT np;
961 EMACS_INT lim, lim_byte;
962 EMACS_INT n = direction;
964 if (!NILP (count))
966 CHECK_NUMBER (count);
967 n *= XINT (count);
970 CHECK_STRING (string);
971 if (NILP (bound))
973 if (n > 0)
974 lim = ZV, lim_byte = ZV_BYTE;
975 else
976 lim = BEGV, lim_byte = BEGV_BYTE;
978 else
980 CHECK_NUMBER_COERCE_MARKER (bound);
981 lim = XINT (bound);
982 if (n > 0 ? lim < PT : lim > PT)
983 error ("Invalid search bound (wrong side of point)");
984 if (lim > ZV)
985 lim = ZV, lim_byte = ZV_BYTE;
986 else if (lim < BEGV)
987 lim = BEGV, lim_byte = BEGV_BYTE;
988 else
989 lim_byte = CHAR_TO_BYTE (lim);
992 /* This is so set_image_of_range_1 in regex.c can find the EQV table. */
993 XCHAR_TABLE (BVAR (current_buffer, case_canon_table))->extras[2]
994 = BVAR (current_buffer, case_eqv_table);
996 np = search_buffer (string, PT, PT_BYTE, lim, lim_byte, n, RE,
997 (!NILP (BVAR (current_buffer, case_fold_search))
998 ? BVAR (current_buffer, case_canon_table)
999 : Qnil),
1000 (!NILP (BVAR (current_buffer, case_fold_search))
1001 ? BVAR (current_buffer, case_eqv_table)
1002 : Qnil),
1003 posix);
1004 if (np <= 0)
1006 if (NILP (noerror))
1007 xsignal1 (Qsearch_failed, string);
1009 if (!EQ (noerror, Qt))
1011 if (lim < BEGV || lim > ZV)
1012 abort ();
1013 SET_PT_BOTH (lim, lim_byte);
1014 return Qnil;
1015 #if 0 /* This would be clean, but maybe programs depend on
1016 a value of nil here. */
1017 np = lim;
1018 #endif
1020 else
1021 return Qnil;
1024 if (np < BEGV || np > ZV)
1025 abort ();
1027 SET_PT (np);
1029 return make_number (np);
1032 /* Return 1 if REGEXP it matches just one constant string. */
1034 static int
1035 trivial_regexp_p (Lisp_Object regexp)
1037 EMACS_INT len = SBYTES (regexp);
1038 unsigned char *s = SDATA (regexp);
1039 while (--len >= 0)
1041 switch (*s++)
1043 case '.': case '*': case '+': case '?': case '[': case '^': case '$':
1044 return 0;
1045 case '\\':
1046 if (--len < 0)
1047 return 0;
1048 switch (*s++)
1050 case '|': case '(': case ')': case '`': case '\'': case 'b':
1051 case 'B': case '<': case '>': case 'w': case 'W': case 's':
1052 case 'S': case '=': case '{': case '}': case '_':
1053 case 'c': case 'C': /* for categoryspec and notcategoryspec */
1054 case '1': case '2': case '3': case '4': case '5':
1055 case '6': case '7': case '8': case '9':
1056 return 0;
1060 return 1;
1063 /* Search for the n'th occurrence of STRING in the current buffer,
1064 starting at position POS and stopping at position LIM,
1065 treating STRING as a literal string if RE is false or as
1066 a regular expression if RE is true.
1068 If N is positive, searching is forward and LIM must be greater than POS.
1069 If N is negative, searching is backward and LIM must be less than POS.
1071 Returns -x if x occurrences remain to be found (x > 0),
1072 or else the position at the beginning of the Nth occurrence
1073 (if searching backward) or the end (if searching forward).
1075 POSIX is nonzero if we want full backtracking (POSIX style)
1076 for this pattern. 0 means backtrack only enough to get a valid match. */
1078 #define TRANSLATE(out, trt, d) \
1079 do \
1081 if (! NILP (trt)) \
1083 Lisp_Object temp; \
1084 temp = Faref (trt, make_number (d)); \
1085 if (INTEGERP (temp)) \
1086 out = XINT (temp); \
1087 else \
1088 out = d; \
1090 else \
1091 out = d; \
1093 while (0)
1095 /* Only used in search_buffer, to record the end position of the match
1096 when searching regexps and SEARCH_REGS should not be changed
1097 (i.e. Vinhibit_changing_match_data is non-nil). */
1098 static struct re_registers search_regs_1;
1100 static EMACS_INT
1101 search_buffer (Lisp_Object string, EMACS_INT pos, EMACS_INT pos_byte,
1102 EMACS_INT lim, EMACS_INT lim_byte, EMACS_INT n,
1103 int RE, Lisp_Object trt, Lisp_Object inverse_trt, int posix)
1105 EMACS_INT len = SCHARS (string);
1106 EMACS_INT len_byte = SBYTES (string);
1107 register int i;
1109 if (running_asynch_code)
1110 save_search_regs ();
1112 /* Searching 0 times means don't move. */
1113 /* Null string is found at starting position. */
1114 if (len == 0 || n == 0)
1116 set_search_regs (pos_byte, 0);
1117 return pos;
1120 if (RE && !(trivial_regexp_p (string) && NILP (Vsearch_spaces_regexp)))
1122 unsigned char *p1, *p2;
1123 EMACS_INT s1, s2;
1124 struct re_pattern_buffer *bufp;
1126 bufp = compile_pattern (string,
1127 (NILP (Vinhibit_changing_match_data)
1128 ? &search_regs : &search_regs_1),
1129 trt, posix,
1130 !NILP (BVAR (current_buffer, enable_multibyte_characters)));
1132 immediate_quit = 1; /* Quit immediately if user types ^G,
1133 because letting this function finish
1134 can take too long. */
1135 QUIT; /* Do a pending quit right away,
1136 to avoid paradoxical behavior */
1137 /* Get pointers and sizes of the two strings
1138 that make up the visible portion of the buffer. */
1140 p1 = BEGV_ADDR;
1141 s1 = GPT_BYTE - BEGV_BYTE;
1142 p2 = GAP_END_ADDR;
1143 s2 = ZV_BYTE - GPT_BYTE;
1144 if (s1 < 0)
1146 p2 = p1;
1147 s2 = ZV_BYTE - BEGV_BYTE;
1148 s1 = 0;
1150 if (s2 < 0)
1152 s1 = ZV_BYTE - BEGV_BYTE;
1153 s2 = 0;
1155 re_match_object = Qnil;
1157 while (n < 0)
1159 EMACS_INT val;
1160 val = re_search_2 (bufp, (char *) p1, s1, (char *) p2, s2,
1161 pos_byte - BEGV_BYTE, lim_byte - pos_byte,
1162 (NILP (Vinhibit_changing_match_data)
1163 ? &search_regs : &search_regs_1),
1164 /* Don't allow match past current point */
1165 pos_byte - BEGV_BYTE);
1166 if (val == -2)
1168 matcher_overflow ();
1170 if (val >= 0)
1172 if (NILP (Vinhibit_changing_match_data))
1174 pos_byte = search_regs.start[0] + BEGV_BYTE;
1175 for (i = 0; i < search_regs.num_regs; i++)
1176 if (search_regs.start[i] >= 0)
1178 search_regs.start[i]
1179 = BYTE_TO_CHAR (search_regs.start[i] + BEGV_BYTE);
1180 search_regs.end[i]
1181 = BYTE_TO_CHAR (search_regs.end[i] + BEGV_BYTE);
1183 XSETBUFFER (last_thing_searched, current_buffer);
1184 /* Set pos to the new position. */
1185 pos = search_regs.start[0];
1187 else
1189 pos_byte = search_regs_1.start[0] + BEGV_BYTE;
1190 /* Set pos to the new position. */
1191 pos = BYTE_TO_CHAR (search_regs_1.start[0] + BEGV_BYTE);
1194 else
1196 immediate_quit = 0;
1197 return (n);
1199 n++;
1201 while (n > 0)
1203 EMACS_INT val;
1204 val = re_search_2 (bufp, (char *) p1, s1, (char *) p2, s2,
1205 pos_byte - BEGV_BYTE, lim_byte - pos_byte,
1206 (NILP (Vinhibit_changing_match_data)
1207 ? &search_regs : &search_regs_1),
1208 lim_byte - BEGV_BYTE);
1209 if (val == -2)
1211 matcher_overflow ();
1213 if (val >= 0)
1215 if (NILP (Vinhibit_changing_match_data))
1217 pos_byte = search_regs.end[0] + BEGV_BYTE;
1218 for (i = 0; i < search_regs.num_regs; i++)
1219 if (search_regs.start[i] >= 0)
1221 search_regs.start[i]
1222 = BYTE_TO_CHAR (search_regs.start[i] + BEGV_BYTE);
1223 search_regs.end[i]
1224 = BYTE_TO_CHAR (search_regs.end[i] + BEGV_BYTE);
1226 XSETBUFFER (last_thing_searched, current_buffer);
1227 pos = search_regs.end[0];
1229 else
1231 pos_byte = search_regs_1.end[0] + BEGV_BYTE;
1232 pos = BYTE_TO_CHAR (search_regs_1.end[0] + BEGV_BYTE);
1235 else
1237 immediate_quit = 0;
1238 return (0 - n);
1240 n--;
1242 immediate_quit = 0;
1243 return (pos);
1245 else /* non-RE case */
1247 unsigned char *raw_pattern, *pat;
1248 EMACS_INT raw_pattern_size;
1249 EMACS_INT raw_pattern_size_byte;
1250 unsigned char *patbuf;
1251 int multibyte = !NILP (BVAR (current_buffer, enable_multibyte_characters));
1252 unsigned char *base_pat;
1253 /* Set to positive if we find a non-ASCII char that need
1254 translation. Otherwise set to zero later. */
1255 int char_base = -1;
1256 int boyer_moore_ok = 1;
1258 /* MULTIBYTE says whether the text to be searched is multibyte.
1259 We must convert PATTERN to match that, or we will not really
1260 find things right. */
1262 if (multibyte == STRING_MULTIBYTE (string))
1264 raw_pattern = SDATA (string);
1265 raw_pattern_size = SCHARS (string);
1266 raw_pattern_size_byte = SBYTES (string);
1268 else if (multibyte)
1270 raw_pattern_size = SCHARS (string);
1271 raw_pattern_size_byte
1272 = count_size_as_multibyte (SDATA (string),
1273 raw_pattern_size);
1274 raw_pattern = (unsigned char *) alloca (raw_pattern_size_byte + 1);
1275 copy_text (SDATA (string), raw_pattern,
1276 SCHARS (string), 0, 1);
1278 else
1280 /* Converting multibyte to single-byte.
1282 ??? Perhaps this conversion should be done in a special way
1283 by subtracting nonascii-insert-offset from each non-ASCII char,
1284 so that only the multibyte chars which really correspond to
1285 the chosen single-byte character set can possibly match. */
1286 raw_pattern_size = SCHARS (string);
1287 raw_pattern_size_byte = SCHARS (string);
1288 raw_pattern = (unsigned char *) alloca (raw_pattern_size + 1);
1289 copy_text (SDATA (string), raw_pattern,
1290 SBYTES (string), 1, 0);
1293 /* Copy and optionally translate the pattern. */
1294 len = raw_pattern_size;
1295 len_byte = raw_pattern_size_byte;
1296 patbuf = (unsigned char *) alloca (len * MAX_MULTIBYTE_LENGTH);
1297 pat = patbuf;
1298 base_pat = raw_pattern;
1299 if (multibyte)
1301 /* Fill patbuf by translated characters in STRING while
1302 checking if we can use boyer-moore search. If TRT is
1303 non-nil, we can use boyer-moore search only if TRT can be
1304 represented by the byte array of 256 elements. For that,
1305 all non-ASCII case-equivalents of all case-sensitive
1306 characters in STRING must belong to the same charset and
1307 row. */
1309 while (--len >= 0)
1311 unsigned char str_base[MAX_MULTIBYTE_LENGTH], *str;
1312 int c, translated, inverse;
1313 int in_charlen, charlen;
1315 /* If we got here and the RE flag is set, it's because we're
1316 dealing with a regexp known to be trivial, so the backslash
1317 just quotes the next character. */
1318 if (RE && *base_pat == '\\')
1320 len--;
1321 raw_pattern_size--;
1322 len_byte--;
1323 base_pat++;
1326 c = STRING_CHAR_AND_LENGTH (base_pat, in_charlen);
1328 if (NILP (trt))
1330 str = base_pat;
1331 charlen = in_charlen;
1333 else
1335 /* Translate the character. */
1336 TRANSLATE (translated, trt, c);
1337 charlen = CHAR_STRING (translated, str_base);
1338 str = str_base;
1340 /* Check if C has any other case-equivalents. */
1341 TRANSLATE (inverse, inverse_trt, c);
1342 /* If so, check if we can use boyer-moore. */
1343 if (c != inverse && boyer_moore_ok)
1345 /* Check if all equivalents belong to the same
1346 group of characters. Note that the check of C
1347 itself is done by the last iteration. */
1348 int this_char_base = -1;
1350 while (boyer_moore_ok)
1352 if (ASCII_BYTE_P (inverse))
1354 if (this_char_base > 0)
1355 boyer_moore_ok = 0;
1356 else
1357 this_char_base = 0;
1359 else if (CHAR_BYTE8_P (inverse))
1360 /* Boyer-moore search can't handle a
1361 translation of an eight-bit
1362 character. */
1363 boyer_moore_ok = 0;
1364 else if (this_char_base < 0)
1366 this_char_base = inverse & ~0x3F;
1367 if (char_base < 0)
1368 char_base = this_char_base;
1369 else if (this_char_base != char_base)
1370 boyer_moore_ok = 0;
1372 else if ((inverse & ~0x3F) != this_char_base)
1373 boyer_moore_ok = 0;
1374 if (c == inverse)
1375 break;
1376 TRANSLATE (inverse, inverse_trt, inverse);
1381 /* Store this character into the translated pattern. */
1382 memcpy (pat, str, charlen);
1383 pat += charlen;
1384 base_pat += in_charlen;
1385 len_byte -= in_charlen;
1388 /* If char_base is still negative we didn't find any translated
1389 non-ASCII characters. */
1390 if (char_base < 0)
1391 char_base = 0;
1393 else
1395 /* Unibyte buffer. */
1396 char_base = 0;
1397 while (--len >= 0)
1399 int c, translated;
1401 /* If we got here and the RE flag is set, it's because we're
1402 dealing with a regexp known to be trivial, so the backslash
1403 just quotes the next character. */
1404 if (RE && *base_pat == '\\')
1406 len--;
1407 raw_pattern_size--;
1408 base_pat++;
1410 c = *base_pat++;
1411 TRANSLATE (translated, trt, c);
1412 *pat++ = translated;
1416 len_byte = pat - patbuf;
1417 pat = base_pat = patbuf;
1419 if (boyer_moore_ok)
1420 return boyer_moore (n, pat, len_byte, trt, inverse_trt,
1421 pos_byte, lim_byte,
1422 char_base);
1423 else
1424 return simple_search (n, pat, raw_pattern_size, len_byte, trt,
1425 pos, pos_byte, lim, lim_byte);
1429 /* Do a simple string search N times for the string PAT,
1430 whose length is LEN/LEN_BYTE,
1431 from buffer position POS/POS_BYTE until LIM/LIM_BYTE.
1432 TRT is the translation table.
1434 Return the character position where the match is found.
1435 Otherwise, if M matches remained to be found, return -M.
1437 This kind of search works regardless of what is in PAT and
1438 regardless of what is in TRT. It is used in cases where
1439 boyer_moore cannot work. */
1441 static EMACS_INT
1442 simple_search (EMACS_INT n, unsigned char *pat,
1443 EMACS_INT len, EMACS_INT len_byte, Lisp_Object trt,
1444 EMACS_INT pos, EMACS_INT pos_byte,
1445 EMACS_INT lim, EMACS_INT lim_byte)
1447 int multibyte = ! NILP (BVAR (current_buffer, enable_multibyte_characters));
1448 int forward = n > 0;
1449 /* Number of buffer bytes matched. Note that this may be different
1450 from len_byte in a multibyte buffer. */
1451 EMACS_INT match_byte;
1453 if (lim > pos && multibyte)
1454 while (n > 0)
1456 while (1)
1458 /* Try matching at position POS. */
1459 EMACS_INT this_pos = pos;
1460 EMACS_INT this_pos_byte = pos_byte;
1461 EMACS_INT this_len = len;
1462 unsigned char *p = pat;
1463 if (pos + len > lim || pos_byte + len_byte > lim_byte)
1464 goto stop;
1466 while (this_len > 0)
1468 int charlen, buf_charlen;
1469 int pat_ch, buf_ch;
1471 pat_ch = STRING_CHAR_AND_LENGTH (p, charlen);
1472 buf_ch = STRING_CHAR_AND_LENGTH (BYTE_POS_ADDR (this_pos_byte),
1473 buf_charlen);
1474 TRANSLATE (buf_ch, trt, buf_ch);
1476 if (buf_ch != pat_ch)
1477 break;
1479 this_len--;
1480 p += charlen;
1482 this_pos_byte += buf_charlen;
1483 this_pos++;
1486 if (this_len == 0)
1488 match_byte = this_pos_byte - pos_byte;
1489 pos += len;
1490 pos_byte += match_byte;
1491 break;
1494 INC_BOTH (pos, pos_byte);
1497 n--;
1499 else if (lim > pos)
1500 while (n > 0)
1502 while (1)
1504 /* Try matching at position POS. */
1505 EMACS_INT this_pos = pos;
1506 EMACS_INT this_len = len;
1507 unsigned char *p = pat;
1509 if (pos + len > lim)
1510 goto stop;
1512 while (this_len > 0)
1514 int pat_ch = *p++;
1515 int buf_ch = FETCH_BYTE (this_pos);
1516 TRANSLATE (buf_ch, trt, buf_ch);
1518 if (buf_ch != pat_ch)
1519 break;
1521 this_len--;
1522 this_pos++;
1525 if (this_len == 0)
1527 match_byte = len;
1528 pos += len;
1529 break;
1532 pos++;
1535 n--;
1537 /* Backwards search. */
1538 else if (lim < pos && multibyte)
1539 while (n < 0)
1541 while (1)
1543 /* Try matching at position POS. */
1544 EMACS_INT this_pos = pos;
1545 EMACS_INT this_pos_byte = pos_byte;
1546 EMACS_INT this_len = len;
1547 const unsigned char *p = pat + len_byte;
1549 if (this_pos - len < lim || (pos_byte - len_byte) < lim_byte)
1550 goto stop;
1552 while (this_len > 0)
1554 int pat_ch, buf_ch;
1556 DEC_BOTH (this_pos, this_pos_byte);
1557 PREV_CHAR_BOUNDARY (p, pat);
1558 pat_ch = STRING_CHAR (p);
1559 buf_ch = STRING_CHAR (BYTE_POS_ADDR (this_pos_byte));
1560 TRANSLATE (buf_ch, trt, buf_ch);
1562 if (buf_ch != pat_ch)
1563 break;
1565 this_len--;
1568 if (this_len == 0)
1570 match_byte = pos_byte - this_pos_byte;
1571 pos = this_pos;
1572 pos_byte = this_pos_byte;
1573 break;
1576 DEC_BOTH (pos, pos_byte);
1579 n++;
1581 else if (lim < pos)
1582 while (n < 0)
1584 while (1)
1586 /* Try matching at position POS. */
1587 EMACS_INT this_pos = pos - len;
1588 EMACS_INT this_len = len;
1589 unsigned char *p = pat;
1591 if (this_pos < lim)
1592 goto stop;
1594 while (this_len > 0)
1596 int pat_ch = *p++;
1597 int buf_ch = FETCH_BYTE (this_pos);
1598 TRANSLATE (buf_ch, trt, buf_ch);
1600 if (buf_ch != pat_ch)
1601 break;
1602 this_len--;
1603 this_pos++;
1606 if (this_len == 0)
1608 match_byte = len;
1609 pos -= len;
1610 break;
1613 pos--;
1616 n++;
1619 stop:
1620 if (n == 0)
1622 if (forward)
1623 set_search_regs ((multibyte ? pos_byte : pos) - match_byte, match_byte);
1624 else
1625 set_search_regs (multibyte ? pos_byte : pos, match_byte);
1627 return pos;
1629 else if (n > 0)
1630 return -n;
1631 else
1632 return n;
1635 /* Do Boyer-Moore search N times for the string BASE_PAT,
1636 whose length is LEN_BYTE,
1637 from buffer position POS_BYTE until LIM_BYTE.
1638 DIRECTION says which direction we search in.
1639 TRT and INVERSE_TRT are translation tables.
1640 Characters in PAT are already translated by TRT.
1642 This kind of search works if all the characters in BASE_PAT that
1643 have nontrivial translation are the same aside from the last byte.
1644 This makes it possible to translate just the last byte of a
1645 character, and do so after just a simple test of the context.
1646 CHAR_BASE is nonzero if there is such a non-ASCII character.
1648 If that criterion is not satisfied, do not call this function. */
1650 static EMACS_INT
1651 boyer_moore (EMACS_INT n, unsigned char *base_pat,
1652 EMACS_INT len_byte,
1653 Lisp_Object trt, Lisp_Object inverse_trt,
1654 EMACS_INT pos_byte, EMACS_INT lim_byte,
1655 int char_base)
1657 int direction = ((n > 0) ? 1 : -1);
1658 register EMACS_INT dirlen;
1659 EMACS_INT limit;
1660 int stride_for_teases = 0;
1661 int BM_tab[0400];
1662 register unsigned char *cursor, *p_limit;
1663 register EMACS_INT i;
1664 register int j;
1665 unsigned char *pat, *pat_end;
1666 int multibyte = ! NILP (BVAR (current_buffer, enable_multibyte_characters));
1668 unsigned char simple_translate[0400];
1669 /* These are set to the preceding bytes of a byte to be translated
1670 if char_base is nonzero. As the maximum byte length of a
1671 multibyte character is 5, we have to check at most four previous
1672 bytes. */
1673 int translate_prev_byte1 = 0;
1674 int translate_prev_byte2 = 0;
1675 int translate_prev_byte3 = 0;
1677 /* The general approach is that we are going to maintain that we know
1678 the first (closest to the present position, in whatever direction
1679 we're searching) character that could possibly be the last
1680 (furthest from present position) character of a valid match. We
1681 advance the state of our knowledge by looking at that character
1682 and seeing whether it indeed matches the last character of the
1683 pattern. If it does, we take a closer look. If it does not, we
1684 move our pointer (to putative last characters) as far as is
1685 logically possible. This amount of movement, which I call a
1686 stride, will be the length of the pattern if the actual character
1687 appears nowhere in the pattern, otherwise it will be the distance
1688 from the last occurrence of that character to the end of the
1689 pattern. If the amount is zero we have a possible match. */
1691 /* Here we make a "mickey mouse" BM table. The stride of the search
1692 is determined only by the last character of the putative match.
1693 If that character does not match, we will stride the proper
1694 distance to propose a match that superimposes it on the last
1695 instance of a character that matches it (per trt), or misses
1696 it entirely if there is none. */
1698 dirlen = len_byte * direction;
1700 /* Record position after the end of the pattern. */
1701 pat_end = base_pat + len_byte;
1702 /* BASE_PAT points to a character that we start scanning from.
1703 It is the first character in a forward search,
1704 the last character in a backward search. */
1705 if (direction < 0)
1706 base_pat = pat_end - 1;
1708 /* A character that does not appear in the pattern induces a
1709 stride equal to the pattern length. */
1710 for (i = 0; i < 0400; i++)
1711 BM_tab[i] = dirlen;
1713 /* We use this for translation, instead of TRT itself.
1714 We fill this in to handle the characters that actually
1715 occur in the pattern. Others don't matter anyway! */
1716 for (i = 0; i < 0400; i++)
1717 simple_translate[i] = i;
1719 if (char_base)
1721 /* Setup translate_prev_byte1/2/3/4 from CHAR_BASE. Only a
1722 byte following them are the target of translation. */
1723 unsigned char str[MAX_MULTIBYTE_LENGTH];
1724 int cblen = CHAR_STRING (char_base, str);
1726 translate_prev_byte1 = str[cblen - 2];
1727 if (cblen > 2)
1729 translate_prev_byte2 = str[cblen - 3];
1730 if (cblen > 3)
1731 translate_prev_byte3 = str[cblen - 4];
1735 i = 0;
1736 while (i != dirlen)
1738 unsigned char *ptr = base_pat + i;
1739 i += direction;
1740 if (! NILP (trt))
1742 /* If the byte currently looking at is the last of a
1743 character to check case-equivalents, set CH to that
1744 character. An ASCII character and a non-ASCII character
1745 matching with CHAR_BASE are to be checked. */
1746 int ch = -1;
1748 if (ASCII_BYTE_P (*ptr) || ! multibyte)
1749 ch = *ptr;
1750 else if (char_base
1751 && ((pat_end - ptr) == 1 || CHAR_HEAD_P (ptr[1])))
1753 unsigned char *charstart = ptr - 1;
1755 while (! (CHAR_HEAD_P (*charstart)))
1756 charstart--;
1757 ch = STRING_CHAR (charstart);
1758 if (char_base != (ch & ~0x3F))
1759 ch = -1;
1762 if (ch >= 0200 && multibyte)
1763 j = (ch & 0x3F) | 0200;
1764 else
1765 j = *ptr;
1767 if (i == dirlen)
1768 stride_for_teases = BM_tab[j];
1770 BM_tab[j] = dirlen - i;
1771 /* A translation table is accompanied by its inverse -- see
1772 comment following downcase_table for details. */
1773 if (ch >= 0)
1775 int starting_ch = ch;
1776 int starting_j = j;
1778 while (1)
1780 TRANSLATE (ch, inverse_trt, ch);
1781 if (ch >= 0200 && multibyte)
1782 j = (ch & 0x3F) | 0200;
1783 else
1784 j = ch;
1786 /* For all the characters that map into CH,
1787 set up simple_translate to map the last byte
1788 into STARTING_J. */
1789 simple_translate[j] = starting_j;
1790 if (ch == starting_ch)
1791 break;
1792 BM_tab[j] = dirlen - i;
1796 else
1798 j = *ptr;
1800 if (i == dirlen)
1801 stride_for_teases = BM_tab[j];
1802 BM_tab[j] = dirlen - i;
1804 /* stride_for_teases tells how much to stride if we get a
1805 match on the far character but are subsequently
1806 disappointed, by recording what the stride would have been
1807 for that character if the last character had been
1808 different. */
1810 pos_byte += dirlen - ((direction > 0) ? direction : 0);
1811 /* loop invariant - POS_BYTE points at where last char (first
1812 char if reverse) of pattern would align in a possible match. */
1813 while (n != 0)
1815 EMACS_INT tail_end;
1816 unsigned char *tail_end_ptr;
1818 /* It's been reported that some (broken) compiler thinks that
1819 Boolean expressions in an arithmetic context are unsigned.
1820 Using an explicit ?1:0 prevents this. */
1821 if ((lim_byte - pos_byte - ((direction > 0) ? 1 : 0)) * direction
1822 < 0)
1823 return (n * (0 - direction));
1824 /* First we do the part we can by pointers (maybe nothing) */
1825 QUIT;
1826 pat = base_pat;
1827 limit = pos_byte - dirlen + direction;
1828 if (direction > 0)
1830 limit = BUFFER_CEILING_OF (limit);
1831 /* LIMIT is now the last (not beyond-last!) value POS_BYTE
1832 can take on without hitting edge of buffer or the gap. */
1833 limit = min (limit, pos_byte + 20000);
1834 limit = min (limit, lim_byte - 1);
1836 else
1838 limit = BUFFER_FLOOR_OF (limit);
1839 /* LIMIT is now the last (not beyond-last!) value POS_BYTE
1840 can take on without hitting edge of buffer or the gap. */
1841 limit = max (limit, pos_byte - 20000);
1842 limit = max (limit, lim_byte);
1844 tail_end = BUFFER_CEILING_OF (pos_byte) + 1;
1845 tail_end_ptr = BYTE_POS_ADDR (tail_end);
1847 if ((limit - pos_byte) * direction > 20)
1849 unsigned char *p2;
1851 p_limit = BYTE_POS_ADDR (limit);
1852 p2 = (cursor = BYTE_POS_ADDR (pos_byte));
1853 /* In this loop, pos + cursor - p2 is the surrogate for pos. */
1854 while (1) /* use one cursor setting as long as i can */
1856 if (direction > 0) /* worth duplicating */
1858 while (cursor <= p_limit)
1860 if (BM_tab[*cursor] == 0)
1861 goto hit;
1862 cursor += BM_tab[*cursor];
1865 else
1867 while (cursor >= p_limit)
1869 if (BM_tab[*cursor] == 0)
1870 goto hit;
1871 cursor += BM_tab[*cursor];
1874 /* If you are here, cursor is beyond the end of the
1875 searched region. You fail to match within the
1876 permitted region and would otherwise try a character
1877 beyond that region. */
1878 break;
1880 hit:
1881 i = dirlen - direction;
1882 if (! NILP (trt))
1884 while ((i -= direction) + direction != 0)
1886 int ch;
1887 cursor -= direction;
1888 /* Translate only the last byte of a character. */
1889 if (! multibyte
1890 || ((cursor == tail_end_ptr
1891 || CHAR_HEAD_P (cursor[1]))
1892 && (CHAR_HEAD_P (cursor[0])
1893 /* Check if this is the last byte of
1894 a translatable character. */
1895 || (translate_prev_byte1 == cursor[-1]
1896 && (CHAR_HEAD_P (translate_prev_byte1)
1897 || (translate_prev_byte2 == cursor[-2]
1898 && (CHAR_HEAD_P (translate_prev_byte2)
1899 || (translate_prev_byte3 == cursor[-3]))))))))
1900 ch = simple_translate[*cursor];
1901 else
1902 ch = *cursor;
1903 if (pat[i] != ch)
1904 break;
1907 else
1909 while ((i -= direction) + direction != 0)
1911 cursor -= direction;
1912 if (pat[i] != *cursor)
1913 break;
1916 cursor += dirlen - i - direction; /* fix cursor */
1917 if (i + direction == 0)
1919 EMACS_INT position, start, end;
1921 cursor -= direction;
1923 position = pos_byte + cursor - p2 + ((direction > 0)
1924 ? 1 - len_byte : 0);
1925 set_search_regs (position, len_byte);
1927 if (NILP (Vinhibit_changing_match_data))
1929 start = search_regs.start[0];
1930 end = search_regs.end[0];
1932 else
1933 /* If Vinhibit_changing_match_data is non-nil,
1934 search_regs will not be changed. So let's
1935 compute start and end here. */
1937 start = BYTE_TO_CHAR (position);
1938 end = BYTE_TO_CHAR (position + len_byte);
1941 if ((n -= direction) != 0)
1942 cursor += dirlen; /* to resume search */
1943 else
1944 return direction > 0 ? end : start;
1946 else
1947 cursor += stride_for_teases; /* <sigh> we lose - */
1949 pos_byte += cursor - p2;
1951 else
1952 /* Now we'll pick up a clump that has to be done the hard
1953 way because it covers a discontinuity. */
1955 limit = ((direction > 0)
1956 ? BUFFER_CEILING_OF (pos_byte - dirlen + 1)
1957 : BUFFER_FLOOR_OF (pos_byte - dirlen - 1));
1958 limit = ((direction > 0)
1959 ? min (limit + len_byte, lim_byte - 1)
1960 : max (limit - len_byte, lim_byte));
1961 /* LIMIT is now the last value POS_BYTE can have
1962 and still be valid for a possible match. */
1963 while (1)
1965 /* This loop can be coded for space rather than
1966 speed because it will usually run only once.
1967 (the reach is at most len + 21, and typically
1968 does not exceed len). */
1969 while ((limit - pos_byte) * direction >= 0)
1971 int ch = FETCH_BYTE (pos_byte);
1972 if (BM_tab[ch] == 0)
1973 goto hit2;
1974 pos_byte += BM_tab[ch];
1976 break; /* ran off the end */
1978 hit2:
1979 /* Found what might be a match. */
1980 i = dirlen - direction;
1981 while ((i -= direction) + direction != 0)
1983 int ch;
1984 unsigned char *ptr;
1985 pos_byte -= direction;
1986 ptr = BYTE_POS_ADDR (pos_byte);
1987 /* Translate only the last byte of a character. */
1988 if (! multibyte
1989 || ((ptr == tail_end_ptr
1990 || CHAR_HEAD_P (ptr[1]))
1991 && (CHAR_HEAD_P (ptr[0])
1992 /* Check if this is the last byte of a
1993 translatable character. */
1994 || (translate_prev_byte1 == ptr[-1]
1995 && (CHAR_HEAD_P (translate_prev_byte1)
1996 || (translate_prev_byte2 == ptr[-2]
1997 && (CHAR_HEAD_P (translate_prev_byte2)
1998 || translate_prev_byte3 == ptr[-3])))))))
1999 ch = simple_translate[*ptr];
2000 else
2001 ch = *ptr;
2002 if (pat[i] != ch)
2003 break;
2005 /* Above loop has moved POS_BYTE part or all the way
2006 back to the first pos (last pos if reverse).
2007 Set it once again at the last (first if reverse) char. */
2008 pos_byte += dirlen - i - direction;
2009 if (i + direction == 0)
2011 EMACS_INT position, start, end;
2012 pos_byte -= direction;
2014 position = pos_byte + ((direction > 0) ? 1 - len_byte : 0);
2015 set_search_regs (position, len_byte);
2017 if (NILP (Vinhibit_changing_match_data))
2019 start = search_regs.start[0];
2020 end = search_regs.end[0];
2022 else
2023 /* If Vinhibit_changing_match_data is non-nil,
2024 search_regs will not be changed. So let's
2025 compute start and end here. */
2027 start = BYTE_TO_CHAR (position);
2028 end = BYTE_TO_CHAR (position + len_byte);
2031 if ((n -= direction) != 0)
2032 pos_byte += dirlen; /* to resume search */
2033 else
2034 return direction > 0 ? end : start;
2036 else
2037 pos_byte += stride_for_teases;
2040 /* We have done one clump. Can we continue? */
2041 if ((lim_byte - pos_byte) * direction < 0)
2042 return ((0 - n) * direction);
2044 return BYTE_TO_CHAR (pos_byte);
2047 /* Record beginning BEG_BYTE and end BEG_BYTE + NBYTES
2048 for the overall match just found in the current buffer.
2049 Also clear out the match data for registers 1 and up. */
2051 static void
2052 set_search_regs (EMACS_INT beg_byte, EMACS_INT nbytes)
2054 int i;
2056 if (!NILP (Vinhibit_changing_match_data))
2057 return;
2059 /* Make sure we have registers in which to store
2060 the match position. */
2061 if (search_regs.num_regs == 0)
2063 search_regs.start = (regoff_t *) xmalloc (2 * sizeof (regoff_t));
2064 search_regs.end = (regoff_t *) xmalloc (2 * sizeof (regoff_t));
2065 search_regs.num_regs = 2;
2068 /* Clear out the other registers. */
2069 for (i = 1; i < search_regs.num_regs; i++)
2071 search_regs.start[i] = -1;
2072 search_regs.end[i] = -1;
2075 search_regs.start[0] = BYTE_TO_CHAR (beg_byte);
2076 search_regs.end[0] = BYTE_TO_CHAR (beg_byte + nbytes);
2077 XSETBUFFER (last_thing_searched, current_buffer);
2080 DEFUN ("word-search-regexp", Fword_search_regexp, Sword_search_regexp, 1, 2, 0,
2081 doc: /* Return a regexp which matches words, ignoring punctuation.
2082 Given STRING, a string of words separated by word delimiters,
2083 compute a regexp that matches those exact words separated by
2084 arbitrary punctuation. If LAX is non-nil, the end of the string
2085 need not match a word boundary unless it ends in whitespace.
2087 Used in `word-search-forward', `word-search-backward',
2088 `word-search-forward-lax', `word-search-backward-lax'. */)
2089 (Lisp_Object string, Lisp_Object lax)
2091 register unsigned char *o;
2092 register EMACS_INT i, i_byte, len, punct_count = 0, word_count = 0;
2093 Lisp_Object val;
2094 int prev_c = 0;
2095 EMACS_INT adjust;
2096 int whitespace_at_end;
2098 CHECK_STRING (string);
2099 len = SCHARS (string);
2101 for (i = 0, i_byte = 0; i < len; )
2103 int c;
2105 FETCH_STRING_CHAR_AS_MULTIBYTE_ADVANCE (c, string, i, i_byte);
2107 if (SYNTAX (c) != Sword)
2109 punct_count++;
2110 if (SYNTAX (prev_c) == Sword)
2111 word_count++;
2114 prev_c = c;
2117 if (SYNTAX (prev_c) == Sword)
2119 word_count++;
2120 whitespace_at_end = 0;
2122 else
2124 whitespace_at_end = 1;
2125 if (!word_count)
2126 return empty_unibyte_string;
2129 adjust = - punct_count + 5 * (word_count - 1)
2130 + ((!NILP (lax) && !whitespace_at_end) ? 2 : 4);
2131 if (STRING_MULTIBYTE (string))
2132 val = make_uninit_multibyte_string (len + adjust,
2133 SBYTES (string)
2134 + adjust);
2135 else
2136 val = make_uninit_string (len + adjust);
2138 o = SDATA (val);
2139 *o++ = '\\';
2140 *o++ = 'b';
2141 prev_c = 0;
2143 for (i = 0, i_byte = 0; i < len; )
2145 int c;
2146 EMACS_INT i_byte_orig = i_byte;
2148 FETCH_STRING_CHAR_AS_MULTIBYTE_ADVANCE (c, string, i, i_byte);
2150 if (SYNTAX (c) == Sword)
2152 memcpy (o, SDATA (string) + i_byte_orig, i_byte - i_byte_orig);
2153 o += i_byte - i_byte_orig;
2155 else if (SYNTAX (prev_c) == Sword && --word_count)
2157 *o++ = '\\';
2158 *o++ = 'W';
2159 *o++ = '\\';
2160 *o++ = 'W';
2161 *o++ = '*';
2164 prev_c = c;
2167 if (NILP (lax) || whitespace_at_end)
2169 *o++ = '\\';
2170 *o++ = 'b';
2173 return val;
2176 DEFUN ("search-backward", Fsearch_backward, Ssearch_backward, 1, 4,
2177 "MSearch backward: ",
2178 doc: /* Search backward from point for STRING.
2179 Set point to the beginning of the occurrence found, and return point.
2180 An optional second argument bounds the search; it is a buffer position.
2181 The match found must not extend before that position.
2182 Optional third argument, if t, means if fail just return nil (no error).
2183 If not nil and not t, position at limit of search and return nil.
2184 Optional fourth argument is repeat count--search for successive occurrences.
2186 Search case-sensitivity is determined by the value of the variable
2187 `case-fold-search', which see.
2189 See also the functions `match-beginning', `match-end' and `replace-match'. */)
2190 (Lisp_Object string, Lisp_Object bound, Lisp_Object noerror, Lisp_Object count)
2192 return search_command (string, bound, noerror, count, -1, 0, 0);
2195 DEFUN ("search-forward", Fsearch_forward, Ssearch_forward, 1, 4, "MSearch: ",
2196 doc: /* Search forward from point for STRING.
2197 Set point to the end of the occurrence found, and return point.
2198 An optional second argument bounds the search; it is a buffer position.
2199 The match found must not extend after that position. A value of nil is
2200 equivalent to (point-max).
2201 Optional third argument, if t, means if fail just return nil (no error).
2202 If not nil and not t, move to limit of search and return nil.
2203 Optional fourth argument is repeat count--search for successive occurrences.
2205 Search case-sensitivity is determined by the value of the variable
2206 `case-fold-search', which see.
2208 See also the functions `match-beginning', `match-end' and `replace-match'. */)
2209 (Lisp_Object string, Lisp_Object bound, Lisp_Object noerror, Lisp_Object count)
2211 return search_command (string, bound, noerror, count, 1, 0, 0);
2214 DEFUN ("word-search-backward", Fword_search_backward, Sword_search_backward, 1, 4,
2215 "sWord search backward: ",
2216 doc: /* Search backward from point for STRING, ignoring differences in punctuation.
2217 Set point to the beginning of the occurrence found, and return point.
2218 An optional second argument bounds the search; it is a buffer position.
2219 The match found must not extend before that position.
2220 Optional third argument, if t, means if fail just return nil (no error).
2221 If not nil and not t, move to limit of search and return nil.
2222 Optional fourth argument is repeat count--search for successive occurrences.
2224 Relies on the function `word-search-regexp' to convert a sequence
2225 of words in STRING to a regexp used to search words without regard
2226 to punctuation. */)
2227 (Lisp_Object string, Lisp_Object bound, Lisp_Object noerror, Lisp_Object count)
2229 return search_command (Fword_search_regexp (string, Qnil), bound, noerror, count, -1, 1, 0);
2232 DEFUN ("word-search-forward", Fword_search_forward, Sword_search_forward, 1, 4,
2233 "sWord search: ",
2234 doc: /* Search forward from point for STRING, ignoring differences in punctuation.
2235 Set point to the end of the occurrence found, and return point.
2236 An optional second argument bounds the search; it is a buffer position.
2237 The match found must not extend after that position.
2238 Optional third argument, if t, means if fail just return nil (no error).
2239 If not nil and not t, move to limit of search and return nil.
2240 Optional fourth argument is repeat count--search for successive occurrences.
2242 Relies on the function `word-search-regexp' to convert a sequence
2243 of words in STRING to a regexp used to search words without regard
2244 to punctuation. */)
2245 (Lisp_Object string, Lisp_Object bound, Lisp_Object noerror, Lisp_Object count)
2247 return search_command (Fword_search_regexp (string, Qnil), bound, noerror, count, 1, 1, 0);
2250 DEFUN ("word-search-backward-lax", Fword_search_backward_lax, Sword_search_backward_lax, 1, 4,
2251 "sWord search backward: ",
2252 doc: /* Search backward from point for STRING, ignoring differences in punctuation.
2253 Set point to the beginning of the occurrence found, and return point.
2255 Unlike `word-search-backward', the end of STRING need not match a word
2256 boundary unless it ends in whitespace.
2258 An optional second argument bounds the search; it is a buffer position.
2259 The match found must not extend before that position.
2260 Optional third argument, if t, means if fail just return nil (no error).
2261 If not nil and not t, move to limit of search and return nil.
2262 Optional fourth argument is repeat count--search for successive occurrences.
2264 Relies on the function `word-search-regexp' to convert a sequence
2265 of words in STRING to a regexp used to search words without regard
2266 to punctuation. */)
2267 (Lisp_Object string, Lisp_Object bound, Lisp_Object noerror, Lisp_Object count)
2269 return search_command (Fword_search_regexp (string, Qt), bound, noerror, count, -1, 1, 0);
2272 DEFUN ("word-search-forward-lax", Fword_search_forward_lax, Sword_search_forward_lax, 1, 4,
2273 "sWord search: ",
2274 doc: /* Search forward from point for STRING, ignoring differences in punctuation.
2275 Set point to the end of the occurrence found, and return point.
2277 Unlike `word-search-forward', the end of STRING need not match a word
2278 boundary unless it ends in whitespace.
2280 An optional second argument bounds the search; it is a buffer position.
2281 The match found must not extend after that position.
2282 Optional third argument, if t, means if fail just return nil (no error).
2283 If not nil and not t, move to limit of search and return nil.
2284 Optional fourth argument is repeat count--search for successive occurrences.
2286 Relies on the function `word-search-regexp' to convert a sequence
2287 of words in STRING to a regexp used to search words without regard
2288 to punctuation. */)
2289 (Lisp_Object string, Lisp_Object bound, Lisp_Object noerror, Lisp_Object count)
2291 return search_command (Fword_search_regexp (string, Qt), bound, noerror, count, 1, 1, 0);
2294 DEFUN ("re-search-backward", Fre_search_backward, Sre_search_backward, 1, 4,
2295 "sRE search backward: ",
2296 doc: /* Search backward from point for match for regular expression REGEXP.
2297 Set point to the beginning of the match, and return point.
2298 The match found is the one starting last in the buffer
2299 and yet ending before the origin of the search.
2300 An optional second argument bounds the search; it is a buffer position.
2301 The match found must start at or after that position.
2302 Optional third argument, if t, means if fail just return nil (no error).
2303 If not nil and not t, move to limit of search and return nil.
2304 Optional fourth argument is repeat count--search for successive occurrences.
2306 Search case-sensitivity is determined by the value of the variable
2307 `case-fold-search', which see.
2309 See also the functions `match-beginning', `match-end', `match-string',
2310 and `replace-match'. */)
2311 (Lisp_Object regexp, Lisp_Object bound, Lisp_Object noerror, Lisp_Object count)
2313 return search_command (regexp, bound, noerror, count, -1, 1, 0);
2316 DEFUN ("re-search-forward", Fre_search_forward, Sre_search_forward, 1, 4,
2317 "sRE search: ",
2318 doc: /* Search forward from point for regular expression REGEXP.
2319 Set point to the end of the occurrence found, and return point.
2320 An optional second argument bounds the search; it is a buffer position.
2321 The match found must not extend after that position.
2322 Optional third argument, if t, means if fail just return nil (no error).
2323 If not nil and not t, move to limit of search and return nil.
2324 Optional fourth argument is repeat count--search for successive occurrences.
2326 Search case-sensitivity is determined by the value of the variable
2327 `case-fold-search', which see.
2329 See also the functions `match-beginning', `match-end', `match-string',
2330 and `replace-match'. */)
2331 (Lisp_Object regexp, Lisp_Object bound, Lisp_Object noerror, Lisp_Object count)
2333 return search_command (regexp, bound, noerror, count, 1, 1, 0);
2336 DEFUN ("posix-search-backward", Fposix_search_backward, Sposix_search_backward, 1, 4,
2337 "sPosix search backward: ",
2338 doc: /* Search backward from point for match for regular expression REGEXP.
2339 Find the longest match in accord with Posix regular expression rules.
2340 Set point to the beginning of the match, and return point.
2341 The match found is the one starting last in the buffer
2342 and yet ending before the origin of the search.
2343 An optional second argument bounds the search; it is a buffer position.
2344 The match found must start at or after that position.
2345 Optional third argument, if t, means if fail just return nil (no error).
2346 If not nil and not t, move to limit of search and return nil.
2347 Optional fourth argument is repeat count--search for successive occurrences.
2349 Search case-sensitivity is determined by the value of the variable
2350 `case-fold-search', which see.
2352 See also the functions `match-beginning', `match-end', `match-string',
2353 and `replace-match'. */)
2354 (Lisp_Object regexp, Lisp_Object bound, Lisp_Object noerror, Lisp_Object count)
2356 return search_command (regexp, bound, noerror, count, -1, 1, 1);
2359 DEFUN ("posix-search-forward", Fposix_search_forward, Sposix_search_forward, 1, 4,
2360 "sPosix search: ",
2361 doc: /* Search forward from point for regular expression REGEXP.
2362 Find the longest match in accord with Posix regular expression rules.
2363 Set point to the end of the occurrence found, and return point.
2364 An optional second argument bounds the search; it is a buffer position.
2365 The match found must not extend after that position.
2366 Optional third argument, if t, means if fail just return nil (no error).
2367 If not nil and not t, move to limit of search and return nil.
2368 Optional fourth argument is repeat count--search for successive occurrences.
2370 Search case-sensitivity is determined by the value of the variable
2371 `case-fold-search', which see.
2373 See also the functions `match-beginning', `match-end', `match-string',
2374 and `replace-match'. */)
2375 (Lisp_Object regexp, Lisp_Object bound, Lisp_Object noerror, Lisp_Object count)
2377 return search_command (regexp, bound, noerror, count, 1, 1, 1);
2380 DEFUN ("replace-match", Freplace_match, Sreplace_match, 1, 5, 0,
2381 doc: /* Replace text matched by last search with NEWTEXT.
2382 Leave point at the end of the replacement text.
2384 If second arg FIXEDCASE is non-nil, do not alter case of replacement text.
2385 Otherwise maybe capitalize the whole text, or maybe just word initials,
2386 based on the replaced text.
2387 If the replaced text has only capital letters
2388 and has at least one multiletter word, convert NEWTEXT to all caps.
2389 Otherwise if all words are capitalized in the replaced text,
2390 capitalize each word in NEWTEXT.
2392 If third arg LITERAL is non-nil, insert NEWTEXT literally.
2393 Otherwise treat `\\' as special:
2394 `\\&' in NEWTEXT means substitute original matched text.
2395 `\\N' means substitute what matched the Nth `\\(...\\)'.
2396 If Nth parens didn't match, substitute nothing.
2397 `\\\\' means insert one `\\'.
2398 Case conversion does not apply to these substitutions.
2400 FIXEDCASE and LITERAL are optional arguments.
2402 The optional fourth argument STRING can be a string to modify.
2403 This is meaningful when the previous match was done against STRING,
2404 using `string-match'. When used this way, `replace-match'
2405 creates and returns a new string made by copying STRING and replacing
2406 the part of STRING that was matched.
2408 The optional fifth argument SUBEXP specifies a subexpression;
2409 it says to replace just that subexpression with NEWTEXT,
2410 rather than replacing the entire matched text.
2411 This is, in a vague sense, the inverse of using `\\N' in NEWTEXT;
2412 `\\N' copies subexp N into NEWTEXT, but using N as SUBEXP puts
2413 NEWTEXT in place of subexp N.
2414 This is useful only after a regular expression search or match,
2415 since only regular expressions have distinguished subexpressions. */)
2416 (Lisp_Object newtext, Lisp_Object fixedcase, Lisp_Object literal, Lisp_Object string, Lisp_Object subexp)
2418 enum { nochange, all_caps, cap_initial } case_action;
2419 register EMACS_INT pos, pos_byte;
2420 int some_multiletter_word;
2421 int some_lowercase;
2422 int some_uppercase;
2423 int some_nonuppercase_initial;
2424 register int c, prevc;
2425 ptrdiff_t sub;
2426 EMACS_INT opoint, newpoint;
2428 CHECK_STRING (newtext);
2430 if (! NILP (string))
2431 CHECK_STRING (string);
2433 case_action = nochange; /* We tried an initialization */
2434 /* but some C compilers blew it */
2436 if (search_regs.num_regs <= 0)
2437 error ("`replace-match' called before any match found");
2439 if (NILP (subexp))
2440 sub = 0;
2441 else
2443 CHECK_NUMBER (subexp);
2444 if (! (0 <= XINT (subexp) && XINT (subexp) < search_regs.num_regs))
2445 args_out_of_range (subexp, make_number (search_regs.num_regs));
2446 sub = XINT (subexp);
2449 if (NILP (string))
2451 if (search_regs.start[sub] < BEGV
2452 || search_regs.start[sub] > search_regs.end[sub]
2453 || search_regs.end[sub] > ZV)
2454 args_out_of_range (make_number (search_regs.start[sub]),
2455 make_number (search_regs.end[sub]));
2457 else
2459 if (search_regs.start[sub] < 0
2460 || search_regs.start[sub] > search_regs.end[sub]
2461 || search_regs.end[sub] > SCHARS (string))
2462 args_out_of_range (make_number (search_regs.start[sub]),
2463 make_number (search_regs.end[sub]));
2466 if (NILP (fixedcase))
2468 /* Decide how to casify by examining the matched text. */
2469 EMACS_INT last;
2471 pos = search_regs.start[sub];
2472 last = search_regs.end[sub];
2474 if (NILP (string))
2475 pos_byte = CHAR_TO_BYTE (pos);
2476 else
2477 pos_byte = string_char_to_byte (string, pos);
2479 prevc = '\n';
2480 case_action = all_caps;
2482 /* some_multiletter_word is set nonzero if any original word
2483 is more than one letter long. */
2484 some_multiletter_word = 0;
2485 some_lowercase = 0;
2486 some_nonuppercase_initial = 0;
2487 some_uppercase = 0;
2489 while (pos < last)
2491 if (NILP (string))
2493 c = FETCH_CHAR_AS_MULTIBYTE (pos_byte);
2494 INC_BOTH (pos, pos_byte);
2496 else
2497 FETCH_STRING_CHAR_AS_MULTIBYTE_ADVANCE (c, string, pos, pos_byte);
2499 if (lowercasep (c))
2501 /* Cannot be all caps if any original char is lower case */
2503 some_lowercase = 1;
2504 if (SYNTAX (prevc) != Sword)
2505 some_nonuppercase_initial = 1;
2506 else
2507 some_multiletter_word = 1;
2509 else if (uppercasep (c))
2511 some_uppercase = 1;
2512 if (SYNTAX (prevc) != Sword)
2514 else
2515 some_multiletter_word = 1;
2517 else
2519 /* If the initial is a caseless word constituent,
2520 treat that like a lowercase initial. */
2521 if (SYNTAX (prevc) != Sword)
2522 some_nonuppercase_initial = 1;
2525 prevc = c;
2528 /* Convert to all caps if the old text is all caps
2529 and has at least one multiletter word. */
2530 if (! some_lowercase && some_multiletter_word)
2531 case_action = all_caps;
2532 /* Capitalize each word, if the old text has all capitalized words. */
2533 else if (!some_nonuppercase_initial && some_multiletter_word)
2534 case_action = cap_initial;
2535 else if (!some_nonuppercase_initial && some_uppercase)
2536 /* Should x -> yz, operating on X, give Yz or YZ?
2537 We'll assume the latter. */
2538 case_action = all_caps;
2539 else
2540 case_action = nochange;
2543 /* Do replacement in a string. */
2544 if (!NILP (string))
2546 Lisp_Object before, after;
2548 before = Fsubstring (string, make_number (0),
2549 make_number (search_regs.start[sub]));
2550 after = Fsubstring (string, make_number (search_regs.end[sub]), Qnil);
2552 /* Substitute parts of the match into NEWTEXT
2553 if desired. */
2554 if (NILP (literal))
2556 EMACS_INT lastpos = 0;
2557 EMACS_INT lastpos_byte = 0;
2558 /* We build up the substituted string in ACCUM. */
2559 Lisp_Object accum;
2560 Lisp_Object middle;
2561 EMACS_INT length = SBYTES (newtext);
2563 accum = Qnil;
2565 for (pos_byte = 0, pos = 0; pos_byte < length;)
2567 EMACS_INT substart = -1;
2568 EMACS_INT subend = 0;
2569 int delbackslash = 0;
2571 FETCH_STRING_CHAR_ADVANCE (c, newtext, pos, pos_byte);
2573 if (c == '\\')
2575 FETCH_STRING_CHAR_ADVANCE (c, newtext, pos, pos_byte);
2577 if (c == '&')
2579 substart = search_regs.start[sub];
2580 subend = search_regs.end[sub];
2582 else if (c >= '1' && c <= '9')
2584 if (search_regs.start[c - '0'] >= 0
2585 && c <= search_regs.num_regs + '0')
2587 substart = search_regs.start[c - '0'];
2588 subend = search_regs.end[c - '0'];
2590 else
2592 /* If that subexp did not match,
2593 replace \\N with nothing. */
2594 substart = 0;
2595 subend = 0;
2598 else if (c == '\\')
2599 delbackslash = 1;
2600 else
2601 error ("Invalid use of `\\' in replacement text");
2603 if (substart >= 0)
2605 if (pos - 2 != lastpos)
2606 middle = substring_both (newtext, lastpos,
2607 lastpos_byte,
2608 pos - 2, pos_byte - 2);
2609 else
2610 middle = Qnil;
2611 accum = concat3 (accum, middle,
2612 Fsubstring (string,
2613 make_number (substart),
2614 make_number (subend)));
2615 lastpos = pos;
2616 lastpos_byte = pos_byte;
2618 else if (delbackslash)
2620 middle = substring_both (newtext, lastpos,
2621 lastpos_byte,
2622 pos - 1, pos_byte - 1);
2624 accum = concat2 (accum, middle);
2625 lastpos = pos;
2626 lastpos_byte = pos_byte;
2630 if (pos != lastpos)
2631 middle = substring_both (newtext, lastpos,
2632 lastpos_byte,
2633 pos, pos_byte);
2634 else
2635 middle = Qnil;
2637 newtext = concat2 (accum, middle);
2640 /* Do case substitution in NEWTEXT if desired. */
2641 if (case_action == all_caps)
2642 newtext = Fupcase (newtext);
2643 else if (case_action == cap_initial)
2644 newtext = Fupcase_initials (newtext);
2646 return concat3 (before, newtext, after);
2649 /* Record point, then move (quietly) to the start of the match. */
2650 if (PT >= search_regs.end[sub])
2651 opoint = PT - ZV;
2652 else if (PT > search_regs.start[sub])
2653 opoint = search_regs.end[sub] - ZV;
2654 else
2655 opoint = PT;
2657 /* If we want non-literal replacement,
2658 perform substitution on the replacement string. */
2659 if (NILP (literal))
2661 ptrdiff_t length = SBYTES (newtext);
2662 unsigned char *substed;
2663 ptrdiff_t substed_alloc_size, substed_len;
2664 int buf_multibyte = !NILP (BVAR (current_buffer, enable_multibyte_characters));
2665 int str_multibyte = STRING_MULTIBYTE (newtext);
2666 int really_changed = 0;
2668 substed_alloc_size = ((STRING_BYTES_BOUND - 100) / 2 < length
2669 ? STRING_BYTES_BOUND
2670 : length * 2 + 100);
2671 substed = (unsigned char *) xmalloc (substed_alloc_size);
2672 substed_len = 0;
2674 /* Go thru NEWTEXT, producing the actual text to insert in
2675 SUBSTED while adjusting multibyteness to that of the current
2676 buffer. */
2678 for (pos_byte = 0, pos = 0; pos_byte < length;)
2680 unsigned char str[MAX_MULTIBYTE_LENGTH];
2681 const unsigned char *add_stuff = NULL;
2682 ptrdiff_t add_len = 0;
2683 ptrdiff_t idx = -1;
2685 if (str_multibyte)
2687 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, newtext, pos, pos_byte);
2688 if (!buf_multibyte)
2689 c = multibyte_char_to_unibyte (c);
2691 else
2693 /* Note that we don't have to increment POS. */
2694 c = SREF (newtext, pos_byte++);
2695 if (buf_multibyte)
2696 MAKE_CHAR_MULTIBYTE (c);
2699 /* Either set ADD_STUFF and ADD_LEN to the text to put in SUBSTED,
2700 or set IDX to a match index, which means put that part
2701 of the buffer text into SUBSTED. */
2703 if (c == '\\')
2705 really_changed = 1;
2707 if (str_multibyte)
2709 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, newtext,
2710 pos, pos_byte);
2711 if (!buf_multibyte && !ASCII_CHAR_P (c))
2712 c = multibyte_char_to_unibyte (c);
2714 else
2716 c = SREF (newtext, pos_byte++);
2717 if (buf_multibyte)
2718 MAKE_CHAR_MULTIBYTE (c);
2721 if (c == '&')
2722 idx = sub;
2723 else if (c >= '1' && c <= '9' && c <= search_regs.num_regs + '0')
2725 if (search_regs.start[c - '0'] >= 1)
2726 idx = c - '0';
2728 else if (c == '\\')
2729 add_len = 1, add_stuff = (unsigned char *) "\\";
2730 else
2732 xfree (substed);
2733 error ("Invalid use of `\\' in replacement text");
2736 else
2738 add_len = CHAR_STRING (c, str);
2739 add_stuff = str;
2742 /* If we want to copy part of a previous match,
2743 set up ADD_STUFF and ADD_LEN to point to it. */
2744 if (idx >= 0)
2746 ptrdiff_t begbyte = CHAR_TO_BYTE (search_regs.start[idx]);
2747 add_len = CHAR_TO_BYTE (search_regs.end[idx]) - begbyte;
2748 if (search_regs.start[idx] < GPT && GPT < search_regs.end[idx])
2749 move_gap (search_regs.start[idx]);
2750 add_stuff = BYTE_POS_ADDR (begbyte);
2753 /* Now the stuff we want to add to SUBSTED
2754 is invariably ADD_LEN bytes starting at ADD_STUFF. */
2756 /* Make sure SUBSTED is big enough. */
2757 if (substed_alloc_size - substed_len < add_len)
2758 substed =
2759 xpalloc (substed, &substed_alloc_size,
2760 add_len - (substed_alloc_size - substed_len),
2761 STRING_BYTES_BOUND, 1);
2763 /* Now add to the end of SUBSTED. */
2764 if (add_stuff)
2766 memcpy (substed + substed_len, add_stuff, add_len);
2767 substed_len += add_len;
2771 if (really_changed)
2773 if (buf_multibyte)
2775 EMACS_INT nchars =
2776 multibyte_chars_in_text (substed, substed_len);
2778 newtext = make_multibyte_string ((char *) substed, nchars,
2779 substed_len);
2781 else
2782 newtext = make_unibyte_string ((char *) substed, substed_len);
2784 xfree (substed);
2787 /* Replace the old text with the new in the cleanest possible way. */
2788 replace_range (search_regs.start[sub], search_regs.end[sub],
2789 newtext, 1, 0, 1);
2790 newpoint = search_regs.start[sub] + SCHARS (newtext);
2792 if (case_action == all_caps)
2793 Fupcase_region (make_number (search_regs.start[sub]),
2794 make_number (newpoint));
2795 else if (case_action == cap_initial)
2796 Fupcase_initials_region (make_number (search_regs.start[sub]),
2797 make_number (newpoint));
2799 /* Adjust search data for this change. */
2801 EMACS_INT oldend = search_regs.end[sub];
2802 EMACS_INT oldstart = search_regs.start[sub];
2803 EMACS_INT change = newpoint - search_regs.end[sub];
2804 int i;
2806 for (i = 0; i < search_regs.num_regs; i++)
2808 if (search_regs.start[i] >= oldend)
2809 search_regs.start[i] += change;
2810 else if (search_regs.start[i] > oldstart)
2811 search_regs.start[i] = oldstart;
2812 if (search_regs.end[i] >= oldend)
2813 search_regs.end[i] += change;
2814 else if (search_regs.end[i] > oldstart)
2815 search_regs.end[i] = oldstart;
2819 /* Put point back where it was in the text. */
2820 if (opoint <= 0)
2821 TEMP_SET_PT (opoint + ZV);
2822 else
2823 TEMP_SET_PT (opoint);
2825 /* Now move point "officially" to the start of the inserted replacement. */
2826 move_if_not_intangible (newpoint);
2828 return Qnil;
2831 static Lisp_Object
2832 match_limit (Lisp_Object num, int beginningp)
2834 EMACS_INT n;
2836 CHECK_NUMBER (num);
2837 n = XINT (num);
2838 if (n < 0)
2839 args_out_of_range (num, make_number (0));
2840 if (search_regs.num_regs <= 0)
2841 error ("No match data, because no search succeeded");
2842 if (n >= search_regs.num_regs
2843 || search_regs.start[n] < 0)
2844 return Qnil;
2845 return (make_number ((beginningp) ? search_regs.start[n]
2846 : search_regs.end[n]));
2849 DEFUN ("match-beginning", Fmatch_beginning, Smatch_beginning, 1, 1, 0,
2850 doc: /* Return position of start of text matched by last search.
2851 SUBEXP, a number, specifies which parenthesized expression in the last
2852 regexp.
2853 Value is nil if SUBEXPth pair didn't match, or there were less than
2854 SUBEXP pairs.
2855 Zero means the entire text matched by the whole regexp or whole string. */)
2856 (Lisp_Object subexp)
2858 return match_limit (subexp, 1);
2861 DEFUN ("match-end", Fmatch_end, Smatch_end, 1, 1, 0,
2862 doc: /* Return position of end of text matched by last search.
2863 SUBEXP, a number, specifies which parenthesized expression in the last
2864 regexp.
2865 Value is nil if SUBEXPth pair didn't match, or there were less than
2866 SUBEXP pairs.
2867 Zero means the entire text matched by the whole regexp or whole string. */)
2868 (Lisp_Object subexp)
2870 return match_limit (subexp, 0);
2873 DEFUN ("match-data", Fmatch_data, Smatch_data, 0, 3, 0,
2874 doc: /* Return a list containing all info on what the last search matched.
2875 Element 2N is `(match-beginning N)'; element 2N + 1 is `(match-end N)'.
2876 All the elements are markers or nil (nil if the Nth pair didn't match)
2877 if the last match was on a buffer; integers or nil if a string was matched.
2878 Use `set-match-data' to reinstate the data in this list.
2880 If INTEGERS (the optional first argument) is non-nil, always use
2881 integers \(rather than markers) to represent buffer positions. In
2882 this case, and if the last match was in a buffer, the buffer will get
2883 stored as one additional element at the end of the list.
2885 If REUSE is a list, reuse it as part of the value. If REUSE is long
2886 enough to hold all the values, and if INTEGERS is non-nil, no consing
2887 is done.
2889 If optional third arg RESEAT is non-nil, any previous markers on the
2890 REUSE list will be modified to point to nowhere.
2892 Return value is undefined if the last search failed. */)
2893 (Lisp_Object integers, Lisp_Object reuse, Lisp_Object reseat)
2895 Lisp_Object tail, prev;
2896 Lisp_Object *data;
2897 int i, len;
2899 if (!NILP (reseat))
2900 for (tail = reuse; CONSP (tail); tail = XCDR (tail))
2901 if (MARKERP (XCAR (tail)))
2903 unchain_marker (XMARKER (XCAR (tail)));
2904 XSETCAR (tail, Qnil);
2907 if (NILP (last_thing_searched))
2908 return Qnil;
2910 prev = Qnil;
2912 data = (Lisp_Object *) alloca ((2 * search_regs.num_regs + 1)
2913 * sizeof (Lisp_Object));
2915 len = 0;
2916 for (i = 0; i < search_regs.num_regs; i++)
2918 EMACS_INT start = search_regs.start[i];
2919 if (start >= 0)
2921 if (EQ (last_thing_searched, Qt)
2922 || ! NILP (integers))
2924 XSETFASTINT (data[2 * i], start);
2925 XSETFASTINT (data[2 * i + 1], search_regs.end[i]);
2927 else if (BUFFERP (last_thing_searched))
2929 data[2 * i] = Fmake_marker ();
2930 Fset_marker (data[2 * i],
2931 make_number (start),
2932 last_thing_searched);
2933 data[2 * i + 1] = Fmake_marker ();
2934 Fset_marker (data[2 * i + 1],
2935 make_number (search_regs.end[i]),
2936 last_thing_searched);
2938 else
2939 /* last_thing_searched must always be Qt, a buffer, or Qnil. */
2940 abort ();
2942 len = 2 * i + 2;
2944 else
2945 data[2 * i] = data[2 * i + 1] = Qnil;
2948 if (BUFFERP (last_thing_searched) && !NILP (integers))
2950 data[len] = last_thing_searched;
2951 len++;
2954 /* If REUSE is not usable, cons up the values and return them. */
2955 if (! CONSP (reuse))
2956 return Flist (len, data);
2958 /* If REUSE is a list, store as many value elements as will fit
2959 into the elements of REUSE. */
2960 for (i = 0, tail = reuse; CONSP (tail);
2961 i++, tail = XCDR (tail))
2963 if (i < len)
2964 XSETCAR (tail, data[i]);
2965 else
2966 XSETCAR (tail, Qnil);
2967 prev = tail;
2970 /* If we couldn't fit all value elements into REUSE,
2971 cons up the rest of them and add them to the end of REUSE. */
2972 if (i < len)
2973 XSETCDR (prev, Flist (len - i, data + i));
2975 return reuse;
2978 /* We used to have an internal use variant of `reseat' described as:
2980 If RESEAT is `evaporate', put the markers back on the free list
2981 immediately. No other references to the markers must exist in this
2982 case, so it is used only internally on the unwind stack and
2983 save-match-data from Lisp.
2985 But it was ill-conceived: those supposedly-internal markers get exposed via
2986 the undo-list, so freeing them here is unsafe. */
2988 DEFUN ("set-match-data", Fset_match_data, Sset_match_data, 1, 2, 0,
2989 doc: /* Set internal data on last search match from elements of LIST.
2990 LIST should have been created by calling `match-data' previously.
2992 If optional arg RESEAT is non-nil, make markers on LIST point nowhere. */)
2993 (register Lisp_Object list, Lisp_Object reseat)
2995 ptrdiff_t i;
2996 register Lisp_Object marker;
2998 if (running_asynch_code)
2999 save_search_regs ();
3001 CHECK_LIST (list);
3003 /* Unless we find a marker with a buffer or an explicit buffer
3004 in LIST, assume that this match data came from a string. */
3005 last_thing_searched = Qt;
3007 /* Allocate registers if they don't already exist. */
3009 ptrdiff_t length = XFASTINT (Flength (list)) / 2;
3011 if (length > search_regs.num_regs)
3013 ptrdiff_t num_regs = search_regs.num_regs;
3014 search_regs.start =
3015 xpalloc (search_regs.start, &num_regs, length - num_regs,
3016 min (PTRDIFF_MAX, UINT_MAX), sizeof (regoff_t));
3017 search_regs.end =
3018 xrealloc (search_regs.end, num_regs * sizeof (regoff_t));
3020 for (i = search_regs.num_regs; i < num_regs; i++)
3021 search_regs.start[i] = -1;
3023 search_regs.num_regs = num_regs;
3026 for (i = 0; CONSP (list); i++)
3028 marker = XCAR (list);
3029 if (BUFFERP (marker))
3031 last_thing_searched = marker;
3032 break;
3034 if (i >= length)
3035 break;
3036 if (NILP (marker))
3038 search_regs.start[i] = -1;
3039 list = XCDR (list);
3041 else
3043 EMACS_INT from;
3044 Lisp_Object m;
3046 m = marker;
3047 if (MARKERP (marker))
3049 if (XMARKER (marker)->buffer == 0)
3050 XSETFASTINT (marker, 0);
3051 else
3052 XSETBUFFER (last_thing_searched, XMARKER (marker)->buffer);
3055 CHECK_NUMBER_COERCE_MARKER (marker);
3056 from = XINT (marker);
3058 if (!NILP (reseat) && MARKERP (m))
3060 unchain_marker (XMARKER (m));
3061 XSETCAR (list, Qnil);
3064 if ((list = XCDR (list), !CONSP (list)))
3065 break;
3067 m = marker = XCAR (list);
3069 if (MARKERP (marker) && XMARKER (marker)->buffer == 0)
3070 XSETFASTINT (marker, 0);
3072 CHECK_NUMBER_COERCE_MARKER (marker);
3073 search_regs.start[i] = from;
3074 search_regs.end[i] = XINT (marker);
3076 if (!NILP (reseat) && MARKERP (m))
3078 unchain_marker (XMARKER (m));
3079 XSETCAR (list, Qnil);
3082 list = XCDR (list);
3085 for (; i < search_regs.num_regs; i++)
3086 search_regs.start[i] = -1;
3089 return Qnil;
3092 /* If non-zero the match data have been saved in saved_search_regs
3093 during the execution of a sentinel or filter. */
3094 static int search_regs_saved;
3095 static struct re_registers saved_search_regs;
3096 static Lisp_Object saved_last_thing_searched;
3098 /* Called from Flooking_at, Fstring_match, search_buffer, Fstore_match_data
3099 if asynchronous code (filter or sentinel) is running. */
3100 static void
3101 save_search_regs (void)
3103 if (!search_regs_saved)
3105 saved_search_regs.num_regs = search_regs.num_regs;
3106 saved_search_regs.start = search_regs.start;
3107 saved_search_regs.end = search_regs.end;
3108 saved_last_thing_searched = last_thing_searched;
3109 last_thing_searched = Qnil;
3110 search_regs.num_regs = 0;
3111 search_regs.start = 0;
3112 search_regs.end = 0;
3114 search_regs_saved = 1;
3118 /* Called upon exit from filters and sentinels. */
3119 void
3120 restore_search_regs (void)
3122 if (search_regs_saved)
3124 if (search_regs.num_regs > 0)
3126 xfree (search_regs.start);
3127 xfree (search_regs.end);
3129 search_regs.num_regs = saved_search_regs.num_regs;
3130 search_regs.start = saved_search_regs.start;
3131 search_regs.end = saved_search_regs.end;
3132 last_thing_searched = saved_last_thing_searched;
3133 saved_last_thing_searched = Qnil;
3134 search_regs_saved = 0;
3138 static Lisp_Object
3139 unwind_set_match_data (Lisp_Object list)
3141 /* It is NOT ALWAYS safe to free (evaporate) the markers immediately. */
3142 return Fset_match_data (list, Qt);
3145 /* Called to unwind protect the match data. */
3146 void
3147 record_unwind_save_match_data (void)
3149 record_unwind_protect (unwind_set_match_data,
3150 Fmatch_data (Qnil, Qnil, Qnil));
3153 /* Quote a string to deactivate reg-expr chars */
3155 DEFUN ("regexp-quote", Fregexp_quote, Sregexp_quote, 1, 1, 0,
3156 doc: /* Return a regexp string which matches exactly STRING and nothing else. */)
3157 (Lisp_Object string)
3159 register char *in, *out, *end;
3160 register char *temp;
3161 int backslashes_added = 0;
3163 CHECK_STRING (string);
3165 temp = (char *) alloca (SBYTES (string) * 2);
3167 /* Now copy the data into the new string, inserting escapes. */
3169 in = SSDATA (string);
3170 end = in + SBYTES (string);
3171 out = temp;
3173 for (; in != end; in++)
3175 if (*in == '['
3176 || *in == '*' || *in == '.' || *in == '\\'
3177 || *in == '?' || *in == '+'
3178 || *in == '^' || *in == '$')
3179 *out++ = '\\', backslashes_added++;
3180 *out++ = *in;
3183 return make_specified_string (temp,
3184 SCHARS (string) + backslashes_added,
3185 out - temp,
3186 STRING_MULTIBYTE (string));
3189 void
3190 syms_of_search (void)
3192 register int i;
3194 for (i = 0; i < REGEXP_CACHE_SIZE; ++i)
3196 searchbufs[i].buf.allocated = 100;
3197 searchbufs[i].buf.buffer = (unsigned char *) xmalloc (100);
3198 searchbufs[i].buf.fastmap = searchbufs[i].fastmap;
3199 searchbufs[i].regexp = Qnil;
3200 searchbufs[i].whitespace_regexp = Qnil;
3201 searchbufs[i].syntax_table = Qnil;
3202 staticpro (&searchbufs[i].regexp);
3203 staticpro (&searchbufs[i].whitespace_regexp);
3204 staticpro (&searchbufs[i].syntax_table);
3205 searchbufs[i].next = (i == REGEXP_CACHE_SIZE-1 ? 0 : &searchbufs[i+1]);
3207 searchbuf_head = &searchbufs[0];
3209 DEFSYM (Qsearch_failed, "search-failed");
3210 DEFSYM (Qinvalid_regexp, "invalid-regexp");
3212 Fput (Qsearch_failed, Qerror_conditions,
3213 pure_cons (Qsearch_failed, pure_cons (Qerror, Qnil)));
3214 Fput (Qsearch_failed, Qerror_message,
3215 make_pure_c_string ("Search failed"));
3217 Fput (Qinvalid_regexp, Qerror_conditions,
3218 pure_cons (Qinvalid_regexp, pure_cons (Qerror, Qnil)));
3219 Fput (Qinvalid_regexp, Qerror_message,
3220 make_pure_c_string ("Invalid regexp"));
3222 last_thing_searched = Qnil;
3223 staticpro (&last_thing_searched);
3225 saved_last_thing_searched = Qnil;
3226 staticpro (&saved_last_thing_searched);
3228 DEFVAR_LISP ("search-spaces-regexp", Vsearch_spaces_regexp,
3229 doc: /* Regexp to substitute for bunches of spaces in regexp search.
3230 Some commands use this for user-specified regexps.
3231 Spaces that occur inside character classes or repetition operators
3232 or other such regexp constructs are not replaced with this.
3233 A value of nil (which is the normal value) means treat spaces literally. */);
3234 Vsearch_spaces_regexp = Qnil;
3236 DEFVAR_LISP ("inhibit-changing-match-data", Vinhibit_changing_match_data,
3237 doc: /* Internal use only.
3238 If non-nil, the primitive searching and matching functions
3239 such as `looking-at', `string-match', `re-search-forward', etc.,
3240 do not set the match data. The proper way to use this variable
3241 is to bind it with `let' around a small expression. */);
3242 Vinhibit_changing_match_data = Qnil;
3244 defsubr (&Slooking_at);
3245 defsubr (&Sposix_looking_at);
3246 defsubr (&Sstring_match);
3247 defsubr (&Sposix_string_match);
3248 defsubr (&Ssearch_forward);
3249 defsubr (&Ssearch_backward);
3250 defsubr (&Sword_search_regexp);
3251 defsubr (&Sword_search_forward);
3252 defsubr (&Sword_search_backward);
3253 defsubr (&Sword_search_forward_lax);
3254 defsubr (&Sword_search_backward_lax);
3255 defsubr (&Sre_search_forward);
3256 defsubr (&Sre_search_backward);
3257 defsubr (&Sposix_search_forward);
3258 defsubr (&Sposix_search_backward);
3259 defsubr (&Sreplace_match);
3260 defsubr (&Smatch_beginning);
3261 defsubr (&Smatch_end);
3262 defsubr (&Smatch_data);
3263 defsubr (&Sset_match_data);
3264 defsubr (&Sregexp_quote);