xref: /minix3/common/lib/libc/string/memset2.c (revision f14fb602092e015ff630df58e17c2a9cd57d29b3)
1b6cbf720SGianluca Guida /*-
2b6cbf720SGianluca Guida  * Copyright (c) 2009 The NetBSD Foundation, Inc.
3b6cbf720SGianluca Guida  * All rights reserved.
4b6cbf720SGianluca Guida  *
5b6cbf720SGianluca Guida  * This code is derived from software contributed to The NetBSD Foundation
6b6cbf720SGianluca Guida  * by Matt Thomas <matt@3am-software.com>.
7b6cbf720SGianluca Guida  *
8b6cbf720SGianluca Guida  * Redistribution and use in source and binary forms, with or without
9b6cbf720SGianluca Guida  * modification, are permitted provided that the following conditions
10b6cbf720SGianluca Guida  * are met:
11b6cbf720SGianluca Guida  * 1. Redistributions of source code must retain the above copyright
12b6cbf720SGianluca Guida  *    notice, this list of conditions and the following disclaimer.
13b6cbf720SGianluca Guida  * 2. Redistributions in binary form must reproduce the above copyright
14b6cbf720SGianluca Guida  *    notice, this list of conditions and the following disclaimer in the
15b6cbf720SGianluca Guida  *    documentation and/or other materials provided with the distribution.
16b6cbf720SGianluca Guida  *
17b6cbf720SGianluca Guida  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
18b6cbf720SGianluca Guida  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
19b6cbf720SGianluca Guida  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
20b6cbf720SGianluca Guida  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
21b6cbf720SGianluca Guida  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
22b6cbf720SGianluca Guida  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
23b6cbf720SGianluca Guida  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
24b6cbf720SGianluca Guida  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
25b6cbf720SGianluca Guida  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
26b6cbf720SGianluca Guida  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
27b6cbf720SGianluca Guida  * POSSIBILITY OF SUCH DAMAGE.
28b6cbf720SGianluca Guida  */
29b6cbf720SGianluca Guida 
30*f14fb602SLionel Sambuc #include <sys/cdefs.h>
31*f14fb602SLionel Sambuc #if defined(LIBC_SCCS) && !defined(lint)
32*f14fb602SLionel Sambuc __RCSID("$NetBSD: memset2.c,v 1.5 2012/03/02 16:22:27 apb Exp $");
33*f14fb602SLionel Sambuc #endif /* LIBC_SCCS and not lint */
34*f14fb602SLionel Sambuc 
35b6cbf720SGianluca Guida #include <sys/types.h>
36b6cbf720SGianluca Guida 
37b6cbf720SGianluca Guida #if !defined(_KERNEL) && !defined(_STANDALONE)
38b6cbf720SGianluca Guida #include <assert.h>
39b6cbf720SGianluca Guida #include <limits.h>
40b6cbf720SGianluca Guida #include <string.h>
41b6cbf720SGianluca Guida #include <inttypes.h>
42b6cbf720SGianluca Guida #else
43b6cbf720SGianluca Guida #include <lib/libkern/libkern.h>
44b6cbf720SGianluca Guida #include <machine/limits.h>
45b6cbf720SGianluca Guida #endif
46b6cbf720SGianluca Guida 
47b6cbf720SGianluca Guida #include <sys/endian.h>
48b6cbf720SGianluca Guida #include <machine/types.h>
49b6cbf720SGianluca Guida 
50b6cbf720SGianluca Guida #ifdef TEST
51b6cbf720SGianluca Guida #include <assert.h>
52b6cbf720SGianluca Guida #define _DIAGASSERT(a)		assert(a)
53b6cbf720SGianluca Guida #endif
54b6cbf720SGianluca Guida 
55b6cbf720SGianluca Guida #ifdef _FORTIFY_SOURCE
56b6cbf720SGianluca Guida #undef bzero
57b6cbf720SGianluca Guida #endif
58*f14fb602SLionel Sambuc #undef memset
59b6cbf720SGianluca Guida 
60b6cbf720SGianluca Guida /*
61b6cbf720SGianluca Guida  * Assume uregister_t is the widest non-synthetic unsigned type.
62b6cbf720SGianluca Guida  */
63b6cbf720SGianluca Guida typedef uregister_t memword_t;
64b6cbf720SGianluca Guida 
65*f14fb602SLionel Sambuc __CTASSERT((~(memword_t)0U >> 1) != ~(memword_t)0U);
66*f14fb602SLionel Sambuc 
67b6cbf720SGianluca Guida #ifdef BZERO
68b6cbf720SGianluca Guida static inline
69b6cbf720SGianluca Guida #define	memset memset0
70b6cbf720SGianluca Guida #endif
71b6cbf720SGianluca Guida 
72b6cbf720SGianluca Guida #ifdef TEST
73b6cbf720SGianluca Guida static
74b6cbf720SGianluca Guida #define memset test_memset
75b6cbf720SGianluca Guida #endif
76b6cbf720SGianluca Guida 
77b6cbf720SGianluca Guida void *
memset(void * addr,int c,size_t len)78b6cbf720SGianluca Guida memset(void *addr, int c, size_t len)
79b6cbf720SGianluca Guida {
80b6cbf720SGianluca Guida 	memword_t *dstp = addr;
81b6cbf720SGianluca Guida 	memword_t *edstp;
82b6cbf720SGianluca Guida 	memword_t fill;
83b6cbf720SGianluca Guida #ifndef __OPTIMIZE_SIZE__
84b6cbf720SGianluca Guida 	memword_t keep_mask = 0;
85b6cbf720SGianluca Guida #endif
86b6cbf720SGianluca Guida 	size_t fill_count;
87b6cbf720SGianluca Guida 
88b6cbf720SGianluca Guida 	_DIAGASSERT(addr != 0);
89b6cbf720SGianluca Guida 
90b6cbf720SGianluca Guida 	if (__predict_false(len == 0))
91b6cbf720SGianluca Guida 		return addr;
92b6cbf720SGianluca Guida 
93b6cbf720SGianluca Guida 	/*
94b6cbf720SGianluca Guida 	 * Pad out the fill byte (v) across a memword_t.
95b6cbf720SGianluca Guida 	 * The conditional at the end prevents GCC from complaing about
96b6cbf720SGianluca Guida 	 * shift count >= width of type
97b6cbf720SGianluca Guida 	 */
98b6cbf720SGianluca Guida 	fill = c;
99b6cbf720SGianluca Guida 	fill |= fill << 8;
100b6cbf720SGianluca Guida 	fill |= fill << 16;
101b6cbf720SGianluca Guida 	fill |= fill << (sizeof(c) < sizeof(fill) ? 32 : 0);
102b6cbf720SGianluca Guida 
103b6cbf720SGianluca Guida 	/*
104b6cbf720SGianluca Guida 	 * Get the number of unaligned bytes to fill in the first word.
105b6cbf720SGianluca Guida 	 */
106b6cbf720SGianluca Guida 	fill_count = -(uintptr_t)addr & (sizeof(memword_t) - 1);
107b6cbf720SGianluca Guida 
108b6cbf720SGianluca Guida 	if (__predict_false(fill_count != 0)) {
109b6cbf720SGianluca Guida #ifndef __OPTIMIZE_SIZE__
110b6cbf720SGianluca Guida 		/*
111b6cbf720SGianluca Guida 		 * We want to clear <fill_count> trailing bytes in the word.
112b6cbf720SGianluca Guida 		 * On big/little endian, these are the least/most significant,
113b6cbf720SGianluca Guida 		 * bits respectively.  So as we shift, the keep_mask will only
114b6cbf720SGianluca Guida 		 * have bits set for the bytes we won't be filling.
115b6cbf720SGianluca Guida 		 */
116b6cbf720SGianluca Guida #if BYTE_ORDER == BIG_ENDIAN
117b6cbf720SGianluca Guida 		keep_mask = ~(memword_t)0U << (fill_count * 8);
118b6cbf720SGianluca Guida #endif
119b6cbf720SGianluca Guida #if BYTE_ORDER == LITTLE_ENDIAN
120b6cbf720SGianluca Guida 		keep_mask = ~(memword_t)0U >> (fill_count * 8);
121b6cbf720SGianluca Guida #endif
122b6cbf720SGianluca Guida 		/*
123b6cbf720SGianluca Guida 		 * Make sure dstp is aligned to a memword_t boundary.
124b6cbf720SGianluca Guida 		 */
125b6cbf720SGianluca Guida 		dstp = (memword_t *)((uintptr_t)addr & -sizeof(memword_t));
126b6cbf720SGianluca Guida 		if (len >= fill_count) {
127b6cbf720SGianluca Guida 			/*
128b6cbf720SGianluca Guida 			 * If we can fill the rest of this word, then we mask
129b6cbf720SGianluca Guida 			 * off the bytes we are filling and then fill in those
130b6cbf720SGianluca Guida 			 * bytes with the new fill value.
131b6cbf720SGianluca Guida 			 */
132b6cbf720SGianluca Guida 			*dstp = (*dstp & keep_mask) | (fill & ~keep_mask);
133b6cbf720SGianluca Guida 			len -= fill_count;
134b6cbf720SGianluca Guida 			if (__predict_false(len == 0))
135b6cbf720SGianluca Guida 				return addr;
136b6cbf720SGianluca Guida 			/*
137b6cbf720SGianluca Guida 			 * Since we were able to fill the rest of this word,
138b6cbf720SGianluca Guida 			 * we will advance to the next word and thus have no
139b6cbf720SGianluca Guida 			 * bytes to preserve.
140b6cbf720SGianluca Guida 			 *
141b6cbf720SGianluca Guida 			 * If we don't have enough to fill the rest of this
142b6cbf720SGianluca Guida 			 * word, we will fall through the following loop
143b6cbf720SGianluca Guida 			 * (since there are no full words to fill).  Then we
144b6cbf720SGianluca Guida 			 * use the keep_mask above to preserve the leading
145b6cbf720SGianluca Guida 			 * bytes of word.
146b6cbf720SGianluca Guida 			 */
147b6cbf720SGianluca Guida 			dstp++;
148b6cbf720SGianluca Guida 			keep_mask = 0;
149b6cbf720SGianluca Guida 		} else {
150b6cbf720SGianluca Guida 			len += (uintptr_t)addr & (sizeof(memword_t) - 1);
151b6cbf720SGianluca Guida 		}
152b6cbf720SGianluca Guida #else /* __OPTIMIZE_SIZE__ */
153b6cbf720SGianluca Guida 		uint8_t *dp, *ep;
154b6cbf720SGianluca Guida 		if (len < fill_count)
155b6cbf720SGianluca Guida 			fill_count = len;
156b6cbf720SGianluca Guida 		for (dp = (uint8_t *)dstp, ep = dp + fill_count;
157b6cbf720SGianluca Guida 		     dp != ep; dp++)
158b6cbf720SGianluca Guida 			*dp = fill;
159b6cbf720SGianluca Guida 		if ((len -= fill_count) == 0)
160b6cbf720SGianluca Guida 			return addr;
161b6cbf720SGianluca Guida 		dstp = (memword_t *)ep;
162b6cbf720SGianluca Guida #endif /* __OPTIMIZE_SIZE__ */
163b6cbf720SGianluca Guida 	}
164b6cbf720SGianluca Guida 
165b6cbf720SGianluca Guida 	/*
166b6cbf720SGianluca Guida 	 * Simply fill memory one word at time (for as many full words we have
167b6cbf720SGianluca Guida 	 * to write).
168b6cbf720SGianluca Guida 	 */
169b6cbf720SGianluca Guida 	for (edstp = dstp + len / sizeof(memword_t); dstp != edstp; dstp++)
170b6cbf720SGianluca Guida 		*dstp = fill;
171b6cbf720SGianluca Guida 
172b6cbf720SGianluca Guida 	/*
173b6cbf720SGianluca Guida 	 * We didn't subtract out the full words we just filled since we know
174b6cbf720SGianluca Guida 	 * by the time we get here we will have less than a words worth to
175b6cbf720SGianluca Guida 	 * write.  So we can concern ourselves with only the subword len bits.
176b6cbf720SGianluca Guida 	 */
177b6cbf720SGianluca Guida 	len &= sizeof(memword_t)-1;
178b6cbf720SGianluca Guida 	if (len > 0) {
179b6cbf720SGianluca Guida #ifndef __OPTIMIZE_SIZE__
180b6cbf720SGianluca Guida 		/*
181b6cbf720SGianluca Guida 		 * We want to clear <len> leading bytes in the word.
182b6cbf720SGianluca Guida 		 * On big/little endian, these are the most/least significant
183b6cbf720SGianluca Guida 		 * bits, respectively,  But as we want the mask of the bytes to
184b6cbf720SGianluca Guida 		 * keep, we have to complement the mask.  So after we shift,
185b6cbf720SGianluca Guida 		 * the keep_mask will only have bits set for the bytes we won't
186b6cbf720SGianluca Guida 		 * be filling.
187b6cbf720SGianluca Guida 		 *
188b6cbf720SGianluca Guida 		 * But the keep_mask could already have bytes to preserve
189b6cbf720SGianluca Guida 		 * if the amount to fill was less than the amount of traiing
190b6cbf720SGianluca Guida 		 * space in the first word.
191b6cbf720SGianluca Guida 		 */
192b6cbf720SGianluca Guida #if BYTE_ORDER == BIG_ENDIAN
193b6cbf720SGianluca Guida 		keep_mask |= ~(memword_t)0U >> (len * 8);
194b6cbf720SGianluca Guida #endif
195b6cbf720SGianluca Guida #if BYTE_ORDER == LITTLE_ENDIAN
196b6cbf720SGianluca Guida 		keep_mask |= ~(memword_t)0U << (len * 8);
197b6cbf720SGianluca Guida #endif
198b6cbf720SGianluca Guida 		/*
199b6cbf720SGianluca Guida 		 * Now we mask off the bytes we are filling and then fill in
200b6cbf720SGianluca Guida 		 * those bytes with the new fill value.
201b6cbf720SGianluca Guida 		 */
202b6cbf720SGianluca Guida 		*dstp = (*dstp & keep_mask) | (fill & ~keep_mask);
203b6cbf720SGianluca Guida #else /* __OPTIMIZE_SIZE__ */
204b6cbf720SGianluca Guida 		uint8_t *dp, *ep;
205b6cbf720SGianluca Guida 		for (dp = (uint8_t *)dstp, ep = dp + len;
206b6cbf720SGianluca Guida 		     dp != ep; dp++)
207b6cbf720SGianluca Guida 			*dp = fill;
208b6cbf720SGianluca Guida #endif /* __OPTIMIZE_SIZE__ */
209b6cbf720SGianluca Guida 	}
210b6cbf720SGianluca Guida 
211b6cbf720SGianluca Guida 	/*
212b6cbf720SGianluca Guida 	 * Return the initial addr
213b6cbf720SGianluca Guida 	 */
214b6cbf720SGianluca Guida 	return addr;
215b6cbf720SGianluca Guida }
216b6cbf720SGianluca Guida 
217b6cbf720SGianluca Guida #ifdef BZERO
218b6cbf720SGianluca Guida /*
219b6cbf720SGianluca Guida  * For bzero, simply inline memset and let the compiler optimize things away.
220b6cbf720SGianluca Guida  */
221b6cbf720SGianluca Guida void
bzero(void * addr,size_t len)222b6cbf720SGianluca Guida bzero(void *addr, size_t len)
223b6cbf720SGianluca Guida {
224b6cbf720SGianluca Guida 	memset(addr, 0, len);
225b6cbf720SGianluca Guida }
226b6cbf720SGianluca Guida #endif
227b6cbf720SGianluca Guida 
228b6cbf720SGianluca Guida #ifdef TEST
229b6cbf720SGianluca Guida #include <stdbool.h>
230b6cbf720SGianluca Guida #include <stdio.h>
231b6cbf720SGianluca Guida 
232b6cbf720SGianluca Guida #undef memset
233b6cbf720SGianluca Guida 
234b6cbf720SGianluca Guida static union {
235b6cbf720SGianluca Guida 	uint8_t bytes[sizeof(memword_t) * 4];
236b6cbf720SGianluca Guida 	memword_t words[4];
237b6cbf720SGianluca Guida } testmem;
238b6cbf720SGianluca Guida 
239b6cbf720SGianluca Guida int
main(int argc,char ** argv)240b6cbf720SGianluca Guida main(int argc, char **argv)
241b6cbf720SGianluca Guida {
242b6cbf720SGianluca Guida 	size_t start;
243b6cbf720SGianluca Guida 	size_t len;
244b6cbf720SGianluca Guida 	bool failed = false;
245b6cbf720SGianluca Guida 
246b6cbf720SGianluca Guida 	for (start = 1; start < sizeof(testmem) - 1; start++) {
247b6cbf720SGianluca Guida 		for (len = 1; start + len < sizeof(testmem) - 1; len++) {
248b6cbf720SGianluca Guida 			bool ok = true;
249b6cbf720SGianluca Guida 			size_t i;
250b6cbf720SGianluca Guida 			uint8_t check_value;
251b6cbf720SGianluca Guida 			memset(testmem.bytes, 0xff, sizeof(testmem));
252b6cbf720SGianluca Guida 			test_memset(testmem.bytes + start, 0x00, len);
253b6cbf720SGianluca Guida 			for (i = 0; i < sizeof(testmem); i++) {
254b6cbf720SGianluca Guida 				if (i == 0 || i == start + len)
255b6cbf720SGianluca Guida 					check_value = 0xff;
256b6cbf720SGianluca Guida 				else if (i == start)
257b6cbf720SGianluca Guida 					check_value = 0x00;
258b6cbf720SGianluca Guida 				if (testmem.bytes[i] != check_value) {
259b6cbf720SGianluca Guida 					if (ok)
260b6cbf720SGianluca Guida 						printf("pass @ %zu .. %zu failed",
261b6cbf720SGianluca Guida 						    start, start + len - 1);
262b6cbf720SGianluca Guida 					ok = false;
263b6cbf720SGianluca Guida 					printf(" [%zu]=0x%02x(!0x%02x)",
264b6cbf720SGianluca Guida 					    i, testmem.bytes[i], check_value);
265b6cbf720SGianluca Guida 				}
266b6cbf720SGianluca Guida 			}
267b6cbf720SGianluca Guida 			if (!ok) {
268b6cbf720SGianluca Guida 				printf("\n");
269b6cbf720SGianluca Guida 				failed = 1;
270b6cbf720SGianluca Guida 			}
271b6cbf720SGianluca Guida 		}
272b6cbf720SGianluca Guida 	}
273b6cbf720SGianluca Guida 
274b6cbf720SGianluca Guida 	return failed ? 1 : 0;
275b6cbf720SGianluca Guida }
276b6cbf720SGianluca Guida #endif /* TEST */
277