1 // SPDX-License-Identifier: GPL-2.0+
4  * Copyright (c) 2016-2018 Microsoft Corporation
26 } while (0)
35 	for (i = 0; i < 10000; i++)  in ida_check_alloc()
40 	for (i = 0; i < 3; i++) {  in ida_check_alloc()
42 		IDA_BUG_ON(ida, id < 0);  in ida_check_alloc()
47 	for (i = 0; i < 5000; i++)  in ida_check_alloc()
68 	/* Destroy an already-empty IDA */  in ida_check_destroy()
73 	ida_check_destroy_1(ida, 0);  in ida_check_destroy()
75 	ida_check_destroy_1(ida, 1023);  in ida_check_destroy()
88 	for (i = 0; i < IDA_BITMAP_BITS; i++) {  in ida_check_leaf()
96 	IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != 0);  in ida_check_leaf()
98 	ida_free(ida, 0);  in ida_check_leaf()
103  * Check allocations up to and slightly above the maximum allowed (2^31-1) ID.
104  * Allocating up to 2^31-1 should succeed, and then allocating the next one
112 		unsigned long base = (1UL << 31) - j;  in ida_check_max()
113 		for (i = 0; i < j; i++) {  in ida_check_max()
118 				-ENOSPC);  in ida_check_max()
131 	for (i = 0; i < IDA_BITMAP_BITS * 2; i += IDA_BITMAP_BITS) {  in ida_check_conv()
140 	for (i = 0; i < IDA_BITMAP_BITS * 2; i++)  in ida_check_conv()
142 	for (i = IDA_BITMAP_BITS * 2; i > 0; i--)  in ida_check_conv()
143 		ida_free(ida, i - 1);  in ida_check_conv()
146 	for (i = 0; i < IDA_BITMAP_BITS + BITS_PER_LONG - 4; i++)  in ida_check_conv()
148 	for (i = IDA_BITMAP_BITS + BITS_PER_LONG - 4; i > 0; i--)  in ida_check_conv()
149 		ida_free(ida, i - 1);  in ida_check_conv()
162 	ida_free(ida, 0);  in ida_check_bad_free()
163 	for (i = 0; i < 31; i++)  in ida_check_bad_free()
168 	ida_free(ida, 0);  in ida_check_bad_free()
169 	for (i = 0; i < 31; i++)  in ida_check_bad_free()
173 	IDA_BUG_ON(ida, ida_alloc_min(ida, 1023, GFP_KERNEL) != 1023);  in ida_check_bad_free()
174 	ida_free(ida, 0);  in ida_check_bad_free()
175 	for (i = 0; i < 31; i++)  in ida_check_bad_free()
179 	IDA_BUG_ON(ida, ida_alloc_min(ida, (1 << 20) - 1, GFP_KERNEL) != (1 << 20) - 1);  in ida_check_bad_free()
180 	ida_free(ida, 0);  in ida_check_bad_free()
181 	for (i = 0; i < 31; i++)  in ida_check_bad_free()
186 	ida_free(ida, 1023);  in ida_check_bad_free()
187 	ida_free(ida, (1 << 20) - 1);  in ida_check_bad_free()
198 	IDA_BUG_ON(ida, ida_exists(ida, 0));  in ida_check_find_first()
201 	IDA_BUG_ON(ida, ida_exists(ida, 1023));  in ida_check_find_first()
202 	IDA_BUG_ON(ida, ida_exists(ida, (1 << 20) - 1));  in ida_check_find_first()
206 	IDA_BUG_ON(ida, ida_exists(ida, 0));  in ida_check_find_first()
209 	IDA_BUG_ON(ida, ida_exists(ida, 1023));  in ida_check_find_first()
210 	IDA_BUG_ON(ida, ida_exists(ida, (1 << 20) - 1));  in ida_check_find_first()
213 	IDA_BUG_ON(ida, ida_exists(ida, 0));  in ida_check_find_first()
216 	IDA_BUG_ON(ida, ida_exists(ida, 1023));  in ida_check_find_first()
217 	IDA_BUG_ON(ida, ida_exists(ida, (1 << 20) - 1));  in ida_check_find_first()
220 	IDA_BUG_ON(ida, ida_alloc_min(ida, 1023, GFP_KERNEL) != 1023);  in ida_check_find_first()
221 	IDA_BUG_ON(ida, ida_exists(ida, 0));  in ida_check_find_first()
224 	IDA_BUG_ON(ida, !ida_exists(ida, 1023));  in ida_check_find_first()
225 	IDA_BUG_ON(ida, ida_exists(ida, (1 << 20) - 1));  in ida_check_find_first()
228 	IDA_BUG_ON(ida, ida_alloc_min(ida, (1 << 20) - 1, GFP_KERNEL) != (1 << 20) - 1);  in ida_check_find_first()
229 	IDA_BUG_ON(ida, ida_exists(ida, 0));  in ida_check_find_first()
232 	IDA_BUG_ON(ida, !ida_exists(ida, 1023));  in ida_check_find_first()
233 	IDA_BUG_ON(ida, !ida_exists(ida, (1 << 20) - 1));  in ida_check_find_first()
237 	IDA_BUG_ON(ida, ida_find_first_range(ida, -1, 2) != -EINVAL);  in ida_check_find_first()
238 	IDA_BUG_ON(ida, ida_find_first_range(ida, 0, 2) != -ENOENT); // no used ID  in ida_check_find_first()
239 	IDA_BUG_ON(ida, ida_find_first_range(ida, 0, 3) != 3);  in ida_check_find_first()
243 	IDA_BUG_ON(ida, ida_find_first_range(ida, 4, 3) != -ENOENT); // min > max, fail  in ida_check_find_first()
244 	IDA_BUG_ON(ida, ida_find_first_range(ida, 4, 60) != -ENOENT); // no used ID  in ida_check_find_first()
247 	IDA_BUG_ON(ida, ida_find_first_range(ida, 64, 1026) != 1023);  in ida_check_find_first()
248 	IDA_BUG_ON(ida, ida_find_first_range(ida, 1023, 1023) != 1023);  in ida_check_find_first()
249 	IDA_BUG_ON(ida, ida_find_first_range(ida, 1023, (1 << 20) - 1) != 1023);  in ida_check_find_first()
250 	IDA_BUG_ON(ida, ida_find_first_range(ida, 1024, (1 << 20) - 1) != (1 << 20) - 1);  in ida_check_find_first()
251 	IDA_BUG_ON(ida, ida_find_first_range(ida, (1 << 20), INT_MAX) != -ENOENT);  in ida_check_find_first()
255 	ida_free(ida, 1023);  in ida_check_find_first()
256 	ida_free(ida, (1 << 20) - 1);  in ida_check_find_first()
268 	ida_check_leaf(&ida, 0);  in ida_checks()
277 	return (tests_run != tests_passed) ? 0 : -EINVAL;  in ida_checks()