xref: /aosp_15_r20/external/grpc-grpc/third_party/utf8_range/range-neon.c (revision cc02d7e222339f7a4f6ba5f422e6413f4bd931f2)
1*cc02d7e2SAndroid Build Coastguard Worker #ifdef __aarch64__
2*cc02d7e2SAndroid Build Coastguard Worker 
3*cc02d7e2SAndroid Build Coastguard Worker #include <stdio.h>
4*cc02d7e2SAndroid Build Coastguard Worker #include <stdint.h>
5*cc02d7e2SAndroid Build Coastguard Worker #include <arm_neon.h>
6*cc02d7e2SAndroid Build Coastguard Worker 
7*cc02d7e2SAndroid Build Coastguard Worker int utf8_naive(const unsigned char *data, int len);
8*cc02d7e2SAndroid Build Coastguard Worker 
9*cc02d7e2SAndroid Build Coastguard Worker #if 0
10*cc02d7e2SAndroid Build Coastguard Worker static void print128(const char *s, const uint8x16_t v128)
11*cc02d7e2SAndroid Build Coastguard Worker {
12*cc02d7e2SAndroid Build Coastguard Worker     unsigned char v8[16];
13*cc02d7e2SAndroid Build Coastguard Worker     vst1q_u8(v8, v128);
14*cc02d7e2SAndroid Build Coastguard Worker 
15*cc02d7e2SAndroid Build Coastguard Worker     if (s)
16*cc02d7e2SAndroid Build Coastguard Worker         printf("%s:\t", s);
17*cc02d7e2SAndroid Build Coastguard Worker     for (int i = 0; i < 16; ++i)
18*cc02d7e2SAndroid Build Coastguard Worker         printf("%02x ", v8[i]);
19*cc02d7e2SAndroid Build Coastguard Worker     printf("\n");
20*cc02d7e2SAndroid Build Coastguard Worker }
21*cc02d7e2SAndroid Build Coastguard Worker #endif
22*cc02d7e2SAndroid Build Coastguard Worker 
23*cc02d7e2SAndroid Build Coastguard Worker /*
24*cc02d7e2SAndroid Build Coastguard Worker  * Map high nibble of "First Byte" to legal character length minus 1
25*cc02d7e2SAndroid Build Coastguard Worker  * 0x00 ~ 0xBF --> 0
26*cc02d7e2SAndroid Build Coastguard Worker  * 0xC0 ~ 0xDF --> 1
27*cc02d7e2SAndroid Build Coastguard Worker  * 0xE0 ~ 0xEF --> 2
28*cc02d7e2SAndroid Build Coastguard Worker  * 0xF0 ~ 0xFF --> 3
29*cc02d7e2SAndroid Build Coastguard Worker  */
30*cc02d7e2SAndroid Build Coastguard Worker static const uint8_t _first_len_tbl[] = {
31*cc02d7e2SAndroid Build Coastguard Worker     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 2, 3,
32*cc02d7e2SAndroid Build Coastguard Worker };
33*cc02d7e2SAndroid Build Coastguard Worker 
34*cc02d7e2SAndroid Build Coastguard Worker /* Map "First Byte" to 8-th item of range table (0xC2 ~ 0xF4) */
35*cc02d7e2SAndroid Build Coastguard Worker static const uint8_t _first_range_tbl[] = {
36*cc02d7e2SAndroid Build Coastguard Worker     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 8, 8, 8,
37*cc02d7e2SAndroid Build Coastguard Worker };
38*cc02d7e2SAndroid Build Coastguard Worker 
39*cc02d7e2SAndroid Build Coastguard Worker /*
40*cc02d7e2SAndroid Build Coastguard Worker  * Range table, map range index to min and max values
41*cc02d7e2SAndroid Build Coastguard Worker  * Index 0    : 00 ~ 7F (First Byte, ascii)
42*cc02d7e2SAndroid Build Coastguard Worker  * Index 1,2,3: 80 ~ BF (Second, Third, Fourth Byte)
43*cc02d7e2SAndroid Build Coastguard Worker  * Index 4    : A0 ~ BF (Second Byte after E0)
44*cc02d7e2SAndroid Build Coastguard Worker  * Index 5    : 80 ~ 9F (Second Byte after ED)
45*cc02d7e2SAndroid Build Coastguard Worker  * Index 6    : 90 ~ BF (Second Byte after F0)
46*cc02d7e2SAndroid Build Coastguard Worker  * Index 7    : 80 ~ 8F (Second Byte after F4)
47*cc02d7e2SAndroid Build Coastguard Worker  * Index 8    : C2 ~ F4 (First Byte, non ascii)
48*cc02d7e2SAndroid Build Coastguard Worker  * Index 9~15 : illegal: u >= 255 && u <= 0
49*cc02d7e2SAndroid Build Coastguard Worker  */
50*cc02d7e2SAndroid Build Coastguard Worker static const uint8_t _range_min_tbl[] = {
51*cc02d7e2SAndroid Build Coastguard Worker     0x00, 0x80, 0x80, 0x80, 0xA0, 0x80, 0x90, 0x80,
52*cc02d7e2SAndroid Build Coastguard Worker     0xC2, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
53*cc02d7e2SAndroid Build Coastguard Worker };
54*cc02d7e2SAndroid Build Coastguard Worker static const uint8_t _range_max_tbl[] = {
55*cc02d7e2SAndroid Build Coastguard Worker     0x7F, 0xBF, 0xBF, 0xBF, 0xBF, 0x9F, 0xBF, 0x8F,
56*cc02d7e2SAndroid Build Coastguard Worker     0xF4, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
57*cc02d7e2SAndroid Build Coastguard Worker };
58*cc02d7e2SAndroid Build Coastguard Worker 
59*cc02d7e2SAndroid Build Coastguard Worker /*
60*cc02d7e2SAndroid Build Coastguard Worker  * This table is for fast handling four special First Bytes(E0,ED,F0,F4), after
61*cc02d7e2SAndroid Build Coastguard Worker  * which the Second Byte are not 80~BF. It contains "range index adjustment".
62*cc02d7e2SAndroid Build Coastguard Worker  * - The idea is to minus byte with E0, use the result(0~31) as the index to
63*cc02d7e2SAndroid Build Coastguard Worker  *   lookup the "range index adjustment". Then add the adjustment to original
64*cc02d7e2SAndroid Build Coastguard Worker  *   range index to get the correct range.
65*cc02d7e2SAndroid Build Coastguard Worker  * - Range index adjustment
66*cc02d7e2SAndroid Build Coastguard Worker  *   +------------+---------------+------------------+----------------+
67*cc02d7e2SAndroid Build Coastguard Worker  *   | First Byte | original range| range adjustment | adjusted range |
68*cc02d7e2SAndroid Build Coastguard Worker  *   +------------+---------------+------------------+----------------+
69*cc02d7e2SAndroid Build Coastguard Worker  *   | E0         | 2             | 2                | 4              |
70*cc02d7e2SAndroid Build Coastguard Worker  *   +------------+---------------+------------------+----------------+
71*cc02d7e2SAndroid Build Coastguard Worker  *   | ED         | 2             | 3                | 5              |
72*cc02d7e2SAndroid Build Coastguard Worker  *   +------------+---------------+------------------+----------------+
73*cc02d7e2SAndroid Build Coastguard Worker  *   | F0         | 3             | 3                | 6              |
74*cc02d7e2SAndroid Build Coastguard Worker  *   +------------+---------------+------------------+----------------+
75*cc02d7e2SAndroid Build Coastguard Worker  *   | F4         | 4             | 4                | 8              |
76*cc02d7e2SAndroid Build Coastguard Worker  *   +------------+---------------+------------------+----------------+
77*cc02d7e2SAndroid Build Coastguard Worker  * - Below is a uint8x16x2 table, data is interleaved in NEON register. So I'm
78*cc02d7e2SAndroid Build Coastguard Worker  *   putting it vertically. 1st column is for E0~EF, 2nd column for F0~FF.
79*cc02d7e2SAndroid Build Coastguard Worker  */
80*cc02d7e2SAndroid Build Coastguard Worker static const uint8_t _range_adjust_tbl[] = {
81*cc02d7e2SAndroid Build Coastguard Worker     /* index -> 0~15  16~31 <- index */
82*cc02d7e2SAndroid Build Coastguard Worker     /*  E0 -> */ 2,     3, /* <- F0  */
83*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
84*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
85*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
86*cc02d7e2SAndroid Build Coastguard Worker                  0,     4, /* <- F4  */
87*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
88*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
89*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
90*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
91*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
92*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
93*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
94*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
95*cc02d7e2SAndroid Build Coastguard Worker     /*  ED -> */ 3,     0,
96*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
97*cc02d7e2SAndroid Build Coastguard Worker                  0,     0,
98*cc02d7e2SAndroid Build Coastguard Worker };
99*cc02d7e2SAndroid Build Coastguard Worker 
100*cc02d7e2SAndroid Build Coastguard Worker /* 2x ~ 4x faster than naive method */
101*cc02d7e2SAndroid Build Coastguard Worker /* Return 0 on success, -1 on error */
utf8_range(const unsigned char * data,int len)102*cc02d7e2SAndroid Build Coastguard Worker int utf8_range(const unsigned char *data, int len)
103*cc02d7e2SAndroid Build Coastguard Worker {
104*cc02d7e2SAndroid Build Coastguard Worker     if (len >= 16) {
105*cc02d7e2SAndroid Build Coastguard Worker         uint8x16_t prev_input = vdupq_n_u8(0);
106*cc02d7e2SAndroid Build Coastguard Worker         uint8x16_t prev_first_len = vdupq_n_u8(0);
107*cc02d7e2SAndroid Build Coastguard Worker 
108*cc02d7e2SAndroid Build Coastguard Worker         /* Cached tables */
109*cc02d7e2SAndroid Build Coastguard Worker         const uint8x16_t first_len_tbl = vld1q_u8(_first_len_tbl);
110*cc02d7e2SAndroid Build Coastguard Worker         const uint8x16_t first_range_tbl = vld1q_u8(_first_range_tbl);
111*cc02d7e2SAndroid Build Coastguard Worker         const uint8x16_t range_min_tbl = vld1q_u8(_range_min_tbl);
112*cc02d7e2SAndroid Build Coastguard Worker         const uint8x16_t range_max_tbl = vld1q_u8(_range_max_tbl);
113*cc02d7e2SAndroid Build Coastguard Worker         const uint8x16x2_t range_adjust_tbl = vld2q_u8(_range_adjust_tbl);
114*cc02d7e2SAndroid Build Coastguard Worker 
115*cc02d7e2SAndroid Build Coastguard Worker         /* Cached values */
116*cc02d7e2SAndroid Build Coastguard Worker         const uint8x16_t const_1 = vdupq_n_u8(1);
117*cc02d7e2SAndroid Build Coastguard Worker         const uint8x16_t const_2 = vdupq_n_u8(2);
118*cc02d7e2SAndroid Build Coastguard Worker         const uint8x16_t const_e0 = vdupq_n_u8(0xE0);
119*cc02d7e2SAndroid Build Coastguard Worker 
120*cc02d7e2SAndroid Build Coastguard Worker         /* We use two error registers to remove a dependency. */
121*cc02d7e2SAndroid Build Coastguard Worker         uint8x16_t error1 = vdupq_n_u8(0);
122*cc02d7e2SAndroid Build Coastguard Worker         uint8x16_t error2 = vdupq_n_u8(0);
123*cc02d7e2SAndroid Build Coastguard Worker 
124*cc02d7e2SAndroid Build Coastguard Worker         while (len >= 16) {
125*cc02d7e2SAndroid Build Coastguard Worker             const uint8x16_t input = vld1q_u8(data);
126*cc02d7e2SAndroid Build Coastguard Worker 
127*cc02d7e2SAndroid Build Coastguard Worker             /* high_nibbles = input >> 4 */
128*cc02d7e2SAndroid Build Coastguard Worker             const uint8x16_t high_nibbles = vshrq_n_u8(input, 4);
129*cc02d7e2SAndroid Build Coastguard Worker 
130*cc02d7e2SAndroid Build Coastguard Worker             /* first_len = legal character length minus 1 */
131*cc02d7e2SAndroid Build Coastguard Worker             /* 0 for 00~7F, 1 for C0~DF, 2 for E0~EF, 3 for F0~FF */
132*cc02d7e2SAndroid Build Coastguard Worker             /* first_len = first_len_tbl[high_nibbles] */
133*cc02d7e2SAndroid Build Coastguard Worker             const uint8x16_t first_len =
134*cc02d7e2SAndroid Build Coastguard Worker                 vqtbl1q_u8(first_len_tbl, high_nibbles);
135*cc02d7e2SAndroid Build Coastguard Worker 
136*cc02d7e2SAndroid Build Coastguard Worker             /* First Byte: set range index to 8 for bytes within 0xC0 ~ 0xFF */
137*cc02d7e2SAndroid Build Coastguard Worker             /* range = first_range_tbl[high_nibbles] */
138*cc02d7e2SAndroid Build Coastguard Worker             uint8x16_t range = vqtbl1q_u8(first_range_tbl, high_nibbles);
139*cc02d7e2SAndroid Build Coastguard Worker 
140*cc02d7e2SAndroid Build Coastguard Worker             /* Second Byte: set range index to first_len */
141*cc02d7e2SAndroid Build Coastguard Worker             /* 0 for 00~7F, 1 for C0~DF, 2 for E0~EF, 3 for F0~FF */
142*cc02d7e2SAndroid Build Coastguard Worker             /* range |= (first_len, prev_first_len) << 1 byte */
143*cc02d7e2SAndroid Build Coastguard Worker             range =
144*cc02d7e2SAndroid Build Coastguard Worker                 vorrq_u8(range, vextq_u8(prev_first_len, first_len, 15));
145*cc02d7e2SAndroid Build Coastguard Worker 
146*cc02d7e2SAndroid Build Coastguard Worker             /* Third Byte: set range index to saturate_sub(first_len, 1) */
147*cc02d7e2SAndroid Build Coastguard Worker             /* 0 for 00~7F, 0 for C0~DF, 1 for E0~EF, 2 for F0~FF */
148*cc02d7e2SAndroid Build Coastguard Worker             uint8x16_t tmp1, tmp2;
149*cc02d7e2SAndroid Build Coastguard Worker             /* tmp1 = (first_len, prev_first_len) << 2 bytes */
150*cc02d7e2SAndroid Build Coastguard Worker             tmp1 = vextq_u8(prev_first_len, first_len, 14);
151*cc02d7e2SAndroid Build Coastguard Worker             /* tmp1 = saturate_sub(tmp1, 1) */
152*cc02d7e2SAndroid Build Coastguard Worker             tmp1 = vqsubq_u8(tmp1, const_1);
153*cc02d7e2SAndroid Build Coastguard Worker             /* range |= tmp1 */
154*cc02d7e2SAndroid Build Coastguard Worker             range = vorrq_u8(range, tmp1);
155*cc02d7e2SAndroid Build Coastguard Worker 
156*cc02d7e2SAndroid Build Coastguard Worker             /* Fourth Byte: set range index to saturate_sub(first_len, 2) */
157*cc02d7e2SAndroid Build Coastguard Worker             /* 0 for 00~7F, 0 for C0~DF, 0 for E0~EF, 1 for F0~FF */
158*cc02d7e2SAndroid Build Coastguard Worker             /* tmp2 = (first_len, prev_first_len) << 3 bytes */
159*cc02d7e2SAndroid Build Coastguard Worker             tmp2 = vextq_u8(prev_first_len, first_len, 13);
160*cc02d7e2SAndroid Build Coastguard Worker             /* tmp2 = saturate_sub(tmp2, 2) */
161*cc02d7e2SAndroid Build Coastguard Worker             tmp2 = vqsubq_u8(tmp2, const_2);
162*cc02d7e2SAndroid Build Coastguard Worker             /* range |= tmp2 */
163*cc02d7e2SAndroid Build Coastguard Worker             range = vorrq_u8(range, tmp2);
164*cc02d7e2SAndroid Build Coastguard Worker 
165*cc02d7e2SAndroid Build Coastguard Worker             /*
166*cc02d7e2SAndroid Build Coastguard Worker              * Now we have below range indices caluclated
167*cc02d7e2SAndroid Build Coastguard Worker              * Correct cases:
168*cc02d7e2SAndroid Build Coastguard Worker              * - 8 for C0~FF
169*cc02d7e2SAndroid Build Coastguard Worker              * - 3 for 1st byte after F0~FF
170*cc02d7e2SAndroid Build Coastguard Worker              * - 2 for 1st byte after E0~EF or 2nd byte after F0~FF
171*cc02d7e2SAndroid Build Coastguard Worker              * - 1 for 1st byte after C0~DF or 2nd byte after E0~EF or
172*cc02d7e2SAndroid Build Coastguard Worker              *         3rd byte after F0~FF
173*cc02d7e2SAndroid Build Coastguard Worker              * - 0 for others
174*cc02d7e2SAndroid Build Coastguard Worker              * Error cases:
175*cc02d7e2SAndroid Build Coastguard Worker              *   9,10,11 if non ascii First Byte overlaps
176*cc02d7e2SAndroid Build Coastguard Worker              *   E.g., F1 80 C2 90 --> 8 3 10 2, where 10 indicates error
177*cc02d7e2SAndroid Build Coastguard Worker              */
178*cc02d7e2SAndroid Build Coastguard Worker 
179*cc02d7e2SAndroid Build Coastguard Worker             /* Adjust Second Byte range for special First Bytes(E0,ED,F0,F4) */
180*cc02d7e2SAndroid Build Coastguard Worker             /* See _range_adjust_tbl[] definition for details */
181*cc02d7e2SAndroid Build Coastguard Worker             /* Overlaps lead to index 9~15, which are illegal in range table */
182*cc02d7e2SAndroid Build Coastguard Worker             uint8x16_t shift1 = vextq_u8(prev_input, input, 15);
183*cc02d7e2SAndroid Build Coastguard Worker             uint8x16_t pos = vsubq_u8(shift1, const_e0);
184*cc02d7e2SAndroid Build Coastguard Worker             range = vaddq_u8(range, vqtbl2q_u8(range_adjust_tbl, pos));
185*cc02d7e2SAndroid Build Coastguard Worker 
186*cc02d7e2SAndroid Build Coastguard Worker             /* Load min and max values per calculated range index */
187*cc02d7e2SAndroid Build Coastguard Worker             uint8x16_t minv = vqtbl1q_u8(range_min_tbl, range);
188*cc02d7e2SAndroid Build Coastguard Worker             uint8x16_t maxv = vqtbl1q_u8(range_max_tbl, range);
189*cc02d7e2SAndroid Build Coastguard Worker 
190*cc02d7e2SAndroid Build Coastguard Worker             /* Check value range */
191*cc02d7e2SAndroid Build Coastguard Worker             error1 = vorrq_u8(error1, vcltq_u8(input, minv));
192*cc02d7e2SAndroid Build Coastguard Worker             error2 = vorrq_u8(error2, vcgtq_u8(input, maxv));
193*cc02d7e2SAndroid Build Coastguard Worker 
194*cc02d7e2SAndroid Build Coastguard Worker             prev_input = input;
195*cc02d7e2SAndroid Build Coastguard Worker             prev_first_len = first_len;
196*cc02d7e2SAndroid Build Coastguard Worker 
197*cc02d7e2SAndroid Build Coastguard Worker             data += 16;
198*cc02d7e2SAndroid Build Coastguard Worker             len -= 16;
199*cc02d7e2SAndroid Build Coastguard Worker         }
200*cc02d7e2SAndroid Build Coastguard Worker         /* Merge our error counters together */
201*cc02d7e2SAndroid Build Coastguard Worker         error1 = vorrq_u8(error1, error2);
202*cc02d7e2SAndroid Build Coastguard Worker 
203*cc02d7e2SAndroid Build Coastguard Worker         /* Delay error check till loop ends */
204*cc02d7e2SAndroid Build Coastguard Worker         if (vmaxvq_u8(error1))
205*cc02d7e2SAndroid Build Coastguard Worker             return -1;
206*cc02d7e2SAndroid Build Coastguard Worker 
207*cc02d7e2SAndroid Build Coastguard Worker         /* Find previous token (not 80~BF) */
208*cc02d7e2SAndroid Build Coastguard Worker         uint32_t token4;
209*cc02d7e2SAndroid Build Coastguard Worker         vst1q_lane_u32(&token4, vreinterpretq_u32_u8(prev_input), 3);
210*cc02d7e2SAndroid Build Coastguard Worker 
211*cc02d7e2SAndroid Build Coastguard Worker         const int8_t *token = (const int8_t *)&token4;
212*cc02d7e2SAndroid Build Coastguard Worker         int lookahead = 0;
213*cc02d7e2SAndroid Build Coastguard Worker         if (token[3] > (int8_t)0xBF)
214*cc02d7e2SAndroid Build Coastguard Worker             lookahead = 1;
215*cc02d7e2SAndroid Build Coastguard Worker         else if (token[2] > (int8_t)0xBF)
216*cc02d7e2SAndroid Build Coastguard Worker             lookahead = 2;
217*cc02d7e2SAndroid Build Coastguard Worker         else if (token[1] > (int8_t)0xBF)
218*cc02d7e2SAndroid Build Coastguard Worker             lookahead = 3;
219*cc02d7e2SAndroid Build Coastguard Worker 
220*cc02d7e2SAndroid Build Coastguard Worker         data -= lookahead;
221*cc02d7e2SAndroid Build Coastguard Worker         len += lookahead;
222*cc02d7e2SAndroid Build Coastguard Worker     }
223*cc02d7e2SAndroid Build Coastguard Worker 
224*cc02d7e2SAndroid Build Coastguard Worker     /* Check remaining bytes with naive method */
225*cc02d7e2SAndroid Build Coastguard Worker     return utf8_naive(data, len);
226*cc02d7e2SAndroid Build Coastguard Worker }
227*cc02d7e2SAndroid Build Coastguard Worker 
228*cc02d7e2SAndroid Build Coastguard Worker #endif
229