Improve nbtree unsatisfiable RowCompare detection.
[pgsql.git] / contrib / btree_gist / btree_cash.c
blobc18c34c8b83b2adbcaed1f72c96e43d72864c1a9
1 /*
2 * contrib/btree_gist/btree_cash.c
3 */
4 #include "postgres.h"
6 #include "btree_gist.h"
7 #include "btree_utils_num.h"
8 #include "common/int.h"
9 #include "utils/cash.h"
11 typedef struct
13 Cash lower;
14 Cash upper;
15 } cashKEY;
18 ** Cash ops
20 PG_FUNCTION_INFO_V1(gbt_cash_compress);
21 PG_FUNCTION_INFO_V1(gbt_cash_fetch);
22 PG_FUNCTION_INFO_V1(gbt_cash_union);
23 PG_FUNCTION_INFO_V1(gbt_cash_picksplit);
24 PG_FUNCTION_INFO_V1(gbt_cash_consistent);
25 PG_FUNCTION_INFO_V1(gbt_cash_distance);
26 PG_FUNCTION_INFO_V1(gbt_cash_penalty);
27 PG_FUNCTION_INFO_V1(gbt_cash_same);
29 static bool
30 gbt_cashgt(const void *a, const void *b, FmgrInfo *flinfo)
32 return (*((const Cash *) a) > *((const Cash *) b));
34 static bool
35 gbt_cashge(const void *a, const void *b, FmgrInfo *flinfo)
37 return (*((const Cash *) a) >= *((const Cash *) b));
39 static bool
40 gbt_casheq(const void *a, const void *b, FmgrInfo *flinfo)
42 return (*((const Cash *) a) == *((const Cash *) b));
44 static bool
45 gbt_cashle(const void *a, const void *b, FmgrInfo *flinfo)
47 return (*((const Cash *) a) <= *((const Cash *) b));
49 static bool
50 gbt_cashlt(const void *a, const void *b, FmgrInfo *flinfo)
52 return (*((const Cash *) a) < *((const Cash *) b));
55 static int
56 gbt_cashkey_cmp(const void *a, const void *b, FmgrInfo *flinfo)
58 cashKEY *ia = (cashKEY *) (((const Nsrt *) a)->t);
59 cashKEY *ib = (cashKEY *) (((const Nsrt *) b)->t);
61 if (ia->lower == ib->lower)
63 if (ia->upper == ib->upper)
64 return 0;
66 return (ia->upper > ib->upper) ? 1 : -1;
69 return (ia->lower > ib->lower) ? 1 : -1;
72 static float8
73 gbt_cash_dist(const void *a, const void *b, FmgrInfo *flinfo)
75 return GET_FLOAT_DISTANCE(Cash, a, b);
79 static const gbtree_ninfo tinfo =
81 gbt_t_cash,
82 sizeof(Cash),
83 16, /* sizeof(gbtreekey16) */
84 gbt_cashgt,
85 gbt_cashge,
86 gbt_casheq,
87 gbt_cashle,
88 gbt_cashlt,
89 gbt_cashkey_cmp,
90 gbt_cash_dist
94 PG_FUNCTION_INFO_V1(cash_dist);
95 Datum
96 cash_dist(PG_FUNCTION_ARGS)
98 Cash a = PG_GETARG_CASH(0);
99 Cash b = PG_GETARG_CASH(1);
100 Cash r;
101 Cash ra;
103 if (pg_sub_s64_overflow(a, b, &r) ||
104 r == PG_INT64_MIN)
105 ereport(ERROR,
106 (errcode(ERRCODE_NUMERIC_VALUE_OUT_OF_RANGE),
107 errmsg("money out of range")));
109 ra = i64abs(r);
111 PG_RETURN_CASH(ra);
114 /**************************************************
115 * Cash ops
116 **************************************************/
119 Datum
120 gbt_cash_compress(PG_FUNCTION_ARGS)
122 GISTENTRY *entry = (GISTENTRY *) PG_GETARG_POINTER(0);
124 PG_RETURN_POINTER(gbt_num_compress(entry, &tinfo));
127 Datum
128 gbt_cash_fetch(PG_FUNCTION_ARGS)
130 GISTENTRY *entry = (GISTENTRY *) PG_GETARG_POINTER(0);
132 PG_RETURN_POINTER(gbt_num_fetch(entry, &tinfo));
135 Datum
136 gbt_cash_consistent(PG_FUNCTION_ARGS)
138 GISTENTRY *entry = (GISTENTRY *) PG_GETARG_POINTER(0);
139 Cash query = PG_GETARG_CASH(1);
140 StrategyNumber strategy = (StrategyNumber) PG_GETARG_UINT16(2);
142 /* Oid subtype = PG_GETARG_OID(3); */
143 bool *recheck = (bool *) PG_GETARG_POINTER(4);
144 cashKEY *kkk = (cashKEY *) DatumGetPointer(entry->key);
145 GBT_NUMKEY_R key;
147 /* All cases served by this function are exact */
148 *recheck = false;
150 key.lower = (GBT_NUMKEY *) &kkk->lower;
151 key.upper = (GBT_NUMKEY *) &kkk->upper;
153 PG_RETURN_BOOL(gbt_num_consistent(&key, &query, &strategy,
154 GIST_LEAF(entry), &tinfo,
155 fcinfo->flinfo));
159 Datum
160 gbt_cash_distance(PG_FUNCTION_ARGS)
162 GISTENTRY *entry = (GISTENTRY *) PG_GETARG_POINTER(0);
163 Cash query = PG_GETARG_CASH(1);
165 /* Oid subtype = PG_GETARG_OID(3); */
166 cashKEY *kkk = (cashKEY *) DatumGetPointer(entry->key);
167 GBT_NUMKEY_R key;
169 key.lower = (GBT_NUMKEY *) &kkk->lower;
170 key.upper = (GBT_NUMKEY *) &kkk->upper;
172 PG_RETURN_FLOAT8(gbt_num_distance(&key, &query, GIST_LEAF(entry),
173 &tinfo, fcinfo->flinfo));
177 Datum
178 gbt_cash_union(PG_FUNCTION_ARGS)
180 GistEntryVector *entryvec = (GistEntryVector *) PG_GETARG_POINTER(0);
181 void *out = palloc(sizeof(cashKEY));
183 *(int *) PG_GETARG_POINTER(1) = sizeof(cashKEY);
184 PG_RETURN_POINTER(gbt_num_union(out, entryvec, &tinfo, fcinfo->flinfo));
188 Datum
189 gbt_cash_penalty(PG_FUNCTION_ARGS)
191 cashKEY *origentry = (cashKEY *) DatumGetPointer(((GISTENTRY *) PG_GETARG_POINTER(0))->key);
192 cashKEY *newentry = (cashKEY *) DatumGetPointer(((GISTENTRY *) PG_GETARG_POINTER(1))->key);
193 float *result = (float *) PG_GETARG_POINTER(2);
195 penalty_num(result, origentry->lower, origentry->upper, newentry->lower, newentry->upper);
197 PG_RETURN_POINTER(result);
200 Datum
201 gbt_cash_picksplit(PG_FUNCTION_ARGS)
203 PG_RETURN_POINTER(gbt_num_picksplit((GistEntryVector *) PG_GETARG_POINTER(0),
204 (GIST_SPLITVEC *) PG_GETARG_POINTER(1),
205 &tinfo, fcinfo->flinfo));
208 Datum
209 gbt_cash_same(PG_FUNCTION_ARGS)
211 cashKEY *b1 = (cashKEY *) PG_GETARG_POINTER(0);
212 cashKEY *b2 = (cashKEY *) PG_GETARG_POINTER(1);
213 bool *result = (bool *) PG_GETARG_POINTER(2);
215 *result = gbt_num_same((void *) b1, (void *) b2, &tinfo, fcinfo->flinfo);
216 PG_RETURN_POINTER(result);