PostgreSQL Source Code git master
varlena.c
Go to the documentation of this file.
1/*-------------------------------------------------------------------------
2 *
3 * varlena.c
4 * Functions for the variable-length built-in types.
5 *
6 * Portions Copyright (c) 1996-2026, PostgreSQL Global Development Group
7 * Portions Copyright (c) 1994, Regents of the University of California
8 *
9 *
10 * IDENTIFICATION
11 * src/backend/utils/adt/varlena.c
12 *
13 *-------------------------------------------------------------------------
14 */
15#include "postgres.h"
16
17#include <ctype.h>
18#include <limits.h>
19
20#include "access/detoast.h"
23#include "catalog/pg_type.h"
24#include "common/hashfn.h"
25#include "common/int.h"
27#include "common/unicode_norm.h"
29#include "funcapi.h"
30#include "lib/hyperloglog.h"
31#include "libpq/pqformat.h"
32#include "miscadmin.h"
33#include "nodes/execnodes.h"
34#include "parser/scansup.h"
35#include "port/pg_bswap.h"
36#include "regex/regex.h"
37#include "utils/builtins.h"
38#include "utils/guc.h"
39#include "utils/lsyscache.h"
40#include "utils/memutils.h"
41#include "utils/pg_locale.h"
42#include "utils/sortsupport.h"
43#include "utils/varlena.h"
44
45typedef struct varlena VarString;
46
47/*
48 * State for text_position_* functions.
49 */
50typedef struct
51{
52 pg_locale_t locale; /* collation used for substring matching */
53 bool is_multibyte_char_in_char; /* need to check char boundaries? */
54 bool greedy; /* find longest possible substring? */
55
56 char *str1; /* haystack string */
57 char *str2; /* needle string */
58 int len1; /* string lengths in bytes */
59 int len2;
60
61 /* Skip table for Boyer-Moore-Horspool search algorithm: */
62 int skiptablemask; /* mask for ANDing with skiptable subscripts */
63 int skiptable[256]; /* skip distance for given mismatched char */
64
65 /*
66 * Note that with nondeterministic collations, the length of the last
67 * match is not necessarily equal to the length of the "needle" passed in.
68 */
69 char *last_match; /* pointer to last match in 'str1' */
70 int last_match_len; /* length of last match */
71 int last_match_len_tmp; /* same but for internal use */
72
73 /*
74 * Sometimes we need to convert the byte position of a match to a
75 * character position. These store the last position that was converted,
76 * so that on the next call, we can continue from that point, rather than
77 * count characters from the very beginning.
78 */
79 char *refpoint; /* pointer within original haystack string */
80 int refpos; /* 0-based character offset of the same point */
82
83typedef struct
84{
85 char *buf1; /* 1st string, or abbreviation original string
86 * buf */
87 char *buf2; /* 2nd string, or abbreviation strxfrm() buf */
88 int buflen1; /* Allocated length of buf1 */
89 int buflen2; /* Allocated length of buf2 */
90 int last_len1; /* Length of last buf1 string/strxfrm() input */
91 int last_len2; /* Length of last buf2 string/strxfrm() blob */
92 int last_returned; /* Last comparison result (cache) */
93 bool cache_blob; /* Does buf2 contain strxfrm() blob, etc? */
95 Oid typid; /* Actual datatype (text/bpchar/name) */
96 hyperLogLogState abbr_card; /* Abbreviated key cardinality state */
97 hyperLogLogState full_card; /* Full key cardinality state */
98 double prop_card; /* Required cardinality proportion */
101
102/*
103 * Output data for split_text(): we output either to an array or a table.
104 * tupstore and tupdesc must be set up in advance to output to a table.
105 */
106typedef struct
107{
112
113/*
114 * This should be large enough that most strings will fit, but small enough
115 * that we feel comfortable putting it on the stack
116 */
117#define TEXTBUFLEN 1024
118
119#define DatumGetVarStringP(X) ((VarString *) PG_DETOAST_DATUM(X))
120#define DatumGetVarStringPP(X) ((VarString *) PG_DETOAST_DATUM_PACKED(X))
121
122static int varstrfastcmp_c(Datum x, Datum y, SortSupport ssup);
123static int bpcharfastcmp_c(Datum x, Datum y, SortSupport ssup);
124static int namefastcmp_c(Datum x, Datum y, SortSupport ssup);
126static int namefastcmp_locale(Datum x, Datum y, SortSupport ssup);
127static int varstrfastcmp_locale(char *a1p, int len1, char *a2p, int len2, SortSupport ssup);
128static Datum varstr_abbrev_convert(Datum original, SortSupport ssup);
129static bool varstr_abbrev_abort(int memtupcount, SortSupport ssup);
130static int32 text_length(Datum str);
131static text *text_catenate(text *t1, text *t2);
133 int32 start,
134 int32 length,
135 bool length_not_specified);
136static text *text_overlay(text *t1, text *t2, int sp, int sl);
137static int text_position(text *t1, text *t2, Oid collid);
140static char *text_position_next_internal(char *start_ptr, TextPositionState *state);
144static void check_collation_set(Oid collid);
145static int text_cmp(text *arg1, text *arg2, Oid collid);
146static void appendStringInfoText(StringInfo str, const text *t);
147static bool split_text(FunctionCallInfo fcinfo, SplitTextOutputData *tstate);
149 text *field_value,
150 text *null_string,
151 Oid collation);
153 const char *fldsep, const char *null_string);
155static bool text_format_parse_digits(const char **ptr, const char *end_ptr,
156 int *value);
157static const char *text_format_parse_format(const char *start_ptr,
158 const char *end_ptr,
159 int *argpos, int *widthpos,
160 int *flags, int *width);
161static void text_format_string_conversion(StringInfo buf, char conversion,
162 FmgrInfo *typOutputInfo,
163 Datum value, bool isNull,
164 int flags, int width);
165static void text_format_append_string(StringInfo buf, const char *str,
166 int flags, int width);
167
168
169/*****************************************************************************
170 * CONVERSION ROUTINES EXPORTED FOR USE BY C CODE *
171 *****************************************************************************/
172
173/*
174 * cstring_to_text
175 *
176 * Create a text value from a null-terminated C string.
177 *
178 * The new text value is freshly palloc'd with a full-size VARHDR.
179 */
180text *
181cstring_to_text(const char *s)
182{
183 return cstring_to_text_with_len(s, strlen(s));
184}
185
186/*
187 * cstring_to_text_with_len
188 *
189 * Same as cstring_to_text except the caller specifies the string length;
190 * the string need not be null_terminated.
191 */
192text *
193cstring_to_text_with_len(const char *s, int len)
194{
195 text *result = (text *) palloc(len + VARHDRSZ);
196
197 SET_VARSIZE(result, len + VARHDRSZ);
198 memcpy(VARDATA(result), s, len);
199
200 return result;
201}
202
203/*
204 * text_to_cstring
205 *
206 * Create a palloc'd, null-terminated C string from a text value.
207 *
208 * We support being passed a compressed or toasted text value.
209 * This is a bit bogus since such values shouldn't really be referred to as
210 * "text *", but it seems useful for robustness. If we didn't handle that
211 * case here, we'd need another routine that did, anyway.
212 */
213char *
215{
216 /* must cast away the const, unfortunately */
217 text *tunpacked = pg_detoast_datum_packed(unconstify(text *, t));
218 int len = VARSIZE_ANY_EXHDR(tunpacked);
219 char *result;
220
221 result = (char *) palloc(len + 1);
222 memcpy(result, VARDATA_ANY(tunpacked), len);
223 result[len] = '\0';
224
225 if (tunpacked != t)
226 pfree(tunpacked);
227
228 return result;
229}
230
231/*
232 * text_to_cstring_buffer
233 *
234 * Copy a text value into a caller-supplied buffer of size dst_len.
235 *
236 * The text string is truncated if necessary to fit. The result is
237 * guaranteed null-terminated (unless dst_len == 0).
238 *
239 * We support being passed a compressed or toasted text value.
240 * This is a bit bogus since such values shouldn't really be referred to as
241 * "text *", but it seems useful for robustness. If we didn't handle that
242 * case here, we'd need another routine that did, anyway.
243 */
244void
245text_to_cstring_buffer(const text *src, char *dst, size_t dst_len)
246{
247 /* must cast away the const, unfortunately */
248 text *srcunpacked = pg_detoast_datum_packed(unconstify(text *, src));
249 size_t src_len = VARSIZE_ANY_EXHDR(srcunpacked);
250
251 if (dst_len > 0)
252 {
253 dst_len--;
254 if (dst_len >= src_len)
255 dst_len = src_len;
256 else /* ensure truncation is encoding-safe */
257 dst_len = pg_mbcliplen(VARDATA_ANY(srcunpacked), src_len, dst_len);
258 memcpy(dst, VARDATA_ANY(srcunpacked), dst_len);
259 dst[dst_len] = '\0';
260 }
261
262 if (srcunpacked != src)
263 pfree(srcunpacked);
264}
265
266
267/*****************************************************************************
268 * USER I/O ROUTINES *
269 *****************************************************************************/
270
271/*
272 * textin - converts cstring to internal representation
273 */
274Datum
276{
277 char *inputText = PG_GETARG_CSTRING(0);
278
280}
281
282/*
283 * textout - converts internal representation to cstring
284 */
285Datum
287{
288 Datum txt = PG_GETARG_DATUM(0);
289
291}
292
293/*
294 * textrecv - converts external binary format to text
295 */
296Datum
298{
300 text *result;
301 char *str;
302 int nbytes;
303
304 str = pq_getmsgtext(buf, buf->len - buf->cursor, &nbytes);
305
306 result = cstring_to_text_with_len(str, nbytes);
307 pfree(str);
308 PG_RETURN_TEXT_P(result);
309}
310
311/*
312 * textsend - converts text to binary format
313 */
314Datum
316{
317 text *t = PG_GETARG_TEXT_PP(0);
319
323}
324
325
326/*
327 * unknownin - converts cstring to internal representation
328 */
329Datum
331{
332 char *str = PG_GETARG_CSTRING(0);
333
334 /* representation is same as cstring */
336}
337
338/*
339 * unknownout - converts internal representation to cstring
340 */
341Datum
343{
344 /* representation is same as cstring */
345 char *str = PG_GETARG_CSTRING(0);
346
348}
349
350/*
351 * unknownrecv - converts external binary format to unknown
352 */
353Datum
355{
357 char *str;
358 int nbytes;
359
360 str = pq_getmsgtext(buf, buf->len - buf->cursor, &nbytes);
361 /* representation is same as cstring */
363}
364
365/*
366 * unknownsend - converts unknown to binary format
367 */
368Datum
370{
371 /* representation is same as cstring */
372 char *str = PG_GETARG_CSTRING(0);
374
376 pq_sendtext(&buf, str, strlen(str));
378}
379
380
381/* ========== PUBLIC ROUTINES ========== */
382
383/*
384 * textlen -
385 * returns the logical length of a text*
386 * (which is less than the VARSIZE of the text*)
387 */
388Datum
390{
392
393 /* try to avoid decompressing argument */
395}
396
397/*
398 * text_length -
399 * Does the real work for textlen()
400 *
401 * This is broken out so it can be called directly by other string processing
402 * functions. Note that the argument is passed as a Datum, to indicate that
403 * it may still be in compressed form. We can avoid decompressing it at all
404 * in some cases.
405 */
406static int32
408{
409 /* fastpath when max encoding length is one */
412 else
413 {
414 text *t = DatumGetTextPP(str);
415
417 }
418}
419
420/*
421 * textoctetlen -
422 * returns the physical length of a text*
423 * (which is less than the VARSIZE of the text*)
424 */
425Datum
427{
429
430 /* We need not detoast the input at all */
432}
433
434/*
435 * textcat -
436 * takes two text* and returns a text* that is the concatenation of
437 * the two.
438 *
439 * Rewritten by Sapa, sapa@hq.icb.chel.su. 8-Jul-96.
440 * Updated by Thomas, Thomas.Lockhart@jpl.nasa.gov 1997-07-10.
441 * Allocate space for output in all cases.
442 * XXX - thomas 1997-07-10
443 */
444Datum
446{
447 text *t1 = PG_GETARG_TEXT_PP(0);
448 text *t2 = PG_GETARG_TEXT_PP(1);
449
451}
452
453/*
454 * text_catenate
455 * Guts of textcat(), broken out so it can be used by other functions
456 *
457 * Arguments can be in short-header form, but not compressed or out-of-line
458 */
459static text *
461{
462 text *result;
463 int len1,
464 len2,
465 len;
466 char *ptr;
467
468 len1 = VARSIZE_ANY_EXHDR(t1);
469 len2 = VARSIZE_ANY_EXHDR(t2);
470
471 /* paranoia ... probably should throw error instead? */
472 if (len1 < 0)
473 len1 = 0;
474 if (len2 < 0)
475 len2 = 0;
476
477 len = len1 + len2 + VARHDRSZ;
478 result = (text *) palloc(len);
479
480 /* Set size of result string... */
481 SET_VARSIZE(result, len);
482
483 /* Fill data field of result string... */
484 ptr = VARDATA(result);
485 if (len1 > 0)
486 memcpy(ptr, VARDATA_ANY(t1), len1);
487 if (len2 > 0)
488 memcpy(ptr + len1, VARDATA_ANY(t2), len2);
489
490 return result;
491}
492
493/*
494 * charlen_to_bytelen()
495 * Compute the number of bytes occupied by n characters starting at *p
496 *
497 * It is caller's responsibility that there actually are n characters;
498 * the string need not be null-terminated.
499 */
500static int
501charlen_to_bytelen(const char *p, int n)
502{
504 {
505 /* Optimization for single-byte encodings */
506 return n;
507 }
508 else
509 {
510 const char *s;
511
512 for (s = p; n > 0; n--)
513 s += pg_mblen(s);
514
515 return s - p;
516 }
517}
518
519/*
520 * text_substr()
521 * Return a substring starting at the specified position.
522 * - thomas 1997-12-31
523 *
524 * Input:
525 * - string
526 * - starting position (is one-based)
527 * - string length
528 *
529 * If the starting position is zero or less, then return from the start of the string
530 * adjusting the length to be consistent with the "negative start" per SQL.
531 * If the length is less than zero, return the remaining string.
532 *
533 * Added multibyte support.
534 * - Tatsuo Ishii 1998-4-21
535 * Changed behavior if starting position is less than one to conform to SQL behavior.
536 * Formerly returned the entire string; now returns a portion.
537 * - Thomas Lockhart 1998-12-10
538 * Now uses faster TOAST-slicing interface
539 * - John Gray 2002-02-22
540 * Remove "#ifdef MULTIBYTE" and test for encoding_max_length instead. Change
541 * behaviors conflicting with SQL to meet SQL (if E = S + L < S throw
542 * error; if E < 1, return '', not entire string). Fixed MB related bug when
543 * S > LC and < LC + 4 sometimes garbage characters are returned.
544 * - Joe Conway 2002-08-10
545 */
546Datum
548{
552 false));
553}
554
555/*
556 * text_substr_no_len -
557 * Wrapper to avoid opr_sanity failure due to
558 * one function accepting a different number of args.
559 */
560Datum
562{
565 -1, true));
566}
567
568/*
569 * text_substring -
570 * Does the real work for text_substr() and text_substr_no_len()
571 *
572 * This is broken out so it can be called directly by other string processing
573 * functions. Note that the argument is passed as a Datum, to indicate that
574 * it may still be in compressed/toasted form. We can avoid detoasting all
575 * of it in some cases.
576 *
577 * The result is always a freshly palloc'd datum.
578 */
579static text *
580text_substring(Datum str, int32 start, int32 length, bool length_not_specified)
581{
583 int32 S = start; /* start position */
584 int32 S1; /* adjusted start position */
585 int32 L1; /* adjusted substring length */
586 int32 E; /* end position */
587
588 /*
589 * SQL99 says S can be zero or negative (which we don't document), but we
590 * still must fetch from the start of the string.
591 * https://www.postgresql.org/message-id/170905442373.643.11536838320909376197%40wrigleys.postgresql.org
592 */
593 S1 = Max(S, 1);
594
595 /* life is easy if the encoding max length is 1 */
596 if (eml == 1)
597 {
598 if (length_not_specified) /* special case - get length to end of
599 * string */
600 L1 = -1;
601 else if (length < 0)
602 {
603 /* SQL99 says to throw an error for E < S, i.e., negative length */
605 (errcode(ERRCODE_SUBSTRING_ERROR),
606 errmsg("negative substring length not allowed")));
607 L1 = -1; /* silence stupider compilers */
608 }
609 else if (pg_add_s32_overflow(S, length, &E))
610 {
611 /*
612 * L could be large enough for S + L to overflow, in which case
613 * the substring must run to end of string.
614 */
615 L1 = -1;
616 }
617 else
618 {
619 /*
620 * A zero or negative value for the end position can happen if the
621 * start was negative or one. SQL99 says to return a zero-length
622 * string.
623 */
624 if (E < 1)
625 return cstring_to_text("");
626
627 L1 = E - S1;
628 }
629
630 /*
631 * If the start position is past the end of the string, SQL99 says to
632 * return a zero-length string -- DatumGetTextPSlice() will do that
633 * for us. We need only convert S1 to zero-based starting position.
634 */
635 return DatumGetTextPSlice(str, S1 - 1, L1);
636 }
637 else if (eml > 1)
638 {
639 /*
640 * When encoding max length is > 1, we can't get LC without
641 * detoasting, so we'll grab a conservatively large slice now and go
642 * back later to do the right thing
643 */
644 int32 slice_start;
645 int32 slice_size;
646 int32 slice_strlen;
647 text *slice;
648 int32 E1;
649 int32 i;
650 char *p;
651 char *s;
652 text *ret;
653
654 /*
655 * We need to start at position zero because there is no way to know
656 * in advance which byte offset corresponds to the supplied start
657 * position.
658 */
659 slice_start = 0;
660
661 if (length_not_specified) /* special case - get length to end of
662 * string */
663 slice_size = L1 = -1;
664 else if (length < 0)
665 {
666 /* SQL99 says to throw an error for E < S, i.e., negative length */
668 (errcode(ERRCODE_SUBSTRING_ERROR),
669 errmsg("negative substring length not allowed")));
670 slice_size = L1 = -1; /* silence stupider compilers */
671 }
672 else if (pg_add_s32_overflow(S, length, &E))
673 {
674 /*
675 * L could be large enough for S + L to overflow, in which case
676 * the substring must run to end of string.
677 */
678 slice_size = L1 = -1;
679 }
680 else
681 {
682 /*
683 * A zero or negative value for the end position can happen if the
684 * start was negative or one. SQL99 says to return a zero-length
685 * string.
686 */
687 if (E < 1)
688 return cstring_to_text("");
689
690 /*
691 * if E is past the end of the string, the tuple toaster will
692 * truncate the length for us
693 */
694 L1 = E - S1;
695
696 /*
697 * Total slice size in bytes can't be any longer than the start
698 * position plus substring length times the encoding max length.
699 * If that overflows, we can just use -1.
700 */
701 if (pg_mul_s32_overflow(E, eml, &slice_size))
702 slice_size = -1;
703 }
704
705 /*
706 * If we're working with an untoasted source, no need to do an extra
707 * copying step.
708 */
711 slice = DatumGetTextPSlice(str, slice_start, slice_size);
712 else
713 slice = (text *) DatumGetPointer(str);
714
715 /* see if we got back an empty string */
716 if (VARSIZE_ANY_EXHDR(slice) == 0)
717 {
718 if (slice != (text *) DatumGetPointer(str))
719 pfree(slice);
720 return cstring_to_text("");
721 }
722
723 /* Now we can get the actual length of the slice in MB characters */
724 slice_strlen = pg_mbstrlen_with_len(VARDATA_ANY(slice),
725 VARSIZE_ANY_EXHDR(slice));
726
727 /*
728 * Check that the start position wasn't > slice_strlen. If so, SQL99
729 * says to return a zero-length string.
730 */
731 if (S1 > slice_strlen)
732 {
733 if (slice != (text *) DatumGetPointer(str))
734 pfree(slice);
735 return cstring_to_text("");
736 }
737
738 /*
739 * Adjust L1 and E1 now that we know the slice string length. Again
740 * remember that S1 is one based, and slice_start is zero based.
741 */
742 if (L1 > -1)
743 E1 = Min(S1 + L1, slice_start + 1 + slice_strlen);
744 else
745 E1 = slice_start + 1 + slice_strlen;
746
747 /*
748 * Find the start position in the slice; remember S1 is not zero based
749 */
750 p = VARDATA_ANY(slice);
751 for (i = 0; i < S1 - 1; i++)
752 p += pg_mblen(p);
753
754 /* hang onto a pointer to our start position */
755 s = p;
756
757 /*
758 * Count the actual bytes used by the substring of the requested
759 * length.
760 */
761 for (i = S1; i < E1; i++)
762 p += pg_mblen(p);
763
764 ret = (text *) palloc(VARHDRSZ + (p - s));
765 SET_VARSIZE(ret, VARHDRSZ + (p - s));
766 memcpy(VARDATA(ret), s, (p - s));
767
768 if (slice != (text *) DatumGetPointer(str))
769 pfree(slice);
770
771 return ret;
772 }
773 else
774 elog(ERROR, "invalid backend encoding: encoding max length < 1");
775
776 /* not reached: suppress compiler warning */
777 return NULL;
778}
779
780/*
781 * textoverlay
782 * Replace specified substring of first string with second
783 *
784 * The SQL standard defines OVERLAY() in terms of substring and concatenation.
785 * This code is a direct implementation of what the standard says.
786 */
787Datum
789{
790 text *t1 = PG_GETARG_TEXT_PP(0);
791 text *t2 = PG_GETARG_TEXT_PP(1);
792 int sp = PG_GETARG_INT32(2); /* substring start position */
793 int sl = PG_GETARG_INT32(3); /* substring length */
794
795 PG_RETURN_TEXT_P(text_overlay(t1, t2, sp, sl));
796}
797
798Datum
800{
801 text *t1 = PG_GETARG_TEXT_PP(0);
802 text *t2 = PG_GETARG_TEXT_PP(1);
803 int sp = PG_GETARG_INT32(2); /* substring start position */
804 int sl;
805
806 sl = text_length(PointerGetDatum(t2)); /* defaults to length(t2) */
807 PG_RETURN_TEXT_P(text_overlay(t1, t2, sp, sl));
808}
809
810static text *
811text_overlay(text *t1, text *t2, int sp, int sl)
812{
813 text *result;
814 text *s1;
815 text *s2;
816 int sp_pl_sl;
817
818 /*
819 * Check for possible integer-overflow cases. For negative sp, throw a
820 * "substring length" error because that's what should be expected
821 * according to the spec's definition of OVERLAY().
822 */
823 if (sp <= 0)
825 (errcode(ERRCODE_SUBSTRING_ERROR),
826 errmsg("negative substring length not allowed")));
827 if (pg_add_s32_overflow(sp, sl, &sp_pl_sl))
829 (errcode(ERRCODE_NUMERIC_VALUE_OUT_OF_RANGE),
830 errmsg("integer out of range")));
831
832 s1 = text_substring(PointerGetDatum(t1), 1, sp - 1, false);
833 s2 = text_substring(PointerGetDatum(t1), sp_pl_sl, -1, true);
834 result = text_catenate(s1, t2);
835 result = text_catenate(result, s2);
836
837 return result;
838}
839
840/*
841 * textpos -
842 * Return the position of the specified substring.
843 * Implements the SQL POSITION() function.
844 * Ref: A Guide To The SQL Standard, Date & Darwen, 1997
845 * - thomas 1997-07-27
846 */
847Datum
849{
851 text *search_str = PG_GETARG_TEXT_PP(1);
852
854}
855
856/*
857 * text_position -
858 * Does the real work for textpos()
859 *
860 * Inputs:
861 * t1 - string to be searched
862 * t2 - pattern to match within t1
863 * Result:
864 * Character index of the first matched char, starting from 1,
865 * or 0 if no match.
866 *
867 * This is broken out so it can be called directly by other string processing
868 * functions.
869 */
870static int
872{
874 int result;
875
877
878 /* Empty needle always matches at position 1 */
879 if (VARSIZE_ANY_EXHDR(t2) < 1)
880 return 1;
881
882 /* Otherwise, can't match if haystack is shorter than needle */
883 if (VARSIZE_ANY_EXHDR(t1) < VARSIZE_ANY_EXHDR(t2) &&
884 pg_newlocale_from_collation(collid)->deterministic)
885 return 0;
886
888 /* don't need greedy mode here */
889 state.greedy = false;
890
892 result = 0;
893 else
896 return result;
897}
898
899
900/*
901 * text_position_setup, text_position_next, text_position_cleanup -
902 * Component steps of text_position()
903 *
904 * These are broken out so that a string can be efficiently searched for
905 * multiple occurrences of the same pattern. text_position_next may be
906 * called multiple times, and it advances to the next match on each call.
907 * text_position_get_match_ptr() and text_position_get_match_pos() return
908 * a pointer or 1-based character position of the last match, respectively.
909 *
910 * The "state" variable is normally just a local variable in the caller.
911 *
912 * NOTE: text_position_next skips over the matched portion. For example,
913 * searching for "xx" in "xxx" returns only one match, not two.
914 */
915
916static void
918{
919 int len1 = VARSIZE_ANY_EXHDR(t1);
920 int len2 = VARSIZE_ANY_EXHDR(t2);
921
923
925
926 /*
927 * Most callers need greedy mode, but some might want to unset this to
928 * optimize.
929 */
930 state->greedy = true;
931
932 Assert(len2 > 0);
933
934 /*
935 * Even with a multi-byte encoding, we perform the search using the raw
936 * byte sequence, ignoring multibyte issues. For UTF-8, that works fine,
937 * because in UTF-8 the byte sequence of one character cannot contain
938 * another character. For other multi-byte encodings, we do the search
939 * initially as a simple byte search, ignoring multibyte issues, but
940 * verify afterwards that the match we found is at a character boundary,
941 * and continue the search if it was a false match.
942 */
944 state->is_multibyte_char_in_char = false;
945 else if (GetDatabaseEncoding() == PG_UTF8)
946 state->is_multibyte_char_in_char = false;
947 else
948 state->is_multibyte_char_in_char = true;
949
950 state->str1 = VARDATA_ANY(t1);
951 state->str2 = VARDATA_ANY(t2);
952 state->len1 = len1;
953 state->len2 = len2;
954 state->last_match = NULL;
955 state->refpoint = state->str1;
956 state->refpos = 0;
957
958 /*
959 * Prepare the skip table for Boyer-Moore-Horspool searching. In these
960 * notes we use the terminology that the "haystack" is the string to be
961 * searched (t1) and the "needle" is the pattern being sought (t2).
962 *
963 * If the needle is empty or bigger than the haystack then there is no
964 * point in wasting cycles initializing the table. We also choose not to
965 * use B-M-H for needles of length 1, since the skip table can't possibly
966 * save anything in that case.
967 *
968 * (With nondeterministic collations, the search is already
969 * multibyte-aware, so we don't need this.)
970 */
971 if (len1 >= len2 && len2 > 1 && state->locale->deterministic)
972 {
973 int searchlength = len1 - len2;
974 int skiptablemask;
975 int last;
976 int i;
977 const char *str2 = state->str2;
978
979 /*
980 * First we must determine how much of the skip table to use. The
981 * declaration of TextPositionState allows up to 256 elements, but for
982 * short search problems we don't really want to have to initialize so
983 * many elements --- it would take too long in comparison to the
984 * actual search time. So we choose a useful skip table size based on
985 * the haystack length minus the needle length. The closer the needle
986 * length is to the haystack length the less useful skipping becomes.
987 *
988 * Note: since we use bit-masking to select table elements, the skip
989 * table size MUST be a power of 2, and so the mask must be 2^N-1.
990 */
991 if (searchlength < 16)
992 skiptablemask = 3;
993 else if (searchlength < 64)
994 skiptablemask = 7;
995 else if (searchlength < 128)
996 skiptablemask = 15;
997 else if (searchlength < 512)
998 skiptablemask = 31;
999 else if (searchlength < 2048)
1000 skiptablemask = 63;
1001 else if (searchlength < 4096)
1002 skiptablemask = 127;
1003 else
1004 skiptablemask = 255;
1005 state->skiptablemask = skiptablemask;
1006
1007 /*
1008 * Initialize the skip table. We set all elements to the needle
1009 * length, since this is the correct skip distance for any character
1010 * not found in the needle.
1011 */
1012 for (i = 0; i <= skiptablemask; i++)
1013 state->skiptable[i] = len2;
1014
1015 /*
1016 * Now examine the needle. For each character except the last one,
1017 * set the corresponding table element to the appropriate skip
1018 * distance. Note that when two characters share the same skip table
1019 * entry, the one later in the needle must determine the skip
1020 * distance.
1021 */
1022 last = len2 - 1;
1023
1024 for (i = 0; i < last; i++)
1025 state->skiptable[(unsigned char) str2[i] & skiptablemask] = last - i;
1026 }
1027}
1028
1029/*
1030 * Advance to the next match, starting from the end of the previous match
1031 * (or the beginning of the string, on first call). Returns true if a match
1032 * is found.
1033 *
1034 * Note that this refuses to match an empty-string needle. Most callers
1035 * will have handled that case specially and we'll never see it here.
1036 */
1037static bool
1039{
1040 int needle_len = state->len2;
1041 char *start_ptr;
1042 char *matchptr;
1043
1044 if (needle_len <= 0)
1045 return false; /* result for empty pattern */
1046
1047 /* Start from the point right after the previous match. */
1048 if (state->last_match)
1049 start_ptr = state->last_match + state->last_match_len;
1050 else
1051 start_ptr = state->str1;
1052
1053retry:
1054 matchptr = text_position_next_internal(start_ptr, state);
1055
1056 if (!matchptr)
1057 return false;
1058
1059 /*
1060 * Found a match for the byte sequence. If this is a multibyte encoding,
1061 * where one character's byte sequence can appear inside a longer
1062 * multi-byte character, we need to verify that the match was at a
1063 * character boundary, not in the middle of a multi-byte character.
1064 */
1065 if (state->is_multibyte_char_in_char && state->locale->deterministic)
1066 {
1067 /* Walk one character at a time, until we reach the match. */
1068
1069 /* the search should never move backwards. */
1070 Assert(state->refpoint <= matchptr);
1071
1072 while (state->refpoint < matchptr)
1073 {
1074 /* step to next character. */
1075 state->refpoint += pg_mblen(state->refpoint);
1076 state->refpos++;
1077
1078 /*
1079 * If we stepped over the match's start position, then it was a
1080 * false positive, where the byte sequence appeared in the middle
1081 * of a multi-byte character. Skip it, and continue the search at
1082 * the next character boundary.
1083 */
1084 if (state->refpoint > matchptr)
1085 {
1086 start_ptr = state->refpoint;
1087 goto retry;
1088 }
1089 }
1090 }
1091
1092 state->last_match = matchptr;
1093 state->last_match_len = state->last_match_len_tmp;
1094 return true;
1095}
1096
1097/*
1098 * Subroutine of text_position_next(). This searches for the raw byte
1099 * sequence, ignoring any multi-byte encoding issues. Returns the first
1100 * match starting at 'start_ptr', or NULL if no match is found.
1101 */
1102static char *
1104{
1105 int haystack_len = state->len1;
1106 int needle_len = state->len2;
1107 int skiptablemask = state->skiptablemask;
1108 const char *haystack = state->str1;
1109 const char *needle = state->str2;
1110 const char *haystack_end = &haystack[haystack_len];
1111 const char *hptr;
1112
1113 Assert(start_ptr >= haystack && start_ptr <= haystack_end);
1114 Assert(needle_len > 0);
1115
1116 state->last_match_len_tmp = needle_len;
1117
1118 if (!state->locale->deterministic)
1119 {
1120 /*
1121 * With a nondeterministic collation, we have to use an unoptimized
1122 * route. We walk through the haystack and see if at each position
1123 * there is a substring of the remaining string that is equal to the
1124 * needle under the given collation.
1125 *
1126 * Note, the found substring could have a different length than the
1127 * needle. Callers that want to skip over the found string need to
1128 * read the length of the found substring from last_match_len rather
1129 * than just using the length of their needle.
1130 *
1131 * Most callers will require "greedy" semantics, meaning that we need
1132 * to find the longest such substring, not the shortest. For callers
1133 * that don't need greedy semantics, we can finish on the first match.
1134 *
1135 * This loop depends on the assumption that the needle is nonempty and
1136 * any matching substring must also be nonempty. (Even if the
1137 * collation would accept an empty match, returning one would send
1138 * callers that search for successive matches into an infinite loop.)
1139 */
1140 const char *result_hptr = NULL;
1141
1142 hptr = start_ptr;
1143 while (hptr < haystack_end)
1144 {
1145 const char *test_end;
1146
1147 /*
1148 * First check the common case that there is a match in the
1149 * haystack of exactly the length of the needle.
1150 */
1151 if (!state->greedy &&
1152 haystack_end - hptr >= needle_len &&
1153 pg_strncoll(hptr, needle_len, needle, needle_len, state->locale) == 0)
1154 return (char *) hptr;
1155
1156 /*
1157 * Else check if any of the non-empty substrings starting at hptr
1158 * compare equal to the needle.
1159 */
1160 test_end = hptr;
1161 do
1162 {
1163 test_end += pg_mblen(test_end);
1164 if (pg_strncoll(hptr, (test_end - hptr), needle, needle_len, state->locale) == 0)
1165 {
1166 state->last_match_len_tmp = (test_end - hptr);
1167 result_hptr = hptr;
1168 if (!state->greedy)
1169 break;
1170 }
1171 } while (test_end < haystack_end);
1172
1173 if (result_hptr)
1174 break;
1175
1176 hptr += pg_mblen(hptr);
1177 }
1178
1179 return (char *) result_hptr;
1180 }
1181 else if (needle_len == 1)
1182 {
1183 /* No point in using B-M-H for a one-character needle */
1184 char nchar = *needle;
1185
1186 hptr = start_ptr;
1187 while (hptr < haystack_end)
1188 {
1189 if (*hptr == nchar)
1190 return (char *) hptr;
1191 hptr++;
1192 }
1193 }
1194 else
1195 {
1196 const char *needle_last = &needle[needle_len - 1];
1197
1198 /* Start at startpos plus the length of the needle */
1199 hptr = start_ptr + needle_len - 1;
1200 while (hptr < haystack_end)
1201 {
1202 /* Match the needle scanning *backward* */
1203 const char *nptr;
1204 const char *p;
1205
1206 nptr = needle_last;
1207 p = hptr;
1208 while (*nptr == *p)
1209 {
1210 /* Matched it all? If so, return 1-based position */
1211 if (nptr == needle)
1212 return (char *) p;
1213 nptr--, p--;
1214 }
1215
1216 /*
1217 * No match, so use the haystack char at hptr to decide how far to
1218 * advance. If the needle had any occurrence of that character
1219 * (or more precisely, one sharing the same skiptable entry)
1220 * before its last character, then we advance far enough to align
1221 * the last such needle character with that haystack position.
1222 * Otherwise we can advance by the whole needle length.
1223 */
1224 hptr += state->skiptable[(unsigned char) *hptr & skiptablemask];
1225 }
1226 }
1227
1228 return 0; /* not found */
1229}
1230
1231/*
1232 * Return a pointer to the current match.
1233 *
1234 * The returned pointer points into the original haystack string.
1235 */
1236static char *
1238{
1239 return state->last_match;
1240}
1241
1242/*
1243 * Return the offset of the current match.
1244 *
1245 * The offset is in characters, 1-based.
1246 */
1247static int
1249{
1250 /* Convert the byte position to char position. */
1251 state->refpos += pg_mbstrlen_with_len(state->refpoint,
1252 state->last_match - state->refpoint);
1253 state->refpoint = state->last_match;
1254 return state->refpos + 1;
1255}
1256
1257/*
1258 * Reset search state to the initial state installed by text_position_setup.
1259 *
1260 * The next call to text_position_next will search from the beginning
1261 * of the string.
1262 */
1263static void
1265{
1266 state->last_match = NULL;
1267 state->refpoint = state->str1;
1268 state->refpos = 0;
1269}
1270
1271static void
1273{
1274 /* no cleanup needed */
1275}
1276
1277
1278static void
1280{
1281 if (!OidIsValid(collid))
1282 {
1283 /*
1284 * This typically means that the parser could not resolve a conflict
1285 * of implicit collations, so report it that way.
1286 */
1287 ereport(ERROR,
1288 (errcode(ERRCODE_INDETERMINATE_COLLATION),
1289 errmsg("could not determine which collation to use for string comparison"),
1290 errhint("Use the COLLATE clause to set the collation explicitly.")));
1291 }
1292}
1293
1294/*
1295 * varstr_cmp()
1296 *
1297 * Comparison function for text strings with given lengths, using the
1298 * appropriate locale. Returns an integer less than, equal to, or greater than
1299 * zero, indicating whether arg1 is less than, equal to, or greater than arg2.
1300 *
1301 * Note: many functions that depend on this are marked leakproof; therefore,
1302 * avoid reporting the actual contents of the input when throwing errors.
1303 * All errors herein should be things that can't happen except on corrupt
1304 * data, anyway; otherwise we will have trouble with indexing strings that
1305 * would cause them.
1306 */
1307int
1308varstr_cmp(const char *arg1, int len1, const char *arg2, int len2, Oid collid)
1309{
1310 int result;
1311 pg_locale_t mylocale;
1312
1314
1316
1317 if (mylocale->collate_is_c)
1318 {
1319 result = memcmp(arg1, arg2, Min(len1, len2));
1320 if ((result == 0) && (len1 != len2))
1321 result = (len1 < len2) ? -1 : 1;
1322 }
1323 else
1324 {
1325 /*
1326 * memcmp() can't tell us which of two unequal strings sorts first,
1327 * but it's a cheap way to tell if they're equal. Testing shows that
1328 * memcmp() followed by strcoll() is only trivially slower than
1329 * strcoll() by itself, so we don't lose much if this doesn't work out
1330 * very often, and if it does - for example, because there are many
1331 * equal strings in the input - then we win big by avoiding expensive
1332 * collation-aware comparisons.
1333 */
1334 if (len1 == len2 && memcmp(arg1, arg2, len1) == 0)
1335 return 0;
1336
1337 result = pg_strncoll(arg1, len1, arg2, len2, mylocale);
1338
1339 /* Break tie if necessary. */
1340 if (result == 0 && mylocale->deterministic)
1341 {
1342 result = memcmp(arg1, arg2, Min(len1, len2));
1343 if ((result == 0) && (len1 != len2))
1344 result = (len1 < len2) ? -1 : 1;
1345 }
1346 }
1347
1348 return result;
1349}
1350
1351/* text_cmp()
1352 * Internal comparison function for text strings.
1353 * Returns -1, 0 or 1
1354 */
1355static int
1357{
1358 char *a1p,
1359 *a2p;
1360 int len1,
1361 len2;
1362
1363 a1p = VARDATA_ANY(arg1);
1364 a2p = VARDATA_ANY(arg2);
1365
1366 len1 = VARSIZE_ANY_EXHDR(arg1);
1367 len2 = VARSIZE_ANY_EXHDR(arg2);
1368
1369 return varstr_cmp(a1p, len1, a2p, len2, collid);
1370}
1371
1372/*
1373 * Comparison functions for text strings.
1374 *
1375 * Note: btree indexes need these routines not to leak memory; therefore,
1376 * be careful to free working copies of toasted datums. Most places don't
1377 * need to be so careful.
1378 */
1379
1380Datum
1382{
1384 pg_locale_t mylocale = 0;
1385 bool result;
1386
1388
1390
1391 if (mylocale->deterministic)
1392 {
1393 Datum arg1 = PG_GETARG_DATUM(0);
1394 Datum arg2 = PG_GETARG_DATUM(1);
1395 Size len1,
1396 len2;
1397
1398 /*
1399 * Since we only care about equality or not-equality, we can avoid all
1400 * the expense of strcoll() here, and just do bitwise comparison. In
1401 * fact, we don't even have to do a bitwise comparison if we can show
1402 * the lengths of the strings are unequal; which might save us from
1403 * having to detoast one or both values.
1404 */
1405 len1 = toast_raw_datum_size(arg1);
1406 len2 = toast_raw_datum_size(arg2);
1407 if (len1 != len2)
1408 result = false;
1409 else
1410 {
1411 text *targ1 = DatumGetTextPP(arg1);
1412 text *targ2 = DatumGetTextPP(arg2);
1413
1414 result = (memcmp(VARDATA_ANY(targ1), VARDATA_ANY(targ2),
1415 len1 - VARHDRSZ) == 0);
1416
1417 PG_FREE_IF_COPY(targ1, 0);
1418 PG_FREE_IF_COPY(targ2, 1);
1419 }
1420 }
1421 else
1422 {
1423 text *arg1 = PG_GETARG_TEXT_PP(0);
1424 text *arg2 = PG_GETARG_TEXT_PP(1);
1425
1426 result = (text_cmp(arg1, arg2, collid) == 0);
1427
1428 PG_FREE_IF_COPY(arg1, 0);
1429 PG_FREE_IF_COPY(arg2, 1);
1430 }
1431
1432 PG_RETURN_BOOL(result);
1433}
1434
1435Datum
1437{
1439 pg_locale_t mylocale;
1440 bool result;
1441
1443
1445
1446 if (mylocale->deterministic)
1447 {
1448 Datum arg1 = PG_GETARG_DATUM(0);
1449 Datum arg2 = PG_GETARG_DATUM(1);
1450 Size len1,
1451 len2;
1452
1453 /* See comment in texteq() */
1454 len1 = toast_raw_datum_size(arg1);
1455 len2 = toast_raw_datum_size(arg2);
1456 if (len1 != len2)
1457 result = true;
1458 else
1459 {
1460 text *targ1 = DatumGetTextPP(arg1);
1461 text *targ2 = DatumGetTextPP(arg2);
1462
1463 result = (memcmp(VARDATA_ANY(targ1), VARDATA_ANY(targ2),
1464 len1 - VARHDRSZ) != 0);
1465
1466 PG_FREE_IF_COPY(targ1, 0);
1467 PG_FREE_IF_COPY(targ2, 1);
1468 }
1469 }
1470 else
1471 {
1472 text *arg1 = PG_GETARG_TEXT_PP(0);
1473 text *arg2 = PG_GETARG_TEXT_PP(1);
1474
1475 result = (text_cmp(arg1, arg2, collid) != 0);
1476
1477 PG_FREE_IF_COPY(arg1, 0);
1478 PG_FREE_IF_COPY(arg2, 1);
1479 }
1480
1481 PG_RETURN_BOOL(result);
1482}
1483
1484Datum
1486{
1487 text *arg1 = PG_GETARG_TEXT_PP(0);
1488 text *arg2 = PG_GETARG_TEXT_PP(1);
1489 bool result;
1490
1491 result = (text_cmp(arg1, arg2, PG_GET_COLLATION()) < 0);
1492
1493 PG_FREE_IF_COPY(arg1, 0);
1494 PG_FREE_IF_COPY(arg2, 1);
1495
1496 PG_RETURN_BOOL(result);
1497}
1498
1499Datum
1501{
1502 text *arg1 = PG_GETARG_TEXT_PP(0);
1503 text *arg2 = PG_GETARG_TEXT_PP(1);
1504 bool result;
1505
1506 result = (text_cmp(arg1, arg2, PG_GET_COLLATION()) <= 0);
1507
1508 PG_FREE_IF_COPY(arg1, 0);
1509 PG_FREE_IF_COPY(arg2, 1);
1510
1511 PG_RETURN_BOOL(result);
1512}
1513
1514Datum
1516{
1517 text *arg1 = PG_GETARG_TEXT_PP(0);
1518 text *arg2 = PG_GETARG_TEXT_PP(1);
1519 bool result;
1520
1521 result = (text_cmp(arg1, arg2, PG_GET_COLLATION()) > 0);
1522
1523 PG_FREE_IF_COPY(arg1, 0);
1524 PG_FREE_IF_COPY(arg2, 1);
1525
1526 PG_RETURN_BOOL(result);
1527}
1528
1529Datum
1531{
1532 text *arg1 = PG_GETARG_TEXT_PP(0);
1533 text *arg2 = PG_GETARG_TEXT_PP(1);
1534 bool result;
1535
1536 result = (text_cmp(arg1, arg2, PG_GET_COLLATION()) >= 0);
1537
1538 PG_FREE_IF_COPY(arg1, 0);
1539 PG_FREE_IF_COPY(arg2, 1);
1540
1541 PG_RETURN_BOOL(result);
1542}
1543
1544Datum
1546{
1547 Datum arg1 = PG_GETARG_DATUM(0);
1548 Datum arg2 = PG_GETARG_DATUM(1);
1550 pg_locale_t mylocale;
1551 bool result;
1552 Size len1,
1553 len2;
1554
1556
1558
1559 if (!mylocale->deterministic)
1560 ereport(ERROR,
1561 (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
1562 errmsg("nondeterministic collations are not supported for substring searches")));
1563
1564 len1 = toast_raw_datum_size(arg1);
1565 len2 = toast_raw_datum_size(arg2);
1566 if (len2 > len1)
1567 result = false;
1568 else
1569 {
1570 text *targ1 = text_substring(arg1, 1, len2, false);
1571 text *targ2 = DatumGetTextPP(arg2);
1572
1573 result = (memcmp(VARDATA_ANY(targ1), VARDATA_ANY(targ2),
1574 VARSIZE_ANY_EXHDR(targ2)) == 0);
1575
1576 PG_FREE_IF_COPY(targ1, 0);
1577 PG_FREE_IF_COPY(targ2, 1);
1578 }
1579
1580 PG_RETURN_BOOL(result);
1581}
1582
1583Datum
1585{
1586 text *arg1 = PG_GETARG_TEXT_PP(0);
1587 text *arg2 = PG_GETARG_TEXT_PP(1);
1588 int32 result;
1589
1590 result = text_cmp(arg1, arg2, PG_GET_COLLATION());
1591
1592 PG_FREE_IF_COPY(arg1, 0);
1593 PG_FREE_IF_COPY(arg2, 1);
1594
1595 PG_RETURN_INT32(result);
1596}
1597
1598Datum
1600{
1602 Oid collid = ssup->ssup_collation;
1603 MemoryContext oldcontext;
1604
1605 oldcontext = MemoryContextSwitchTo(ssup->ssup_cxt);
1606
1607 /* Use generic string SortSupport */
1608 varstr_sortsupport(ssup, TEXTOID, collid);
1609
1610 MemoryContextSwitchTo(oldcontext);
1611
1613}
1614
1615/*
1616 * Generic sortsupport interface for character type's operator classes.
1617 * Includes locale support, and support for BpChar semantics (i.e. removing
1618 * trailing spaces before comparison).
1619 *
1620 * Relies on the assumption that text, VarChar, and BpChar all have the
1621 * same representation.
1622 */
1623void
1625{
1626 bool abbreviate = ssup->abbreviate;
1627 bool collate_c = false;
1630
1632
1634
1635 /*
1636 * If possible, set ssup->comparator to a function which can be used to
1637 * directly compare two datums. If we can do this, we'll avoid the
1638 * overhead of a trip through the fmgr layer for every comparison, which
1639 * can be substantial.
1640 *
1641 * Most typically, we'll set the comparator to varlenafastcmp_locale,
1642 * which uses strcoll() to perform comparisons. We use that for the
1643 * BpChar case too, but type NAME uses namefastcmp_locale. However, if
1644 * LC_COLLATE = C, we can make things quite a bit faster with
1645 * varstrfastcmp_c, bpcharfastcmp_c, or namefastcmp_c, all of which use
1646 * memcmp() rather than strcoll().
1647 */
1648 if (locale->collate_is_c)
1649 {
1650 if (typid == BPCHAROID)
1652 else if (typid == NAMEOID)
1653 {
1654 ssup->comparator = namefastcmp_c;
1655 /* Not supporting abbreviation with type NAME, for now */
1656 abbreviate = false;
1657 }
1658 else
1660
1661 collate_c = true;
1662 }
1663 else
1664 {
1665 /*
1666 * We use varlenafastcmp_locale except for type NAME.
1667 */
1668 if (typid == NAMEOID)
1669 {
1671 /* Not supporting abbreviation with type NAME, for now */
1672 abbreviate = false;
1673 }
1674 else
1676
1677 /*
1678 * Unfortunately, it seems that abbreviation for non-C collations is
1679 * broken on many common platforms; see pg_strxfrm_enabled().
1680 *
1681 * Even apart from the risk of broken locales, it's possible that
1682 * there are platforms where the use of abbreviated keys should be
1683 * disabled at compile time. For example, macOS's strxfrm()
1684 * implementation is known to not effectively concentrate a
1685 * significant amount of entropy from the original string in earlier
1686 * transformed blobs. It's possible that other supported platforms
1687 * are similarly encumbered. So, if we ever get past disabling this
1688 * categorically, we may still want or need to disable it for
1689 * particular platforms.
1690 */
1692 abbreviate = false;
1693 }
1694
1695 /*
1696 * If we're using abbreviated keys, or if we're using a locale-aware
1697 * comparison, we need to initialize a VarStringSortSupport object. Both
1698 * cases will make use of the temporary buffers we initialize here for
1699 * scratch space (and to detect requirement for BpChar semantics from
1700 * caller), and the abbreviation case requires additional state.
1701 */
1702 if (abbreviate || !collate_c)
1703 {
1705 sss->buf1 = palloc(TEXTBUFLEN);
1706 sss->buflen1 = TEXTBUFLEN;
1707 sss->buf2 = palloc(TEXTBUFLEN);
1708 sss->buflen2 = TEXTBUFLEN;
1709 /* Start with invalid values */
1710 sss->last_len1 = -1;
1711 sss->last_len2 = -1;
1712 /* Initialize */
1713 sss->last_returned = 0;
1714 if (collate_c)
1715 sss->locale = NULL;
1716 else
1717 sss->locale = locale;
1718
1719 /*
1720 * To avoid somehow confusing a strxfrm() blob and an original string,
1721 * constantly keep track of the variety of data that buf1 and buf2
1722 * currently contain.
1723 *
1724 * Comparisons may be interleaved with conversion calls. Frequently,
1725 * conversions and comparisons are batched into two distinct phases,
1726 * but the correctness of caching cannot hinge upon this. For
1727 * comparison caching, buffer state is only trusted if cache_blob is
1728 * found set to false, whereas strxfrm() caching only trusts the state
1729 * when cache_blob is found set to true.
1730 *
1731 * Arbitrarily initialize cache_blob to true.
1732 */
1733 sss->cache_blob = true;
1734 sss->collate_c = collate_c;
1735 sss->typid = typid;
1736 ssup->ssup_extra = sss;
1737
1738 /*
1739 * If possible, plan to use the abbreviated keys optimization. The
1740 * core code may switch back to authoritative comparator should
1741 * abbreviation be aborted.
1742 */
1743 if (abbreviate)
1744 {
1745 sss->prop_card = 0.20;
1746 initHyperLogLog(&sss->abbr_card, 10);
1747 initHyperLogLog(&sss->full_card, 10);
1748 ssup->abbrev_full_comparator = ssup->comparator;
1752 }
1753 }
1754}
1755
1756/*
1757 * sortsupport comparison func (for C locale case)
1758 */
1759static int
1761{
1764 char *a1p,
1765 *a2p;
1766 int len1,
1767 len2,
1768 result;
1769
1770 a1p = VARDATA_ANY(arg1);
1771 a2p = VARDATA_ANY(arg2);
1772
1773 len1 = VARSIZE_ANY_EXHDR(arg1);
1774 len2 = VARSIZE_ANY_EXHDR(arg2);
1775
1776 result = memcmp(a1p, a2p, Min(len1, len2));
1777 if ((result == 0) && (len1 != len2))
1778 result = (len1 < len2) ? -1 : 1;
1779
1780 /* We can't afford to leak memory here. */
1781 if (PointerGetDatum(arg1) != x)
1782 pfree(arg1);
1783 if (PointerGetDatum(arg2) != y)
1784 pfree(arg2);
1785
1786 return result;
1787}
1788
1789/*
1790 * sortsupport comparison func (for BpChar C locale case)
1791 *
1792 * BpChar outsources its sortsupport to this module. Specialization for the
1793 * varstr_sortsupport BpChar case, modeled on
1794 * internal_bpchar_pattern_compare().
1795 */
1796static int
1798{
1799 BpChar *arg1 = DatumGetBpCharPP(x);
1800 BpChar *arg2 = DatumGetBpCharPP(y);
1801 char *a1p,
1802 *a2p;
1803 int len1,
1804 len2,
1805 result;
1806
1807 a1p = VARDATA_ANY(arg1);
1808 a2p = VARDATA_ANY(arg2);
1809
1810 len1 = bpchartruelen(a1p, VARSIZE_ANY_EXHDR(arg1));
1811 len2 = bpchartruelen(a2p, VARSIZE_ANY_EXHDR(arg2));
1812
1813 result = memcmp(a1p, a2p, Min(len1, len2));
1814 if ((result == 0) && (len1 != len2))
1815 result = (len1 < len2) ? -1 : 1;
1816
1817 /* We can't afford to leak memory here. */
1818 if (PointerGetDatum(arg1) != x)
1819 pfree(arg1);
1820 if (PointerGetDatum(arg2) != y)
1821 pfree(arg2);
1822
1823 return result;
1824}
1825
1826/*
1827 * sortsupport comparison func (for NAME C locale case)
1828 */
1829static int
1831{
1832 Name arg1 = DatumGetName(x);
1833 Name arg2 = DatumGetName(y);
1834
1835 return strncmp(NameStr(*arg1), NameStr(*arg2), NAMEDATALEN);
1836}
1837
1838/*
1839 * sortsupport comparison func (for locale case with all varlena types)
1840 */
1841static int
1843{
1846 char *a1p,
1847 *a2p;
1848 int len1,
1849 len2,
1850 result;
1851
1852 a1p = VARDATA_ANY(arg1);
1853 a2p = VARDATA_ANY(arg2);
1854
1855 len1 = VARSIZE_ANY_EXHDR(arg1);
1856 len2 = VARSIZE_ANY_EXHDR(arg2);
1857
1858 result = varstrfastcmp_locale(a1p, len1, a2p, len2, ssup);
1859
1860 /* We can't afford to leak memory here. */
1861 if (PointerGetDatum(arg1) != x)
1862 pfree(arg1);
1863 if (PointerGetDatum(arg2) != y)
1864 pfree(arg2);
1865
1866 return result;
1867}
1868
1869/*
1870 * sortsupport comparison func (for locale case with NAME type)
1871 */
1872static int
1874{
1875 Name arg1 = DatumGetName(x);
1876 Name arg2 = DatumGetName(y);
1877
1878 return varstrfastcmp_locale(NameStr(*arg1), strlen(NameStr(*arg1)),
1879 NameStr(*arg2), strlen(NameStr(*arg2)),
1880 ssup);
1881}
1882
1883/*
1884 * sortsupport comparison func for locale cases
1885 */
1886static int
1887varstrfastcmp_locale(char *a1p, int len1, char *a2p, int len2, SortSupport ssup)
1888{
1890 int result;
1891 bool arg1_match;
1892
1893 /* Fast pre-check for equality, as discussed in varstr_cmp() */
1894 if (len1 == len2 && memcmp(a1p, a2p, len1) == 0)
1895 {
1896 /*
1897 * No change in buf1 or buf2 contents, so avoid changing last_len1 or
1898 * last_len2. Existing contents of buffers might still be used by
1899 * next call.
1900 *
1901 * It's fine to allow the comparison of BpChar padding bytes here,
1902 * even though that implies that the memcmp() will usually be
1903 * performed for BpChar callers (though multibyte characters could
1904 * still prevent that from occurring). The memcmp() is still very
1905 * cheap, and BpChar's funny semantics have us remove trailing spaces
1906 * (not limited to padding), so we need make no distinction between
1907 * padding space characters and "real" space characters.
1908 */
1909 return 0;
1910 }
1911
1912 if (sss->typid == BPCHAROID)
1913 {
1914 /* Get true number of bytes, ignoring trailing spaces */
1915 len1 = bpchartruelen(a1p, len1);
1916 len2 = bpchartruelen(a2p, len2);
1917 }
1918
1919 if (len1 >= sss->buflen1)
1920 {
1921 sss->buflen1 = Max(len1 + 1, Min(sss->buflen1 * 2, MaxAllocSize));
1922 sss->buf1 = repalloc(sss->buf1, sss->buflen1);
1923 }
1924 if (len2 >= sss->buflen2)
1925 {
1926 sss->buflen2 = Max(len2 + 1, Min(sss->buflen2 * 2, MaxAllocSize));
1927 sss->buf2 = repalloc(sss->buf2, sss->buflen2);
1928 }
1929
1930 /*
1931 * We're likely to be asked to compare the same strings repeatedly, and
1932 * memcmp() is so much cheaper than strcoll() that it pays to try to cache
1933 * comparisons, even though in general there is no reason to think that
1934 * that will work out (every string datum may be unique). Caching does
1935 * not slow things down measurably when it doesn't work out, and can speed
1936 * things up by rather a lot when it does. In part, this is because the
1937 * memcmp() compares data from cachelines that are needed in L1 cache even
1938 * when the last comparison's result cannot be reused.
1939 */
1940 arg1_match = true;
1941 if (len1 != sss->last_len1 || memcmp(sss->buf1, a1p, len1) != 0)
1942 {
1943 arg1_match = false;
1944 memcpy(sss->buf1, a1p, len1);
1945 sss->buf1[len1] = '\0';
1946 sss->last_len1 = len1;
1947 }
1948
1949 /*
1950 * If we're comparing the same two strings as last time, we can return the
1951 * same answer without calling strcoll() again. This is more likely than
1952 * it seems (at least with moderate to low cardinality sets), because
1953 * quicksort compares the same pivot against many values.
1954 */
1955 if (len2 != sss->last_len2 || memcmp(sss->buf2, a2p, len2) != 0)
1956 {
1957 memcpy(sss->buf2, a2p, len2);
1958 sss->buf2[len2] = '\0';
1959 sss->last_len2 = len2;
1960 }
1961 else if (arg1_match && !sss->cache_blob)
1962 {
1963 /* Use result cached following last actual strcoll() call */
1964 return sss->last_returned;
1965 }
1966
1967 result = pg_strcoll(sss->buf1, sss->buf2, sss->locale);
1968
1969 /* Break tie if necessary. */
1970 if (result == 0 && sss->locale->deterministic)
1971 result = strcmp(sss->buf1, sss->buf2);
1972
1973 /* Cache result, perhaps saving an expensive strcoll() call next time */
1974 sss->cache_blob = false;
1975 sss->last_returned = result;
1976 return result;
1977}
1978
1979/*
1980 * Conversion routine for sortsupport. Converts original to abbreviated key
1981 * representation. Our encoding strategy is simple -- pack the first 8 bytes
1982 * of a strxfrm() blob into a Datum (on little-endian machines, the 8 bytes are
1983 * stored in reverse order), and treat it as an unsigned integer. When the "C"
1984 * locale is used just memcpy() from original instead.
1985 */
1986static Datum
1988{
1989 const size_t max_prefix_bytes = sizeof(Datum);
1991 VarString *authoritative = DatumGetVarStringPP(original);
1992 char *authoritative_data = VARDATA_ANY(authoritative);
1993
1994 /* working state */
1995 Datum res;
1996 char *pres;
1997 int len;
1998 uint32 hash;
1999
2000 pres = (char *) &res;
2001 /* memset(), so any non-overwritten bytes are NUL */
2002 memset(pres, 0, max_prefix_bytes);
2003 len = VARSIZE_ANY_EXHDR(authoritative);
2004
2005 /* Get number of bytes, ignoring trailing spaces */
2006 if (sss->typid == BPCHAROID)
2007 len = bpchartruelen(authoritative_data, len);
2008
2009 /*
2010 * If we're using the C collation, use memcpy(), rather than strxfrm(), to
2011 * abbreviate keys. The full comparator for the C locale is also
2012 * memcmp(). This should be faster than strxfrm().
2013 */
2014 if (sss->collate_c)
2015 memcpy(pres, authoritative_data, Min(len, max_prefix_bytes));
2016 else
2017 {
2018 Size bsize;
2019
2020 /*
2021 * We're not using the C collation, so fall back on strxfrm or ICU
2022 * analogs.
2023 */
2024
2025 /* By convention, we use buffer 1 to store and NUL-terminate */
2026 if (len >= sss->buflen1)
2027 {
2028 sss->buflen1 = Max(len + 1, Min(sss->buflen1 * 2, MaxAllocSize));
2029 sss->buf1 = repalloc(sss->buf1, sss->buflen1);
2030 }
2031
2032 /* Might be able to reuse strxfrm() blob from last call */
2033 if (sss->last_len1 == len && sss->cache_blob &&
2034 memcmp(sss->buf1, authoritative_data, len) == 0)
2035 {
2036 memcpy(pres, sss->buf2, Min(max_prefix_bytes, sss->last_len2));
2037 /* No change affecting cardinality, so no hashing required */
2038 goto done;
2039 }
2040
2041 memcpy(sss->buf1, authoritative_data, len);
2042
2043 /*
2044 * pg_strxfrm() and pg_strxfrm_prefix expect NUL-terminated strings.
2045 */
2046 sss->buf1[len] = '\0';
2047 sss->last_len1 = len;
2048
2050 {
2051 if (sss->buflen2 < max_prefix_bytes)
2052 {
2053 sss->buflen2 = Max(max_prefix_bytes,
2054 Min(sss->buflen2 * 2, MaxAllocSize));
2055 sss->buf2 = repalloc(sss->buf2, sss->buflen2);
2056 }
2057
2058 bsize = pg_strxfrm_prefix(sss->buf2, sss->buf1,
2059 max_prefix_bytes, sss->locale);
2060 sss->last_len2 = bsize;
2061 }
2062 else
2063 {
2064 /*
2065 * Loop: Call pg_strxfrm(), possibly enlarge buffer, and try
2066 * again. The pg_strxfrm() function leaves the result buffer
2067 * content undefined if the result did not fit, so we need to
2068 * retry until everything fits, even though we only need the first
2069 * few bytes in the end.
2070 */
2071 for (;;)
2072 {
2073 bsize = pg_strxfrm(sss->buf2, sss->buf1, sss->buflen2,
2074 sss->locale);
2075
2076 sss->last_len2 = bsize;
2077 if (bsize < sss->buflen2)
2078 break;
2079
2080 /*
2081 * Grow buffer and retry.
2082 */
2083 sss->buflen2 = Max(bsize + 1,
2084 Min(sss->buflen2 * 2, MaxAllocSize));
2085 sss->buf2 = repalloc(sss->buf2, sss->buflen2);
2086 }
2087 }
2088
2089 /*
2090 * Every Datum byte is always compared. This is safe because the
2091 * strxfrm() blob is itself NUL terminated, leaving no danger of
2092 * misinterpreting any NUL bytes not intended to be interpreted as
2093 * logically representing termination.
2094 */
2095 memcpy(pres, sss->buf2, Min(max_prefix_bytes, bsize));
2096 }
2097
2098 /*
2099 * Maintain approximate cardinality of both abbreviated keys and original,
2100 * authoritative keys using HyperLogLog. Used as cheap insurance against
2101 * the worst case, where we do many string transformations for no saving
2102 * in full strcoll()-based comparisons. These statistics are used by
2103 * varstr_abbrev_abort().
2104 *
2105 * First, Hash key proper, or a significant fraction of it. Mix in length
2106 * in order to compensate for cases where differences are past
2107 * PG_CACHE_LINE_SIZE bytes, so as to limit the overhead of hashing.
2108 */
2109 hash = DatumGetUInt32(hash_any((unsigned char *) authoritative_data,
2111
2112 if (len > PG_CACHE_LINE_SIZE)
2114
2116
2117 /* Hash abbreviated key */
2118 {
2119 uint32 tmp;
2120
2121 tmp = DatumGetUInt32(res) ^ (uint32) (DatumGetUInt64(res) >> 32);
2123 }
2124
2126
2127 /* Cache result, perhaps saving an expensive strxfrm() call next time */
2128 sss->cache_blob = true;
2129done:
2130
2131 /*
2132 * Byteswap on little-endian machines.
2133 *
2134 * This is needed so that ssup_datum_unsigned_cmp() (an unsigned integer
2135 * 3-way comparator) works correctly on all platforms. If we didn't do
2136 * this, the comparator would have to call memcmp() with a pair of
2137 * pointers to the first byte of each abbreviated key, which is slower.
2138 */
2139 res = DatumBigEndianToNative(res);
2140
2141 /* Don't leak memory here */
2142 if (PointerGetDatum(authoritative) != original)
2143 pfree(authoritative);
2144
2145 return res;
2146}
2147
2148/*
2149 * Callback for estimating effectiveness of abbreviated key optimization, using
2150 * heuristic rules. Returns value indicating if the abbreviation optimization
2151 * should be aborted, based on its projected effectiveness.
2152 */
2153static bool
2154varstr_abbrev_abort(int memtupcount, SortSupport ssup)
2155{
2157 double abbrev_distinct,
2158 key_distinct;
2159
2160 Assert(ssup->abbreviate);
2161
2162 /* Have a little patience */
2163 if (memtupcount < 100)
2164 return false;
2165
2166 abbrev_distinct = estimateHyperLogLog(&sss->abbr_card);
2167 key_distinct = estimateHyperLogLog(&sss->full_card);
2168
2169 /*
2170 * Clamp cardinality estimates to at least one distinct value. While
2171 * NULLs are generally disregarded, if only NULL values were seen so far,
2172 * that might misrepresent costs if we failed to clamp.
2173 */
2174 if (abbrev_distinct < 1.0)
2175 abbrev_distinct = 1.0;
2176
2177 if (key_distinct < 1.0)
2178 key_distinct = 1.0;
2179
2180 /*
2181 * In the worst case all abbreviated keys are identical, while at the same
2182 * time there are differences within full key strings not captured in
2183 * abbreviations.
2184 */
2185 if (trace_sort)
2186 {
2187 double norm_abbrev_card = abbrev_distinct / (double) memtupcount;
2188
2189 elog(LOG, "varstr_abbrev: abbrev_distinct after %d: %f "
2190 "(key_distinct: %f, norm_abbrev_card: %f, prop_card: %f)",
2191 memtupcount, abbrev_distinct, key_distinct, norm_abbrev_card,
2192 sss->prop_card);
2193 }
2194
2195 /*
2196 * If the number of distinct abbreviated keys approximately matches the
2197 * number of distinct authoritative original keys, that's reason enough to
2198 * proceed. We can win even with a very low cardinality set if most
2199 * tie-breakers only memcmp(). This is by far the most important
2200 * consideration.
2201 *
2202 * While comparisons that are resolved at the abbreviated key level are
2203 * considerably cheaper than tie-breakers resolved with memcmp(), both of
2204 * those two outcomes are so much cheaper than a full strcoll() once
2205 * sorting is underway that it doesn't seem worth it to weigh abbreviated
2206 * cardinality against the overall size of the set in order to more
2207 * accurately model costs. Assume that an abbreviated comparison, and an
2208 * abbreviated comparison with a cheap memcmp()-based authoritative
2209 * resolution are equivalent.
2210 */
2211 if (abbrev_distinct > key_distinct * sss->prop_card)
2212 {
2213 /*
2214 * When we have exceeded 10,000 tuples, decay required cardinality
2215 * aggressively for next call.
2216 *
2217 * This is useful because the number of comparisons required on
2218 * average increases at a linearithmic rate, and at roughly 10,000
2219 * tuples that factor will start to dominate over the linear costs of
2220 * string transformation (this is a conservative estimate). The decay
2221 * rate is chosen to be a little less aggressive than halving -- which
2222 * (since we're called at points at which memtupcount has doubled)
2223 * would never see the cost model actually abort past the first call
2224 * following a decay. This decay rate is mostly a precaution against
2225 * a sudden, violent swing in how well abbreviated cardinality tracks
2226 * full key cardinality. The decay also serves to prevent a marginal
2227 * case from being aborted too late, when too much has already been
2228 * invested in string transformation.
2229 *
2230 * It's possible for sets of several million distinct strings with
2231 * mere tens of thousands of distinct abbreviated keys to still
2232 * benefit very significantly. This will generally occur provided
2233 * each abbreviated key is a proxy for a roughly uniform number of the
2234 * set's full keys. If it isn't so, we hope to catch that early and
2235 * abort. If it isn't caught early, by the time the problem is
2236 * apparent it's probably not worth aborting.
2237 */
2238 if (memtupcount > 10000)
2239 sss->prop_card *= 0.65;
2240
2241 return false;
2242 }
2243
2244 /*
2245 * Abort abbreviation strategy.
2246 *
2247 * The worst case, where all abbreviated keys are identical while all
2248 * original strings differ will typically only see a regression of about
2249 * 10% in execution time for small to medium sized lists of strings.
2250 * Whereas on modern CPUs where cache stalls are the dominant cost, we can
2251 * often expect very large improvements, particularly with sets of strings
2252 * of moderately high to high abbreviated cardinality. There is little to
2253 * lose but much to gain, which our strategy reflects.
2254 */
2255 if (trace_sort)
2256 elog(LOG, "varstr_abbrev: aborted abbreviation at %d "
2257 "(abbrev_distinct: %f, key_distinct: %f, prop_card: %f)",
2258 memtupcount, abbrev_distinct, key_distinct, sss->prop_card);
2259
2260 return true;
2261}
2262
2263/*
2264 * Generic equalimage support function for character type's operator classes.
2265 * Disables the use of deduplication with nondeterministic collations.
2266 */
2267Datum
2269{
2270 /* Oid opcintype = PG_GETARG_OID(0); */
2273
2275
2277
2278 PG_RETURN_BOOL(locale->deterministic);
2279}
2280
2281Datum
2283{
2284 text *arg1 = PG_GETARG_TEXT_PP(0);
2285 text *arg2 = PG_GETARG_TEXT_PP(1);
2286 text *result;
2287
2288 result = ((text_cmp(arg1, arg2, PG_GET_COLLATION()) > 0) ? arg1 : arg2);
2289
2290 PG_RETURN_TEXT_P(result);
2291}
2292
2293Datum
2295{
2296 text *arg1 = PG_GETARG_TEXT_PP(0);
2297 text *arg2 = PG_GETARG_TEXT_PP(1);
2298 text *result;
2299
2300 result = ((text_cmp(arg1, arg2, PG_GET_COLLATION()) < 0) ? arg1 : arg2);
2301
2302 PG_RETURN_TEXT_P(result);
2303}
2304
2305
2306/*
2307 * Cross-type comparison functions for types text and name.
2308 */
2309
2310Datum
2312{
2313 Name arg1 = PG_GETARG_NAME(0);
2314 text *arg2 = PG_GETARG_TEXT_PP(1);
2315 size_t len1 = strlen(NameStr(*arg1));
2316 size_t len2 = VARSIZE_ANY_EXHDR(arg2);
2318 bool result;
2319
2321
2322 if (collid == C_COLLATION_OID)
2323 result = (len1 == len2 &&
2324 memcmp(NameStr(*arg1), VARDATA_ANY(arg2), len1) == 0);
2325 else
2326 result = (varstr_cmp(NameStr(*arg1), len1,
2327 VARDATA_ANY(arg2), len2,
2328 collid) == 0);
2329
2330 PG_FREE_IF_COPY(arg2, 1);
2331
2332 PG_RETURN_BOOL(result);
2333}
2334
2335Datum
2337{
2338 text *arg1 = PG_GETARG_TEXT_PP(0);
2339 Name arg2 = PG_GETARG_NAME(1);
2340 size_t len1 = VARSIZE_ANY_EXHDR(arg1);
2341 size_t len2 = strlen(NameStr(*arg2));
2343 bool result;
2344
2346
2347 if (collid == C_COLLATION_OID)
2348 result = (len1 == len2 &&
2349 memcmp(VARDATA_ANY(arg1), NameStr(*arg2), len1) == 0);
2350 else
2351 result = (varstr_cmp(VARDATA_ANY(arg1), len1,
2352 NameStr(*arg2), len2,
2353 collid) == 0);
2354
2355 PG_FREE_IF_COPY(arg1, 0);
2356
2357 PG_RETURN_BOOL(result);
2358}
2359
2360Datum
2362{
2363 Name arg1 = PG_GETARG_NAME(0);
2364 text *arg2 = PG_GETARG_TEXT_PP(1);
2365 size_t len1 = strlen(NameStr(*arg1));
2366 size_t len2 = VARSIZE_ANY_EXHDR(arg2);
2368 bool result;
2369
2371
2372 if (collid == C_COLLATION_OID)
2373 result = !(len1 == len2 &&
2374 memcmp(NameStr(*arg1), VARDATA_ANY(arg2), len1) == 0);
2375 else
2376 result = !(varstr_cmp(NameStr(*arg1), len1,
2377 VARDATA_ANY(arg2), len2,
2378 collid) == 0);
2379
2380 PG_FREE_IF_COPY(arg2, 1);
2381
2382 PG_RETURN_BOOL(result);
2383}
2384
2385Datum
2387{
2388 text *arg1 = PG_GETARG_TEXT_PP(0);
2389 Name arg2 = PG_GETARG_NAME(1);
2390 size_t len1 = VARSIZE_ANY_EXHDR(arg1);
2391 size_t len2 = strlen(NameStr(*arg2));
2393 bool result;
2394
2396
2397 if (collid == C_COLLATION_OID)
2398 result = !(len1 == len2 &&
2399 memcmp(VARDATA_ANY(arg1), NameStr(*arg2), len1) == 0);
2400 else
2401 result = !(varstr_cmp(VARDATA_ANY(arg1), len1,
2402 NameStr(*arg2), len2,
2403 collid) == 0);
2404
2405 PG_FREE_IF_COPY(arg1, 0);
2406
2407 PG_RETURN_BOOL(result);
2408}
2409
2410Datum
2412{
2413 Name arg1 = PG_GETARG_NAME(0);
2414 text *arg2 = PG_GETARG_TEXT_PP(1);
2415 int32 result;
2416
2417 result = varstr_cmp(NameStr(*arg1), strlen(NameStr(*arg1)),
2418 VARDATA_ANY(arg2), VARSIZE_ANY_EXHDR(arg2),
2420
2421 PG_FREE_IF_COPY(arg2, 1);
2422
2423 PG_RETURN_INT32(result);
2424}
2425
2426Datum
2428{
2429 text *arg1 = PG_GETARG_TEXT_PP(0);
2430 Name arg2 = PG_GETARG_NAME(1);
2431 int32 result;
2432
2433 result = varstr_cmp(VARDATA_ANY(arg1), VARSIZE_ANY_EXHDR(arg1),
2434 NameStr(*arg2), strlen(NameStr(*arg2)),
2436
2437 PG_FREE_IF_COPY(arg1, 0);
2438
2439 PG_RETURN_INT32(result);
2440}
2441
2442#define CmpCall(cmpfunc) \
2443 DatumGetInt32(DirectFunctionCall2Coll(cmpfunc, \
2444 PG_GET_COLLATION(), \
2445 PG_GETARG_DATUM(0), \
2446 PG_GETARG_DATUM(1)))
2447
2448Datum
2450{
2452}
2453
2454Datum
2456{
2458}
2459
2460Datum
2462{
2464}
2465
2466Datum
2468{
2470}
2471
2472Datum
2474{
2476}
2477
2478Datum
2480{
2482}
2483
2484Datum
2486{
2488}
2489
2490Datum
2492{
2494}
2495
2496#undef CmpCall
2497
2498
2499/*
2500 * The following operators support character-by-character comparison
2501 * of text datums, to allow building indexes suitable for LIKE clauses.
2502 * Note that the regular texteq/textne comparison operators, and regular
2503 * support functions 1 and 2 with "C" collation are assumed to be
2504 * compatible with these!
2505 */
2506
2507static int
2509{
2510 int result;
2511 int len1,
2512 len2;
2513
2514 len1 = VARSIZE_ANY_EXHDR(arg1);
2515 len2 = VARSIZE_ANY_EXHDR(arg2);
2516
2517 result = memcmp(VARDATA_ANY(arg1), VARDATA_ANY(arg2), Min(len1, len2));
2518 if (result != 0)
2519 return result;
2520 else if (len1 < len2)
2521 return -1;
2522 else if (len1 > len2)
2523 return 1;
2524 else
2525 return 0;
2526}
2527
2528
2529Datum
2531{
2532 text *arg1 = PG_GETARG_TEXT_PP(0);
2533 text *arg2 = PG_GETARG_TEXT_PP(1);
2534 int result;
2535
2536 result = internal_text_pattern_compare(arg1, arg2);
2537
2538 PG_FREE_IF_COPY(arg1, 0);
2539 PG_FREE_IF_COPY(arg2, 1);
2540
2541 PG_RETURN_BOOL(result < 0);
2542}
2543
2544
2545Datum
2547{
2548 text *arg1 = PG_GETARG_TEXT_PP(0);
2549 text *arg2 = PG_GETARG_TEXT_PP(1);
2550 int result;
2551
2552 result = internal_text_pattern_compare(arg1, arg2);
2553
2554 PG_FREE_IF_COPY(arg1, 0);
2555 PG_FREE_IF_COPY(arg2, 1);
2556
2557 PG_RETURN_BOOL(result <= 0);
2558}
2559
2560
2561Datum
2563{
2564 text *arg1 = PG_GETARG_TEXT_PP(0);
2565 text *arg2 = PG_GETARG_TEXT_PP(1);
2566 int result;
2567
2568 result = internal_text_pattern_compare(arg1, arg2);
2569
2570 PG_FREE_IF_COPY(arg1, 0);
2571 PG_FREE_IF_COPY(arg2, 1);
2572
2573 PG_RETURN_BOOL(result >= 0);
2574}
2575
2576
2577Datum
2579{
2580 text *arg1 = PG_GETARG_TEXT_PP(0);
2581 text *arg2 = PG_GETARG_TEXT_PP(1);
2582 int result;
2583
2584 result = internal_text_pattern_compare(arg1, arg2);
2585
2586 PG_FREE_IF_COPY(arg1, 0);
2587 PG_FREE_IF_COPY(arg2, 1);
2588
2589 PG_RETURN_BOOL(result > 0);
2590}
2591
2592
2593Datum
2595{
2596 text *arg1 = PG_GETARG_TEXT_PP(0);
2597 text *arg2 = PG_GETARG_TEXT_PP(1);
2598 int result;
2599
2600 result = internal_text_pattern_compare(arg1, arg2);
2601
2602 PG_FREE_IF_COPY(arg1, 0);
2603 PG_FREE_IF_COPY(arg2, 1);
2604
2605 PG_RETURN_INT32(result);
2606}
2607
2608
2609Datum
2611{
2613 MemoryContext oldcontext;
2614
2615 oldcontext = MemoryContextSwitchTo(ssup->ssup_cxt);
2616
2617 /* Use generic string SortSupport, forcing "C" collation */
2618 varstr_sortsupport(ssup, TEXTOID, C_COLLATION_OID);
2619
2620 MemoryContextSwitchTo(oldcontext);
2621
2623}
2624
2625
2626/* text_name()
2627 * Converts a text type to a Name type.
2628 */
2629Datum
2631{
2632 text *s = PG_GETARG_TEXT_PP(0);
2633 Name result;
2634 int len;
2635
2637
2638 /* Truncate oversize input */
2639 if (len >= NAMEDATALEN)
2641
2642 /* We use palloc0 here to ensure result is zero-padded */
2643 result = (Name) palloc0(NAMEDATALEN);
2644 memcpy(NameStr(*result), VARDATA_ANY(s), len);
2645
2646 PG_RETURN_NAME(result);
2647}
2648
2649/* name_text()
2650 * Converts a Name type to a text type.
2651 */
2652Datum
2654{
2655 Name s = PG_GETARG_NAME(0);
2656
2658}
2659
2660
2661/*
2662 * textToQualifiedNameList - convert a text object to list of names
2663 *
2664 * This implements the input parsing needed by nextval() and other
2665 * functions that take a text parameter representing a qualified name.
2666 * We split the name at dots, downcase if not double-quoted, and
2667 * truncate names if they're too long.
2668 */
2669List *
2671{
2672 char *rawname;
2673 List *result = NIL;
2674 List *namelist;
2675 ListCell *l;
2676
2677 /* Convert to C string (handles possible detoasting). */
2678 /* Note we rely on being able to modify rawname below. */
2679 rawname = text_to_cstring(textval);
2680
2681 if (!SplitIdentifierString(rawname, '.', &namelist))
2682 ereport(ERROR,
2683 (errcode(ERRCODE_INVALID_NAME),
2684 errmsg("invalid name syntax")));
2685
2686 if (namelist == NIL)
2687 ereport(ERROR,
2688 (errcode(ERRCODE_INVALID_NAME),
2689 errmsg("invalid name syntax")));
2690
2691 foreach(l, namelist)
2692 {
2693 char *curname = (char *) lfirst(l);
2694
2695 result = lappend(result, makeString(pstrdup(curname)));
2696 }
2697
2698 pfree(rawname);
2699 list_free(namelist);
2700
2701 return result;
2702}
2703
2704/*
2705 * SplitIdentifierString --- parse a string containing identifiers
2706 *
2707 * This is the guts of textToQualifiedNameList, and is exported for use in
2708 * other situations such as parsing GUC variables. In the GUC case, it's
2709 * important to avoid memory leaks, so the API is designed to minimize the
2710 * amount of stuff that needs to be allocated and freed.
2711 *
2712 * Inputs:
2713 * rawstring: the input string; must be overwritable! On return, it's
2714 * been modified to contain the separated identifiers.
2715 * separator: the separator punctuation expected between identifiers
2716 * (typically '.' or ','). Whitespace may also appear around
2717 * identifiers.
2718 * Outputs:
2719 * namelist: filled with a palloc'd list of pointers to identifiers within
2720 * rawstring. Caller should list_free() this even on error return.
2721 *
2722 * Returns true if okay, false if there is a syntax error in the string.
2723 *
2724 * Note that an empty string is considered okay here, though not in
2725 * textToQualifiedNameList.
2726 */
2727bool
2728SplitIdentifierString(char *rawstring, char separator,
2729 List **namelist)
2730{
2731 char *nextp = rawstring;
2732 bool done = false;
2733
2734 *namelist = NIL;
2735
2736 while (scanner_isspace(*nextp))
2737 nextp++; /* skip leading whitespace */
2738
2739 if (*nextp == '\0')
2740 return true; /* empty string represents empty list */
2741
2742 /* At the top of the loop, we are at start of a new identifier. */
2743 do
2744 {
2745 char *curname;
2746 char *endp;
2747
2748 if (*nextp == '"')
2749 {
2750 /* Quoted name --- collapse quote-quote pairs, no downcasing */
2751 curname = nextp + 1;
2752 for (;;)
2753 {
2754 endp = strchr(nextp + 1, '"');
2755 if (endp == NULL)
2756 return false; /* mismatched quotes */
2757 if (endp[1] != '"')
2758 break; /* found end of quoted name */
2759 /* Collapse adjacent quotes into one quote, and look again */
2760 memmove(endp, endp + 1, strlen(endp));
2761 nextp = endp;
2762 }
2763 /* endp now points at the terminating quote */
2764 nextp = endp + 1;
2765 }
2766 else
2767 {
2768 /* Unquoted name --- extends to separator or whitespace */
2769 char *downname;
2770 int len;
2771
2772 curname = nextp;
2773 while (*nextp && *nextp != separator &&
2774 !scanner_isspace(*nextp))
2775 nextp++;
2776 endp = nextp;
2777 if (curname == nextp)
2778 return false; /* empty unquoted name not allowed */
2779
2780 /*
2781 * Downcase the identifier, using same code as main lexer does.
2782 *
2783 * XXX because we want to overwrite the input in-place, we cannot
2784 * support a downcasing transformation that increases the string
2785 * length. This is not a problem given the current implementation
2786 * of downcase_truncate_identifier, but we'll probably have to do
2787 * something about this someday.
2788 */
2789 len = endp - curname;
2790 downname = downcase_truncate_identifier(curname, len, false);
2791 Assert(strlen(downname) <= len);
2792 strncpy(curname, downname, len); /* strncpy is required here */
2793 pfree(downname);
2794 }
2795
2796 while (scanner_isspace(*nextp))
2797 nextp++; /* skip trailing whitespace */
2798
2799 if (*nextp == separator)
2800 {
2801 nextp++;
2802 while (scanner_isspace(*nextp))
2803 nextp++; /* skip leading whitespace for next */
2804 /* we expect another name, so done remains false */
2805 }
2806 else if (*nextp == '\0')
2807 done = true;
2808 else
2809 return false; /* invalid syntax */
2810
2811 /* Now safe to overwrite separator with a null */
2812 *endp = '\0';
2813
2814 /* Truncate name if it's overlength */
2815 truncate_identifier(curname, strlen(curname), false);
2816
2817 /*
2818 * Finished isolating current name --- add it to list
2819 */
2820 *namelist = lappend(*namelist, curname);
2821
2822 /* Loop back if we didn't reach end of string */
2823 } while (!done);
2824
2825 return true;
2826}
2827
2828
2829/*
2830 * SplitDirectoriesString --- parse a string containing file/directory names
2831 *
2832 * This works fine on file names too; the function name is historical.
2833 *
2834 * This is similar to SplitIdentifierString, except that the parsing
2835 * rules are meant to handle pathnames instead of identifiers: there is
2836 * no downcasing, embedded spaces are allowed, the max length is MAXPGPATH-1,
2837 * and we apply canonicalize_path() to each extracted string. Because of the
2838 * last, the returned strings are separately palloc'd rather than being
2839 * pointers into rawstring --- but we still scribble on rawstring.
2840 *
2841 * Inputs:
2842 * rawstring: the input string; must be modifiable!
2843 * separator: the separator punctuation expected between directories
2844 * (typically ',' or ';'). Whitespace may also appear around
2845 * directories.
2846 * Outputs:
2847 * namelist: filled with a palloc'd list of directory names.
2848 * Caller should list_free_deep() this even on error return.
2849 *
2850 * Returns true if okay, false if there is a syntax error in the string.
2851 *
2852 * Note that an empty string is considered okay here.
2853 */
2854bool
2855SplitDirectoriesString(char *rawstring, char separator,
2856 List **namelist)
2857{
2858 char *nextp = rawstring;
2859 bool done = false;
2860
2861 *namelist = NIL;
2862
2863 while (scanner_isspace(*nextp))
2864 nextp++; /* skip leading whitespace */
2865
2866 if (*nextp == '\0')
2867 return true; /* empty string represents empty list */
2868
2869 /* At the top of the loop, we are at start of a new directory. */
2870 do
2871 {
2872 char *curname;
2873 char *endp;
2874
2875 if (*nextp == '"')
2876 {
2877 /* Quoted name --- collapse quote-quote pairs */
2878 curname = nextp + 1;
2879 for (;;)
2880 {
2881 endp = strchr(nextp + 1, '"');
2882 if (endp == NULL)
2883 return false; /* mismatched quotes */
2884 if (endp[1] != '"')
2885 break; /* found end of quoted name */
2886 /* Collapse adjacent quotes into one quote, and look again */
2887 memmove(endp, endp + 1, strlen(endp));
2888 nextp = endp;
2889 }
2890 /* endp now points at the terminating quote */
2891 nextp = endp + 1;
2892 }
2893 else
2894 {
2895 /* Unquoted name --- extends to separator or end of string */
2896 curname = endp = nextp;
2897 while (*nextp && *nextp != separator)
2898 {
2899 /* trailing whitespace should not be included in name */
2900 if (!scanner_isspace(*nextp))
2901 endp = nextp + 1;
2902 nextp++;
2903 }
2904 if (curname == endp)
2905 return false; /* empty unquoted name not allowed */
2906 }
2907
2908 while (scanner_isspace(*nextp))
2909 nextp++; /* skip trailing whitespace */
2910
2911 if (*nextp == separator)
2912 {
2913 nextp++;
2914 while (scanner_isspace(*nextp))
2915 nextp++; /* skip leading whitespace for next */
2916 /* we expect another name, so done remains false */
2917 }
2918 else if (*nextp == '\0')
2919 done = true;
2920 else
2921 return false; /* invalid syntax */
2922
2923 /* Now safe to overwrite separator with a null */
2924 *endp = '\0';
2925
2926 /* Truncate path if it's overlength */
2927 if (strlen(curname) >= MAXPGPATH)
2928 curname[MAXPGPATH - 1] = '\0';
2929
2930 /*
2931 * Finished isolating current name --- add it to list
2932 */
2933 curname = pstrdup(curname);
2934 canonicalize_path(curname);
2935 *namelist = lappend(*namelist, curname);
2936
2937 /* Loop back if we didn't reach end of string */
2938 } while (!done);
2939
2940 return true;
2941}
2942
2943
2944/*
2945 * SplitGUCList --- parse a string containing identifiers or file names
2946 *
2947 * This is used to split the value of a GUC_LIST_QUOTE GUC variable, without
2948 * presuming whether the elements will be taken as identifiers or file names.
2949 * We assume the input has already been through flatten_set_variable_args(),
2950 * so that we need never downcase (if appropriate, that was done already).
2951 * Nor do we ever truncate, since we don't know the correct max length.
2952 * We disallow embedded whitespace for simplicity (it shouldn't matter,
2953 * because any embedded whitespace should have led to double-quoting).
2954 * Otherwise the API is identical to SplitIdentifierString.
2955 *
2956 * XXX it's annoying to have so many copies of this string-splitting logic.
2957 * However, it's not clear that having one function with a bunch of option
2958 * flags would be much better.
2959 *
2960 * XXX there is a version of this function in src/bin/pg_dump/dumputils.c.
2961 * Be sure to update that if you have to change this.
2962 *
2963 * Inputs:
2964 * rawstring: the input string; must be overwritable! On return, it's
2965 * been modified to contain the separated identifiers.
2966 * separator: the separator punctuation expected between identifiers
2967 * (typically '.' or ','). Whitespace may also appear around
2968 * identifiers.
2969 * Outputs:
2970 * namelist: filled with a palloc'd list of pointers to identifiers within
2971 * rawstring. Caller should list_free() this even on error return.
2972 *
2973 * Returns true if okay, false if there is a syntax error in the string.
2974 */
2975bool
2976SplitGUCList(char *rawstring, char separator,
2977 List **namelist)
2978{
2979 char *nextp = rawstring;
2980 bool done = false;
2981
2982 *namelist = NIL;
2983
2984 while (scanner_isspace(*nextp))
2985 nextp++; /* skip leading whitespace */
2986
2987 if (*nextp == '\0')
2988 return true; /* empty string represents empty list */
2989
2990 /* At the top of the loop, we are at start of a new identifier. */
2991 do
2992 {
2993 char *curname;
2994 char *endp;
2995
2996 if (*nextp == '"')
2997 {
2998 /* Quoted name --- collapse quote-quote pairs */
2999 curname = nextp + 1;
3000 for (;;)
3001 {
3002 endp = strchr(nextp + 1, '"');
3003 if (endp == NULL)
3004 return false; /* mismatched quotes */
3005 if (endp[1] != '"')
3006 break; /* found end of quoted name */
3007 /* Collapse adjacent quotes into one quote, and look again */
3008 memmove(endp, endp + 1, strlen(endp));
3009 nextp = endp;
3010 }
3011 /* endp now points at the terminating quote */
3012 nextp = endp + 1;
3013 }
3014 else
3015 {
3016 /* Unquoted name --- extends to separator or whitespace */
3017 curname = nextp;
3018 while (*nextp && *nextp != separator &&
3019 !scanner_isspace(*nextp))
3020 nextp++;
3021 endp = nextp;
3022 if (curname == nextp)
3023 return false; /* empty unquoted name not allowed */
3024 }
3025
3026 while (scanner_isspace(*nextp))
3027 nextp++; /* skip trailing whitespace */
3028
3029 if (*nextp == separator)
3030 {
3031 nextp++;
3032 while (scanner_isspace(*nextp))
3033 nextp++; /* skip leading whitespace for next */
3034 /* we expect another name, so done remains false */
3035 }
3036 else if (*nextp == '\0')
3037 done = true;
3038 else
3039 return false; /* invalid syntax */
3040
3041 /* Now safe to overwrite separator with a null */
3042 *endp = '\0';
3043
3044 /*
3045 * Finished isolating current name --- add it to list
3046 */
3047 *namelist = lappend(*namelist, curname);
3048
3049 /* Loop back if we didn't reach end of string */
3050 } while (!done);
3051
3052 return true;
3053}
3054
3055/*
3056 * appendStringInfoText
3057 *
3058 * Append a text to str.
3059 * Like appendStringInfoString(str, text_to_cstring(t)) but faster.
3060 */
3061static void
3063{
3065}
3066
3067/*
3068 * replace_text
3069 * replace all occurrences of 'old_sub_str' in 'orig_str'
3070 * with 'new_sub_str' to form 'new_str'
3071 *
3072 * returns 'orig_str' if 'old_sub_str' == '' or 'orig_str' == ''
3073 * otherwise returns 'new_str'
3074 */
3075Datum
3077{
3078 text *src_text = PG_GETARG_TEXT_PP(0);
3079 text *from_sub_text = PG_GETARG_TEXT_PP(1);
3080 text *to_sub_text = PG_GETARG_TEXT_PP(2);
3081 int src_text_len;
3082 int from_sub_text_len;
3084 text *ret_text;
3085 int chunk_len;
3086 char *curr_ptr;
3087 char *start_ptr;
3089 bool found;
3090
3091 src_text_len = VARSIZE_ANY_EXHDR(src_text);
3092 from_sub_text_len = VARSIZE_ANY_EXHDR(from_sub_text);
3093
3094 /* Return unmodified source string if empty source or pattern */
3095 if (src_text_len < 1 || from_sub_text_len < 1)
3096 {
3097 PG_RETURN_TEXT_P(src_text);
3098 }
3099
3100 text_position_setup(src_text, from_sub_text, PG_GET_COLLATION(), &state);
3101
3102 found = text_position_next(&state);
3103
3104 /* When the from_sub_text is not found, there is nothing to do. */
3105 if (!found)
3106 {
3108 PG_RETURN_TEXT_P(src_text);
3109 }
3111 start_ptr = VARDATA_ANY(src_text);
3112
3114
3115 do
3116 {
3118
3119 /* copy the data skipped over by last text_position_next() */
3120 chunk_len = curr_ptr - start_ptr;
3121 appendBinaryStringInfo(&str, start_ptr, chunk_len);
3122
3123 appendStringInfoText(&str, to_sub_text);
3124
3125 start_ptr = curr_ptr + state.last_match_len;
3126
3127 found = text_position_next(&state);
3128 if (found)
3130 }
3131 while (found);
3132
3133 /* copy trailing data */
3134 chunk_len = ((char *) src_text + VARSIZE_ANY(src_text)) - start_ptr;
3135 appendBinaryStringInfo(&str, start_ptr, chunk_len);
3136
3138
3139 ret_text = cstring_to_text_with_len(str.data, str.len);
3140 pfree(str.data);
3141
3142 PG_RETURN_TEXT_P(ret_text);
3143}
3144
3145/*
3146 * check_replace_text_has_escape
3147 *
3148 * Returns 0 if text contains no backslashes that need processing.
3149 * Returns 1 if text contains backslashes, but not regexp submatch specifiers.
3150 * Returns 2 if text contains regexp submatch specifiers (\1 .. \9).
3151 */
3152static int
3154{
3155 int result = 0;
3156 const char *p = VARDATA_ANY(replace_text);
3157 const char *p_end = p + VARSIZE_ANY_EXHDR(replace_text);
3158
3159 while (p < p_end)
3160 {
3161 /* Find next escape char, if any. */
3162 p = memchr(p, '\\', p_end - p);
3163 if (p == NULL)
3164 break;
3165 p++;
3166 /* Note: a backslash at the end doesn't require extra processing. */
3167 if (p < p_end)
3168 {
3169 if (*p >= '1' && *p <= '9')
3170 return 2; /* Found a submatch specifier, so done */
3171 result = 1; /* Found some other sequence, keep looking */
3172 p++;
3173 }
3174 }
3175 return result;
3176}
3177
3178/*
3179 * appendStringInfoRegexpSubstr
3180 *
3181 * Append replace_text to str, substituting regexp back references for
3182 * \n escapes. start_ptr is the start of the match in the source string,
3183 * at logical character position data_pos.
3184 */
3185static void
3187 regmatch_t *pmatch,
3188 char *start_ptr, int data_pos)
3189{
3190 const char *p = VARDATA_ANY(replace_text);
3191 const char *p_end = p + VARSIZE_ANY_EXHDR(replace_text);
3192
3193 while (p < p_end)
3194 {
3195 const char *chunk_start = p;
3196 int so;
3197 int eo;
3198
3199 /* Find next escape char, if any. */
3200 p = memchr(p, '\\', p_end - p);
3201 if (p == NULL)
3202 p = p_end;
3203
3204 /* Copy the text we just scanned over, if any. */
3205 if (p > chunk_start)
3206 appendBinaryStringInfo(str, chunk_start, p - chunk_start);
3207
3208 /* Done if at end of string, else advance over escape char. */
3209 if (p >= p_end)
3210 break;
3211 p++;
3212
3213 if (p >= p_end)
3214 {
3215 /* Escape at very end of input. Treat same as unexpected char */
3217 break;
3218 }
3219
3220 if (*p >= '1' && *p <= '9')
3221 {
3222 /* Use the back reference of regexp. */
3223 int idx = *p - '0';
3224
3225 so = pmatch[idx].rm_so;
3226 eo = pmatch[idx].rm_eo;
3227 p++;
3228 }
3229 else if (*p == '&')
3230 {
3231 /* Use the entire matched string. */
3232 so = pmatch[0].rm_so;
3233 eo = pmatch[0].rm_eo;
3234 p++;
3235 }
3236 else if (*p == '\\')
3237 {
3238 /* \\ means transfer one \ to output. */
3240 p++;
3241 continue;
3242 }
3243 else
3244 {
3245 /*
3246 * If escape char is not followed by any expected char, just treat
3247 * it as ordinary data to copy. (XXX would it be better to throw
3248 * an error?)
3249 */
3251 continue;
3252 }
3253
3254 if (so >= 0 && eo >= 0)
3255 {
3256 /*
3257 * Copy the text that is back reference of regexp. Note so and eo
3258 * are counted in characters not bytes.
3259 */
3260 char *chunk_start;
3261 int chunk_len;
3262
3263 Assert(so >= data_pos);
3264 chunk_start = start_ptr;
3265 chunk_start += charlen_to_bytelen(chunk_start, so - data_pos);
3266 chunk_len = charlen_to_bytelen(chunk_start, eo - so);
3267 appendBinaryStringInfo(str, chunk_start, chunk_len);
3268 }
3269 }
3270}
3271
3272/*
3273 * replace_text_regexp
3274 *
3275 * replace substring(s) in src_text that match pattern with replace_text.
3276 * The replace_text can contain backslash markers to substitute
3277 * (parts of) the matched text.
3278 *
3279 * cflags: regexp compile flags.
3280 * collation: collation to use.
3281 * search_start: the character (not byte) offset in src_text at which to
3282 * begin searching.
3283 * n: if 0, replace all matches; if > 0, replace only the N'th match.
3284 */
3285text *
3286replace_text_regexp(text *src_text, text *pattern_text,
3288 int cflags, Oid collation,
3289 int search_start, int n)
3290{
3291 text *ret_text;
3292 regex_t *re;
3293 int src_text_len = VARSIZE_ANY_EXHDR(src_text);
3294 int nmatches = 0;
3296 regmatch_t pmatch[10]; /* main match, plus \1 to \9 */
3297 int nmatch = lengthof(pmatch);
3298 pg_wchar *data;
3299 size_t data_len;
3300 int data_pos;
3301 char *start_ptr;
3302 int escape_status;
3303
3305
3306 /* Convert data string to wide characters. */
3307 data = (pg_wchar *) palloc((src_text_len + 1) * sizeof(pg_wchar));
3308 data_len = pg_mb2wchar_with_len(VARDATA_ANY(src_text), data, src_text_len);
3309
3310 /* Check whether replace_text has escapes, especially regexp submatches. */
3312
3313 /* If no regexp submatches, we can use REG_NOSUB. */
3314 if (escape_status < 2)
3315 {
3316 cflags |= REG_NOSUB;
3317 /* Also tell pg_regexec we only want the whole-match location. */
3318 nmatch = 1;
3319 }
3320
3321 /* Prepare the regexp. */
3322 re = RE_compile_and_cache(pattern_text, cflags, collation);
3323
3324 /* start_ptr points to the data_pos'th character of src_text */
3325 start_ptr = (char *) VARDATA_ANY(src_text);
3326 data_pos = 0;
3327
3328 while (search_start <= data_len)
3329 {
3330 int regexec_result;
3331
3333
3334 regexec_result = pg_regexec(re,
3335 data,
3336 data_len,
3337 search_start,
3338 NULL, /* no details */
3339 nmatch,
3340 pmatch,
3341 0);
3342
3343 if (regexec_result == REG_NOMATCH)
3344 break;
3345
3346 if (regexec_result != REG_OKAY)
3347 {
3348 char errMsg[100];
3349
3350 pg_regerror(regexec_result, re, errMsg, sizeof(errMsg));
3351 ereport(ERROR,
3352 (errcode(ERRCODE_INVALID_REGULAR_EXPRESSION),
3353 errmsg("regular expression failed: %s", errMsg)));
3354 }
3355
3356 /*
3357 * Count matches, and decide whether to replace this match.
3358 */
3359 nmatches++;
3360 if (n > 0 && nmatches != n)
3361 {
3362 /*
3363 * No, so advance search_start, but not start_ptr/data_pos. (Thus,
3364 * we treat the matched text as if it weren't matched, and copy it
3365 * to the output later.)
3366 */
3367 search_start = pmatch[0].rm_eo;
3368 if (pmatch[0].rm_so == pmatch[0].rm_eo)
3369 search_start++;
3370 continue;
3371 }
3372
3373 /*
3374 * Copy the text to the left of the match position. Note we are given
3375 * character not byte indexes.
3376 */
3377 if (pmatch[0].rm_so - data_pos > 0)
3378 {
3379 int chunk_len;
3380
3381 chunk_len = charlen_to_bytelen(start_ptr,
3382 pmatch[0].rm_so - data_pos);
3383 appendBinaryStringInfo(&buf, start_ptr, chunk_len);
3384
3385 /*
3386 * Advance start_ptr over that text, to avoid multiple rescans of
3387 * it if the replace_text contains multiple back-references.
3388 */
3389 start_ptr += chunk_len;
3390 data_pos = pmatch[0].rm_so;
3391 }
3392
3393 /*
3394 * Copy the replace_text, processing escapes if any are present.
3395 */
3396 if (escape_status > 0)
3398 start_ptr, data_pos);
3399 else
3401
3402 /* Advance start_ptr and data_pos over the matched text. */
3403 start_ptr += charlen_to_bytelen(start_ptr,
3404 pmatch[0].rm_eo - data_pos);
3405 data_pos = pmatch[0].rm_eo;
3406
3407 /*
3408 * If we only want to replace one occurrence, we're done.
3409 */
3410 if (n > 0)
3411 break;
3412
3413 /*
3414 * Advance search position. Normally we start the next search at the
3415 * end of the previous match; but if the match was of zero length, we
3416 * have to advance by one character, or we'd just find the same match
3417 * again.
3418 */
3419 search_start = data_pos;
3420 if (pmatch[0].rm_so == pmatch[0].rm_eo)
3421 search_start++;
3422 }
3423
3424 /*
3425 * Copy the text to the right of the last match.
3426 */
3427 if (data_pos < data_len)
3428 {
3429 int chunk_len;
3430
3431 chunk_len = ((char *) src_text + VARSIZE_ANY(src_text)) - start_ptr;
3432 appendBinaryStringInfo(&buf, start_ptr, chunk_len);
3433 }
3434
3435 ret_text = cstring_to_text_with_len(buf.data, buf.len);
3436 pfree(buf.data);
3437 pfree(data);
3438
3439 return ret_text;
3440}
3441
3442/*
3443 * split_part
3444 * parse input string based on provided field separator
3445 * return N'th item (1 based, negative counts from end)
3446 */
3447Datum
3449{
3450 text *inputstring = PG_GETARG_TEXT_PP(0);
3451 text *fldsep = PG_GETARG_TEXT_PP(1);
3452 int fldnum = PG_GETARG_INT32(2);
3453 int inputstring_len;
3454 int fldsep_len;
3456 char *start_ptr;
3457 char *end_ptr;
3458 text *result_text;
3459 bool found;
3460
3461 /* field number is 1 based */
3462 if (fldnum == 0)
3463 ereport(ERROR,
3464 (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
3465 errmsg("field position must not be zero")));
3466
3467 inputstring_len = VARSIZE_ANY_EXHDR(inputstring);
3468 fldsep_len = VARSIZE_ANY_EXHDR(fldsep);
3469
3470 /* return empty string for empty input string */
3471 if (inputstring_len < 1)
3473
3474 /* handle empty field separator */
3475 if (fldsep_len < 1)
3476 {
3477 /* if first or last field, return input string, else empty string */
3478 if (fldnum == 1 || fldnum == -1)
3479 PG_RETURN_TEXT_P(inputstring);
3480 else
3482 }
3483
3484 /* find the first field separator */
3485 text_position_setup(inputstring, fldsep, PG_GET_COLLATION(), &state);
3486
3487 found = text_position_next(&state);
3488
3489 /* special case if fldsep not found at all */
3490 if (!found)
3491 {
3493 /* if first or last field, return input string, else empty string */
3494 if (fldnum == 1 || fldnum == -1)
3495 PG_RETURN_TEXT_P(inputstring);
3496 else
3498 }
3499
3500 /*
3501 * take care of a negative field number (i.e. count from the right) by
3502 * converting to a positive field number; we need total number of fields
3503 */
3504 if (fldnum < 0)
3505 {
3506 /* we found a fldsep, so there are at least two fields */
3507 int numfields = 2;
3508
3509 while (text_position_next(&state))
3510 numfields++;
3511
3512 /* special case of last field does not require an extra pass */
3513 if (fldnum == -1)
3514 {
3515 start_ptr = text_position_get_match_ptr(&state) + state.last_match_len;
3516 end_ptr = VARDATA_ANY(inputstring) + inputstring_len;
3519 end_ptr - start_ptr));
3520 }
3521
3522 /* else, convert fldnum to positive notation */
3523 fldnum += numfields + 1;
3524
3525 /* if nonexistent field, return empty string */
3526 if (fldnum <= 0)
3527 {
3530 }
3531
3532 /* reset to pointing at first match, but now with positive fldnum */
3534 found = text_position_next(&state);
3535 Assert(found);
3536 }
3537
3538 /* identify bounds of first field */
3539 start_ptr = VARDATA_ANY(inputstring);
3541
3542 while (found && --fldnum > 0)
3543 {
3544 /* identify bounds of next field */
3545 start_ptr = end_ptr + state.last_match_len;
3546 found = text_position_next(&state);
3547 if (found)
3549 }
3550
3552
3553 if (fldnum > 0)
3554 {
3555 /* N'th field separator not found */
3556 /* if last field requested, return it, else empty string */
3557 if (fldnum == 1)
3558 {
3559 int last_len = start_ptr - VARDATA_ANY(inputstring);
3560
3561 result_text = cstring_to_text_with_len(start_ptr,
3562 inputstring_len - last_len);
3563 }
3564 else
3565 result_text = cstring_to_text("");
3566 }
3567 else
3568 {
3569 /* non-last field requested */
3570 result_text = cstring_to_text_with_len(start_ptr, end_ptr - start_ptr);
3571 }
3572
3573 PG_RETURN_TEXT_P(result_text);
3574}
3575
3576/*
3577 * Convenience function to return true when two text params are equal.
3578 */
3579static bool
3581{
3583 collid,
3584 PointerGetDatum(txt1),
3585 PointerGetDatum(txt2)));
3586}
3587
3588/*
3589 * text_to_array
3590 * parse input string and return text array of elements,
3591 * based on provided field separator
3592 */
3593Datum
3595{
3596 SplitTextOutputData tstate;
3597
3598 /* For array output, tstate should start as all zeroes */
3599 memset(&tstate, 0, sizeof(tstate));
3600
3601 if (!split_text(fcinfo, &tstate))
3603
3604 if (tstate.astate == NULL)
3606
3609}
3610
3611/*
3612 * text_to_array_null
3613 * parse input string and return text array of elements,
3614 * based on provided field separator and null string
3615 *
3616 * This is a separate entry point only to prevent the regression tests from
3617 * complaining about different argument sets for the same internal function.
3618 */
3619Datum
3621{
3622 return text_to_array(fcinfo);
3623}
3624
3625/*
3626 * text_to_table
3627 * parse input string and return table of elements,
3628 * based on provided field separator
3629 */
3630Datum
3632{
3633 ReturnSetInfo *rsi = (ReturnSetInfo *) fcinfo->resultinfo;
3634 SplitTextOutputData tstate;
3635
3636 tstate.astate = NULL;
3638 tstate.tupstore = rsi->setResult;
3639 tstate.tupdesc = rsi->setDesc;
3640
3641 (void) split_text(fcinfo, &tstate);
3642
3643 return (Datum) 0;
3644}
3645
3646/*
3647 * text_to_table_null
3648 * parse input string and return table of elements,
3649 * based on provided field separator and null string
3650 *
3651 * This is a separate entry point only to prevent the regression tests from
3652 * complaining about different argument sets for the same internal function.
3653 */
3654Datum
3656{
3657 return text_to_table(fcinfo);
3658}
3659
3660/*
3661 * Common code for text_to_array, text_to_array_null, text_to_table
3662 * and text_to_table_null functions.
3663 *
3664 * These are not strict so we have to test for null inputs explicitly.
3665 * Returns false if result is to be null, else returns true.
3666 *
3667 * Note that if the result is valid but empty (zero elements), we return
3668 * without changing *tstate --- caller must handle that case, too.
3669 */
3670static bool
3672{
3673 text *inputstring;
3674 text *fldsep;
3675 text *null_string;
3676 Oid collation = PG_GET_COLLATION();
3677 int inputstring_len;
3678 int fldsep_len;
3679 char *start_ptr;
3680 text *result_text;
3681
3682 /* when input string is NULL, then result is NULL too */
3683 if (PG_ARGISNULL(0))
3684 return false;
3685
3686 inputstring = PG_GETARG_TEXT_PP(0);
3687
3688 /* fldsep can be NULL */
3689 if (!PG_ARGISNULL(1))
3690 fldsep = PG_GETARG_TEXT_PP(1);
3691 else
3692 fldsep = NULL;
3693
3694 /* null_string can be NULL or omitted */
3695 if (PG_NARGS() > 2 && !PG_ARGISNULL(2))
3696 null_string = PG_GETARG_TEXT_PP(2);
3697 else
3698 null_string = NULL;
3699
3700 if (fldsep != NULL)
3701 {
3702 /*
3703 * Normal case with non-null fldsep. Use the text_position machinery
3704 * to search for occurrences of fldsep.
3705 */
3707
3708 inputstring_len = VARSIZE_ANY_EXHDR(inputstring);
3709 fldsep_len = VARSIZE_ANY_EXHDR(fldsep);
3710
3711 /* return empty set for empty input string */
3712 if (inputstring_len < 1)
3713 return true;
3714
3715 /* empty field separator: return input string as a one-element set */
3716 if (fldsep_len < 1)
3717 {
3718 split_text_accum_result(tstate, inputstring,
3719 null_string, collation);
3720 return true;
3721 }
3722
3723 text_position_setup(inputstring, fldsep, collation, &state);
3724
3725 start_ptr = VARDATA_ANY(inputstring);
3726
3727 for (;;)
3728 {
3729 bool found;
3730 char *end_ptr;
3731 int chunk_len;
3732
3734
3735 found = text_position_next(&state);
3736 if (!found)
3737 {
3738 /* fetch last field */
3739 chunk_len = ((char *) inputstring + VARSIZE_ANY(inputstring)) - start_ptr;
3740 end_ptr = NULL; /* not used, but some compilers complain */
3741 }
3742 else
3743 {
3744 /* fetch non-last field */
3746 chunk_len = end_ptr - start_ptr;
3747 }
3748
3749 /* build a temp text datum to pass to split_text_accum_result */
3750 result_text = cstring_to_text_with_len(start_ptr, chunk_len);
3751
3752 /* stash away this field */
3753 split_text_accum_result(tstate, result_text,
3754 null_string, collation);
3755
3756 pfree(result_text);
3757
3758 if (!found)
3759 break;
3760
3761 start_ptr = end_ptr + state.last_match_len;
3762 }
3763
3765 }
3766 else
3767 {
3768 /*
3769 * When fldsep is NULL, each character in the input string becomes a
3770 * separate element in the result set. The separator is effectively
3771 * the space between characters.
3772 */
3773 inputstring_len = VARSIZE_ANY_EXHDR(inputstring);
3774
3775 start_ptr = VARDATA_ANY(inputstring);
3776
3777 while (inputstring_len > 0)
3778 {
3779 int chunk_len = pg_mblen(start_ptr);
3780
3782
3783 /* build a temp text datum to pass to split_text_accum_result */
3784 result_text = cstring_to_text_with_len(start_ptr, chunk_len);
3785
3786 /* stash away this field */
3787 split_text_accum_result(tstate, result_text,
3788 null_string, collation);
3789
3790 pfree(result_text);
3791
3792 start_ptr += chunk_len;
3793 inputstring_len -= chunk_len;
3794 }
3795 }
3796
3797 return true;
3798}
3799
3800/*
3801 * Add text item to result set (table or array).
3802 *
3803 * This is also responsible for checking to see if the item matches
3804 * the null_string, in which case we should emit NULL instead.
3805 */
3806static void
3808 text *field_value,
3809 text *null_string,
3810 Oid collation)
3811{
3812 bool is_null = false;
3813
3814 if (null_string && text_isequal(field_value, null_string, collation))
3815 is_null = true;
3816
3817 if (tstate->tupstore)
3818 {
3819 Datum values[1];
3820 bool nulls[1];
3821
3822 values[0] = PointerGetDatum(field_value);
3823 nulls[0] = is_null;
3824
3826 tstate->tupdesc,
3827 values,
3828 nulls);
3829 }
3830 else
3831 {
3832 tstate->astate = accumArrayResult(tstate->astate,
3833 PointerGetDatum(field_value),
3834 is_null,
3835 TEXTOID,
3837 }
3838}
3839
3840/*
3841 * array_to_text
3842 * concatenate Cstring representation of input array elements
3843 * using provided field separator
3844 */
3845Datum
3847{
3849 char *fldsep = text_to_cstring(PG_GETARG_TEXT_PP(1));
3850
3851 PG_RETURN_TEXT_P(array_to_text_internal(fcinfo, v, fldsep, NULL));
3852}
3853
3854/*
3855 * array_to_text_null
3856 * concatenate Cstring representation of input array elements
3857 * using provided field separator and null string
3858 *
3859 * This version is not strict so we have to test for null inputs explicitly.
3860 */
3861Datum
3863{
3864 ArrayType *v;
3865 char *fldsep;
3866 char *null_string;
3867
3868 /* returns NULL when first or second parameter is NULL */
3869 if (PG_ARGISNULL(0) || PG_ARGISNULL(1))
3871
3872 v = PG_GETARG_ARRAYTYPE_P(0);
3874
3875 /* NULL null string is passed through as a null pointer */
3876 if (!PG_ARGISNULL(2))
3877 null_string = text_to_cstring(PG_GETARG_TEXT_PP(2));
3878 else
3879 null_string = NULL;
3880
3881 PG_RETURN_TEXT_P(array_to_text_internal(fcinfo, v, fldsep, null_string));
3882}
3883
3884/*
3885 * common code for array_to_text and array_to_text_null functions
3886 */
3887static text *
3889 const char *fldsep, const char *null_string)
3890{
3891 text *result;
3892 int nitems,
3893 *dims,
3894 ndims;
3895 Oid element_type;
3896 int typlen;
3897 bool typbyval;
3898 char typalign;
3900 bool printed = false;
3901 char *p;
3902 bits8 *bitmap;
3903 int bitmask;
3904 int i;
3905 ArrayMetaState *my_extra;
3906
3907 ndims = ARR_NDIM(v);
3908 dims = ARR_DIMS(v);
3909 nitems = ArrayGetNItems(ndims, dims);
3910
3911 /* if there are no elements, return an empty string */
3912 if (nitems == 0)
3913 return cstring_to_text_with_len("", 0);
3914
3915 element_type = ARR_ELEMTYPE(v);
3917
3918 /*
3919 * We arrange to look up info about element type, including its output
3920 * conversion proc, only once per series of calls, assuming the element
3921 * type doesn't change underneath us.
3922 */
3923 my_extra = (ArrayMetaState *) fcinfo->flinfo->fn_extra;
3924 if (my_extra == NULL)
3925 {
3926 fcinfo->flinfo->fn_extra = MemoryContextAlloc(fcinfo->flinfo->fn_mcxt,
3927 sizeof(ArrayMetaState));
3928 my_extra = (ArrayMetaState *) fcinfo->flinfo->fn_extra;
3929 my_extra->element_type = ~element_type;
3930 }
3931
3932 if (my_extra->element_type != element_type)
3933 {
3934 /*
3935 * Get info about element type, including its output conversion proc
3936 */
3937 get_type_io_data(element_type, IOFunc_output,
3938 &my_extra->typlen, &my_extra->typbyval,
3939 &my_extra->typalign, &my_extra->typdelim,
3940 &my_extra->typioparam, &my_extra->typiofunc);
3941 fmgr_info_cxt(my_extra->typiofunc, &my_extra->proc,
3942 fcinfo->flinfo->fn_mcxt);
3943 my_extra->element_type = element_type;
3944 }
3945 typlen = my_extra->typlen;
3946 typbyval = my_extra->typbyval;
3947 typalign = my_extra->typalign;
3948
3949 p = ARR_DATA_PTR(v);
3950 bitmap = ARR_NULLBITMAP(v);
3951 bitmask = 1;
3952
3953 for (i = 0; i < nitems; i++)
3954 {
3955 Datum itemvalue;
3956 char *value;
3957
3958 /* Get source element, checking for NULL */
3959 if (bitmap && (*bitmap & bitmask) == 0)
3960 {
3961 /* if null_string is NULL, we just ignore null elements */
3962 if (null_string != NULL)
3963 {
3964 if (printed)
3965 appendStringInfo(&buf, "%s%s", fldsep, null_string);
3966 else
3967 appendStringInfoString(&buf, null_string);
3968 printed = true;
3969 }
3970 }
3971 else
3972 {
3973 itemvalue = fetch_att(p, typbyval, typlen);
3974
3975 value = OutputFunctionCall(&my_extra->proc, itemvalue);
3976
3977 if (printed)
3978 appendStringInfo(&buf, "%s%s", fldsep, value);
3979 else
3981 printed = true;
3982
3983 p = att_addlength_pointer(p, typlen, p);
3984 p = (char *) att_align_nominal(p, typalign);
3985 }
3986
3987 /* advance bitmap pointer if any */
3988 if (bitmap)
3989 {
3990 bitmask <<= 1;
3991 if (bitmask == 0x100)
3992 {
3993 bitmap++;
3994 bitmask = 1;
3995 }
3996 }
3997 }
3998
3999 result = cstring_to_text_with_len(buf.data, buf.len);
4000 pfree(buf.data);
4001
4002 return result;
4003}
4004
4005/*
4006 * Workhorse for to_bin, to_oct, and to_hex. Note that base must be > 1 and <=
4007 * 16.
4008 */
4009static inline text *
4011{
4012 const char *digits = "0123456789abcdef";
4013
4014 /* We size the buffer for to_bin's longest possible return value. */
4015 char buf[sizeof(uint64) * BITS_PER_BYTE];
4016 char *const end = buf + sizeof(buf);
4017 char *ptr = end;
4018
4019 Assert(base > 1);
4020 Assert(base <= 16);
4021
4022 do
4023 {
4024 *--ptr = digits[value % base];
4025 value /= base;
4026 } while (ptr > buf && value);
4027
4028 return cstring_to_text_with_len(ptr, end - ptr);
4029}
4030
4031/*
4032 * Convert an integer to a string containing a base-2 (binary) representation
4033 * of the number.
4034 */
4035Datum
4037{
4039
4041}
4042Datum
4044{
4046
4048}
4049
4050/*
4051 * Convert an integer to a string containing a base-8 (oct) representation of
4052 * the number.
4053 */
4054Datum
4056{
4058
4060}
4061Datum
4063{
4065
4067}
4068
4069/*
4070 * Convert an integer to a string containing a base-16 (hex) representation of
4071 * the number.
4072 */
4073Datum
4075{
4077
4079}
4080Datum
4082{
4084
4086}
4087
4088/*
4089 * Return the size of a datum, possibly compressed
4090 *
4091 * Works on any data type
4092 */
4093Datum
4095{
4097 int32 result;
4098 int typlen;
4099
4100 /* On first call, get the input type's typlen, and save at *fn_extra */
4101 if (fcinfo->flinfo->fn_extra == NULL)
4102 {
4103 /* Lookup the datatype of the supplied argument */
4104 Oid argtypeid = get_fn_expr_argtype(fcinfo->flinfo, 0);
4105
4106 typlen = get_typlen(argtypeid);
4107 if (typlen == 0) /* should not happen */
4108 elog(ERROR, "cache lookup failed for type %u", argtypeid);
4109
4110 fcinfo->flinfo->fn_extra = MemoryContextAlloc(fcinfo->flinfo->fn_mcxt,
4111 sizeof(int));
4112 *((int *) fcinfo->flinfo->fn_extra) = typlen;
4113 }
4114 else
4115 typlen = *((int *) fcinfo->flinfo->fn_extra);
4116
4117 if (typlen == -1)
4118 {
4119 /* varlena type, possibly toasted */
4120 result = toast_datum_size(value);
4121 }
4122 else if (typlen == -2)
4123 {
4124 /* cstring */
4125 result = strlen(DatumGetCString(value)) + 1;
4126 }
4127 else
4128 {
4129 /* ordinary fixed-width type */
4130 result = typlen;
4131 }
4132
4133 PG_RETURN_INT32(result);
4134}
4135
4136/*
4137 * Return the compression method stored in the compressed attribute. Return
4138 * NULL for non varlena type or uncompressed data.
4139 */
4140Datum
4142{
4143 int typlen;
4144 char *result;
4145 ToastCompressionId cmid;
4146
4147 /* On first call, get the input type's typlen, and save at *fn_extra */
4148 if (fcinfo->flinfo->fn_extra == NULL)
4149 {
4150 /* Lookup the datatype of the supplied argument */
4151 Oid argtypeid = get_fn_expr_argtype(fcinfo->flinfo, 0);
4152
4153 typlen = get_typlen(argtypeid);
4154 if (typlen == 0) /* should not happen */
4155 elog(ERROR, "cache lookup failed for type %u", argtypeid);
4156
4157 fcinfo->flinfo->fn_extra = MemoryContextAlloc(fcinfo->flinfo->fn_mcxt,
4158 sizeof(int));
4159 *((int *) fcinfo->flinfo->fn_extra) = typlen;
4160 }
4161 else
4162 typlen = *((int *) fcinfo->flinfo->fn_extra);
4163
4164 if (typlen != -1)
4166
4167 /* get the compression method id stored in the compressed varlena */
4168 cmid = toast_get_compression_id((struct varlena *)
4170 if (cmid == TOAST_INVALID_COMPRESSION_ID)
4172
4173 /* convert compression method id to compression method name */
4174 switch (cmid)
4175 {
4177 result = "pglz";
4178 break;
4180 result = "lz4";
4181 break;
4182 default:
4183 elog(ERROR, "invalid compression method id %d", cmid);
4184 }
4185
4187}
4188
4189/*
4190 * Return the chunk_id of the on-disk TOASTed value. Return NULL if the value
4191 * is un-TOASTed or not on-disk.
4192 */
4193Datum
4195{
4196 int typlen;
4197 struct varlena *attr;
4198 struct varatt_external toast_pointer;
4199
4200 /* On first call, get the input type's typlen, and save at *fn_extra */
4201 if (fcinfo->flinfo->fn_extra == NULL)
4202 {
4203 /* Lookup the datatype of the supplied argument */
4204 Oid argtypeid = get_fn_expr_argtype(fcinfo->flinfo, 0);
4205
4206 typlen = get_typlen(argtypeid);
4207 if (typlen == 0) /* should not happen */
4208 elog(ERROR, "cache lookup failed for type %u", argtypeid);
4209
4210 fcinfo->flinfo->fn_extra = MemoryContextAlloc(fcinfo->flinfo->fn_mcxt,
4211 sizeof(int));
4212 *((int *) fcinfo->flinfo->fn_extra) = typlen;
4213 }
4214 else
4215 typlen = *((int *) fcinfo->flinfo->fn_extra);
4216
4217 if (typlen != -1)
4219
4220 attr = (struct varlena *) DatumGetPointer(PG_GETARG_DATUM(0));
4221
4222 if (!VARATT_IS_EXTERNAL_ONDISK(attr))
4224
4225 VARATT_EXTERNAL_GET_POINTER(toast_pointer, attr);
4226
4227 PG_RETURN_OID(toast_pointer.va_valueid);
4228}
4229
4230/*
4231 * string_agg - Concatenates values and returns string.
4232 *
4233 * Syntax: string_agg(value text, delimiter text) RETURNS text
4234 *
4235 * Note: Any NULL values are ignored. The first-call delimiter isn't
4236 * actually used at all, and on subsequent calls the delimiter precedes
4237 * the associated value.
4238 */
4239
4240/* subroutine to initialize state */
4241static StringInfo
4243{
4245 MemoryContext aggcontext;
4246 MemoryContext oldcontext;
4247
4248 if (!AggCheckCallContext(fcinfo, &aggcontext))
4249 {
4250 /* cannot be called directly because of internal-type argument */
4251 elog(ERROR, "string_agg_transfn called in non-aggregate context");
4252 }
4253
4254 /*
4255 * Create state in aggregate context. It'll stay there across subsequent
4256 * calls.
4257 */
4258 oldcontext = MemoryContextSwitchTo(aggcontext);
4260 MemoryContextSwitchTo(oldcontext);
4261
4262 return state;
4263}
4264
4265Datum
4267{
4269
4271
4272 /* Append the value unless null, preceding it with the delimiter. */
4273 if (!PG_ARGISNULL(1))
4274 {
4276 bool isfirst = false;
4277
4278 /*
4279 * You might think we can just throw away the first delimiter, however
4280 * we must keep it as we may be a parallel worker doing partial
4281 * aggregation building a state to send to the main process. We need
4282 * to keep the delimiter of every aggregation so that the combine
4283 * function can properly join up the strings of two separately
4284 * partially aggregated results. The first delimiter is only stripped
4285 * off in the final function. To know how much to strip off the front
4286 * of the string, we store the length of the first delimiter in the
4287 * StringInfo's cursor field, which we don't otherwise need here.
4288 */
4289 if (state == NULL)
4290 {
4291 state = makeStringAggState(fcinfo);
4292 isfirst = true;
4293 }
4294
4295 if (!PG_ARGISNULL(2))
4296 {
4297 text *delim = PG_GETARG_TEXT_PP(2);
4298
4300 if (isfirst)
4301 state->cursor = VARSIZE_ANY_EXHDR(delim);
4302 }
4303
4305 }
4306
4307 /*
4308 * The transition type for string_agg() is declared to be "internal",
4309 * which is a pass-by-value type the same size as a pointer.
4310 */
4311 if (state)
4314}
4315
4316/*
4317 * string_agg_combine
4318 * Aggregate combine function for string_agg(text) and string_agg(bytea)
4319 */
4320Datum
4322{
4323 StringInfo state1;
4324 StringInfo state2;
4325 MemoryContext agg_context;
4326
4327 if (!AggCheckCallContext(fcinfo, &agg_context))
4328 elog(ERROR, "aggregate function called in non-aggregate context");
4329
4330 state1 = PG_ARGISNULL(0) ? NULL : (StringInfo) PG_GETARG_POINTER(0);
4331 state2 = PG_ARGISNULL(1) ? NULL : (StringInfo) PG_GETARG_POINTER(1);
4332
4333 if (state2 == NULL)
4334 {
4335 /*
4336 * NULL state2 is easy, just return state1, which we know is already
4337 * in the agg_context
4338 */
4339 if (state1 == NULL)
4341 PG_RETURN_POINTER(state1);
4342 }
4343
4344 if (state1 == NULL)
4345 {
4346 /* We must copy state2's data into the agg_context */
4347 MemoryContext old_context;
4348
4349 old_context = MemoryContextSwitchTo(agg_context);
4350 state1 = makeStringAggState(fcinfo);
4351 appendBinaryStringInfo(state1, state2->data, state2->len);
4352 state1->cursor = state2->cursor;
4353 MemoryContextSwitchTo(old_context);
4354 }
4355 else if (state2->len > 0)
4356 {
4357 /* Combine ... state1->cursor does not change in this case */
4358 appendBinaryStringInfo(state1, state2->data, state2->len);
4359 }
4360
4361 PG_RETURN_POINTER(state1);
4362}
4363
4364/*
4365 * string_agg_serialize
4366 * Aggregate serialize function for string_agg(text) and string_agg(bytea)
4367 *
4368 * This is strict, so we need not handle NULL input
4369 */
4370Datum
4372{
4375 bytea *result;
4376
4377 /* cannot be called directly because of internal-type argument */
4378 Assert(AggCheckCallContext(fcinfo, NULL));
4379
4381
4383
4384 /* cursor */
4385 pq_sendint(&buf, state->cursor, 4);
4386
4387 /* data */
4388 pq_sendbytes(&buf, state->data, state->len);
4389
4390 result = pq_endtypsend(&buf);
4391
4392 PG_RETURN_BYTEA_P(result);
4393}
4394
4395/*
4396 * string_agg_deserialize
4397 * Aggregate deserial function for string_agg(text) and string_agg(bytea)
4398 *
4399 * This is strict, so we need not handle NULL input
4400 */
4401Datum
4403{
4404 bytea *sstate;
4405 StringInfo result;
4407 char *data;
4408 int datalen;
4409
4410 /* cannot be called directly because of internal-type argument */
4411 Assert(AggCheckCallContext(fcinfo, NULL));
4412
4413 sstate = PG_GETARG_BYTEA_PP(0);
4414
4415 /*
4416 * Initialize a StringInfo so that we can "receive" it using the standard
4417 * recv-function infrastructure.
4418 */
4420 VARSIZE_ANY_EXHDR(sstate));
4421
4422 result = makeStringAggState(fcinfo);
4423
4424 /* cursor */
4425 result->cursor = pq_getmsgint(&buf, 4);
4426
4427 /* data */
4428 datalen = VARSIZE_ANY_EXHDR(sstate) - 4;
4429 data = (char *) pq_getmsgbytes(&buf, datalen);
4430 appendBinaryStringInfo(result, data, datalen);
4431
4432 pq_getmsgend(&buf);
4433
4434 PG_RETURN_POINTER(result);
4435}
4436
4437Datum
4439{
4441
4442 /* cannot be called directly because of internal-type argument */
4443 Assert(AggCheckCallContext(fcinfo, NULL));
4444
4446
4447 if (state != NULL)
4448 {
4449 /* As per comment in transfn, strip data before the cursor position */
4451 state->len - state->cursor));
4452 }
4453 else
4455}
4456
4457/*
4458 * Prepare cache with fmgr info for the output functions of the datatypes of
4459 * the arguments of a concat-like function, beginning with argument "argidx".
4460 * (Arguments before that will have corresponding slots in the resulting
4461 * FmgrInfo array, but we don't fill those slots.)
4462 */
4463static FmgrInfo *
4465{
4466 FmgrInfo *foutcache;
4467 int i;
4468
4469 /* We keep the info in fn_mcxt so it survives across calls */
4470 foutcache = (FmgrInfo *) MemoryContextAlloc(fcinfo->flinfo->fn_mcxt,
4471 PG_NARGS() * sizeof(FmgrInfo));
4472
4473 for (i = argidx; i < PG_NARGS(); i++)
4474 {
4475 Oid valtype;
4476 Oid typOutput;
4477 bool typIsVarlena;
4478
4479 valtype = get_fn_expr_argtype(fcinfo->flinfo, i);
4480 if (!OidIsValid(valtype))
4481 elog(ERROR, "could not determine data type of concat() input");
4482
4483 getTypeOutputInfo(valtype, &typOutput, &typIsVarlena);
4484 fmgr_info_cxt(typOutput, &foutcache[i], fcinfo->flinfo->fn_mcxt);
4485 }
4486
4487 fcinfo->flinfo->fn_extra = foutcache;
4488
4489 return foutcache;
4490}
4491
4492/*
4493 * Implementation of both concat() and concat_ws().
4494 *
4495 * sepstr is the separator string to place between values.
4496 * argidx identifies the first argument to concatenate (counting from zero);
4497 * note that this must be constant across any one series of calls.
4498 *
4499 * Returns NULL if result should be NULL, else text value.
4500 */
4501static text *
4502concat_internal(const char *sepstr, int argidx,
4503 FunctionCallInfo fcinfo)
4504{
4505 text *result;
4507 FmgrInfo *foutcache;
4508 bool first_arg = true;
4509 int i;
4510
4511 /*
4512 * concat(VARIADIC some-array) is essentially equivalent to
4513 * array_to_text(), ie concat the array elements with the given separator.
4514 * So we just pass the case off to that code.
4515 */
4516 if (get_fn_expr_variadic(fcinfo->flinfo))
4517 {
4518 ArrayType *arr;
4519
4520 /* Should have just the one argument */
4521 Assert(argidx == PG_NARGS() - 1);
4522
4523 /* concat(VARIADIC NULL) is defined as NULL */
4524 if (PG_ARGISNULL(argidx))
4525 return NULL;
4526
4527 /*
4528 * Non-null argument had better be an array. We assume that any call
4529 * context that could let get_fn_expr_variadic return true will have
4530 * checked that a VARIADIC-labeled parameter actually is an array. So
4531 * it should be okay to just Assert that it's an array rather than
4532 * doing a full-fledged error check.
4533 */
4535
4536 /* OK, safe to fetch the array value */
4537 arr = PG_GETARG_ARRAYTYPE_P(argidx);
4538
4539 /*
4540 * And serialize the array. We tell array_to_text to ignore null
4541 * elements, which matches the behavior of the loop below.
4542 */
4543 return array_to_text_internal(fcinfo, arr, sepstr, NULL);
4544 }
4545
4546 /* Normal case without explicit VARIADIC marker */
4548
4549 /* Get output function info, building it if first time through */
4550 foutcache = (FmgrInfo *) fcinfo->flinfo->fn_extra;
4551 if (foutcache == NULL)
4552 foutcache = build_concat_foutcache(fcinfo, argidx);
4553
4554 for (i = argidx; i < PG_NARGS(); i++)
4555 {
4556 if (!PG_ARGISNULL(i))
4557 {
4559
4560 /* add separator if appropriate */
4561 if (first_arg)
4562 first_arg = false;
4563 else
4564 appendStringInfoString(&str, sepstr);
4565
4566 /* call the appropriate type output function, append the result */
4568 OutputFunctionCall(&foutcache[i], value));
4569 }
4570 }
4571
4572 result = cstring_to_text_with_len(str.data, str.len);
4573 pfree(str.data);
4574
4575 return result;
4576}
4577
4578/*
4579 * Concatenate all arguments. NULL arguments are ignored.
4580 */
4581Datum
4583{
4584 text *result;
4585
4586 result = concat_internal("", 0, fcinfo);
4587 if (result == NULL)
4589 PG_RETURN_TEXT_P(result);
4590}
4591
4592/*
4593 * Concatenate all but first argument value with separators. The first
4594 * parameter is used as the separator. NULL arguments are ignored.
4595 */
4596Datum
4598{
4599 char *sep;
4600 text *result;
4601
4602 /* return NULL when separator is NULL */
4603 if (PG_ARGISNULL(0))
4606
4607 result = concat_internal(sep, 1, fcinfo);
4608 if (result == NULL)
4610 PG_RETURN_TEXT_P(result);
4611}
4612
4613/*
4614 * Return first n characters in the string. When n is negative,
4615 * return all but last |n| characters.
4616 */
4617Datum
4619{
4620 int n = PG_GETARG_INT32(1);
4621
4622 if (n < 0)
4623 {
4625 const char *p = VARDATA_ANY(str);
4626 int len = VARSIZE_ANY_EXHDR(str);
4627 int rlen;
4628
4629 n = pg_mbstrlen_with_len(p, len) + n;
4630 rlen = pg_mbcharcliplen(p, len, n);
4632 }
4633 else
4635}
4636
4637/*
4638 * Return last n characters in the string. When n is negative,
4639 * return all but first |n| characters.
4640 */
4641Datum
4643{
4645 const char *p = VARDATA_ANY(str);
4646 int len = VARSIZE_ANY_EXHDR(str);
4647 int n = PG_GETARG_INT32(1);
4648 int off;
4649
4650 if (n < 0)
4651 n = -n;
4652 else
4653 n = pg_mbstrlen_with_len(p, len) - n;
4654 off = pg_mbcharcliplen(p, len, n);
4655
4657}
4658
4659/*
4660 * Return reversed string
4661 */
4662Datum
4664{
4666 const char *p = VARDATA_ANY(str);
4667 int len = VARSIZE_ANY_EXHDR(str);
4668 const char *endp = p + len;
4669 text *result;
4670 char *dst;
4671
4672 result = palloc(len + VARHDRSZ);
4673 dst = (char *) VARDATA(result) + len;
4674 SET_VARSIZE(result, len + VARHDRSZ);
4675
4677 {
4678 /* multibyte version */
4679 while (p < endp)
4680 {
4681 int sz;
4682
4683 sz = pg_mblen(p);
4684 dst -= sz;
4685 memcpy(dst, p, sz);
4686 p += sz;
4687 }
4688 }
4689 else
4690 {
4691 /* single byte version */
4692 while (p < endp)
4693 *(--dst) = *p++;
4694 }
4695
4696 PG_RETURN_TEXT_P(result);
4697}
4698
4699
4700/*
4701 * Support macros for text_format()
4702 */
4703#define TEXT_FORMAT_FLAG_MINUS 0x0001 /* is minus flag present? */
4704
4705#define ADVANCE_PARSE_POINTER(ptr,end_ptr) \
4706 do { \
4707 if (++(ptr) >= (end_ptr)) \
4708 ereport(ERROR, \
4709 (errcode(ERRCODE_INVALID_PARAMETER_VALUE), \
4710 errmsg("unterminated format() type specifier"), \
4711 errhint("For a single \"%%\" use \"%%%%\"."))); \
4712 } while (0)
4713
4714/*
4715 * Returns a formatted string
4716 */
4717Datum
4719{
4720 text *fmt;
4722 const char *cp;
4723 const char *start_ptr;
4724 const char *end_ptr;
4725 text *result;
4726 int arg;
4727 bool funcvariadic;
4728 int nargs;
4729 Datum *elements = NULL;
4730 bool *nulls = NULL;
4731 Oid element_type = InvalidOid;
4732 Oid prev_type = InvalidOid;
4733 Oid prev_width_type = InvalidOid;
4734 FmgrInfo typoutputfinfo;
4735 FmgrInfo typoutputinfo_width;
4736
4737 /* When format string is null, immediately return null */
4738 if (PG_ARGISNULL(0))
4740
4741 /* If argument is marked VARIADIC, expand array into elements */
4742 if (get_fn_expr_variadic(fcinfo->flinfo))
4743 {
4744 ArrayType *arr;
4745 int16 elmlen;
4746 bool elmbyval;
4747 char elmalign;
4748 int nitems;
4749
4750 /* Should have just the one argument */
4751 Assert(PG_NARGS() == 2);
4752
4753 /* If argument is NULL, we treat it as zero-length array */
4754 if (PG_ARGISNULL(1))
4755 nitems = 0;
4756 else
4757 {
4758 /*
4759 * Non-null argument had better be an array. We assume that any
4760 * call context that could let get_fn_expr_variadic return true
4761 * will have checked that a VARIADIC-labeled parameter actually is
4762 * an array. So it should be okay to just Assert that it's an
4763 * array rather than doing a full-fledged error check.
4764 */
4766
4767 /* OK, safe to fetch the array value */
4768 arr = PG_GETARG_ARRAYTYPE_P(1);
4769
4770 /* Get info about array element type */
4771 element_type = ARR_ELEMTYPE(arr);
4772 get_typlenbyvalalign(element_type,
4773 &elmlen, &elmbyval, &elmalign);
4774
4775 /* Extract all array elements */
4776 deconstruct_array(arr, element_type, elmlen, elmbyval, elmalign,
4777 &elements, &nulls, &nitems);
4778 }
4779
4780 nargs = nitems + 1;
4781 funcvariadic = true;
4782 }
4783 else
4784 {
4785 /* Non-variadic case, we'll process the arguments individually */
4786 nargs = PG_NARGS();
4787 funcvariadic = false;
4788 }
4789
4790 /* Setup for main loop. */
4791 fmt = PG_GETARG_TEXT_PP(0);
4792 start_ptr = VARDATA_ANY(fmt);
4793 end_ptr = start_ptr + VARSIZE_ANY_EXHDR(fmt);
4795 arg = 1; /* next argument position to print */
4796
4797 /* Scan format string, looking for conversion specifiers. */
4798 for (cp = start_ptr; cp < end_ptr; cp++)
4799 {
4800 int argpos;
4801 int widthpos;
4802 int flags;
4803 int width;
4804 Datum value;
4805 bool isNull;
4806 Oid typid;
4807
4808 /*
4809 * If it's not the start of a conversion specifier, just copy it to
4810 * the output buffer.
4811 */
4812 if (*cp != '%')
4813 {
4815 continue;
4816 }
4817
4818 ADVANCE_PARSE_POINTER(cp, end_ptr);
4819
4820 /* Easy case: %% outputs a single % */
4821 if (*cp == '%')
4822 {
4824 continue;
4825 }
4826
4827 /* Parse the optional portions of the format specifier */
4828 cp = text_format_parse_format(cp, end_ptr,
4829 &argpos, &widthpos,
4830 &flags, &width);
4831
4832 /*
4833 * Next we should see the main conversion specifier. Whether or not
4834 * an argument position was present, it's known that at least one
4835 * character remains in the string at this point. Experience suggests
4836 * that it's worth checking that that character is one of the expected
4837 * ones before we try to fetch arguments, so as to produce the least
4838 * confusing response to a mis-formatted specifier.
4839 */
4840 if (strchr("sIL", *cp) == NULL)
4841 ereport(ERROR,
4842 (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
4843 errmsg("unrecognized format() type specifier \"%.*s\"",
4844 pg_mblen(cp), cp),
4845 errhint("For a single \"%%\" use \"%%%%\".")));
4846
4847 /* If indirect width was specified, get its value */
4848 if (widthpos >= 0)
4849 {
4850 /* Collect the specified or next argument position */
4851 if (widthpos > 0)
4852 arg = widthpos;
4853 if (arg >= nargs)
4854 ereport(ERROR,
4855 (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
4856 errmsg("too few arguments for format()")));
4857
4858 /* Get the value and type of the selected argument */
4859 if (!funcvariadic)
4860 {
4862 isNull = PG_ARGISNULL(arg);
4863 typid = get_fn_expr_argtype(fcinfo->flinfo, arg);
4864 }
4865 else
4866 {
4867 value = elements[arg - 1];
4868 isNull = nulls[arg - 1];
4869 typid = element_type;
4870 }
4871 if (!OidIsValid(typid))
4872 elog(ERROR, "could not determine data type of format() input");
4873
4874 arg++;
4875
4876 /* We can treat NULL width the same as zero */
4877 if (isNull)
4878 width = 0;
4879 else if (typid == INT4OID)
4880 width = DatumGetInt32(value);
4881 else if (typid == INT2OID)
4882 width = DatumGetInt16(value);
4883 else
4884 {
4885 /* For less-usual datatypes, convert to text then to int */
4886 char *str;
4887
4888 if (typid != prev_width_type)
4889 {
4890 Oid typoutputfunc;
4891 bool typIsVarlena;
4892
4893 getTypeOutputInfo(typid, &typoutputfunc, &typIsVarlena);
4894 fmgr_info(typoutputfunc, &typoutputinfo_width);
4895 prev_width_type = typid;
4896 }
4897
4898 str = OutputFunctionCall(&typoutputinfo_width, value);
4899
4900 /* pg_strtoint32 will complain about bad data or overflow */
4901 width = pg_strtoint32(str);
4902
4903 pfree(str);
4904 }
4905 }
4906
4907 /* Collect the specified or next argument position */
4908 if (argpos > 0)
4909 arg = argpos;
4910 if (arg >= nargs)
4911 ereport(ERROR,
4912 (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
4913 errmsg("too few arguments for format()")));
4914
4915 /* Get the value and type of the selected argument */
4916 if (!funcvariadic)
4917 {
4919 isNull = PG_ARGISNULL(arg);
4920 typid = get_fn_expr_argtype(fcinfo->flinfo, arg);
4921 }
4922 else
4923 {
4924 value = elements[arg - 1];
4925 isNull = nulls[arg - 1];
4926 typid = element_type;
4927 }
4928 if (!OidIsValid(typid))
4929 elog(ERROR, "could not determine data type of format() input");
4930
4931 arg++;
4932
4933 /*
4934 * Get the appropriate typOutput function, reusing previous one if
4935 * same type as previous argument. That's particularly useful in the
4936 * variadic-array case, but often saves work even for ordinary calls.
4937 */
4938 if (typid != prev_type)
4939 {
4940 Oid typoutputfunc;
4941 bool typIsVarlena;
4942
4943 getTypeOutputInfo(typid, &typoutputfunc, &typIsVarlena);
4944 fmgr_info(typoutputfunc, &typoutputfinfo);
4945 prev_type = typid;
4946 }
4947
4948 /*
4949 * And now we can format the value.
4950 */
4951 switch (*cp)
4952 {
4953 case 's':
4954 case 'I':
4955 case 'L':
4956 text_format_string_conversion(&str, *cp, &typoutputfinfo,
4957 value, isNull,
4958 flags, width);
4959 break;
4960 default:
4961 /* should not get here, because of previous check */
4962 ereport(ERROR,
4963 (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
4964 errmsg("unrecognized format() type specifier \"%.*s\"",
4965 pg_mblen(cp), cp),
4966 errhint("For a single \"%%\" use \"%%%%\".")));
4967 break;
4968 }
4969 }
4970
4971 /* Don't need deconstruct_array results anymore. */
4972 if (elements != NULL)
4973 pfree(elements);
4974 if (nulls != NULL)
4975 pfree(nulls);
4976
4977 /* Generate results. */
4978 result = cstring_to_text_with_len(str.data, str.len);
4979 pfree(str.data);
4980
4981 PG_RETURN_TEXT_P(result);
4982}
4983
4984/*
4985 * Parse contiguous digits as a decimal number.
4986 *
4987 * Returns true if some digits could be parsed.
4988 * The value is returned into *value, and *ptr is advanced to the next
4989 * character to be parsed.
4990 *
4991 * Note parsing invariant: at least one character is known available before
4992 * string end (end_ptr) at entry, and this is still true at exit.
4993 */
4994static bool
4995text_format_parse_digits(const char **ptr, const char *end_ptr, int *value)
4996{
4997 bool found = false;
4998 const char *cp = *ptr;
4999 int val = 0;
5000
5001 while (*cp >= '0' && *cp <= '9')
5002 {
5003 int8 digit = (*cp - '0');
5004
5005 if (unlikely(pg_mul_s32_overflow(val, 10, &val)) ||
5007 ereport(ERROR,
5008 (errcode(ERRCODE_NUMERIC_VALUE_OUT_OF_RANGE),
5009 errmsg("number is out of range")));
5010 ADVANCE_PARSE_POINTER(cp, end_ptr);
5011 found = true;
5012 }
5013
5014 *ptr = cp;
5015 *value = val;
5016
5017 return found;
5018}
5019
5020/*
5021 * Parse a format specifier (generally following the SUS printf spec).
5022 *
5023 * We have already advanced over the initial '%', and we are looking for
5024 * [argpos][flags][width]type (but the type character is not consumed here).
5025 *
5026 * Inputs are start_ptr (the position after '%') and end_ptr (string end + 1).
5027 * Output parameters:
5028 * argpos: argument position for value to be printed. -1 means unspecified.
5029 * widthpos: argument position for width. Zero means the argument position
5030 * was unspecified (ie, take the next arg) and -1 means no width
5031 * argument (width was omitted or specified as a constant).
5032 * flags: bitmask of flags.
5033 * width: directly-specified width value. Zero means the width was omitted
5034 * (note it's not necessary to distinguish this case from an explicit
5035 * zero width value).
5036 *
5037 * The function result is the next character position to be parsed, ie, the
5038 * location where the type character is/should be.
5039 *
5040 * Note parsing invariant: at least one character is known available before
5041 * string end (end_ptr) at entry, and this is still true at exit.
5042 */
5043static const char *
5044text_format_parse_format(const char *start_ptr, const char *end_ptr,
5045 int *argpos, int *widthpos,
5046 int *flags, int *width)
5047{
5048 const char *cp = start_ptr;
5049 int n;
5050
5051 /* set defaults for output parameters */
5052 *argpos = -1;
5053 *widthpos = -1;
5054 *flags = 0;
5055 *width = 0;
5056
5057 /* try to identify first number */
5058 if (text_format_parse_digits(&cp, end_ptr, &n))
5059 {
5060 if (*cp != '$')
5061 {
5062 /* Must be just a width and a type, so we're done */
5063 *width = n;
5064 return cp;
5065 }
5066 /* The number was argument position */
5067 *argpos = n;
5068 /* Explicit 0 for argument index is immediately refused */
5069 if (n == 0)
5070 ereport(ERROR,
5071 (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5072 errmsg("format specifies argument 0, but arguments are numbered from 1")));
5073 ADVANCE_PARSE_POINTER(cp, end_ptr);
5074 }
5075
5076 /* Handle flags (only minus is supported now) */
5077 while (*cp == '-')
5078 {
5079 *flags |= TEXT_FORMAT_FLAG_MINUS;
5080 ADVANCE_PARSE_POINTER(cp, end_ptr);
5081 }
5082
5083 if (*cp == '*')
5084 {
5085 /* Handle indirect width */
5086 ADVANCE_PARSE_POINTER(cp, end_ptr);
5087 if (text_format_parse_digits(&cp, end_ptr, &n))
5088 {
5089 /* number in this position must be closed by $ */
5090 if (*cp != '$')
5091 ereport(ERROR,
5092 (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5093 errmsg("width argument position must be ended by \"$\"")));
5094 /* The number was width argument position */
5095 *widthpos = n;
5096 /* Explicit 0 for argument index is immediately refused */
5097 if (n == 0)
5098 ereport(ERROR,
5099 (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5100 errmsg("format specifies argument 0, but arguments are numbered from 1")));
5101 ADVANCE_PARSE_POINTER(cp, end_ptr);
5102 }
5103 else
5104 *widthpos = 0; /* width's argument position is unspecified */
5105 }
5106 else
5107 {
5108 /* Check for direct width specification */
5109 if (text_format_parse_digits(&cp, end_ptr, &n))
5110 *width = n;
5111 }
5112
5113 /* cp should now be pointing at type character */
5114 return cp;
5115}
5116
5117/*
5118 * Format a %s, %I, or %L conversion
5119 */
5120static void
5122 FmgrInfo *typOutputInfo,
5123 Datum value, bool isNull,
5124 int flags, int width)
5125{
5126 char *str;
5127
5128 /* Handle NULL arguments before trying to stringify the value. */
5129 if (isNull)
5130 {
5131 if (conversion == 's')
5132 text_format_append_string(buf, "", flags, width);
5133 else if (conversion == 'L')
5134 text_format_append_string(buf, "NULL", flags, width);
5135 else if (conversion == 'I')
5136 ereport(ERROR,
5137 (errcode(ERRCODE_NULL_VALUE_NOT_ALLOWED),
5138 errmsg("null values cannot be formatted as an SQL identifier")));
5139 return;
5140 }
5141
5142 /* Stringify. */
5143 str = OutputFunctionCall(typOutputInfo, value);
5144
5145 /* Escape. */
5146 if (conversion == 'I')
5147 {
5148 /* quote_identifier may or may not allocate a new string. */
5150 }
5151 else if (conversion == 'L')
5152 {
5153 char *qstr = quote_literal_cstr(str);
5154
5155 text_format_append_string(buf, qstr, flags, width);
5156 /* quote_literal_cstr() always allocates a new string */
5157 pfree(qstr);
5158 }
5159 else
5160 text_format_append_string(buf, str, flags, width);
5161
5162 /* Cleanup. */
5163 pfree(str);
5164}
5165
5166/*
5167 * Append str to buf, padding as directed by flags/width
5168 */
5169static void
5171 int flags, int width)
5172{
5173 bool align_to_left = false;
5174 int len;
5175
5176 /* fast path for typical easy case */
5177 if (width == 0)
5178 {
5180 return;
5181 }
5182
5183 if (width < 0)
5184 {
5185 /* Negative width: implicit '-' flag, then take absolute value */
5186 align_to_left = true;
5187 /* -INT_MIN is undefined */
5188 if (width <= INT_MIN)
5189 ereport(ERROR,
5190 (errcode(ERRCODE_NUMERIC_VALUE_OUT_OF_RANGE),
5191 errmsg("number is out of range")));
5192 width = -width;
5193 }
5194 else if (flags & TEXT_FORMAT_FLAG_MINUS)
5195 align_to_left = true;
5196
5197 len = pg_mbstrlen(str);
5198 if (align_to_left)
5199 {
5200 /* left justify */
5202 if (len < width)
5203 appendStringInfoSpaces(buf, width - len);
5204 }
5205 else
5206 {
5207 /* right justify */
5208 if (len < width)
5209 appendStringInfoSpaces(buf, width - len);
5211 }
5212}
5213
5214/*
5215 * text_format_nv - nonvariadic wrapper for text_format function.
5216 *
5217 * note: this wrapper is necessary to pass the sanity check in opr_sanity,
5218 * which checks that all built-in functions that share the implementing C
5219 * function take the same number of arguments.
5220 */
5221Datum
5223{
5224 return text_format(fcinfo);
5225}
5226
5227/*
5228 * Helper function for Levenshtein distance functions. Faster than memcmp(),
5229 * for this use case.
5230 */
5231static inline bool
5232rest_of_char_same(const char *s1, const char *s2, int len)
5233{
5234 while (len > 0)
5235 {
5236 len--;
5237 if (s1[len] != s2[len])
5238 return false;
5239 }
5240 return true;
5241}
5242
5243/* Expand each Levenshtein distance variant */
5244#include "levenshtein.c"
5245#define LEVENSHTEIN_LESS_EQUAL
5246#include "levenshtein.c"
5247
5248
5249/*
5250 * The following *ClosestMatch() functions can be used to determine whether a
5251 * user-provided string resembles any known valid values, which is useful for
5252 * providing hints in log messages, among other things. Use these functions
5253 * like so:
5254 *
5255 * initClosestMatch(&state, source_string, max_distance);
5256 *
5257 * for (int i = 0; i < num_valid_strings; i++)
5258 * updateClosestMatch(&state, valid_strings[i]);
5259 *
5260 * closestMatch = getClosestMatch(&state);
5261 */
5262
5263/*
5264 * Initialize the given state with the source string and maximum Levenshtein
5265 * distance to consider.
5266 */
5267void
5269{
5270 Assert(state);
5271 Assert(max_d >= 0);
5272
5273 state->source = source;
5274 state->min_d = -1;
5275 state->max_d = max_d;
5276 state->match = NULL;
5277}
5278
5279/*
5280 * If the candidate string is a closer match than the current one saved (or
5281 * there is no match saved), save it as the closest match.
5282 *
5283 * If the source or candidate string is NULL, empty, or too long, this function
5284 * takes no action. Likewise, if the Levenshtein distance exceeds the maximum
5285 * allowed or more than half the characters are different, no action is taken.
5286 */
5287void
5289{
5290 int dist;
5291
5292 Assert(state);
5293
5294 if (state->source == NULL || state->source[0] == '\0' ||
5295 candidate == NULL || candidate[0] == '\0')
5296 return;
5297
5298 /*
5299 * To avoid ERROR-ing, we check the lengths here instead of setting
5300 * 'trusted' to false in the call to varstr_levenshtein_less_equal().
5301 */
5302 if (strlen(state->source) > MAX_LEVENSHTEIN_STRLEN ||
5303 strlen(candidate) > MAX_LEVENSHTEIN_STRLEN)
5304 return;
5305
5306 dist = varstr_levenshtein_less_equal(state->source, strlen(state->source),
5307 candidate, strlen(candidate), 1, 1, 1,
5308 state->max_d, true);
5309 if (dist <= state->max_d &&
5310 dist <= strlen(state->source) / 2 &&
5311 (state->min_d == -1 || dist < state->min_d))
5312 {
5313 state->min_d = dist;
5314 state->match = candidate;
5315 }
5316}
5317
5318/*
5319 * Return the closest match. If no suitable candidates were provided via
5320 * updateClosestMatch(), return NULL.
5321 */
5322const char *
5324{
5325 Assert(state);
5326
5327 return state->match;
5328}
5329
5330
5331/*
5332 * Unicode support
5333 */
5334
5337{
5338 UnicodeNormalizationForm form = -1;
5339
5340 /*
5341 * Might as well check this while we're here.
5342 */
5344 ereport(ERROR,
5345 (errcode(ERRCODE_SYNTAX_ERROR),
5346 errmsg("Unicode normalization can only be performed if server encoding is UTF8")));
5347
5348 if (pg_strcasecmp(formstr, "NFC") == 0)
5349 form = UNICODE_NFC;
5350 else if (pg_strcasecmp(formstr, "NFD") == 0)
5351 form = UNICODE_NFD;
5352 else if (pg_strcasecmp(formstr, "NFKC") == 0)
5353 form = UNICODE_NFKC;
5354 else if (pg_strcasecmp(formstr, "NFKD") == 0)
5355 form = UNICODE_NFKD;
5356 else
5357 ereport(ERROR,
5358 (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5359 errmsg("invalid normalization form: %s", formstr)));
5360
5361 return form;
5362}
5363
5364/*
5365 * Returns version of Unicode used by Postgres in "major.minor" format (the
5366 * same format as the Unicode version reported by ICU). The third component
5367 * ("update version") never involves additions to the character repertoire and
5368 * is unimportant for most purposes.
5369 *
5370 * See: https://unicode.org/versions/
5371 */
5372Datum
5374{
5376}
5377
5378/*
5379 * Returns version of Unicode used by ICU, if enabled; otherwise NULL.
5380 */
5381Datum
5383{
5384#ifdef USE_ICU
5385 PG_RETURN_TEXT_P(cstring_to_text(U_UNICODE_VERSION));
5386#else
5388#endif
5389}
5390
5391/*
5392 * Check whether the string contains only assigned Unicode code
5393 * points. Requires that the database encoding is UTF-8.
5394 */
5395Datum
5397{
5399 unsigned char *p;
5400 int size;
5401
5403 ereport(ERROR,
5404 (errmsg("Unicode categorization can only be performed if server encoding is UTF8")));
5405
5406 /* convert to char32_t */
5408 p = (unsigned char *) VARDATA_ANY(input);
5409 for (int i = 0; i < size; i++)
5410 {
5411 char32_t uchar = utf8_to_unicode(p);
5412 int category = unicode_category(uchar);
5413
5414 if (category == PG_U_UNASSIGNED)
5415 PG_RETURN_BOOL(false);
5416
5417 p += pg_utf_mblen(p);
5418 }
5419
5420 PG_RETURN_BOOL(true);
5421}
5422
5423Datum
5425{
5427 char *formstr = text_to_cstring(PG_GETARG_TEXT_PP(1));
5429 int size;
5430 char32_t *input_chars;
5431 char32_t *output_chars;
5432 unsigned char *p;
5433 text *result;
5434 int i;
5435
5436 form = unicode_norm_form_from_string(formstr);
5437
5438 /* convert to char32_t */
5440 input_chars = palloc((size + 1) * sizeof(char32_t));
5441 p = (unsigned char *) VARDATA_ANY(input);
5442 for (i = 0; i < size; i++)
5443 {
5444 input_chars[i] = utf8_to_unicode(p);
5445 p += pg_utf_mblen(p);
5446 }
5447 input_chars[i] = (char32_t) '\0';
5448 Assert((char *) p == VARDATA_ANY(input) + VARSIZE_ANY_EXHDR(input));
5449
5450 /* action */
5451 output_chars = unicode_normalize(form, input_chars);
5452
5453 /* convert back to UTF-8 string */
5454 size = 0;
5455 for (char32_t *wp = output_chars; *wp; wp++)
5456 {
5457 unsigned char buf[4];
5458
5459 unicode_to_utf8(*wp, buf);
5460 size += pg_utf_mblen(buf);
5461 }
5462
5463 result = palloc(size + VARHDRSZ);
5464 SET_VARSIZE(result, size + VARHDRSZ);
5465
5466 p = (unsigned char *) VARDATA_ANY(result);
5467 for (char32_t *wp = output_chars; *wp; wp++)
5468 {
5469 unicode_to_utf8(*wp, p);
5470 p += pg_utf_mblen(p);
5471 }
5472 Assert((char *) p == (char *) result + size + VARHDRSZ);
5473
5474 PG_RETURN_TEXT_P(result);
5475}
5476
5477/*
5478 * Check whether the string is in the specified Unicode normalization form.
5479 *
5480 * This is done by converting the string to the specified normal form and then
5481 * comparing that to the original string. To speed that up, we also apply the
5482 * "quick check" algorithm specified in UAX #15, which can give a yes or no
5483 * answer for many strings by just scanning the string once.
5484 *
5485 * This function should generally be optimized for the case where the string
5486 * is in fact normalized. In that case, we'll end up looking at the entire
5487 * string, so it's probably not worth doing any incremental conversion etc.
5488 */
5489Datum
5491{
5493 char *formstr = text_to_cstring(PG_GETARG_TEXT_PP(1));
5495 int size;
5496 char32_t *input_chars;
5497 char32_t *output_chars;
5498 unsigned char *p;
5499 int i;
5500 UnicodeNormalizationQC quickcheck;
5501 int output_size;
5502 bool result;
5503
5504 form = unicode_norm_form_from_string(formstr);
5505
5506 /* convert to char32_t */
5508 input_chars = palloc((size + 1) * sizeof(char32_t));
5509 p = (unsigned char *) VARDATA_ANY(input);
5510 for (i = 0; i < size; i++)
5511 {
5512 input_chars[i] = utf8_to_unicode(p);
5513 p += pg_utf_mblen(p);
5514 }
5515 input_chars[i] = (char32_t) '\0';
5516 Assert((char *) p == VARDATA_ANY(input) + VARSIZE_ANY_EXHDR(input));
5517
5518 /* quick check (see UAX #15) */
5519 quickcheck = unicode_is_normalized_quickcheck(form, input_chars);
5520 if (quickcheck == UNICODE_NORM_QC_YES)
5521 PG_RETURN_BOOL(true);
5522 else if (quickcheck == UNICODE_NORM_QC_NO)
5523 PG_RETURN_BOOL(false);
5524
5525 /* normalize and compare with original */
5526 output_chars = unicode_normalize(form, input_chars);
5527
5528 output_size = 0;
5529 for (char32_t *wp = output_chars; *wp; wp++)
5530 output_size++;
5531
5532 result = (size == output_size) &&
5533 (memcmp(input_chars, output_chars, size * sizeof(char32_t)) == 0);
5534
5535 PG_RETURN_BOOL(result);
5536}
5537
5538/*
5539 * Check if first n chars are hexadecimal digits
5540 */
5541static bool
5542isxdigits_n(const char *instr, size_t n)
5543{
5544 for (size_t i = 0; i < n; i++)
5545 if (!isxdigit((unsigned char) instr[i]))
5546 return false;
5547
5548 return true;
5549}
5550
5551static unsigned int
5552hexval(unsigned char c)
5553{
5554 if (c >= '0' && c <= '9')
5555 return c - '0';
5556 if (c >= 'a' && c <= 'f')
5557 return c - 'a' + 0xA;
5558 if (c >= 'A' && c <= 'F')
5559 return c - 'A' + 0xA;
5560 elog(ERROR, "invalid hexadecimal digit");
5561 return 0; /* not reached */
5562}
5563
5564/*
5565 * Translate string with hexadecimal digits to number
5566 */
5567static unsigned int
5568hexval_n(const char *instr, size_t n)
5569{
5570 unsigned int result = 0;
5571
5572 for (size_t i = 0; i < n; i++)
5573 result += hexval(instr[i]) << (4 * (n - i - 1));
5574
5575 return result;
5576}
5577
5578/*
5579 * Replaces Unicode escape sequences by Unicode characters
5580 */
5581Datum
5583{
5584 text *input_text = PG_GETARG_TEXT_PP(0);
5585 char *instr;
5586 int len;
5588 text *result;
5589 char16_t pair_first = 0;
5590 char cbuf[MAX_UNICODE_EQUIVALENT_STRING + 1];
5591
5592 instr = VARDATA_ANY(input_text);
5593 len = VARSIZE_ANY_EXHDR(input_text);
5594
5596
5597 while (len > 0)
5598 {
5599 if (instr[0] == '\\')
5600 {
5601 if (len >= 2 &&
5602 instr[1] == '\\')
5603 {
5604 if (pair_first)
5605 goto invalid_pair;
5606 appendStringInfoChar(&str, '\\');
5607 instr += 2;
5608 len -= 2;
5609 }
5610 else if ((len >= 5 && isxdigits_n(instr + 1, 4)) ||
5611 (len >= 6 && instr[1] == 'u' && isxdigits_n(instr + 2, 4)))
5612 {
5613 char32_t unicode;
5614 int offset = instr[1] == 'u' ? 2 : 1;
5615
5616 unicode = hexval_n(instr + offset, 4);
5617
5618 if (!is_valid_unicode_codepoint(unicode))
5619 ereport(ERROR,
5620 errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5621 errmsg("invalid Unicode code point: %04X", unicode));
5622
5623 if (pair_first)
5624 {
5625 if (is_utf16_surrogate_second(unicode))
5626 {
5627 unicode = surrogate_pair_to_codepoint(pair_first, unicode);
5628 pair_first = 0;
5629 }
5630 else
5631 goto invalid_pair;
5632 }
5633 else if (is_utf16_surrogate_second(unicode))
5634 goto invalid_pair;
5635
5636 if (is_utf16_surrogate_first(unicode))
5637 pair_first = unicode;
5638 else
5639 {
5640 pg_unicode_to_server(unicode, (unsigned char *) cbuf);
5642 }
5643
5644 instr += 4 + offset;
5645 len -= 4 + offset;
5646 }
5647 else if (len >= 8 && instr[1] == '+' && isxdigits_n(instr + 2, 6))
5648 {
5649 char32_t unicode;
5650
5651 unicode = hexval_n(instr + 2, 6);
5652
5653 if (!is_valid_unicode_codepoint(unicode))
5654 ereport(ERROR,
5655 errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5656 errmsg("invalid Unicode code point: %04X", unicode));
5657
5658 if (pair_first)
5659 {
5660 if (is_utf16_surrogate_second(unicode))
5661 {
5662 unicode = surrogate_pair_to_codepoint(pair_first, unicode);
5663 pair_first = 0;
5664 }
5665 else
5666 goto invalid_pair;
5667 }
5668 else if (is_utf16_surrogate_second(unicode))
5669 goto invalid_pair;
5670
5671 if (is_utf16_surrogate_first(unicode))
5672 pair_first = unicode;
5673 else
5674 {
5675 pg_unicode_to_server(unicode, (unsigned char *) cbuf);
5677 }
5678
5679 instr += 8;
5680 len -= 8;
5681 }
5682 else if (len >= 10 && instr[1] == 'U' && isxdigits_n(instr + 2, 8))
5683 {
5684 char32_t unicode;
5685
5686 unicode = hexval_n(instr + 2, 8);
5687
5688 if (!is_valid_unicode_codepoint(unicode))
5689 ereport(ERROR,
5690 errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5691 errmsg("invalid Unicode code point: %04X", unicode));
5692
5693 if (pair_first)
5694 {
5695 if (is_utf16_surrogate_second(unicode))
5696 {
5697 unicode = surrogate_pair_to_codepoint(pair_first, unicode);
5698 pair_first = 0;
5699 }
5700 else
5701 goto invalid_pair;
5702 }
5703 else if (is_utf16_surrogate_second(unicode))
5704 goto invalid_pair;
5705
5706 if (is_utf16_surrogate_first(unicode))
5707 pair_first = unicode;
5708 else
5709 {
5710 pg_unicode_to_server(unicode, (unsigned char *) cbuf);
5712 }
5713
5714 instr += 10;
5715 len -= 10;
5716 }
5717 else
5718 ereport(ERROR,
5719 (errcode(ERRCODE_SYNTAX_ERROR),
5720 errmsg("invalid Unicode escape"),
5721 errhint("Unicode escapes must be \\XXXX, \\+XXXXXX, \\uXXXX, or \\UXXXXXXXX.")));
5722 }
5723 else
5724 {
5725 if (pair_first)
5726 goto invalid_pair;
5727
5728 appendStringInfoChar(&str, *instr++);
5729 len--;
5730 }
5731 }
5732
5733 /* unfinished surrogate pair? */
5734 if (pair_first)
5735 goto invalid_pair;
5736
5737 result = cstring_to_text_with_len(str.data, str.len);
5738 pfree(str.data);
5739
5740 PG_RETURN_TEXT_P(result);
5741
5742invalid_pair:
5743 ereport(ERROR,
5744 (errcode(ERRCODE_SYNTAX_ERROR),
5745 errmsg("invalid Unicode surrogate pair")));
5746 PG_RETURN_NULL(); /* keep compiler quiet */
5747}
Datum idx(PG_FUNCTION_ARGS)
Definition: _int_op.c:262
#define ARR_NDIM(a)
Definition: array.h:290
#define PG_GETARG_ARRAYTYPE_P(n)
Definition: array.h:263
#define ARR_DATA_PTR(a)
Definition: array.h:322
#define ARR_NULLBITMAP(a)
Definition: array.h:300
#define ARR_ELEMTYPE(a)
Definition: array.h:292
#define PG_RETURN_ARRAYTYPE_P(x)
Definition: array.h:265
#define ARR_DIMS(a)
Definition: array.h:294
ArrayBuildState * accumArrayResult(ArrayBuildState *astate, Datum dvalue, bool disnull, Oid element_type, MemoryContext rcontext)
Definition: arrayfuncs.c:5351
ArrayType * construct_empty_array(Oid elmtype)
Definition: arrayfuncs.c:3581
Datum makeArrayResult(ArrayBuildState *astate, MemoryContext rcontext)
Definition: arrayfuncs.c:5421
void deconstruct_array(const ArrayType *array, Oid elmtype, int elmlen, bool elmbyval, char elmalign, Datum **elemsp, bool **nullsp, int *nelemsp)
Definition: arrayfuncs.c:3632
int ArrayGetNItems(int ndim, const int *dims)
Definition: arrayutils.c:57
static Datum values[MAXATTR]
Definition: bootstrap.c:153
#define TextDatumGetCString(d)
Definition: builtins.h:98
#define NameStr(name)
Definition: c.h:765
#define unconstify(underlying_type, expr)
Definition: c.h:1222
NameData * Name
Definition: c.h:763
#define Min(x, y)
Definition: c.h:995
#define Max(x, y)
Definition: c.h:989
#define VARHDRSZ
Definition: c.h:711
int16_t int16
Definition: c.h:547
int8_t int8
Definition: c.h:546
uint8 bits8
Definition: c.h:559
int32_t int32
Definition: c.h:548
uint64_t uint64
Definition: c.h:553
#define unlikely(x)
Definition: c.h:418
uint32_t uint32
Definition: c.h:552
#define lengthof(array)
Definition: c.h:801
uint32_t char32_t
Definition: c.h:1369
#define OidIsValid(objectId)
Definition: c.h:788
size_t Size
Definition: c.h:624
Oid collid
Size toast_datum_size(Datum value)
Definition: detoast.c:601
Size toast_raw_datum_size(Datum value)
Definition: detoast.c:545
#define VARATT_EXTERNAL_GET_POINTER(toast_pointer, attr)
Definition: detoast.h:22
int errhint(const char *fmt,...)
Definition: elog.c:1330
int errcode(int sqlerrcode)
Definition: elog.c:863
int errmsg(const char *fmt,...)
Definition: elog.c:1080
#define LOG
Definition: elog.h:31
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:226
#define ereport(elevel,...)
Definition: elog.h:150
#define palloc_object(type)
Definition: fe_memutils.h:74
#define MaxAllocSize
Definition: fe_memutils.h:22
void fmgr_info(Oid functionId, FmgrInfo *finfo)
Definition: fmgr.c:128
Datum DirectFunctionCall2Coll(PGFunction func, Oid collation, Datum arg1, Datum arg2)
Definition: fmgr.c:813
struct varlena * pg_detoast_datum_packed(struct varlena *datum)
Definition: fmgr.c:1829
void fmgr_info_cxt(Oid functionId, FmgrInfo *finfo, MemoryContext mcxt)
Definition: fmgr.c:138
char * OutputFunctionCall(FmgrInfo *flinfo, Datum val)
Definition: fmgr.c:1683
bool get_fn_expr_variadic(FmgrInfo *flinfo)
Definition: fmgr.c:2009
Oid get_fn_expr_argtype(FmgrInfo *flinfo, int argnum)
Definition: fmgr.c:1875
#define PG_RETURN_VOID()
Definition: fmgr.h:349
#define PG_FREE_IF_COPY(ptr, n)
Definition: fmgr.h:260
#define PG_GETARG_BYTEA_PP(n)
Definition: fmgr.h:308
#define PG_GETARG_TEXT_PP(n)
Definition: fmgr.h:309
#define PG_RETURN_BYTEA_P(x)
Definition: fmgr.h:371
#define DatumGetTextPP(X)
Definition: fmgr.h:292
#define DatumGetBpCharPP(X)
Definition: fmgr.h:293
#define PG_GETARG_POINTER(n)
Definition: fmgr.h:276
#define PG_RETURN_CSTRING(x)
Definition: fmgr.h:362
#define PG_ARGISNULL(n)
Definition: fmgr.h:209
struct FmgrInfo FmgrInfo
#define PG_GETARG_DATUM(n)
Definition: fmgr.h:268
#define PG_NARGS()
Definition: fmgr.h:203
#define PG_GETARG_CSTRING(n)
Definition: fmgr.h:277
#define PG_RETURN_NULL()
Definition: fmgr.h:345
#define PG_GETARG_INT64(n)
Definition: fmgr.h:283
#define PG_GETARG_NAME(n)
Definition: fmgr.h:278
#define PG_RETURN_TEXT_P(x)
Definition: fmgr.h:372
#define DatumGetTextPSlice(X, m, n)
Definition: fmgr.h:304
#define PG_RETURN_INT32(x)
Definition: fmgr.h:354
#define PG_RETURN_NAME(x)
Definition: fmgr.h:363
#define PG_GETARG_INT32(n)
Definition: fmgr.h:269
#define PG_RETURN_DATUM(x)
Definition: fmgr.h:353
#define PG_RETURN_POINTER(x)
Definition: fmgr.h:361
#define PG_GET_COLLATION()
Definition: fmgr.h:198
#define PG_RETURN_OID(x)
Definition: fmgr.h:360
#define PG_FUNCTION_ARGS
Definition: fmgr.h:193
#define PG_RETURN_BOOL(x)
Definition: fmgr.h:359
void InitMaterializedSRF(FunctionCallInfo fcinfo, bits32 flags)
Definition: funcapi.c:76
#define MAT_SRF_USE_EXPECTED_DESC
Definition: funcapi.h:296
static Datum hash_uint32(uint32 k)
Definition: hashfn.h:43
static Datum hash_any(const unsigned char *k, int keylen)
Definition: hashfn.h:31
Assert(PointerIsAligned(start, uint64))
return str start
const char * str
for(;;)
void initHyperLogLog(hyperLogLogState *cState, uint8 bwidth)
Definition: hyperloglog.c:66
double estimateHyperLogLog(hyperLogLogState *cState)
Definition: hyperloglog.c:186
void addHyperLogLog(hyperLogLogState *cState, uint32 hash)
Definition: hyperloglog.c:167
#define nitems(x)
Definition: indent.h:31
FILE * input
long val
Definition: informix.c:689
static struct @171 value
int digits
Definition: informix.c:691
static char * locale
Definition: initdb.c:140
static bool pg_mul_s32_overflow(int32 a, int32 b, int32 *result)
Definition: int.h:187
static bool pg_add_s32_overflow(int32 a, int32 b, int32 *result)
Definition: int.h:151
int y
Definition: isn.c:76
int x
Definition: isn.c:75
int i
Definition: isn.c:77
if(TABLE==NULL||TABLE_index==NULL)
Definition: isn.c:81
#define MAX_LEVENSHTEIN_STRLEN
Definition: levenshtein.c:26
List * lappend(List *list, void *datum)
Definition: list.c:339
void list_free(List *list)
Definition: list.c:1546
void getTypeOutputInfo(Oid type, Oid *typOutput, bool *typIsVarlena)
Definition: lsyscache.c:3057
void get_typlenbyvalalign(Oid typid, int16 *typlen, bool *typbyval, char *typalign)
Definition: lsyscache.c:2421
void get_type_io_data(Oid typid, IOFuncSelector which_func, int16 *typlen, bool *typbyval, char *typalign, char *typdelim, Oid *typioparam, Oid *func)
Definition: lsyscache.c:2475
int16 get_typlen(Oid typid)
Definition: lsyscache.c:2347
Oid get_base_element_type(Oid typid)
Definition: lsyscache.c:2982
@ IOFunc_output
Definition: lsyscache.h:37
unsigned int pg_wchar
Definition: mbprint.c:31
static char32_t utf8_to_unicode(const unsigned char *c)
Definition: mbprint.c:53
int GetDatabaseEncoding(void)
Definition: mbutils.c:1264
int pg_mbstrlen_with_len(const char *mbstr, int limit)
Definition: mbutils.c:1060
int pg_mbcharcliplen(const char *mbstr, int len, int limit)
Definition: mbutils.c:1128
int pg_mbstrlen(const char *mbstr)
Definition: mbutils.c:1040
int pg_mbcliplen(const char *mbstr, int len, int limit)
Definition: mbutils.c:1086
int pg_database_encoding_max_length(void)
Definition: mbutils.c:1549
void pg_unicode_to_server(char32_t c, unsigned char *s)
Definition: mbutils.c:867
int pg_mb2wchar_with_len(const char *from, pg_wchar *to, int len)
Definition: mbutils.c:989
int pg_mblen(const char *mbstr)
Definition: mbutils.c:1026
void * MemoryContextAlloc(MemoryContext context, Size size)
Definition: mcxt.c:1232
char * pstrdup(const char *in)
Definition: mcxt.c:1781
void * repalloc(void *pointer, Size size)
Definition: mcxt.c:1632
void pfree(void *pointer)
Definition: mcxt.c:1616
void * palloc0(Size size)
Definition: mcxt.c:1417
void * palloc(Size size)
Definition: mcxt.c:1387
MemoryContext CurrentMemoryContext
Definition: mcxt.c:160
#define CHECK_FOR_INTERRUPTS()
Definition: miscadmin.h:123
int AggCheckCallContext(FunctionCallInfo fcinfo, MemoryContext *aggcontext)
Definition: nodeAgg.c:4607
int32 pg_strtoint32(const char *s)
Definition: numutils.c:383
static MemoryContext MemoryContextSwitchTo(MemoryContext context)
Definition: palloc.h:124
void * arg
#define DatumBigEndianToNative(x)
Definition: pg_bswap.h:145
#define BITS_PER_BYTE
#define NAMEDATALEN
#define MAXPGPATH
#define PG_CACHE_LINE_SIZE
const void size_t len
const void * data
#define lfirst(lc)
Definition: pg_list.h:172
#define NIL
Definition: pg_list.h:68
bool pg_strxfrm_enabled(pg_locale_t locale)
Definition: pg_locale.c:1415
pg_locale_t pg_newlocale_from_collation(Oid collid)
Definition: pg_locale.c:1186
int pg_strcoll(const char *arg1, const char *arg2, pg_locale_t locale)
Definition: pg_locale.c:1381
bool pg_strxfrm_prefix_enabled(pg_locale_t locale)
Definition: pg_locale.c:1467
int pg_strncoll(const char *arg1, ssize_t len1, const char *arg2, ssize_t len2, pg_locale_t locale)
Definition: pg_locale.c:1401
size_t pg_strxfrm(char *dest, const char *src, size_t destsize, pg_locale_t locale)
Definition: pg_locale.c:1431
size_t pg_strxfrm_prefix(char *dest, const char *src, size_t destsize, pg_locale_t locale)
Definition: pg_locale.c:1478
static rewind_source * source
Definition: pg_rewind.c:89
static char buf[DEFAULT_XLOG_SEG_SIZE]
Definition: pg_test_fsync.c:71
char typalign
Definition: pg_type.h:176
#define pg_utf_mblen
Definition: pg_wchar.h:633
@ PG_UTF8
Definition: pg_wchar.h:232
static bool is_utf16_surrogate_first(char32_t c)
Definition: pg_wchar.h:525
static unsigned char * unicode_to_utf8(char32_t c, unsigned char *utf8string)
Definition: pg_wchar.h:575
static bool is_utf16_surrogate_second(char32_t c)
Definition: pg_wchar.h:531
static char32_t surrogate_pair_to_codepoint(char16_t first, char16_t second)
Definition: pg_wchar.h:537
#define MAX_UNICODE_EQUIVALENT_STRING
Definition: pg_wchar.h:329
static bool is_valid_unicode_codepoint(char32_t c)
Definition: pg_wchar.h:519
int pg_strcasecmp(const char *s1, const char *s2)
Definition: pgstrcasecmp.c:32
void canonicalize_path(char *path)
Definition: path.c:337
static uint32 DatumGetUInt32(Datum X)
Definition: postgres.h:232
static uint64 DatumGetUInt64(Datum X)
Definition: postgres.h:413
static bool DatumGetBool(Datum X)
Definition: postgres.h:100
static Datum PointerGetDatum(const void *X)
Definition: postgres.h:332
static Name DatumGetName(Datum X)
Definition: postgres.h:370
static char * DatumGetCString(Datum X)
Definition: postgres.h:345
uint64_t Datum
Definition: postgres.h:70
static Pointer DatumGetPointer(Datum X)
Definition: postgres.h:322
static int16 DatumGetInt16(Datum X)
Definition: postgres.h:172
static int32 DatumGetInt32(Datum X)
Definition: postgres.h:212
#define InvalidOid
Definition: postgres_ext.h:37
unsigned int Oid
Definition: postgres_ext.h:32
unsigned int pq_getmsgint(StringInfo msg, int b)
Definition: pqformat.c:414
void pq_sendbytes(StringInfo buf, const void *data, int datalen)
Definition: pqformat.c:126
void pq_sendtext(StringInfo buf, const char *str, int slen)
Definition: pqformat.c:172
void pq_getmsgend(StringInfo msg)
Definition: pqformat.c:634
char * pq_getmsgtext(StringInfo msg, int rawbytes, int *nbytes)
Definition: pqformat.c:545
void pq_begintypsend(StringInfo buf)
Definition: pqformat.c:325
const char * pq_getmsgbytes(StringInfo msg, int datalen)
Definition: pqformat.c:507
bytea * pq_endtypsend(StringInfo buf)
Definition: pqformat.c:345
static void pq_sendint(StringInfo buf, uint32 i, int b)
Definition: pqformat.h:171
char * c
char * s1
char * s2
char * quote_literal_cstr(const char *rawstr)
Definition: quote.c:103
static unsigned hash(unsigned *uv, int n)
Definition: rege_dfa.c:715
size_t pg_regerror(int errcode, const regex_t *preg, char *errbuf, size_t errbuf_size)
Definition: regerror.c:60
#define REG_NOMATCH
Definition: regex.h:216
#define regmatch_t
Definition: regex.h:246
#define REG_OKAY
Definition: regex.h:215
#define REG_NOSUB
Definition: regex.h:185
#define regex_t
Definition: regex.h:245
int pg_regexec(regex_t *re, const chr *string, size_t len, size_t search_start, rm_detail_t *details, size_t nmatch, regmatch_t pmatch[], int flags)
Definition: regexec.c:185
regex_t * RE_compile_and_cache(text *text_re, int cflags, Oid collation)
Definition: regexp.c:141
const char * quote_identifier(const char *ident)
Definition: ruleutils.c:13062
void truncate_identifier(char *ident, int len, bool warn)
Definition: scansup.c:81
char * downcase_truncate_identifier(const char *ident, int len, bool warn)
Definition: scansup.c:38
bool scanner_isspace(char ch)
Definition: scansup.c:105
#define S(n, x)
Definition: sha1.c:73
struct SortSupportData * SortSupport
Definition: sortsupport.h:58
struct StringInfoData * StringInfo
Definition: string.h:15
StringInfo makeStringInfo(void)
Definition: stringinfo.c:72
void appendStringInfo(StringInfo str, const char *fmt,...)
Definition: stringinfo.c:145
void appendBinaryStringInfo(StringInfo str, const void *data, int datalen)
Definition: stringinfo.c:281
void appendStringInfoSpaces(StringInfo str, int count)
Definition: stringinfo.c:260
void appendStringInfoString(StringInfo str, const char *s)
Definition: stringinfo.c:230
void appendStringInfoChar(StringInfo str, char ch)
Definition: stringinfo.c:242
void initStringInfo(StringInfo str)
Definition: stringinfo.c:97
#define appendStringInfoCharMacro(str, ch)
Definition: stringinfo.h:231
static void initReadOnlyStringInfo(StringInfo str, char *data, int len)
Definition: stringinfo.h:157
Oid typioparam
Definition: array.h:243
char typalign
Definition: array.h:241
Oid typiofunc
Definition: array.h:244
int16 typlen
Definition: array.h:239
Oid element_type
Definition: array.h:238
FmgrInfo proc
Definition: array.h:245
char typdelim
Definition: array.h:242
bool typbyval
Definition: array.h:240
Definition: fmgr.h:57
void * fn_extra
Definition: fmgr.h:64
MemoryContext fn_mcxt
Definition: fmgr.h:65
FmgrInfo * flinfo
Definition: fmgr.h:87
Definition: pg_list.h:54
TupleDesc setDesc
Definition: execnodes.h:364
Tuplestorestate * setResult
Definition: execnodes.h:363
int(* comparator)(Datum x, Datum y, SortSupport ssup)
Definition: sortsupport.h:106
Datum(* abbrev_converter)(Datum original, SortSupport ssup)
Definition: sortsupport.h:172
void * ssup_extra
Definition: sortsupport.h:87
MemoryContext ssup_cxt
Definition: sortsupport.h:66
int(* abbrev_full_comparator)(Datum x, Datum y, SortSupport ssup)
Definition: sortsupport.h:191
bool(* abbrev_abort)(int memtupcount, SortSupport ssup)
Definition: sortsupport.h:182
TupleDesc tupdesc
Definition: varlena.c:110
ArrayBuildState * astate
Definition: varlena.c:108
Tuplestorestate * tupstore
Definition: varlena.c:109
int last_match_len
Definition: varlena.c:70
bool is_multibyte_char_in_char
Definition: varlena.c:53
int last_match_len_tmp
Definition: varlena.c:71
char * last_match
Definition: varlena.c:69
char * refpoint
Definition: varlena.c:79
pg_locale_t locale
Definition: varlena.c:52
pg_locale_t locale
Definition: varlena.c:99
hyperLogLogState full_card
Definition: varlena.c:97
hyperLogLogState abbr_card
Definition: varlena.c:96
Definition: c.h:760
Definition: regguts.h:323
Oid va_valueid
Definition: varatt.h:37
Definition: c.h:706
ToastCompressionId toast_get_compression_id(struct varlena *attr)
ToastCompressionId
@ TOAST_INVALID_COMPRESSION_ID
@ TOAST_LZ4_COMPRESSION_ID
@ TOAST_PGLZ_COMPRESSION_ID
int ssup_datum_unsigned_cmp(Datum x, Datum y, SortSupport ssup)
Definition: tuplesort.c:3123
bool trace_sort
Definition: tuplesort.c:122
void tuplestore_putvalues(Tuplestorestate *state, TupleDesc tdesc, const Datum *values, const bool *isnull)
Definition: tuplestore.c:784
#define att_align_nominal(cur_offset, attalign)
Definition: tupmacs.h:145
#define att_addlength_pointer(cur_offset, attlen, attptr)
Definition: tupmacs.h:180
static Datum fetch_att(const void *T, bool attbyval, int attlen)
Definition: tupmacs.h:50
pg_unicode_category unicode_category(char32_t code)
@ PG_U_UNASSIGNED
UnicodeNormalizationQC unicode_is_normalized_quickcheck(UnicodeNormalizationForm form, const char32_t *input)
Definition: unicode_norm.c:598
char32_t * unicode_normalize(UnicodeNormalizationForm form, const char32_t *input)
Definition: unicode_norm.c:402
UnicodeNormalizationForm
Definition: unicode_norm.h:18
@ UNICODE_NFKD
Definition: unicode_norm.h:22
@ UNICODE_NFD
Definition: unicode_norm.h:20
@ UNICODE_NFC
Definition: unicode_norm.h:19
@ UNICODE_NFKC
Definition: unicode_norm.h:21
UnicodeNormalizationQC
Definition: unicode_norm.h:27
@ UNICODE_NORM_QC_YES
Definition: unicode_norm.h:29
@ UNICODE_NORM_QC_NO
Definition: unicode_norm.h:28
#define PG_UNICODE_VERSION
String * makeString(char *str)
Definition: value.c:63
static bool VARATT_IS_EXTERNAL_ONDISK(const void *PTR)
Definition: varatt.h:361
static Size VARSIZE_ANY(const void *PTR)
Definition: varatt.h:460
static Size VARSIZE_ANY_EXHDR(const void *PTR)
Definition: varatt.h:472
static bool VARATT_IS_EXTERNAL(const void *PTR)
Definition: varatt.h:354
static char * VARDATA(const void *PTR)
Definition: varatt.h:305
static char * VARDATA_ANY(const void *PTR)
Definition: varatt.h:486
static bool VARATT_IS_COMPRESSED(const void *PTR)
Definition: varatt.h:347
static void SET_VARSIZE(void *PTR, Size len)
Definition: varatt.h:432
int bpchartruelen(char *s, int len)
Definition: varchar.c:676
static int varstrfastcmp_locale(char *a1p, int len1, char *a2p, int len2, SortSupport ssup)
Definition: varlena.c:1887
Datum unknownrecv(PG_FUNCTION_ARGS)
Definition: varlena.c:354
Datum array_to_text(PG_FUNCTION_ARGS)
Definition: varlena.c:3846
static int text_cmp(text *arg1, text *arg2, Oid collid)
Definition: varlena.c:1356
Datum textsend(PG_FUNCTION_ARGS)
Definition: varlena.c:315
Datum textoverlay_no_len(PG_FUNCTION_ARGS)
Definition: varlena.c:799
static void text_format_string_conversion(StringInfo buf, char conversion, FmgrInfo *typOutputInfo, Datum value, bool isNull, int flags, int width)
Definition: varlena.c:5121
static text * text_overlay(text *t1, text *t2, int sp, int sl)
Definition: varlena.c:811
Datum text_format(PG_FUNCTION_ARGS)
Definition: varlena.c:4718
Datum textlen(PG_FUNCTION_ARGS)
Definition: varlena.c:389
Datum pg_column_toast_chunk_id(PG_FUNCTION_ARGS)
Definition: varlena.c:4194
static void text_position_setup(text *t1, text *t2, Oid collid, TextPositionState *state)
Definition: varlena.c:917
static int32 text_length(Datum str)
Definition: varlena.c:407
static bool varstr_abbrev_abort(int memtupcount, SortSupport ssup)
Definition: varlena.c:2154
Datum text_left(PG_FUNCTION_ARGS)
Definition: varlena.c:4618
Datum string_agg_transfn(PG_FUNCTION_ARGS)
Definition: varlena.c:4266
static bool text_isequal(text *txt1, text *txt2, Oid collid)
Definition: varlena.c:3580
static void text_position_cleanup(TextPositionState *state)
Definition: varlena.c:1272
static text * text_catenate(text *t1, text *t2)
Definition: varlena.c:460
static text * concat_internal(const char *sepstr, int argidx, FunctionCallInfo fcinfo)
Definition: varlena.c:4502
static void appendStringInfoText(StringInfo str, const text *t)
Definition: varlena.c:3062
Datum textgtname(PG_FUNCTION_ARGS)
Definition: varlena.c:2485
Datum textout(PG_FUNCTION_ARGS)
Definition: varlena.c:286
Datum textcat(PG_FUNCTION_ARGS)
Definition: varlena.c:445
Datum text_substr(PG_FUNCTION_ARGS)
Definition: varlena.c:547
Datum text_smaller(PG_FUNCTION_ARGS)
Definition: varlena.c:2294
static text * text_substring(Datum str, int32 start, int32 length, bool length_not_specified)
Definition: varlena.c:580
static int check_replace_text_has_escape(const text *replace_text)
Definition: varlena.c:3153
Datum text_concat_ws(PG_FUNCTION_ARGS)
Definition: varlena.c:4597
static int internal_text_pattern_compare(text *arg1, text *arg2)
Definition: varlena.c:2508
Datum string_agg_serialize(PG_FUNCTION_ARGS)
Definition: varlena.c:4371
Datum text_ge(PG_FUNCTION_ARGS)
Definition: varlena.c:1530
static int varlenafastcmp_locale(Datum x, Datum y, SortSupport ssup)
Definition: varlena.c:1842
Datum array_to_text_null(PG_FUNCTION_ARGS)
Definition: varlena.c:3862
static const char * text_format_parse_format(const char *start_ptr, const char *end_ptr, int *argpos, int *widthpos, int *flags, int *width)
Definition: varlena.c:5044
Datum text_larger(PG_FUNCTION_ARGS)
Definition: varlena.c:2282
Datum unicode_assigned(PG_FUNCTION_ARGS)
Definition: varlena.c:5396
int varstr_cmp(const char *arg1, int len1, const char *arg2, int len2, Oid collid)
Definition: varlena.c:1308
static char * text_position_get_match_ptr(TextPositionState *state)
Definition: varlena.c:1237
static int bpcharfastcmp_c(Datum x, Datum y, SortSupport ssup)
Definition: varlena.c:1797
Datum text_to_array_null(PG_FUNCTION_ARGS)
Definition: varlena.c:3620
static unsigned int hexval_n(const char *instr, size_t n)
Definition: varlena.c:5568
static bool rest_of_char_same(const char *s1, const char *s2, int len)
Definition: varlena.c:5232
text * cstring_to_text_with_len(const char *s, int len)
Definition: varlena.c:193
Datum text_to_table_null(PG_FUNCTION_ARGS)
Definition: varlena.c:3655
Datum text_right(PG_FUNCTION_ARGS)
Definition: varlena.c:4642
Datum textne(PG_FUNCTION_ARGS)
Definition: varlena.c:1436
Datum textrecv(PG_FUNCTION_ARGS)
Definition: varlena.c:297
static void text_format_append_string(StringInfo buf, const char *str, int flags, int width)
Definition: varlena.c:5170
static int text_position(text *t1, text *t2, Oid collid)
Definition: varlena.c:871
bool SplitDirectoriesString(char *rawstring, char separator, List **namelist)
Definition: varlena.c:2855
Datum unicode_normalize_func(PG_FUNCTION_ARGS)
Definition: varlena.c:5424
Datum bttext_pattern_sortsupport(PG_FUNCTION_ARGS)
Definition: varlena.c:2610
static void split_text_accum_result(SplitTextOutputData *tstate, text *field_value, text *null_string, Oid collation)
Definition: varlena.c:3807
Datum split_part(PG_FUNCTION_ARGS)
Definition: varlena.c:3448
Datum texteqname(PG_FUNCTION_ARGS)
Definition: varlena.c:2336
Datum text_substr_no_len(PG_FUNCTION_ARGS)
Definition: varlena.c:561
Datum text_name(PG_FUNCTION_ARGS)
Definition: varlena.c:2630
Datum text_le(PG_FUNCTION_ARGS)
Definition: varlena.c:1500
const char * getClosestMatch(ClosestMatchState *state)
Definition: varlena.c:5323
static void text_position_reset(TextPositionState *state)
Definition: varlena.c:1264
Datum text_to_table(PG_FUNCTION_ARGS)
Definition: varlena.c:3631
#define ADVANCE_PARSE_POINTER(ptr, end_ptr)
Definition: varlena.c:4705
Datum textnename(PG_FUNCTION_ARGS)
Definition: varlena.c:2386
static char * text_position_next_internal(char *start_ptr, TextPositionState *state)
Definition: varlena.c:1103
static FmgrInfo * build_concat_foutcache(FunctionCallInfo fcinfo, int argidx)
Definition: varlena.c:4464
Datum to_hex64(PG_FUNCTION_ARGS)
Definition: varlena.c:4081
Datum text_to_array(PG_FUNCTION_ARGS)
Definition: varlena.c:3594
Datum unicode_is_normalized(PG_FUNCTION_ARGS)
Definition: varlena.c:5490
#define TEXT_FORMAT_FLAG_MINUS
Definition: varlena.c:4703
static void check_collation_set(Oid collid)
Definition: varlena.c:1279
bool SplitGUCList(char *rawstring, char separator, List **namelist)
Definition: varlena.c:2976
static text * convert_to_base(uint64 value, int base)
Definition: varlena.c:4010
Datum textoverlay(PG_FUNCTION_ARGS)
Definition: varlena.c:788
static void appendStringInfoRegexpSubstr(StringInfo str, text *replace_text, regmatch_t *pmatch, char *start_ptr, int data_pos)
Definition: varlena.c:3186
bool SplitIdentifierString(char *rawstring, char separator, List **namelist)
Definition: varlena.c:2728
static text * array_to_text_internal(FunctionCallInfo fcinfo, ArrayType *v, const char *fldsep, const char *null_string)
Definition: varlena.c:3888
Datum to_hex32(PG_FUNCTION_ARGS)
Definition: varlena.c:4074
Datum text_starts_with(PG_FUNCTION_ARGS)
Definition: varlena.c:1545
Datum text_gt(PG_FUNCTION_ARGS)
Definition: varlena.c:1515
Datum text_reverse(PG_FUNCTION_ARGS)
Definition: varlena.c:4663
Datum to_bin64(PG_FUNCTION_ARGS)
Definition: varlena.c:4043
Datum texteq(PG_FUNCTION_ARGS)
Definition: varlena.c:1381
Datum to_oct64(PG_FUNCTION_ARGS)
Definition: varlena.c:4062
Datum text_pattern_gt(PG_FUNCTION_ARGS)
Definition: varlena.c:2578
static int charlen_to_bytelen(const char *p, int n)
Definition: varlena.c:501
void varstr_sortsupport(SortSupport ssup, Oid typid, Oid collid)
Definition: varlena.c:1624
static int namefastcmp_c(Datum x, Datum y, SortSupport ssup)
Definition: varlena.c:1830
static StringInfo makeStringAggState(FunctionCallInfo fcinfo)
Definition: varlena.c:4242
Datum textlename(PG_FUNCTION_ARGS)
Definition: varlena.c:2479
Datum icu_unicode_version(PG_FUNCTION_ARGS)
Definition: varlena.c:5382
static int namefastcmp_locale(Datum x, Datum y, SortSupport ssup)
Definition: varlena.c:1873
static Datum varstr_abbrev_convert(Datum original, SortSupport ssup)
Definition: varlena.c:1987
text * cstring_to_text(const char *s)
Definition: varlena.c:181
Datum text_concat(PG_FUNCTION_ARGS)
Definition: varlena.c:4582
Datum text_pattern_lt(PG_FUNCTION_ARGS)
Definition: varlena.c:2530
Datum text_pattern_ge(PG_FUNCTION_ARGS)
Definition: varlena.c:2562
Datum btvarstrequalimage(PG_FUNCTION_ARGS)
Definition: varlena.c:2268
Datum nameletext(PG_FUNCTION_ARGS)
Definition: varlena.c:2455
#define CmpCall(cmpfunc)
Definition: varlena.c:2442
text * replace_text_regexp(text *src_text, text *pattern_text, text *replace_text, int cflags, Oid collation, int search_start, int n)
Definition: varlena.c:3286
Datum namenetext(PG_FUNCTION_ARGS)
Definition: varlena.c:2361
static int text_position_get_match_pos(TextPositionState *state)
Definition: varlena.c:1248
void text_to_cstring_buffer(const text *src, char *dst, size_t dst_len)
Definition: varlena.c:245
Datum to_bin32(PG_FUNCTION_ARGS)
Definition: varlena.c:4036
Datum to_oct32(PG_FUNCTION_ARGS)
Definition: varlena.c:4055
Datum namegttext(PG_FUNCTION_ARGS)
Definition: varlena.c:2461
Datum unicode_version(PG_FUNCTION_ARGS)
Definition: varlena.c:5373
Datum namegetext(PG_FUNCTION_ARGS)
Definition: varlena.c:2467
static UnicodeNormalizationForm unicode_norm_form_from_string(const char *formstr)
Definition: varlena.c:5336
static bool text_position_next(TextPositionState *state)
Definition: varlena.c:1038
Datum textoctetlen(PG_FUNCTION_ARGS)
Definition: varlena.c:426
Datum textltname(PG_FUNCTION_ARGS)
Definition: varlena.c:2473
Datum bttextsortsupport(PG_FUNCTION_ARGS)
Definition: varlena.c:1599
Datum text_format_nv(PG_FUNCTION_ARGS)
Definition: varlena.c:5222
Datum textpos(PG_FUNCTION_ARGS)
Definition: varlena.c:848
static int varstrfastcmp_c(Datum x, Datum y, SortSupport ssup)
Definition: varlena.c:1760
Datum bttext_pattern_cmp(PG_FUNCTION_ARGS)
Definition: varlena.c:2594
Datum string_agg_finalfn(PG_FUNCTION_ARGS)
Definition: varlena.c:4438
Datum unistr(PG_FUNCTION_ARGS)
Definition: varlena.c:5582
static unsigned int hexval(unsigned char c)
Definition: varlena.c:5552
static bool text_format_parse_digits(const char **ptr, const char *end_ptr, int *value)
Definition: varlena.c:4995
Datum unknownin(PG_FUNCTION_ARGS)
Definition: varlena.c:330
static bool isxdigits_n(const char *instr, size_t n)
Definition: varlena.c:5542
Datum string_agg_deserialize(PG_FUNCTION_ARGS)
Definition: varlena.c:4402
Datum namelttext(PG_FUNCTION_ARGS)
Definition: varlena.c:2449
Datum pg_column_size(PG_FUNCTION_ARGS)
Definition: varlena.c:4094
#define DatumGetVarStringPP(X)
Definition: varlena.c:120
Datum pg_column_compression(PG_FUNCTION_ARGS)
Definition: varlena.c:4141
Datum name_text(PG_FUNCTION_ARGS)
Definition: varlena.c:2653
Datum nameeqtext(PG_FUNCTION_ARGS)
Definition: varlena.c:2311
Datum bttextnamecmp(PG_FUNCTION_ARGS)
Definition: varlena.c:2427
void initClosestMatch(ClosestMatchState *state, const char *source, int max_d)
Definition: varlena.c:5268
Datum textin(PG_FUNCTION_ARGS)
Definition: varlena.c:275
Datum string_agg_combine(PG_FUNCTION_ARGS)
Definition: varlena.c:4321
Datum btnametextcmp(PG_FUNCTION_ARGS)
Definition: varlena.c:2411
Datum unknownsend(PG_FUNCTION_ARGS)
Definition: varlena.c:369
Datum text_pattern_le(PG_FUNCTION_ARGS)
Definition: varlena.c:2546
#define TEXTBUFLEN
Definition: varlena.c:117
void updateClosestMatch(ClosestMatchState *state, const char *candidate)
Definition: varlena.c:5288
char * text_to_cstring(const text *t)
Definition: varlena.c:214
Datum bttextcmp(PG_FUNCTION_ARGS)
Definition: varlena.c:1584
Datum unknownout(PG_FUNCTION_ARGS)
Definition: varlena.c:342
Datum replace_text(PG_FUNCTION_ARGS)
Definition: varlena.c:3076
Datum textgename(PG_FUNCTION_ARGS)
Definition: varlena.c:2491
List * textToQualifiedNameList(text *textval)
Definition: varlena.c:2670
static bool split_text(FunctionCallInfo fcinfo, SplitTextOutputData *tstate)
Definition: varlena.c:3671
Datum text_lt(PG_FUNCTION_ARGS)
Definition: varlena.c:1485
int varstr_levenshtein_less_equal(const char *source, int slen, const char *target, int tlen, int ins_c, int del_c, int sub_c, int max_d, bool trusted)