mirror of
https://github.com/postgres/postgres.git
synced 2025-10-04 00:02:26 -04:00
test_bitmapset: Expand more the test coverage
This commit expands the set of tests added by 00c3d87a5cab, to bring the coverage of bitmapset.c close to 100% by addressing a lot of corner cases (most of these relate to word counts and reallocations). Some of the functions of this module also have their own idea of the result to return depending on the input values given. These are specific to the module, still let's add more coverage for all of them. Some comments are made more consistent in the tests, while on it. Author: Greg Burd <greg@burd.me> Reviewed-by: Michael Paquier <michael@paquier.xyz> Discussion: https://postgr.es/m/aNR-gsGmLnMaNT5i@paquier.xyz
This commit is contained in:
Michael Paquier
parent
2cb49c609b
commit
5668fff3c5
File diff suppressed because it is too large
Load Diff
@ -6,6 +6,8 @@ SELECT test_bms_make_singleton(-1);
|
||||
SELECT test_bms_make_singleton(42) AS result;
|
||||
SELECT test_bms_make_singleton(0) AS result;
|
||||
SELECT test_bms_make_singleton(1000) AS result;
|
||||
-- Test module check
|
||||
SELECT test_bms_make_singleton(NULL) AS result;
|
||||
|
||||
-- bms_add_member()
|
||||
SELECT test_bms_add_member('(b 1)', -1); -- error
|
||||
@ -16,6 +18,8 @@ SELECT test_bms_add_member('(b 5)', 10) AS result;
|
||||
SELECT test_bms_add_member('(b 10)', 5) AS result;
|
||||
-- idempotent change
|
||||
SELECT test_bms_add_member('(b 10)', 10) AS result;
|
||||
-- Test module check
|
||||
SELECT test_bms_add_member('(b)', NULL) AS result;
|
||||
|
||||
-- bms_replace_members()
|
||||
SELECT test_bms_replace_members(NULL, '(b 1 2 3)') AS result;
|
||||
@ -23,6 +27,13 @@ SELECT test_bms_replace_members('(b 1 2 3)', NULL) AS result;
|
||||
SELECT test_bms_replace_members('(b 1 2 3)', '(b 3 5 6)') AS result;
|
||||
SELECT test_bms_replace_members('(b 1 2 3)', '(b 3 5)') AS result;
|
||||
SELECT test_bms_replace_members('(b 1 2)', '(b 3 5 7)') AS result;
|
||||
-- Force repalloc() with larger set
|
||||
SELECT test_bms_replace_members('(b 1 2 3 4 5)', '(b 500 600)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_replace_members('(b 1 2 3)', NULL) AS result;
|
||||
SELECT test_bms_replace_members('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_replace_members(NULL, '(b 5)') AS result;
|
||||
SELECT test_bms_replace_members(NULL, NULL) AS result;
|
||||
|
||||
-- bms_del_member()
|
||||
SELECT test_bms_del_member('(b)', -20); -- error
|
||||
@ -34,15 +45,43 @@ SELECT test_bms_del_member('(b 1 2 3)', 2) AS result;
|
||||
SELECT test_bms_del_member(test_bms_del_member('(b 0 31 32 63 64)', 32), 63) AS result;
|
||||
-- Word boundary
|
||||
SELECT test_bms_del_member(test_bms_add_range('(b)', 30, 34), 32) AS result;
|
||||
-- Force word count changes
|
||||
SELECT test_bms_del_member('(b 1 200)', 200) AS result;
|
||||
SELECT test_bms_del_member('(b 1 50 100 200)', 200) AS result;
|
||||
SELECT test_bms_del_member('(b 1 50 100 200)', 100) AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_del_member('(b 42)', 42) AS result;
|
||||
SELECT test_bms_del_member('(b 5)', NULL) AS result;
|
||||
|
||||
-- bms_del_members()
|
||||
SELECT test_bms_del_members('(b)', '(b 10)') AS result;
|
||||
SELECT test_bms_del_members('(b 10)', '(b 10)') AS result;
|
||||
SELECT test_bms_del_members('(b 10)', '(b 5)') AS result;
|
||||
SELECT test_bms_del_members('(b 1 2 3)', '(b 2)') AS result;
|
||||
SELECT test_bms_del_members('(b 5 100)', '(b 100)') AS result;
|
||||
SELECT test_bms_del_members('(b 5 100 200)', '(b 200)') AS result;
|
||||
-- Force word count changes
|
||||
SELECT test_bms_del_members('(b 1 2 100 200 300)', '(b 1 2)') AS result;
|
||||
SELECT test_bms_del_members('(b 1 2 100 200 300)', '(b 200 300)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_del_members('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_del_members(NULL, '(b 5)') AS result;
|
||||
|
||||
-- bms_join()
|
||||
SELECT test_bms_join('(b 1 3 5)', NULL) AS result;
|
||||
SELECT test_bms_join(NULL, '(b 2 4 6)') AS result;
|
||||
SELECT test_bms_join('(b 1 3 5)', '(b 2 4 6)') AS result;
|
||||
SELECT test_bms_join('(b 1 3 5)', '(b 1 4 5)') AS result;
|
||||
-- Force word count changes
|
||||
SELECT test_bms_join('(b 5)', '(b 100)') AS result;
|
||||
SELECT test_bms_join('(b 1 2)', '(b 100 200 300)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_join('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_join(NULL, '(b 5)') AS result;
|
||||
SELECT test_bms_join(NULL, NULL) AS result;
|
||||
|
||||
-- bms_union()
|
||||
-- Overlapping sets.
|
||||
-- Overlapping sets
|
||||
SELECT test_bms_union('(b 1 3 5)', '(b 3 5 7)') AS result;
|
||||
-- Union with NULL
|
||||
SELECT test_bms_union('(b 1 3 5)', '(b)') AS result;
|
||||
@ -53,24 +92,44 @@ SELECT test_bms_union(
|
||||
test_bms_add_range('(b)', 0, 15),
|
||||
test_bms_add_range('(b)', 10, 20)
|
||||
) AS result;
|
||||
-- Union with varrying word counts
|
||||
SELECT test_bms_union('(b 1 2)', '(b 100 300)') AS result;
|
||||
SELECT test_bms_union('(b 100 300)', '(b 1 2)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_union('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_union(NULL, '(b 5)') AS result;
|
||||
SELECT test_bms_union(NULL, NULL) AS result;
|
||||
|
||||
-- bms_intersect()
|
||||
-- Overlapping sets
|
||||
SELECT test_bms_intersect('(b 1 3 5)', '(b 3 5 7)') AS result;
|
||||
-- Disjoint sets
|
||||
SELECT test_bms_intersect('(b 1 3 5)', '(b 2 4 6)') AS result;
|
||||
-- Intersect with empty.
|
||||
-- Intersect with empty
|
||||
SELECT test_bms_intersect('(b 1 3 5)', '(b)') AS result;
|
||||
-- Intersect with varrying word counts
|
||||
SELECT test_bms_intersect('(b 1 300)', '(b 1 2 3 4 5)') AS result;
|
||||
SELECT test_bms_intersect('(b 1 2 3 4 5)', '(b 1 300)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_intersect('(b 1)', '(b 2)') AS result;
|
||||
SELECT test_bms_intersect('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_intersect(NULL, '(b 5)') AS result;
|
||||
SELECT test_bms_intersect(NULL, NULL) AS result;
|
||||
|
||||
-- bms_int_members()
|
||||
-- Overlapping sets
|
||||
SELECT test_bms_int_members('(b 1 3 5)', '(b 3 5 7)') AS result;
|
||||
-- Disjoint sets
|
||||
SELECT test_bms_int_members('(b 1 3 5)', '(b 2 4 6)') AS result;
|
||||
-- Intersect with empty.
|
||||
-- Intersect with empty
|
||||
SELECT test_bms_int_members('(b 1 3 5)', '(b)') AS result;
|
||||
-- Multiple members
|
||||
SELECT test_bms_int_members('(b 0 31 32 63 64)', '(b 31 32 64 65)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_int_members('(b 1)', '(b 2)') AS result;
|
||||
SELECT test_bms_int_members('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_int_members(NULL, '(b 5)') AS result;
|
||||
SELECT test_bms_int_members(NULL, NULL) AS result;
|
||||
|
||||
-- bms_difference()
|
||||
-- Overlapping sets
|
||||
@ -86,6 +145,14 @@ SELECT test_bms_difference(
|
||||
test_bms_add_range('(b)', 0, 100),
|
||||
test_bms_add_range('(b)', 50, 150)
|
||||
) AS result;
|
||||
-- Difference with different word counts
|
||||
SELECT test_bms_difference('(b 5 100)', '(b 5)') AS result;
|
||||
SELECT test_bms_difference('(b 1 2 100 200)', '(b 1 2)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_difference('(b 5)', '(b 5 10)') AS result;
|
||||
SELECT test_bms_difference('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_difference(NULL, '(b 5)') AS result;
|
||||
SELECT test_bms_difference(NULL, NULL) AS result;
|
||||
|
||||
-- bms_is_member()
|
||||
SELECT test_bms_is_member('(b)', -5); -- error
|
||||
@ -93,12 +160,21 @@ SELECT test_bms_is_member('(b 1 3 5)', 1) AS result;
|
||||
SELECT test_bms_is_member('(b 1 3 5)', 2) AS result;
|
||||
SELECT test_bms_is_member('(b 1 3 5)', 3) AS result;
|
||||
SELECT test_bms_is_member('(b)', 1) AS result;
|
||||
-- Test module check
|
||||
SELECT test_bms_is_member('(b 5)', NULL) AS result;
|
||||
|
||||
-- bms_member_index()
|
||||
SELECT test_bms_member_index(NULL, 1) AS result;
|
||||
SELECT test_bms_member_index('(b 1 3 5)', 2) AS result;
|
||||
SELECT test_bms_member_index('(b 1 3 5)', 1) AS result;
|
||||
SELECT test_bms_member_index('(b 1 3 5)', 3) AS result;
|
||||
-- Member index with various word positions
|
||||
SELECT test_bms_member_index('(b 100 200)', 100) AS result;
|
||||
SELECT test_bms_member_index('(b 100 200)', 200) AS result;
|
||||
SELECT test_bms_member_index('(b 1 50 100 200)', 200) AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_member_index('', 5) AS result;
|
||||
SELECT test_bms_member_index(NULL, 5) AS result;
|
||||
|
||||
-- bms_num_members()
|
||||
SELECT test_bms_num_members('(b)') AS result;
|
||||
@ -111,6 +187,13 @@ SELECT test_bms_equal('(b)', '(b 1 3 5)') AS result;
|
||||
SELECT test_bms_equal('(b 1 3 5)', '(b)') AS result;
|
||||
SELECT test_bms_equal('(b 1 3 5)', '(b 1 3 5)') AS result;
|
||||
SELECT test_bms_equal('(b 1 3 5)', '(b 2 4 6)') AS result;
|
||||
-- Equal with different word counts
|
||||
SELECT test_bms_equal('(b 5)', '(b 100)') AS result;
|
||||
SELECT test_bms_equal('(b 5 10)', '(b 100 200 300)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_equal('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_equal(NULL, '(b 5)') AS result;
|
||||
SELECT test_bms_equal(NULL, NULL) AS result;
|
||||
|
||||
-- bms_compare()
|
||||
SELECT test_bms_compare('(b)', '(b)') AS result;
|
||||
@ -123,6 +206,10 @@ SELECT test_bms_compare(
|
||||
test_bms_add_range('(b)', 0, 63),
|
||||
test_bms_add_range('(b)', 0, 64)
|
||||
) AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_compare('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_compare(NULL, '(b 5)') AS result;
|
||||
SELECT test_bms_compare(NULL, NULL) AS result;
|
||||
|
||||
-- bms_add_range()
|
||||
SELECT test_bms_add_range('(b)', -5, 10); -- error
|
||||
@ -138,26 +225,47 @@ SELECT length(test_bms_add_range('(b)', 0, 1000)) AS result;
|
||||
-- Force reallocations
|
||||
SELECT length(test_bms_add_range('(b)', 0, 200)) AS result;
|
||||
SELECT length(test_bms_add_range('(b)', 1000, 1100)) AS result;
|
||||
-- Force word count expansion
|
||||
SELECT test_bms_add_range('(b 5)', 100, 105) AS result;
|
||||
SELECT length(test_bms_add_range('(b 1 2)', 200, 250)) AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_add_range('(b 5)', 5, NULL) AS result;
|
||||
SELECT test_bms_add_range('(b 5)', NULL, 10) AS result;
|
||||
SELECT test_bms_add_range('(b 5)', NULL, NULL) AS result;
|
||||
SELECT test_bms_add_range(NULL, 5, 10) AS result;
|
||||
SELECT test_bms_add_range(NULL, 10, 5) AS result;
|
||||
SELECT test_bms_add_range(NULL, NULL, NULL) AS result;
|
||||
|
||||
-- bms_membership()
|
||||
SELECT test_bms_membership('(b)') AS result;
|
||||
SELECT test_bms_membership('(b 42)') AS result;
|
||||
SELECT test_bms_membership('(b 1 2)') AS result;
|
||||
-- Test module check
|
||||
SELECT test_bms_membership(NULL) AS result;
|
||||
|
||||
-- bms_is_empty()
|
||||
SELECT test_bms_is_empty(NULL) AS result;
|
||||
SELECT test_bms_is_empty('(b)') AS result;
|
||||
SELECT test_bms_is_empty('(b 1)') AS result;
|
||||
-- Test module check
|
||||
SELECT test_bms_is_empty(NULL) AS result;
|
||||
|
||||
-- bms_singleton_member()
|
||||
SELECT test_bms_singleton_member('(b)'); -- error
|
||||
SELECT test_bms_singleton_member('(b 1 2)'); -- error
|
||||
SELECT test_bms_singleton_member('(b 42)') AS result;
|
||||
-- Test module check
|
||||
SELECT test_bms_singleton_member(NULL) AS result;
|
||||
|
||||
-- bms_get_singleton_member()
|
||||
SELECT test_bms_get_singleton_member('(b)', 1000);
|
||||
-- Not a singleton, returns input default
|
||||
SELECT test_bms_get_singleton_member('(b 3 6)', 1000) AS result;
|
||||
-- Singletone, returns sole member
|
||||
SELECT test_bms_get_singleton_member('(b 400)', 1000) AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_get_singleton_member('', 1000) AS result;
|
||||
SELECT test_bms_get_singleton_member(NULL, -1) AS result;
|
||||
|
||||
-- bms_next_member() and bms_prev_member()
|
||||
-- First member
|
||||
@ -176,16 +284,32 @@ SELECT test_bms_prev_member('(b 5 10 15 20)', 20) AS result;
|
||||
SELECT test_bms_prev_member('(b 5 10 15 20)', 5) AS result;
|
||||
-- Empty set
|
||||
SELECT test_bms_prev_member('(b)', 100) AS result;
|
||||
-- Negative prevbit should result in highest possible bit in set
|
||||
SELECT test_bms_prev_member('(b 0 63 64 127)', -1) AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_next_member('', 5) AS result;
|
||||
SELECT test_bms_next_member('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_next_member(NULL, 5) AS result;
|
||||
SELECT test_bms_next_member(NULL, NULL) AS result;
|
||||
SELECT test_bms_prev_member('', 5) AS result;
|
||||
SELECT test_bms_prev_member('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_prev_member(NULL, 5) AS result;
|
||||
|
||||
-- bms_hash_value()
|
||||
SELECT test_bms_hash_value('(b)') = 0 AS result;
|
||||
SELECT test_bms_hash_value('(b 1 3 5)') = test_bms_hash_value('(b 1 3 5)') AS result;
|
||||
SELECT test_bms_hash_value('(b 1 3 5)') != test_bms_hash_value('(b 2 4 6)') AS result;
|
||||
-- Test module check
|
||||
SELECT test_bms_hash_value(NULL) AS result;
|
||||
|
||||
-- bms_overlap()
|
||||
SELECT test_bms_overlap('(b 1 3 5)', '(b 3 5 7)') AS result;
|
||||
SELECT test_bms_overlap('(b 1 3 5)', '(b 2 4 6)') AS result;
|
||||
SELECT test_bms_overlap('(b)', '(b 1 3 5)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_overlap('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_overlap(NULL, '(b 5)') AS result;
|
||||
SELECT test_bms_overlap(NULL, NULL) AS result;
|
||||
|
||||
-- bms_is_subset()
|
||||
SELECT test_bms_is_subset('(b)', '(b 1 3 5)') AS result;
|
||||
@ -194,22 +318,50 @@ SELECT test_bms_is_subset('(b 1 3 5)', '(b 1 3)') AS result;
|
||||
SELECT test_bms_is_subset('(b 1 3)', '(b 2 4)') AS result;
|
||||
SELECT test_bms_is_subset(test_bms_add_range(NULL, 0, 31),
|
||||
test_bms_add_range(NULL, 0, 63)) AS result;
|
||||
-- Is subset with shorter word counts?
|
||||
SELECT test_bms_is_subset('(b 5 100)', '(b 5)') AS result;
|
||||
SELECT test_bms_is_subset('(b 1 2 50 100)', '(b 1 2)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_is_subset('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_is_subset(NULL, '(b 5)') AS result;
|
||||
SELECT test_bms_is_subset(NULL, NULL) AS result;
|
||||
|
||||
-- bms_subset_compare()
|
||||
SELECT test_bms_subset_compare(NULL, NULL) AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 3)', NULL) AS result;
|
||||
SELECT test_bms_subset_compare(NULL, '(b 1 3)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 3 5)', '(b 1 3)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 3)', '(b 1 3 5)') AS result;
|
||||
SELECT test_bms_subset_compare('(b)', '(b)') AS result;
|
||||
SELECT test_bms_subset_compare('(b)', '(b 1)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1)', '(b)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 3)', NULL) AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 3 5)', '(b 1 3 5)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 3 5)', '(b 2 4 6)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 3)', '(b 1 3 5)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 3 5)', '(b 1 3)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 2)', '(b 1 3)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 2)', '(b 1 4)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 3)', '(b 1 3 64)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 3 64)', '(b 1 3)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 3 64)', '(b 1 3 65)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 3)', '(b 2 4)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1)', '(b 64)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 0)', '(b 32)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 0)', '(b 64)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 64)', '(b 1)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 2)', '(b 1 2 64)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 64 200)', '(b 1 201)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 1 64 65)', '(b 1 2 64)') AS result;
|
||||
SELECT test_bms_subset_compare('(b 2 64 128)', '(b 1 65)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_subset_compare('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_subset_compare(NULL, '(b 5)') AS result;
|
||||
SELECT test_bms_subset_compare(NULL, NULL) AS result;
|
||||
|
||||
-- bms_copy()
|
||||
SELECT test_bms_copy(NULL) AS result;
|
||||
SELECT test_bms_copy('(b 1 3 5 7)') AS result;
|
||||
-- Test module check
|
||||
SELECT test_bms_copy(NULL) AS result;
|
||||
|
||||
-- bms_add_members()
|
||||
SELECT test_bms_add_member('(b)', 1000); -- error
|
||||
SELECT test_bms_add_members('(b 1 3)', '(b 5 7)') AS result;
|
||||
SELECT test_bms_add_members('(b 1 3 5)', '(b 2 5 7)') AS result;
|
||||
SELECT test_bms_add_members('(b 1 3 5)', '(b 100 200 300)') AS result;
|
||||
@ -219,6 +371,8 @@ SELECT test_bitmap_hash('(b)') = 0 AS result;
|
||||
SELECT test_bitmap_hash('(b 1 3 5)') = test_bitmap_hash('(b 1 3 5)') AS result;
|
||||
SELECT test_bitmap_hash('(b 1 3 5)') = test_bms_hash_value('(b 1 3 5)') AS result;
|
||||
SELECT test_bitmap_hash('(b 1 3 5)') != test_bitmap_hash('(b 2 4 6)') AS result;
|
||||
-- Test module check
|
||||
SELECT test_bitmap_hash(NULL) AS result;
|
||||
|
||||
-- bitmap_match()
|
||||
SELECT test_bitmap_match('(b)', '(b)') AS result;
|
||||
@ -234,6 +388,10 @@ SELECT (test_bitmap_match('(b 1 3 5)', '(b 2 4 6)') = 0) =
|
||||
test_bms_equal('(b 1 3 5)', '(b 2 4 6)') AS result;
|
||||
SELECT (test_bitmap_match('(b)', '(b)') = 0) =
|
||||
test_bms_equal('(b)', '(b)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bitmap_match('(b 5)', NULL) AS result;
|
||||
SELECT test_bitmap_match(NULL, '(b 5)') AS result;
|
||||
SELECT test_bitmap_match(NULL, NULL) AS result;
|
||||
|
||||
-- bms_overlap_list()
|
||||
SELECT test_bms_overlap_list('(b 0)', ARRAY[0]) AS result;
|
||||
@ -243,6 +401,13 @@ SELECT test_bms_overlap_list('(b 7 10)', ARRAY[6,7,8,9]) AS result;
|
||||
SELECT test_bms_overlap_list('(b 1 5)', ARRAY[6,7,8,9]) AS result;
|
||||
-- Empty list
|
||||
SELECT test_bms_overlap_list('(b 1)', ARRAY[]::integer[]) AS result;
|
||||
-- Overlap list with negative numbers
|
||||
SELECT test_bms_overlap_list('(b 5 10)', ARRAY[-1,5]) AS result; -- error
|
||||
SELECT test_bms_overlap_list('(b 1 2 3)', ARRAY[-5,-1,0]) AS result; -- error
|
||||
-- Test module checks
|
||||
SELECT test_bms_overlap_list('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_overlap_list(NULL, ARRAY[1,2,3]) AS result;
|
||||
SELECT test_bms_overlap_list(NULL, NULL) AS result;
|
||||
|
||||
-- bms_nonempty_difference()
|
||||
SELECT test_bms_nonempty_difference(NULL, '(b 1 3 5)') AS result;
|
||||
@ -250,6 +415,14 @@ SELECT test_bms_nonempty_difference('(b 1 3 5)', NULL) AS result;
|
||||
SELECT test_bms_nonempty_difference('(b 1 3 5)', '(b 2 4 6)') AS result;
|
||||
SELECT test_bms_nonempty_difference('(b 1 3 5)', '(b 1 5)') AS result;
|
||||
SELECT test_bms_nonempty_difference('(b 1 3 5)', '(b 1 3 5)') AS result;
|
||||
-- Difference with different word counts
|
||||
SELECT test_bms_nonempty_difference('(b 5)', '(b 100)') AS result;
|
||||
SELECT test_bms_nonempty_difference('(b 100)', '(b 5)') AS result;
|
||||
SELECT test_bms_nonempty_difference('(b 1 2)', '(b 50 100)') AS result;
|
||||
-- Test module checks
|
||||
SELECT test_bms_nonempty_difference('(b 5)', NULL) AS result;
|
||||
SELECT test_bms_nonempty_difference(NULL, '(b 5)') AS result;
|
||||
SELECT test_bms_nonempty_difference(NULL, NULL) AS result;
|
||||
|
||||
-- random operations
|
||||
SELECT test_random_operations(-1, 10000, 81920, 0) > 0 AS result;
|
||||
|
||||
@ -112,6 +112,10 @@ CREATE FUNCTION test_bms_int_members(text, text)
|
||||
RETURNS text
|
||||
AS 'MODULE_PATHNAME' LANGUAGE C;
|
||||
|
||||
CREATE FUNCTION test_bms_del_members(text, text)
|
||||
RETURNS text
|
||||
AS 'MODULE_PATHNAME' LANGUAGE C;
|
||||
|
||||
CREATE FUNCTION test_bms_replace_members(text, text)
|
||||
RETURNS text
|
||||
AS 'MODULE_PATHNAME' LANGUAGE C;
|
||||
|
||||
@ -58,6 +58,7 @@ PG_FUNCTION_INFO_V1(test_bms_member_index);
|
||||
PG_FUNCTION_INFO_V1(test_bms_add_range);
|
||||
PG_FUNCTION_INFO_V1(test_bms_add_members);
|
||||
PG_FUNCTION_INFO_V1(test_bms_int_members);
|
||||
PG_FUNCTION_INFO_V1(test_bms_del_members);
|
||||
PG_FUNCTION_INFO_V1(test_bms_replace_members);
|
||||
PG_FUNCTION_INFO_V1(test_bms_join);
|
||||
PG_FUNCTION_INFO_V1(test_bitmap_hash);
|
||||
@ -111,9 +112,6 @@ test_bms_add_member(PG_FUNCTION_ARGS)
|
||||
if (bms)
|
||||
bms_free(bms);
|
||||
|
||||
if (result == NULL)
|
||||
PG_RETURN_NULL();
|
||||
|
||||
PG_RETURN_TEXT_P(result);
|
||||
}
|
||||
|
||||
@ -136,9 +134,6 @@ test_bms_add_members(PG_FUNCTION_ARGS)
|
||||
if (bms2)
|
||||
bms_free(bms2);
|
||||
|
||||
if (bms1 == NULL)
|
||||
PG_RETURN_NULL();
|
||||
|
||||
result = BITMAPSET_TO_TEXT(bms1);
|
||||
bms_free(bms1);
|
||||
|
||||
@ -161,12 +156,8 @@ test_bms_del_member(PG_FUNCTION_ARGS)
|
||||
member = PG_GETARG_INT32(1);
|
||||
bms = bms_del_member(bms, member);
|
||||
|
||||
if (bms == NULL || bms_is_empty(bms))
|
||||
{
|
||||
if (bms)
|
||||
bms_free(bms);
|
||||
if (bms_is_empty(bms))
|
||||
PG_RETURN_NULL();
|
||||
}
|
||||
|
||||
result = BITMAPSET_TO_TEXT(bms);
|
||||
bms_free(bms);
|
||||
@ -515,8 +506,8 @@ test_bms_get_singleton_member(PG_FUNCTION_ARGS)
|
||||
{
|
||||
Bitmapset *bms = NULL;
|
||||
int32 default_member = PG_GETARG_INT32(1);
|
||||
int member;
|
||||
bool success;
|
||||
int member = -1;
|
||||
|
||||
if (PG_ARGISNULL(0))
|
||||
PG_RETURN_INT32(default_member);
|
||||
@ -532,8 +523,8 @@ test_bms_get_singleton_member(PG_FUNCTION_ARGS)
|
||||
|
||||
if (success)
|
||||
PG_RETURN_INT32(member);
|
||||
else
|
||||
PG_RETURN_INT32(default_member);
|
||||
|
||||
PG_RETURN_INT32(default_member);
|
||||
}
|
||||
|
||||
Datum
|
||||
@ -609,11 +600,6 @@ test_bms_overlap_list(PG_FUNCTION_ARGS)
|
||||
|
||||
array = PG_GETARG_ARRAYTYPE_P(1);
|
||||
|
||||
if (ARR_ELEMTYPE(array) != INT4OID)
|
||||
ereport(ERROR,
|
||||
(errcode(ERRCODE_DATATYPE_MISMATCH),
|
||||
errmsg("integer array expected")));
|
||||
|
||||
deconstruct_array(array,
|
||||
INT4OID, sizeof(int32), true, 'i',
|
||||
&elem_datums, &elem_nulls, &elem_count);
|
||||
@ -752,6 +738,37 @@ test_bms_int_members(PG_FUNCTION_ARGS)
|
||||
PG_RETURN_TEXT_P(result);
|
||||
}
|
||||
|
||||
Datum
|
||||
test_bms_del_members(PG_FUNCTION_ARGS)
|
||||
{
|
||||
Bitmapset *bms1 = NULL,
|
||||
*bms2 = NULL;
|
||||
Bitmapset *result_bms;
|
||||
text *result;
|
||||
|
||||
if (!PG_ARGISNULL(0))
|
||||
bms1 = TEXT_TO_BITMAPSET(PG_GETARG_TEXT_PP(0));
|
||||
|
||||
if (!PG_ARGISNULL(1))
|
||||
bms2 = TEXT_TO_BITMAPSET(PG_GETARG_TEXT_PP(1));
|
||||
|
||||
/* IMPORTANT: bms_del_members modifies/frees the first argument */
|
||||
result_bms = bms_del_members(bms1, bms2);
|
||||
|
||||
/* bms1 is now invalid, do not free it */
|
||||
|
||||
if (bms2)
|
||||
bms_free(bms2);
|
||||
|
||||
if (result_bms == NULL)
|
||||
PG_RETURN_NULL();
|
||||
|
||||
result = BITMAPSET_TO_TEXT(result_bms);
|
||||
bms_free(result_bms);
|
||||
|
||||
PG_RETURN_TEXT_P(result);
|
||||
}
|
||||
|
||||
Datum
|
||||
test_bms_replace_members(PG_FUNCTION_ARGS)
|
||||
{
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user