From 35d8ed498f5449ae952ee417425f45445f053252 Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Wed, 8 Feb 2023 21:13:23 -0800 Subject: [PATCH] User definitions with the inscribe command. Using uthash http://troydhanson.github.io/uthash/index.html --- implementations/C/KEYWORDS.in | 1 + implementations/C/KEYWORDS.txt | 1 + implementations/C/joy.c | 54 +- implementations/C/joy.h | 1 + implementations/C/keywords.c | 599 ++++++++--------- implementations/C/uthash.h | 1140 ++++++++++++++++++++++++++++++++ 6 files changed, 1493 insertions(+), 303 deletions(-) create mode 100644 implementations/C/uthash.h diff --git a/implementations/C/KEYWORDS.in b/implementations/C/KEYWORDS.in index 7f6ad52..bb95d45 100644 --- a/implementations/C/KEYWORDS.in +++ b/implementations/C/KEYWORDS.in @@ -34,6 +34,7 @@ dip, dip dup, dup first, first i, i_joyfunc +inscribe, inscribe loop, loop pop, pop rest, rest diff --git a/implementations/C/KEYWORDS.txt b/implementations/C/KEYWORDS.txt index ec64853..08f8a1a 100644 --- a/implementations/C/KEYWORDS.txt +++ b/implementations/C/KEYWORDS.txt @@ -39,6 +39,7 @@ dip, dip dup, dup first, first i, i_joyfunc +inscribe, inscribe loop, loop pop, pop rest, rest diff --git a/implementations/C/joy.c b/implementations/C/joy.c index 1a5a2ee..eab72cf 100644 --- a/implementations/C/joy.c +++ b/implementations/C/joy.c @@ -36,6 +36,7 @@ along with Thun. If not see . #include "joy.h" #include "definitions.h" +#include "uthash.h" static jmp_buf jbuf; @@ -71,6 +72,18 @@ my_callback(GC_PTR void_obj, __attribute__((unused)) GC_PTR void_environment) { } + + + +struct user_def { + char *name;/* key */ + JoyList body; + UT_hash_handle hh; /* makes this structure hashable */ +}; + +struct user_def *user_defs = NULL; + + /* ██╗ ██╗████████╗██╗██╗ ███████╗ ██║ ██║╚══██╔══╝██║██║ ██╔════╝ @@ -746,6 +759,31 @@ truthy(JoyListPtr stack, __attribute__((unused)) JoyListPtr expression) } +/* + *User definitions with inscribe command. + */ + +void +add_user_def(char *name, JoyList body) +{ + struct user_def *s; + HASH_FIND_STR(user_defs, name, s); + if (s) return; /* no overwrite */ + s = GC_malloc(sizeof *s); + s->name = name; + s->body = body; + HASH_ADD_KEYPTR(hh, user_defs, s->name, strlen(s->name), s); +} + + +void +inscribe(JoyListPtr stack, __attribute__((unused)) JoyListPtr expression) +{ + JoyList quote = pop_list(stack); + add_user_def(quote->head->value.symbol, quote->tail); +} + + /* ██╗███╗ ██╗████████╗███████╗██████╗ ██████╗ ██████╗ ███████╗████████╗███████╗██████╗ ██║████╗ ██║╚══██╔══╝██╔════╝██╔══██╗██╔══██╗██╔══██╗██╔════╝╚══██╔══╝██╔════╝██╔══██╗ @@ -759,13 +797,19 @@ truthy(JoyListPtr stack, __attribute__((unused)) JoyListPtr expression) void dispatch(char *sym, JoyListPtr stack, JoyListPtr expression) { + struct user_def *s; const struct dict_entry *word = in_word_set(sym, strlen(sym)); - if (!word) { - printf("Unknown: %s\n", sym); - longjmp(jbuf, 1); + if (word) { + word->func(stack, expression); + return; } - /* longjmp() is as good as return, no need for else clause. */ - word->func(stack, expression); + HASH_FIND_STR(user_defs, sym, s); + if (s) { + push_quote_onto_expression(s->body, expression); + return; + } + printf("Unknown: %s\n", sym); + longjmp(jbuf, 1); } diff --git a/implementations/C/joy.h b/implementations/C/joy.h index 2e7ff1f..e2da2cc 100644 --- a/implementations/C/joy.h +++ b/implementations/C/joy.h @@ -71,6 +71,7 @@ void dip(JoyListPtr stack, JoyListPtr expression); void dup(JoyListPtr stack, JoyListPtr expression); void first(JoyListPtr stack, JoyListPtr expression); void i_joyfunc(JoyListPtr stack, JoyListPtr expression); +void inscribe(JoyListPtr stack, JoyListPtr expression); void loop(JoyListPtr stack, JoyListPtr expression); void pop(JoyListPtr stack, JoyListPtr expression); void rest(JoyListPtr stack, JoyListPtr expression); diff --git a/implementations/C/keywords.c b/implementations/C/keywords.c index fc8801c..8018c60 100644 --- a/implementations/C/keywords.c +++ b/implementations/C/keywords.c @@ -36,7 +36,7 @@ #line 13 "KEYWORDS.txt" struct dict_entry; #include -/* maximum key range = 299, duplicates = 0 */ +/* maximum key range = 304, duplicates = 0 */ #ifdef __GNUC__ __inline @@ -50,32 +50,32 @@ keyword_hash (register const char *str, register size_t len) { static const unsigned short asso_values[] = { - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 10, 300, 300, 300, 60, 65, 300, - 300, 300, 45, 25, 300, 0, 300, 30, 95, 125, - 15, 35, 300, 300, 300, 300, 300, 300, 300, 300, - 85, 90, 50, 10, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 0, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 10, 300, 60, 55, 0, - 5, 30, 40, 110, 100, 15, 300, 5, 40, 25, - 0, 15, 0, 115, 70, 30, 25, 0, 5, 90, - 20, 75, 5, 30, 10, 0, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, - 300, 300, 300, 300, 300, 300 + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 5, 305, 305, 305, 80, 10, 305, + 305, 305, 60, 75, 305, 25, 305, 45, 80, 35, + 40, 65, 305, 305, 305, 305, 305, 305, 305, 305, + 10, 85, 0, 20, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 15, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 60, 305, 60, 70, 0, + 5, 30, 40, 100, 40, 15, 305, 5, 40, 60, + 0, 15, 0, 85, 70, 30, 25, 0, 70, 80, + 30, 5, 5, 40, 0, 0, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, + 305, 305, 305, 305, 305, 305 }; register unsigned int hval = len; @@ -99,378 +99,381 @@ in_word_set (register const char *str, register size_t len) { enum { - TOTAL_KEYWORDS = 153, + TOTAL_KEYWORDS = 154, MIN_WORD_LENGTH = 1, MAX_WORD_LENGTH = 14, MIN_HASH_VALUE = 1, - MAX_HASH_VALUE = 299 + MAX_HASH_VALUE = 304 }; static const struct dict_entry wordlist[] = { {""}, -#line 28 "KEYWORDS.txt" - {"-", sub}, -#line 54 "KEYWORDS.txt" - {"--", def_HYPHEN_MINUS_HYPHEN_MINUS}, +#line 16 "KEYWORDS.txt" + {">", def_gt}, +#line 59 "KEYWORDS.txt" + {"||", def_VERTICAL_LINE_VERTICAL_LINE}, {""}, {""}, {""}, {""}, {""}, #line 39 "KEYWORDS.txt" {"dup", dup}, {""}, {""}, -#line 85 "KEYWORDS.txt" +#line 86 "KEYWORDS.txt" {"dupdip", def_dupdip}, -#line 59 "KEYWORDS.txt" - {"!-", def_EXCLAMATION_MARK_HYPHEN_MINUS}, +#line 19 "KEYWORDS.txt" + {"<>", def_neq}, {""}, -#line 83 "KEYWORDS.txt" - {"dupd", def_dupd}, #line 84 "KEYWORDS.txt" + {"dupd", def_dupd}, +#line 85 "KEYWORDS.txt" {"dupdd", def_dupdd}, {""}, -#line 86 "KEYWORDS.txt" +#line 87 "KEYWORDS.txt" {"dupdipd", def_dupdipd}, -#line 43 "KEYWORDS.txt" +#line 44 "KEYWORDS.txt" {"pop", pop}, {""}, -#line 110 "KEYWORDS.txt" - {"popop", def_popop}, -#line 55 "KEYWORDS.txt" - {"?", def_QUESTION_MARK}, #line 111 "KEYWORDS.txt" + {"popop", def_popop}, +#line 17 "KEYWORDS.txt" + {"<", def_lt}, +#line 112 "KEYWORDS.txt" {"popopop", def_popopop}, #line 38 "KEYWORDS.txt" {"dip", dip}, -#line 108 "KEYWORDS.txt" - {"popd", def_popd}, #line 109 "KEYWORDS.txt" + {"popd", def_popd}, +#line 110 "KEYWORDS.txt" {"popdd", def_popdd}, -#line 112 "KEYWORDS.txt" - {"popopd", def_popopd}, #line 113 "KEYWORDS.txt" + {"popopd", def_popopd}, +#line 114 "KEYWORDS.txt" {"popopdd", def_popopdd}, -#line 35 "KEYWORDS.txt" - {"cmp", cmp_joyfunc}, -#line 79 "KEYWORDS.txt" + {""}, +#line 80 "KEYWORDS.txt" {"dipd", def_dipd}, {""}, #line 41 "KEYWORDS.txt" {"i", i_joyfunc}, -#line 58 "KEYWORDS.txt" - {"||", def_VERTICAL_LINE_VERTICAL_LINE}, -#line 31 "KEYWORDS.txt" - {"div", tdiv_q}, -#line 145 "KEYWORDS.txt" +#line 57 "KEYWORDS.txt" + {"&&", def_AMPERSAND_AMPERSAND}, + {""}, +#line 146 "KEYWORDS.txt" {"tuck", def_tuck}, {""}, -#line 147 "KEYWORDS.txt" +#line 148 "KEYWORDS.txt" {"uncons", def_uncons}, -#line 72 "KEYWORDS.txt" +#line 73 "KEYWORDS.txt" {"ccccons", def_ccccons}, {""}, -#line 76 "KEYWORDS.txt" +#line 77 "KEYWORDS.txt" {"codi", def_codi}, {""}, -#line 153 "KEYWORDS.txt" - {"x", def_x}, -#line 150 "KEYWORDS.txt" +#line 56 "KEYWORDS.txt" + {"?", def_QUESTION_MARK}, +#line 151 "KEYWORDS.txt" {"unstack", def_unstack}, -#line 77 "KEYWORDS.txt" +#line 78 "KEYWORDS.txt" {"codireco", def_codireco}, -#line 148 "KEYWORDS.txt" +#line 149 "KEYWORDS.txt" {"unit", def_unit}, {""}, #line 37 "KEYWORDS.txt" {"concat", concat}, -#line 97 "KEYWORDS.txt" +#line 98 "KEYWORDS.txt" {"ii", def_ii}, {""}, #line 36 "KEYWORDS.txt" {"cons", cons}, -#line 73 "KEYWORDS.txt" +#line 74 "KEYWORDS.txt" {"ccons", def_ccons}, -#line 26 "KEYWORDS.txt" - {"+", add}, -#line 107 "KEYWORDS.txt" - {"pm", def_pm}, -#line 23 "KEYWORDS.txt" - {"mod", tdiv_r}, -#line 78 "KEYWORDS.txt" +#line 28 "KEYWORDS.txt" + {"-", sub}, +#line 105 "KEYWORDS.txt" + {"nullary", def_nullary}, +#line 61 "KEYWORDS.txt" + {"<{}", def_LESS_THAN_SIGN_LEFT_CURLY_BRACKET_RIGHT_CURLY_BRACKET}, +#line 79 "KEYWORDS.txt" {"dinfrirst", def_dinfrirst}, - {""}, {""}, {""}, {""}, -#line 75 "KEYWORDS.txt" - {"clop", def_clop}, -#line 103 "KEYWORDS.txt" - {"nulco", def_nulco}, -#line 30 "KEYWORDS.txt" - {"/", tdiv_q}, -#line 80 "KEYWORDS.txt" - {"disenstacken", def_disenstacken}, - {""}, -#line 67 "KEYWORDS.txt" - {"appN", def_appN}, {""}, {""}, -#line 151 "KEYWORDS.txt" - {"unswons", def_unswons}, -#line 102 "KEYWORDS.txt" - {"not", def_not}, -#line 87 "KEYWORDS.txt" - {"enstacken", def_enstacken}, +#line 60 "KEYWORDS.txt" + {"!-", def_EXCLAMATION_MARK_HYPHEN_MINUS}, {""}, -#line 126 "KEYWORDS.txt" +#line 76 "KEYWORDS.txt" + {"clop", def_clop}, +#line 104 "KEYWORDS.txt" + {"nulco", def_nulco}, +#line 154 "KEYWORDS.txt" + {"x", def_x}, +#line 81 "KEYWORDS.txt" + {"disenstacken", def_disenstacken}, +#line 35 "KEYWORDS.txt" + {"cmp", cmp_joyfunc}, +#line 62 "KEYWORDS.txt" + {"<<{}", def_LESS_THAN_SIGN_LESS_THAN_SIGN_LEFT_CURLY_BRACKET_RIGHT_CURLY_BRACKET}, + {""}, {""}, +#line 152 "KEYWORDS.txt" + {"unswons", def_unswons}, +#line 103 "KEYWORDS.txt" + {"not", def_not}, +#line 88 "KEYWORDS.txt" + {"enstacken", def_enstacken}, +#line 147 "KEYWORDS.txt" + {"unary", def_unary}, +#line 127 "KEYWORDS.txt" {"second", def_second}, {""}, -#line 125 "KEYWORDS.txt" +#line 126 "KEYWORDS.txt" {"run", def_run}, -#line 42 "KEYWORDS.txt" +#line 43 "KEYWORDS.txt" {"loop", loop}, - {""}, {""}, -#line 57 "KEYWORDS.txt" - {"++", def_PLUS_SIGN_PLUS_SIGN}, +#line 96 "KEYWORDS.txt" + {"hypot", def_hypot}, + {""}, +#line 55 "KEYWORDS.txt" + {"--", def_HYPHEN_MINUS_HYPHEN_MINUS}, #line 27 "KEYWORDS.txt" {"add", add}, -#line 65 "KEYWORDS.txt" - {"app2", def_app2}, +#line 68 "KEYWORDS.txt" + {"appN", def_appN}, {""}, -#line 130 "KEYWORDS.txt" +#line 131 "KEYWORDS.txt" {"spiral_next", def_spiral_next}, -#line 161 "KEYWORDS.txt" - {"_timest", def__timest}, -#line 137 "KEYWORDS.txt" - {"sum", def_sum}, -#line 129 "KEYWORDS.txt" + {""}, +#line 42 "KEYWORDS.txt" + {"inscribe", inscribe}, +#line 130 "KEYWORDS.txt" {"size", def_size}, {""}, -#line 99 "KEYWORDS.txt" +#line 100 "KEYWORDS.txt" {"infrst", def_infrst}, {""}, -#line 162 "KEYWORDS.txt" - {"map", def_map}, -#line 154 "KEYWORDS.txt" +#line 23 "KEYWORDS.txt" + {"mod", tdiv_r}, +#line 155 "KEYWORDS.txt" {"step", def_step}, - {""}, -#line 24 "KEYWORDS.txt" - {"*", mul}, -#line 50 "KEYWORDS.txt" +#line 145 "KEYWORDS.txt" + {"third", def_third}, +#line 30 "KEYWORDS.txt" + {"/", tdiv_q}, +#line 51 "KEYWORDS.txt" {"lt", def_lt}, -#line 136 "KEYWORDS.txt" +#line 137 "KEYWORDS.txt" {"stuncons", def_stuncons}, -#line 82 "KEYWORDS.txt" +#line 83 "KEYWORDS.txt" {"drop", def_drop}, {""}, -#line 157 "KEYWORDS.txt" - {"_stept", def__stept}, -#line 105 "KEYWORDS.txt" +#line 72 "KEYWORDS.txt" + {"binary", def_binary}, +#line 106 "KEYWORDS.txt" {"of", def_of}, - {""}, -#line 66 "KEYWORDS.txt" - {"app3", def_app3}, -#line 158 "KEYWORDS.txt" - {"times", def_times}, -#line 16 "KEYWORDS.txt" - {">", def_gt}, -#line 52 "KEYWORDS.txt" +#line 150 "KEYWORDS.txt" + {"unquoted", def_unquoted}, +#line 65 "KEYWORDS.txt" + {"app1", def_app1}, +#line 129 "KEYWORDS.txt" + {"shunt", def_shunt}, +#line 91 "KEYWORDS.txt" + {"fourth", def_fourth}, +#line 53 "KEYWORDS.txt" {"le", def_le}, -#line 131 "KEYWORDS.txt" - {"split_at", def_split_at}, - {""}, #line 132 "KEYWORDS.txt" + {"split_at", def_split_at}, +#line 66 "KEYWORDS.txt" + {"app2", def_app2}, +#line 133 "KEYWORDS.txt" {"split_list", def_split_list}, -#line 74 "KEYWORDS.txt" +#line 75 "KEYWORDS.txt" {"cleave", def_cleave}, -#line 141 "KEYWORDS.txt" +#line 142 "KEYWORDS.txt" {"tailrec", def_tailrec}, + {""}, +#line 136 "KEYWORDS.txt" + {"step_zero", def_step_zero}, + {""}, +#line 116 "KEYWORDS.txt" + {"quoted", def_quoted}, +#line 69 "KEYWORDS.txt" + {"at", def_at}, +#line 92 "KEYWORDS.txt" + {"gcd", def_gcd}, +#line 97 "KEYWORDS.txt" + {"ifte", def_ifte}, +#line 128 "KEYWORDS.txt" + {"shift", def_shift}, + {""}, +#line 115 "KEYWORDS.txt" + {"product", def_product}, + {""}, +#line 119 "KEYWORDS.txt" + {"reco", def_reco}, +#line 99 "KEYWORDS.txt" + {"infra", def_infra}, +#line 24 "KEYWORDS.txt" + {"*", mul}, +#line 108 "KEYWORDS.txt" + {"pm", def_pm}, +#line 163 "KEYWORDS.txt" + {"map", def_map}, +#line 143 "KEYWORDS.txt" + {"take", def_take}, +#line 46 "KEYWORDS.txt" + {"stack", stack}, +#line 135 "KEYWORDS.txt" + {"stackd", def_stackd}, +#line 82 "KEYWORDS.txt" + {"down_to_zero", def_down_to_zero}, + {""}, +#line 67 "KEYWORDS.txt" + {"app3", def_app3}, +#line 121 "KEYWORDS.txt" + {"roll>", def_roll_GREATER_THAN_SIGN}, +#line 123 "KEYWORDS.txt" + {"rollup", def_rollup}, +#line 162 "KEYWORDS.txt" + {"_timest", def__timest}, +#line 124 "KEYWORDS.txt" + {"rolldown", def_rolldown}, +#line 90 "KEYWORDS.txt" + {"fork", def_fork}, +#line 159 "KEYWORDS.txt" + {"times", def_times}, +#line 93 "KEYWORDS.txt" + {"genrec", def_genrec}, +#line 144 "KEYWORDS.txt" + {"ternary", def_ternary}, + {""}, {""}, +#line 122 "KEYWORDS.txt" + {"roll<", def_roll_LESS_THAN_SIGN}, +#line 71 "KEYWORDS.txt" + {"b", def_b}, +#line 161 "KEYWORDS.txt" + {"_times1", def__times1}, #line 25 "KEYWORDS.txt" {"mul", mul}, -#line 135 "KEYWORDS.txt" - {"step_zero", def_step_zero}, -#line 163 "KEYWORDS.txt" - {"_map?", def__map_QUESTION_MARK}, -#line 70 "KEYWORDS.txt" - {"b", def_b}, -#line 68 "KEYWORDS.txt" - {"at", def_at}, -#line 106 "KEYWORDS.txt" - {"pam", def_pam}, -#line 96 "KEYWORDS.txt" - {"ifte", def_ifte}, -#line 167 "KEYWORDS.txt" - {"_map2", def__map2}, - {""}, -#line 114 "KEYWORDS.txt" - {"product", def_product}, -#line 60 "KEYWORDS.txt" - {"<{}", def_LESS_THAN_SIGN_LEFT_CURLY_BRACKET_RIGHT_CURLY_BRACKET}, -#line 118 "KEYWORDS.txt" - {"reco", def_reco}, -#line 98 "KEYWORDS.txt" - {"infra", def_infra}, -#line 22 "KEYWORDS.txt" - {"%", tdiv_r}, -#line 104 "KEYWORDS.txt" - {"nullary", def_nullary}, -#line 91 "KEYWORDS.txt" - {"gcd", def_gcd}, -#line 142 "KEYWORDS.txt" - {"take", def_take}, -#line 45 "KEYWORDS.txt" - {"stack", stack}, -#line 134 "KEYWORDS.txt" - {"stackd", def_stackd}, - {""}, -#line 149 "KEYWORDS.txt" - {"unquoted", def_unquoted}, #line 32 "KEYWORDS.txt" {"bool", truthy}, -#line 164 "KEYWORDS.txt" - {"_mape", def__mape}, -#line 122 "KEYWORDS.txt" - {"rollup", def_rollup}, -#line 69 "KEYWORDS.txt" - {"average", def_average}, -#line 123 "KEYWORDS.txt" - {"rolldown", def_rolldown}, -#line 89 "KEYWORDS.txt" - {"fork", def_fork}, - {""}, {""}, -#line 81 "KEYWORDS.txt" - {"down_to_zero", def_down_to_zero}, - {""}, {""}, -#line 146 "KEYWORDS.txt" - {"unary", def_unary}, -#line 115 "KEYWORDS.txt" - {"quoted", def_quoted}, -#line 119 "KEYWORDS.txt" - {"reverse", def_reverse}, -#line 29 "KEYWORDS.txt" - {"sub", sub}, - {""}, #line 34 "KEYWORDS.txt" {"clear", clear}, -#line 92 "KEYWORDS.txt" - {"genrec", def_genrec}, -#line 88 "KEYWORDS.txt" +#line 158 "KEYWORDS.txt" + {"_stept", def__stept}, +#line 89 "KEYWORDS.txt" {"flatten", def_flatten}, - {""}, {""}, -#line 144 "KEYWORDS.txt" - {"third", def_third}, -#line 71 "KEYWORDS.txt" - {"binary", def_binary}, -#line 159 "KEYWORDS.txt" - {"_times0", def__times0}, - {""}, {""}, + {""}, {""}, {""}, +#line 26 "KEYWORDS.txt" + {"+", add}, +#line 50 "KEYWORDS.txt" + {"gt", def_gt}, +#line 138 "KEYWORDS.txt" + {"sum", def_sum}, + {""}, #line 40 "KEYWORDS.txt" {"first", first}, -#line 63 "KEYWORDS.txt" - {"anamorphism", def_anamorphism}, +#line 157 "KEYWORDS.txt" + {"_step1", def__step1}, +#line 141 "KEYWORDS.txt" + {"swoncat", def_swoncat}, +#line 118 "KEYWORDS.txt" + {"range_to_zero", def_range_to_zero}, +#line 45 "KEYWORDS.txt" + {"rest", rest}, +#line 140 "KEYWORDS.txt" + {"swons", def_swons}, +#line 22 "KEYWORDS.txt" + {"%", tdiv_r}, +#line 54 "KEYWORDS.txt" + {"ge", def_ge}, +#line 31 "KEYWORDS.txt" + {"div", tdiv_q}, {""}, #line 117 "KEYWORDS.txt" - {"range_to_zero", def_range_to_zero}, -#line 44 "KEYWORDS.txt" - {"rest", rest}, -#line 128 "KEYWORDS.txt" - {"shunt", def_shunt}, -#line 90 "KEYWORDS.txt" - {"fourth", def_fourth}, -#line 49 "KEYWORDS.txt" - {"gt", def_gt}, - {""}, {""}, -#line 116 "KEYWORDS.txt" {"range", def_range}, -#line 155 "KEYWORDS.txt" - {"_step0", def__step0}, -#line 140 "KEYWORDS.txt" - {"swoncat", def_swoncat}, - {""}, {""}, -#line 139 "KEYWORDS.txt" - {"swons", def_swons}, -#line 17 "KEYWORDS.txt" - {"<", def_lt}, -#line 53 "KEYWORDS.txt" - {"ge", def_ge}, - {""}, -#line 100 "KEYWORDS.txt" - {"make_generator", def_make_generator}, -#line 127 "KEYWORDS.txt" - {"shift", def_shift}, - {""}, {""}, -#line 62 "KEYWORDS.txt" - {"abs", def_abs}, - {""}, -#line 120 "KEYWORDS.txt" - {"roll>", def_roll_GREATER_THAN_SIGN}, + {""}, {""}, {""}, {""}, +#line 153 "KEYWORDS.txt" + {"while", def_while}, #line 15 "KEYWORDS.txt" {"=", def_eq}, -#line 160 "KEYWORDS.txt" - {"_times1", def__times1}, - {""}, -#line 47 "KEYWORDS.txt" +#line 21 "KEYWORDS.txt" + {">=", def_ge}, +#line 29 "KEYWORDS.txt" + {"sub", sub}, +#line 48 "KEYWORDS.txt" {"swap", swap}, {""}, {""}, -#line 19 "KEYWORDS.txt" - {"<>", def_neq}, - {""}, -#line 64 "KEYWORDS.txt" - {"app1", def_app1}, -#line 138 "KEYWORDS.txt" - {"swapd", def_swapd}, -#line 46 "KEYWORDS.txt" - {"swaack", swaack}, #line 18 "KEYWORDS.txt" {"!=", def_neq}, {""}, {""}, -#line 165 "KEYWORDS.txt" - {"_map0", def__map0}, -#line 156 "KEYWORDS.txt" - {"_step1", def__step1}, -#line 56 "KEYWORDS.txt" - {"&&", def_AMPERSAND_AMPERSAND}, - {""}, {""}, -#line 124 "KEYWORDS.txt" - {"rrest", def_rrest}, - {""}, {""}, {""}, -#line 61 "KEYWORDS.txt" - {"<<{}", def_LESS_THAN_SIGN_LESS_THAN_SIGN_LEFT_CURLY_BRACKET_RIGHT_CURLY_BRACKET}, -#line 95 "KEYWORDS.txt" - {"hypot", def_hypot}, - {""}, -#line 143 "KEYWORDS.txt" - {"ternary", def_ternary}, - {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 121 "KEYWORDS.txt" - {"roll<", def_roll_LESS_THAN_SIGN}, - {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 166 "KEYWORDS.txt" - {"_map1", def__map1}, - {""}, {""}, {""}, {""}, {""}, {""}, -#line 21 "KEYWORDS.txt" - {">=", def_ge}, - {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 152 "KEYWORDS.txt" - {"while", def_while}, - {""}, {""}, {""}, {""}, -#line 93 "KEYWORDS.txt" - {"grabN", def_grabN}, - {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 101 "KEYWORDS.txt" - {"neg", def_neg}, - {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 48 "KEYWORDS.txt" - {"eq", def_eq}, -#line 51 "KEYWORDS.txt" - {"neq", def_neq}, - {""}, {""}, {""}, +#line 139 "KEYWORDS.txt" + {"swapd", def_swapd}, +#line 47 "KEYWORDS.txt" + {"swaack", swaack}, #line 20 "KEYWORDS.txt" {"<=", def_le}, - {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, - {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, - {""}, {""}, -#line 133 "KEYWORDS.txt" - {"sqr", def_sqr}, +#line 107 "KEYWORDS.txt" + {"pam", def_pam}, + {""}, {""}, {""}, +#line 160 "KEYWORDS.txt" + {"_times0", def__times0}, + {""}, {""}, {""}, +#line 64 "KEYWORDS.txt" + {"anamorphism", def_anamorphism}, + {""}, +#line 63 "KEYWORDS.txt" + {"abs", def_abs}, + {""}, {""}, {""}, +#line 70 "KEYWORDS.txt" + {"average", def_average}, {""}, {""}, +#line 125 "KEYWORDS.txt" + {"rrest", def_rrest}, +#line 156 "KEYWORDS.txt" + {"_step0", def__step0}, +#line 49 "KEYWORDS.txt" + {"eq", def_eq}, +#line 52 "KEYWORDS.txt" + {"neq", def_neq}, + {""}, +#line 164 "KEYWORDS.txt" + {"_map?", def__map_QUESTION_MARK}, + {""}, +#line 120 "KEYWORDS.txt" + {"reverse", def_reverse}, + {""}, +#line 101 "KEYWORDS.txt" + {"make_generator", def_make_generator}, + {""}, {""}, {""}, {""}, {""}, +#line 165 "KEYWORDS.txt" + {"_mape", def__mape}, + {""}, {""}, {""}, {""}, +#line 167 "KEYWORDS.txt" + {"_map1", def__map1}, + {""}, {""}, {""}, {""}, +#line 168 "KEYWORDS.txt" + {"_map2", def__map2}, + {""}, +#line 58 "KEYWORDS.txt" + {"++", def_PLUS_SIGN_PLUS_SIGN}, + {""}, {""}, {""}, {""}, {""}, +#line 102 "KEYWORDS.txt" + {"neg", def_neg}, + {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, + {""}, {""}, {""}, #line 33 "KEYWORDS.txt" {"branch", branch}, - {""}, {""}, {""}, {""}, {""}, {""}, {""}, + {""}, {""}, {""}, #line 94 "KEYWORDS.txt" + {"grabN", def_grabN}, + {""}, {""}, {""}, {""}, {""}, {""}, {""}, +#line 134 "KEYWORDS.txt" + {"sqr", def_sqr}, + {""}, {""}, {""}, {""}, {""}, {""}, +#line 166 "KEYWORDS.txt" + {"_map0", def__map0}, + {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, + {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, + {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, + {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, + {""}, {""}, +#line 95 "KEYWORDS.txt" {"grba", def_grba} }; diff --git a/implementations/C/uthash.h b/implementations/C/uthash.h new file mode 100644 index 0000000..68693bf --- /dev/null +++ b/implementations/C/uthash.h @@ -0,0 +1,1140 @@ +/* +Copyright (c) 2003-2022, Troy D. Hanson https://troydhanson.github.io/uthash/ +All rights reserved. + +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions are met: + + * Redistributions of source code must retain the above copyright + notice, this list of conditions and the following disclaimer. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS +IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED +TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A +PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER +OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, +EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, +PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR +PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF +LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING +NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS +SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +*/ + +#ifndef UTHASH_H +#define UTHASH_H + +#define UTHASH_VERSION 2.3.0 + +#include /* memcmp, memset, strlen */ +#include /* ptrdiff_t */ +#include /* exit */ + +#if defined(HASH_DEFINE_OWN_STDINT) && HASH_DEFINE_OWN_STDINT +/* This codepath is provided for backward compatibility, but I plan to remove it. */ +#warning "HASH_DEFINE_OWN_STDINT is deprecated; please use HASH_NO_STDINT instead" +typedef unsigned int uint32_t; +typedef unsigned char uint8_t; +#elif defined(HASH_NO_STDINT) && HASH_NO_STDINT +#else +#include /* uint8_t, uint32_t */ +#endif + +/* These macros use decltype or the earlier __typeof GNU extension. + As decltype is only available in newer compilers (VS2010 or gcc 4.3+ + when compiling c++ source) this code uses whatever method is needed + or, for VS2008 where neither is available, uses casting workarounds. */ +#if !defined(DECLTYPE) && !defined(NO_DECLTYPE) +#if defined(_MSC_VER) /* MS compiler */ +#if _MSC_VER >= 1600 && defined(__cplusplus) /* VS2010 or newer in C++ mode */ +#define DECLTYPE(x) (decltype(x)) +#else /* VS2008 or older (or VS2010 in C mode) */ +#define NO_DECLTYPE +#endif +#elif defined(__MCST__) /* Elbrus C Compiler */ +#define DECLTYPE(x) (__typeof(x)) +#elif defined(__BORLANDC__) || defined(__ICCARM__) || defined(__LCC__) || defined(__WATCOMC__) +#define NO_DECLTYPE +#else /* GNU, Sun and other compilers */ +#define DECLTYPE(x) (__typeof(x)) +#endif +#endif + +#ifdef NO_DECLTYPE +#define DECLTYPE(x) +#define DECLTYPE_ASSIGN(dst,src) \ +do { \ + char **_da_dst = (char**)(&(dst)); \ + *_da_dst = (char*)(src); \ +} while (0) +#else +#define DECLTYPE_ASSIGN(dst,src) \ +do { \ + (dst) = DECLTYPE(dst)(src); \ +} while (0) +#endif + +#ifndef uthash_malloc +#define uthash_malloc(sz) malloc(sz) /* malloc fcn */ +#endif +#ifndef uthash_free +#define uthash_free(ptr,sz) free(ptr) /* free fcn */ +#endif +#ifndef uthash_bzero +#define uthash_bzero(a,n) memset(a,'\0',n) +#endif +#ifndef uthash_strlen +#define uthash_strlen(s) strlen(s) +#endif + +#ifndef HASH_FUNCTION +#define HASH_FUNCTION(keyptr,keylen,hashv) HASH_JEN(keyptr, keylen, hashv) +#endif + +#ifndef HASH_KEYCMP +#define HASH_KEYCMP(a,b,n) memcmp(a,b,n) +#endif + +#ifndef uthash_noexpand_fyi +#define uthash_noexpand_fyi(tbl) /* can be defined to log noexpand */ +#endif +#ifndef uthash_expand_fyi +#define uthash_expand_fyi(tbl) /* can be defined to log expands */ +#endif + +#ifndef HASH_NONFATAL_OOM +#define HASH_NONFATAL_OOM 0 +#endif + +#if HASH_NONFATAL_OOM +/* malloc failures can be recovered from */ + +#ifndef uthash_nonfatal_oom +#define uthash_nonfatal_oom(obj) do {} while (0) /* non-fatal OOM error */ +#endif + +#define HASH_RECORD_OOM(oomed) do { (oomed) = 1; } while (0) +#define IF_HASH_NONFATAL_OOM(x) x + +#else +/* malloc failures result in lost memory, hash tables are unusable */ + +#ifndef uthash_fatal +#define uthash_fatal(msg) exit(-1) /* fatal OOM error */ +#endif + +#define HASH_RECORD_OOM(oomed) uthash_fatal("out of memory") +#define IF_HASH_NONFATAL_OOM(x) + +#endif + +/* initial number of buckets */ +#define HASH_INITIAL_NUM_BUCKETS 32U /* initial number of buckets */ +#define HASH_INITIAL_NUM_BUCKETS_LOG2 5U /* lg2 of initial number of buckets */ +#define HASH_BKT_CAPACITY_THRESH 10U /* expand when bucket count reaches */ + +/* calculate the element whose hash handle address is hhp */ +#define ELMT_FROM_HH(tbl,hhp) ((void*)(((char*)(hhp)) - ((tbl)->hho))) +/* calculate the hash handle from element address elp */ +#define HH_FROM_ELMT(tbl,elp) ((UT_hash_handle*)(void*)(((char*)(elp)) + ((tbl)->hho))) + +#define HASH_ROLLBACK_BKT(hh, head, itemptrhh) \ +do { \ + struct UT_hash_handle *_hd_hh_item = (itemptrhh); \ + unsigned _hd_bkt; \ + HASH_TO_BKT(_hd_hh_item->hashv, (head)->hh.tbl->num_buckets, _hd_bkt); \ + (head)->hh.tbl->buckets[_hd_bkt].count++; \ + _hd_hh_item->hh_next = NULL; \ + _hd_hh_item->hh_prev = NULL; \ +} while (0) + +#define HASH_VALUE(keyptr,keylen,hashv) \ +do { \ + HASH_FUNCTION(keyptr, keylen, hashv); \ +} while (0) + +#define HASH_FIND_BYHASHVALUE(hh,head,keyptr,keylen,hashval,out) \ +do { \ + (out) = NULL; \ + if (head) { \ + unsigned _hf_bkt; \ + HASH_TO_BKT(hashval, (head)->hh.tbl->num_buckets, _hf_bkt); \ + if (HASH_BLOOM_TEST((head)->hh.tbl, hashval) != 0) { \ + HASH_FIND_IN_BKT((head)->hh.tbl, hh, (head)->hh.tbl->buckets[ _hf_bkt ], keyptr, keylen, hashval, out); \ + } \ + } \ +} while (0) + +#define HASH_FIND(hh,head,keyptr,keylen,out) \ +do { \ + (out) = NULL; \ + if (head) { \ + unsigned _hf_hashv; \ + HASH_VALUE(keyptr, keylen, _hf_hashv); \ + HASH_FIND_BYHASHVALUE(hh, head, keyptr, keylen, _hf_hashv, out); \ + } \ +} while (0) + +#ifdef HASH_BLOOM +#define HASH_BLOOM_BITLEN (1UL << HASH_BLOOM) +#define HASH_BLOOM_BYTELEN (HASH_BLOOM_BITLEN/8UL) + (((HASH_BLOOM_BITLEN%8UL)!=0UL) ? 1UL : 0UL) +#define HASH_BLOOM_MAKE(tbl,oomed) \ +do { \ + (tbl)->bloom_nbits = HASH_BLOOM; \ + (tbl)->bloom_bv = (uint8_t*)uthash_malloc(HASH_BLOOM_BYTELEN); \ + if (!(tbl)->bloom_bv) { \ + HASH_RECORD_OOM(oomed); \ + } else { \ + uthash_bzero((tbl)->bloom_bv, HASH_BLOOM_BYTELEN); \ + (tbl)->bloom_sig = HASH_BLOOM_SIGNATURE; \ + } \ +} while (0) + +#define HASH_BLOOM_FREE(tbl) \ +do { \ + uthash_free((tbl)->bloom_bv, HASH_BLOOM_BYTELEN); \ +} while (0) + +#define HASH_BLOOM_BITSET(bv,idx) (bv[(idx)/8U] |= (1U << ((idx)%8U))) +#define HASH_BLOOM_BITTEST(bv,idx) (bv[(idx)/8U] & (1U << ((idx)%8U))) + +#define HASH_BLOOM_ADD(tbl,hashv) \ + HASH_BLOOM_BITSET((tbl)->bloom_bv, ((hashv) & (uint32_t)((1UL << (tbl)->bloom_nbits) - 1U))) + +#define HASH_BLOOM_TEST(tbl,hashv) \ + HASH_BLOOM_BITTEST((tbl)->bloom_bv, ((hashv) & (uint32_t)((1UL << (tbl)->bloom_nbits) - 1U))) + +#else +#define HASH_BLOOM_MAKE(tbl,oomed) +#define HASH_BLOOM_FREE(tbl) +#define HASH_BLOOM_ADD(tbl,hashv) +#define HASH_BLOOM_TEST(tbl,hashv) (1) +#define HASH_BLOOM_BYTELEN 0U +#endif + +#define HASH_MAKE_TABLE(hh,head,oomed) \ +do { \ + (head)->hh.tbl = (UT_hash_table*)uthash_malloc(sizeof(UT_hash_table)); \ + if (!(head)->hh.tbl) { \ + HASH_RECORD_OOM(oomed); \ + } else { \ + uthash_bzero((head)->hh.tbl, sizeof(UT_hash_table)); \ + (head)->hh.tbl->tail = &((head)->hh); \ + (head)->hh.tbl->num_buckets = HASH_INITIAL_NUM_BUCKETS; \ + (head)->hh.tbl->log2_num_buckets = HASH_INITIAL_NUM_BUCKETS_LOG2; \ + (head)->hh.tbl->hho = (char*)(&(head)->hh) - (char*)(head); \ + (head)->hh.tbl->buckets = (UT_hash_bucket*)uthash_malloc( \ + HASH_INITIAL_NUM_BUCKETS * sizeof(struct UT_hash_bucket)); \ + (head)->hh.tbl->signature = HASH_SIGNATURE; \ + if (!(head)->hh.tbl->buckets) { \ + HASH_RECORD_OOM(oomed); \ + uthash_free((head)->hh.tbl, sizeof(UT_hash_table)); \ + } else { \ + uthash_bzero((head)->hh.tbl->buckets, \ + HASH_INITIAL_NUM_BUCKETS * sizeof(struct UT_hash_bucket)); \ + HASH_BLOOM_MAKE((head)->hh.tbl, oomed); \ + IF_HASH_NONFATAL_OOM( \ + if (oomed) { \ + uthash_free((head)->hh.tbl->buckets, \ + HASH_INITIAL_NUM_BUCKETS*sizeof(struct UT_hash_bucket)); \ + uthash_free((head)->hh.tbl, sizeof(UT_hash_table)); \ + } \ + ) \ + } \ + } \ +} while (0) + +#define HASH_REPLACE_BYHASHVALUE_INORDER(hh,head,fieldname,keylen_in,hashval,add,replaced,cmpfcn) \ +do { \ + (replaced) = NULL; \ + HASH_FIND_BYHASHVALUE(hh, head, &((add)->fieldname), keylen_in, hashval, replaced); \ + if (replaced) { \ + HASH_DELETE(hh, head, replaced); \ + } \ + HASH_ADD_KEYPTR_BYHASHVALUE_INORDER(hh, head, &((add)->fieldname), keylen_in, hashval, add, cmpfcn); \ +} while (0) + +#define HASH_REPLACE_BYHASHVALUE(hh,head,fieldname,keylen_in,hashval,add,replaced) \ +do { \ + (replaced) = NULL; \ + HASH_FIND_BYHASHVALUE(hh, head, &((add)->fieldname), keylen_in, hashval, replaced); \ + if (replaced) { \ + HASH_DELETE(hh, head, replaced); \ + } \ + HASH_ADD_KEYPTR_BYHASHVALUE(hh, head, &((add)->fieldname), keylen_in, hashval, add); \ +} while (0) + +#define HASH_REPLACE(hh,head,fieldname,keylen_in,add,replaced) \ +do { \ + unsigned _hr_hashv; \ + HASH_VALUE(&((add)->fieldname), keylen_in, _hr_hashv); \ + HASH_REPLACE_BYHASHVALUE(hh, head, fieldname, keylen_in, _hr_hashv, add, replaced); \ +} while (0) + +#define HASH_REPLACE_INORDER(hh,head,fieldname,keylen_in,add,replaced,cmpfcn) \ +do { \ + unsigned _hr_hashv; \ + HASH_VALUE(&((add)->fieldname), keylen_in, _hr_hashv); \ + HASH_REPLACE_BYHASHVALUE_INORDER(hh, head, fieldname, keylen_in, _hr_hashv, add, replaced, cmpfcn); \ +} while (0) + +#define HASH_APPEND_LIST(hh, head, add) \ +do { \ + (add)->hh.next = NULL; \ + (add)->hh.prev = ELMT_FROM_HH((head)->hh.tbl, (head)->hh.tbl->tail); \ + (head)->hh.tbl->tail->next = (add); \ + (head)->hh.tbl->tail = &((add)->hh); \ +} while (0) + +#define HASH_AKBI_INNER_LOOP(hh,head,add,cmpfcn) \ +do { \ + do { \ + if (cmpfcn(DECLTYPE(head)(_hs_iter), add) > 0) { \ + break; \ + } \ + } while ((_hs_iter = HH_FROM_ELMT((head)->hh.tbl, _hs_iter)->next)); \ +} while (0) + +#ifdef NO_DECLTYPE +#undef HASH_AKBI_INNER_LOOP +#define HASH_AKBI_INNER_LOOP(hh,head,add,cmpfcn) \ +do { \ + char *_hs_saved_head = (char*)(head); \ + do { \ + DECLTYPE_ASSIGN(head, _hs_iter); \ + if (cmpfcn(head, add) > 0) { \ + DECLTYPE_ASSIGN(head, _hs_saved_head); \ + break; \ + } \ + DECLTYPE_ASSIGN(head, _hs_saved_head); \ + } while ((_hs_iter = HH_FROM_ELMT((head)->hh.tbl, _hs_iter)->next)); \ +} while (0) +#endif + +#if HASH_NONFATAL_OOM + +#define HASH_ADD_TO_TABLE(hh,head,keyptr,keylen_in,hashval,add,oomed) \ +do { \ + if (!(oomed)) { \ + unsigned _ha_bkt; \ + (head)->hh.tbl->num_items++; \ + HASH_TO_BKT(hashval, (head)->hh.tbl->num_buckets, _ha_bkt); \ + HASH_ADD_TO_BKT((head)->hh.tbl->buckets[_ha_bkt], hh, &(add)->hh, oomed); \ + if (oomed) { \ + HASH_ROLLBACK_BKT(hh, head, &(add)->hh); \ + HASH_DELETE_HH(hh, head, &(add)->hh); \ + (add)->hh.tbl = NULL; \ + uthash_nonfatal_oom(add); \ + } else { \ + HASH_BLOOM_ADD((head)->hh.tbl, hashval); \ + HASH_EMIT_KEY(hh, head, keyptr, keylen_in); \ + } \ + } else { \ + (add)->hh.tbl = NULL; \ + uthash_nonfatal_oom(add); \ + } \ +} while (0) + +#else + +#define HASH_ADD_TO_TABLE(hh,head,keyptr,keylen_in,hashval,add,oomed) \ +do { \ + unsigned _ha_bkt; \ + (head)->hh.tbl->num_items++; \ + HASH_TO_BKT(hashval, (head)->hh.tbl->num_buckets, _ha_bkt); \ + HASH_ADD_TO_BKT((head)->hh.tbl->buckets[_ha_bkt], hh, &(add)->hh, oomed); \ + HASH_BLOOM_ADD((head)->hh.tbl, hashval); \ + HASH_EMIT_KEY(hh, head, keyptr, keylen_in); \ +} while (0) + +#endif + + +#define HASH_ADD_KEYPTR_BYHASHVALUE_INORDER(hh,head,keyptr,keylen_in,hashval,add,cmpfcn) \ +do { \ + IF_HASH_NONFATAL_OOM( int _ha_oomed = 0; ) \ + (add)->hh.hashv = (hashval); \ + (add)->hh.key = (char*) (keyptr); \ + (add)->hh.keylen = (unsigned) (keylen_in); \ + if (!(head)) { \ + (add)->hh.next = NULL; \ + (add)->hh.prev = NULL; \ + HASH_MAKE_TABLE(hh, add, _ha_oomed); \ + IF_HASH_NONFATAL_OOM( if (!_ha_oomed) { ) \ + (head) = (add); \ + IF_HASH_NONFATAL_OOM( } ) \ + } else { \ + void *_hs_iter = (head); \ + (add)->hh.tbl = (head)->hh.tbl; \ + HASH_AKBI_INNER_LOOP(hh, head, add, cmpfcn); \ + if (_hs_iter) { \ + (add)->hh.next = _hs_iter; \ + if (((add)->hh.prev = HH_FROM_ELMT((head)->hh.tbl, _hs_iter)->prev)) { \ + HH_FROM_ELMT((head)->hh.tbl, (add)->hh.prev)->next = (add); \ + } else { \ + (head) = (add); \ + } \ + HH_FROM_ELMT((head)->hh.tbl, _hs_iter)->prev = (add); \ + } else { \ + HASH_APPEND_LIST(hh, head, add); \ + } \ + } \ + HASH_ADD_TO_TABLE(hh, head, keyptr, keylen_in, hashval, add, _ha_oomed); \ + HASH_FSCK(hh, head, "HASH_ADD_KEYPTR_BYHASHVALUE_INORDER"); \ +} while (0) + +#define HASH_ADD_KEYPTR_INORDER(hh,head,keyptr,keylen_in,add,cmpfcn) \ +do { \ + unsigned _hs_hashv; \ + HASH_VALUE(keyptr, keylen_in, _hs_hashv); \ + HASH_ADD_KEYPTR_BYHASHVALUE_INORDER(hh, head, keyptr, keylen_in, _hs_hashv, add, cmpfcn); \ +} while (0) + +#define HASH_ADD_BYHASHVALUE_INORDER(hh,head,fieldname,keylen_in,hashval,add,cmpfcn) \ + HASH_ADD_KEYPTR_BYHASHVALUE_INORDER(hh, head, &((add)->fieldname), keylen_in, hashval, add, cmpfcn) + +#define HASH_ADD_INORDER(hh,head,fieldname,keylen_in,add,cmpfcn) \ + HASH_ADD_KEYPTR_INORDER(hh, head, &((add)->fieldname), keylen_in, add, cmpfcn) + +#define HASH_ADD_KEYPTR_BYHASHVALUE(hh,head,keyptr,keylen_in,hashval,add) \ +do { \ + IF_HASH_NONFATAL_OOM( int _ha_oomed = 0; ) \ + (add)->hh.hashv = (hashval); \ + (add)->hh.key = (const void*) (keyptr); \ + (add)->hh.keylen = (unsigned) (keylen_in); \ + if (!(head)) { \ + (add)->hh.next = NULL; \ + (add)->hh.prev = NULL; \ + HASH_MAKE_TABLE(hh, add, _ha_oomed); \ + IF_HASH_NONFATAL_OOM( if (!_ha_oomed) { ) \ + (head) = (add); \ + IF_HASH_NONFATAL_OOM( } ) \ + } else { \ + (add)->hh.tbl = (head)->hh.tbl; \ + HASH_APPEND_LIST(hh, head, add); \ + } \ + HASH_ADD_TO_TABLE(hh, head, keyptr, keylen_in, hashval, add, _ha_oomed); \ + HASH_FSCK(hh, head, "HASH_ADD_KEYPTR_BYHASHVALUE"); \ +} while (0) + +#define HASH_ADD_KEYPTR(hh,head,keyptr,keylen_in,add) \ +do { \ + unsigned _ha_hashv; \ + HASH_VALUE(keyptr, keylen_in, _ha_hashv); \ + HASH_ADD_KEYPTR_BYHASHVALUE(hh, head, keyptr, keylen_in, _ha_hashv, add); \ +} while (0) + +#define HASH_ADD_BYHASHVALUE(hh,head,fieldname,keylen_in,hashval,add) \ + HASH_ADD_KEYPTR_BYHASHVALUE(hh, head, &((add)->fieldname), keylen_in, hashval, add) + +#define HASH_ADD(hh,head,fieldname,keylen_in,add) \ + HASH_ADD_KEYPTR(hh, head, &((add)->fieldname), keylen_in, add) + +#define HASH_TO_BKT(hashv,num_bkts,bkt) \ +do { \ + bkt = ((hashv) & ((num_bkts) - 1U)); \ +} while (0) + +/* delete "delptr" from the hash table. + * "the usual" patch-up process for the app-order doubly-linked-list. + * The use of _hd_hh_del below deserves special explanation. + * These used to be expressed using (delptr) but that led to a bug + * if someone used the same symbol for the head and deletee, like + * HASH_DELETE(hh,users,users); + * We want that to work, but by changing the head (users) below + * we were forfeiting our ability to further refer to the deletee (users) + * in the patch-up process. Solution: use scratch space to + * copy the deletee pointer, then the latter references are via that + * scratch pointer rather than through the repointed (users) symbol. + */ +#define HASH_DELETE(hh,head,delptr) \ + HASH_DELETE_HH(hh, head, &(delptr)->hh) + +#define HASH_DELETE_HH(hh,head,delptrhh) \ +do { \ + const struct UT_hash_handle *_hd_hh_del = (delptrhh); \ + if ((_hd_hh_del->prev == NULL) && (_hd_hh_del->next == NULL)) { \ + HASH_BLOOM_FREE((head)->hh.tbl); \ + uthash_free((head)->hh.tbl->buckets, \ + (head)->hh.tbl->num_buckets * sizeof(struct UT_hash_bucket)); \ + uthash_free((head)->hh.tbl, sizeof(UT_hash_table)); \ + (head) = NULL; \ + } else { \ + unsigned _hd_bkt; \ + if (_hd_hh_del == (head)->hh.tbl->tail) { \ + (head)->hh.tbl->tail = HH_FROM_ELMT((head)->hh.tbl, _hd_hh_del->prev); \ + } \ + if (_hd_hh_del->prev != NULL) { \ + HH_FROM_ELMT((head)->hh.tbl, _hd_hh_del->prev)->next = _hd_hh_del->next; \ + } else { \ + DECLTYPE_ASSIGN(head, _hd_hh_del->next); \ + } \ + if (_hd_hh_del->next != NULL) { \ + HH_FROM_ELMT((head)->hh.tbl, _hd_hh_del->next)->prev = _hd_hh_del->prev; \ + } \ + HASH_TO_BKT(_hd_hh_del->hashv, (head)->hh.tbl->num_buckets, _hd_bkt); \ + HASH_DEL_IN_BKT((head)->hh.tbl->buckets[_hd_bkt], _hd_hh_del); \ + (head)->hh.tbl->num_items--; \ + } \ + HASH_FSCK(hh, head, "HASH_DELETE_HH"); \ +} while (0) + +/* convenience forms of HASH_FIND/HASH_ADD/HASH_DEL */ +#define HASH_FIND_STR(head,findstr,out) \ +do { \ + unsigned _uthash_hfstr_keylen = (unsigned)uthash_strlen(findstr); \ + HASH_FIND(hh, head, findstr, _uthash_hfstr_keylen, out); \ +} while (0) +#define HASH_ADD_STR(head,strfield,add) \ +do { \ + unsigned _uthash_hastr_keylen = (unsigned)uthash_strlen((add)->strfield); \ + HASH_ADD(hh, head, strfield[0], _uthash_hastr_keylen, add); \ +} while (0) +#define HASH_REPLACE_STR(head,strfield,add,replaced) \ +do { \ + unsigned _uthash_hrstr_keylen = (unsigned)uthash_strlen((add)->strfield); \ + HASH_REPLACE(hh, head, strfield[0], _uthash_hrstr_keylen, add, replaced); \ +} while (0) +#define HASH_FIND_INT(head,findint,out) \ + HASH_FIND(hh,head,findint,sizeof(int),out) +#define HASH_ADD_INT(head,intfield,add) \ + HASH_ADD(hh,head,intfield,sizeof(int),add) +#define HASH_REPLACE_INT(head,intfield,add,replaced) \ + HASH_REPLACE(hh,head,intfield,sizeof(int),add,replaced) +#define HASH_FIND_PTR(head,findptr,out) \ + HASH_FIND(hh,head,findptr,sizeof(void *),out) +#define HASH_ADD_PTR(head,ptrfield,add) \ + HASH_ADD(hh,head,ptrfield,sizeof(void *),add) +#define HASH_REPLACE_PTR(head,ptrfield,add,replaced) \ + HASH_REPLACE(hh,head,ptrfield,sizeof(void *),add,replaced) +#define HASH_DEL(head,delptr) \ + HASH_DELETE(hh,head,delptr) + +/* HASH_FSCK checks hash integrity on every add/delete when HASH_DEBUG is defined. + * This is for uthash developer only; it compiles away if HASH_DEBUG isn't defined. + */ +#ifdef HASH_DEBUG +#include /* fprintf, stderr */ +#define HASH_OOPS(...) do { fprintf(stderr, __VA_ARGS__); exit(-1); } while (0) +#define HASH_FSCK(hh,head,where) \ +do { \ + struct UT_hash_handle *_thh; \ + if (head) { \ + unsigned _bkt_i; \ + unsigned _count = 0; \ + char *_prev; \ + for (_bkt_i = 0; _bkt_i < (head)->hh.tbl->num_buckets; ++_bkt_i) { \ + unsigned _bkt_count = 0; \ + _thh = (head)->hh.tbl->buckets[_bkt_i].hh_head; \ + _prev = NULL; \ + while (_thh) { \ + if (_prev != (char*)(_thh->hh_prev)) { \ + HASH_OOPS("%s: invalid hh_prev %p, actual %p\n", \ + (where), (void*)_thh->hh_prev, (void*)_prev); \ + } \ + _bkt_count++; \ + _prev = (char*)(_thh); \ + _thh = _thh->hh_next; \ + } \ + _count += _bkt_count; \ + if ((head)->hh.tbl->buckets[_bkt_i].count != _bkt_count) { \ + HASH_OOPS("%s: invalid bucket count %u, actual %u\n", \ + (where), (head)->hh.tbl->buckets[_bkt_i].count, _bkt_count); \ + } \ + } \ + if (_count != (head)->hh.tbl->num_items) { \ + HASH_OOPS("%s: invalid hh item count %u, actual %u\n", \ + (where), (head)->hh.tbl->num_items, _count); \ + } \ + _count = 0; \ + _prev = NULL; \ + _thh = &(head)->hh; \ + while (_thh) { \ + _count++; \ + if (_prev != (char*)_thh->prev) { \ + HASH_OOPS("%s: invalid prev %p, actual %p\n", \ + (where), (void*)_thh->prev, (void*)_prev); \ + } \ + _prev = (char*)ELMT_FROM_HH((head)->hh.tbl, _thh); \ + _thh = (_thh->next ? HH_FROM_ELMT((head)->hh.tbl, _thh->next) : NULL); \ + } \ + if (_count != (head)->hh.tbl->num_items) { \ + HASH_OOPS("%s: invalid app item count %u, actual %u\n", \ + (where), (head)->hh.tbl->num_items, _count); \ + } \ + } \ +} while (0) +#else +#define HASH_FSCK(hh,head,where) +#endif + +/* When compiled with -DHASH_EMIT_KEYS, length-prefixed keys are emitted to + * the descriptor to which this macro is defined for tuning the hash function. + * The app can #include to get the prototype for write(2). */ +#ifdef HASH_EMIT_KEYS +#define HASH_EMIT_KEY(hh,head,keyptr,fieldlen) \ +do { \ + unsigned _klen = fieldlen; \ + write(HASH_EMIT_KEYS, &_klen, sizeof(_klen)); \ + write(HASH_EMIT_KEYS, keyptr, (unsigned long)fieldlen); \ +} while (0) +#else +#define HASH_EMIT_KEY(hh,head,keyptr,fieldlen) +#endif + +/* The Bernstein hash function, used in Perl prior to v5.6. Note (x<<5+x)=x*33. */ +#define HASH_BER(key,keylen,hashv) \ +do { \ + unsigned _hb_keylen = (unsigned)keylen; \ + const unsigned char *_hb_key = (const unsigned char*)(key); \ + (hashv) = 0; \ + while (_hb_keylen-- != 0U) { \ + (hashv) = (((hashv) << 5) + (hashv)) + *_hb_key++; \ + } \ +} while (0) + + +/* SAX/FNV/OAT/JEN hash functions are macro variants of those listed at + * http://eternallyconfuzzled.com/tuts/algorithms/jsw_tut_hashing.aspx + * (archive link: https://archive.is/Ivcan ) + */ +#define HASH_SAX(key,keylen,hashv) \ +do { \ + unsigned _sx_i; \ + const unsigned char *_hs_key = (const unsigned char*)(key); \ + hashv = 0; \ + for (_sx_i=0; _sx_i < keylen; _sx_i++) { \ + hashv ^= (hashv << 5) + (hashv >> 2) + _hs_key[_sx_i]; \ + } \ +} while (0) +/* FNV-1a variation */ +#define HASH_FNV(key,keylen,hashv) \ +do { \ + unsigned _fn_i; \ + const unsigned char *_hf_key = (const unsigned char*)(key); \ + (hashv) = 2166136261U; \ + for (_fn_i=0; _fn_i < keylen; _fn_i++) { \ + hashv = hashv ^ _hf_key[_fn_i]; \ + hashv = hashv * 16777619U; \ + } \ +} while (0) + +#define HASH_OAT(key,keylen,hashv) \ +do { \ + unsigned _ho_i; \ + const unsigned char *_ho_key=(const unsigned char*)(key); \ + hashv = 0; \ + for(_ho_i=0; _ho_i < keylen; _ho_i++) { \ + hashv += _ho_key[_ho_i]; \ + hashv += (hashv << 10); \ + hashv ^= (hashv >> 6); \ + } \ + hashv += (hashv << 3); \ + hashv ^= (hashv >> 11); \ + hashv += (hashv << 15); \ +} while (0) + +#define HASH_JEN_MIX(a,b,c) \ +do { \ + a -= b; a -= c; a ^= ( c >> 13 ); \ + b -= c; b -= a; b ^= ( a << 8 ); \ + c -= a; c -= b; c ^= ( b >> 13 ); \ + a -= b; a -= c; a ^= ( c >> 12 ); \ + b -= c; b -= a; b ^= ( a << 16 ); \ + c -= a; c -= b; c ^= ( b >> 5 ); \ + a -= b; a -= c; a ^= ( c >> 3 ); \ + b -= c; b -= a; b ^= ( a << 10 ); \ + c -= a; c -= b; c ^= ( b >> 15 ); \ +} while (0) + +#define HASH_JEN(key,keylen,hashv) \ +do { \ + unsigned _hj_i,_hj_j,_hj_k; \ + unsigned const char *_hj_key=(unsigned const char*)(key); \ + hashv = 0xfeedbeefu; \ + _hj_i = _hj_j = 0x9e3779b9u; \ + _hj_k = (unsigned)(keylen); \ + while (_hj_k >= 12U) { \ + _hj_i += (_hj_key[0] + ( (unsigned)_hj_key[1] << 8 ) \ + + ( (unsigned)_hj_key[2] << 16 ) \ + + ( (unsigned)_hj_key[3] << 24 ) ); \ + _hj_j += (_hj_key[4] + ( (unsigned)_hj_key[5] << 8 ) \ + + ( (unsigned)_hj_key[6] << 16 ) \ + + ( (unsigned)_hj_key[7] << 24 ) ); \ + hashv += (_hj_key[8] + ( (unsigned)_hj_key[9] << 8 ) \ + + ( (unsigned)_hj_key[10] << 16 ) \ + + ( (unsigned)_hj_key[11] << 24 ) ); \ + \ + HASH_JEN_MIX(_hj_i, _hj_j, hashv); \ + \ + _hj_key += 12; \ + _hj_k -= 12U; \ + } \ + hashv += (unsigned)(keylen); \ + switch ( _hj_k ) { \ + case 11: hashv += ( (unsigned)_hj_key[10] << 24 ); /* FALLTHROUGH */ \ + case 10: hashv += ( (unsigned)_hj_key[9] << 16 ); /* FALLTHROUGH */ \ + case 9: hashv += ( (unsigned)_hj_key[8] << 8 ); /* FALLTHROUGH */ \ + case 8: _hj_j += ( (unsigned)_hj_key[7] << 24 ); /* FALLTHROUGH */ \ + case 7: _hj_j += ( (unsigned)_hj_key[6] << 16 ); /* FALLTHROUGH */ \ + case 6: _hj_j += ( (unsigned)_hj_key[5] << 8 ); /* FALLTHROUGH */ \ + case 5: _hj_j += _hj_key[4]; /* FALLTHROUGH */ \ + case 4: _hj_i += ( (unsigned)_hj_key[3] << 24 ); /* FALLTHROUGH */ \ + case 3: _hj_i += ( (unsigned)_hj_key[2] << 16 ); /* FALLTHROUGH */ \ + case 2: _hj_i += ( (unsigned)_hj_key[1] << 8 ); /* FALLTHROUGH */ \ + case 1: _hj_i += _hj_key[0]; /* FALLTHROUGH */ \ + default: ; \ + } \ + HASH_JEN_MIX(_hj_i, _hj_j, hashv); \ +} while (0) + +/* The Paul Hsieh hash function */ +#undef get16bits +#if (defined(__GNUC__) && defined(__i386__)) || defined(__WATCOMC__) \ + || defined(_MSC_VER) || defined (__BORLANDC__) || defined (__TURBOC__) +#define get16bits(d) (*((const uint16_t *) (d))) +#endif + +#if !defined (get16bits) +#define get16bits(d) ((((uint32_t)(((const uint8_t *)(d))[1])) << 8) \ + +(uint32_t)(((const uint8_t *)(d))[0]) ) +#endif +#define HASH_SFH(key,keylen,hashv) \ +do { \ + unsigned const char *_sfh_key=(unsigned const char*)(key); \ + uint32_t _sfh_tmp, _sfh_len = (uint32_t)keylen; \ + \ + unsigned _sfh_rem = _sfh_len & 3U; \ + _sfh_len >>= 2; \ + hashv = 0xcafebabeu; \ + \ + /* Main loop */ \ + for (;_sfh_len > 0U; _sfh_len--) { \ + hashv += get16bits (_sfh_key); \ + _sfh_tmp = ((uint32_t)(get16bits (_sfh_key+2)) << 11) ^ hashv; \ + hashv = (hashv << 16) ^ _sfh_tmp; \ + _sfh_key += 2U*sizeof (uint16_t); \ + hashv += hashv >> 11; \ + } \ + \ + /* Handle end cases */ \ + switch (_sfh_rem) { \ + case 3: hashv += get16bits (_sfh_key); \ + hashv ^= hashv << 16; \ + hashv ^= (uint32_t)(_sfh_key[sizeof (uint16_t)]) << 18; \ + hashv += hashv >> 11; \ + break; \ + case 2: hashv += get16bits (_sfh_key); \ + hashv ^= hashv << 11; \ + hashv += hashv >> 17; \ + break; \ + case 1: hashv += *_sfh_key; \ + hashv ^= hashv << 10; \ + hashv += hashv >> 1; \ + break; \ + default: ; \ + } \ + \ + /* Force "avalanching" of final 127 bits */ \ + hashv ^= hashv << 3; \ + hashv += hashv >> 5; \ + hashv ^= hashv << 4; \ + hashv += hashv >> 17; \ + hashv ^= hashv << 25; \ + hashv += hashv >> 6; \ +} while (0) + +/* iterate over items in a known bucket to find desired item */ +#define HASH_FIND_IN_BKT(tbl,hh,head,keyptr,keylen_in,hashval,out) \ +do { \ + if ((head).hh_head != NULL) { \ + DECLTYPE_ASSIGN(out, ELMT_FROM_HH(tbl, (head).hh_head)); \ + } else { \ + (out) = NULL; \ + } \ + while ((out) != NULL) { \ + if ((out)->hh.hashv == (hashval) && (out)->hh.keylen == (keylen_in)) { \ + if (HASH_KEYCMP((out)->hh.key, keyptr, keylen_in) == 0) { \ + break; \ + } \ + } \ + if ((out)->hh.hh_next != NULL) { \ + DECLTYPE_ASSIGN(out, ELMT_FROM_HH(tbl, (out)->hh.hh_next)); \ + } else { \ + (out) = NULL; \ + } \ + } \ +} while (0) + +/* add an item to a bucket */ +#define HASH_ADD_TO_BKT(head,hh,addhh,oomed) \ +do { \ + UT_hash_bucket *_ha_head = &(head); \ + _ha_head->count++; \ + (addhh)->hh_next = _ha_head->hh_head; \ + (addhh)->hh_prev = NULL; \ + if (_ha_head->hh_head != NULL) { \ + _ha_head->hh_head->hh_prev = (addhh); \ + } \ + _ha_head->hh_head = (addhh); \ + if ((_ha_head->count >= ((_ha_head->expand_mult + 1U) * HASH_BKT_CAPACITY_THRESH)) \ + && !(addhh)->tbl->noexpand) { \ + HASH_EXPAND_BUCKETS(addhh,(addhh)->tbl, oomed); \ + IF_HASH_NONFATAL_OOM( \ + if (oomed) { \ + HASH_DEL_IN_BKT(head,addhh); \ + } \ + ) \ + } \ +} while (0) + +/* remove an item from a given bucket */ +#define HASH_DEL_IN_BKT(head,delhh) \ +do { \ + UT_hash_bucket *_hd_head = &(head); \ + _hd_head->count--; \ + if (_hd_head->hh_head == (delhh)) { \ + _hd_head->hh_head = (delhh)->hh_next; \ + } \ + if ((delhh)->hh_prev) { \ + (delhh)->hh_prev->hh_next = (delhh)->hh_next; \ + } \ + if ((delhh)->hh_next) { \ + (delhh)->hh_next->hh_prev = (delhh)->hh_prev; \ + } \ +} while (0) + +/* Bucket expansion has the effect of doubling the number of buckets + * and redistributing the items into the new buckets. Ideally the + * items will distribute more or less evenly into the new buckets + * (the extent to which this is true is a measure of the quality of + * the hash function as it applies to the key domain). + * + * With the items distributed into more buckets, the chain length + * (item count) in each bucket is reduced. Thus by expanding buckets + * the hash keeps a bound on the chain length. This bounded chain + * length is the essence of how a hash provides constant time lookup. + * + * The calculation of tbl->ideal_chain_maxlen below deserves some + * explanation. First, keep in mind that we're calculating the ideal + * maximum chain length based on the *new* (doubled) bucket count. + * In fractions this is just n/b (n=number of items,b=new num buckets). + * Since the ideal chain length is an integer, we want to calculate + * ceil(n/b). We don't depend on floating point arithmetic in this + * hash, so to calculate ceil(n/b) with integers we could write + * + * ceil(n/b) = (n/b) + ((n%b)?1:0) + * + * and in fact a previous version of this hash did just that. + * But now we have improved things a bit by recognizing that b is + * always a power of two. We keep its base 2 log handy (call it lb), + * so now we can write this with a bit shift and logical AND: + * + * ceil(n/b) = (n>>lb) + ( (n & (b-1)) ? 1:0) + * + */ +#define HASH_EXPAND_BUCKETS(hh,tbl,oomed) \ +do { \ + unsigned _he_bkt; \ + unsigned _he_bkt_i; \ + struct UT_hash_handle *_he_thh, *_he_hh_nxt; \ + UT_hash_bucket *_he_new_buckets, *_he_newbkt; \ + _he_new_buckets = (UT_hash_bucket*)uthash_malloc( \ + sizeof(struct UT_hash_bucket) * (tbl)->num_buckets * 2U); \ + if (!_he_new_buckets) { \ + HASH_RECORD_OOM(oomed); \ + } else { \ + uthash_bzero(_he_new_buckets, \ + sizeof(struct UT_hash_bucket) * (tbl)->num_buckets * 2U); \ + (tbl)->ideal_chain_maxlen = \ + ((tbl)->num_items >> ((tbl)->log2_num_buckets+1U)) + \ + ((((tbl)->num_items & (((tbl)->num_buckets*2U)-1U)) != 0U) ? 1U : 0U); \ + (tbl)->nonideal_items = 0; \ + for (_he_bkt_i = 0; _he_bkt_i < (tbl)->num_buckets; _he_bkt_i++) { \ + _he_thh = (tbl)->buckets[ _he_bkt_i ].hh_head; \ + while (_he_thh != NULL) { \ + _he_hh_nxt = _he_thh->hh_next; \ + HASH_TO_BKT(_he_thh->hashv, (tbl)->num_buckets * 2U, _he_bkt); \ + _he_newbkt = &(_he_new_buckets[_he_bkt]); \ + if (++(_he_newbkt->count) > (tbl)->ideal_chain_maxlen) { \ + (tbl)->nonideal_items++; \ + if (_he_newbkt->count > _he_newbkt->expand_mult * (tbl)->ideal_chain_maxlen) { \ + _he_newbkt->expand_mult++; \ + } \ + } \ + _he_thh->hh_prev = NULL; \ + _he_thh->hh_next = _he_newbkt->hh_head; \ + if (_he_newbkt->hh_head != NULL) { \ + _he_newbkt->hh_head->hh_prev = _he_thh; \ + } \ + _he_newbkt->hh_head = _he_thh; \ + _he_thh = _he_hh_nxt; \ + } \ + } \ + uthash_free((tbl)->buckets, (tbl)->num_buckets * sizeof(struct UT_hash_bucket)); \ + (tbl)->num_buckets *= 2U; \ + (tbl)->log2_num_buckets++; \ + (tbl)->buckets = _he_new_buckets; \ + (tbl)->ineff_expands = ((tbl)->nonideal_items > ((tbl)->num_items >> 1)) ? \ + ((tbl)->ineff_expands+1U) : 0U; \ + if ((tbl)->ineff_expands > 1U) { \ + (tbl)->noexpand = 1; \ + uthash_noexpand_fyi(tbl); \ + } \ + uthash_expand_fyi(tbl); \ + } \ +} while (0) + + +/* This is an adaptation of Simon Tatham's O(n log(n)) mergesort */ +/* Note that HASH_SORT assumes the hash handle name to be hh. + * HASH_SRT was added to allow the hash handle name to be passed in. */ +#define HASH_SORT(head,cmpfcn) HASH_SRT(hh,head,cmpfcn) +#define HASH_SRT(hh,head,cmpfcn) \ +do { \ + unsigned _hs_i; \ + unsigned _hs_looping,_hs_nmerges,_hs_insize,_hs_psize,_hs_qsize; \ + struct UT_hash_handle *_hs_p, *_hs_q, *_hs_e, *_hs_list, *_hs_tail; \ + if (head != NULL) { \ + _hs_insize = 1; \ + _hs_looping = 1; \ + _hs_list = &((head)->hh); \ + while (_hs_looping != 0U) { \ + _hs_p = _hs_list; \ + _hs_list = NULL; \ + _hs_tail = NULL; \ + _hs_nmerges = 0; \ + while (_hs_p != NULL) { \ + _hs_nmerges++; \ + _hs_q = _hs_p; \ + _hs_psize = 0; \ + for (_hs_i = 0; _hs_i < _hs_insize; ++_hs_i) { \ + _hs_psize++; \ + _hs_q = ((_hs_q->next != NULL) ? \ + HH_FROM_ELMT((head)->hh.tbl, _hs_q->next) : NULL); \ + if (_hs_q == NULL) { \ + break; \ + } \ + } \ + _hs_qsize = _hs_insize; \ + while ((_hs_psize != 0U) || ((_hs_qsize != 0U) && (_hs_q != NULL))) { \ + if (_hs_psize == 0U) { \ + _hs_e = _hs_q; \ + _hs_q = ((_hs_q->next != NULL) ? \ + HH_FROM_ELMT((head)->hh.tbl, _hs_q->next) : NULL); \ + _hs_qsize--; \ + } else if ((_hs_qsize == 0U) || (_hs_q == NULL)) { \ + _hs_e = _hs_p; \ + if (_hs_p != NULL) { \ + _hs_p = ((_hs_p->next != NULL) ? \ + HH_FROM_ELMT((head)->hh.tbl, _hs_p->next) : NULL); \ + } \ + _hs_psize--; \ + } else if ((cmpfcn( \ + DECLTYPE(head)(ELMT_FROM_HH((head)->hh.tbl, _hs_p)), \ + DECLTYPE(head)(ELMT_FROM_HH((head)->hh.tbl, _hs_q)) \ + )) <= 0) { \ + _hs_e = _hs_p; \ + if (_hs_p != NULL) { \ + _hs_p = ((_hs_p->next != NULL) ? \ + HH_FROM_ELMT((head)->hh.tbl, _hs_p->next) : NULL); \ + } \ + _hs_psize--; \ + } else { \ + _hs_e = _hs_q; \ + _hs_q = ((_hs_q->next != NULL) ? \ + HH_FROM_ELMT((head)->hh.tbl, _hs_q->next) : NULL); \ + _hs_qsize--; \ + } \ + if ( _hs_tail != NULL ) { \ + _hs_tail->next = ((_hs_e != NULL) ? \ + ELMT_FROM_HH((head)->hh.tbl, _hs_e) : NULL); \ + } else { \ + _hs_list = _hs_e; \ + } \ + if (_hs_e != NULL) { \ + _hs_e->prev = ((_hs_tail != NULL) ? \ + ELMT_FROM_HH((head)->hh.tbl, _hs_tail) : NULL); \ + } \ + _hs_tail = _hs_e; \ + } \ + _hs_p = _hs_q; \ + } \ + if (_hs_tail != NULL) { \ + _hs_tail->next = NULL; \ + } \ + if (_hs_nmerges <= 1U) { \ + _hs_looping = 0; \ + (head)->hh.tbl->tail = _hs_tail; \ + DECLTYPE_ASSIGN(head, ELMT_FROM_HH((head)->hh.tbl, _hs_list)); \ + } \ + _hs_insize *= 2U; \ + } \ + HASH_FSCK(hh, head, "HASH_SRT"); \ + } \ +} while (0) + +/* This function selects items from one hash into another hash. + * The end result is that the selected items have dual presence + * in both hashes. There is no copy of the items made; rather + * they are added into the new hash through a secondary hash + * hash handle that must be present in the structure. */ +#define HASH_SELECT(hh_dst, dst, hh_src, src, cond) \ +do { \ + unsigned _src_bkt, _dst_bkt; \ + void *_last_elt = NULL, *_elt; \ + UT_hash_handle *_src_hh, *_dst_hh, *_last_elt_hh=NULL; \ + ptrdiff_t _dst_hho = ((char*)(&(dst)->hh_dst) - (char*)(dst)); \ + if ((src) != NULL) { \ + for (_src_bkt=0; _src_bkt < (src)->hh_src.tbl->num_buckets; _src_bkt++) { \ + for (_src_hh = (src)->hh_src.tbl->buckets[_src_bkt].hh_head; \ + _src_hh != NULL; \ + _src_hh = _src_hh->hh_next) { \ + _elt = ELMT_FROM_HH((src)->hh_src.tbl, _src_hh); \ + if (cond(_elt)) { \ + IF_HASH_NONFATAL_OOM( int _hs_oomed = 0; ) \ + _dst_hh = (UT_hash_handle*)(void*)(((char*)_elt) + _dst_hho); \ + _dst_hh->key = _src_hh->key; \ + _dst_hh->keylen = _src_hh->keylen; \ + _dst_hh->hashv = _src_hh->hashv; \ + _dst_hh->prev = _last_elt; \ + _dst_hh->next = NULL; \ + if (_last_elt_hh != NULL) { \ + _last_elt_hh->next = _elt; \ + } \ + if ((dst) == NULL) { \ + DECLTYPE_ASSIGN(dst, _elt); \ + HASH_MAKE_TABLE(hh_dst, dst, _hs_oomed); \ + IF_HASH_NONFATAL_OOM( \ + if (_hs_oomed) { \ + uthash_nonfatal_oom(_elt); \ + (dst) = NULL; \ + continue; \ + } \ + ) \ + } else { \ + _dst_hh->tbl = (dst)->hh_dst.tbl; \ + } \ + HASH_TO_BKT(_dst_hh->hashv, _dst_hh->tbl->num_buckets, _dst_bkt); \ + HASH_ADD_TO_BKT(_dst_hh->tbl->buckets[_dst_bkt], hh_dst, _dst_hh, _hs_oomed); \ + (dst)->hh_dst.tbl->num_items++; \ + IF_HASH_NONFATAL_OOM( \ + if (_hs_oomed) { \ + HASH_ROLLBACK_BKT(hh_dst, dst, _dst_hh); \ + HASH_DELETE_HH(hh_dst, dst, _dst_hh); \ + _dst_hh->tbl = NULL; \ + uthash_nonfatal_oom(_elt); \ + continue; \ + } \ + ) \ + HASH_BLOOM_ADD(_dst_hh->tbl, _dst_hh->hashv); \ + _last_elt = _elt; \ + _last_elt_hh = _dst_hh; \ + } \ + } \ + } \ + } \ + HASH_FSCK(hh_dst, dst, "HASH_SELECT"); \ +} while (0) + +#define HASH_CLEAR(hh,head) \ +do { \ + if ((head) != NULL) { \ + HASH_BLOOM_FREE((head)->hh.tbl); \ + uthash_free((head)->hh.tbl->buckets, \ + (head)->hh.tbl->num_buckets*sizeof(struct UT_hash_bucket)); \ + uthash_free((head)->hh.tbl, sizeof(UT_hash_table)); \ + (head) = NULL; \ + } \ +} while (0) + +#define HASH_OVERHEAD(hh,head) \ + (((head) != NULL) ? ( \ + (size_t)(((head)->hh.tbl->num_items * sizeof(UT_hash_handle)) + \ + ((head)->hh.tbl->num_buckets * sizeof(UT_hash_bucket)) + \ + sizeof(UT_hash_table) + \ + (HASH_BLOOM_BYTELEN))) : 0U) + +#ifdef NO_DECLTYPE +#define HASH_ITER(hh,head,el,tmp) \ +for(((el)=(head)), ((*(char**)(&(tmp)))=(char*)((head!=NULL)?(head)->hh.next:NULL)); \ + (el) != NULL; ((el)=(tmp)), ((*(char**)(&(tmp)))=(char*)((tmp!=NULL)?(tmp)->hh.next:NULL))) +#else +#define HASH_ITER(hh,head,el,tmp) \ +for(((el)=(head)), ((tmp)=DECLTYPE(el)((head!=NULL)?(head)->hh.next:NULL)); \ + (el) != NULL; ((el)=(tmp)), ((tmp)=DECLTYPE(el)((tmp!=NULL)?(tmp)->hh.next:NULL))) +#endif + +/* obtain a count of items in the hash */ +#define HASH_COUNT(head) HASH_CNT(hh,head) +#define HASH_CNT(hh,head) ((head != NULL)?((head)->hh.tbl->num_items):0U) + +typedef struct UT_hash_bucket { + struct UT_hash_handle *hh_head; + unsigned count; + + /* expand_mult is normally set to 0. In this situation, the max chain length + * threshold is enforced at its default value, HASH_BKT_CAPACITY_THRESH. (If + * the bucket's chain exceeds this length, bucket expansion is triggered). + * However, setting expand_mult to a non-zero value delays bucket expansion + * (that would be triggered by additions to this particular bucket) + * until its chain length reaches a *multiple* of HASH_BKT_CAPACITY_THRESH. + * (The multiplier is simply expand_mult+1). The whole idea of this + * multiplier is to reduce bucket expansions, since they are expensive, in + * situations where we know that a particular bucket tends to be overused. + * It is better to let its chain length grow to a longer yet-still-bounded + * value, than to do an O(n) bucket expansion too often. + */ + unsigned expand_mult; + +} UT_hash_bucket; + +/* random signature used only to find hash tables in external analysis */ +#define HASH_SIGNATURE 0xa0111fe1u +#define HASH_BLOOM_SIGNATURE 0xb12220f2u + +typedef struct UT_hash_table { + UT_hash_bucket *buckets; + unsigned num_buckets, log2_num_buckets; + unsigned num_items; + struct UT_hash_handle *tail; /* tail hh in app order, for fast append */ + ptrdiff_t hho; /* hash handle offset (byte pos of hash handle in element */ + + /* in an ideal situation (all buckets used equally), no bucket would have + * more than ceil(#items/#buckets) items. that's the ideal chain length. */ + unsigned ideal_chain_maxlen; + + /* nonideal_items is the number of items in the hash whose chain position + * exceeds the ideal chain maxlen. these items pay the penalty for an uneven + * hash distribution; reaching them in a chain traversal takes >ideal steps */ + unsigned nonideal_items; + + /* ineffective expands occur when a bucket doubling was performed, but + * afterward, more than half the items in the hash had nonideal chain + * positions. If this happens on two consecutive expansions we inhibit any + * further expansion, as it's not helping; this happens when the hash + * function isn't a good fit for the key domain. When expansion is inhibited + * the hash will still work, albeit no longer in constant time. */ + unsigned ineff_expands, noexpand; + + uint32_t signature; /* used only to find hash tables in external analysis */ +#ifdef HASH_BLOOM + uint32_t bloom_sig; /* used only to test bloom exists in external analysis */ + uint8_t *bloom_bv; + uint8_t bloom_nbits; +#endif + +} UT_hash_table; + +typedef struct UT_hash_handle { + struct UT_hash_table *tbl; + void *prev; /* prev element in app order */ + void *next; /* next element in app order */ + struct UT_hash_handle *hh_prev; /* previous hh in bucket order */ + struct UT_hash_handle *hh_next; /* next hh in bucket order */ + const void *key; /* ptr to enclosing struct's key */ + unsigned keylen; /* enclosing struct's key len */ + unsigned hashv; /* result of hash-fcn(key) */ +} UT_hash_handle; + +#endif /* UTHASH_H */