CREATE EXTENSION intarray; -- Check whether any of our opclasses fail amvalidate SELECT amname, opcname FROM pg_opclass opc LEFT JOIN pg_am am ON am.oid = opcmethod WHERE opc.oid >= 16384 AND NOT amvalidate(opc.oid); amname | opcname --------+--------- (0 rows) SELECT intset(1234); intset -------- {1234} (1 row) SELECT icount('{1234234,234234}'); icount -------- 2 (1 row) SELECT sort('{1234234,-30,234234}'); sort ---------------------- {-30,234234,1234234} (1 row) SELECT sort('{1234234,-30,234234}','asc'); sort ---------------------- {-30,234234,1234234} (1 row) SELECT sort('{1234234,-30,234234}','desc'); sort ---------------------- {1234234,234234,-30} (1 row) SELECT sort_asc('{1234234,-30,234234}'); sort_asc ---------------------- {-30,234234,1234234} (1 row) SELECT sort_desc('{1234234,-30,234234}'); sort_desc ---------------------- {1234234,234234,-30} (1 row) SELECT uniq('{1234234,-30,-30,234234,-30}'); uniq -------------------------- {1234234,-30,234234,-30} (1 row) SELECT uniq(sort_asc('{1234234,-30,-30,234234,-30}')); uniq ---------------------- {-30,234234,1234234} (1 row) SELECT idx('{1234234,-30,-30,234234,-30}',-30); idx ----- 2 (1 row) SELECT subarray('{1234234,-30,-30,234234,-30}',2,3); subarray ------------------ {-30,-30,234234} (1 row) SELECT subarray('{1234234,-30,-30,234234,-30}',-1,1); subarray ---------- {-30} (1 row) SELECT subarray('{1234234,-30,-30,234234,-30}',0,-1); subarray -------------------------- {1234234,-30,-30,234234} (1 row) SELECT #'{1234234,234234}'::int[]; ?column? ---------- 2 (1 row) SELECT '{123,623,445}'::int[] + 1245; ?column? -------------------- {123,623,445,1245} (1 row) SELECT '{123,623,445}'::int[] + 445; ?column? ------------------- {123,623,445,445} (1 row) SELECT '{123,623,445}'::int[] + '{1245,87,445}'; ?column? --------------------------- {123,623,445,1245,87,445} (1 row) SELECT '{123,623,445}'::int[] - 623; ?column? ----------- {123,445} (1 row) SELECT '{123,623,445}'::int[] - '{1623,623}'; ?column? ----------- {123,445} (1 row) SELECT '{123,623,445}'::int[] | 623; ?column? --------------- {123,445,623} (1 row) SELECT '{123,623,445}'::int[] | 1623; ?column? -------------------- {123,445,623,1623} (1 row) SELECT '{123,623,445}'::int[] | '{1623,623}'; ?column? -------------------- {123,445,623,1623} (1 row) SELECT '{123,623,445}'::int[] & '{1623,623}'; ?column? ---------- {623} (1 row) SELECT '{-1,3,1}'::int[] & '{1,2}'; ?column? ---------- {1} (1 row) SELECT '{1}'::int[] & '{2}'::int[]; ?column? ---------- {} (1 row) SELECT array_dims('{1}'::int[] & '{2}'::int[]); array_dims ------------ (1 row) SELECT ('{1}'::int[] & '{2}'::int[]) = '{}'::int[]; ?column? ---------- t (1 row) SELECT ('{}'::int[] & '{}'::int[]) = '{}'::int[]; ?column? ---------- t (1 row) --test query_int SELECT '1'::query_int; query_int ----------- 1 (1 row) SELECT ' 1'::query_int; query_int ----------- 1 (1 row) SELECT '1 '::query_int; query_int ----------- 1 (1 row) SELECT ' 1 '::query_int; query_int ----------- 1 (1 row) SELECT ' ! 1 '::query_int; query_int ----------- !1 (1 row) SELECT '!1'::query_int; query_int ----------- !1 (1 row) SELECT '1|2'::query_int; query_int ----------- 1 | 2 (1 row) SELECT '1|!2'::query_int; query_int ----------- 1 | !2 (1 row) SELECT '!1|2'::query_int; query_int ----------- !1 | 2 (1 row) SELECT '!1|!2'::query_int; query_int ----------- !1 | !2 (1 row) SELECT '!(!1|!2)'::query_int; query_int -------------- !( !1 | !2 ) (1 row) SELECT '!(!1|2)'::query_int; query_int ------------- !( !1 | 2 ) (1 row) SELECT '!(1|!2)'::query_int; query_int ------------- !( 1 | !2 ) (1 row) SELECT '!(1|2)'::query_int; query_int ------------ !( 1 | 2 ) (1 row) SELECT '1&2'::query_int; query_int ----------- 1 & 2 (1 row) SELECT '!1&2'::query_int; query_int ----------- !1 & 2 (1 row) SELECT '1&!2'::query_int; query_int ----------- 1 & !2 (1 row) SELECT '!1&!2'::query_int; query_int ----------- !1 & !2 (1 row) SELECT '(1&2)'::query_int; query_int ----------- 1 & 2 (1 row) SELECT '1&(2)'::query_int; query_int ----------- 1 & 2 (1 row) SELECT '!(1)&2'::query_int; query_int ----------- !1 & 2 (1 row) SELECT '!(1&2)'::query_int; query_int ------------ !( 1 & 2 ) (1 row) SELECT '1|2&3'::query_int; query_int ----------- 1 | 2 & 3 (1 row) SELECT '1|(2&3)'::query_int; query_int ----------- 1 | 2 & 3 (1 row) SELECT '(1|2)&3'::query_int; query_int --------------- ( 1 | 2 ) & 3 (1 row) SELECT '1|2&!3'::query_int; query_int ------------ 1 | 2 & !3 (1 row) SELECT '1|!2&3'::query_int; query_int ------------ 1 | !2 & 3 (1 row) SELECT '!1|2&3'::query_int; query_int ------------ !1 | 2 & 3 (1 row) SELECT '!1|(2&3)'::query_int; query_int ------------ !1 | 2 & 3 (1 row) SELECT '!(1|2)&3'::query_int; query_int ---------------- !( 1 | 2 ) & 3 (1 row) SELECT '(!1|2)&3'::query_int; query_int ---------------- ( !1 | 2 ) & 3 (1 row) SELECT '1|(2|(4|(5|6)))'::query_int; query_int ------------------------------- 1 | ( 2 | ( 4 | ( 5 | 6 ) ) ) (1 row) SELECT '1|2|4|5|6'::query_int; query_int ------------------------------- ( ( ( 1 | 2 ) | 4 ) | 5 ) | 6 (1 row) SELECT '1&(2&(4&(5&6)))'::query_int; query_int ------------------- 1 & 2 & 4 & 5 & 6 (1 row) SELECT '1&2&4&5&6'::query_int; query_int ------------------- 1 & 2 & 4 & 5 & 6 (1 row) SELECT '1&(2&(4&(5|6)))'::query_int; query_int ----------------------- 1 & 2 & 4 & ( 5 | 6 ) (1 row) SELECT '1&(2&(4&(5|!6)))'::query_int; query_int ------------------------ 1 & 2 & 4 & ( 5 | !6 ) (1 row) CREATE TABLE test__int( a int[] ); \copy test__int from 'data/test__int.data' ANALYZE test__int; SELECT count(*) from test__int WHERE a && '{23,50}'; count ------- 403 (1 row) SELECT count(*) from test__int WHERE a @@ '23|50'; count ------- 403 (1 row) SELECT count(*) from test__int WHERE a @> '{23,50}'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a @@ '23&50'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a @> '{20,23}'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a <@ '{73,23,20}'; count ------- 10 (1 row) SELECT count(*) from test__int WHERE a = '{73,23,20}'; count ------- 1 (1 row) SELECT count(*) from test__int WHERE a @@ '50&68'; count ------- 9 (1 row) SELECT count(*) from test__int WHERE a @> '{20,23}' or a @> '{50,68}'; count ------- 21 (1 row) SELECT count(*) from test__int WHERE a @@ '(20&23)|(50&68)'; count ------- 21 (1 row) SELECT count(*) from test__int WHERE a @@ '20 | !21'; count ------- 6567 (1 row) SELECT count(*) from test__int WHERE a @@ '!20 & !21'; count ------- 6344 (1 row) SET enable_seqscan = off; -- not all of these would use index by default CREATE INDEX text_idx on test__int using gist ( a gist__int_ops ); SELECT count(*) from test__int WHERE a && '{23,50}'; count ------- 403 (1 row) SELECT count(*) from test__int WHERE a @@ '23|50'; count ------- 403 (1 row) SELECT count(*) from test__int WHERE a @> '{23,50}'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a @@ '23&50'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a @> '{20,23}'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a <@ '{73,23,20}'; count ------- 10 (1 row) SELECT count(*) from test__int WHERE a = '{73,23,20}'; count ------- 1 (1 row) SELECT count(*) from test__int WHERE a @@ '50&68'; count ------- 9 (1 row) SELECT count(*) from test__int WHERE a @> '{20,23}' or a @> '{50,68}'; count ------- 21 (1 row) SELECT count(*) from test__int WHERE a @@ '(20&23)|(50&68)'; count ------- 21 (1 row) SELECT count(*) from test__int WHERE a @@ '20 | !21'; count ------- 6567 (1 row) SELECT count(*) from test__int WHERE a @@ '!20 & !21'; count ------- 6344 (1 row) INSERT INTO test__int SELECT array(SELECT x FROM generate_series(1, 1001) x); -- should fail ERROR: input array is too big (199 maximum allowed, 1001 current), use gist__intbig_ops opclass instead DROP INDEX text_idx; CREATE INDEX text_idx on test__int using gist (a gist__int_ops(numranges = 0)); ERROR: value 0 out of bounds for option "numranges" DETAIL: Valid values are between "1" and "252". CREATE INDEX text_idx on test__int using gist (a gist__int_ops(numranges = 253)); ERROR: value 253 out of bounds for option "numranges" DETAIL: Valid values are between "1" and "252". CREATE INDEX text_idx on test__int using gist (a gist__int_ops(numranges = 252)); SELECT count(*) from test__int WHERE a && '{23,50}'; count ------- 403 (1 row) SELECT count(*) from test__int WHERE a @@ '23|50'; count ------- 403 (1 row) SELECT count(*) from test__int WHERE a @> '{23,50}'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a @@ '23&50'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a @> '{20,23}'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a <@ '{73,23,20}'; count ------- 10 (1 row) SELECT count(*) from test__int WHERE a = '{73,23,20}'; count ------- 1 (1 row) SELECT count(*) from test__int WHERE a @@ '50&68'; count ------- 9 (1 row) SELECT count(*) from test__int WHERE a @> '{20,23}' or a @> '{50,68}'; count ------- 21 (1 row) SELECT count(*) from test__int WHERE a @@ '(20&23)|(50&68)'; count ------- 21 (1 row) SELECT count(*) from test__int WHERE a @@ '20 | !21'; count ------- 6567 (1 row) SELECT count(*) from test__int WHERE a @@ '!20 & !21'; count ------- 6344 (1 row) DROP INDEX text_idx; CREATE INDEX text_idx on test__int using gist (a gist__intbig_ops(siglen = 0)); ERROR: value 0 out of bounds for option "siglen" DETAIL: Valid values are between "1" and "2024". CREATE INDEX text_idx on test__int using gist (a gist__intbig_ops(siglen = 2025)); ERROR: value 2025 out of bounds for option "siglen" DETAIL: Valid values are between "1" and "2024". CREATE INDEX text_idx on test__int using gist (a gist__intbig_ops(siglen = 2024)); SELECT count(*) from test__int WHERE a && '{23,50}'; count ------- 403 (1 row) SELECT count(*) from test__int WHERE a @@ '23|50'; count ------- 403 (1 row) SELECT count(*) from test__int WHERE a @> '{23,50}'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a @@ '23&50'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a @> '{20,23}'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a <@ '{73,23,20}'; count ------- 10 (1 row) SELECT count(*) from test__int WHERE a = '{73,23,20}'; count ------- 1 (1 row) SELECT count(*) from test__int WHERE a @@ '50&68'; count ------- 9 (1 row) SELECT count(*) from test__int WHERE a @> '{20,23}' or a @> '{50,68}'; count ------- 21 (1 row) SELECT count(*) from test__int WHERE a @@ '(20&23)|(50&68)'; count ------- 21 (1 row) SELECT count(*) from test__int WHERE a @@ '20 | !21'; count ------- 6567 (1 row) SELECT count(*) from test__int WHERE a @@ '!20 & !21'; count ------- 6344 (1 row) DROP INDEX text_idx; CREATE INDEX text_idx on test__int using gist ( a gist__intbig_ops ); SELECT count(*) from test__int WHERE a && '{23,50}'; count ------- 403 (1 row) SELECT count(*) from test__int WHERE a @@ '23|50'; count ------- 403 (1 row) SELECT count(*) from test__int WHERE a @> '{23,50}'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a @@ '23&50'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a @> '{20,23}'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a <@ '{73,23,20}'; count ------- 10 (1 row) SELECT count(*) from test__int WHERE a = '{73,23,20}'; count ------- 1 (1 row) SELECT count(*) from test__int WHERE a @@ '50&68'; count ------- 9 (1 row) SELECT count(*) from test__int WHERE a @> '{20,23}' or a @> '{50,68}'; count ------- 21 (1 row) SELECT count(*) from test__int WHERE a @@ '(20&23)|(50&68)'; count ------- 21 (1 row) SELECT count(*) from test__int WHERE a @@ '20 | !21'; count ------- 6567 (1 row) SELECT count(*) from test__int WHERE a @@ '!20 & !21'; count ------- 6344 (1 row) DROP INDEX text_idx; CREATE INDEX text_idx on test__int using gin ( a gin__int_ops ); SELECT count(*) from test__int WHERE a && '{23,50}'; count ------- 403 (1 row) SELECT count(*) from test__int WHERE a @@ '23|50'; count ------- 403 (1 row) SELECT count(*) from test__int WHERE a @> '{23,50}'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a @@ '23&50'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a @> '{20,23}'; count ------- 12 (1 row) SELECT count(*) from test__int WHERE a <@ '{73,23,20}'; count ------- 10 (1 row) SELECT count(*) from test__int WHERE a = '{73,23,20}'; count ------- 1 (1 row) SELECT count(*) from test__int WHERE a @@ '50&68'; count ------- 9 (1 row) SELECT count(*) from test__int WHERE a @> '{20,23}' or a @> '{50,68}'; count ------- 21 (1 row) SELECT count(*) from test__int WHERE a @@ '(20&23)|(50&68)'; count ------- 21 (1 row) SELECT count(*) from test__int WHERE a @@ '20 | !21'; count ------- 6567 (1 row) SELECT count(*) from test__int WHERE a @@ '!20 & !21'; count ------- 6344 (1 row) DROP INDEX text_idx; -- Repeat the same queries with an extended data set. The data set is the -- same that we used before, except that each element in the array is -- repeated three times, offset by 1000 and 2000. For example, {1, 5} -- becomes {1, 1001, 2001, 5, 1005, 2005}. -- -- That has proven to be unreasonably effective at exercising codepaths in -- core GiST code related to splitting parent pages, which is not covered by -- other tests. This is a bit out-of-place as the point is to test core GiST -- code rather than this extension, but there is no suitable GiST opclass in -- core that would reach the same codepaths. CREATE TABLE more__int AS SELECT -- Leave alone NULLs, empty arrays and the one row that we use to test -- equality; also skip INT_MAX CASE WHEN a IS NULL OR a = '{}' OR a = '{73,23,20}' THEN a ELSE (select array_agg(u) || array_agg(u + 1000) || array_agg(u + 2000) from unnest(a) u where u < 2000000000) END AS a, a as b FROM test__int; CREATE INDEX ON more__int using gist (a gist__int_ops(numranges = 252)); SELECT count(*) from more__int WHERE a && '{23,50}'; count ------- 403 (1 row) SELECT count(*) from more__int WHERE a @@ '23|50'; count ------- 403 (1 row) SELECT count(*) from more__int WHERE a @> '{23,50}'; count ------- 12 (1 row) SELECT count(*) from more__int WHERE a @@ '23&50'; count ------- 12 (1 row) SELECT count(*) from more__int WHERE a @> '{20,23}'; count ------- 12 (1 row) SELECT count(*) from more__int WHERE a <@ '{73,23,20}'; count ------- 10 (1 row) SELECT count(*) from more__int WHERE a = '{73,23,20}'; count ------- 1 (1 row) SELECT count(*) from more__int WHERE a @@ '50&68'; count ------- 9 (1 row) SELECT count(*) from more__int WHERE a @> '{20,23}' or a @> '{50,68}'; count ------- 21 (1 row) SELECT count(*) from more__int WHERE a @@ '(20&23)|(50&68)'; count ------- 21 (1 row) SELECT count(*) from more__int WHERE a @@ '20 | !21'; count ------- 6567 (1 row) SELECT count(*) from more__int WHERE a @@ '!20 & !21'; count ------- 6344 (1 row) RESET enable_seqscan;