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 __AVX2__
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 print256(const char *s, const __m256i v256)
30*cc02d7e2SAndroid Build Coastguard Worker {
31*cc02d7e2SAndroid Build Coastguard Worker const unsigned char *v8 = (const unsigned char *)&v256;
32*cc02d7e2SAndroid Build Coastguard Worker if (s)
33*cc02d7e2SAndroid Build Coastguard Worker printf("%s:\t", s);
34*cc02d7e2SAndroid Build Coastguard Worker for (int i = 0; i < 32; 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
push_last_byte_of_a_to_b(__m256i a,__m256i b)40*cc02d7e2SAndroid Build Coastguard Worker static inline __m256i push_last_byte_of_a_to_b(__m256i a, __m256i b) {
41*cc02d7e2SAndroid Build Coastguard Worker return _mm256_alignr_epi8(b, _mm256_permute2x128_si256(a, b, 0x21), 15);
42*cc02d7e2SAndroid Build Coastguard Worker }
43*cc02d7e2SAndroid Build Coastguard Worker
push_last_2bytes_of_a_to_b(__m256i a,__m256i b)44*cc02d7e2SAndroid Build Coastguard Worker static inline __m256i push_last_2bytes_of_a_to_b(__m256i a, __m256i b) {
45*cc02d7e2SAndroid Build Coastguard Worker return _mm256_alignr_epi8(b, _mm256_permute2x128_si256(a, b, 0x21), 14);
46*cc02d7e2SAndroid Build Coastguard Worker }
47*cc02d7e2SAndroid Build Coastguard Worker
48*cc02d7e2SAndroid Build Coastguard Worker // all byte values must be no larger than 0xF4
avxcheckSmallerThan0xF4(__m256i current_bytes,__m256i * has_error)49*cc02d7e2SAndroid Build Coastguard Worker static inline void avxcheckSmallerThan0xF4(__m256i current_bytes,
50*cc02d7e2SAndroid Build Coastguard Worker __m256i *has_error) {
51*cc02d7e2SAndroid Build Coastguard Worker // unsigned, saturates to 0 below max
52*cc02d7e2SAndroid Build Coastguard Worker *has_error = _mm256_or_si256(
53*cc02d7e2SAndroid Build Coastguard Worker *has_error, _mm256_subs_epu8(current_bytes, _mm256_set1_epi8(0xF4)));
54*cc02d7e2SAndroid Build Coastguard Worker }
55*cc02d7e2SAndroid Build Coastguard Worker
avxcontinuationLengths(__m256i high_nibbles)56*cc02d7e2SAndroid Build Coastguard Worker static inline __m256i avxcontinuationLengths(__m256i high_nibbles) {
57*cc02d7e2SAndroid Build Coastguard Worker return _mm256_shuffle_epi8(
58*cc02d7e2SAndroid Build Coastguard Worker _mm256_setr_epi8(1, 1, 1, 1, 1, 1, 1, 1, // 0xxx (ASCII)
59*cc02d7e2SAndroid Build Coastguard Worker 0, 0, 0, 0, // 10xx (continuation)
60*cc02d7e2SAndroid Build Coastguard Worker 2, 2, // 110x
61*cc02d7e2SAndroid Build Coastguard Worker 3, // 1110
62*cc02d7e2SAndroid Build Coastguard Worker 4, // 1111, next should be 0 (not checked here)
63*cc02d7e2SAndroid Build Coastguard Worker 1, 1, 1, 1, 1, 1, 1, 1, // 0xxx (ASCII)
64*cc02d7e2SAndroid Build Coastguard Worker 0, 0, 0, 0, // 10xx (continuation)
65*cc02d7e2SAndroid Build Coastguard Worker 2, 2, // 110x
66*cc02d7e2SAndroid Build Coastguard Worker 3, // 1110
67*cc02d7e2SAndroid Build Coastguard Worker 4 // 1111, next should be 0 (not checked here)
68*cc02d7e2SAndroid Build Coastguard Worker ),
69*cc02d7e2SAndroid Build Coastguard Worker high_nibbles);
70*cc02d7e2SAndroid Build Coastguard Worker }
71*cc02d7e2SAndroid Build Coastguard Worker
avxcarryContinuations(__m256i initial_lengths,__m256i previous_carries)72*cc02d7e2SAndroid Build Coastguard Worker static inline __m256i avxcarryContinuations(__m256i initial_lengths,
73*cc02d7e2SAndroid Build Coastguard Worker __m256i previous_carries) {
74*cc02d7e2SAndroid Build Coastguard Worker
75*cc02d7e2SAndroid Build Coastguard Worker __m256i right1 = _mm256_subs_epu8(
76*cc02d7e2SAndroid Build Coastguard Worker push_last_byte_of_a_to_b(previous_carries, initial_lengths),
77*cc02d7e2SAndroid Build Coastguard Worker _mm256_set1_epi8(1));
78*cc02d7e2SAndroid Build Coastguard Worker __m256i sum = _mm256_add_epi8(initial_lengths, right1);
79*cc02d7e2SAndroid Build Coastguard Worker
80*cc02d7e2SAndroid Build Coastguard Worker __m256i right2 = _mm256_subs_epu8(
81*cc02d7e2SAndroid Build Coastguard Worker push_last_2bytes_of_a_to_b(previous_carries, sum), _mm256_set1_epi8(2));
82*cc02d7e2SAndroid Build Coastguard Worker return _mm256_add_epi8(sum, right2);
83*cc02d7e2SAndroid Build Coastguard Worker }
84*cc02d7e2SAndroid Build Coastguard Worker
avxcheckContinuations(__m256i initial_lengths,__m256i carries,__m256i * has_error)85*cc02d7e2SAndroid Build Coastguard Worker static inline void avxcheckContinuations(__m256i initial_lengths,
86*cc02d7e2SAndroid Build Coastguard Worker __m256i carries, __m256i *has_error) {
87*cc02d7e2SAndroid Build Coastguard Worker
88*cc02d7e2SAndroid Build Coastguard Worker // overlap || underlap
89*cc02d7e2SAndroid Build Coastguard Worker // carry > length && length > 0 || !(carry > length) && !(length > 0)
90*cc02d7e2SAndroid Build Coastguard Worker // (carries > length) == (lengths > 0)
91*cc02d7e2SAndroid Build Coastguard Worker __m256i overunder = _mm256_cmpeq_epi8(
92*cc02d7e2SAndroid Build Coastguard Worker _mm256_cmpgt_epi8(carries, initial_lengths),
93*cc02d7e2SAndroid Build Coastguard Worker _mm256_cmpgt_epi8(initial_lengths, _mm256_setzero_si256()));
94*cc02d7e2SAndroid Build Coastguard Worker
95*cc02d7e2SAndroid Build Coastguard Worker *has_error = _mm256_or_si256(*has_error, overunder);
96*cc02d7e2SAndroid Build Coastguard Worker }
97*cc02d7e2SAndroid Build Coastguard Worker
98*cc02d7e2SAndroid Build Coastguard Worker // when 0xED is found, next byte must be no larger than 0x9F
99*cc02d7e2SAndroid Build Coastguard Worker // when 0xF4 is found, next byte must be no larger than 0x8F
100*cc02d7e2SAndroid Build Coastguard Worker // next byte must be continuation, ie sign bit is set, so signed < is ok
avxcheckFirstContinuationMax(__m256i current_bytes,__m256i off1_current_bytes,__m256i * has_error)101*cc02d7e2SAndroid Build Coastguard Worker static inline void avxcheckFirstContinuationMax(__m256i current_bytes,
102*cc02d7e2SAndroid Build Coastguard Worker __m256i off1_current_bytes,
103*cc02d7e2SAndroid Build Coastguard Worker __m256i *has_error) {
104*cc02d7e2SAndroid Build Coastguard Worker __m256i maskED =
105*cc02d7e2SAndroid Build Coastguard Worker _mm256_cmpeq_epi8(off1_current_bytes, _mm256_set1_epi8(0xED));
106*cc02d7e2SAndroid Build Coastguard Worker __m256i maskF4 =
107*cc02d7e2SAndroid Build Coastguard Worker _mm256_cmpeq_epi8(off1_current_bytes, _mm256_set1_epi8(0xF4));
108*cc02d7e2SAndroid Build Coastguard Worker
109*cc02d7e2SAndroid Build Coastguard Worker __m256i badfollowED = _mm256_and_si256(
110*cc02d7e2SAndroid Build Coastguard Worker _mm256_cmpgt_epi8(current_bytes, _mm256_set1_epi8(0x9F)), maskED);
111*cc02d7e2SAndroid Build Coastguard Worker __m256i badfollowF4 = _mm256_and_si256(
112*cc02d7e2SAndroid Build Coastguard Worker _mm256_cmpgt_epi8(current_bytes, _mm256_set1_epi8(0x8F)), maskF4);
113*cc02d7e2SAndroid Build Coastguard Worker
114*cc02d7e2SAndroid Build Coastguard Worker *has_error =
115*cc02d7e2SAndroid Build Coastguard Worker _mm256_or_si256(*has_error, _mm256_or_si256(badfollowED, badfollowF4));
116*cc02d7e2SAndroid Build Coastguard Worker }
117*cc02d7e2SAndroid Build Coastguard Worker
118*cc02d7e2SAndroid Build Coastguard Worker // map off1_hibits => error condition
119*cc02d7e2SAndroid Build Coastguard Worker // hibits off1 cur
120*cc02d7e2SAndroid Build Coastguard Worker // C => < C2 && true
121*cc02d7e2SAndroid Build Coastguard Worker // E => < E1 && < A0
122*cc02d7e2SAndroid Build Coastguard Worker // F => < F1 && < 90
123*cc02d7e2SAndroid Build Coastguard Worker // else false && false
avxcheckOverlong(__m256i current_bytes,__m256i off1_current_bytes,__m256i hibits,__m256i previous_hibits,__m256i * has_error)124*cc02d7e2SAndroid Build Coastguard Worker static inline void avxcheckOverlong(__m256i current_bytes,
125*cc02d7e2SAndroid Build Coastguard Worker __m256i off1_current_bytes, __m256i hibits,
126*cc02d7e2SAndroid Build Coastguard Worker __m256i previous_hibits,
127*cc02d7e2SAndroid Build Coastguard Worker __m256i *has_error) {
128*cc02d7e2SAndroid Build Coastguard Worker __m256i off1_hibits = push_last_byte_of_a_to_b(previous_hibits, hibits);
129*cc02d7e2SAndroid Build Coastguard Worker __m256i initial_mins = _mm256_shuffle_epi8(
130*cc02d7e2SAndroid Build Coastguard Worker _mm256_setr_epi8(-128, -128, -128, -128, -128, -128, -128, -128, -128,
131*cc02d7e2SAndroid Build Coastguard Worker -128, -128, -128, // 10xx => false
132*cc02d7e2SAndroid Build Coastguard Worker 0xC2, -128, // 110x
133*cc02d7e2SAndroid Build Coastguard Worker 0xE1, // 1110
134*cc02d7e2SAndroid Build Coastguard Worker 0xF1, -128, -128, -128, -128, -128, -128, -128, -128,
135*cc02d7e2SAndroid Build Coastguard Worker -128, -128, -128, -128, // 10xx => false
136*cc02d7e2SAndroid Build Coastguard Worker 0xC2, -128, // 110x
137*cc02d7e2SAndroid Build Coastguard Worker 0xE1, // 1110
138*cc02d7e2SAndroid Build Coastguard Worker 0xF1),
139*cc02d7e2SAndroid Build Coastguard Worker off1_hibits);
140*cc02d7e2SAndroid Build Coastguard Worker
141*cc02d7e2SAndroid Build Coastguard Worker __m256i initial_under = _mm256_cmpgt_epi8(initial_mins, off1_current_bytes);
142*cc02d7e2SAndroid Build Coastguard Worker
143*cc02d7e2SAndroid Build Coastguard Worker __m256i second_mins = _mm256_shuffle_epi8(
144*cc02d7e2SAndroid Build Coastguard Worker _mm256_setr_epi8(-128, -128, -128, -128, -128, -128, -128, -128, -128,
145*cc02d7e2SAndroid Build Coastguard Worker -128, -128, -128, // 10xx => false
146*cc02d7e2SAndroid Build Coastguard Worker 127, 127, // 110x => true
147*cc02d7e2SAndroid Build Coastguard Worker 0xA0, // 1110
148*cc02d7e2SAndroid Build Coastguard Worker 0x90, -128, -128, -128, -128, -128, -128, -128, -128,
149*cc02d7e2SAndroid Build Coastguard Worker -128, -128, -128, -128, // 10xx => false
150*cc02d7e2SAndroid Build Coastguard Worker 127, 127, // 110x => true
151*cc02d7e2SAndroid Build Coastguard Worker 0xA0, // 1110
152*cc02d7e2SAndroid Build Coastguard Worker 0x90),
153*cc02d7e2SAndroid Build Coastguard Worker off1_hibits);
154*cc02d7e2SAndroid Build Coastguard Worker __m256i second_under = _mm256_cmpgt_epi8(second_mins, current_bytes);
155*cc02d7e2SAndroid Build Coastguard Worker *has_error = _mm256_or_si256(*has_error,
156*cc02d7e2SAndroid Build Coastguard Worker _mm256_and_si256(initial_under, second_under));
157*cc02d7e2SAndroid Build Coastguard Worker }
158*cc02d7e2SAndroid Build Coastguard Worker
159*cc02d7e2SAndroid Build Coastguard Worker struct avx_processed_utf_bytes {
160*cc02d7e2SAndroid Build Coastguard Worker __m256i rawbytes;
161*cc02d7e2SAndroid Build Coastguard Worker __m256i high_nibbles;
162*cc02d7e2SAndroid Build Coastguard Worker __m256i carried_continuations;
163*cc02d7e2SAndroid Build Coastguard Worker };
164*cc02d7e2SAndroid Build Coastguard Worker
avx_count_nibbles(__m256i bytes,struct avx_processed_utf_bytes * answer)165*cc02d7e2SAndroid Build Coastguard Worker static inline void avx_count_nibbles(__m256i bytes,
166*cc02d7e2SAndroid Build Coastguard Worker struct avx_processed_utf_bytes *answer) {
167*cc02d7e2SAndroid Build Coastguard Worker answer->rawbytes = bytes;
168*cc02d7e2SAndroid Build Coastguard Worker answer->high_nibbles =
169*cc02d7e2SAndroid Build Coastguard Worker _mm256_and_si256(_mm256_srli_epi16(bytes, 4), _mm256_set1_epi8(0x0F));
170*cc02d7e2SAndroid Build Coastguard Worker }
171*cc02d7e2SAndroid Build Coastguard Worker
172*cc02d7e2SAndroid Build Coastguard Worker // check whether the current bytes are valid UTF-8
173*cc02d7e2SAndroid Build Coastguard Worker // at the end of the function, previous gets updated
174*cc02d7e2SAndroid Build Coastguard Worker static struct avx_processed_utf_bytes
avxcheckUTF8Bytes(__m256i current_bytes,struct avx_processed_utf_bytes * previous,__m256i * has_error)175*cc02d7e2SAndroid Build Coastguard Worker avxcheckUTF8Bytes(__m256i current_bytes,
176*cc02d7e2SAndroid Build Coastguard Worker struct avx_processed_utf_bytes *previous,
177*cc02d7e2SAndroid Build Coastguard Worker __m256i *has_error) {
178*cc02d7e2SAndroid Build Coastguard Worker struct avx_processed_utf_bytes pb;
179*cc02d7e2SAndroid Build Coastguard Worker avx_count_nibbles(current_bytes, &pb);
180*cc02d7e2SAndroid Build Coastguard Worker
181*cc02d7e2SAndroid Build Coastguard Worker avxcheckSmallerThan0xF4(current_bytes, has_error);
182*cc02d7e2SAndroid Build Coastguard Worker
183*cc02d7e2SAndroid Build Coastguard Worker __m256i initial_lengths = avxcontinuationLengths(pb.high_nibbles);
184*cc02d7e2SAndroid Build Coastguard Worker
185*cc02d7e2SAndroid Build Coastguard Worker pb.carried_continuations =
186*cc02d7e2SAndroid Build Coastguard Worker avxcarryContinuations(initial_lengths, previous->carried_continuations);
187*cc02d7e2SAndroid Build Coastguard Worker
188*cc02d7e2SAndroid Build Coastguard Worker avxcheckContinuations(initial_lengths, pb.carried_continuations, has_error);
189*cc02d7e2SAndroid Build Coastguard Worker
190*cc02d7e2SAndroid Build Coastguard Worker __m256i off1_current_bytes =
191*cc02d7e2SAndroid Build Coastguard Worker push_last_byte_of_a_to_b(previous->rawbytes, pb.rawbytes);
192*cc02d7e2SAndroid Build Coastguard Worker avxcheckFirstContinuationMax(current_bytes, off1_current_bytes, has_error);
193*cc02d7e2SAndroid Build Coastguard Worker
194*cc02d7e2SAndroid Build Coastguard Worker avxcheckOverlong(current_bytes, off1_current_bytes, pb.high_nibbles,
195*cc02d7e2SAndroid Build Coastguard Worker previous->high_nibbles, has_error);
196*cc02d7e2SAndroid Build Coastguard Worker return pb;
197*cc02d7e2SAndroid Build Coastguard Worker }
198*cc02d7e2SAndroid Build Coastguard Worker
199*cc02d7e2SAndroid Build Coastguard Worker /* Return 0 on success, -1 on error */
utf8_lemire_avx2(const unsigned char * src,int len)200*cc02d7e2SAndroid Build Coastguard Worker int utf8_lemire_avx2(const unsigned char *src, int len) {
201*cc02d7e2SAndroid Build Coastguard Worker size_t i = 0;
202*cc02d7e2SAndroid Build Coastguard Worker __m256i has_error = _mm256_setzero_si256();
203*cc02d7e2SAndroid Build Coastguard Worker struct avx_processed_utf_bytes previous = {
204*cc02d7e2SAndroid Build Coastguard Worker .rawbytes = _mm256_setzero_si256(),
205*cc02d7e2SAndroid Build Coastguard Worker .high_nibbles = _mm256_setzero_si256(),
206*cc02d7e2SAndroid Build Coastguard Worker .carried_continuations = _mm256_setzero_si256()};
207*cc02d7e2SAndroid Build Coastguard Worker if (len >= 32) {
208*cc02d7e2SAndroid Build Coastguard Worker for (; i <= len - 32; i += 32) {
209*cc02d7e2SAndroid Build Coastguard Worker __m256i current_bytes = _mm256_loadu_si256((const __m256i *)(src + i));
210*cc02d7e2SAndroid Build Coastguard Worker previous = avxcheckUTF8Bytes(current_bytes, &previous, &has_error);
211*cc02d7e2SAndroid Build Coastguard Worker }
212*cc02d7e2SAndroid Build Coastguard Worker }
213*cc02d7e2SAndroid Build Coastguard Worker
214*cc02d7e2SAndroid Build Coastguard Worker // last part
215*cc02d7e2SAndroid Build Coastguard Worker if (i < len) {
216*cc02d7e2SAndroid Build Coastguard Worker char buffer[32];
217*cc02d7e2SAndroid Build Coastguard Worker memset(buffer, 0, 32);
218*cc02d7e2SAndroid Build Coastguard Worker memcpy(buffer, src + i, len - i);
219*cc02d7e2SAndroid Build Coastguard Worker __m256i current_bytes = _mm256_loadu_si256((const __m256i *)(buffer));
220*cc02d7e2SAndroid Build Coastguard Worker previous = avxcheckUTF8Bytes(current_bytes, &previous, &has_error);
221*cc02d7e2SAndroid Build Coastguard Worker } else {
222*cc02d7e2SAndroid Build Coastguard Worker has_error = _mm256_or_si256(
223*cc02d7e2SAndroid Build Coastguard Worker _mm256_cmpgt_epi8(previous.carried_continuations,
224*cc02d7e2SAndroid Build Coastguard Worker _mm256_setr_epi8(9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
225*cc02d7e2SAndroid Build Coastguard Worker 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
226*cc02d7e2SAndroid Build Coastguard Worker 9, 9, 9, 9, 9, 9, 9, 1)),
227*cc02d7e2SAndroid Build Coastguard Worker has_error);
228*cc02d7e2SAndroid Build Coastguard Worker }
229*cc02d7e2SAndroid Build Coastguard Worker
230*cc02d7e2SAndroid Build Coastguard Worker return _mm256_testz_si256(has_error, has_error) ? 0 : -1;
231*cc02d7e2SAndroid Build Coastguard Worker }
232*cc02d7e2SAndroid Build Coastguard Worker
233*cc02d7e2SAndroid Build Coastguard Worker #endif
234