From 2214386e9c6f1589d022abf44fb232f6548db417 Mon Sep 17 00:00:00 2001 From: "Liam R. Howlett" Date: Thu, 20 Feb 2020 15:08:30 -0500 Subject: [PATCH] test_maple_tree: Standardize tests on using what was stored into the maple tree Use [x,y], not [x,y). Signed-off-by: Liam R. Howlett --- lib/test_maple_tree.c | 1447 ++++++++++++++++++++++++----------------- 1 file changed, 868 insertions(+), 579 deletions(-) diff --git a/lib/test_maple_tree.c b/lib/test_maple_tree.c index c4b601907687..ac1e8c1eb390 100644 --- a/lib/test_maple_tree.c +++ b/lib/test_maple_tree.c @@ -869,7 +869,7 @@ static noinline void check_erase_testset(struct maple_tree *mt) } #define erase_check_store_range(mt, a, i, ptr) mtree_test_store_range(mt, \ - a[(i)], a[(i + 1)] - 1, ptr) + a[(i)], a[(i + 1)], ptr) #define STORE 1 #define SNULL 2 #define ERASE 3 @@ -896,12 +896,12 @@ static noinline void check_erase2_testset(struct maple_tree *mt, unsigned long e_min, e_max; void *value = NULL; MA_STATE(mas_start, mt, set[i+1], set[i+1]); - MA_STATE(mas_end, mt, set[i+2]-1, set[i+2]-1); + MA_STATE(mas_end, mt, set[i+2], set[i+2]); mt_set_non_kernel(127); #if check_erase2_debug pr_err("%s: %d %s %lu - %lu\n", __func__, i, ec_type_str(set[i]), - set[i+1], set[i+2]-1); + set[i+1], set[i+2]); #endif s_entry = mas_range_load(&mas_start, &s_min, &s_max, false); @@ -909,7 +909,7 @@ static noinline void check_erase2_testset(struct maple_tree *mt, switch(set[i]) { case SNULL: - if ((s_min == set[i+1]) && (s_max == set[i+2]-1)) + if ((s_min == set[i+1]) && (s_max == set[i+2])) entry_cnt--; erase_check_store_range(mt, set, i + 1, value); @@ -940,14 +940,14 @@ static noinline void check_erase2_testset(struct maple_tree *mt, cnt++; // count slots s_entry = mas_next(&mas_start, - set[i+2] - 1); + set[i+2]); while (!mas_is_none(&mas_start) && (mas_start.last != e_max) ) { if (s_entry) { cnt++; } s_entry = mas_next(&mas_start, - set[i+2] - 1); + set[i+2]); } entry_cnt = entry_cnt - cnt + 1; } @@ -1032,28 +1032,28 @@ STORE, 140253902692352, 140253902696447, STORE, 140253902696448, 140253902864383, }; unsigned long set2[] = { -STORE, 140737488347136, 140737488351232, -STORE, 140735933583360, 140737488351232, -ERASE, 140735933583360, 140737488351232, -STORE, 140735933583360, 140735933587456, -STORE, 94811003260928, 94811003432960, -ERASE, 94811003260928, 94811003432960, -STORE, 94811003260928, 94811003277312, -STORE, 94811003277312, 94811003432960, -ERASE, 94811003277312, 94811003432960, -STORE, 94811003277312, 94811003379712, -STORE, 94811003379712, 94811003420672, -STORE, 94811003420672, 94811003432960, -STORE, 140277094653952, 140277094825984, -ERASE, 140277094653952, 140277094825984, -STORE, 140277094653952, 140277094658048, -STORE, 140277094658048, 140277094825984, -ERASE, 140277094658048, 140277094825984, -STORE, 140277094658048, 140277094780928, -STORE, 140277094780928, 140277094813696, -STORE, 140277094813696, 140277094821888, -STORE, 140277094821888, 140277094825984, -STORE, 140735933906944, 140735933911040, +STORE, 140737488347136, 140737488351231, +STORE, 140735933583360, 140737488351231, +ERASE, 140735933583360, 140737488351231, +STORE, 140735933583360, 140735933587455, +STORE, 94811003260928, 94811003432959, +ERASE, 94811003260928, 94811003432959, +STORE, 94811003260928, 94811003277311, +STORE, 94811003277312, 94811003432959, +ERASE, 94811003277312, 94811003432959, +STORE, 94811003277312, 94811003379711, +STORE, 94811003379712, 94811003420671, +STORE, 94811003420672, 94811003432959, +STORE, 140277094653952, 140277094825983, +ERASE, 140277094653952, 140277094825983, +STORE, 140277094653952, 140277094658047, +STORE, 140277094658048, 140277094825983, +ERASE, 140277094658048, 140277094825983, +STORE, 140277094658048, 140277094780927, +STORE, 140277094780928, 140277094813695, +STORE, 140277094813696, 140277094821887, +STORE, 140277094821888, 140277094825983, +STORE, 140735933906944, 140735933911039, }; unsigned long set3[] = { STORE, 140737488347136, 140737488351231, @@ -1099,554 +1099,554 @@ STORE, 47135835885568, 47135835893759, }; unsigned long set4[] = { -STORE, 140737488347136, 140737488351232, -STORE, 140728251703296, 140737488351232, -ERASE, 140728251703296, 140737488351232, -STORE, 140728251703296, 140728251707392, -STORE, 94668429205504, 94668429377536, -ERASE, 94668429205504, 94668429377536, -STORE, 94668429205504, 94668429221888, -STORE, 94668429221888, 94668429377536, -ERASE, 94668429221888, 94668429377536, -STORE, 94668429221888, 94668429324288, -STORE, 94668429324288, 94668429365248, -STORE, 94668429365248, 94668429377536, -STORE, 47646523273216, 47646523445248, -ERASE, 47646523273216, 47646523445248, -STORE, 47646523273216, 47646523277312, -STORE, 47646523277312, 47646523445248, -ERASE, 47646523277312, 47646523445248, -STORE, 47646523277312, 47646523400192, +STORE, 140737488347136, 140737488351231, +STORE, 140728251703296, 140737488351231, +ERASE, 140728251703296, 140737488351231, +STORE, 140728251703296, 140728251707391, +STORE, 94668429205504, 94668429377535, +ERASE, 94668429205504, 94668429377535, +STORE, 94668429205504, 94668429221887, +STORE, 94668429221888, 94668429377535, +ERASE, 94668429221888, 94668429377535, +STORE, 94668429221888, 94668429324287, +STORE, 94668429324288, 94668429365247, +STORE, 94668429365248, 94668429377535, +STORE, 47646523273216, 47646523445247, +ERASE, 47646523273216, 47646523445247, +STORE, 47646523273216, 47646523277311, +STORE, 47646523277312, 47646523445247, +ERASE, 47646523277312, 47646523445247, +STORE, 47646523277312, 47646523400191, }; unsigned long set5[] = { -STORE, 140737488347136, 140737488351232, -STORE, 140726874062848, 140737488351232, -ERASE, 140726874062848, 140737488351232, -STORE, 140726874062848, 140726874066944, -STORE, 94248892870656, 94248893042688, -ERASE, 94248892870656, 94248893042688, -STORE, 94248892870656, 94248892887040, -STORE, 94248892887040, 94248893042688, -ERASE, 94248892887040, 94248893042688, -STORE, 94248892887040, 94248892989440, -STORE, 94248892989440, 94248893030400, -STORE, 94248893030400, 94248893042688, -STORE, 47884786266112, 47884786438144, -ERASE, 47884786266112, 47884786438144, -STORE, 47884786266112, 47884786270208, -STORE, 47884786270208, 47884786438144, -ERASE, 47884786270208, 47884786438144, -STORE, 47884786270208, 47884786393088, -STORE, 47884786393088, 47884786425856, -STORE, 47884786425856, 47884786434048, -STORE, 47884786434048, 47884786438144, -STORE, 140726874513408, 140726874517504, -STORE, 140726874501120, 140726874513408, -STORE, 47884786438144, 47884786446336, -STORE, 47884786446336, 47884786454528, -STORE, 47884786454528, 47884786618368, -ERASE, 47884786454528, 47884786618368, -STORE, 47884786454528, 47884786466816, -STORE, 47884786466816, 47884786618368, -STORE, 47884786565120, 47884786618368, -STORE, 47884786466816, 47884786565120, -ERASE, 47884786466816, 47884786565120, -STORE, 47884786466816, 47884786565120, -STORE, 47884786610176, 47884786618368, -STORE, 47884786565120, 47884786610176, -ERASE, 47884786565120, 47884786610176, -STORE, 47884786565120, 47884786618368, -ERASE, 47884786565120, 47884786618368, -STORE, 47884786565120, 47884786610176, -STORE, 47884786610176, 47884786618368, -ERASE, 47884786610176, 47884786618368, -STORE, 47884786610176, 47884786618368, -STORE, 47884786618368, 47884789669888, -STORE, 47884787163136, 47884789669888, -STORE, 47884786618368, 47884787163136, -ERASE, 47884787163136, 47884789669888, -STORE, 47884787163136, 47884789448704, -STORE, 47884789448704, 47884789669888, -STORE, 47884788858880, 47884789448704, -STORE, 47884787163136, 47884788858880, -ERASE, 47884787163136, 47884788858880, -STORE, 47884787163136, 47884788858880, -STORE, 47884789444608, 47884789448704, -STORE, 47884788858880, 47884789444608, -ERASE, 47884788858880, 47884789444608, -STORE, 47884788858880, 47884789444608, -STORE, 47884789653504, 47884789669888, -STORE, 47884789448704, 47884789653504, -ERASE, 47884789448704, 47884789653504, -STORE, 47884789448704, 47884789653504, -ERASE, 47884789653504, 47884789669888, -STORE, 47884789653504, 47884789669888, -STORE, 47884789669888, 47884791508992, -STORE, 47884789809152, 47884791508992, -STORE, 47884789669888, 47884789809152, -ERASE, 47884789809152, 47884791508992, -STORE, 47884789809152, 47884791468032, -STORE, 47884791468032, 47884791508992, -STORE, 47884791152640, 47884791468032, -STORE, 47884789809152, 47884791152640, -ERASE, 47884789809152, 47884791152640, -STORE, 47884789809152, 47884791152640, -STORE, 47884791463936, 47884791468032, -STORE, 47884791152640, 47884791463936, -ERASE, 47884791152640, 47884791463936, -STORE, 47884791152640, 47884791463936, -STORE, 47884791492608, 47884791508992, -STORE, 47884791468032, 47884791492608, -ERASE, 47884791468032, 47884791492608, -STORE, 47884791468032, 47884791492608, -ERASE, 47884791492608, 47884791508992, -STORE, 47884791492608, 47884791508992, -STORE, 47884791508992, 47884791644160, -ERASE, 47884791508992, 47884791644160, -STORE, 47884791508992, 47884791533568, -STORE, 47884791533568, 47884791644160, -STORE, 47884791595008, 47884791644160, -STORE, 47884791533568, 47884791595008, -ERASE, 47884791533568, 47884791595008, -STORE, 47884791533568, 47884791595008, -STORE, 47884791619584, 47884791644160, -STORE, 47884791595008, 47884791619584, -ERASE, 47884791595008, 47884791619584, -STORE, 47884791595008, 47884791644160, -ERASE, 47884791595008, 47884791644160, -STORE, 47884791595008, 47884791619584, -STORE, 47884791619584, 47884791644160, -STORE, 47884791627776, 47884791644160, -STORE, 47884791619584, 47884791627776, -ERASE, 47884791619584, 47884791627776, -STORE, 47884791619584, 47884791627776, -ERASE, 47884791627776, 47884791644160, -STORE, 47884791627776, 47884791644160, -STORE, 47884791644160, 47884791664640, -ERASE, 47884791644160, 47884791664640, -STORE, 47884791644160, 47884791648256, -STORE, 47884791648256, 47884791664640, -STORE, 47884791652352, 47884791664640, -STORE, 47884791648256, 47884791652352, -ERASE, 47884791648256, 47884791652352, -STORE, 47884791648256, 47884791652352, -STORE, 47884791656448, 47884791664640, -STORE, 47884791652352, 47884791656448, -ERASE, 47884791652352, 47884791656448, -STORE, 47884791652352, 47884791664640, -ERASE, 47884791652352, 47884791664640, -STORE, 47884791652352, 47884791656448, -STORE, 47884791656448, 47884791664640, -ERASE, 47884791656448, 47884791664640, -STORE, 47884791656448, 47884791664640, -STORE, 47884791664640, 47884791672832, -ERASE, 47884791468032, 47884791492608, -STORE, 47884791468032, 47884791484416, -STORE, 47884791484416, 47884791492608, -ERASE, 47884791656448, 47884791664640, -STORE, 47884791656448, 47884791660544, -STORE, 47884791660544, 47884791664640, -ERASE, 47884791619584, 47884791627776, -STORE, 47884791619584, 47884791623680, -STORE, 47884791623680, 47884791627776, +STORE, 140737488347136, 140737488351231, +STORE, 140726874062848, 140737488351231, +ERASE, 140726874062848, 140737488351231, +STORE, 140726874062848, 140726874066943, +STORE, 94248892870656, 94248893042687, +ERASE, 94248892870656, 94248893042687, +STORE, 94248892870656, 94248892887039, +STORE, 94248892887040, 94248893042687, +ERASE, 94248892887040, 94248893042687, +STORE, 94248892887040, 94248892989439, +STORE, 94248892989440, 94248893030399, +STORE, 94248893030400, 94248893042687, +STORE, 47884786266112, 47884786438143, +ERASE, 47884786266112, 47884786438143, +STORE, 47884786266112, 47884786270207, +STORE, 47884786270208, 47884786438143, +ERASE, 47884786270208, 47884786438143, +STORE, 47884786270208, 47884786393087, +STORE, 47884786393088, 47884786425855, +STORE, 47884786425856, 47884786434047, +STORE, 47884786434048, 47884786438143, +STORE, 140726874513408, 140726874517503, +STORE, 140726874501120, 140726874513407, +STORE, 47884786438144, 47884786446335, +STORE, 47884786446336, 47884786454527, +STORE, 47884786454528, 47884786618367, +ERASE, 47884786454528, 47884786618367, +STORE, 47884786454528, 47884786466815, +STORE, 47884786466816, 47884786618367, +STORE, 47884786565120, 47884786618367, +STORE, 47884786466816, 47884786565119, +ERASE, 47884786466816, 47884786565119, +STORE, 47884786466816, 47884786565119, +STORE, 47884786610176, 47884786618367, +STORE, 47884786565120, 47884786610175, +ERASE, 47884786565120, 47884786610175, +STORE, 47884786565120, 47884786618367, +ERASE, 47884786565120, 47884786618367, +STORE, 47884786565120, 47884786610175, +STORE, 47884786610176, 47884786618367, +ERASE, 47884786610176, 47884786618367, +STORE, 47884786610176, 47884786618367, +STORE, 47884786618368, 47884789669887, +STORE, 47884787163136, 47884789669887, +STORE, 47884786618368, 47884787163135, +ERASE, 47884787163136, 47884789669887, +STORE, 47884787163136, 47884789448703, +STORE, 47884789448704, 47884789669887, +STORE, 47884788858880, 47884789448703, +STORE, 47884787163136, 47884788858879, +ERASE, 47884787163136, 47884788858879, +STORE, 47884787163136, 47884788858879, +STORE, 47884789444608, 47884789448703, +STORE, 47884788858880, 47884789444607, +ERASE, 47884788858880, 47884789444607, +STORE, 47884788858880, 47884789444607, +STORE, 47884789653504, 47884789669887, +STORE, 47884789448704, 47884789653503, +ERASE, 47884789448704, 47884789653503, +STORE, 47884789448704, 47884789653503, +ERASE, 47884789653504, 47884789669887, +STORE, 47884789653504, 47884789669887, +STORE, 47884789669888, 47884791508991, +STORE, 47884789809152, 47884791508991, +STORE, 47884789669888, 47884789809151, +ERASE, 47884789809152, 47884791508991, +STORE, 47884789809152, 47884791468031, +STORE, 47884791468032, 47884791508991, +STORE, 47884791152640, 47884791468031, +STORE, 47884789809152, 47884791152639, +ERASE, 47884789809152, 47884791152639, +STORE, 47884789809152, 47884791152639, +STORE, 47884791463936, 47884791468031, +STORE, 47884791152640, 47884791463935, +ERASE, 47884791152640, 47884791463935, +STORE, 47884791152640, 47884791463935, +STORE, 47884791492608, 47884791508991, +STORE, 47884791468032, 47884791492607, +ERASE, 47884791468032, 47884791492607, +STORE, 47884791468032, 47884791492607, +ERASE, 47884791492608, 47884791508991, +STORE, 47884791492608, 47884791508991, +STORE, 47884791508992, 47884791644159, +ERASE, 47884791508992, 47884791644159, +STORE, 47884791508992, 47884791533567, +STORE, 47884791533568, 47884791644159, +STORE, 47884791595008, 47884791644159, +STORE, 47884791533568, 47884791595007, +ERASE, 47884791533568, 47884791595007, +STORE, 47884791533568, 47884791595007, +STORE, 47884791619584, 47884791644159, +STORE, 47884791595008, 47884791619583, +ERASE, 47884791595008, 47884791619583, +STORE, 47884791595008, 47884791644159, +ERASE, 47884791595008, 47884791644159, +STORE, 47884791595008, 47884791619583, +STORE, 47884791619584, 47884791644159, +STORE, 47884791627776, 47884791644159, +STORE, 47884791619584, 47884791627775, +ERASE, 47884791619584, 47884791627775, +STORE, 47884791619584, 47884791627775, +ERASE, 47884791627776, 47884791644159, +STORE, 47884791627776, 47884791644159, +STORE, 47884791644160, 47884791664639, +ERASE, 47884791644160, 47884791664639, +STORE, 47884791644160, 47884791648255, +STORE, 47884791648256, 47884791664639, +STORE, 47884791652352, 47884791664639, +STORE, 47884791648256, 47884791652351, +ERASE, 47884791648256, 47884791652351, +STORE, 47884791648256, 47884791652351, +STORE, 47884791656448, 47884791664639, +STORE, 47884791652352, 47884791656447, +ERASE, 47884791652352, 47884791656447, +STORE, 47884791652352, 47884791664639, +ERASE, 47884791652352, 47884791664639, +STORE, 47884791652352, 47884791656447, +STORE, 47884791656448, 47884791664639, +ERASE, 47884791656448, 47884791664639, +STORE, 47884791656448, 47884791664639, +STORE, 47884791664640, 47884791672831, +ERASE, 47884791468032, 47884791492607, +STORE, 47884791468032, 47884791484415, +STORE, 47884791484416, 47884791492607, +ERASE, 47884791656448, 47884791664639, +STORE, 47884791656448, 47884791660543, +STORE, 47884791660544, 47884791664639, +ERASE, 47884791619584, 47884791627775, +STORE, 47884791619584, 47884791623679, +STORE, 47884791623680, 47884791627775, }; unsigned long set6[] = { -STORE, 140737488347136, 140737488351232, -STORE, 140722999021568, 140737488351232, -ERASE, 140722999021568, 140737488351232, -STORE, 140722999021568, 140722999025664, -STORE, 94901500268544, 94901500440576, -ERASE, 94901500268544, 94901500440576, -STORE, 94901500268544, 94901500284928, -STORE, 94901500284928, 94901500440576, -ERASE, 94901500284928, 94901500440576, -STORE, 94901500284928, 94901500387328, -STORE, 94901500387328, 94901500428288, -STORE, 94901500428288, 94901500440576, -STORE, 47430426660864, 47430426832896, -ERASE, 47430426660864, 47430426832896, -STORE, 47430426660864, 47430426664960, -STORE, 47430426664960, 47430426832896, -ERASE, 47430426664960, 47430426832896, -STORE, 47430426664960, 47430426787840, -STORE, 47430426787840, 47430426820608, -STORE, 47430426820608, 47430426828800, -STORE, 47430426828800, 47430426832896, -STORE, 140722999115776, 140722999119872, -STORE, 140722999103488, 140722999115776, -STORE, 47430426832896, 47430426841088, -STORE, 47430426841088, 47430426849280, -STORE, 47430426849280, 47430427013120, -ERASE, 47430426849280, 47430427013120, -STORE, 47430426849280, 47430426861568, -STORE, 47430426861568, 47430427013120, -STORE, 47430426959872, 47430427013120, -STORE, 47430426861568, 47430426959872, -ERASE, 47430426861568, 47430426959872, -STORE, 47430426861568, 47430426959872, -STORE, 47430427004928, 47430427013120, -STORE, 47430426959872, 47430427004928, -ERASE, 47430426959872, 47430427004928, -STORE, 47430426959872, 47430427013120, -ERASE, 47430426959872, 47430427013120, -STORE, 47430426959872, 47430427004928, -STORE, 47430427004928, 47430427013120, -ERASE, 47430427004928, 47430427013120, -STORE, 47430427004928, 47430427013120, -STORE, 47430427013120, 47430430064640, -STORE, 47430427557888, 47430430064640, -STORE, 47430427013120, 47430427557888, -ERASE, 47430427557888, 47430430064640, -STORE, 47430427557888, 47430429843456, -STORE, 47430429843456, 47430430064640, -STORE, 47430429253632, 47430429843456, -STORE, 47430427557888, 47430429253632, -ERASE, 47430427557888, 47430429253632, -STORE, 47430427557888, 47430429253632, -STORE, 47430429839360, 47430429843456, -STORE, 47430429253632, 47430429839360, -ERASE, 47430429253632, 47430429839360, -STORE, 47430429253632, 47430429839360, -STORE, 47430430048256, 47430430064640, -STORE, 47430429843456, 47430430048256, -ERASE, 47430429843456, 47430430048256, -STORE, 47430429843456, 47430430048256, -ERASE, 47430430048256, 47430430064640, -STORE, 47430430048256, 47430430064640, -STORE, 47430430064640, 47430431903744, -STORE, 47430430203904, 47430431903744, -STORE, 47430430064640, 47430430203904, -ERASE, 47430430203904, 47430431903744, -STORE, 47430430203904, 47430431862784, -STORE, 47430431862784, 47430431903744, -STORE, 47430431547392, 47430431862784, -STORE, 47430430203904, 47430431547392, -ERASE, 47430430203904, 47430431547392, -STORE, 47430430203904, 47430431547392, -STORE, 47430431858688, 47430431862784, -STORE, 47430431547392, 47430431858688, -ERASE, 47430431547392, 47430431858688, -STORE, 47430431547392, 47430431858688, -STORE, 47430431887360, 47430431903744, -STORE, 47430431862784, 47430431887360, -ERASE, 47430431862784, 47430431887360, -STORE, 47430431862784, 47430431887360, -ERASE, 47430431887360, 47430431903744, -STORE, 47430431887360, 47430431903744, -STORE, 47430431903744, 47430432038912, -ERASE, 47430431903744, 47430432038912, -STORE, 47430431903744, 47430431928320, -STORE, 47430431928320, 47430432038912, -STORE, 47430431989760, 47430432038912, -STORE, 47430431928320, 47430431989760, -ERASE, 47430431928320, 47430431989760, -STORE, 47430431928320, 47430431989760, -STORE, 47430432014336, 47430432038912, -STORE, 47430431989760, 47430432014336, -ERASE, 47430431989760, 47430432014336, -STORE, 47430431989760, 47430432038912, -ERASE, 47430431989760, 47430432038912, -STORE, 47430431989760, 47430432014336, -STORE, 47430432014336, 47430432038912, -STORE, 47430432022528, 47430432038912, -STORE, 47430432014336, 47430432022528, -ERASE, 47430432014336, 47430432022528, -STORE, 47430432014336, 47430432022528, -ERASE, 47430432022528, 47430432038912, -STORE, 47430432022528, 47430432038912, -STORE, 47430432038912, 47430432059392, -ERASE, 47430432038912, 47430432059392, -STORE, 47430432038912, 47430432043008, -STORE, 47430432043008, 47430432059392, -STORE, 47430432047104, 47430432059392, -STORE, 47430432043008, 47430432047104, -ERASE, 47430432043008, 47430432047104, -STORE, 47430432043008, 47430432047104, -STORE, 47430432051200, 47430432059392, -STORE, 47430432047104, 47430432051200, -ERASE, 47430432047104, 47430432051200, -STORE, 47430432047104, 47430432059392, -ERASE, 47430432047104, 47430432059392, -STORE, 47430432047104, 47430432051200, -STORE, 47430432051200, 47430432059392, -ERASE, 47430432051200, 47430432059392, -STORE, 47430432051200, 47430432059392, -STORE, 47430432059392, 47430432067584, -ERASE, 47430431862784, 47430431887360, -STORE, 47430431862784, 47430431879168, -STORE, 47430431879168, 47430431887360, -ERASE, 47430432051200, 47430432059392, -STORE, 47430432051200, 47430432055296, -STORE, 47430432055296, 47430432059392, -ERASE, 47430432014336, 47430432022528, -STORE, 47430432014336, 47430432018432, -STORE, 47430432018432, 47430432022528, +STORE, 140737488347136, 140737488351231, +STORE, 140722999021568, 140737488351231, +ERASE, 140722999021568, 140737488351231, +STORE, 140722999021568, 140722999025663, +STORE, 94901500268544, 94901500440575, +ERASE, 94901500268544, 94901500440575, +STORE, 94901500268544, 94901500284927, +STORE, 94901500284928, 94901500440575, +ERASE, 94901500284928, 94901500440575, +STORE, 94901500284928, 94901500387327, +STORE, 94901500387328, 94901500428287, +STORE, 94901500428288, 94901500440575, +STORE, 47430426660864, 47430426832895, +ERASE, 47430426660864, 47430426832895, +STORE, 47430426660864, 47430426664959, +STORE, 47430426664960, 47430426832895, +ERASE, 47430426664960, 47430426832895, +STORE, 47430426664960, 47430426787839, +STORE, 47430426787840, 47430426820607, +STORE, 47430426820608, 47430426828799, +STORE, 47430426828800, 47430426832895, +STORE, 140722999115776, 140722999119871, +STORE, 140722999103488, 140722999115775, +STORE, 47430426832896, 47430426841087, +STORE, 47430426841088, 47430426849279, +STORE, 47430426849280, 47430427013119, +ERASE, 47430426849280, 47430427013119, +STORE, 47430426849280, 47430426861567, +STORE, 47430426861568, 47430427013119, +STORE, 47430426959872, 47430427013119, +STORE, 47430426861568, 47430426959871, +ERASE, 47430426861568, 47430426959871, +STORE, 47430426861568, 47430426959871, +STORE, 47430427004928, 47430427013119, +STORE, 47430426959872, 47430427004927, +ERASE, 47430426959872, 47430427004927, +STORE, 47430426959872, 47430427013119, +ERASE, 47430426959872, 47430427013119, +STORE, 47430426959872, 47430427004927, +STORE, 47430427004928, 47430427013119, +ERASE, 47430427004928, 47430427013119, +STORE, 47430427004928, 47430427013119, +STORE, 47430427013120, 47430430064639, +STORE, 47430427557888, 47430430064639, +STORE, 47430427013120, 47430427557887, +ERASE, 47430427557888, 47430430064639, +STORE, 47430427557888, 47430429843455, +STORE, 47430429843456, 47430430064639, +STORE, 47430429253632, 47430429843455, +STORE, 47430427557888, 47430429253631, +ERASE, 47430427557888, 47430429253631, +STORE, 47430427557888, 47430429253631, +STORE, 47430429839360, 47430429843455, +STORE, 47430429253632, 47430429839359, +ERASE, 47430429253632, 47430429839359, +STORE, 47430429253632, 47430429839359, +STORE, 47430430048256, 47430430064639, +STORE, 47430429843456, 47430430048255, +ERASE, 47430429843456, 47430430048255, +STORE, 47430429843456, 47430430048255, +ERASE, 47430430048256, 47430430064639, +STORE, 47430430048256, 47430430064639, +STORE, 47430430064640, 47430431903743, +STORE, 47430430203904, 47430431903743, +STORE, 47430430064640, 47430430203903, +ERASE, 47430430203904, 47430431903743, +STORE, 47430430203904, 47430431862783, +STORE, 47430431862784, 47430431903743, +STORE, 47430431547392, 47430431862783, +STORE, 47430430203904, 47430431547391, +ERASE, 47430430203904, 47430431547391, +STORE, 47430430203904, 47430431547391, +STORE, 47430431858688, 47430431862783, +STORE, 47430431547392, 47430431858687, +ERASE, 47430431547392, 47430431858687, +STORE, 47430431547392, 47430431858687, +STORE, 47430431887360, 47430431903743, +STORE, 47430431862784, 47430431887359, +ERASE, 47430431862784, 47430431887359, +STORE, 47430431862784, 47430431887359, +ERASE, 47430431887360, 47430431903743, +STORE, 47430431887360, 47430431903743, +STORE, 47430431903744, 47430432038911, +ERASE, 47430431903744, 47430432038911, +STORE, 47430431903744, 47430431928319, +STORE, 47430431928320, 47430432038911, +STORE, 47430431989760, 47430432038911, +STORE, 47430431928320, 47430431989759, +ERASE, 47430431928320, 47430431989759, +STORE, 47430431928320, 47430431989759, +STORE, 47430432014336, 47430432038911, +STORE, 47430431989760, 47430432014335, +ERASE, 47430431989760, 47430432014335, +STORE, 47430431989760, 47430432038911, +ERASE, 47430431989760, 47430432038911, +STORE, 47430431989760, 47430432014335, +STORE, 47430432014336, 47430432038911, +STORE, 47430432022528, 47430432038911, +STORE, 47430432014336, 47430432022527, +ERASE, 47430432014336, 47430432022527, +STORE, 47430432014336, 47430432022527, +ERASE, 47430432022528, 47430432038911, +STORE, 47430432022528, 47430432038911, +STORE, 47430432038912, 47430432059391, +ERASE, 47430432038912, 47430432059391, +STORE, 47430432038912, 47430432043007, +STORE, 47430432043008, 47430432059391, +STORE, 47430432047104, 47430432059391, +STORE, 47430432043008, 47430432047103, +ERASE, 47430432043008, 47430432047103, +STORE, 47430432043008, 47430432047103, +STORE, 47430432051200, 47430432059391, +STORE, 47430432047104, 47430432051199, +ERASE, 47430432047104, 47430432051199, +STORE, 47430432047104, 47430432059391, +ERASE, 47430432047104, 47430432059391, +STORE, 47430432047104, 47430432051199, +STORE, 47430432051200, 47430432059391, +ERASE, 47430432051200, 47430432059391, +STORE, 47430432051200, 47430432059391, +STORE, 47430432059392, 47430432067583, +ERASE, 47430431862784, 47430431887359, +STORE, 47430431862784, 47430431879167, +STORE, 47430431879168, 47430431887359, +ERASE, 47430432051200, 47430432059391, +STORE, 47430432051200, 47430432055295, +STORE, 47430432055296, 47430432059391, +ERASE, 47430432014336, 47430432022527, +STORE, 47430432014336, 47430432018431, +STORE, 47430432018432, 47430432022527, }; unsigned long set7[] = { -STORE, 140737488347136, 140737488351232, -STORE, 140729808330752, 140737488351232, -ERASE, 140729808330752, 140737488351232, -STORE, 140729808330752, 140729808334848, -STORE, 94629632020480, 94629632192512, -ERASE, 94629632020480, 94629632192512, -STORE, 94629632020480, 94629632036864, -STORE, 94629632036864, 94629632192512, -ERASE, 94629632036864, 94629632192512, -STORE, 94629632036864, 94629632139264, -STORE, 94629632139264, 94629632180224, -STORE, 94629632180224, 94629632192512, -STORE, 47439981776896, 47439981948928, -ERASE, 47439981776896, 47439981948928, -STORE, 47439981776896, 47439981780992, -STORE, 47439981780992, 47439981948928, -ERASE, 47439981780992, 47439981948928, -STORE, 47439981780992, 47439981903872, -STORE, 47439981903872, 47439981936640, -STORE, 47439981936640, 47439981944832, -STORE, 47439981944832, 47439981948928, -STORE, 140729808474112, 140729808478208, -STORE, 140729808461824, 140729808474112, -STORE, 47439981948928, 47439981957120, -STORE, 47439981957120, 47439981965312, -STORE, 47439981965312, 47439982129152, -ERASE, 47439981965312, 47439982129152, -STORE, 47439981965312, 47439981977600, -STORE, 47439981977600, 47439982129152, -STORE, 47439982075904, 47439982129152, -STORE, 47439981977600, 47439982075904, -ERASE, 47439981977600, 47439982075904, -STORE, 47439981977600, 47439982075904, -STORE, 47439982120960, 47439982129152, -STORE, 47439982075904, 47439982120960, -ERASE, 47439982075904, 47439982120960, -STORE, 47439982075904, 47439982129152, -ERASE, 47439982075904, 47439982129152, -STORE, 47439982075904, 47439982120960, -STORE, 47439982120960, 47439982129152, -ERASE, 47439982120960, 47439982129152, -STORE, 47439982120960, 47439982129152, -STORE, 47439982129152, 47439985180672, -STORE, 47439982673920, 47439985180672, -STORE, 47439982129152, 47439982673920, -ERASE, 47439982673920, 47439985180672, -STORE, 47439982673920, 47439984959488, -STORE, 47439984959488, 47439985180672, -STORE, 47439984369664, 47439984959488, -STORE, 47439982673920, 47439984369664, -ERASE, 47439982673920, 47439984369664, -STORE, 47439982673920, 47439984369664, -STORE, 47439984955392, 47439984959488, -STORE, 47439984369664, 47439984955392, -ERASE, 47439984369664, 47439984955392, -STORE, 47439984369664, 47439984955392, -STORE, 47439985164288, 47439985180672, -STORE, 47439984959488, 47439985164288, -ERASE, 47439984959488, 47439985164288, -STORE, 47439984959488, 47439985164288, -ERASE, 47439985164288, 47439985180672, -STORE, 47439985164288, 47439985180672, -STORE, 47439985180672, 47439987019776, -STORE, 47439985319936, 47439987019776, -STORE, 47439985180672, 47439985319936, -ERASE, 47439985319936, 47439987019776, -STORE, 47439985319936, 47439986978816, -STORE, 47439986978816, 47439987019776, -STORE, 47439986663424, 47439986978816, -STORE, 47439985319936, 47439986663424, -ERASE, 47439985319936, 47439986663424, -STORE, 47439985319936, 47439986663424, -STORE, 47439986974720, 47439986978816, -STORE, 47439986663424, 47439986974720, -ERASE, 47439986663424, 47439986974720, -STORE, 47439986663424, 47439986974720, -STORE, 47439987003392, 47439987019776, -STORE, 47439986978816, 47439987003392, -ERASE, 47439986978816, 47439987003392, -STORE, 47439986978816, 47439987003392, -ERASE, 47439987003392, 47439987019776, -STORE, 47439987003392, 47439987019776, -STORE, 47439987019776, 47439987154944, -ERASE, 47439987019776, 47439987154944, -STORE, 47439987019776, 47439987044352, -STORE, 47439987044352, 47439987154944, -STORE, 47439987105792, 47439987154944, -STORE, 47439987044352, 47439987105792, -ERASE, 47439987044352, 47439987105792, -STORE, 47439987044352, 47439987105792, -STORE, 47439987130368, 47439987154944, -STORE, 47439987105792, 47439987130368, -ERASE, 47439987105792, 47439987130368, -STORE, 47439987105792, 47439987154944, -ERASE, 47439987105792, 47439987154944, -STORE, 47439987105792, 47439987130368, -STORE, 47439987130368, 47439987154944, -STORE, 47439987138560, 47439987154944, -STORE, 47439987130368, 47439987138560, -ERASE, 47439987130368, 47439987138560, -STORE, 47439987130368, 47439987138560, -ERASE, 47439987138560, 47439987154944, -STORE, 47439987138560, 47439987154944, -STORE, 47439987154944, 47439987175424, -ERASE, 47439987154944, 47439987175424, -STORE, 47439987154944, 47439987159040, -STORE, 47439987159040, 47439987175424, -STORE, 47439987163136, 47439987175424, -STORE, 47439987159040, 47439987163136, -ERASE, 47439987159040, 47439987163136, -STORE, 47439987159040, 47439987163136, -STORE, 47439987167232, 47439987175424, -STORE, 47439987163136, 47439987167232, -ERASE, 47439987163136, 47439987167232, -STORE, 47439987163136, 47439987175424, -ERASE, 47439987163136, 47439987175424, -STORE, 47439987163136, 47439987167232, -STORE, 47439987167232, 47439987175424, -ERASE, 47439987167232, 47439987175424, -STORE, 47439987167232, 47439987175424, -STORE, 47439987175424, 47439987183616, -ERASE, 47439986978816, 47439987003392, -STORE, 47439986978816, 47439986995200, -STORE, 47439986995200, 47439987003392, -ERASE, 47439987167232, 47439987175424, -STORE, 47439987167232, 47439987171328, -STORE, 47439987171328, 47439987175424, -ERASE, 47439987130368, 47439987138560, -STORE, 47439987130368, 47439987134464, -STORE, 47439987134464, 47439987138560, +STORE, 140737488347136, 140737488351231, +STORE, 140729808330752, 140737488351231, +ERASE, 140729808330752, 140737488351231, +STORE, 140729808330752, 140729808334847, +STORE, 94629632020480, 94629632192511, +ERASE, 94629632020480, 94629632192511, +STORE, 94629632020480, 94629632036863, +STORE, 94629632036864, 94629632192511, +ERASE, 94629632036864, 94629632192511, +STORE, 94629632036864, 94629632139263, +STORE, 94629632139264, 94629632180223, +STORE, 94629632180224, 94629632192511, +STORE, 47439981776896, 47439981948927, +ERASE, 47439981776896, 47439981948927, +STORE, 47439981776896, 47439981780991, +STORE, 47439981780992, 47439981948927, +ERASE, 47439981780992, 47439981948927, +STORE, 47439981780992, 47439981903871, +STORE, 47439981903872, 47439981936639, +STORE, 47439981936640, 47439981944831, +STORE, 47439981944832, 47439981948927, +STORE, 140729808474112, 140729808478207, +STORE, 140729808461824, 140729808474111, +STORE, 47439981948928, 47439981957119, +STORE, 47439981957120, 47439981965311, +STORE, 47439981965312, 47439982129151, +ERASE, 47439981965312, 47439982129151, +STORE, 47439981965312, 47439981977599, +STORE, 47439981977600, 47439982129151, +STORE, 47439982075904, 47439982129151, +STORE, 47439981977600, 47439982075903, +ERASE, 47439981977600, 47439982075903, +STORE, 47439981977600, 47439982075903, +STORE, 47439982120960, 47439982129151, +STORE, 47439982075904, 47439982120959, +ERASE, 47439982075904, 47439982120959, +STORE, 47439982075904, 47439982129151, +ERASE, 47439982075904, 47439982129151, +STORE, 47439982075904, 47439982120959, +STORE, 47439982120960, 47439982129151, +ERASE, 47439982120960, 47439982129151, +STORE, 47439982120960, 47439982129151, +STORE, 47439982129152, 47439985180671, +STORE, 47439982673920, 47439985180671, +STORE, 47439982129152, 47439982673919, +ERASE, 47439982673920, 47439985180671, +STORE, 47439982673920, 47439984959487, +STORE, 47439984959488, 47439985180671, +STORE, 47439984369664, 47439984959487, +STORE, 47439982673920, 47439984369663, +ERASE, 47439982673920, 47439984369663, +STORE, 47439982673920, 47439984369663, +STORE, 47439984955392, 47439984959487, +STORE, 47439984369664, 47439984955391, +ERASE, 47439984369664, 47439984955391, +STORE, 47439984369664, 47439984955391, +STORE, 47439985164288, 47439985180671, +STORE, 47439984959488, 47439985164287, +ERASE, 47439984959488, 47439985164287, +STORE, 47439984959488, 47439985164287, +ERASE, 47439985164288, 47439985180671, +STORE, 47439985164288, 47439985180671, +STORE, 47439985180672, 47439987019775, +STORE, 47439985319936, 47439987019775, +STORE, 47439985180672, 47439985319935, +ERASE, 47439985319936, 47439987019775, +STORE, 47439985319936, 47439986978815, +STORE, 47439986978816, 47439987019775, +STORE, 47439986663424, 47439986978815, +STORE, 47439985319936, 47439986663423, +ERASE, 47439985319936, 47439986663423, +STORE, 47439985319936, 47439986663423, +STORE, 47439986974720, 47439986978815, +STORE, 47439986663424, 47439986974719, +ERASE, 47439986663424, 47439986974719, +STORE, 47439986663424, 47439986974719, +STORE, 47439987003392, 47439987019775, +STORE, 47439986978816, 47439987003391, +ERASE, 47439986978816, 47439987003391, +STORE, 47439986978816, 47439987003391, +ERASE, 47439987003392, 47439987019775, +STORE, 47439987003392, 47439987019775, +STORE, 47439987019776, 47439987154943, +ERASE, 47439987019776, 47439987154943, +STORE, 47439987019776, 47439987044351, +STORE, 47439987044352, 47439987154943, +STORE, 47439987105792, 47439987154943, +STORE, 47439987044352, 47439987105791, +ERASE, 47439987044352, 47439987105791, +STORE, 47439987044352, 47439987105791, +STORE, 47439987130368, 47439987154943, +STORE, 47439987105792, 47439987130367, +ERASE, 47439987105792, 47439987130367, +STORE, 47439987105792, 47439987154943, +ERASE, 47439987105792, 47439987154943, +STORE, 47439987105792, 47439987130367, +STORE, 47439987130368, 47439987154943, +STORE, 47439987138560, 47439987154943, +STORE, 47439987130368, 47439987138559, +ERASE, 47439987130368, 47439987138559, +STORE, 47439987130368, 47439987138559, +ERASE, 47439987138560, 47439987154943, +STORE, 47439987138560, 47439987154943, +STORE, 47439987154944, 47439987175423, +ERASE, 47439987154944, 47439987175423, +STORE, 47439987154944, 47439987159039, +STORE, 47439987159040, 47439987175423, +STORE, 47439987163136, 47439987175423, +STORE, 47439987159040, 47439987163135, +ERASE, 47439987159040, 47439987163135, +STORE, 47439987159040, 47439987163135, +STORE, 47439987167232, 47439987175423, +STORE, 47439987163136, 47439987167231, +ERASE, 47439987163136, 47439987167231, +STORE, 47439987163136, 47439987175423, +ERASE, 47439987163136, 47439987175423, +STORE, 47439987163136, 47439987167231, +STORE, 47439987167232, 47439987175423, +ERASE, 47439987167232, 47439987175423, +STORE, 47439987167232, 47439987175423, +STORE, 47439987175424, 47439987183615, +ERASE, 47439986978816, 47439987003391, +STORE, 47439986978816, 47439986995199, +STORE, 47439986995200, 47439987003391, +ERASE, 47439987167232, 47439987175423, +STORE, 47439987167232, 47439987171327, +STORE, 47439987171328, 47439987175423, +ERASE, 47439987130368, 47439987138559, +STORE, 47439987130368, 47439987134463, +STORE, 47439987134464, 47439987138559, }; unsigned long set8[] = { -STORE, 140737488347136, 140737488351232, -STORE, 140722482974720, 140737488351232, -ERASE, 140722482974720, 140737488351232, -STORE, 140722482974720, 140722482978816, -STORE, 94121505034240, 94121505206272, -ERASE, 94121505034240, 94121505206272, -STORE, 94121505034240, 94121505050624, -STORE, 94121505050624, 94121505206272, -ERASE, 94121505050624, 94121505206272, -STORE, 94121505050624, 94121505153024, -STORE, 94121505153024, 94121505193984, -STORE, 94121505193984, 94121505206272, -STORE, 47708483284992, 47708483457024, -ERASE, 47708483284992, 47708483457024, -STORE, 47708483284992, 47708483289088, -STORE, 47708483289088, 47708483457024, -ERASE, 47708483289088, 47708483457024, -STORE, 47708483289088, 47708483411968, -STORE, 47708483411968, 47708483444736, -STORE, 47708483444736, 47708483452928, -STORE, 47708483452928, 47708483457024, -STORE, 140722483142656, 140722483146752, -STORE, 140722483130368, 140722483142656, -STORE, 47708483457024, 47708483465216, -STORE, 47708483465216, 47708483473408, -STORE, 47708483473408, 47708483637248, -ERASE, 47708483473408, 47708483637248, -STORE, 47708483473408, 47708483485696, -STORE, 47708483485696, 47708483637248, -STORE, 47708483584000, 47708483637248, -STORE, 47708483485696, 47708483584000, -ERASE, 47708483485696, 47708483584000, -STORE, 47708483485696, 47708483584000, -STORE, 47708483629056, 47708483637248, -STORE, 47708483584000, 47708483629056, -ERASE, 47708483584000, 47708483629056, -STORE, 47708483584000, 47708483637248, -ERASE, 47708483584000, 47708483637248, -STORE, 47708483584000, 47708483629056, -STORE, 47708483629056, 47708483637248, -ERASE, 47708483629056, 47708483637248, -STORE, 47708483629056, 47708483637248, -STORE, 47708483637248, 47708486688768, -STORE, 47708484182016, 47708486688768, -STORE, 47708483637248, 47708484182016, -ERASE, 47708484182016, 47708486688768, -STORE, 47708484182016, 47708486467584, -STORE, 47708486467584, 47708486688768, -STORE, 47708485877760, 47708486467584, -STORE, 47708484182016, 47708485877760, -ERASE, 47708484182016, 47708485877760, -STORE, 47708484182016, 47708485877760, -STORE, 47708486463488, 47708486467584, -STORE, 47708485877760, 47708486463488, -ERASE, 47708485877760, 47708486463488, -STORE, 47708485877760, 47708486463488, -STORE, 47708486672384, 47708486688768, -STORE, 47708486467584, 47708486672384, -ERASE, 47708486467584, 47708486672384, -STORE, 47708486467584, 47708486672384, -ERASE, 47708486672384, 47708486688768, -STORE, 47708486672384, 47708486688768, -STORE, 47708486688768, 47708488527872, -STORE, 47708486828032, 47708488527872, -STORE, 47708486688768, 47708486828032, -ERASE, 47708486828032, 47708488527872, -STORE, 47708486828032, 47708488486912, -STORE, 47708488486912, 47708488527872, -STORE, 47708488171520, 47708488486912, -STORE, 47708486828032, 47708488171520, -ERASE, 47708486828032, 47708488171520, -STORE, 47708486828032, 47708488171520, -STORE, 47708488482816, 47708488486912, -STORE, 47708488171520, 47708488482816, -ERASE, 47708488171520, 47708488482816, -STORE, 47708488171520, 47708488482816, -STORE, 47708488511488, 47708488527872, -STORE, 47708488486912, 47708488511488, -ERASE, 47708488486912, 47708488511488, -STORE, 47708488486912, 47708488511488, -ERASE, 47708488511488, 47708488527872, -STORE, 47708488511488, 47708488527872, -STORE, 47708488527872, 47708488663040, -ERASE, 47708488527872, 47708488663040, -STORE, 47708488527872, 47708488552448, -STORE, 47708488552448, 47708488663040, -STORE, 47708488613888, 47708488663040, -STORE, 47708488552448, 47708488613888, -ERASE, 47708488552448, 47708488613888, -STORE, 47708488552448, 47708488613888, -STORE, 47708488638464, 47708488663040, -STORE, 47708488613888, 47708488638464, -ERASE, 47708488613888, 47708488638464, -STORE, 47708488613888, 47708488663040, -ERASE, 47708488613888, 47708488663040, -STORE, 47708488613888, 47708488638464, -STORE, 47708488638464, 47708488663040, -STORE, 47708488646656, 47708488663040, -STORE, 47708488638464, 47708488646656, -ERASE, 47708488638464, 47708488646656, -STORE, 47708488638464, 47708488646656, -ERASE, 47708488646656, 47708488663040, -STORE, 47708488646656, 47708488663040, -STORE, 47708488663040, 47708488683520, -ERASE, 47708488663040, 47708488683520, -STORE, 47708488663040, 47708488667136, -STORE, 47708488667136, 47708488683520, -STORE, 47708488671232, 47708488683520, -STORE, 47708488667136, 47708488671232, -ERASE, 47708488667136, 47708488671232, -STORE, 47708488667136, 47708488671232, -STORE, 47708488675328, 47708488683520, -STORE, 47708488671232, 47708488675328, -ERASE, 47708488671232, 47708488675328, -STORE, 47708488671232, 47708488683520, -ERASE, 47708488671232, 47708488683520, -STORE, 47708488671232, 47708488675328, -STORE, 47708488675328, 47708488683520, -ERASE, 47708488675328, 47708488683520, -STORE, 47708488675328, 47708488683520, -STORE, 47708488683520, 47708488691712, -ERASE, 47708488486912, 47708488511488, -STORE, 47708488486912, 47708488503296, -STORE, 47708488503296, 47708488511488, -ERASE, 47708488675328, 47708488683520, -STORE, 47708488675328, 47708488679424, -STORE, 47708488679424, 47708488683520, -ERASE, 47708488638464, 47708488646656, -STORE, 47708488638464, 47708488642560, -STORE, 47708488642560, 47708488646656, +STORE, 140737488347136, 140737488351231, +STORE, 140722482974720, 140737488351231, +ERASE, 140722482974720, 140737488351231, +STORE, 140722482974720, 140722482978815, +STORE, 94121505034240, 94121505206271, +ERASE, 94121505034240, 94121505206271, +STORE, 94121505034240, 94121505050623, +STORE, 94121505050624, 94121505206271, +ERASE, 94121505050624, 94121505206271, +STORE, 94121505050624, 94121505153023, +STORE, 94121505153024, 94121505193983, +STORE, 94121505193984, 94121505206271, +STORE, 47708483284992, 47708483457023, +ERASE, 47708483284992, 47708483457023, +STORE, 47708483284992, 47708483289087, +STORE, 47708483289088, 47708483457023, +ERASE, 47708483289088, 47708483457023, +STORE, 47708483289088, 47708483411967, +STORE, 47708483411968, 47708483444735, +STORE, 47708483444736, 47708483452927, +STORE, 47708483452928, 47708483457023, +STORE, 140722483142656, 140722483146751, +STORE, 140722483130368, 140722483142655, +STORE, 47708483457024, 47708483465215, +STORE, 47708483465216, 47708483473407, +STORE, 47708483473408, 47708483637247, +ERASE, 47708483473408, 47708483637247, +STORE, 47708483473408, 47708483485695, +STORE, 47708483485696, 47708483637247, +STORE, 47708483584000, 47708483637247, +STORE, 47708483485696, 47708483583999, +ERASE, 47708483485696, 47708483583999, +STORE, 47708483485696, 47708483583999, +STORE, 47708483629056, 47708483637247, +STORE, 47708483584000, 47708483629055, +ERASE, 47708483584000, 47708483629055, +STORE, 47708483584000, 47708483637247, +ERASE, 47708483584000, 47708483637247, +STORE, 47708483584000, 47708483629055, +STORE, 47708483629056, 47708483637247, +ERASE, 47708483629056, 47708483637247, +STORE, 47708483629056, 47708483637247, +STORE, 47708483637248, 47708486688767, +STORE, 47708484182016, 47708486688767, +STORE, 47708483637248, 47708484182015, +ERASE, 47708484182016, 47708486688767, +STORE, 47708484182016, 47708486467583, +STORE, 47708486467584, 47708486688767, +STORE, 47708485877760, 47708486467583, +STORE, 47708484182016, 47708485877759, +ERASE, 47708484182016, 47708485877759, +STORE, 47708484182016, 47708485877759, +STORE, 47708486463488, 47708486467583, +STORE, 47708485877760, 47708486463487, +ERASE, 47708485877760, 47708486463487, +STORE, 47708485877760, 47708486463487, +STORE, 47708486672384, 47708486688767, +STORE, 47708486467584, 47708486672383, +ERASE, 47708486467584, 47708486672383, +STORE, 47708486467584, 47708486672383, +ERASE, 47708486672384, 47708486688767, +STORE, 47708486672384, 47708486688767, +STORE, 47708486688768, 47708488527871, +STORE, 47708486828032, 47708488527871, +STORE, 47708486688768, 47708486828031, +ERASE, 47708486828032, 47708488527871, +STORE, 47708486828032, 47708488486911, +STORE, 47708488486912, 47708488527871, +STORE, 47708488171520, 47708488486911, +STORE, 47708486828032, 47708488171519, +ERASE, 47708486828032, 47708488171519, +STORE, 47708486828032, 47708488171519, +STORE, 47708488482816, 47708488486911, +STORE, 47708488171520, 47708488482815, +ERASE, 47708488171520, 47708488482815, +STORE, 47708488171520, 47708488482815, +STORE, 47708488511488, 47708488527871, +STORE, 47708488486912, 47708488511487, +ERASE, 47708488486912, 47708488511487, +STORE, 47708488486912, 47708488511487, +ERASE, 47708488511488, 47708488527871, +STORE, 47708488511488, 47708488527871, +STORE, 47708488527872, 47708488663039, +ERASE, 47708488527872, 47708488663039, +STORE, 47708488527872, 47708488552447, +STORE, 47708488552448, 47708488663039, +STORE, 47708488613888, 47708488663039, +STORE, 47708488552448, 47708488613887, +ERASE, 47708488552448, 47708488613887, +STORE, 47708488552448, 47708488613887, +STORE, 47708488638464, 47708488663039, +STORE, 47708488613888, 47708488638463, +ERASE, 47708488613888, 47708488638463, +STORE, 47708488613888, 47708488663039, +ERASE, 47708488613888, 47708488663039, +STORE, 47708488613888, 47708488638463, +STORE, 47708488638464, 47708488663039, +STORE, 47708488646656, 47708488663039, +STORE, 47708488638464, 47708488646655, +ERASE, 47708488638464, 47708488646655, +STORE, 47708488638464, 47708488646655, +ERASE, 47708488646656, 47708488663039, +STORE, 47708488646656, 47708488663039, +STORE, 47708488663040, 47708488683519, +ERASE, 47708488663040, 47708488683519, +STORE, 47708488663040, 47708488667135, +STORE, 47708488667136, 47708488683519, +STORE, 47708488671232, 47708488683519, +STORE, 47708488667136, 47708488671231, +ERASE, 47708488667136, 47708488671231, +STORE, 47708488667136, 47708488671231, +STORE, 47708488675328, 47708488683519, +STORE, 47708488671232, 47708488675327, +ERASE, 47708488671232, 47708488675327, +STORE, 47708488671232, 47708488683519, +ERASE, 47708488671232, 47708488683519, +STORE, 47708488671232, 47708488675327, +STORE, 47708488675328, 47708488683519, +ERASE, 47708488675328, 47708488683519, +STORE, 47708488675328, 47708488683519, +STORE, 47708488683520, 47708488691711, +ERASE, 47708488486912, 47708488511487, +STORE, 47708488486912, 47708488503295, +STORE, 47708488503296, 47708488511487, +ERASE, 47708488675328, 47708488683519, +STORE, 47708488675328, 47708488679423, +STORE, 47708488679424, 47708488683519, +ERASE, 47708488638464, 47708488646655, +STORE, 47708488638464, 47708488642559, +STORE, 47708488642560, 47708488646655, }; unsigned long set9[] = { @@ -9432,19 +9432,19 @@ STORE, 140014592741375, 140014592741375, // contrived STORE, 140014592733184, 140014592741376, // creates first entry retry. }; unsigned long set13[] = { -STORE, 140373516247040, 140373516251136,//: ffffa2e7b0e10d80 -STORE, 140373516251136, 140373516255232,//: ffffa2e7b1195d80 -STORE, 140373516255232, 140373516443648,//: ffffa2e7b0e109c0 -STORE, 140373516443648, 140373516587008,//: ffffa2e7b05fecc0 +STORE, 140373516247040, 140373516251135,//: ffffa2e7b0e10d80 +STORE, 140373516251136, 140373516255231,//: ffffa2e7b1195d80 +STORE, 140373516255232, 140373516443647,//: ffffa2e7b0e109c0 +STORE, 140373516443648, 140373516587007,//: ffffa2e7b05fecc0 //STORE, 140373516587008, 140373516963839,//: 0000000000000000 -STORE, 140373516963840, 140373518647296,//: ffffa2e7bfbdcc00 -STORE, 140373518647296, 140373518663680,//: ffffa2e7bf5d59c0 -STORE, 140373518663680, 140373518684160,//: deleted (257) +STORE, 140373516963840, 140373518647295,//: ffffa2e7bfbdcc00 +STORE, 140373518647296, 140373518663679,//: ffffa2e7bf5d59c0 +STORE, 140373518663680, 140373518684159,//: deleted (257) //STORE, 140373518684160, 140373518680063,//: 0000000000000000 -STORE, 140373518680064, 140373518684160,//: ffffa2e7b0e1cb40 -STORE, 140373518684160, 140373518688256,//: ffffa2e7b05fec00 -STORE, 140373518688256, 140373518692352,//: ffffa2e7bfbdcd80 -STORE, 140373518692352, 140373518696448,//: ffffa2e7b0749e40 +STORE, 140373518680064, 140373518684159,//: ffffa2e7b0e1cb40 +STORE, 140373518684160, 140373518688254,//: ffffa2e7b05fec00 +STORE, 140373518688256, 140373518692351,//: ffffa2e7bfbdcd80 +STORE, 140373518692352, 140373518696447,//: ffffa2e7b0749e40 }; unsigned long set14[] = { STORE, 140737488347136, 140737488351231, @@ -9730,8 +9730,293 @@ SNULL, 139826136543232, 139826136809471, STORE, 139826136809472, 139826136842239, STORE, 139826136543232, 139826136809471, }; - + unsigned long set15[] = { +STORE, 140737488347136, 140737488351231, +STORE, 140722061451264, 140737488351231, +SNULL, 140722061455359, 140737488351231, +STORE, 140722061451264, 140722061455359, +STORE, 140722061320192, 140722061455359, +STORE, 94728600248320, 94728600289279, +SNULL, 94728600276991, 94728600289279, +STORE, 94728600248320, 94728600276991, +STORE, 94728600276992, 94728600289279, +ERASE, 94728600276992, 94728600289279, +STORE, 94728600281088, 94728600289279, +STORE, 139906806779904, 139906809032703, +SNULL, 139906806923263, 139906809032703, +STORE, 139906806779904, 139906806923263, +STORE, 139906806923264, 139906809032703, +ERASE, 139906806923264, 139906809032703, +STORE, 139906809020416, 139906809028607, +STORE, 139906809028608, 139906809032703, +STORE, 140722061692928, 140722061697023, +STORE, 140722061680640, 140722061692927, +STORE, 139906809012224, 139906809020415, +STORE, 139906804555776, 139906806779903, +SNULL, 139906806206463, 139906806779903, +STORE, 139906804555776, 139906806206463, +STORE, 139906806206464, 139906806779903, +SNULL, 139906806206464, 139906806775807, +STORE, 139906806775808, 139906806779903, +STORE, 139906806206464, 139906806775807, +ERASE, 139906806206464, 139906806775807, +STORE, 139906806206464, 139906806775807, +ERASE, 139906806775808, 139906806779903, +STORE, 139906806775808, 139906806779903, +STORE, 139906808991744, 139906809012223, +STORE, 139906802171904, 139906804555775, +SNULL, 139906802171904, 139906802438143, +STORE, 139906802438144, 139906804555775, +STORE, 139906802171904, 139906802438143, +SNULL, 139906804531199, 139906804555775, +STORE, 139906802438144, 139906804531199, +STORE, 139906804531200, 139906804555775, +SNULL, 139906804531200, 139906804551679, +STORE, 139906804551680, 139906804555775, +STORE, 139906804531200, 139906804551679, +ERASE, 139906804531200, 139906804551679, +STORE, 139906804531200, 139906804551679, +ERASE, 139906804551680, 139906804555775, +STORE, 139906804551680, 139906804555775, +STORE, 139906799955968, 139906802171903, +SNULL, 139906799955968, 139906800054271, +STORE, 139906800054272, 139906802171903, +STORE, 139906799955968, 139906800054271, +SNULL, 139906802147327, 139906802171903, +STORE, 139906800054272, 139906802147327, +STORE, 139906802147328, 139906802171903, +SNULL, 139906802147328, 139906802155519, +STORE, 139906802155520, 139906802171903, +STORE, 139906802147328, 139906802155519, +ERASE, 139906802147328, 139906802155519, +STORE, 139906802147328, 139906802155519, +ERASE, 139906802155520, 139906802171903, +STORE, 139906802155520, 139906802171903, +STORE, 139906796158976, 139906799955967, +SNULL, 139906796158976, 139906797817855, +STORE, 139906797817856, 139906799955967, +STORE, 139906796158976, 139906797817855, +SNULL, 139906799915007, 139906799955967, +STORE, 139906797817856, 139906799915007, +STORE, 139906799915008, 139906799955967, +SNULL, 139906799915008, 139906799939583, +STORE, 139906799939584, 139906799955967, +STORE, 139906799915008, 139906799939583, +ERASE, 139906799915008, 139906799939583, +STORE, 139906799915008, 139906799939583, +ERASE, 139906799939584, 139906799955967, +STORE, 139906799939584, 139906799955967, +STORE, 139906793897984, 139906796158975, +SNULL, 139906793897984, 139906794049535, +STORE, 139906794049536, 139906796158975, +STORE, 139906793897984, 139906794049535, +SNULL, 139906796142591, 139906796158975, +STORE, 139906794049536, 139906796142591, +STORE, 139906796142592, 139906796158975, +SNULL, 139906796142592, 139906796150783, +STORE, 139906796150784, 139906796158975, +STORE, 139906796142592, 139906796150783, +ERASE, 139906796142592, 139906796150783, +STORE, 139906796142592, 139906796150783, +ERASE, 139906796150784, 139906796158975, +STORE, 139906796150784, 139906796158975, +STORE, 139906791776256, 139906793897983, +SNULL, 139906791776256, 139906791792639, +STORE, 139906791792640, 139906793897983, +STORE, 139906791776256, 139906791792639, +SNULL, 139906793889791, 139906793897983, +STORE, 139906791792640, 139906793889791, +STORE, 139906793889792, 139906793897983, +ERASE, 139906793889792, 139906793897983, +STORE, 139906793889792, 139906793897983, +STORE, 139906808983552, 139906808991743, +STORE, 139906789646336, 139906791776255, +SNULL, 139906789646336, 139906789675007, +STORE, 139906789675008, 139906791776255, +STORE, 139906789646336, 139906789675007, +SNULL, 139906791768063, 139906791776255, +STORE, 139906789675008, 139906791768063, +STORE, 139906791768064, 139906791776255, +ERASE, 139906791768064, 139906791776255, +STORE, 139906791768064, 139906791776255, +STORE, 139906787393536, 139906789646335, +SNULL, 139906787393536, 139906787545087, +STORE, 139906787545088, 139906789646335, +STORE, 139906787393536, 139906787545087, +SNULL, 139906789638143, 139906789646335, +STORE, 139906787545088, 139906789638143, +STORE, 139906789638144, 139906789646335, +ERASE, 139906789638144, 139906789646335, +STORE, 139906789638144, 139906789646335, +STORE, 139906785222656, 139906787393535, +SNULL, 139906785222656, 139906785292287, +STORE, 139906785292288, 139906787393535, +STORE, 139906785222656, 139906785292287, +SNULL, 139906787385343, 139906787393535, +STORE, 139906785292288, 139906787385343, +STORE, 139906787385344, 139906787393535, +ERASE, 139906787385344, 139906787393535, +STORE, 139906787385344, 139906787393535, +STORE, 139906782011392, 139906785222655, +SNULL, 139906782011392, 139906783088639, +STORE, 139906783088640, 139906785222655, +STORE, 139906782011392, 139906783088639, +SNULL, 139906785185791, 139906785222655, +STORE, 139906783088640, 139906785185791, +STORE, 139906785185792, 139906785222655, +ERASE, 139906785185792, 139906785222655, +STORE, 139906785185792, 139906785222655, +STORE, 139906779877376, 139906782011391, +SNULL, 139906779877376, 139906779906047, +STORE, 139906779906048, 139906782011391, +STORE, 139906779877376, 139906779906047, +SNULL, 139906782003199, 139906782011391, +STORE, 139906779906048, 139906782003199, +STORE, 139906782003200, 139906782011391, +ERASE, 139906782003200, 139906782011391, +STORE, 139906782003200, 139906782011391, +STORE, 139906777567232, 139906779877375, +SNULL, 139906777567232, 139906777772031, +STORE, 139906777772032, 139906779877375, +STORE, 139906777567232, 139906777772031, +SNULL, 139906779869183, 139906779877375, +STORE, 139906777772032, 139906779869183, +STORE, 139906779869184, 139906779877375, +ERASE, 139906779869184, 139906779877375, +STORE, 139906779869184, 139906779877375, +STORE, 139906808975360, 139906808991743, +STORE, 139906775183360, 139906777567231, +SNULL, 139906775183360, 139906775375871, +STORE, 139906775375872, 139906777567231, +STORE, 139906775183360, 139906775375871, +SNULL, 139906777468927, 139906777567231, +STORE, 139906775375872, 139906777468927, +STORE, 139906777468928, 139906777567231, +ERASE, 139906777468928, 139906777567231, +STORE, 139906777468928, 139906777567231, +STORE, 139906773065728, 139906775183359, +SNULL, 139906773065728, 139906773082111, +STORE, 139906773082112, 139906775183359, +STORE, 139906773065728, 139906773082111, +SNULL, 139906775175167, 139906775183359, +STORE, 139906773082112, 139906775175167, +STORE, 139906775175168, 139906775183359, +ERASE, 139906775175168, 139906775183359, +STORE, 139906775175168, 139906775183359, +STORE, 139906770497536, 139906773065727, +SNULL, 139906770497536, 139906770964479, +STORE, 139906770964480, 139906773065727, +STORE, 139906770497536, 139906770964479, +SNULL, 139906773057535, 139906773065727, +STORE, 139906770964480, 139906773057535, +STORE, 139906773057536, 139906773065727, +ERASE, 139906773057536, 139906773065727, +STORE, 139906773057536, 139906773065727, +STORE, 139906768384000, 139906770497535, +SNULL, 139906768384000, 139906768396287, +STORE, 139906768396288, 139906770497535, +STORE, 139906768384000, 139906768396287, +SNULL, 139906770489343, 139906770497535, +STORE, 139906768396288, 139906770489343, +STORE, 139906770489344, 139906770497535, +ERASE, 139906770489344, 139906770497535, +STORE, 139906770489344, 139906770497535, +STORE, 139906766204928, 139906768383999, +SNULL, 139906766204928, 139906766282751, +STORE, 139906766282752, 139906768383999, +STORE, 139906766204928, 139906766282751, +SNULL, 139906768375807, 139906768383999, +STORE, 139906766282752, 139906768375807, +STORE, 139906768375808, 139906768383999, +ERASE, 139906768375808, 139906768383999, +STORE, 139906768375808, 139906768383999, +STORE, 139906808967168, 139906808991743, +STORE, 139906764087296, 139906766204927, +SNULL, 139906764087296, 139906764103679, +STORE, 139906764103680, 139906766204927, +STORE, 139906764087296, 139906764103679, +SNULL, 139906766196735, 139906766204927, +STORE, 139906764103680, 139906766196735, +STORE, 139906766196736, 139906766204927, +ERASE, 139906766196736, 139906766204927, +STORE, 139906766196736, 139906766204927, +STORE, 139906808958976, 139906808991743, +SNULL, 139906799931391, 139906799939583, +STORE, 139906799915008, 139906799931391, +STORE, 139906799931392, 139906799939583, +SNULL, 139906766200831, 139906766204927, +STORE, 139906766196736, 139906766200831, +STORE, 139906766200832, 139906766204927, +SNULL, 139906768379903, 139906768383999, +STORE, 139906768375808, 139906768379903, +STORE, 139906768379904, 139906768383999, +SNULL, 139906770493439, 139906770497535, +STORE, 139906770489344, 139906770493439, +STORE, 139906770493440, 139906770497535, +SNULL, 139906802151423, 139906802155519, +STORE, 139906802147328, 139906802151423, +STORE, 139906802151424, 139906802155519, +SNULL, 139906773061631, 139906773065727, +STORE, 139906773057536, 139906773061631, +STORE, 139906773061632, 139906773065727, +SNULL, 139906775179263, 139906775183359, +STORE, 139906775175168, 139906775179263, +STORE, 139906775179264, 139906775183359, +SNULL, 139906777563135, 139906777567231, +STORE, 139906777468928, 139906777563135, +STORE, 139906777563136, 139906777567231, +SNULL, 139906779873279, 139906779877375, +STORE, 139906779869184, 139906779873279, +STORE, 139906779873280, 139906779877375, +SNULL, 139906782007295, 139906782011391, +STORE, 139906782003200, 139906782007295, +STORE, 139906782007296, 139906782011391, +SNULL, 139906785193983, 139906785222655, +STORE, 139906785185792, 139906785193983, +STORE, 139906785193984, 139906785222655, +SNULL, 139906787389439, 139906787393535, +STORE, 139906787385344, 139906787389439, +STORE, 139906787389440, 139906787393535, +SNULL, 139906789642239, 139906789646335, +STORE, 139906789638144, 139906789642239, +STORE, 139906789642240, 139906789646335, +SNULL, 139906791772159, 139906791776255, +STORE, 139906791768064, 139906791772159, +STORE, 139906791772160, 139906791776255, +SNULL, 139906793893887, 139906793897983, +STORE, 139906793889792, 139906793893887, +STORE, 139906793893888, 139906793897983, +SNULL, 139906796146687, 139906796150783, +STORE, 139906796142592, 139906796146687, +STORE, 139906796146688, 139906796150783, +SNULL, 139906804547583, 139906804551679, +STORE, 139906804531200, 139906804547583, +STORE, 139906804547584, 139906804551679, +SNULL, 139906806771711, 139906806775807, +STORE, 139906806206464, 139906806771711, +STORE, 139906806771712, 139906806775807, +SNULL, 94728600285183, 94728600289279, +STORE, 94728600281088, 94728600285183, +STORE, 94728600285184, 94728600289279, +SNULL, 139906809024511, 139906809028607, +STORE, 139906809020416, 139906809024511, +STORE, 139906809024512, 139906809028607, +ERASE, 139906808991744, 139906809012223, +STORE, 94728620138496, 94728620273663, +STORE, 139906808692736, 139906808991743, +STORE, 139906808426496, 139906808991743, +STORE, 139906808160256, 139906808991743, +STORE, 139906807894016, 139906808991743, +SNULL, 139906808692735, 139906808991743, +STORE, 139906807894016, 139906808692735, +STORE, 139906808692736, 139906808991743, +SNULL, 139906808692736, 139906808958975, +STORE, 139906808958976, 139906808991743, +STORE, 139906808692736, 139906808958975, + }; int cnt = 0; + MA_STATE(mas, mt, 0, 0); + mt_set_non_kernel(3); check_erase2_testset(mt, set, ARRAY_SIZE(set)); mtree_destroy(mt); @@ -9749,7 +10034,6 @@ STORE, 139826136543232, 139826136809471, mtree_init(mt, 0); check_erase2_testset(mt, set4, ARRAY_SIZE(set4)); - MA_STATE(mas, mt, 0, 0); rcu_read_lock(); mas_for_each(&mas, entry, ULONG_MAX) { if (mas_retry(&mas, entry)) @@ -9826,6 +10110,11 @@ STORE, 139826136543232, 139826136809471, check_erase2_testset(mt, set14, ARRAY_SIZE(set14)); rcu_barrier(); mtree_destroy(mt); + + mtree_init(mt, MAPLE_ALLOC_RANGE); + check_erase2_testset(mt, set15, ARRAY_SIZE(set15)); + rcu_barrier(); + mtree_destroy(mt); } static noinline void check_alloc_rev_range(struct maple_tree *mt) -- 2.50.1