annotate llvm/lib/Support/ConvertUTF.cpp @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 /*===--- ConvertUTF.c - Universal Character Names conversions ---------------===
anatofuz
parents:
diff changeset
2 *
anatofuz
parents:
diff changeset
3 * Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 * See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 *
anatofuz
parents:
diff changeset
7 *===------------------------------------------------------------------------=*/
anatofuz
parents:
diff changeset
8 /*
anatofuz
parents:
diff changeset
9 * Copyright 2001-2004 Unicode, Inc.
anatofuz
parents:
diff changeset
10 *
anatofuz
parents:
diff changeset
11 * Disclaimer
anatofuz
parents:
diff changeset
12 *
anatofuz
parents:
diff changeset
13 * This source code is provided as is by Unicode, Inc. No claims are
anatofuz
parents:
diff changeset
14 * made as to fitness for any particular purpose. No warranties of any
anatofuz
parents:
diff changeset
15 * kind are expressed or implied. The recipient agrees to determine
anatofuz
parents:
diff changeset
16 * applicability of information provided. If this file has been
anatofuz
parents:
diff changeset
17 * purchased on magnetic or optical media from Unicode, Inc., the
anatofuz
parents:
diff changeset
18 * sole remedy for any claim will be exchange of defective media
anatofuz
parents:
diff changeset
19 * within 90 days of receipt.
anatofuz
parents:
diff changeset
20 *
anatofuz
parents:
diff changeset
21 * Limitations on Rights to Redistribute This Code
anatofuz
parents:
diff changeset
22 *
anatofuz
parents:
diff changeset
23 * Unicode, Inc. hereby grants the right to freely use the information
anatofuz
parents:
diff changeset
24 * supplied in this file in the creation of products supporting the
anatofuz
parents:
diff changeset
25 * Unicode Standard, and to make copies of this file in any form
anatofuz
parents:
diff changeset
26 * for internal or external distribution as long as this notice
anatofuz
parents:
diff changeset
27 * remains attached.
anatofuz
parents:
diff changeset
28 */
anatofuz
parents:
diff changeset
29
anatofuz
parents:
diff changeset
30 /* ---------------------------------------------------------------------
anatofuz
parents:
diff changeset
31
anatofuz
parents:
diff changeset
32 Conversions between UTF32, UTF-16, and UTF-8. Source code file.
anatofuz
parents:
diff changeset
33 Author: Mark E. Davis, 1994.
anatofuz
parents:
diff changeset
34 Rev History: Rick McGowan, fixes & updates May 2001.
anatofuz
parents:
diff changeset
35 Sept 2001: fixed const & error conditions per
anatofuz
parents:
diff changeset
36 mods suggested by S. Parent & A. Lillich.
anatofuz
parents:
diff changeset
37 June 2002: Tim Dodd added detection and handling of incomplete
anatofuz
parents:
diff changeset
38 source sequences, enhanced error detection, added casts
anatofuz
parents:
diff changeset
39 to eliminate compiler warnings.
anatofuz
parents:
diff changeset
40 July 2003: slight mods to back out aggressive FFFE detection.
anatofuz
parents:
diff changeset
41 Jan 2004: updated switches in from-UTF8 conversions.
anatofuz
parents:
diff changeset
42 Oct 2004: updated to use UNI_MAX_LEGAL_UTF32 in UTF-32 conversions.
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 See the header file "ConvertUTF.h" for complete documentation.
anatofuz
parents:
diff changeset
45
anatofuz
parents:
diff changeset
46 ------------------------------------------------------------------------ */
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 #include "llvm/Support/ConvertUTF.h"
anatofuz
parents:
diff changeset
49 #ifdef CVTUTF_DEBUG
anatofuz
parents:
diff changeset
50 #include <stdio.h>
anatofuz
parents:
diff changeset
51 #endif
anatofuz
parents:
diff changeset
52 #include <assert.h>
anatofuz
parents:
diff changeset
53
anatofuz
parents:
diff changeset
54 /*
anatofuz
parents:
diff changeset
55 * This code extensively uses fall-through switches.
anatofuz
parents:
diff changeset
56 * Keep the compiler from warning about that.
anatofuz
parents:
diff changeset
57 */
anatofuz
parents:
diff changeset
58 #if defined(__clang__) && defined(__has_warning)
anatofuz
parents:
diff changeset
59 # if __has_warning("-Wimplicit-fallthrough")
anatofuz
parents:
diff changeset
60 # define ConvertUTF_DISABLE_WARNINGS \
anatofuz
parents:
diff changeset
61 _Pragma("clang diagnostic push") \
anatofuz
parents:
diff changeset
62 _Pragma("clang diagnostic ignored \"-Wimplicit-fallthrough\"")
anatofuz
parents:
diff changeset
63 # define ConvertUTF_RESTORE_WARNINGS \
anatofuz
parents:
diff changeset
64 _Pragma("clang diagnostic pop")
anatofuz
parents:
diff changeset
65 # endif
anatofuz
parents:
diff changeset
66 #elif defined(__GNUC__) && __GNUC__ > 6
anatofuz
parents:
diff changeset
67 # define ConvertUTF_DISABLE_WARNINGS \
anatofuz
parents:
diff changeset
68 _Pragma("GCC diagnostic push") \
anatofuz
parents:
diff changeset
69 _Pragma("GCC diagnostic ignored \"-Wimplicit-fallthrough\"")
anatofuz
parents:
diff changeset
70 # define ConvertUTF_RESTORE_WARNINGS \
anatofuz
parents:
diff changeset
71 _Pragma("GCC diagnostic pop")
anatofuz
parents:
diff changeset
72 #endif
anatofuz
parents:
diff changeset
73 #ifndef ConvertUTF_DISABLE_WARNINGS
anatofuz
parents:
diff changeset
74 # define ConvertUTF_DISABLE_WARNINGS
anatofuz
parents:
diff changeset
75 #endif
anatofuz
parents:
diff changeset
76 #ifndef ConvertUTF_RESTORE_WARNINGS
anatofuz
parents:
diff changeset
77 # define ConvertUTF_RESTORE_WARNINGS
anatofuz
parents:
diff changeset
78 #endif
anatofuz
parents:
diff changeset
79
anatofuz
parents:
diff changeset
80 ConvertUTF_DISABLE_WARNINGS
anatofuz
parents:
diff changeset
81
anatofuz
parents:
diff changeset
82 namespace llvm {
anatofuz
parents:
diff changeset
83
anatofuz
parents:
diff changeset
84 static const int halfShift = 10; /* used for shifting by 10 bits */
anatofuz
parents:
diff changeset
85
anatofuz
parents:
diff changeset
86 static const UTF32 halfBase = 0x0010000UL;
anatofuz
parents:
diff changeset
87 static const UTF32 halfMask = 0x3FFUL;
anatofuz
parents:
diff changeset
88
anatofuz
parents:
diff changeset
89 #define UNI_SUR_HIGH_START (UTF32)0xD800
anatofuz
parents:
diff changeset
90 #define UNI_SUR_HIGH_END (UTF32)0xDBFF
anatofuz
parents:
diff changeset
91 #define UNI_SUR_LOW_START (UTF32)0xDC00
anatofuz
parents:
diff changeset
92 #define UNI_SUR_LOW_END (UTF32)0xDFFF
anatofuz
parents:
diff changeset
93
anatofuz
parents:
diff changeset
94 /* --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
95
anatofuz
parents:
diff changeset
96 /*
anatofuz
parents:
diff changeset
97 * Index into the table below with the first byte of a UTF-8 sequence to
anatofuz
parents:
diff changeset
98 * get the number of trailing bytes that are supposed to follow it.
anatofuz
parents:
diff changeset
99 * Note that *legal* UTF-8 values can't have 4 or 5-bytes. The table is
anatofuz
parents:
diff changeset
100 * left as-is for anyone who may want to do such conversion, which was
anatofuz
parents:
diff changeset
101 * allowed in earlier algorithms.
anatofuz
parents:
diff changeset
102 */
anatofuz
parents:
diff changeset
103 static const char trailingBytesForUTF8[256] = {
anatofuz
parents:
diff changeset
104 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
anatofuz
parents:
diff changeset
105 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
anatofuz
parents:
diff changeset
106 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
anatofuz
parents:
diff changeset
107 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
anatofuz
parents:
diff changeset
108 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
anatofuz
parents:
diff changeset
109 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
anatofuz
parents:
diff changeset
110 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
anatofuz
parents:
diff changeset
111 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2, 3,3,3,3,3,3,3,3,4,4,4,4,5,5,5,5
anatofuz
parents:
diff changeset
112 };
anatofuz
parents:
diff changeset
113
anatofuz
parents:
diff changeset
114 /*
anatofuz
parents:
diff changeset
115 * Magic values subtracted from a buffer value during UTF8 conversion.
anatofuz
parents:
diff changeset
116 * This table contains as many values as there might be trailing bytes
anatofuz
parents:
diff changeset
117 * in a UTF-8 sequence.
anatofuz
parents:
diff changeset
118 */
anatofuz
parents:
diff changeset
119 static const UTF32 offsetsFromUTF8[6] = { 0x00000000UL, 0x00003080UL, 0x000E2080UL,
anatofuz
parents:
diff changeset
120 0x03C82080UL, 0xFA082080UL, 0x82082080UL };
anatofuz
parents:
diff changeset
121
anatofuz
parents:
diff changeset
122 /*
anatofuz
parents:
diff changeset
123 * Once the bits are split out into bytes of UTF-8, this is a mask OR-ed
anatofuz
parents:
diff changeset
124 * into the first byte, depending on how many bytes follow. There are
anatofuz
parents:
diff changeset
125 * as many entries in this table as there are UTF-8 sequence types.
anatofuz
parents:
diff changeset
126 * (I.e., one byte sequence, two byte... etc.). Remember that sequencs
anatofuz
parents:
diff changeset
127 * for *legal* UTF-8 will be 4 or fewer bytes total.
anatofuz
parents:
diff changeset
128 */
anatofuz
parents:
diff changeset
129 static const UTF8 firstByteMark[7] = { 0x00, 0x00, 0xC0, 0xE0, 0xF0, 0xF8, 0xFC };
anatofuz
parents:
diff changeset
130
anatofuz
parents:
diff changeset
131 /* --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
132
anatofuz
parents:
diff changeset
133 /* The interface converts a whole buffer to avoid function-call overhead.
anatofuz
parents:
diff changeset
134 * Constants have been gathered. Loops & conditionals have been removed as
anatofuz
parents:
diff changeset
135 * much as possible for efficiency, in favor of drop-through switches.
anatofuz
parents:
diff changeset
136 * (See "Note A" at the bottom of the file for equivalent code.)
anatofuz
parents:
diff changeset
137 * If your compiler supports it, the "isLegalUTF8" call can be turned
anatofuz
parents:
diff changeset
138 * into an inline function.
anatofuz
parents:
diff changeset
139 */
anatofuz
parents:
diff changeset
140
anatofuz
parents:
diff changeset
141
anatofuz
parents:
diff changeset
142 /* --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
143
anatofuz
parents:
diff changeset
144 ConversionResult ConvertUTF32toUTF16 (
anatofuz
parents:
diff changeset
145 const UTF32** sourceStart, const UTF32* sourceEnd,
anatofuz
parents:
diff changeset
146 UTF16** targetStart, UTF16* targetEnd, ConversionFlags flags) {
anatofuz
parents:
diff changeset
147 ConversionResult result = conversionOK;
anatofuz
parents:
diff changeset
148 const UTF32* source = *sourceStart;
anatofuz
parents:
diff changeset
149 UTF16* target = *targetStart;
anatofuz
parents:
diff changeset
150 while (source < sourceEnd) {
anatofuz
parents:
diff changeset
151 UTF32 ch;
anatofuz
parents:
diff changeset
152 if (target >= targetEnd) {
anatofuz
parents:
diff changeset
153 result = targetExhausted; break;
anatofuz
parents:
diff changeset
154 }
anatofuz
parents:
diff changeset
155 ch = *source++;
anatofuz
parents:
diff changeset
156 if (ch <= UNI_MAX_BMP) { /* Target is a character <= 0xFFFF */
anatofuz
parents:
diff changeset
157 /* UTF-16 surrogate values are illegal in UTF-32; 0xffff or 0xfffe are both reserved values */
anatofuz
parents:
diff changeset
158 if (ch >= UNI_SUR_HIGH_START && ch <= UNI_SUR_LOW_END) {
anatofuz
parents:
diff changeset
159 if (flags == strictConversion) {
anatofuz
parents:
diff changeset
160 --source; /* return to the illegal value itself */
anatofuz
parents:
diff changeset
161 result = sourceIllegal;
anatofuz
parents:
diff changeset
162 break;
anatofuz
parents:
diff changeset
163 } else {
anatofuz
parents:
diff changeset
164 *target++ = UNI_REPLACEMENT_CHAR;
anatofuz
parents:
diff changeset
165 }
anatofuz
parents:
diff changeset
166 } else {
anatofuz
parents:
diff changeset
167 *target++ = (UTF16)ch; /* normal case */
anatofuz
parents:
diff changeset
168 }
anatofuz
parents:
diff changeset
169 } else if (ch > UNI_MAX_LEGAL_UTF32) {
anatofuz
parents:
diff changeset
170 if (flags == strictConversion) {
anatofuz
parents:
diff changeset
171 result = sourceIllegal;
anatofuz
parents:
diff changeset
172 } else {
anatofuz
parents:
diff changeset
173 *target++ = UNI_REPLACEMENT_CHAR;
anatofuz
parents:
diff changeset
174 }
anatofuz
parents:
diff changeset
175 } else {
anatofuz
parents:
diff changeset
176 /* target is a character in range 0xFFFF - 0x10FFFF. */
anatofuz
parents:
diff changeset
177 if (target + 1 >= targetEnd) {
anatofuz
parents:
diff changeset
178 --source; /* Back up source pointer! */
anatofuz
parents:
diff changeset
179 result = targetExhausted; break;
anatofuz
parents:
diff changeset
180 }
anatofuz
parents:
diff changeset
181 ch -= halfBase;
anatofuz
parents:
diff changeset
182 *target++ = (UTF16)((ch >> halfShift) + UNI_SUR_HIGH_START);
anatofuz
parents:
diff changeset
183 *target++ = (UTF16)((ch & halfMask) + UNI_SUR_LOW_START);
anatofuz
parents:
diff changeset
184 }
anatofuz
parents:
diff changeset
185 }
anatofuz
parents:
diff changeset
186 *sourceStart = source;
anatofuz
parents:
diff changeset
187 *targetStart = target;
anatofuz
parents:
diff changeset
188 return result;
anatofuz
parents:
diff changeset
189 }
anatofuz
parents:
diff changeset
190
anatofuz
parents:
diff changeset
191 /* --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
192
anatofuz
parents:
diff changeset
193 ConversionResult ConvertUTF16toUTF32 (
anatofuz
parents:
diff changeset
194 const UTF16** sourceStart, const UTF16* sourceEnd,
anatofuz
parents:
diff changeset
195 UTF32** targetStart, UTF32* targetEnd, ConversionFlags flags) {
anatofuz
parents:
diff changeset
196 ConversionResult result = conversionOK;
anatofuz
parents:
diff changeset
197 const UTF16* source = *sourceStart;
anatofuz
parents:
diff changeset
198 UTF32* target = *targetStart;
anatofuz
parents:
diff changeset
199 UTF32 ch, ch2;
anatofuz
parents:
diff changeset
200 while (source < sourceEnd) {
anatofuz
parents:
diff changeset
201 const UTF16* oldSource = source; /* In case we have to back up because of target overflow. */
anatofuz
parents:
diff changeset
202 ch = *source++;
anatofuz
parents:
diff changeset
203 /* If we have a surrogate pair, convert to UTF32 first. */
anatofuz
parents:
diff changeset
204 if (ch >= UNI_SUR_HIGH_START && ch <= UNI_SUR_HIGH_END) {
anatofuz
parents:
diff changeset
205 /* If the 16 bits following the high surrogate are in the source buffer... */
anatofuz
parents:
diff changeset
206 if (source < sourceEnd) {
anatofuz
parents:
diff changeset
207 ch2 = *source;
anatofuz
parents:
diff changeset
208 /* If it's a low surrogate, convert to UTF32. */
anatofuz
parents:
diff changeset
209 if (ch2 >= UNI_SUR_LOW_START && ch2 <= UNI_SUR_LOW_END) {
anatofuz
parents:
diff changeset
210 ch = ((ch - UNI_SUR_HIGH_START) << halfShift)
anatofuz
parents:
diff changeset
211 + (ch2 - UNI_SUR_LOW_START) + halfBase;
anatofuz
parents:
diff changeset
212 ++source;
anatofuz
parents:
diff changeset
213 } else if (flags == strictConversion) { /* it's an unpaired high surrogate */
anatofuz
parents:
diff changeset
214 --source; /* return to the illegal value itself */
anatofuz
parents:
diff changeset
215 result = sourceIllegal;
anatofuz
parents:
diff changeset
216 break;
anatofuz
parents:
diff changeset
217 }
anatofuz
parents:
diff changeset
218 } else { /* We don't have the 16 bits following the high surrogate. */
anatofuz
parents:
diff changeset
219 --source; /* return to the high surrogate */
anatofuz
parents:
diff changeset
220 result = sourceExhausted;
anatofuz
parents:
diff changeset
221 break;
anatofuz
parents:
diff changeset
222 }
anatofuz
parents:
diff changeset
223 } else if (flags == strictConversion) {
anatofuz
parents:
diff changeset
224 /* UTF-16 surrogate values are illegal in UTF-32 */
anatofuz
parents:
diff changeset
225 if (ch >= UNI_SUR_LOW_START && ch <= UNI_SUR_LOW_END) {
anatofuz
parents:
diff changeset
226 --source; /* return to the illegal value itself */
anatofuz
parents:
diff changeset
227 result = sourceIllegal;
anatofuz
parents:
diff changeset
228 break;
anatofuz
parents:
diff changeset
229 }
anatofuz
parents:
diff changeset
230 }
anatofuz
parents:
diff changeset
231 if (target >= targetEnd) {
anatofuz
parents:
diff changeset
232 source = oldSource; /* Back up source pointer! */
anatofuz
parents:
diff changeset
233 result = targetExhausted; break;
anatofuz
parents:
diff changeset
234 }
anatofuz
parents:
diff changeset
235 *target++ = ch;
anatofuz
parents:
diff changeset
236 }
anatofuz
parents:
diff changeset
237 *sourceStart = source;
anatofuz
parents:
diff changeset
238 *targetStart = target;
anatofuz
parents:
diff changeset
239 #ifdef CVTUTF_DEBUG
anatofuz
parents:
diff changeset
240 if (result == sourceIllegal) {
anatofuz
parents:
diff changeset
241 fprintf(stderr, "ConvertUTF16toUTF32 illegal seq 0x%04x,%04x\n", ch, ch2);
anatofuz
parents:
diff changeset
242 fflush(stderr);
anatofuz
parents:
diff changeset
243 }
anatofuz
parents:
diff changeset
244 #endif
anatofuz
parents:
diff changeset
245 return result;
anatofuz
parents:
diff changeset
246 }
anatofuz
parents:
diff changeset
247 ConversionResult ConvertUTF16toUTF8 (
anatofuz
parents:
diff changeset
248 const UTF16** sourceStart, const UTF16* sourceEnd,
anatofuz
parents:
diff changeset
249 UTF8** targetStart, UTF8* targetEnd, ConversionFlags flags) {
anatofuz
parents:
diff changeset
250 ConversionResult result = conversionOK;
anatofuz
parents:
diff changeset
251 const UTF16* source = *sourceStart;
anatofuz
parents:
diff changeset
252 UTF8* target = *targetStart;
anatofuz
parents:
diff changeset
253 while (source < sourceEnd) {
anatofuz
parents:
diff changeset
254 UTF32 ch;
anatofuz
parents:
diff changeset
255 unsigned short bytesToWrite = 0;
anatofuz
parents:
diff changeset
256 const UTF32 byteMask = 0xBF;
anatofuz
parents:
diff changeset
257 const UTF32 byteMark = 0x80;
anatofuz
parents:
diff changeset
258 const UTF16* oldSource = source; /* In case we have to back up because of target overflow. */
anatofuz
parents:
diff changeset
259 ch = *source++;
anatofuz
parents:
diff changeset
260 /* If we have a surrogate pair, convert to UTF32 first. */
anatofuz
parents:
diff changeset
261 if (ch >= UNI_SUR_HIGH_START && ch <= UNI_SUR_HIGH_END) {
anatofuz
parents:
diff changeset
262 /* If the 16 bits following the high surrogate are in the source buffer... */
anatofuz
parents:
diff changeset
263 if (source < sourceEnd) {
anatofuz
parents:
diff changeset
264 UTF32 ch2 = *source;
anatofuz
parents:
diff changeset
265 /* If it's a low surrogate, convert to UTF32. */
anatofuz
parents:
diff changeset
266 if (ch2 >= UNI_SUR_LOW_START && ch2 <= UNI_SUR_LOW_END) {
anatofuz
parents:
diff changeset
267 ch = ((ch - UNI_SUR_HIGH_START) << halfShift)
anatofuz
parents:
diff changeset
268 + (ch2 - UNI_SUR_LOW_START) + halfBase;
anatofuz
parents:
diff changeset
269 ++source;
anatofuz
parents:
diff changeset
270 } else if (flags == strictConversion) { /* it's an unpaired high surrogate */
anatofuz
parents:
diff changeset
271 --source; /* return to the illegal value itself */
anatofuz
parents:
diff changeset
272 result = sourceIllegal;
anatofuz
parents:
diff changeset
273 break;
anatofuz
parents:
diff changeset
274 }
anatofuz
parents:
diff changeset
275 } else { /* We don't have the 16 bits following the high surrogate. */
anatofuz
parents:
diff changeset
276 --source; /* return to the high surrogate */
anatofuz
parents:
diff changeset
277 result = sourceExhausted;
anatofuz
parents:
diff changeset
278 break;
anatofuz
parents:
diff changeset
279 }
anatofuz
parents:
diff changeset
280 } else if (flags == strictConversion) {
anatofuz
parents:
diff changeset
281 /* UTF-16 surrogate values are illegal in UTF-32 */
anatofuz
parents:
diff changeset
282 if (ch >= UNI_SUR_LOW_START && ch <= UNI_SUR_LOW_END) {
anatofuz
parents:
diff changeset
283 --source; /* return to the illegal value itself */
anatofuz
parents:
diff changeset
284 result = sourceIllegal;
anatofuz
parents:
diff changeset
285 break;
anatofuz
parents:
diff changeset
286 }
anatofuz
parents:
diff changeset
287 }
anatofuz
parents:
diff changeset
288 /* Figure out how many bytes the result will require */
anatofuz
parents:
diff changeset
289 if (ch < (UTF32)0x80) { bytesToWrite = 1;
anatofuz
parents:
diff changeset
290 } else if (ch < (UTF32)0x800) { bytesToWrite = 2;
anatofuz
parents:
diff changeset
291 } else if (ch < (UTF32)0x10000) { bytesToWrite = 3;
anatofuz
parents:
diff changeset
292 } else if (ch < (UTF32)0x110000) { bytesToWrite = 4;
anatofuz
parents:
diff changeset
293 } else { bytesToWrite = 3;
anatofuz
parents:
diff changeset
294 ch = UNI_REPLACEMENT_CHAR;
anatofuz
parents:
diff changeset
295 }
anatofuz
parents:
diff changeset
296
anatofuz
parents:
diff changeset
297 target += bytesToWrite;
anatofuz
parents:
diff changeset
298 if (target > targetEnd) {
anatofuz
parents:
diff changeset
299 source = oldSource; /* Back up source pointer! */
anatofuz
parents:
diff changeset
300 target -= bytesToWrite; result = targetExhausted; break;
anatofuz
parents:
diff changeset
301 }
anatofuz
parents:
diff changeset
302 switch (bytesToWrite) { /* note: everything falls through. */
anatofuz
parents:
diff changeset
303 case 4: *--target = (UTF8)((ch | byteMark) & byteMask); ch >>= 6;
anatofuz
parents:
diff changeset
304 case 3: *--target = (UTF8)((ch | byteMark) & byteMask); ch >>= 6;
anatofuz
parents:
diff changeset
305 case 2: *--target = (UTF8)((ch | byteMark) & byteMask); ch >>= 6;
anatofuz
parents:
diff changeset
306 case 1: *--target = (UTF8)(ch | firstByteMark[bytesToWrite]);
anatofuz
parents:
diff changeset
307 }
anatofuz
parents:
diff changeset
308 target += bytesToWrite;
anatofuz
parents:
diff changeset
309 }
anatofuz
parents:
diff changeset
310 *sourceStart = source;
anatofuz
parents:
diff changeset
311 *targetStart = target;
anatofuz
parents:
diff changeset
312 return result;
anatofuz
parents:
diff changeset
313 }
anatofuz
parents:
diff changeset
314
anatofuz
parents:
diff changeset
315 /* --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
316
anatofuz
parents:
diff changeset
317 ConversionResult ConvertUTF32toUTF8 (
anatofuz
parents:
diff changeset
318 const UTF32** sourceStart, const UTF32* sourceEnd,
anatofuz
parents:
diff changeset
319 UTF8** targetStart, UTF8* targetEnd, ConversionFlags flags) {
anatofuz
parents:
diff changeset
320 ConversionResult result = conversionOK;
anatofuz
parents:
diff changeset
321 const UTF32* source = *sourceStart;
anatofuz
parents:
diff changeset
322 UTF8* target = *targetStart;
anatofuz
parents:
diff changeset
323 while (source < sourceEnd) {
anatofuz
parents:
diff changeset
324 UTF32 ch;
anatofuz
parents:
diff changeset
325 unsigned short bytesToWrite = 0;
anatofuz
parents:
diff changeset
326 const UTF32 byteMask = 0xBF;
anatofuz
parents:
diff changeset
327 const UTF32 byteMark = 0x80;
anatofuz
parents:
diff changeset
328 ch = *source++;
anatofuz
parents:
diff changeset
329 if (flags == strictConversion ) {
anatofuz
parents:
diff changeset
330 /* UTF-16 surrogate values are illegal in UTF-32 */
anatofuz
parents:
diff changeset
331 if (ch >= UNI_SUR_HIGH_START && ch <= UNI_SUR_LOW_END) {
anatofuz
parents:
diff changeset
332 --source; /* return to the illegal value itself */
anatofuz
parents:
diff changeset
333 result = sourceIllegal;
anatofuz
parents:
diff changeset
334 break;
anatofuz
parents:
diff changeset
335 }
anatofuz
parents:
diff changeset
336 }
anatofuz
parents:
diff changeset
337 /*
anatofuz
parents:
diff changeset
338 * Figure out how many bytes the result will require. Turn any
anatofuz
parents:
diff changeset
339 * illegally large UTF32 things (> Plane 17) into replacement chars.
anatofuz
parents:
diff changeset
340 */
anatofuz
parents:
diff changeset
341 if (ch < (UTF32)0x80) { bytesToWrite = 1;
anatofuz
parents:
diff changeset
342 } else if (ch < (UTF32)0x800) { bytesToWrite = 2;
anatofuz
parents:
diff changeset
343 } else if (ch < (UTF32)0x10000) { bytesToWrite = 3;
anatofuz
parents:
diff changeset
344 } else if (ch <= UNI_MAX_LEGAL_UTF32) { bytesToWrite = 4;
anatofuz
parents:
diff changeset
345 } else { bytesToWrite = 3;
anatofuz
parents:
diff changeset
346 ch = UNI_REPLACEMENT_CHAR;
anatofuz
parents:
diff changeset
347 result = sourceIllegal;
anatofuz
parents:
diff changeset
348 }
anatofuz
parents:
diff changeset
349
anatofuz
parents:
diff changeset
350 target += bytesToWrite;
anatofuz
parents:
diff changeset
351 if (target > targetEnd) {
anatofuz
parents:
diff changeset
352 --source; /* Back up source pointer! */
anatofuz
parents:
diff changeset
353 target -= bytesToWrite; result = targetExhausted; break;
anatofuz
parents:
diff changeset
354 }
anatofuz
parents:
diff changeset
355 switch (bytesToWrite) { /* note: everything falls through. */
anatofuz
parents:
diff changeset
356 case 4: *--target = (UTF8)((ch | byteMark) & byteMask); ch >>= 6;
anatofuz
parents:
diff changeset
357 case 3: *--target = (UTF8)((ch | byteMark) & byteMask); ch >>= 6;
anatofuz
parents:
diff changeset
358 case 2: *--target = (UTF8)((ch | byteMark) & byteMask); ch >>= 6;
anatofuz
parents:
diff changeset
359 case 1: *--target = (UTF8) (ch | firstByteMark[bytesToWrite]);
anatofuz
parents:
diff changeset
360 }
anatofuz
parents:
diff changeset
361 target += bytesToWrite;
anatofuz
parents:
diff changeset
362 }
anatofuz
parents:
diff changeset
363 *sourceStart = source;
anatofuz
parents:
diff changeset
364 *targetStart = target;
anatofuz
parents:
diff changeset
365 return result;
anatofuz
parents:
diff changeset
366 }
anatofuz
parents:
diff changeset
367
anatofuz
parents:
diff changeset
368 /* --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
369
anatofuz
parents:
diff changeset
370 /*
anatofuz
parents:
diff changeset
371 * Utility routine to tell whether a sequence of bytes is legal UTF-8.
anatofuz
parents:
diff changeset
372 * This must be called with the length pre-determined by the first byte.
anatofuz
parents:
diff changeset
373 * If not calling this from ConvertUTF8to*, then the length can be set by:
anatofuz
parents:
diff changeset
374 * length = trailingBytesForUTF8[*source]+1;
anatofuz
parents:
diff changeset
375 * and the sequence is illegal right away if there aren't that many bytes
anatofuz
parents:
diff changeset
376 * available.
anatofuz
parents:
diff changeset
377 * If presented with a length > 4, this returns false. The Unicode
anatofuz
parents:
diff changeset
378 * definition of UTF-8 goes up to 4-byte sequences.
anatofuz
parents:
diff changeset
379 */
anatofuz
parents:
diff changeset
380
anatofuz
parents:
diff changeset
381 static Boolean isLegalUTF8(const UTF8 *source, int length) {
anatofuz
parents:
diff changeset
382 UTF8 a;
anatofuz
parents:
diff changeset
383 const UTF8 *srcptr = source+length;
anatofuz
parents:
diff changeset
384 switch (length) {
anatofuz
parents:
diff changeset
385 default: return false;
anatofuz
parents:
diff changeset
386 /* Everything else falls through when "true"... */
anatofuz
parents:
diff changeset
387 case 4: if ((a = (*--srcptr)) < 0x80 || a > 0xBF) return false;
anatofuz
parents:
diff changeset
388 case 3: if ((a = (*--srcptr)) < 0x80 || a > 0xBF) return false;
anatofuz
parents:
diff changeset
389 case 2: if ((a = (*--srcptr)) < 0x80 || a > 0xBF) return false;
anatofuz
parents:
diff changeset
390
anatofuz
parents:
diff changeset
391 switch (*source) {
anatofuz
parents:
diff changeset
392 /* no fall-through in this inner switch */
anatofuz
parents:
diff changeset
393 case 0xE0: if (a < 0xA0) return false; break;
anatofuz
parents:
diff changeset
394 case 0xED: if (a > 0x9F) return false; break;
anatofuz
parents:
diff changeset
395 case 0xF0: if (a < 0x90) return false; break;
anatofuz
parents:
diff changeset
396 case 0xF4: if (a > 0x8F) return false; break;
anatofuz
parents:
diff changeset
397 default: if (a < 0x80) return false;
anatofuz
parents:
diff changeset
398 }
anatofuz
parents:
diff changeset
399
anatofuz
parents:
diff changeset
400 case 1: if (*source >= 0x80 && *source < 0xC2) return false;
anatofuz
parents:
diff changeset
401 }
anatofuz
parents:
diff changeset
402 if (*source > 0xF4) return false;
anatofuz
parents:
diff changeset
403 return true;
anatofuz
parents:
diff changeset
404 }
anatofuz
parents:
diff changeset
405
anatofuz
parents:
diff changeset
406 /* --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
407
anatofuz
parents:
diff changeset
408 /*
anatofuz
parents:
diff changeset
409 * Exported function to return whether a UTF-8 sequence is legal or not.
anatofuz
parents:
diff changeset
410 * This is not used here; it's just exported.
anatofuz
parents:
diff changeset
411 */
anatofuz
parents:
diff changeset
412 Boolean isLegalUTF8Sequence(const UTF8 *source, const UTF8 *sourceEnd) {
anatofuz
parents:
diff changeset
413 int length = trailingBytesForUTF8[*source]+1;
anatofuz
parents:
diff changeset
414 if (length > sourceEnd - source) {
anatofuz
parents:
diff changeset
415 return false;
anatofuz
parents:
diff changeset
416 }
anatofuz
parents:
diff changeset
417 return isLegalUTF8(source, length);
anatofuz
parents:
diff changeset
418 }
anatofuz
parents:
diff changeset
419
anatofuz
parents:
diff changeset
420 /* --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
421
anatofuz
parents:
diff changeset
422 static unsigned
anatofuz
parents:
diff changeset
423 findMaximalSubpartOfIllFormedUTF8Sequence(const UTF8 *source,
anatofuz
parents:
diff changeset
424 const UTF8 *sourceEnd) {
anatofuz
parents:
diff changeset
425 UTF8 b1, b2, b3;
anatofuz
parents:
diff changeset
426
anatofuz
parents:
diff changeset
427 assert(!isLegalUTF8Sequence(source, sourceEnd));
anatofuz
parents:
diff changeset
428
anatofuz
parents:
diff changeset
429 /*
anatofuz
parents:
diff changeset
430 * Unicode 6.3.0, D93b:
anatofuz
parents:
diff changeset
431 *
anatofuz
parents:
diff changeset
432 * Maximal subpart of an ill-formed subsequence: The longest code unit
anatofuz
parents:
diff changeset
433 * subsequence starting at an unconvertible offset that is either:
anatofuz
parents:
diff changeset
434 * a. the initial subsequence of a well-formed code unit sequence, or
anatofuz
parents:
diff changeset
435 * b. a subsequence of length one.
anatofuz
parents:
diff changeset
436 */
anatofuz
parents:
diff changeset
437
anatofuz
parents:
diff changeset
438 if (source == sourceEnd)
anatofuz
parents:
diff changeset
439 return 0;
anatofuz
parents:
diff changeset
440
anatofuz
parents:
diff changeset
441 /*
anatofuz
parents:
diff changeset
442 * Perform case analysis. See Unicode 6.3.0, Table 3-7. Well-Formed UTF-8
anatofuz
parents:
diff changeset
443 * Byte Sequences.
anatofuz
parents:
diff changeset
444 */
anatofuz
parents:
diff changeset
445
anatofuz
parents:
diff changeset
446 b1 = *source;
anatofuz
parents:
diff changeset
447 ++source;
anatofuz
parents:
diff changeset
448 if (b1 >= 0xC2 && b1 <= 0xDF) {
anatofuz
parents:
diff changeset
449 /*
anatofuz
parents:
diff changeset
450 * First byte is valid, but we know that this code unit sequence is
anatofuz
parents:
diff changeset
451 * invalid, so the maximal subpart has to end after the first byte.
anatofuz
parents:
diff changeset
452 */
anatofuz
parents:
diff changeset
453 return 1;
anatofuz
parents:
diff changeset
454 }
anatofuz
parents:
diff changeset
455
anatofuz
parents:
diff changeset
456 if (source == sourceEnd)
anatofuz
parents:
diff changeset
457 return 1;
anatofuz
parents:
diff changeset
458
anatofuz
parents:
diff changeset
459 b2 = *source;
anatofuz
parents:
diff changeset
460 ++source;
anatofuz
parents:
diff changeset
461
anatofuz
parents:
diff changeset
462 if (b1 == 0xE0) {
anatofuz
parents:
diff changeset
463 return (b2 >= 0xA0 && b2 <= 0xBF) ? 2 : 1;
anatofuz
parents:
diff changeset
464 }
anatofuz
parents:
diff changeset
465 if (b1 >= 0xE1 && b1 <= 0xEC) {
anatofuz
parents:
diff changeset
466 return (b2 >= 0x80 && b2 <= 0xBF) ? 2 : 1;
anatofuz
parents:
diff changeset
467 }
anatofuz
parents:
diff changeset
468 if (b1 == 0xED) {
anatofuz
parents:
diff changeset
469 return (b2 >= 0x80 && b2 <= 0x9F) ? 2 : 1;
anatofuz
parents:
diff changeset
470 }
anatofuz
parents:
diff changeset
471 if (b1 >= 0xEE && b1 <= 0xEF) {
anatofuz
parents:
diff changeset
472 return (b2 >= 0x80 && b2 <= 0xBF) ? 2 : 1;
anatofuz
parents:
diff changeset
473 }
anatofuz
parents:
diff changeset
474 if (b1 == 0xF0) {
anatofuz
parents:
diff changeset
475 if (b2 >= 0x90 && b2 <= 0xBF) {
anatofuz
parents:
diff changeset
476 if (source == sourceEnd)
anatofuz
parents:
diff changeset
477 return 2;
anatofuz
parents:
diff changeset
478
anatofuz
parents:
diff changeset
479 b3 = *source;
anatofuz
parents:
diff changeset
480 return (b3 >= 0x80 && b3 <= 0xBF) ? 3 : 2;
anatofuz
parents:
diff changeset
481 }
anatofuz
parents:
diff changeset
482 return 1;
anatofuz
parents:
diff changeset
483 }
anatofuz
parents:
diff changeset
484 if (b1 >= 0xF1 && b1 <= 0xF3) {
anatofuz
parents:
diff changeset
485 if (b2 >= 0x80 && b2 <= 0xBF) {
anatofuz
parents:
diff changeset
486 if (source == sourceEnd)
anatofuz
parents:
diff changeset
487 return 2;
anatofuz
parents:
diff changeset
488
anatofuz
parents:
diff changeset
489 b3 = *source;
anatofuz
parents:
diff changeset
490 return (b3 >= 0x80 && b3 <= 0xBF) ? 3 : 2;
anatofuz
parents:
diff changeset
491 }
anatofuz
parents:
diff changeset
492 return 1;
anatofuz
parents:
diff changeset
493 }
anatofuz
parents:
diff changeset
494 if (b1 == 0xF4) {
anatofuz
parents:
diff changeset
495 if (b2 >= 0x80 && b2 <= 0x8F) {
anatofuz
parents:
diff changeset
496 if (source == sourceEnd)
anatofuz
parents:
diff changeset
497 return 2;
anatofuz
parents:
diff changeset
498
anatofuz
parents:
diff changeset
499 b3 = *source;
anatofuz
parents:
diff changeset
500 return (b3 >= 0x80 && b3 <= 0xBF) ? 3 : 2;
anatofuz
parents:
diff changeset
501 }
anatofuz
parents:
diff changeset
502 return 1;
anatofuz
parents:
diff changeset
503 }
anatofuz
parents:
diff changeset
504
anatofuz
parents:
diff changeset
505 assert((b1 >= 0x80 && b1 <= 0xC1) || b1 >= 0xF5);
anatofuz
parents:
diff changeset
506 /*
anatofuz
parents:
diff changeset
507 * There are no valid sequences that start with these bytes. Maximal subpart
anatofuz
parents:
diff changeset
508 * is defined to have length 1 in these cases.
anatofuz
parents:
diff changeset
509 */
anatofuz
parents:
diff changeset
510 return 1;
anatofuz
parents:
diff changeset
511 }
anatofuz
parents:
diff changeset
512
anatofuz
parents:
diff changeset
513 /* --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
514
anatofuz
parents:
diff changeset
515 /*
anatofuz
parents:
diff changeset
516 * Exported function to return the total number of bytes in a codepoint
anatofuz
parents:
diff changeset
517 * represented in UTF-8, given the value of the first byte.
anatofuz
parents:
diff changeset
518 */
anatofuz
parents:
diff changeset
519 unsigned getNumBytesForUTF8(UTF8 first) {
anatofuz
parents:
diff changeset
520 return trailingBytesForUTF8[first] + 1;
anatofuz
parents:
diff changeset
521 }
anatofuz
parents:
diff changeset
522
anatofuz
parents:
diff changeset
523 /* --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
524
anatofuz
parents:
diff changeset
525 /*
anatofuz
parents:
diff changeset
526 * Exported function to return whether a UTF-8 string is legal or not.
anatofuz
parents:
diff changeset
527 * This is not used here; it's just exported.
anatofuz
parents:
diff changeset
528 */
anatofuz
parents:
diff changeset
529 Boolean isLegalUTF8String(const UTF8 **source, const UTF8 *sourceEnd) {
anatofuz
parents:
diff changeset
530 while (*source != sourceEnd) {
anatofuz
parents:
diff changeset
531 int length = trailingBytesForUTF8[**source] + 1;
anatofuz
parents:
diff changeset
532 if (length > sourceEnd - *source || !isLegalUTF8(*source, length))
anatofuz
parents:
diff changeset
533 return false;
anatofuz
parents:
diff changeset
534 *source += length;
anatofuz
parents:
diff changeset
535 }
anatofuz
parents:
diff changeset
536 return true;
anatofuz
parents:
diff changeset
537 }
anatofuz
parents:
diff changeset
538
anatofuz
parents:
diff changeset
539 /* --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
540
anatofuz
parents:
diff changeset
541 ConversionResult ConvertUTF8toUTF16 (
anatofuz
parents:
diff changeset
542 const UTF8** sourceStart, const UTF8* sourceEnd,
anatofuz
parents:
diff changeset
543 UTF16** targetStart, UTF16* targetEnd, ConversionFlags flags) {
anatofuz
parents:
diff changeset
544 ConversionResult result = conversionOK;
anatofuz
parents:
diff changeset
545 const UTF8* source = *sourceStart;
anatofuz
parents:
diff changeset
546 UTF16* target = *targetStart;
anatofuz
parents:
diff changeset
547 while (source < sourceEnd) {
anatofuz
parents:
diff changeset
548 UTF32 ch = 0;
anatofuz
parents:
diff changeset
549 unsigned short extraBytesToRead = trailingBytesForUTF8[*source];
anatofuz
parents:
diff changeset
550 if (extraBytesToRead >= sourceEnd - source) {
anatofuz
parents:
diff changeset
551 result = sourceExhausted; break;
anatofuz
parents:
diff changeset
552 }
anatofuz
parents:
diff changeset
553 /* Do this check whether lenient or strict */
anatofuz
parents:
diff changeset
554 if (!isLegalUTF8(source, extraBytesToRead+1)) {
anatofuz
parents:
diff changeset
555 result = sourceIllegal;
anatofuz
parents:
diff changeset
556 break;
anatofuz
parents:
diff changeset
557 }
anatofuz
parents:
diff changeset
558 /*
anatofuz
parents:
diff changeset
559 * The cases all fall through. See "Note A" below.
anatofuz
parents:
diff changeset
560 */
anatofuz
parents:
diff changeset
561 switch (extraBytesToRead) {
anatofuz
parents:
diff changeset
562 case 5: ch += *source++; ch <<= 6; /* remember, illegal UTF-8 */
anatofuz
parents:
diff changeset
563 case 4: ch += *source++; ch <<= 6; /* remember, illegal UTF-8 */
anatofuz
parents:
diff changeset
564 case 3: ch += *source++; ch <<= 6;
anatofuz
parents:
diff changeset
565 case 2: ch += *source++; ch <<= 6;
anatofuz
parents:
diff changeset
566 case 1: ch += *source++; ch <<= 6;
anatofuz
parents:
diff changeset
567 case 0: ch += *source++;
anatofuz
parents:
diff changeset
568 }
anatofuz
parents:
diff changeset
569 ch -= offsetsFromUTF8[extraBytesToRead];
anatofuz
parents:
diff changeset
570
anatofuz
parents:
diff changeset
571 if (target >= targetEnd) {
anatofuz
parents:
diff changeset
572 source -= (extraBytesToRead+1); /* Back up source pointer! */
anatofuz
parents:
diff changeset
573 result = targetExhausted; break;
anatofuz
parents:
diff changeset
574 }
anatofuz
parents:
diff changeset
575 if (ch <= UNI_MAX_BMP) { /* Target is a character <= 0xFFFF */
anatofuz
parents:
diff changeset
576 /* UTF-16 surrogate values are illegal in UTF-32 */
anatofuz
parents:
diff changeset
577 if (ch >= UNI_SUR_HIGH_START && ch <= UNI_SUR_LOW_END) {
anatofuz
parents:
diff changeset
578 if (flags == strictConversion) {
anatofuz
parents:
diff changeset
579 source -= (extraBytesToRead+1); /* return to the illegal value itself */
anatofuz
parents:
diff changeset
580 result = sourceIllegal;
anatofuz
parents:
diff changeset
581 break;
anatofuz
parents:
diff changeset
582 } else {
anatofuz
parents:
diff changeset
583 *target++ = UNI_REPLACEMENT_CHAR;
anatofuz
parents:
diff changeset
584 }
anatofuz
parents:
diff changeset
585 } else {
anatofuz
parents:
diff changeset
586 *target++ = (UTF16)ch; /* normal case */
anatofuz
parents:
diff changeset
587 }
anatofuz
parents:
diff changeset
588 } else if (ch > UNI_MAX_UTF16) {
anatofuz
parents:
diff changeset
589 if (flags == strictConversion) {
anatofuz
parents:
diff changeset
590 result = sourceIllegal;
anatofuz
parents:
diff changeset
591 source -= (extraBytesToRead+1); /* return to the start */
anatofuz
parents:
diff changeset
592 break; /* Bail out; shouldn't continue */
anatofuz
parents:
diff changeset
593 } else {
anatofuz
parents:
diff changeset
594 *target++ = UNI_REPLACEMENT_CHAR;
anatofuz
parents:
diff changeset
595 }
anatofuz
parents:
diff changeset
596 } else {
anatofuz
parents:
diff changeset
597 /* target is a character in range 0xFFFF - 0x10FFFF. */
anatofuz
parents:
diff changeset
598 if (target + 1 >= targetEnd) {
anatofuz
parents:
diff changeset
599 source -= (extraBytesToRead+1); /* Back up source pointer! */
anatofuz
parents:
diff changeset
600 result = targetExhausted; break;
anatofuz
parents:
diff changeset
601 }
anatofuz
parents:
diff changeset
602 ch -= halfBase;
anatofuz
parents:
diff changeset
603 *target++ = (UTF16)((ch >> halfShift) + UNI_SUR_HIGH_START);
anatofuz
parents:
diff changeset
604 *target++ = (UTF16)((ch & halfMask) + UNI_SUR_LOW_START);
anatofuz
parents:
diff changeset
605 }
anatofuz
parents:
diff changeset
606 }
anatofuz
parents:
diff changeset
607 *sourceStart = source;
anatofuz
parents:
diff changeset
608 *targetStart = target;
anatofuz
parents:
diff changeset
609 return result;
anatofuz
parents:
diff changeset
610 }
anatofuz
parents:
diff changeset
611
anatofuz
parents:
diff changeset
612 /* --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
613
anatofuz
parents:
diff changeset
614 static ConversionResult ConvertUTF8toUTF32Impl(
anatofuz
parents:
diff changeset
615 const UTF8** sourceStart, const UTF8* sourceEnd,
anatofuz
parents:
diff changeset
616 UTF32** targetStart, UTF32* targetEnd, ConversionFlags flags,
anatofuz
parents:
diff changeset
617 Boolean InputIsPartial) {
anatofuz
parents:
diff changeset
618 ConversionResult result = conversionOK;
anatofuz
parents:
diff changeset
619 const UTF8* source = *sourceStart;
anatofuz
parents:
diff changeset
620 UTF32* target = *targetStart;
anatofuz
parents:
diff changeset
621 while (source < sourceEnd) {
anatofuz
parents:
diff changeset
622 UTF32 ch = 0;
anatofuz
parents:
diff changeset
623 unsigned short extraBytesToRead = trailingBytesForUTF8[*source];
anatofuz
parents:
diff changeset
624 if (extraBytesToRead >= sourceEnd - source) {
anatofuz
parents:
diff changeset
625 if (flags == strictConversion || InputIsPartial) {
anatofuz
parents:
diff changeset
626 result = sourceExhausted;
anatofuz
parents:
diff changeset
627 break;
anatofuz
parents:
diff changeset
628 } else {
anatofuz
parents:
diff changeset
629 result = sourceIllegal;
anatofuz
parents:
diff changeset
630
anatofuz
parents:
diff changeset
631 /*
anatofuz
parents:
diff changeset
632 * Replace the maximal subpart of ill-formed sequence with
anatofuz
parents:
diff changeset
633 * replacement character.
anatofuz
parents:
diff changeset
634 */
anatofuz
parents:
diff changeset
635 source += findMaximalSubpartOfIllFormedUTF8Sequence(source,
anatofuz
parents:
diff changeset
636 sourceEnd);
anatofuz
parents:
diff changeset
637 *target++ = UNI_REPLACEMENT_CHAR;
anatofuz
parents:
diff changeset
638 continue;
anatofuz
parents:
diff changeset
639 }
anatofuz
parents:
diff changeset
640 }
anatofuz
parents:
diff changeset
641 if (target >= targetEnd) {
anatofuz
parents:
diff changeset
642 result = targetExhausted; break;
anatofuz
parents:
diff changeset
643 }
anatofuz
parents:
diff changeset
644
anatofuz
parents:
diff changeset
645 /* Do this check whether lenient or strict */
anatofuz
parents:
diff changeset
646 if (!isLegalUTF8(source, extraBytesToRead+1)) {
anatofuz
parents:
diff changeset
647 result = sourceIllegal;
anatofuz
parents:
diff changeset
648 if (flags == strictConversion) {
anatofuz
parents:
diff changeset
649 /* Abort conversion. */
anatofuz
parents:
diff changeset
650 break;
anatofuz
parents:
diff changeset
651 } else {
anatofuz
parents:
diff changeset
652 /*
anatofuz
parents:
diff changeset
653 * Replace the maximal subpart of ill-formed sequence with
anatofuz
parents:
diff changeset
654 * replacement character.
anatofuz
parents:
diff changeset
655 */
anatofuz
parents:
diff changeset
656 source += findMaximalSubpartOfIllFormedUTF8Sequence(source,
anatofuz
parents:
diff changeset
657 sourceEnd);
anatofuz
parents:
diff changeset
658 *target++ = UNI_REPLACEMENT_CHAR;
anatofuz
parents:
diff changeset
659 continue;
anatofuz
parents:
diff changeset
660 }
anatofuz
parents:
diff changeset
661 }
anatofuz
parents:
diff changeset
662 /*
anatofuz
parents:
diff changeset
663 * The cases all fall through. See "Note A" below.
anatofuz
parents:
diff changeset
664 */
anatofuz
parents:
diff changeset
665 switch (extraBytesToRead) {
anatofuz
parents:
diff changeset
666 case 5: ch += *source++; ch <<= 6;
anatofuz
parents:
diff changeset
667 case 4: ch += *source++; ch <<= 6;
anatofuz
parents:
diff changeset
668 case 3: ch += *source++; ch <<= 6;
anatofuz
parents:
diff changeset
669 case 2: ch += *source++; ch <<= 6;
anatofuz
parents:
diff changeset
670 case 1: ch += *source++; ch <<= 6;
anatofuz
parents:
diff changeset
671 case 0: ch += *source++;
anatofuz
parents:
diff changeset
672 }
anatofuz
parents:
diff changeset
673 ch -= offsetsFromUTF8[extraBytesToRead];
anatofuz
parents:
diff changeset
674
anatofuz
parents:
diff changeset
675 if (ch <= UNI_MAX_LEGAL_UTF32) {
anatofuz
parents:
diff changeset
676 /*
anatofuz
parents:
diff changeset
677 * UTF-16 surrogate values are illegal in UTF-32, and anything
anatofuz
parents:
diff changeset
678 * over Plane 17 (> 0x10FFFF) is illegal.
anatofuz
parents:
diff changeset
679 */
anatofuz
parents:
diff changeset
680 if (ch >= UNI_SUR_HIGH_START && ch <= UNI_SUR_LOW_END) {
anatofuz
parents:
diff changeset
681 if (flags == strictConversion) {
anatofuz
parents:
diff changeset
682 source -= (extraBytesToRead+1); /* return to the illegal value itself */
anatofuz
parents:
diff changeset
683 result = sourceIllegal;
anatofuz
parents:
diff changeset
684 break;
anatofuz
parents:
diff changeset
685 } else {
anatofuz
parents:
diff changeset
686 *target++ = UNI_REPLACEMENT_CHAR;
anatofuz
parents:
diff changeset
687 }
anatofuz
parents:
diff changeset
688 } else {
anatofuz
parents:
diff changeset
689 *target++ = ch;
anatofuz
parents:
diff changeset
690 }
anatofuz
parents:
diff changeset
691 } else { /* i.e., ch > UNI_MAX_LEGAL_UTF32 */
anatofuz
parents:
diff changeset
692 result = sourceIllegal;
anatofuz
parents:
diff changeset
693 *target++ = UNI_REPLACEMENT_CHAR;
anatofuz
parents:
diff changeset
694 }
anatofuz
parents:
diff changeset
695 }
anatofuz
parents:
diff changeset
696 *sourceStart = source;
anatofuz
parents:
diff changeset
697 *targetStart = target;
anatofuz
parents:
diff changeset
698 return result;
anatofuz
parents:
diff changeset
699 }
anatofuz
parents:
diff changeset
700
anatofuz
parents:
diff changeset
701 ConversionResult ConvertUTF8toUTF32Partial(const UTF8 **sourceStart,
anatofuz
parents:
diff changeset
702 const UTF8 *sourceEnd,
anatofuz
parents:
diff changeset
703 UTF32 **targetStart,
anatofuz
parents:
diff changeset
704 UTF32 *targetEnd,
anatofuz
parents:
diff changeset
705 ConversionFlags flags) {
anatofuz
parents:
diff changeset
706 return ConvertUTF8toUTF32Impl(sourceStart, sourceEnd, targetStart, targetEnd,
anatofuz
parents:
diff changeset
707 flags, /*InputIsPartial=*/true);
anatofuz
parents:
diff changeset
708 }
anatofuz
parents:
diff changeset
709
anatofuz
parents:
diff changeset
710 ConversionResult ConvertUTF8toUTF32(const UTF8 **sourceStart,
anatofuz
parents:
diff changeset
711 const UTF8 *sourceEnd, UTF32 **targetStart,
anatofuz
parents:
diff changeset
712 UTF32 *targetEnd, ConversionFlags flags) {
anatofuz
parents:
diff changeset
713 return ConvertUTF8toUTF32Impl(sourceStart, sourceEnd, targetStart, targetEnd,
anatofuz
parents:
diff changeset
714 flags, /*InputIsPartial=*/false);
anatofuz
parents:
diff changeset
715 }
anatofuz
parents:
diff changeset
716
anatofuz
parents:
diff changeset
717 /* ---------------------------------------------------------------------
anatofuz
parents:
diff changeset
718
anatofuz
parents:
diff changeset
719 Note A.
anatofuz
parents:
diff changeset
720 The fall-through switches in UTF-8 reading code save a
anatofuz
parents:
diff changeset
721 temp variable, some decrements & conditionals. The switches
anatofuz
parents:
diff changeset
722 are equivalent to the following loop:
anatofuz
parents:
diff changeset
723 {
anatofuz
parents:
diff changeset
724 int tmpBytesToRead = extraBytesToRead+1;
anatofuz
parents:
diff changeset
725 do {
anatofuz
parents:
diff changeset
726 ch += *source++;
anatofuz
parents:
diff changeset
727 --tmpBytesToRead;
anatofuz
parents:
diff changeset
728 if (tmpBytesToRead) ch <<= 6;
anatofuz
parents:
diff changeset
729 } while (tmpBytesToRead > 0);
anatofuz
parents:
diff changeset
730 }
anatofuz
parents:
diff changeset
731 In UTF-8 writing code, the switches on "bytesToWrite" are
anatofuz
parents:
diff changeset
732 similarly unrolled loops.
anatofuz
parents:
diff changeset
733
anatofuz
parents:
diff changeset
734 --------------------------------------------------------------------- */
anatofuz
parents:
diff changeset
735
anatofuz
parents:
diff changeset
736 } // namespace llvm
anatofuz
parents:
diff changeset
737
anatofuz
parents:
diff changeset
738 ConvertUTF_RESTORE_WARNINGS