xref: /freebsd/contrib/netbsd-tests/kernel/t_extent.c (revision 57718be8fa0bd5edc11ab9a72e68cc71982939a6)
1*57718be8SEnji Cooper /* $NetBSD: t_extent.c,v 1.4 2012/01/27 18:53:10 para Exp $ */
2*57718be8SEnji Cooper 
3*57718be8SEnji Cooper /*-
4*57718be8SEnji Cooper  * Copyright (c) 2008 The NetBSD Foundation, Inc.
5*57718be8SEnji Cooper  * All rights reserved.
6*57718be8SEnji Cooper  *
7*57718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
8*57718be8SEnji Cooper  * modification, are permitted provided that the following conditions
9*57718be8SEnji Cooper  * are met:
10*57718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
11*57718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
12*57718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
13*57718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
14*57718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
15*57718be8SEnji Cooper  *
16*57718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17*57718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18*57718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19*57718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20*57718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21*57718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22*57718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23*57718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24*57718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25*57718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26*57718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
27*57718be8SEnji Cooper  */
28*57718be8SEnji Cooper 
29*57718be8SEnji Cooper #include <sys/cdefs.h>
30*57718be8SEnji Cooper __COPYRIGHT("@(#) Copyright (c) 2008\
31*57718be8SEnji Cooper  The NetBSD Foundation, inc. All rights reserved.");
32*57718be8SEnji Cooper __RCSID("$NetBSD: t_extent.c,v 1.4 2012/01/27 18:53:10 para Exp $");
33*57718be8SEnji Cooper 
34*57718be8SEnji Cooper #include <sys/types.h>
35*57718be8SEnji Cooper #include <sys/queue.h>
36*57718be8SEnji Cooper #include <sys/extent.h>
37*57718be8SEnji Cooper 
38*57718be8SEnji Cooper #include <stdio.h>
39*57718be8SEnji Cooper #include <stdlib.h>
40*57718be8SEnji Cooper #include <string.h>
41*57718be8SEnji Cooper 
42*57718be8SEnji Cooper #include <atf-c.h>
43*57718be8SEnji Cooper 
44*57718be8SEnji Cooper #include "../h_macros.h"
45*57718be8SEnji Cooper 
46*57718be8SEnji Cooper static int ret;
47*57718be8SEnji Cooper static struct extent *ex;
48*57718be8SEnji Cooper 
49*57718be8SEnji Cooper #define h_create(name, start, end, flags) \
50*57718be8SEnji Cooper 	ATF_REQUIRE((ex = extent_create(name, \
51*57718be8SEnji Cooper 	    start, end, 0, 0, flags)) != NULL);
52*57718be8SEnji Cooper 
53*57718be8SEnji Cooper #define h_alloc_region(start, size) \
54*57718be8SEnji Cooper 	ATF_REQUIRE_EQ_MSG(ret = extent_alloc_region(ex, \
55*57718be8SEnji Cooper 	    start, size, 0), 0, "%s", strerror(ret));
56*57718be8SEnji Cooper 
57*57718be8SEnji Cooper #define h_free(start, size) \
58*57718be8SEnji Cooper 	ATF_REQUIRE_EQ_MSG(ret = extent_free(ex, \
59*57718be8SEnji Cooper 	    start, size, 0), 0, "%s", strerror(ret));
60*57718be8SEnji Cooper 
61*57718be8SEnji Cooper static void
62*57718be8SEnji Cooper h_alloc_subregion(u_long substart, u_long subend, u_long size,
63*57718be8SEnji Cooper     u_long alignment, u_long boundary, int expret, u_long expres)
64*57718be8SEnji Cooper {
65*57718be8SEnji Cooper 	u_long result;
66*57718be8SEnji Cooper 
67*57718be8SEnji Cooper #define FAIL(fmt, ...) \
68*57718be8SEnji Cooper 	atf_tc_fail("extent_alloc_subregion1(ex, %#lx, %#lx, %#lx, %#lx, 0, " \
69*57718be8SEnji Cooper 	    "%#lx, 0, &result): " fmt, substart, subend, size, alignment, \
70*57718be8SEnji Cooper 	    boundary, ##__VA_ARGS__)
71*57718be8SEnji Cooper 
72*57718be8SEnji Cooper 	ret = extent_alloc_subregion1(ex, substart, subend, size,
73*57718be8SEnji Cooper 	    alignment, 0, boundary, 0, &result);
74*57718be8SEnji Cooper 
75*57718be8SEnji Cooper 	if (ret != expret)
76*57718be8SEnji Cooper 		FAIL("%s", strerror(errno));
77*57718be8SEnji Cooper 
78*57718be8SEnji Cooper 	if (expret == 0 && result != expres)
79*57718be8SEnji Cooper 		FAIL("result should be: %#lx, got: %#lx", expres, result);
80*57718be8SEnji Cooper #undef FAIL
81*57718be8SEnji Cooper }
82*57718be8SEnji Cooper 
83*57718be8SEnji Cooper static void
84*57718be8SEnji Cooper h_require(const char *name, u_long start,
85*57718be8SEnji Cooper 	u_long end, int flags, const char *exp)
86*57718be8SEnji Cooper {
87*57718be8SEnji Cooper 	char buf[4096];
88*57718be8SEnji Cooper 	struct extent_region *rp;
89*57718be8SEnji Cooper 	int n = 0;
90*57718be8SEnji Cooper 
91*57718be8SEnji Cooper 	ATF_REQUIRE_STREQ_MSG(ex->ex_name, name,
92*57718be8SEnji Cooper 	    "expected: \"%s\", got: \"%s\"", name, ex->ex_name);
93*57718be8SEnji Cooper 	ATF_REQUIRE_EQ_MSG(ex->ex_start, start,
94*57718be8SEnji Cooper 	    "expected: %#lx, got: %#lx", start, ex->ex_start);
95*57718be8SEnji Cooper 	ATF_REQUIRE_EQ_MSG(ex->ex_end, end,
96*57718be8SEnji Cooper 	    "expected: %#lx, got: %#lx", end, ex->ex_end);
97*57718be8SEnji Cooper 	ATF_REQUIRE_EQ_MSG(ex->ex_flags, flags,
98*57718be8SEnji Cooper 	    "expected: %#x, got: %#x", flags, ex->ex_flags);
99*57718be8SEnji Cooper 
100*57718be8SEnji Cooper 	(void)memset(buf, 0, sizeof(buf));
101*57718be8SEnji Cooper 	LIST_FOREACH(rp, &ex->ex_regions, er_link)
102*57718be8SEnji Cooper 		n += snprintf(buf + n, sizeof(buf) - n,
103*57718be8SEnji Cooper 		    "0x%lx - 0x%lx\n", rp->er_start, rp->er_end);
104*57718be8SEnji Cooper 
105*57718be8SEnji Cooper 	if (strcmp(buf, exp) == 0)
106*57718be8SEnji Cooper 		return;
107*57718be8SEnji Cooper 
108*57718be8SEnji Cooper 	printf("Incorrect extent map\n");
109*57718be8SEnji Cooper 	printf("Expected:\n%s\n", exp);
110*57718be8SEnji Cooper 	printf("Got:\n%s\n", buf);
111*57718be8SEnji Cooper 	atf_tc_fail("incorrect extent map");
112*57718be8SEnji Cooper }
113*57718be8SEnji Cooper 
114*57718be8SEnji Cooper ATF_TC(coalesce);
115*57718be8SEnji Cooper ATF_TC_HEAD(coalesce, tc)
116*57718be8SEnji Cooper {
117*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Checks coalescing of regions");
118*57718be8SEnji Cooper }
119*57718be8SEnji Cooper ATF_TC_BODY(coalesce, tc)
120*57718be8SEnji Cooper {
121*57718be8SEnji Cooper 	h_create("test1", 0, 0x4f, 0);
122*57718be8SEnji Cooper 
123*57718be8SEnji Cooper 	h_alloc_region(0x00, 0x10);
124*57718be8SEnji Cooper 	h_alloc_region(0x20, 0x10);
125*57718be8SEnji Cooper 	h_alloc_region(0x40, 0x10);
126*57718be8SEnji Cooper 	h_alloc_region(0x10, 0x10);
127*57718be8SEnji Cooper 	h_alloc_subregion(0, 0x4f, 0x10, EX_NOALIGN, EX_NOBOUNDARY, 0, 0x30);
128*57718be8SEnji Cooper 
129*57718be8SEnji Cooper 	h_require("test1", 0x00, 0x4f, 0x00,
130*57718be8SEnji Cooper 	    "0x0 - 0x4f\n");
131*57718be8SEnji Cooper 
132*57718be8SEnji Cooper 	extent_destroy(ex);
133*57718be8SEnji Cooper }
134*57718be8SEnji Cooper 
135*57718be8SEnji Cooper ATF_TC(subregion1);
136*57718be8SEnji Cooper ATF_TC_HEAD(subregion1, tc)
137*57718be8SEnji Cooper {
138*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
139*57718be8SEnji Cooper 	    "Checks that subregions work (PR kern/7539)");
140*57718be8SEnji Cooper }
141*57718be8SEnji Cooper ATF_TC_BODY(subregion1, tc)
142*57718be8SEnji Cooper {
143*57718be8SEnji Cooper 	h_create("test2", 0, 0x2f, EX_NOCOALESCE);
144*57718be8SEnji Cooper 
145*57718be8SEnji Cooper 	h_alloc_region(0x00, 0x10);
146*57718be8SEnji Cooper 	h_alloc_subregion(0x20, 0x30, 0x10, EX_NOALIGN, EX_NOBOUNDARY, 0, 0x20);
147*57718be8SEnji Cooper 
148*57718be8SEnji Cooper 	h_require("test2", 0x00, 0x2f, 0x2,
149*57718be8SEnji Cooper 	    "0x0 - 0xf\n"
150*57718be8SEnji Cooper 	    "0x20 - 0x2f\n");
151*57718be8SEnji Cooper 
152*57718be8SEnji Cooper 	extent_destroy(ex);
153*57718be8SEnji Cooper }
154*57718be8SEnji Cooper 
155*57718be8SEnji Cooper ATF_TC(subregion2);
156*57718be8SEnji Cooper ATF_TC_HEAD(subregion2, tc)
157*57718be8SEnji Cooper {
158*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
159*57718be8SEnji Cooper 	    "Checks that subregion allocations don't overlap with existing "
160*57718be8SEnji Cooper 	    "ones (fixed in 1.25)");
161*57718be8SEnji Cooper }
162*57718be8SEnji Cooper ATF_TC_BODY(subregion2, tc)
163*57718be8SEnji Cooper {
164*57718be8SEnji Cooper 	h_create("test3", 0, 0x3f, EX_NOCOALESCE);
165*57718be8SEnji Cooper 
166*57718be8SEnji Cooper 	h_alloc_region(0x00, 0x20);
167*57718be8SEnji Cooper 	h_alloc_region(0x30, 0x10);
168*57718be8SEnji Cooper 	h_alloc_subregion(0x10, 0x3f, 0x10,
169*57718be8SEnji Cooper 	    EX_NOALIGN, EX_NOBOUNDARY, 0, 0x20);
170*57718be8SEnji Cooper 
171*57718be8SEnji Cooper 	h_require("test3", 0x00, 0x3f, 0x2,
172*57718be8SEnji Cooper 	    "0x0 - 0x1f\n"
173*57718be8SEnji Cooper 	    "0x20 - 0x2f\n"
174*57718be8SEnji Cooper 	    "0x30 - 0x3f\n");
175*57718be8SEnji Cooper 
176*57718be8SEnji Cooper 	extent_destroy(ex);
177*57718be8SEnji Cooper }
178*57718be8SEnji Cooper 
179*57718be8SEnji Cooper ATF_TC(bound1);
180*57718be8SEnji Cooper ATF_TC_HEAD(bound1, tc)
181*57718be8SEnji Cooper {
182*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
183*57718be8SEnji Cooper 	    "Checks for overflow in boundary check, before an allocated region "
184*57718be8SEnji Cooper 	    "(fixed in 1.32)");
185*57718be8SEnji Cooper }
186*57718be8SEnji Cooper ATF_TC_BODY(bound1, tc)
187*57718be8SEnji Cooper {
188*57718be8SEnji Cooper 	h_create("test4", 0xf0000000, 0xffffffff, 0);
189*57718be8SEnji Cooper 
190*57718be8SEnji Cooper 	h_alloc_region(0xf1000000, 0x1);
191*57718be8SEnji Cooper 	h_alloc_subregion(0xf0000000, 0xffffffff, 0x1,
192*57718be8SEnji Cooper 	    EX_NOALIGN, 0x20000000, 0, 0xf0000000);
193*57718be8SEnji Cooper 
194*57718be8SEnji Cooper 	h_require("test4", 0xf0000000, 0xffffffff, 0x0,
195*57718be8SEnji Cooper 	    "0xf0000000 - 0xf0000000\n"
196*57718be8SEnji Cooper 	    "0xf1000000 - 0xf1000000\n");
197*57718be8SEnji Cooper 
198*57718be8SEnji Cooper 	extent_destroy(ex);
199*57718be8SEnji Cooper }
200*57718be8SEnji Cooper 
201*57718be8SEnji Cooper ATF_TC(bound2);
202*57718be8SEnji Cooper ATF_TC_HEAD(bound2, tc)
203*57718be8SEnji Cooper {
204*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
205*57718be8SEnji Cooper 	    "Checks for overflow in boundary checks, before the subregion end "
206*57718be8SEnji Cooper 	    "(fixed in 1.32)");
207*57718be8SEnji Cooper }
208*57718be8SEnji Cooper ATF_TC_BODY(bound2, tc)
209*57718be8SEnji Cooper {
210*57718be8SEnji Cooper 	h_create("test5", 0xf0000000, 0xffffffff, 0);
211*57718be8SEnji Cooper 
212*57718be8SEnji Cooper 	h_alloc_subregion(0xf0000000, 0xffffffff, 0x1,
213*57718be8SEnji Cooper 	    EX_NOALIGN, 0x20000000, 0, 0xf0000000);
214*57718be8SEnji Cooper 
215*57718be8SEnji Cooper 	h_require("test5", 0xf0000000, 0xffffffff, 0x0,
216*57718be8SEnji Cooper 	    "0xf0000000 - 0xf0000000\n");
217*57718be8SEnji Cooper 
218*57718be8SEnji Cooper 	extent_destroy(ex);
219*57718be8SEnji Cooper }
220*57718be8SEnji Cooper 
221*57718be8SEnji Cooper ATF_TC(bound3);
222*57718be8SEnji Cooper ATF_TC_HEAD(bound3, tc)
223*57718be8SEnji Cooper {
224*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
225*57718be8SEnji Cooper 	    "Checks allocation beyond last boundary line: last two "
226*57718be8SEnji Cooper 	    "allocations should succeed without boundary \"fixups\"");
227*57718be8SEnji Cooper }
228*57718be8SEnji Cooper ATF_TC_BODY(bound3, tc)
229*57718be8SEnji Cooper {
230*57718be8SEnji Cooper 	h_create("test6", 0, 11, 0);
231*57718be8SEnji Cooper 
232*57718be8SEnji Cooper 	h_alloc_subregion(0, 11, 8, EX_NOALIGN, 8, 0, 0);
233*57718be8SEnji Cooper 	h_alloc_subregion(0, 11, 2, EX_NOALIGN, 8, 0, 0x8);
234*57718be8SEnji Cooper 	h_alloc_subregion(0, 11, 2, EX_NOALIGN, 8, 0, 0xa);
235*57718be8SEnji Cooper 
236*57718be8SEnji Cooper 	h_require("test6", 0x0, 0xb, 0x0, "0x0 - 0xb\n");
237*57718be8SEnji Cooper 
238*57718be8SEnji Cooper 	extent_destroy(ex);
239*57718be8SEnji Cooper }
240*57718be8SEnji Cooper 
241*57718be8SEnji Cooper ATF_TC(bound4);
242*57718be8SEnji Cooper ATF_TC_HEAD(bound4, tc)
243*57718be8SEnji Cooper {
244*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
245*57718be8SEnji Cooper 	    "Checks allocation beyond last boundary line: last allocation "
246*57718be8SEnji Cooper 	    "should be bumped to the next boundary and exactly fit the "
247*57718be8SEnji Cooper 	    "remaining space");
248*57718be8SEnji Cooper }
249*57718be8SEnji Cooper ATF_TC_BODY(bound4, tc)
250*57718be8SEnji Cooper {
251*57718be8SEnji Cooper 	h_create("test7", 0, 11, 0);
252*57718be8SEnji Cooper 
253*57718be8SEnji Cooper 	h_alloc_subregion(0, 11, 7, EX_NOALIGN, 8, 0, 0);
254*57718be8SEnji Cooper 	h_alloc_subregion(0, 11, 4, EX_NOALIGN, 8, 0, 8);
255*57718be8SEnji Cooper 
256*57718be8SEnji Cooper 	h_require("test7", 0x0, 0xb, 0x0,
257*57718be8SEnji Cooper 	    "0x0 - 0x6\n"
258*57718be8SEnji Cooper 	    "0x8 - 0xb\n");
259*57718be8SEnji Cooper 
260*57718be8SEnji Cooper 	extent_destroy(ex);
261*57718be8SEnji Cooper }
262*57718be8SEnji Cooper 
263*57718be8SEnji Cooper ATF_TC(subregion3);
264*57718be8SEnji Cooper ATF_TC_HEAD(subregion3, tc)
265*57718be8SEnji Cooper {
266*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
267*57718be8SEnji Cooper 	    "Checks that we don't allocate a region pasts the end of "
268*57718be8SEnji Cooper 	    "subregion (i.e., the second alloc_subregion should fail). "
269*57718be8SEnji Cooper 	    "subr_extent.c prior to rev. 1.43 allocated region starting "
270*57718be8SEnji Cooper 	    "from 0x10");
271*57718be8SEnji Cooper }
272*57718be8SEnji Cooper ATF_TC_BODY(subregion3, tc)
273*57718be8SEnji Cooper {
274*57718be8SEnji Cooper 	h_create("test8", 0, 0x4f, EX_NOCOALESCE);
275*57718be8SEnji Cooper 
276*57718be8SEnji Cooper 	h_alloc_region(0x30, 0x10);
277*57718be8SEnji Cooper 	h_alloc_subregion(0, 0xf, 0x10, EX_NOALIGN, EX_NOBOUNDARY, 0, 0);
278*57718be8SEnji Cooper 	h_alloc_subregion(0, 0xf, 0x10, EX_NOALIGN, EX_NOBOUNDARY, EAGAIN, 0);
279*57718be8SEnji Cooper 
280*57718be8SEnji Cooper 	h_require("test8", 0x0, 0x4f, 0x2,
281*57718be8SEnji Cooper 	    "0x0 - 0xf\n"
282*57718be8SEnji Cooper 	    "0x30 - 0x3f\n");
283*57718be8SEnji Cooper 
284*57718be8SEnji Cooper 	extent_destroy(ex);
285*57718be8SEnji Cooper }
286*57718be8SEnji Cooper 
287*57718be8SEnji Cooper ATF_TC(bound5);
288*57718be8SEnji Cooper ATF_TC_HEAD(bound5, tc)
289*57718be8SEnji Cooper {
290*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
291*57718be8SEnji Cooper 	    "When allocating a region with a boundary constraint, checks "
292*57718be8SEnji Cooper 	    "proper detection of overflaps once the candidate region has "
293*57718be8SEnji Cooper 	    "been aligned. subr_extent.c prior 1.45 could corrupt the extent "
294*57718be8SEnji Cooper 	    "map in this situation");
295*57718be8SEnji Cooper }
296*57718be8SEnji Cooper ATF_TC_BODY(bound5, tc)
297*57718be8SEnji Cooper {
298*57718be8SEnji Cooper 	h_create("test9", 0, 0x4f, 0);
299*57718be8SEnji Cooper 
300*57718be8SEnji Cooper 	h_alloc_subregion(0, 0x10, 4, EX_NOALIGN, 0, 0, 0);
301*57718be8SEnji Cooper 	h_alloc_subregion(0xd, 0x20, 2, EX_NOALIGN, 0, 0, 0xd);
302*57718be8SEnji Cooper 	h_alloc_subregion(0, 0x4f, 8, EX_NOALIGN, 8, 0, 0x10);
303*57718be8SEnji Cooper 
304*57718be8SEnji Cooper 	h_require("test9", 0x0, 0x4f, 0x0,
305*57718be8SEnji Cooper 	    "0x0 - 0x3\n"
306*57718be8SEnji Cooper 	    "0xd - 0xe\n"
307*57718be8SEnji Cooper 	    "0x10 - 0x17\n");
308*57718be8SEnji Cooper 
309*57718be8SEnji Cooper 	extent_destroy(ex);
310*57718be8SEnji Cooper }
311*57718be8SEnji Cooper 
312*57718be8SEnji Cooper ATF_TC(free);
313*57718be8SEnji Cooper ATF_TC_HEAD(free, tc)
314*57718be8SEnji Cooper {
315*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Checks extent_free()");
316*57718be8SEnji Cooper }
317*57718be8SEnji Cooper ATF_TC_BODY(free, tc)
318*57718be8SEnji Cooper {
319*57718be8SEnji Cooper 	h_create("test10", 0xc0002000, 0xffffe000, EX_BOUNDZERO);
320*57718be8SEnji Cooper 
321*57718be8SEnji Cooper 	h_alloc_subregion(0xc0002000, 0xffffe000, 0x2000,
322*57718be8SEnji Cooper 	    0x10000, 0x10000, 0, 0xc0010000);
323*57718be8SEnji Cooper 	h_alloc_subregion(0xc0002000, 0xffffe000, 0x2000,
324*57718be8SEnji Cooper 	    0x10000, 0x10000, 0, 0xc0020000);
325*57718be8SEnji Cooper 
326*57718be8SEnji Cooper 	h_require("test10", 0xc0002000, 0xffffe000, 0x0,
327*57718be8SEnji Cooper 	    "0xc0010000 - 0xc0011fff\n"
328*57718be8SEnji Cooper 	    "0xc0020000 - 0xc0021fff\n");
329*57718be8SEnji Cooper 
330*57718be8SEnji Cooper 	h_free(0xc0020000, 0x2000);
331*57718be8SEnji Cooper 	h_require("test10", 0xc0002000, 0xffffe000, 0x0,
332*57718be8SEnji Cooper 	    "0xc0010000 - 0xc0011fff\n");
333*57718be8SEnji Cooper 
334*57718be8SEnji Cooper 	h_alloc_subregion(0xc0002000, 0xffffe000, 0x10000,
335*57718be8SEnji Cooper 	    0x10000, 0x10000, 0, 0xc0022000);
336*57718be8SEnji Cooper 
337*57718be8SEnji Cooper 	h_require("test10", 0xc0002000, 0xffffe000, 0x0,
338*57718be8SEnji Cooper 	    "0xc0010000 - 0xc0011fff\n"
339*57718be8SEnji Cooper 	    "0xc0022000 - 0xc0031fff\n");
340*57718be8SEnji Cooper 
341*57718be8SEnji Cooper 	extent_destroy(ex);
342*57718be8SEnji Cooper }
343*57718be8SEnji Cooper 
344*57718be8SEnji Cooper ATF_TC(subregion4);
345*57718be8SEnji Cooper ATF_TC_HEAD(subregion4, tc)
346*57718be8SEnji Cooper {
347*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
348*57718be8SEnji Cooper 	    "Checks for off-by-one bug which would cause a region at the end "
349*57718be8SEnji Cooper 	    "of the extent to be allocated multiple times (fixed in 1.51)");
350*57718be8SEnji Cooper }
351*57718be8SEnji Cooper ATF_TC_BODY(subregion4, tc)
352*57718be8SEnji Cooper {
353*57718be8SEnji Cooper 	h_create("test11", 0x10, 0x20, EX_NOCOALESCE);
354*57718be8SEnji Cooper 
355*57718be8SEnji Cooper 	h_alloc_subregion(0x10, 0x13, 0x4, EX_NOALIGN, EX_NOBOUNDARY, 0, 0x10);
356*57718be8SEnji Cooper 	h_alloc_subregion(0x1e, 0x1f, 0x2, EX_NOALIGN, EX_NOBOUNDARY, 0, 0x1e);
357*57718be8SEnji Cooper 	h_alloc_subregion(0x20, 0x20, 0x1, EX_NOALIGN, EX_NOBOUNDARY, 0, 0x20);
358*57718be8SEnji Cooper 	h_alloc_subregion(0x20, 0x20, 0x1, EX_NOALIGN, EX_NOBOUNDARY, EAGAIN, 0);
359*57718be8SEnji Cooper 	h_alloc_subregion(0x10, 0x20, 0x1, EX_NOALIGN, EX_NOBOUNDARY, 0, 0x14);
360*57718be8SEnji Cooper 
361*57718be8SEnji Cooper 	h_require("test11", 0x10, 0x20, 0x2,
362*57718be8SEnji Cooper 	    "0x10 - 0x13\n"
363*57718be8SEnji Cooper 	    "0x14 - 0x14\n"
364*57718be8SEnji Cooper 	    "0x1e - 0x1f\n"
365*57718be8SEnji Cooper 	    "0x20 - 0x20\n");
366*57718be8SEnji Cooper 
367*57718be8SEnji Cooper 	extent_destroy(ex);
368*57718be8SEnji Cooper }
369*57718be8SEnji Cooper 
370*57718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
371*57718be8SEnji Cooper {
372*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, coalesce);
373*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, subregion1);
374*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, subregion2);
375*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, bound1);
376*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, bound2);
377*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, bound3);
378*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, bound4);
379*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, subregion3);
380*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, bound5);
381*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, free);
382*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, subregion4);
383*57718be8SEnji Cooper 
384*57718be8SEnji Cooper 	return atf_no_error();
385*57718be8SEnji Cooper }
386