ltree_gist.c 15.9 KB
Newer Older
1
/*
Bruce Momjian's avatar
Bruce Momjian committed
2
 * GiST support for ltree
3
 * Teodor Sigaev <teodor@stack.net>
4
 * $PostgreSQL: pgsql/contrib/ltree/ltree_gist.c,v 1.21 2007/11/16 00:13:02 momjian Exp $
5 6 7 8 9
 */

#include "ltree.h"
#include "access/gist.h"
#include "access/nbtree.h"
10
#include "access/skey.h"
11
#include "utils/array.h"
12 13
#include "crc32.h"

14 15
#define NEXTVAL(x) ( (lquery*)( (char*)(x) + INTALIGN( VARSIZE(x) ) ) )

Bruce Momjian's avatar
Bruce Momjian committed
16 17 18 19 20
PG_FUNCTION_INFO_V1(ltree_gist_in);
Datum		ltree_gist_in(PG_FUNCTION_ARGS);

PG_FUNCTION_INFO_V1(ltree_gist_out);
Datum		ltree_gist_out(PG_FUNCTION_ARGS);
21 22

Datum
Bruce Momjian's avatar
Bruce Momjian committed
23 24
ltree_gist_in(PG_FUNCTION_ARGS)
{
25 26 27
	ereport(ERROR,
			(errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
			 errmsg("ltree_gist_in() not implemented")));
28 29 30 31
	PG_RETURN_DATUM(0);
}

Datum
Bruce Momjian's avatar
Bruce Momjian committed
32 33
ltree_gist_out(PG_FUNCTION_ARGS)
{
34 35 36
	ereport(ERROR,
			(errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
			 errmsg("ltree_gist_out() not implemented")));
37 38 39
	PG_RETURN_DATUM(0);
}

Bruce Momjian's avatar
Bruce Momjian committed
40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59
PG_FUNCTION_INFO_V1(ltree_compress);
Datum		ltree_compress(PG_FUNCTION_ARGS);

PG_FUNCTION_INFO_V1(ltree_decompress);
Datum		ltree_decompress(PG_FUNCTION_ARGS);

PG_FUNCTION_INFO_V1(ltree_same);
Datum		ltree_same(PG_FUNCTION_ARGS);

PG_FUNCTION_INFO_V1(ltree_union);
Datum		ltree_union(PG_FUNCTION_ARGS);

PG_FUNCTION_INFO_V1(ltree_penalty);
Datum		ltree_penalty(PG_FUNCTION_ARGS);

PG_FUNCTION_INFO_V1(ltree_picksplit);
Datum		ltree_picksplit(PG_FUNCTION_ARGS);

PG_FUNCTION_INFO_V1(ltree_consistent);
Datum		ltree_consistent(PG_FUNCTION_ARGS);
60 61

#define ISEQ(a,b)	( (a)->numlevel == (b)->numlevel && ltree_compare(a,b)==0 )
62
#define GETENTRY(vec,pos) ((ltree_gist *) DatumGetPointer((vec)->vector[(pos)].key))
63

Bruce Momjian's avatar
Bruce Momjian committed
64 65 66 67
Datum
ltree_compress(PG_FUNCTION_ARGS)
{
	GISTENTRY  *entry = (GISTENTRY *) PG_GETARG_POINTER(0);
68 69
	GISTENTRY  *retval = entry;

Bruce Momjian's avatar
Bruce Momjian committed
70 71 72 73
	if (entry->leafkey)
	{							/* ltree */
		ltree_gist *key;
		ltree	   *val = (ltree *) DatumGetPointer(PG_DETOAST_DATUM(entry->key));
74
		int4		len = LTG_HDRSIZE + VARSIZE(val);
75

Bruce Momjian's avatar
Bruce Momjian committed
76
		key = (ltree_gist *) palloc(len);
77
		SET_VARSIZE(key, len);
78
		key->flag = LTG_ONENODE;
79
		memcpy((void *) LTG_NODE(key), (void *) val, VARSIZE(val));
80

Bruce Momjian's avatar
Bruce Momjian committed
81
		retval = (GISTENTRY *) palloc(sizeof(GISTENTRY));
82
		gistentryinit(*retval, PointerGetDatum(key),
Bruce Momjian's avatar
Bruce Momjian committed
83
					  entry->rel, entry->page,
Teodor Sigaev's avatar
Teodor Sigaev committed
84
					  entry->offset, FALSE);
85 86 87 88
	}
	PG_RETURN_POINTER(retval);
}

Bruce Momjian's avatar
Bruce Momjian committed
89 90 91 92 93 94 95 96 97
Datum
ltree_decompress(PG_FUNCTION_ARGS)
{
	GISTENTRY  *entry = (GISTENTRY *) PG_GETARG_POINTER(0);
	ltree_gist *key = (ltree_gist *) DatumGetPointer(PG_DETOAST_DATUM(entry->key));

	if (PointerGetDatum(key) != entry->key)
	{
		GISTENTRY  *retval = (GISTENTRY *) palloc(sizeof(GISTENTRY));
98 99

		gistentryinit(*retval, PointerGetDatum(key),
Bruce Momjian's avatar
Bruce Momjian committed
100
					  entry->rel, entry->page,
Teodor Sigaev's avatar
Teodor Sigaev committed
101
					  entry->offset, FALSE);
102 103
		PG_RETURN_POINTER(retval);
	}
Bruce Momjian's avatar
Bruce Momjian committed
104
	PG_RETURN_POINTER(entry);
105 106
}

Bruce Momjian's avatar
Bruce Momjian committed
107 108 109 110 111 112
Datum
ltree_same(PG_FUNCTION_ARGS)
{
	ltree_gist *a = (ltree_gist *) PG_GETARG_POINTER(0);
	ltree_gist *b = (ltree_gist *) PG_GETARG_POINTER(1);
	bool	   *result = (bool *) PG_GETARG_POINTER(2);
113 114

	*result = false;
Bruce Momjian's avatar
Bruce Momjian committed
115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131
	if (LTG_ISONENODE(a) != LTG_ISONENODE(b))
		PG_RETURN_POINTER(result);

	if (LTG_ISONENODE(a))
		*result = (ISEQ(LTG_NODE(a), LTG_NODE(b))) ? true : false;
	else
	{
		int4		i;
		BITVECP		sa = LTG_SIGN(a),
					sb = LTG_SIGN(b);

		if (LTG_ISALLTRUE(a) != LTG_ISALLTRUE(b))
			PG_RETURN_POINTER(result);

		if (!ISEQ(LTG_LNODE(a), LTG_LNODE(b)))
			PG_RETURN_POINTER(result);
		if (!ISEQ(LTG_RNODE(a), LTG_RNODE(b)))
132 133 134
			PG_RETURN_POINTER(result);

		*result = true;
Bruce Momjian's avatar
Bruce Momjian committed
135
		if (!LTG_ISALLTRUE(a))
136 137 138 139 140 141 142 143
		{
			LOOPBYTE
			{
				 if (sa[i] != sb[i])
				 {
					*result = false;
					break;
				}
Bruce Momjian's avatar
Bruce Momjian committed
144
			}
145
		}
146
	}
Bruce Momjian's avatar
Bruce Momjian committed
147 148

	PG_RETURN_POINTER(result);
149 150 151
}

static void
Bruce Momjian's avatar
Bruce Momjian committed
152 153 154
hashing(BITVECP sign, ltree * t)
{
	int			tlen = t->numlevel;
155
	ltree_level *cur = LTREE_FIRST(t);
Bruce Momjian's avatar
Bruce Momjian committed
156
	int			hash;
157

Bruce Momjian's avatar
Bruce Momjian committed
158 159 160 161
	while (tlen > 0)
	{
		hash = ltree_crc32_sz(cur->name, cur->len);
		HASH(sign, hash);
162 163 164 165 166
		cur = LEVEL_NEXT(cur);
		tlen--;
	}
}

Bruce Momjian's avatar
Bruce Momjian committed
167 168 169
Datum
ltree_union(PG_FUNCTION_ARGS)
{
Bruce Momjian's avatar
Bruce Momjian committed
170
	GistEntryVector *entryvec = (GistEntryVector *) PG_GETARG_POINTER(0);
Bruce Momjian's avatar
Bruce Momjian committed
171 172 173 174 175 176 177 178 179 180 181 182 183
	int		   *size = (int *) PG_GETARG_POINTER(1);
	BITVEC		base;
	int4		i,
				j;
	ltree_gist *result,
			   *cur;
	ltree	   *left = NULL,
			   *right = NULL,
			   *curtree;
	bool		isalltrue = false;
	bool		isleqr;

	MemSet((void *) base, 0, sizeof(BITVEC));
184
	for (j = 0; j < entryvec->n; j++)
Bruce Momjian's avatar
Bruce Momjian committed
185
	{
186
		cur = GETENTRY(entryvec, j);
Bruce Momjian's avatar
Bruce Momjian committed
187 188
		if (LTG_ISONENODE(cur))
		{
189
			curtree = LTG_NODE(cur);
Bruce Momjian's avatar
Bruce Momjian committed
190 191 192 193
			hashing(base, curtree);
			if (!left || ltree_compare(left, curtree) > 0)
				left = curtree;
			if (!right || ltree_compare(right, curtree) < 0)
194
				right = curtree;
Bruce Momjian's avatar
Bruce Momjian committed
195 196 197 198
		}
		else
		{
			if (isalltrue || LTG_ISALLTRUE(cur))
199
				isalltrue = true;
Bruce Momjian's avatar
Bruce Momjian committed
200 201 202 203
			else
			{
				BITVECP		sc = LTG_SIGN(cur);

204 205
				LOOPBYTE
					 ((unsigned char *) base)[i] |= sc[i];
206 207 208
			}

			curtree = LTG_LNODE(cur);
Bruce Momjian's avatar
Bruce Momjian committed
209 210
			if (!left || ltree_compare(left, curtree) > 0)
				left = curtree;
211
			curtree = LTG_RNODE(cur);
Bruce Momjian's avatar
Bruce Momjian committed
212
			if (!right || ltree_compare(right, curtree) < 0)
213
				right = curtree;
Bruce Momjian's avatar
Bruce Momjian committed
214
		}
215
	}
Bruce Momjian's avatar
Bruce Momjian committed
216 217 218

	if (isalltrue == false)
	{
219
		isalltrue = true;
220 221 222 223 224 225 226
		LOOPBYTE
		{
			if (((unsigned char *) base)[i] != 0xff)
			{
				isalltrue = false;
				break;
			}
Bruce Momjian's avatar
Bruce Momjian committed
227
		}
228 229
	}

Bruce Momjian's avatar
Bruce Momjian committed
230
	isleqr = (left == right || ISEQ(left, right)) ? true : false;
231
	*size = LTG_HDRSIZE + ((isalltrue) ? 0 : SIGLEN) + VARSIZE(left) + ((isleqr) ? 0 : VARSIZE(right));
232

Bruce Momjian's avatar
Bruce Momjian committed
233
	result = (ltree_gist *) palloc(*size);
234
	SET_VARSIZE(result, *size);
235 236
	result->flag = 0;

Bruce Momjian's avatar
Bruce Momjian committed
237
	if (isalltrue)
238 239
		result->flag |= LTG_ALLTRUE;
	else
Bruce Momjian's avatar
Bruce Momjian committed
240
		memcpy((void *) LTG_SIGN(result), base, SIGLEN);
241

242
	memcpy((void *) LTG_LNODE(result), (void *) left, VARSIZE(left));
Bruce Momjian's avatar
Bruce Momjian committed
243
	if (isleqr)
244 245
		result->flag |= LTG_NORIGHT;
	else
246
		memcpy((void *) LTG_RNODE(result), (void *) right, VARSIZE(right));
247

Bruce Momjian's avatar
Bruce Momjian committed
248
	PG_RETURN_POINTER(result);
249 250
}

Bruce Momjian's avatar
Bruce Momjian committed
251 252 253 254 255 256 257 258
Datum
ltree_penalty(PG_FUNCTION_ARGS)
{
	ltree_gist *origval = (ltree_gist *) DatumGetPointer(((GISTENTRY *) PG_GETARG_POINTER(0))->key);
	ltree_gist *newval = (ltree_gist *) DatumGetPointer(((GISTENTRY *) PG_GETARG_POINTER(1))->key);
	float	   *penalty = (float *) PG_GETARG_POINTER(2);
	int4		cmpr,
				cmpl;
259

Bruce Momjian's avatar
Bruce Momjian committed
260 261
	cmpl = ltree_compare(LTG_GETLNODE(origval), LTG_GETLNODE(newval));
	cmpr = ltree_compare(LTG_GETRNODE(newval), LTG_GETRNODE(origval));
262

263
	*penalty = Max(cmpl, 0) + Max(cmpr, 0);
264 265 266 267 268

	PG_RETURN_POINTER(penalty);
}

/* used for sorting */
Bruce Momjian's avatar
Bruce Momjian committed
269 270 271 272 273
typedef struct rix
{
	int			index;
	ltree	   *r;
}	RIX;
274 275

static int
Bruce Momjian's avatar
Bruce Momjian committed
276 277
treekey_cmp(const void *a, const void *b)
{
278
	return ltree_compare(
Bruce Momjian's avatar
Bruce Momjian committed
279 280
						 ((RIX *) a)->r,
						 ((RIX *) b)->r
Bruce Momjian's avatar
Bruce Momjian committed
281
		);
282 283 284
}


Bruce Momjian's avatar
Bruce Momjian committed
285 286 287
Datum
ltree_picksplit(PG_FUNCTION_ARGS)
{
Bruce Momjian's avatar
Bruce Momjian committed
288
	GistEntryVector *entryvec = (GistEntryVector *) PG_GETARG_POINTER(0);
Bruce Momjian's avatar
Bruce Momjian committed
289
	GIST_SPLITVEC *v = (GIST_SPLITVEC *) PG_GETARG_POINTER(1);
290
	OffsetNumber j;
Bruce Momjian's avatar
Bruce Momjian committed
291 292
	int4		i;
	RIX		   *array;
293
	OffsetNumber maxoff;
Bruce Momjian's avatar
Bruce Momjian committed
294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309
	int			nbytes;
	int			size;
	ltree	   *lu_l,
			   *lu_r,
			   *ru_l,
			   *ru_r;
	ltree_gist *lu,
			   *ru;
	BITVEC		ls,
				rs;
	bool		lisat = false,
				risat = false,
				isleqr;

	memset((void *) ls, 0, sizeof(BITVEC));
	memset((void *) rs, 0, sizeof(BITVEC));
310
	maxoff = entryvec->n - 1;
311 312 313 314 315 316
	nbytes = (maxoff + 2) * sizeof(OffsetNumber);
	v->spl_left = (OffsetNumber *) palloc(nbytes);
	v->spl_right = (OffsetNumber *) palloc(nbytes);
	v->spl_nleft = 0;
	v->spl_nright = 0;
	array = (RIX *) palloc(sizeof(RIX) * (maxoff + 1));
Bruce Momjian's avatar
Bruce Momjian committed
317

318
	/* copy the data into RIXes, and sort the RIXes */
Bruce Momjian's avatar
Bruce Momjian committed
319 320
	for (j = FirstOffsetNumber; j <= maxoff; j = OffsetNumberNext(j))
	{
321
		array[j].index = j;
Bruce Momjian's avatar
Bruce Momjian committed
322
		lu = GETENTRY(entryvec, j);		/* use as tmp val */
323 324 325 326
		array[j].r = LTG_GETLNODE(lu);
	}

	qsort((void *) &array[FirstOffsetNumber], maxoff - FirstOffsetNumber + 1,
Bruce Momjian's avatar
Bruce Momjian committed
327
		  sizeof(RIX), treekey_cmp);
328 329

	lu_l = lu_r = ru_l = ru_r = NULL;
Bruce Momjian's avatar
Bruce Momjian committed
330 331 332 333 334
	for (j = FirstOffsetNumber; j <= maxoff; j = OffsetNumberNext(j))
	{
		lu = GETENTRY(entryvec, array[j].index);		/* use as tmp val */
		if (j <= (maxoff - FirstOffsetNumber + 1) / 2)
		{
335 336
			v->spl_left[v->spl_nleft] = array[j].index;
			v->spl_nleft++;
Bruce Momjian's avatar
Bruce Momjian committed
337
			if (lu_r == NULL || ltree_compare(LTG_GETRNODE(lu), lu_r) > 0)
338
				lu_r = LTG_GETRNODE(lu);
Bruce Momjian's avatar
Bruce Momjian committed
339 340 341 342 343
			if (LTG_ISONENODE(lu))
				hashing(ls, LTG_NODE(lu));
			else
			{
				if (lisat || LTG_ISALLTRUE(lu))
344
					lisat = true;
Bruce Momjian's avatar
Bruce Momjian committed
345 346 347 348
				else
				{
					BITVECP		sc = LTG_SIGN(lu);

349 350
					LOOPBYTE
						 ((unsigned char *) ls)[i] |= sc[i];
351 352
				}
			}
Bruce Momjian's avatar
Bruce Momjian committed
353 354 355
		}
		else
		{
356 357
			v->spl_right[v->spl_nright] = array[j].index;
			v->spl_nright++;
Bruce Momjian's avatar
Bruce Momjian committed
358
			if (ru_r == NULL || ltree_compare(LTG_GETRNODE(lu), ru_r) > 0)
359
				ru_r = LTG_GETRNODE(lu);
Bruce Momjian's avatar
Bruce Momjian committed
360 361 362 363 364
			if (LTG_ISONENODE(lu))
				hashing(rs, LTG_NODE(lu));
			else
			{
				if (risat || LTG_ISALLTRUE(lu))
365
					risat = true;
Bruce Momjian's avatar
Bruce Momjian committed
366 367 368 369
				else
				{
					BITVECP		sc = LTG_SIGN(lu);

370 371
					LOOPBYTE
						 ((unsigned char *) rs)[i] |= sc[i];
372 373 374 375
				}
			}
		}
	}
Bruce Momjian's avatar
Bruce Momjian committed
376 377 378

	if (lisat == false)
	{
379
		lisat = true;
380 381 382 383 384 385 386
		LOOPBYTE
		{
			if (((unsigned char *) ls)[i] != 0xff)
			{
				lisat = false;
				break;
			}
Bruce Momjian's avatar
Bruce Momjian committed
387
		}
388 389
	}

Bruce Momjian's avatar
Bruce Momjian committed
390 391
	if (risat == false)
	{
392
		risat = true;
393 394 395 396 397 398 399
		LOOPBYTE
		{
			if (((unsigned char *) rs)[i] != 0xff)
			{
				risat = false;
				break;
			}
Bruce Momjian's avatar
Bruce Momjian committed
400
		}
401 402
	}

Bruce Momjian's avatar
Bruce Momjian committed
403 404
	lu_l = LTG_GETLNODE(GETENTRY(entryvec, array[FirstOffsetNumber].index));
	isleqr = (lu_l == lu_r || ISEQ(lu_l, lu_r)) ? true : false;
405
	size = LTG_HDRSIZE + ((lisat) ? 0 : SIGLEN) + VARSIZE(lu_l) + ((isleqr) ? 0 : VARSIZE(lu_r));
Bruce Momjian's avatar
Bruce Momjian committed
406
	lu = (ltree_gist *) palloc(size);
407
	SET_VARSIZE(lu, size);
408
	lu->flag = 0;
Bruce Momjian's avatar
Bruce Momjian committed
409
	if (lisat)
410 411
		lu->flag |= LTG_ALLTRUE;
	else
Bruce Momjian's avatar
Bruce Momjian committed
412
		memcpy((void *) LTG_SIGN(lu), ls, SIGLEN);
413
	memcpy((void *) LTG_LNODE(lu), (void *) lu_l, VARSIZE(lu_l));
Bruce Momjian's avatar
Bruce Momjian committed
414
	if (isleqr)
415 416
		lu->flag |= LTG_NORIGHT;
	else
417
		memcpy((void *) LTG_RNODE(lu), (void *) lu_r, VARSIZE(lu_r));
418 419


Bruce Momjian's avatar
Bruce Momjian committed
420 421
	ru_l = LTG_GETLNODE(GETENTRY(entryvec, array[1 + ((maxoff - FirstOffsetNumber + 1) / 2)].index));
	isleqr = (ru_l == ru_r || ISEQ(ru_l, ru_r)) ? true : false;
422
	size = LTG_HDRSIZE + ((risat) ? 0 : SIGLEN) + VARSIZE(ru_l) + ((isleqr) ? 0 : VARSIZE(ru_r));
Bruce Momjian's avatar
Bruce Momjian committed
423
	ru = (ltree_gist *) palloc(size);
424
	SET_VARSIZE(ru, size);
425
	ru->flag = 0;
Bruce Momjian's avatar
Bruce Momjian committed
426
	if (risat)
427 428
		ru->flag |= LTG_ALLTRUE;
	else
Bruce Momjian's avatar
Bruce Momjian committed
429
		memcpy((void *) LTG_SIGN(ru), rs, SIGLEN);
430
	memcpy((void *) LTG_LNODE(ru), (void *) ru_l, VARSIZE(ru_l));
Bruce Momjian's avatar
Bruce Momjian committed
431
	if (isleqr)
432 433
		ru->flag |= LTG_NORIGHT;
	else
434
		memcpy((void *) LTG_RNODE(ru), (void *) ru_r, VARSIZE(ru_r));
435 436 437 438 439 440 441 442

	v->spl_ldatum = PointerGetDatum(lu);
	v->spl_rdatum = PointerGetDatum(ru);

	PG_RETURN_POINTER(v);
}

static bool
Bruce Momjian's avatar
Bruce Momjian committed
443 444 445 446 447 448 449 450 451 452
gist_isparent(ltree_gist * key, ltree * query)
{
	int4		numlevel = query->numlevel;
	int			i;

	for (i = query->numlevel; i >= 0; i--)
	{
		query->numlevel = i;
		if (ltree_compare(query, LTG_GETLNODE(key)) >= 0 && ltree_compare(query, LTG_GETRNODE(key)) <= 0)
		{
453 454 455 456 457 458 459 460 461
			query->numlevel = numlevel;
			return true;
		}
	}

	query->numlevel = numlevel;
	return false;
}

462
static ltree *
Bruce Momjian's avatar
Bruce Momjian committed
463 464
copy_ltree(ltree * src)
{
465
	ltree	   *dst = (ltree *) palloc(VARSIZE(src));
Bruce Momjian's avatar
Bruce Momjian committed
466

467
	memcpy(dst, src, VARSIZE(src));
468 469 470
	return dst;
}

471
static bool
Bruce Momjian's avatar
Bruce Momjian committed
472 473
gist_ischild(ltree_gist * key, ltree * query)
{
Bruce Momjian's avatar
Bruce Momjian committed
474 475 476
	ltree	   *left = copy_ltree(LTG_GETLNODE(key));
	ltree	   *right = copy_ltree(LTG_GETRNODE(key));
	bool		res = true;
477 478 479 480 481 482 483 484 485 486 487 488

	if (left->numlevel > query->numlevel)
		left->numlevel = query->numlevel;

	if (ltree_compare(query, left) < 0)
		res = false;

	if (right->numlevel > query->numlevel)
		right->numlevel = query->numlevel;

	if (res && ltree_compare(query, right) > 0)
		res = false;
Bruce Momjian's avatar
Bruce Momjian committed
489

490 491
	pfree(left);
	pfree(right);
492

493
	return res;
494 495 496
}

static bool
Bruce Momjian's avatar
Bruce Momjian committed
497 498 499 500 501
gist_qe(ltree_gist * key, lquery * query)
{
	lquery_level *curq = LQUERY_FIRST(query);
	BITVECP		sign = LTG_SIGN(key);
	int			qlen = query->numlevel;
502

Bruce Momjian's avatar
Bruce Momjian committed
503
	if (LTG_ISALLTRUE(key))
504 505
		return true;

Bruce Momjian's avatar
Bruce Momjian committed
506 507 508 509 510 511
	while (qlen > 0)
	{
		if (curq->numvar && LQL_CANLOOKSIGN(curq))
		{
			bool		isexist = false;
			int			vlen = curq->numvar;
512
			lquery_variant *curv = LQL_FIRST(curq);
Bruce Momjian's avatar
Bruce Momjian committed
513 514 515 516 517 518

			while (vlen > 0)
			{
				if (GETBIT(sign, HASHVAL(curv->val)))
				{
					isexist = true;
519 520 521 522 523
					break;
				}
				curv = LVAR_NEXT(curv);
				vlen--;
			}
Bruce Momjian's avatar
Bruce Momjian committed
524 525
			if (!isexist)
				return false;
526 527 528 529 530 531 532 533 534 535
		}

		curq = LQL_NEXT(curq);
		qlen--;
	}

	return true;
}

static int
Bruce Momjian's avatar
Bruce Momjian committed
536 537
gist_tqcmp(ltree * t, lquery * q)
{
538 539 540
	ltree_level *al = LTREE_FIRST(t);
	lquery_level *ql = LQUERY_FIRST(q);
	lquery_variant *bl;
Bruce Momjian's avatar
Bruce Momjian committed
541 542 543
	int			an = t->numlevel;
	int			bn = q->firstgood;
	int			res = 0;
544

Bruce Momjian's avatar
Bruce Momjian committed
545 546
	while (an > 0 && bn > 0)
	{
547
		bl = LQL_FIRST(ql);
548
		if ((res = strncmp(al->name, bl->name, Min(al->len, bl->len))) == 0)
Bruce Momjian's avatar
Bruce Momjian committed
549 550
		{
			if (al->len != bl->len)
551
				return al->len - bl->len;
Bruce Momjian's avatar
Bruce Momjian committed
552 553
		}
		else
554
			return res;
Bruce Momjian's avatar
Bruce Momjian committed
555 556
		an--;
		bn--;
557 558 559 560
		al = LEVEL_NEXT(al);
		ql = LQL_NEXT(ql);
	}

561
	return Min(t->numlevel, q->firstgood) - q->firstgood;
562 563 564
}

static bool
Bruce Momjian's avatar
Bruce Momjian committed
565 566 567
gist_between(ltree_gist * key, lquery * query)
{
	if (query->firstgood == 0)
568 569
		return true;

570 571
	if (gist_tqcmp(LTG_GETLNODE(key), query) > 0)
		return false;
572

573 574
	if (gist_tqcmp(LTG_GETRNODE(key), query) < 0)
		return false;
575

576
	return true;
577 578 579
}

static bool
Bruce Momjian's avatar
Bruce Momjian committed
580 581 582
checkcondition_bit(void *checkval, ITEM * val)
{
	return (FLG_CANLOOKSIGN(val->flag)) ? GETBIT(checkval, HASHVAL(val->val)) : true;
583 584 585
}

static bool
Bruce Momjian's avatar
Bruce Momjian committed
586 587 588
gist_qtxt(ltree_gist * key, ltxtquery * query)
{
	if (LTG_ISALLTRUE(key))
589
		return true;
Bruce Momjian's avatar
Bruce Momjian committed
590

591
	return ltree_execute(
Bruce Momjian's avatar
Bruce Momjian committed
592 593 594 595
						 GETQUERY(query),
						 (void *) LTG_SIGN(key), false,
						 checkcondition_bit
		);
596 597
}

598
static bool
Bruce Momjian's avatar
Bruce Momjian committed
599 600 601 602
arrq_cons(ltree_gist * key, ArrayType *_query)
{
	lquery	   *query = (lquery *) ARR_DATA_PTR(_query);
	int			num = ArrayGetNItems(ARR_NDIM(_query), ARR_DIMS(_query));
603

Bruce Momjian's avatar
Bruce Momjian committed
604 605
	if (ARR_NDIM(_query) != 1)
		ereport(ERROR,
606 607
				(errcode(ERRCODE_ARRAY_SUBSCRIPT_ERROR),
				 errmsg("array must be one-dimensional")));
608 609 610 611
	if (ARR_HASNULL(_query))
		ereport(ERROR,
				(errcode(ERRCODE_NULL_VALUE_NOT_ALLOWED),
				 errmsg("array must not contain nulls")));
612

Bruce Momjian's avatar
Bruce Momjian committed
613 614 615 616 617 618 619
	while (num > 0)
	{
		if (gist_qe(key, query) && gist_between(key, query))
			return true;
		num--;
		query = NEXTVAL(query);
	}
620 621
	return false;
}
622

Bruce Momjian's avatar
Bruce Momjian committed
623 624 625 626
Datum
ltree_consistent(PG_FUNCTION_ARGS)
{
	GISTENTRY  *entry = (GISTENTRY *) PG_GETARG_POINTER(0);
627
	void	   *query = NULL;
Bruce Momjian's avatar
Bruce Momjian committed
628
	ltree_gist *key = (ltree_gist *) DatumGetPointer(entry->key);
629
	StrategyNumber strategy = (StrategyNumber) PG_GETARG_UINT16(2);
Bruce Momjian's avatar
Bruce Momjian committed
630
	bool		res = false;
631

Bruce Momjian's avatar
Bruce Momjian committed
632 633
	switch (strategy)
	{
634
		case BTLessStrategyNumber:
635
			query = PG_GETARG_LTREE(1);
Bruce Momjian's avatar
Bruce Momjian committed
636 637
			res = (GIST_LEAF(entry)) ?
				(ltree_compare((ltree *) query, LTG_NODE(key)) > 0)
638
				:
Bruce Momjian's avatar
Bruce Momjian committed
639
				(ltree_compare((ltree *) query, LTG_GETLNODE(key)) >= 0);
640 641
			break;
		case BTLessEqualStrategyNumber:
642
			query = PG_GETARG_LTREE(1);
Bruce Momjian's avatar
Bruce Momjian committed
643
			res = (ltree_compare((ltree *) query, LTG_GETLNODE(key)) >= 0);
644 645
			break;
		case BTEqualStrategyNumber:
646
			query = PG_GETARG_LTREE(1);
Bruce Momjian's avatar
Bruce Momjian committed
647 648
			if (GIST_LEAF(entry))
				res = (ltree_compare((ltree *) query, LTG_NODE(key)) == 0);
649 650
			else
				res = (
651
					   ltree_compare((ltree *) query, LTG_GETLNODE(key)) >= 0
Bruce Momjian's avatar
Bruce Momjian committed
652
					   &&
653
					   ltree_compare((ltree *) query, LTG_GETRNODE(key)) <= 0
Bruce Momjian's avatar
Bruce Momjian committed
654
					);
655 656
			break;
		case BTGreaterEqualStrategyNumber:
657
			query = PG_GETARG_LTREE(1);
Bruce Momjian's avatar
Bruce Momjian committed
658
			res = (ltree_compare((ltree *) query, LTG_GETRNODE(key)) <= 0);
659 660
			break;
		case BTGreaterStrategyNumber:
661
			query = PG_GETARG_LTREE(1);
Bruce Momjian's avatar
Bruce Momjian committed
662 663
			res = (GIST_LEAF(entry)) ?
				(ltree_compare((ltree *) query, LTG_GETRNODE(key)) < 0)
664
				:
Bruce Momjian's avatar
Bruce Momjian committed
665
				(ltree_compare((ltree *) query, LTG_GETRNODE(key)) <= 0);
666 667
			break;
		case 10:
668
			query = PG_GETARG_LTREE_COPY(1);
Bruce Momjian's avatar
Bruce Momjian committed
669 670
			res = (GIST_LEAF(entry)) ?
				inner_isparent((ltree *) query, LTG_NODE(key))
671
				:
Bruce Momjian's avatar
Bruce Momjian committed
672
				gist_isparent(key, (ltree *) query);
673 674
			break;
		case 11:
675
			query = PG_GETARG_LTREE(1);
Bruce Momjian's avatar
Bruce Momjian committed
676 677
			res = (GIST_LEAF(entry)) ?
				inner_isparent(LTG_NODE(key), (ltree *) query)
678
				:
Bruce Momjian's avatar
Bruce Momjian committed
679
				gist_ischild(key, (ltree *) query);
680 681 682
			break;
		case 12:
		case 13:
683
			query = PG_GETARG_LQUERY(1);
Bruce Momjian's avatar
Bruce Momjian committed
684 685
			if (GIST_LEAF(entry))
				res = DatumGetBool(DirectFunctionCall2(ltq_regex,
686 687
											  PointerGetDatum(LTG_NODE(key)),
											PointerGetDatum((lquery *) query)
Bruce Momjian's avatar
Bruce Momjian committed
688 689 690 691
													   ));
			else
				res = (gist_qe(key, (lquery *) query) && gist_between(key, (lquery *) query));
			break;
692 693
		case 14:
		case 15:
694
			query = PG_GETARG_LQUERY(1);
Bruce Momjian's avatar
Bruce Momjian committed
695 696
			if (GIST_LEAF(entry))
				res = DatumGetBool(DirectFunctionCall2(ltxtq_exec,
697 698
											  PointerGetDatum(LTG_NODE(key)),
											PointerGetDatum((lquery *) query)
Bruce Momjian's avatar
Bruce Momjian committed
699 700 701 702
													   ));
			else
				res = gist_qtxt(key, (ltxtquery *) query);
			break;
703 704
		case 16:
		case 17:
705
			query = DatumGetPointer(PG_DETOAST_DATUM(PG_GETARG_DATUM(1)));
706 707
			if (GIST_LEAF(entry))
				res = DatumGetBool(DirectFunctionCall2(lt_q_regex,
708 709
											  PointerGetDatum(LTG_NODE(key)),
										 PointerGetDatum((ArrayType *) query)
710 711 712 713
													   ));
			else
				res = arrq_cons(key, (ArrayType *) query);
			break;
714
		default:
715 716
			/* internal error */
			elog(ERROR, "unrecognized StrategyNumber: %d", strategy);
717
	}
718

Bruce Momjian's avatar
Bruce Momjian committed
719
	PG_FREE_IF_COPY(query, 1);
720 721
	PG_RETURN_BOOL(res);
}