Age Owner Branch data TLA Line data Source code
1 : : /*
2 : : * contrib/ltree/_ltree_gist.c
3 : : *
4 : : *
5 : : * GiST support for ltree[]
6 : : * Teodor Sigaev <teodor@stack.net>
7 : : */
8 : : #include "postgres.h"
9 : :
10 : : #include "access/gist.h"
11 : : #include "access/reloptions.h"
12 : : #include "access/stratnum.h"
13 : : #include "crc32.h"
14 : : #include "ltree.h"
15 : : #include "port/pg_bitutils.h"
16 : : #include "utils/array.h"
17 : :
8644 bruce@momjian.us 18 :CBC 3 : PG_FUNCTION_INFO_V1(_ltree_compress);
19 : 3 : PG_FUNCTION_INFO_V1(_ltree_same);
20 : 3 : PG_FUNCTION_INFO_V1(_ltree_union);
21 : 3 : PG_FUNCTION_INFO_V1(_ltree_penalty);
22 : 3 : PG_FUNCTION_INFO_V1(_ltree_picksplit);
23 : 3 : PG_FUNCTION_INFO_V1(_ltree_consistent);
2227 akorotkov@postgresql 24 : 3 : PG_FUNCTION_INFO_V1(_ltree_gist_options);
25 : :
26 : : #define GETENTRY(vec,pos) ((ltree_gist *) DatumGetPointer((vec)->vector[(pos)].key))
27 : : #define NEXTVAL(x) ( (ltree*)( (char*)(x) + INTALIGN( VARSIZE(x) ) ) )
28 : :
29 : : #define WISH_F(a,b,c) (double)( -(double)(((a)-(b))*((a)-(b))*((a)-(b)))*(c) )
30 : :
31 : :
32 : : static void
33 : 7058 : hashing(BITVECP sign, ltree *t, int siglen)
34 : : {
8644 bruce@momjian.us 35 : 7058 : int tlen = t->numlevel;
8680 36 : 7058 : ltree_level *cur = LTREE_FIRST(t);
37 : : int hash;
38 : :
8644 39 [ + + ]: 53466 : while (tlen > 0)
40 : : {
41 : 46408 : hash = ltree_crc32_sz(cur->name, cur->len);
2227 akorotkov@postgresql 42 : 46408 : AHASH(sign, hash, siglen);
8680 bruce@momjian.us 43 : 46408 : cur = LEVEL_NEXT(cur);
44 : 46408 : tlen--;
45 : : }
46 : 7058 : }
47 : :
48 : : Datum
8644 49 : 5895 : _ltree_compress(PG_FUNCTION_ARGS)
50 : : {
51 : 5895 : GISTENTRY *entry = (GISTENTRY *) PG_GETARG_POINTER(0);
8680 52 : 5895 : GISTENTRY *retval = entry;
2227 akorotkov@postgresql 53 [ + - ]: 5895 : int siglen = LTREE_GET_ASIGLEN();
54 : :
8644 bruce@momjian.us 55 [ + + ]: 5895 : if (entry->leafkey)
56 : : { /* ltree */
57 : : ltree_gist *key;
58 : 2000 : ArrayType *val = DatumGetArrayTypeP(entry->key);
59 : 2000 : int num = ArrayGetNItems(ARR_NDIM(val), ARR_DIMS(val));
60 [ - + ]: 2000 : ltree *item = (ltree *) ARR_DATA_PTR(val);
61 : :
5914 tgl@sss.pgh.pa.us 62 [ - + ]: 2000 : if (ARR_NDIM(val) > 1)
8321 tgl@sss.pgh.pa.us 63 [ # # ]:UBC 0 : ereport(ERROR,
64 : : (errcode(ERRCODE_ARRAY_SUBSCRIPT_ERROR),
65 : : errmsg("array must be one-dimensional")));
5595 tgl@sss.pgh.pa.us 66 [ - + ]:CBC 2000 : if (array_contains_nulls(val))
7472 tgl@sss.pgh.pa.us 67 [ # # ]:UBC 0 : ereport(ERROR,
68 : : (errcode(ERRCODE_NULL_VALUE_NOT_ALLOWED),
69 : : errmsg("array must not contain nulls")));
70 : :
2227 akorotkov@postgresql 71 :CBC 2000 : key = ltree_gist_alloc(false, NULL, siglen, NULL, NULL);
72 : :
8644 bruce@momjian.us 73 [ + + ]: 9058 : while (num > 0)
74 : : {
2227 akorotkov@postgresql 75 : 7058 : hashing(LTG_SIGN(key), item, siglen);
8680 bruce@momjian.us 76 : 7058 : num--;
77 : 7058 : item = NEXTVAL(item);
78 : : }
79 : :
151 michael@paquier.xyz 80 :GNC 2000 : retval = palloc_object(GISTENTRY);
8680 bruce@momjian.us 81 :CBC 2000 : gistentryinit(*retval, PointerGetDatum(key),
82 : : entry->rel, entry->page,
83 : : entry->offset, false);
84 : : }
270 tgl@sss.pgh.pa.us 85 [ + - ]:GNC 3895 : else if (!LTG_ISALLTRUE(DatumGetPointer(entry->key)))
86 : : {
87 : : int32 i;
88 : : ltree_gist *key;
8644 bruce@momjian.us 89 :CBC 3895 : BITVECP sign = LTG_SIGN(DatumGetPointer(entry->key));
90 : :
2227 akorotkov@postgresql 91 [ + - ]: 3895 : ALOOPBYTE(siglen)
92 : : {
6745 bruce@momjian.us 93 [ + - ]: 3895 : if ((sign[i] & 0xff) != 0xff)
94 : 3895 : PG_RETURN_POINTER(retval);
95 : : }
96 : :
2227 akorotkov@postgresql 97 :UBC 0 : key = ltree_gist_alloc(true, sign, siglen, NULL, NULL);
151 michael@paquier.xyz 98 :UNC 0 : retval = palloc_object(GISTENTRY);
8680 bruce@momjian.us 99 :UBC 0 : gistentryinit(*retval, PointerGetDatum(key),
100 : : entry->rel, entry->page,
101 : : entry->offset, false);
102 : : }
8680 bruce@momjian.us 103 :CBC 2000 : PG_RETURN_POINTER(retval);
104 : : }
105 : :
106 : : Datum
8644 107 : 7985 : _ltree_same(PG_FUNCTION_ARGS)
108 : : {
109 : 7985 : ltree_gist *a = (ltree_gist *) PG_GETARG_POINTER(0);
110 : 7985 : ltree_gist *b = (ltree_gist *) PG_GETARG_POINTER(1);
111 : 7985 : bool *result = (bool *) PG_GETARG_POINTER(2);
2227 akorotkov@postgresql 112 [ + - ]: 7985 : int siglen = LTREE_GET_ASIGLEN();
113 : :
8644 bruce@momjian.us 114 [ - + - - ]: 7985 : if (LTG_ISALLTRUE(a) && LTG_ISALLTRUE(b))
8680 bruce@momjian.us 115 :UBC 0 : *result = true;
8644 bruce@momjian.us 116 [ - + ]:CBC 7985 : else if (LTG_ISALLTRUE(a))
8680 bruce@momjian.us 117 :UBC 0 : *result = false;
8644 bruce@momjian.us 118 [ - + ]:CBC 7985 : else if (LTG_ISALLTRUE(b))
8680 bruce@momjian.us 119 :UBC 0 : *result = false;
120 : : else
121 : : {
122 : : int32 i;
8644 bruce@momjian.us 123 :CBC 7985 : BITVECP sa = LTG_SIGN(a),
124 : 7985 : sb = LTG_SIGN(b);
125 : :
8680 126 : 7985 : *result = true;
2227 akorotkov@postgresql 127 [ + + ]: 11363021 : ALOOPBYTE(siglen)
128 : : {
6745 bruce@momjian.us 129 [ + + ]: 11357171 : if (sa[i] != sb[i])
130 : : {
131 : 2135 : *result = false;
132 : 2135 : break;
133 : : }
134 : : }
135 : : }
8644 136 : 7985 : PG_RETURN_POINTER(result);
137 : : }
138 : :
139 : : static int32
2227 akorotkov@postgresql 140 : 15970 : unionkey(BITVECP sbase, ltree_gist *add, int siglen)
141 : : {
142 : : int32 i;
8644 bruce@momjian.us 143 : 15970 : BITVECP sadd = LTG_SIGN(add);
144 : :
145 [ - + ]: 15970 : if (LTG_ISALLTRUE(add))
8680 bruce@momjian.us 146 :UBC 0 : return 1;
147 : :
2227 akorotkov@postgresql 148 [ + + ]:CBC 28910122 : ALOOPBYTE(siglen)
6745 bruce@momjian.us 149 : 28894152 : sbase[i] |= sadd[i];
8680 150 : 15970 : return 0;
151 : : }
152 : :
153 : : Datum
8644 154 : 7985 : _ltree_union(PG_FUNCTION_ARGS)
155 : : {
7919 156 : 7985 : GistEntryVector *entryvec = (GistEntryVector *) PG_GETARG_POINTER(0);
8644 157 : 7985 : int *size = (int *) PG_GETARG_POINTER(1);
2227 akorotkov@postgresql 158 [ + - ]: 7985 : int siglen = LTREE_GET_ASIGLEN();
159 : : int32 i;
160 : 7985 : ltree_gist *result = ltree_gist_alloc(false, NULL, siglen, NULL, NULL);
161 : 7985 : BITVECP base = LTG_SIGN(result);
162 : :
8071 teodor@sigaev.ru 163 [ + + ]: 23955 : for (i = 0; i < entryvec->n; i++)
164 : : {
2227 akorotkov@postgresql 165 [ - + ]: 15970 : if (unionkey(base, GETENTRY(entryvec, i), siglen))
166 : : {
2227 akorotkov@postgresql 167 :UBC 0 : result->flag |= LTG_ALLTRUE;
168 : 0 : SET_VARSIZE(result, LTG_HDRSIZE);
8680 bruce@momjian.us 169 : 0 : break;
170 : : }
171 : : }
172 : :
2227 akorotkov@postgresql 173 :CBC 7985 : *size = VARSIZE(result);
174 : :
8644 bruce@momjian.us 175 : 7985 : PG_RETURN_POINTER(result);
176 : : }
177 : :
178 : : static int32
2227 akorotkov@postgresql 179 :UBC 0 : sizebitvec(BITVECP sign, int siglen)
180 : : {
181 : 0 : return pg_popcount((const char *) sign, siglen);
182 : : }
183 : :
184 : : static int
2227 akorotkov@postgresql 185 :CBC 114927 : hemdistsign(BITVECP a, BITVECP b, int siglen)
186 : : {
187 : : int i,
188 : : diff,
7919 bruce@momjian.us 189 : 114927 : dist = 0;
190 : :
2227 akorotkov@postgresql 191 [ + + ]: 58777771 : ALOOPBYTE(siglen)
192 : : {
6745 bruce@momjian.us 193 : 58662844 : diff = (unsigned char) (a[i] ^ b[i]);
194 : : /* Using the popcount functions here isn't likely to win */
2636 tgl@sss.pgh.pa.us 195 : 58662844 : dist += pg_number_of_ones[diff];
196 : : }
8364 bruce@momjian.us 197 : 114927 : return dist;
198 : : }
199 : :
200 : : static int
2227 akorotkov@postgresql 201 : 114927 : hemdist(ltree_gist *a, ltree_gist *b, int siglen)
202 : : {
7919 bruce@momjian.us 203 [ - + ]: 114927 : if (LTG_ISALLTRUE(a))
204 : : {
7919 bruce@momjian.us 205 [ # # ]:UBC 0 : if (LTG_ISALLTRUE(b))
206 : 0 : return 0;
207 : : else
2227 akorotkov@postgresql 208 : 0 : return ASIGLENBIT(siglen) - sizebitvec(LTG_SIGN(b), siglen);
209 : : }
7919 bruce@momjian.us 210 [ - + ]:CBC 114927 : else if (LTG_ISALLTRUE(b))
2227 akorotkov@postgresql 211 :UBC 0 : return ASIGLENBIT(siglen) - sizebitvec(LTG_SIGN(a), siglen);
212 : :
2227 akorotkov@postgresql 213 :CBC 114927 : return hemdistsign(LTG_SIGN(a), LTG_SIGN(b), siglen);
214 : : }
215 : :
216 : :
217 : : Datum
8644 bruce@momjian.us 218 : 19527 : _ltree_penalty(PG_FUNCTION_ARGS)
219 : : {
220 : 19527 : ltree_gist *origval = (ltree_gist *) DatumGetPointer(((GISTENTRY *) PG_GETARG_POINTER(0))->key);
221 : 19527 : ltree_gist *newval = (ltree_gist *) DatumGetPointer(((GISTENTRY *) PG_GETARG_POINTER(1))->key);
222 : 19527 : float *penalty = (float *) PG_GETARG_POINTER(2);
2227 akorotkov@postgresql 223 [ + - ]: 19527 : int siglen = LTREE_GET_ASIGLEN();
224 : :
225 : 19527 : *penalty = hemdist(origval, newval, siglen);
8644 bruce@momjian.us 226 : 19527 : PG_RETURN_POINTER(penalty);
227 : : }
228 : :
229 : : typedef struct
230 : : {
231 : : OffsetNumber pos;
232 : : int32 cost;
233 : : } SPLITCOST;
234 : :
235 : : static int
236 : 7534 : comparecost(const void *a, const void *b)
237 : : {
5350 peter_e@gmx.net 238 : 7534 : return ((const SPLITCOST *) a)->cost - ((const SPLITCOST *) b)->cost;
239 : : }
240 : :
241 : : Datum
8644 bruce@momjian.us 242 : 880 : _ltree_picksplit(PG_FUNCTION_ARGS)
243 : : {
7919 244 : 880 : GistEntryVector *entryvec = (GistEntryVector *) PG_GETARG_POINTER(0);
8644 245 : 880 : GIST_SPLITVEC *v = (GIST_SPLITVEC *) PG_GETARG_POINTER(1);
2227 akorotkov@postgresql 246 [ + - ]: 880 : int siglen = LTREE_GET_ASIGLEN();
247 : : OffsetNumber k,
248 : : j;
249 : : ltree_gist *datum_l,
250 : : *datum_r;
251 : : BITVECP union_l,
252 : : union_r;
253 : : int32 size_alpha,
254 : : size_beta;
255 : : int32 size_waste,
8364 bruce@momjian.us 256 : 880 : waste = -1;
257 : : int32 nbytes;
8644 258 : 880 : OffsetNumber seed_1 = 0,
259 : 880 : seed_2 = 0;
260 : : OffsetNumber *left,
261 : : *right;
262 : : OffsetNumber maxoff;
263 : : BITVECP ptr;
264 : : int i;
265 : : SPLITCOST *costvector;
266 : : ltree_gist *_k,
267 : : *_j;
268 : :
8071 teodor@sigaev.ru 269 : 880 : maxoff = entryvec->n - 2;
8680 bruce@momjian.us 270 : 880 : nbytes = (maxoff + 2) * sizeof(OffsetNumber);
271 : 880 : v->spl_left = (OffsetNumber *) palloc(nbytes);
272 : 880 : v->spl_right = (OffsetNumber *) palloc(nbytes);
273 : :
7919 274 [ + + ]: 3736 : for (k = FirstOffsetNumber; k < maxoff; k = OffsetNumberNext(k))
275 : : {
8644 276 : 2856 : _k = GETENTRY(entryvec, k);
7919 277 [ + + ]: 83312 : for (j = OffsetNumberNext(k); j <= maxoff; j = OffsetNumberNext(j))
278 : : {
2227 akorotkov@postgresql 279 : 80456 : size_waste = hemdist(_k, GETENTRY(entryvec, j), siglen);
7919 bruce@momjian.us 280 [ + + ]: 80456 : if (size_waste > waste)
281 : : {
8680 282 : 1595 : waste = size_waste;
283 : 1595 : seed_1 = k;
284 : 1595 : seed_2 = j;
285 : : }
286 : : }
287 : : }
288 : :
289 : 880 : left = v->spl_left;
290 : 880 : v->spl_nleft = 0;
291 : 880 : right = v->spl_right;
292 : 880 : v->spl_nright = 0;
293 : :
8644 294 [ + - - + ]: 880 : if (seed_1 == 0 || seed_2 == 0)
295 : : {
8680 bruce@momjian.us 296 :UBC 0 : seed_1 = 1;
297 : 0 : seed_2 = 2;
298 : : }
299 : :
300 : : /* form initial .. */
2227 akorotkov@postgresql 301 :CBC 880 : datum_l = ltree_gist_alloc(LTG_ISALLTRUE(GETENTRY(entryvec, seed_1)),
302 : 880 : LTG_SIGN(GETENTRY(entryvec, seed_1)),
303 : : siglen, NULL, NULL);
304 : :
305 : 880 : datum_r = ltree_gist_alloc(LTG_ISALLTRUE(GETENTRY(entryvec, seed_2)),
306 : 880 : LTG_SIGN(GETENTRY(entryvec, seed_2)),
307 : : siglen, NULL, NULL);
308 : :
8680 bruce@momjian.us 309 : 880 : maxoff = OffsetNumberNext(maxoff);
310 : : /* sort before ... */
151 michael@paquier.xyz 311 :GNC 880 : costvector = palloc_array(SPLITCOST, maxoff);
8644 bruce@momjian.us 312 [ + + ]:CBC 5496 : for (j = FirstOffsetNumber; j <= maxoff; j = OffsetNumberNext(j))
313 : : {
314 : 4616 : costvector[j - 1].pos = j;
315 : 4616 : _j = GETENTRY(entryvec, j);
2227 akorotkov@postgresql 316 : 4616 : size_alpha = hemdist(datum_l, _j, siglen);
317 : 4616 : size_beta = hemdist(datum_r, _j, siglen);
1306 peter@eisentraut.org 318 : 4616 : costvector[j - 1].cost = abs(size_alpha - size_beta);
319 : : }
1183 320 : 880 : qsort(costvector, maxoff, sizeof(SPLITCOST), comparecost);
321 : :
7919 bruce@momjian.us 322 : 880 : union_l = LTG_SIGN(datum_l);
323 : 880 : union_r = LTG_SIGN(datum_r);
324 : :
8644 325 [ + + ]: 5496 : for (k = 0; k < maxoff; k++)
326 : : {
8680 327 : 4616 : j = costvector[k].pos;
8644 328 [ + + ]: 4616 : if (j == seed_1)
329 : : {
8680 330 : 880 : *left++ = j;
331 : 880 : v->spl_nleft++;
332 : 880 : continue;
333 : : }
8644 334 [ + + ]: 3736 : else if (j == seed_2)
335 : : {
8680 336 : 880 : *right++ = j;
337 : 880 : v->spl_nright++;
338 : 880 : continue;
339 : : }
8364 340 : 2856 : _j = GETENTRY(entryvec, j);
2227 akorotkov@postgresql 341 : 2856 : size_alpha = hemdist(datum_l, _j, siglen);
342 : 2856 : size_beta = hemdist(datum_r, _j, siglen);
343 : :
7919 bruce@momjian.us 344 [ + + ]: 2856 : if (size_alpha < size_beta + WISH_F(v->spl_nleft, v->spl_nright, 0.00001))
345 : : {
346 [ + - - + ]: 1325 : if (LTG_ISALLTRUE(datum_l) || LTG_ISALLTRUE(_j))
347 : : {
8364 bruce@momjian.us 348 [ # # ]:UBC 0 : if (!LTG_ISALLTRUE(datum_l))
1183 peter@eisentraut.org 349 : 0 : memset(union_l, 0xff, siglen);
350 : : }
351 : : else
352 : : {
7919 bruce@momjian.us 353 :CBC 1325 : ptr = LTG_SIGN(_j);
2227 akorotkov@postgresql 354 [ + + ]: 1621253 : ALOOPBYTE(siglen)
6745 bruce@momjian.us 355 : 1619928 : union_l[i] |= ptr[i];
356 : : }
8680 357 : 1325 : *left++ = j;
358 : 1325 : v->spl_nleft++;
359 : : }
360 : : else
361 : : {
7919 362 [ + - - + ]: 1531 : if (LTG_ISALLTRUE(datum_r) || LTG_ISALLTRUE(_j))
363 : : {
8364 bruce@momjian.us 364 [ # # ]:UBC 0 : if (!LTG_ISALLTRUE(datum_r))
1183 peter@eisentraut.org 365 : 0 : memset(union_r, 0xff, siglen);
366 : : }
367 : : else
368 : : {
7919 bruce@momjian.us 369 :CBC 1531 : ptr = LTG_SIGN(_j);
2227 akorotkov@postgresql 370 [ + + ]: 1942595 : ALOOPBYTE(siglen)
6745 bruce@momjian.us 371 : 1941064 : union_r[i] |= ptr[i];
372 : : }
8680 373 : 1531 : *right++ = j;
374 : 1531 : v->spl_nright++;
375 : : }
376 : : }
377 : :
378 : 880 : *right = *left = FirstOffsetNumber;
379 : :
380 : 880 : v->spl_ldatum = PointerGetDatum(datum_l);
381 : 880 : v->spl_rdatum = PointerGetDatum(datum_r);
382 : :
8644 383 : 880 : PG_RETURN_POINTER(v);
384 : : }
385 : :
386 : : static bool
2227 akorotkov@postgresql 387 : 2566 : gist_te(ltree_gist *key, ltree *query, int siglen)
388 : : {
8644 bruce@momjian.us 389 : 2566 : ltree_level *curq = LTREE_FIRST(query);
390 : 2566 : BITVECP sign = LTG_SIGN(key);
391 : 2566 : int qlen = query->numlevel;
392 : : unsigned int hv;
393 : :
394 [ - + ]: 2566 : if (LTG_ISALLTRUE(key))
8680 bruce@momjian.us 395 :UBC 0 : return true;
396 : :
8644 bruce@momjian.us 397 [ + + ]:CBC 8620 : while (qlen > 0)
398 : : {
399 : 6602 : hv = ltree_crc32_sz(curq->name, curq->len);
2227 akorotkov@postgresql 400 [ + + ]: 6602 : if (!GETBIT(sign, AHASHVAL(hv, siglen)))
8644 bruce@momjian.us 401 : 548 : return false;
8680 402 : 6054 : curq = LEVEL_NEXT(curq);
403 : 6054 : qlen--;
404 : : }
405 : :
406 : 2018 : return true;
407 : : }
408 : :
409 : : typedef struct LtreeSignature
410 : : {
411 : : BITVECP sign;
412 : : int siglen;
413 : : } LtreeSignature;
414 : :
415 : : static bool
2227 akorotkov@postgresql 416 : 3607 : checkcondition_bit(void *cxt, ITEM *val)
417 : : {
418 : 3607 : LtreeSignature *sig = cxt;
419 : :
420 [ + - + + ]: 3607 : return (FLG_CANLOOKSIGN(val->flag)) ? GETBIT(sig->sign, AHASHVAL(val->val, sig->siglen)) : true;
421 : : }
422 : :
423 : : static bool
424 : 2070 : gist_qtxt(ltree_gist *key, ltxtquery *query, int siglen)
425 : : {
426 : : LtreeSignature sig;
427 : :
8644 bruce@momjian.us 428 [ - + ]: 2070 : if (LTG_ISALLTRUE(key))
8680 bruce@momjian.us 429 :UBC 0 : return true;
430 : :
2227 akorotkov@postgresql 431 :CBC 2070 : sig.sign = LTG_SIGN(key);
432 : 2070 : sig.siglen = siglen;
433 : :
2287 alvherre@alvh.no-ip. 434 : 2070 : return ltree_execute(GETQUERY(query),
435 : : &sig, false,
436 : : checkcondition_bit);
437 : : }
438 : :
439 : : static bool
2227 akorotkov@postgresql 440 : 14418 : gist_qe(ltree_gist *key, lquery *query, int siglen)
441 : : {
8644 bruce@momjian.us 442 : 14418 : lquery_level *curq = LQUERY_FIRST(query);
443 : 14418 : BITVECP sign = LTG_SIGN(key);
444 : 14418 : int qlen = query->numlevel;
445 : :
446 [ - + ]: 14418 : if (LTG_ISALLTRUE(key))
8680 bruce@momjian.us 447 :UBC 0 : return true;
448 : :
8644 bruce@momjian.us 449 [ + + ]:CBC 45348 : while (qlen > 0)
450 : : {
451 [ + + + - ]: 36188 : if (curq->numvar && LQL_CANLOOKSIGN(curq))
452 : : {
453 : 25029 : bool isexist = false;
454 : 25029 : int vlen = curq->numvar;
8680 455 : 25029 : lquery_variant *curv = LQL_FIRST(curq);
456 : :
8644 457 [ + + ]: 30287 : while (vlen > 0)
458 : : {
2227 akorotkov@postgresql 459 [ + + ]: 25029 : if (GETBIT(sign, AHASHVAL(curv->val, siglen)))
460 : : {
8644 bruce@momjian.us 461 : 19771 : isexist = true;
8680 462 : 19771 : break;
463 : : }
464 : 5258 : curv = LVAR_NEXT(curv);
465 : 5258 : vlen--;
466 : : }
8644 467 [ + + ]: 25029 : if (!isexist)
8680 468 : 5258 : return false;
469 : : }
470 : :
471 : 30930 : curq = LQL_NEXT(curq);
472 : 30930 : qlen--;
473 : : }
474 : :
475 : 9160 : return true;
476 : : }
477 : :
478 : : static bool
2227 akorotkov@postgresql 479 : 2211 : _arrq_cons(ltree_gist *key, ArrayType *_query, int siglen)
480 : : {
7919 bruce@momjian.us 481 [ - + ]: 2211 : lquery *query = (lquery *) ARR_DATA_PTR(_query);
482 : 2211 : int num = ArrayGetNItems(ARR_NDIM(_query), ARR_DIMS(_query));
483 : :
5914 tgl@sss.pgh.pa.us 484 [ - + ]: 2211 : if (ARR_NDIM(_query) > 1)
7919 bruce@momjian.us 485 [ # # ]:UBC 0 : ereport(ERROR,
486 : : (errcode(ERRCODE_ARRAY_SUBSCRIPT_ERROR),
487 : : errmsg("array must be one-dimensional")));
5595 tgl@sss.pgh.pa.us 488 [ - + ]:CBC 2211 : if (array_contains_nulls(_query))
7472 tgl@sss.pgh.pa.us 489 [ # # ]:UBC 0 : ereport(ERROR,
490 : : (errcode(ERRCODE_NULL_VALUE_NOT_ALLOWED),
491 : : errmsg("array must not contain nulls")));
492 : :
7919 bruce@momjian.us 493 [ + + ]:CBC 3847 : while (num > 0)
494 : : {
2227 akorotkov@postgresql 495 [ + + ]: 3139 : if (gist_qe(key, query, siglen))
7919 bruce@momjian.us 496 : 1503 : return true;
497 : 1636 : num--;
498 : 1636 : query = (lquery *) NEXTVAL(query);
499 : : }
500 : 708 : return false;
501 : : }
502 : :
503 : : Datum
8644 504 : 18126 : _ltree_consistent(PG_FUNCTION_ARGS)
505 : : {
506 : 18126 : GISTENTRY *entry = (GISTENTRY *) PG_GETARG_POINTER(0);
523 peter@eisentraut.org 507 : 18126 : void *query = PG_DETOAST_DATUM(PG_GETARG_DATUM(1));
8680 bruce@momjian.us 508 : 18126 : StrategyNumber strategy = (StrategyNumber) PG_GETARG_UINT16(2);
509 : : #ifdef NOT_USED
510 : : Oid subtype = PG_GETARG_OID(3);
511 : : #endif
6595 tgl@sss.pgh.pa.us 512 : 18126 : bool *recheck = (bool *) PG_GETARG_POINTER(4);
2227 akorotkov@postgresql 513 [ + - ]: 18126 : int siglen = LTREE_GET_ASIGLEN();
6595 tgl@sss.pgh.pa.us 514 : 18126 : ltree_gist *key = (ltree_gist *) DatumGetPointer(entry->key);
8644 bruce@momjian.us 515 : 18126 : bool res = false;
516 : :
517 : : /* All cases served by this function are inexact */
6595 tgl@sss.pgh.pa.us 518 : 18126 : *recheck = true;
519 : :
8644 bruce@momjian.us 520 [ + + + + : 18126 : switch (strategy)
- ]
521 : : {
8680 522 : 2566 : case 10:
523 : : case 11:
2227 akorotkov@postgresql 524 : 2566 : res = gist_te(key, (ltree *) query, siglen);
8680 bruce@momjian.us 525 : 2566 : break;
526 : 11279 : case 12:
527 : : case 13:
2227 akorotkov@postgresql 528 : 11279 : res = gist_qe(key, (lquery *) query, siglen);
8644 bruce@momjian.us 529 : 11279 : break;
8680 530 : 2070 : case 14:
531 : : case 15:
2227 akorotkov@postgresql 532 : 2070 : res = gist_qtxt(key, (ltxtquery *) query, siglen);
8644 bruce@momjian.us 533 : 2070 : break;
8476 534 : 2211 : case 16:
535 : : case 17:
2227 akorotkov@postgresql 536 : 2211 : res = _arrq_cons(key, (ArrayType *) query, siglen);
8476 bruce@momjian.us 537 : 2211 : break;
8680 bruce@momjian.us 538 :UBC 0 : default:
539 : : /* internal error */
8321 tgl@sss.pgh.pa.us 540 [ # # ]: 0 : elog(ERROR, "unrecognized StrategyNumber: %d", strategy);
541 : : }
7153 bruce@momjian.us 542 [ - + ]:CBC 18126 : PG_FREE_IF_COPY(query, 1);
8680 543 : 18126 : PG_RETURN_BOOL(res);
544 : : }
545 : :
546 : : Datum
2227 akorotkov@postgresql 547 : 10 : _ltree_gist_options(PG_FUNCTION_ARGS)
548 : : {
549 : 10 : local_relopts *relopts = (local_relopts *) PG_GETARG_POINTER(0);
550 : :
551 : 10 : init_local_reloptions(relopts, sizeof(LtreeGistOptions));
552 : 10 : add_local_int_reloption(relopts, "siglen", "signature length",
553 : : LTREE_ASIGLEN_DEFAULT, 1, LTREE_ASIGLEN_MAX,
554 : : offsetof(LtreeGistOptions, siglen));
555 : :
556 : 10 : PG_RETURN_VOID();
557 : : }
|
