mbrtoc8.c revision 1.7 1 1.7 rillig /* $NetBSD: mbrtoc8.c,v 1.7 2024/08/18 19:46:53 rillig Exp $ */
2 1.1 riastrad
3 1.1 riastrad /*-
4 1.1 riastrad * Copyright (c) 2024 The NetBSD Foundation, Inc.
5 1.1 riastrad * All rights reserved.
6 1.1 riastrad *
7 1.1 riastrad * Redistribution and use in source and binary forms, with or without
8 1.1 riastrad * modification, are permitted provided that the following conditions
9 1.1 riastrad * are met:
10 1.1 riastrad * 1. Redistributions of source code must retain the above copyright
11 1.1 riastrad * notice, this list of conditions and the following disclaimer.
12 1.1 riastrad * 2. Redistributions in binary form must reproduce the above copyright
13 1.1 riastrad * notice, this list of conditions and the following disclaimer in the
14 1.1 riastrad * documentation and/or other materials provided with the distribution.
15 1.1 riastrad *
16 1.1 riastrad * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17 1.1 riastrad * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18 1.1 riastrad * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19 1.1 riastrad * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20 1.1 riastrad * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21 1.1 riastrad * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22 1.1 riastrad * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23 1.1 riastrad * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24 1.1 riastrad * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25 1.1 riastrad * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26 1.1 riastrad * POSSIBILITY OF SUCH DAMAGE.
27 1.1 riastrad */
28 1.1 riastrad
29 1.1 riastrad /*
30 1.5 riastrad * mbrtoc8(&c8, s, n, ps)
31 1.1 riastrad *
32 1.1 riastrad * Decode a Unicode scalar value from up to n bytes out of the
33 1.1 riastrad * multibyte string s, using multibyte encoding state ps, and
34 1.1 riastrad * store the next code unit in the UTF-8 representation of that
35 1.1 riastrad * scalar value at c8.
36 1.1 riastrad *
37 1.1 riastrad * If the UTF-8 representation of that scalar value is multiple
38 1.7 rillig * bytes long, mbrtoc8 will yield the leading byte in one call that
39 1.1 riastrad * consumes input, and will yield the trailing bytes in subsequent
40 1.1 riastrad * calls without consuming any input and returning (size_t)-3
41 1.1 riastrad * instead.
42 1.1 riastrad *
43 1.1 riastrad * Return the number of bytes consumed on success, or:
44 1.1 riastrad *
45 1.1 riastrad * - 0 if the code unit is NUL, or
46 1.1 riastrad * - (size_t)-3 if a trailing byte was returned without consuming
47 1.1 riastrad * any additional input, or
48 1.1 riastrad * - (size_t)-2 if the input is incomplete, or
49 1.1 riastrad * - (size_t)-1 on error with errno set to EILSEQ.
50 1.1 riastrad *
51 1.1 riastrad * In the case of incomplete input, the decoding state so far
52 1.1 riastrad * after processing s[0], s[1], ..., s[n - 1] is saved in ps, so
53 1.1 riastrad * subsequent calls to mbrtoc8 will pick up n bytes later into
54 1.1 riastrad * the input stream.
55 1.1 riastrad *
56 1.1 riastrad * References:
57 1.1 riastrad *
58 1.1 riastrad * The Unicode Standard, Version 15.0 -- Core Specification, The
59 1.1 riastrad * Unicode Consortium, Sec. 3.8 `Surrogates', p. 119.
60 1.1 riastrad * https://www.unicode.org/versions/Unicode15.0.0/UnicodeStandard-15.0.pdf#page=144
61 1.1 riastrad * https://web.archive.org/web/20240718101254/https://www.unicode.org/versions/Unicode15.0.0/UnicodeStandard-15.0.pdf#page=144
62 1.1 riastrad *
63 1.1 riastrad * The Unicode Standard, Version 15.0 -- Core Specification, The
64 1.7 rillig * Unicode Consortium, Sec. 3.9 `Unicode Encoding Forms': UTF-8,
65 1.1 riastrad * p. 124.
66 1.1 riastrad * https://www.unicode.org/versions/Unicode15.0.0/UnicodeStandard-15.0.pdf#page=150
67 1.1 riastrad * https://web.archive.org/web/20240718101254/https://www.unicode.org/versions/Unicode15.0.0/UnicodeStandard-15.0.pdf#page=150
68 1.1 riastrad *
69 1.1 riastrad * F. Yergeau, `UTF-8, a transformation format of ISO 10646',
70 1.1 riastrad * RFC 3629, Internet Engineering Task Force, November 2003.
71 1.1 riastrad * https://datatracker.ietf.org/doc/html/rfc3629
72 1.1 riastrad */
73 1.1 riastrad
74 1.1 riastrad #include <sys/cdefs.h>
75 1.7 rillig __RCSID("$NetBSD: mbrtoc8.c,v 1.7 2024/08/18 19:46:53 rillig Exp $");
76 1.2 riastrad
77 1.2 riastrad #include "namespace.h"
78 1.1 riastrad
79 1.1 riastrad #include <assert.h>
80 1.1 riastrad #include <errno.h>
81 1.4 riastrad #include <locale.h>
82 1.1 riastrad #include <stdalign.h>
83 1.1 riastrad #include <stddef.h>
84 1.1 riastrad #include <uchar.h>
85 1.1 riastrad
86 1.1 riastrad #include "mbrtoc32.h"
87 1.4 riastrad #include "setlocale_local.h"
88 1.1 riastrad
89 1.1 riastrad struct mbrtoc8state {
90 1.1 riastrad char8_t nleft;
91 1.1 riastrad char8_t buf[3];
92 1.1 riastrad mbstate_t mbs;
93 1.1 riastrad };
94 1.1 riastrad __CTASSERT(offsetof(struct mbrtoc8state, mbs) <= sizeof(mbstate_t));
95 1.1 riastrad __CTASSERT(sizeof(struct mbrtoc32state) <= sizeof(mbstate_t) -
96 1.1 riastrad offsetof(struct mbrtoc8state, mbs));
97 1.1 riastrad __CTASSERT(alignof(struct mbrtoc8state) <= alignof(mbstate_t));
98 1.1 riastrad
99 1.4 riastrad #ifdef __weak_alias
100 1.4 riastrad __weak_alias(mbrtoc8_l,_mbrtoc8_l)
101 1.4 riastrad #endif
102 1.4 riastrad
103 1.1 riastrad size_t
104 1.1 riastrad mbrtoc8(char8_t *restrict pc8, const char *restrict s, size_t n,
105 1.1 riastrad mbstate_t *restrict ps)
106 1.1 riastrad {
107 1.4 riastrad
108 1.4 riastrad return mbrtoc8_l(pc8, s, n, ps, _current_locale());
109 1.4 riastrad }
110 1.4 riastrad
111 1.4 riastrad size_t
112 1.4 riastrad mbrtoc8_l(char8_t *restrict pc8, const char *restrict s, size_t n,
113 1.4 riastrad mbstate_t *restrict ps, locale_t restrict loc)
114 1.4 riastrad {
115 1.1 riastrad static mbstate_t psbuf;
116 1.1 riastrad struct mbrtoc8state *S;
117 1.1 riastrad char32_t c32;
118 1.1 riastrad size_t len;
119 1.1 riastrad
120 1.1 riastrad /*
121 1.1 riastrad * `If ps is a null pointer, each function uses its own
122 1.1 riastrad * internal mbstate_t object instead, which is initialized at
123 1.1 riastrad * program startup to the initial conversion state; the
124 1.1 riastrad * functions are not required to avoid data races with other
125 1.1 riastrad * calls to the same function in this case. The
126 1.1 riastrad * implementation behaves as if no library function calls
127 1.1 riastrad * these functions with a null pointer for ps.'
128 1.1 riastrad */
129 1.1 riastrad if (ps == NULL)
130 1.1 riastrad ps = &psbuf;
131 1.1 riastrad
132 1.1 riastrad /*
133 1.1 riastrad * `If s is a null pointer, the mbrtoc8 function is equivalent
134 1.1 riastrad * to the call:
135 1.1 riastrad *
136 1.1 riastrad * mbrtoc8(NULL, "", 1, ps)
137 1.1 riastrad *
138 1.1 riastrad * In this case, the values of the parameters pc8 and n are
139 1.1 riastrad * ignored.'
140 1.1 riastrad */
141 1.1 riastrad if (s == NULL) {
142 1.1 riastrad pc8 = NULL;
143 1.1 riastrad s = "";
144 1.1 riastrad n = 1;
145 1.1 riastrad }
146 1.1 riastrad
147 1.1 riastrad /*
148 1.1 riastrad * Get the private conversion state.
149 1.1 riastrad */
150 1.3 christos S = (struct mbrtoc8state *)(void *)ps;
151 1.1 riastrad
152 1.1 riastrad /*
153 1.1 riastrad * If there are pending trailing bytes, yield them and return
154 1.1 riastrad * (size_t)-3 to indicate that no bytes of input were consumed.
155 1.1 riastrad */
156 1.1 riastrad if (S->nleft) {
157 1.1 riastrad if (pc8)
158 1.1 riastrad *pc8 = S->buf[sizeof(S->buf) - S->nleft];
159 1.1 riastrad S->buf[sizeof(S->buf) - S->nleft] = 0; /* paranoia */
160 1.1 riastrad S->nleft--;
161 1.1 riastrad return (size_t)-3;
162 1.1 riastrad }
163 1.1 riastrad
164 1.1 riastrad /*
165 1.1 riastrad * Consume the next scalar value. If no full scalar value can
166 1.1 riastrad * be obtained, stop here.
167 1.1 riastrad */
168 1.4 riastrad len = mbrtoc32_l(&c32, s, n, &S->mbs, loc);
169 1.1 riastrad switch (len) {
170 1.1 riastrad case 0: /* NUL */
171 1.1 riastrad if (pc8)
172 1.1 riastrad *pc8 = 0;
173 1.1 riastrad return 0;
174 1.1 riastrad case (size_t)-2: /* still incomplete after n bytes */
175 1.1 riastrad case (size_t)-1: /* error */
176 1.1 riastrad return len;
177 1.1 riastrad default: /* consumed len bytes of input */
178 1.1 riastrad break;
179 1.1 riastrad }
180 1.1 riastrad
181 1.1 riastrad /*
182 1.1 riastrad * We consumed a scalar value from the input.
183 1.1 riastrad *
184 1.1 riastrad * Encode it as UTF-8, yield the leading byte, and buffer the
185 1.1 riastrad * trailing bytes to yield later.
186 1.1 riastrad *
187 1.1 riastrad * Table 3-6: UTF-8 Bit Distribution
188 1.1 riastrad * Table 3-7: Well-Formed UTF-8 Byte Sequences
189 1.1 riastrad */
190 1.1 riastrad switch (c32) {
191 1.1 riastrad case 0x00 ... 0x7f:
192 1.1 riastrad if (pc8)
193 1.1 riastrad *pc8 = c32;
194 1.1 riastrad _DIAGASSERT(S->nleft == 0);
195 1.1 riastrad break;
196 1.1 riastrad case 0x0080 ... 0x07ff:
197 1.1 riastrad if (pc8)
198 1.6 rillig *pc8 = 0xc0 | __SHIFTOUT(c32, __BITS(10,6));
199 1.6 rillig S->buf[2] = 0x80 | __SHIFTOUT(c32, __BITS(5,0));
200 1.1 riastrad S->nleft = 1;
201 1.1 riastrad break;
202 1.1 riastrad case 0x0800 ... 0xffff:
203 1.1 riastrad if (pc8)
204 1.6 rillig *pc8 = 0xe0 | __SHIFTOUT(c32, __BITS(15,12));
205 1.6 rillig S->buf[1] = 0x80 | __SHIFTOUT(c32, __BITS(11,6));
206 1.6 rillig S->buf[2] = 0x80 | __SHIFTOUT(c32, __BITS(5,0));
207 1.1 riastrad S->nleft = 2;
208 1.1 riastrad break;
209 1.1 riastrad case 0x10000 ... 0x10ffff:
210 1.1 riastrad if (pc8)
211 1.6 rillig *pc8 = 0xf0 | __SHIFTOUT(c32, __BITS(20,18));
212 1.6 rillig S->buf[0] = 0x80 | __SHIFTOUT(c32, __BITS(17,12));
213 1.6 rillig S->buf[1] = 0x80 | __SHIFTOUT(c32, __BITS(11,6));
214 1.6 rillig S->buf[2] = 0x80 | __SHIFTOUT(c32, __BITS(5,0));
215 1.1 riastrad S->nleft = 3;
216 1.1 riastrad break;
217 1.1 riastrad default:
218 1.1 riastrad errno = EILSEQ;
219 1.1 riastrad return (size_t)-1;
220 1.1 riastrad }
221 1.1 riastrad
222 1.1 riastrad /*
223 1.1 riastrad * Return the number of bytes consumed from the input.
224 1.1 riastrad */
225 1.1 riastrad return len;
226 1.1 riastrad }
227