xref: /freebsd-src/contrib/netbsd-tests/lib/libc/stdlib/t_posix_memalign.c (revision c22165b4f1f5d38b681921797a44b3ba8c13b7e0)
1640235e2SEnji Cooper /*	$NetBSD: t_posix_memalign.c,v 1.4 2015/11/07 17:35:31 nros Exp $ */
257718be8SEnji Cooper 
357718be8SEnji Cooper /*-
457718be8SEnji Cooper  * Copyright (c) 2008 The NetBSD Foundation, Inc.
557718be8SEnji Cooper  * All rights reserved.
657718be8SEnji Cooper  *
757718be8SEnji Cooper  * This code is derived from software contributed to The NetBSD Foundation
857718be8SEnji Cooper  * by Christos Zoulas.
957718be8SEnji Cooper  *
1057718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
1157718be8SEnji Cooper  * modification, are permitted provided that the following conditions
1257718be8SEnji Cooper  * are met:
1357718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
1457718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
1557718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
1657718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
1757718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
1857718be8SEnji Cooper  *
1957718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
2057718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
2157718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
2257718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
2357718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
2457718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
2557718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
2657718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
2757718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
2857718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
2957718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
3057718be8SEnji Cooper  */
3157718be8SEnji Cooper 
3257718be8SEnji Cooper #include <sys/cdefs.h>
3357718be8SEnji Cooper __COPYRIGHT("@(#) Copyright (c) 2008\
3457718be8SEnji Cooper  The NetBSD Foundation, inc. All rights reserved.");
35640235e2SEnji Cooper __RCSID("$NetBSD: t_posix_memalign.c,v 1.4 2015/11/07 17:35:31 nros Exp $");
3657718be8SEnji Cooper 
3757718be8SEnji Cooper #include <atf-c.h>
3857718be8SEnji Cooper 
3957718be8SEnji Cooper #include <errno.h>
40640235e2SEnji Cooper #include <stdbool.h>
4157718be8SEnji Cooper #include <stdint.h>
4257718be8SEnji Cooper #include <stdio.h>
4357718be8SEnji Cooper #include <stdlib.h>
4457718be8SEnji Cooper #include <string.h>
4557718be8SEnji Cooper 
4657718be8SEnji Cooper ATF_TC(posix_memalign_basic);
ATF_TC_HEAD(posix_memalign_basic,tc)4757718be8SEnji Cooper ATF_TC_HEAD(posix_memalign_basic, tc)
4857718be8SEnji Cooper {
4957718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Checks posix_memalign(3)");
5057718be8SEnji Cooper }
ATF_TC_BODY(posix_memalign_basic,tc)5157718be8SEnji Cooper ATF_TC_BODY(posix_memalign_basic, tc)
5257718be8SEnji Cooper {
53640235e2SEnji Cooper 	static const size_t size[] = {
5457718be8SEnji Cooper 		1, 2, 3, 4, 10, 100, 16384, 32768, 65536
5557718be8SEnji Cooper 	};
56640235e2SEnji Cooper 	static const size_t align[] = {
5757718be8SEnji Cooper 		512, 1024, 16, 32, 64, 4, 2048, 16, 2
5857718be8SEnji Cooper 	};
5957718be8SEnji Cooper 
6057718be8SEnji Cooper 	size_t i;
6157718be8SEnji Cooper 	void *p;
6257718be8SEnji Cooper 
6357718be8SEnji Cooper 	for (i = 0; i < __arraycount(size); i++) {
6457718be8SEnji Cooper 		int ret;
6557718be8SEnji Cooper 		p = (void*)0x1;
6657718be8SEnji Cooper 
67640235e2SEnji Cooper 		(void)printf("Checking posix_memalign(&p, %zu, %zu)...\n",
6857718be8SEnji Cooper 			align[i], size[i]);
6957718be8SEnji Cooper 		ret = posix_memalign(&p, align[i], size[i]);
7057718be8SEnji Cooper 
7157718be8SEnji Cooper 		if ( align[i] < sizeof(void *))
7257718be8SEnji Cooper 			ATF_REQUIRE_EQ_MSG(ret, EINVAL,
7357718be8SEnji Cooper 			    "posix_memalign: %s", strerror(ret));
7457718be8SEnji Cooper 		else {
7557718be8SEnji Cooper 			ATF_REQUIRE_EQ_MSG(ret, 0,
7657718be8SEnji Cooper 			    "posix_memalign: %s", strerror(ret));
7757718be8SEnji Cooper 			ATF_REQUIRE_EQ_MSG(((intptr_t)p) & (align[i] - 1), 0,
7857718be8SEnji Cooper 			    "p = %p", p);
7957718be8SEnji Cooper 			free(p);
8057718be8SEnji Cooper 		}
8157718be8SEnji Cooper 	}
8257718be8SEnji Cooper }
8357718be8SEnji Cooper 
84640235e2SEnji Cooper 
85640235e2SEnji Cooper ATF_TC(aligned_alloc_basic);
ATF_TC_HEAD(aligned_alloc_basic,tc)86640235e2SEnji Cooper ATF_TC_HEAD(aligned_alloc_basic, tc)
87640235e2SEnji Cooper {
88640235e2SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Checks aligned_alloc(3)");
89640235e2SEnji Cooper }
ATF_TC_BODY(aligned_alloc_basic,tc)90640235e2SEnji Cooper ATF_TC_BODY(aligned_alloc_basic, tc)
91640235e2SEnji Cooper {
92640235e2SEnji Cooper 	static const size_t size[] = {
93640235e2SEnji Cooper 		1, 2, 3, 4, 10, 100, 16384, 32768, 65536, 10000, 0
94640235e2SEnji Cooper 	};
95640235e2SEnji Cooper 	static const size_t align[] = {
96640235e2SEnji Cooper 		512, 1024, 16, 32, 64, 4, 2048, 16, 2, 2048, 0
97640235e2SEnji Cooper 	};
98640235e2SEnji Cooper 
99640235e2SEnji Cooper 	size_t i;
100640235e2SEnji Cooper 	void *p;
101640235e2SEnji Cooper 
102640235e2SEnji Cooper 	for (i = 0; i < __arraycount(size); i++) {
103640235e2SEnji Cooper 		(void)printf("Checking aligned_alloc(%zu, %zu)...\n",
104640235e2SEnji Cooper 		    align[i], size[i]);
105640235e2SEnji Cooper 		p = aligned_alloc(align[i], size[i]);
106640235e2SEnji Cooper                 if (p == NULL) {
107640235e2SEnji Cooper 			if (align[i] == 0 || ((align[i] - 1) & align[i]) != 0 ||
108640235e2SEnji Cooper 			    size[i] % align[i] != 0) {
109640235e2SEnji Cooper 				ATF_REQUIRE_EQ_MSG(errno, EINVAL,
110640235e2SEnji Cooper 				    "aligned_alloc: %s", strerror(errno));
111640235e2SEnji Cooper 			}
112640235e2SEnji Cooper 			else {
113640235e2SEnji Cooper 				ATF_REQUIRE_EQ_MSG(errno, ENOMEM,
114640235e2SEnji Cooper 				    "aligned_alloc: %s", strerror(errno));
115640235e2SEnji Cooper 			}
116640235e2SEnji Cooper                 }
117640235e2SEnji Cooper 		else {
118640235e2SEnji Cooper 			ATF_REQUIRE_EQ_MSG(align[i] == 0, false,
119640235e2SEnji Cooper 			    "aligned_alloc: success when alignment was not "
120640235e2SEnji Cooper 			    "a power of 2");
121640235e2SEnji Cooper 			ATF_REQUIRE_EQ_MSG((align[i] - 1) & align[i], 0,
122640235e2SEnji Cooper 			    "aligned_alloc: success when alignment was not "
123640235e2SEnji Cooper 			    "a power of 2");
124*1ffd722aSEnji Cooper #ifdef __NetBSD__
125*1ffd722aSEnji Cooper 			/*
126*1ffd722aSEnji Cooper 			 * NetBSD-specific invariant
127*1ffd722aSEnji Cooper 			 *
128*1ffd722aSEnji Cooper 			 * From aligned_alloc(3) on FreeBSD:
129*1ffd722aSEnji Cooper 			 *
130*1ffd722aSEnji Cooper 			 * Behavior is undefined if size is not an integral
131*1ffd722aSEnji Cooper 			 * multiple of alignment.
132*1ffd722aSEnji Cooper 			 */
133640235e2SEnji Cooper 			ATF_REQUIRE_EQ_MSG(size[i] % align[i], 0,
134640235e2SEnji Cooper 			    "aligned_alloc: success when size was not an "
135640235e2SEnji Cooper 			    "integer multiple of alignment");
136*1ffd722aSEnji Cooper #endif
137640235e2SEnji Cooper 			ATF_REQUIRE_EQ_MSG(((intptr_t)p) & (align[i] - 1), 0,
138640235e2SEnji Cooper 			    "p = %p", p);
139640235e2SEnji Cooper 			free(p);
140640235e2SEnji Cooper 		}
141640235e2SEnji Cooper 	}
142640235e2SEnji Cooper }
143640235e2SEnji Cooper 
144640235e2SEnji Cooper 
ATF_TP_ADD_TCS(tp)14557718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
14657718be8SEnji Cooper {
14757718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, posix_memalign_basic);
148640235e2SEnji Cooper         ATF_TP_ADD_TC(tp, aligned_alloc_basic);
14957718be8SEnji Cooper 
15057718be8SEnji Cooper 	return atf_no_error();
15157718be8SEnji Cooper }
152