1*cc02d7e2SAndroid Build Coastguard Worker // Adapted from https://github.com/lemire/fastvalidate-utf-8
2*cc02d7e2SAndroid Build Coastguard Worker
3*cc02d7e2SAndroid Build Coastguard Worker #ifdef __x86_64__
4*cc02d7e2SAndroid Build Coastguard Worker
5*cc02d7e2SAndroid Build Coastguard Worker #include <stdio.h>
6*cc02d7e2SAndroid Build Coastguard Worker #include <stddef.h>
7*cc02d7e2SAndroid Build Coastguard Worker #include <stdint.h>
8*cc02d7e2SAndroid Build Coastguard Worker #include <string.h>
9*cc02d7e2SAndroid Build Coastguard Worker #include <x86intrin.h>
10*cc02d7e2SAndroid Build Coastguard Worker
11*cc02d7e2SAndroid Build Coastguard Worker /*
12*cc02d7e2SAndroid Build Coastguard Worker * legal utf-8 byte sequence
13*cc02d7e2SAndroid Build Coastguard Worker * http://www.unicode.org/versions/Unicode6.0.0/ch03.pdf - page 94
14*cc02d7e2SAndroid Build Coastguard Worker *
15*cc02d7e2SAndroid Build Coastguard Worker * Code Points 1st 2s 3s 4s
16*cc02d7e2SAndroid Build Coastguard Worker * U+0000..U+007F 00..7F
17*cc02d7e2SAndroid Build Coastguard Worker * U+0080..U+07FF C2..DF 80..BF
18*cc02d7e2SAndroid Build Coastguard Worker * U+0800..U+0FFF E0 A0..BF 80..BF
19*cc02d7e2SAndroid Build Coastguard Worker * U+1000..U+CFFF E1..EC 80..BF 80..BF
20*cc02d7e2SAndroid Build Coastguard Worker * U+D000..U+D7FF ED 80..9F 80..BF
21*cc02d7e2SAndroid Build Coastguard Worker * U+E000..U+FFFF EE..EF 80..BF 80..BF
22*cc02d7e2SAndroid Build Coastguard Worker * U+10000..U+3FFFF F0 90..BF 80..BF 80..BF
23*cc02d7e2SAndroid Build Coastguard Worker * U+40000..U+FFFFF F1..F3 80..BF 80..BF 80..BF
24*cc02d7e2SAndroid Build Coastguard Worker * U+100000..U+10FFFF F4 80..8F 80..BF 80..BF
25*cc02d7e2SAndroid Build Coastguard Worker *
26*cc02d7e2SAndroid Build Coastguard Worker */
27*cc02d7e2SAndroid Build Coastguard Worker
28*cc02d7e2SAndroid Build Coastguard Worker #if 0
29*cc02d7e2SAndroid Build Coastguard Worker static void print128(const char *s, const __m128i *v128)
30*cc02d7e2SAndroid Build Coastguard Worker {
31*cc02d7e2SAndroid Build Coastguard Worker const unsigned char *v8 = (const unsigned char *)v128;
32*cc02d7e2SAndroid Build Coastguard Worker if (s)
33*cc02d7e2SAndroid Build Coastguard Worker printf("%s: ", s);
34*cc02d7e2SAndroid Build Coastguard Worker for (int i = 0; i < 16; i++)
35*cc02d7e2SAndroid Build Coastguard Worker printf("%02x ", v8[i]);
36*cc02d7e2SAndroid Build Coastguard Worker printf("\n");
37*cc02d7e2SAndroid Build Coastguard Worker }
38*cc02d7e2SAndroid Build Coastguard Worker #endif
39*cc02d7e2SAndroid Build Coastguard Worker
40*cc02d7e2SAndroid Build Coastguard Worker // all byte values must be no larger than 0xF4
checkSmallerThan0xF4(__m128i current_bytes,__m128i * has_error)41*cc02d7e2SAndroid Build Coastguard Worker static inline void checkSmallerThan0xF4(__m128i current_bytes,
42*cc02d7e2SAndroid Build Coastguard Worker __m128i *has_error) {
43*cc02d7e2SAndroid Build Coastguard Worker // unsigned, saturates to 0 below max
44*cc02d7e2SAndroid Build Coastguard Worker *has_error = _mm_or_si128(*has_error,
45*cc02d7e2SAndroid Build Coastguard Worker _mm_subs_epu8(current_bytes, _mm_set1_epi8(0xF4)));
46*cc02d7e2SAndroid Build Coastguard Worker }
47*cc02d7e2SAndroid Build Coastguard Worker
continuationLengths(__m128i high_nibbles)48*cc02d7e2SAndroid Build Coastguard Worker static inline __m128i continuationLengths(__m128i high_nibbles) {
49*cc02d7e2SAndroid Build Coastguard Worker return _mm_shuffle_epi8(
50*cc02d7e2SAndroid Build Coastguard Worker _mm_setr_epi8(1, 1, 1, 1, 1, 1, 1, 1, // 0xxx (ASCII)
51*cc02d7e2SAndroid Build Coastguard Worker 0, 0, 0, 0, // 10xx (continuation)
52*cc02d7e2SAndroid Build Coastguard Worker 2, 2, // 110x
53*cc02d7e2SAndroid Build Coastguard Worker 3, // 1110
54*cc02d7e2SAndroid Build Coastguard Worker 4), // 1111, next should be 0 (not checked here)
55*cc02d7e2SAndroid Build Coastguard Worker high_nibbles);
56*cc02d7e2SAndroid Build Coastguard Worker }
57*cc02d7e2SAndroid Build Coastguard Worker
carryContinuations(__m128i initial_lengths,__m128i previous_carries)58*cc02d7e2SAndroid Build Coastguard Worker static inline __m128i carryContinuations(__m128i initial_lengths,
59*cc02d7e2SAndroid Build Coastguard Worker __m128i previous_carries) {
60*cc02d7e2SAndroid Build Coastguard Worker
61*cc02d7e2SAndroid Build Coastguard Worker __m128i right1 =
62*cc02d7e2SAndroid Build Coastguard Worker _mm_subs_epu8(_mm_alignr_epi8(initial_lengths, previous_carries, 16 - 1),
63*cc02d7e2SAndroid Build Coastguard Worker _mm_set1_epi8(1));
64*cc02d7e2SAndroid Build Coastguard Worker __m128i sum = _mm_add_epi8(initial_lengths, right1);
65*cc02d7e2SAndroid Build Coastguard Worker
66*cc02d7e2SAndroid Build Coastguard Worker __m128i right2 = _mm_subs_epu8(_mm_alignr_epi8(sum, previous_carries, 16 - 2),
67*cc02d7e2SAndroid Build Coastguard Worker _mm_set1_epi8(2));
68*cc02d7e2SAndroid Build Coastguard Worker return _mm_add_epi8(sum, right2);
69*cc02d7e2SAndroid Build Coastguard Worker }
70*cc02d7e2SAndroid Build Coastguard Worker
checkContinuations(__m128i initial_lengths,__m128i carries,__m128i * has_error)71*cc02d7e2SAndroid Build Coastguard Worker static inline void checkContinuations(__m128i initial_lengths, __m128i carries,
72*cc02d7e2SAndroid Build Coastguard Worker __m128i *has_error) {
73*cc02d7e2SAndroid Build Coastguard Worker
74*cc02d7e2SAndroid Build Coastguard Worker // overlap || underlap
75*cc02d7e2SAndroid Build Coastguard Worker // carry > length && length > 0 || !(carry > length) && !(length > 0)
76*cc02d7e2SAndroid Build Coastguard Worker // (carries > length) == (lengths > 0)
77*cc02d7e2SAndroid Build Coastguard Worker __m128i overunder =
78*cc02d7e2SAndroid Build Coastguard Worker _mm_cmpeq_epi8(_mm_cmpgt_epi8(carries, initial_lengths),
79*cc02d7e2SAndroid Build Coastguard Worker _mm_cmpgt_epi8(initial_lengths, _mm_setzero_si128()));
80*cc02d7e2SAndroid Build Coastguard Worker
81*cc02d7e2SAndroid Build Coastguard Worker *has_error = _mm_or_si128(*has_error, overunder);
82*cc02d7e2SAndroid Build Coastguard Worker }
83*cc02d7e2SAndroid Build Coastguard Worker
84*cc02d7e2SAndroid Build Coastguard Worker // when 0xED is found, next byte must be no larger than 0x9F
85*cc02d7e2SAndroid Build Coastguard Worker // when 0xF4 is found, next byte must be no larger than 0x8F
86*cc02d7e2SAndroid Build Coastguard Worker // next byte must be continuation, ie sign bit is set, so signed < is ok
checkFirstContinuationMax(__m128i current_bytes,__m128i off1_current_bytes,__m128i * has_error)87*cc02d7e2SAndroid Build Coastguard Worker static inline void checkFirstContinuationMax(__m128i current_bytes,
88*cc02d7e2SAndroid Build Coastguard Worker __m128i off1_current_bytes,
89*cc02d7e2SAndroid Build Coastguard Worker __m128i *has_error) {
90*cc02d7e2SAndroid Build Coastguard Worker __m128i maskED = _mm_cmpeq_epi8(off1_current_bytes, _mm_set1_epi8(0xED));
91*cc02d7e2SAndroid Build Coastguard Worker __m128i maskF4 = _mm_cmpeq_epi8(off1_current_bytes, _mm_set1_epi8(0xF4));
92*cc02d7e2SAndroid Build Coastguard Worker
93*cc02d7e2SAndroid Build Coastguard Worker __m128i badfollowED =
94*cc02d7e2SAndroid Build Coastguard Worker _mm_and_si128(_mm_cmpgt_epi8(current_bytes, _mm_set1_epi8(0x9F)), maskED);
95*cc02d7e2SAndroid Build Coastguard Worker __m128i badfollowF4 =
96*cc02d7e2SAndroid Build Coastguard Worker _mm_and_si128(_mm_cmpgt_epi8(current_bytes, _mm_set1_epi8(0x8F)), maskF4);
97*cc02d7e2SAndroid Build Coastguard Worker
98*cc02d7e2SAndroid Build Coastguard Worker *has_error = _mm_or_si128(*has_error, _mm_or_si128(badfollowED, badfollowF4));
99*cc02d7e2SAndroid Build Coastguard Worker }
100*cc02d7e2SAndroid Build Coastguard Worker
101*cc02d7e2SAndroid Build Coastguard Worker // map off1_hibits => error condition
102*cc02d7e2SAndroid Build Coastguard Worker // hibits off1 cur
103*cc02d7e2SAndroid Build Coastguard Worker // C => < C2 && true
104*cc02d7e2SAndroid Build Coastguard Worker // E => < E1 && < A0
105*cc02d7e2SAndroid Build Coastguard Worker // F => < F1 && < 90
106*cc02d7e2SAndroid Build Coastguard Worker // else false && false
checkOverlong(__m128i current_bytes,__m128i off1_current_bytes,__m128i hibits,__m128i previous_hibits,__m128i * has_error)107*cc02d7e2SAndroid Build Coastguard Worker static inline void checkOverlong(__m128i current_bytes,
108*cc02d7e2SAndroid Build Coastguard Worker __m128i off1_current_bytes, __m128i hibits,
109*cc02d7e2SAndroid Build Coastguard Worker __m128i previous_hibits, __m128i *has_error) {
110*cc02d7e2SAndroid Build Coastguard Worker __m128i off1_hibits = _mm_alignr_epi8(hibits, previous_hibits, 16 - 1);
111*cc02d7e2SAndroid Build Coastguard Worker __m128i initial_mins = _mm_shuffle_epi8(
112*cc02d7e2SAndroid Build Coastguard Worker _mm_setr_epi8(-128, -128, -128, -128, -128, -128, -128, -128, -128, -128,
113*cc02d7e2SAndroid Build Coastguard Worker -128, -128, // 10xx => false
114*cc02d7e2SAndroid Build Coastguard Worker 0xC2, -128, // 110x
115*cc02d7e2SAndroid Build Coastguard Worker 0xE1, // 1110
116*cc02d7e2SAndroid Build Coastguard Worker 0xF1),
117*cc02d7e2SAndroid Build Coastguard Worker off1_hibits);
118*cc02d7e2SAndroid Build Coastguard Worker
119*cc02d7e2SAndroid Build Coastguard Worker __m128i initial_under = _mm_cmpgt_epi8(initial_mins, off1_current_bytes);
120*cc02d7e2SAndroid Build Coastguard Worker
121*cc02d7e2SAndroid Build Coastguard Worker __m128i second_mins = _mm_shuffle_epi8(
122*cc02d7e2SAndroid Build Coastguard Worker _mm_setr_epi8(-128, -128, -128, -128, -128, -128, -128, -128, -128, -128,
123*cc02d7e2SAndroid Build Coastguard Worker -128, -128, // 10xx => false
124*cc02d7e2SAndroid Build Coastguard Worker 127, 127, // 110x => true
125*cc02d7e2SAndroid Build Coastguard Worker 0xA0, // 1110
126*cc02d7e2SAndroid Build Coastguard Worker 0x90),
127*cc02d7e2SAndroid Build Coastguard Worker off1_hibits);
128*cc02d7e2SAndroid Build Coastguard Worker __m128i second_under = _mm_cmpgt_epi8(second_mins, current_bytes);
129*cc02d7e2SAndroid Build Coastguard Worker *has_error =
130*cc02d7e2SAndroid Build Coastguard Worker _mm_or_si128(*has_error, _mm_and_si128(initial_under, second_under));
131*cc02d7e2SAndroid Build Coastguard Worker }
132*cc02d7e2SAndroid Build Coastguard Worker
133*cc02d7e2SAndroid Build Coastguard Worker struct processed_utf_bytes {
134*cc02d7e2SAndroid Build Coastguard Worker __m128i rawbytes;
135*cc02d7e2SAndroid Build Coastguard Worker __m128i high_nibbles;
136*cc02d7e2SAndroid Build Coastguard Worker __m128i carried_continuations;
137*cc02d7e2SAndroid Build Coastguard Worker };
138*cc02d7e2SAndroid Build Coastguard Worker
count_nibbles(__m128i bytes,struct processed_utf_bytes * answer)139*cc02d7e2SAndroid Build Coastguard Worker static inline void count_nibbles(__m128i bytes,
140*cc02d7e2SAndroid Build Coastguard Worker struct processed_utf_bytes *answer) {
141*cc02d7e2SAndroid Build Coastguard Worker answer->rawbytes = bytes;
142*cc02d7e2SAndroid Build Coastguard Worker answer->high_nibbles =
143*cc02d7e2SAndroid Build Coastguard Worker _mm_and_si128(_mm_srli_epi16(bytes, 4), _mm_set1_epi8(0x0F));
144*cc02d7e2SAndroid Build Coastguard Worker }
145*cc02d7e2SAndroid Build Coastguard Worker
146*cc02d7e2SAndroid Build Coastguard Worker // check whether the current bytes are valid UTF-8
147*cc02d7e2SAndroid Build Coastguard Worker // at the end of the function, previous gets updated
148*cc02d7e2SAndroid Build Coastguard Worker static inline struct processed_utf_bytes
checkUTF8Bytes(__m128i current_bytes,struct processed_utf_bytes * previous,__m128i * has_error)149*cc02d7e2SAndroid Build Coastguard Worker checkUTF8Bytes(__m128i current_bytes, struct processed_utf_bytes *previous,
150*cc02d7e2SAndroid Build Coastguard Worker __m128i *has_error) {
151*cc02d7e2SAndroid Build Coastguard Worker
152*cc02d7e2SAndroid Build Coastguard Worker struct processed_utf_bytes pb;
153*cc02d7e2SAndroid Build Coastguard Worker count_nibbles(current_bytes, &pb);
154*cc02d7e2SAndroid Build Coastguard Worker
155*cc02d7e2SAndroid Build Coastguard Worker checkSmallerThan0xF4(current_bytes, has_error);
156*cc02d7e2SAndroid Build Coastguard Worker
157*cc02d7e2SAndroid Build Coastguard Worker __m128i initial_lengths = continuationLengths(pb.high_nibbles);
158*cc02d7e2SAndroid Build Coastguard Worker
159*cc02d7e2SAndroid Build Coastguard Worker pb.carried_continuations =
160*cc02d7e2SAndroid Build Coastguard Worker carryContinuations(initial_lengths, previous->carried_continuations);
161*cc02d7e2SAndroid Build Coastguard Worker
162*cc02d7e2SAndroid Build Coastguard Worker checkContinuations(initial_lengths, pb.carried_continuations, has_error);
163*cc02d7e2SAndroid Build Coastguard Worker
164*cc02d7e2SAndroid Build Coastguard Worker __m128i off1_current_bytes =
165*cc02d7e2SAndroid Build Coastguard Worker _mm_alignr_epi8(pb.rawbytes, previous->rawbytes, 16 - 1);
166*cc02d7e2SAndroid Build Coastguard Worker checkFirstContinuationMax(current_bytes, off1_current_bytes, has_error);
167*cc02d7e2SAndroid Build Coastguard Worker
168*cc02d7e2SAndroid Build Coastguard Worker checkOverlong(current_bytes, off1_current_bytes, pb.high_nibbles,
169*cc02d7e2SAndroid Build Coastguard Worker previous->high_nibbles, has_error);
170*cc02d7e2SAndroid Build Coastguard Worker return pb;
171*cc02d7e2SAndroid Build Coastguard Worker }
172*cc02d7e2SAndroid Build Coastguard Worker
173*cc02d7e2SAndroid Build Coastguard Worker /* Return 0 on success, -1 on error */
utf8_lemire(const unsigned char * src,int len)174*cc02d7e2SAndroid Build Coastguard Worker int utf8_lemire(const unsigned char *src, int len) {
175*cc02d7e2SAndroid Build Coastguard Worker size_t i = 0;
176*cc02d7e2SAndroid Build Coastguard Worker __m128i has_error = _mm_setzero_si128();
177*cc02d7e2SAndroid Build Coastguard Worker struct processed_utf_bytes previous = {.rawbytes = _mm_setzero_si128(),
178*cc02d7e2SAndroid Build Coastguard Worker .high_nibbles = _mm_setzero_si128(),
179*cc02d7e2SAndroid Build Coastguard Worker .carried_continuations =
180*cc02d7e2SAndroid Build Coastguard Worker _mm_setzero_si128()};
181*cc02d7e2SAndroid Build Coastguard Worker if (len >= 16) {
182*cc02d7e2SAndroid Build Coastguard Worker for (; i <= len - 16; i += 16) {
183*cc02d7e2SAndroid Build Coastguard Worker __m128i current_bytes = _mm_loadu_si128((const __m128i *)(src + i));
184*cc02d7e2SAndroid Build Coastguard Worker previous = checkUTF8Bytes(current_bytes, &previous, &has_error);
185*cc02d7e2SAndroid Build Coastguard Worker }
186*cc02d7e2SAndroid Build Coastguard Worker }
187*cc02d7e2SAndroid Build Coastguard Worker
188*cc02d7e2SAndroid Build Coastguard Worker // last part
189*cc02d7e2SAndroid Build Coastguard Worker if (i < len) {
190*cc02d7e2SAndroid Build Coastguard Worker char buffer[16];
191*cc02d7e2SAndroid Build Coastguard Worker memset(buffer, 0, 16);
192*cc02d7e2SAndroid Build Coastguard Worker memcpy(buffer, src + i, len - i);
193*cc02d7e2SAndroid Build Coastguard Worker __m128i current_bytes = _mm_loadu_si128((const __m128i *)(buffer));
194*cc02d7e2SAndroid Build Coastguard Worker previous = checkUTF8Bytes(current_bytes, &previous, &has_error);
195*cc02d7e2SAndroid Build Coastguard Worker } else {
196*cc02d7e2SAndroid Build Coastguard Worker has_error =
197*cc02d7e2SAndroid Build Coastguard Worker _mm_or_si128(_mm_cmpgt_epi8(previous.carried_continuations,
198*cc02d7e2SAndroid Build Coastguard Worker _mm_setr_epi8(9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
199*cc02d7e2SAndroid Build Coastguard Worker 9, 9, 9, 9, 9, 1)),
200*cc02d7e2SAndroid Build Coastguard Worker has_error);
201*cc02d7e2SAndroid Build Coastguard Worker }
202*cc02d7e2SAndroid Build Coastguard Worker
203*cc02d7e2SAndroid Build Coastguard Worker return _mm_testz_si128(has_error, has_error) ? 0 : -1;
204*cc02d7e2SAndroid Build Coastguard Worker }
205*cc02d7e2SAndroid Build Coastguard Worker
206*cc02d7e2SAndroid Build Coastguard Worker #endif
207