1use crate::iter::Bytes;
23#[inline]
4#[target_feature(enable = "avx2")]
5pub unsafe fn match_uri_vectored(bytes: &mut Bytes) {
6while bytes.as_ref().len() >= 32 {
78let advance = match_url_char_32_avx(bytes.as_ref());
910 bytes.advance(advance);
1112if advance != 32 {
13return;
14 }
15 }
16// NOTE: use SWAR for <32B, more efficient than falling back to SSE4.2
17super::swar::match_uri_vectored(bytes)
18}
1920#[inline(always)]
21#[allow(non_snake_case, overflowing_literals)]
22#[allow(unused)]
23unsafe fn match_url_char_32_avx(buf: &[u8]) -> usize {
24// NOTE: This check might be not necessary since this function is only used in
25 // `match_uri_vectored` where buffer overflow is taken care of.
26debug_assert!(buf.len() >= 32);
2728#[cfg(target_arch = "x86")]
29use core::arch::x86::*;
30#[cfg(target_arch = "x86_64")]
31use core::arch::x86_64::*;
3233// pointer to buffer
34let ptr = buf.as_ptr();
3536// %x21-%x7e %x80-%xff
37 //
38 // Character ranges allowed by this function, can also be interpreted as:
39 // 33 =< (x != 127) =< 255
40 //
41 // Create a vector full of DEL (0x7f) characters.
42let DEL: __m256i = _mm256_set1_epi8(0x7f);
43// Create a vector full of exclamation mark (!) (0x21) characters.
44 // Used as lower threshold, characters in URLs cannot be smaller than this.
45let LOW: __m256i = _mm256_set1_epi8(0x21);
4647// Load a chunk of 32 bytes from `ptr` as a vector.
48 // We can check 32 bytes in parallel at most with AVX2 since
49 // YMM registers can only have 256 bits most.
50let dat = _mm256_lddqu_si256(ptr as *const _);
5152// unsigned comparison dat >= LOW
53 //
54 // `_mm256_max_epu8` creates a new vector by comparing vectors `dat` and `LOW`
55 // and picks the max. values from each for all indices.
56 // So if a byte in `dat` is <= 32, it'll be represented as 33
57 // which is the smallest valid character.
58 //
59 // Then, we compare the new vector with `dat` for equality.
60 //
61 // `_mm256_cmpeq_epi8` returns a new vector where;
62 // * matching bytes are set to 0xFF (all bits set),
63 // * nonmatching bytes are set to 0 (no bits set).
64let low = _mm256_cmpeq_epi8(_mm256_max_epu8(dat, LOW), dat);
65// Similar to what we did before, but now invalid characters are set to 0xFF.
66let del = _mm256_cmpeq_epi8(dat, DEL);
6768// We glue the both comparisons via `_mm256_andnot_si256`.
69 //
70 // Since the representation of truthiness differ in these comparisons,
71 // we are in need of bitwise NOT to convert valid characters of `del`.
72let bit = _mm256_andnot_si256(del, low);
73// This creates a bitmask from the most significant bit of each byte.
74 // Simply, we're converting a vector value to scalar value here.
75let res = _mm256_movemask_epi8(bit) as u32;
7677// Count trailing zeros to find the first encountered invalid character.
78 // Bitwise NOT is required once again to flip truthiness.
79 // TODO: use .trailing_ones() once MSRV >= 1.46
80(!res).trailing_zeros() as usize
81}
8283#[target_feature(enable = "avx2")]
84pub unsafe fn match_header_value_vectored(bytes: &mut Bytes) {
85while bytes.as_ref().len() >= 32 {
86let advance = match_header_value_char_32_avx(bytes.as_ref());
87 bytes.advance(advance);
8889if advance != 32 {
90return;
91 }
92 }
93// NOTE: use SWAR for <32B, more efficient than falling back to SSE4.2
94super::swar::match_header_value_vectored(bytes)
95}
9697#[inline(always)]
98#[allow(non_snake_case)]
99#[allow(unused)]
100unsafe fn match_header_value_char_32_avx(buf: &[u8]) -> usize {
101debug_assert!(buf.len() >= 32);
102103#[cfg(target_arch = "x86")]
104use core::arch::x86::*;
105#[cfg(target_arch = "x86_64")]
106use core::arch::x86_64::*;
107108let ptr = buf.as_ptr();
109110// %x09 %x20-%x7e %x80-%xff
111 // Create a vector full of horizontal tab (\t) (0x09) characters.
112let TAB: __m256i = _mm256_set1_epi8(0x09);
113// Create a vector full of DEL (0x7f) characters.
114let DEL: __m256i = _mm256_set1_epi8(0x7f);
115// Create a vector full of space (0x20) characters.
116let LOW: __m256i = _mm256_set1_epi8(0x20);
117118// Load a chunk of 32 bytes from `ptr` as a vector.
119let dat = _mm256_lddqu_si256(ptr as *const _);
120121// unsigned comparison dat >= LOW
122 //
123 // Same as what we do in `match_url_char_32_avx`.
124 // This time the lower threshold is set to space character though.
125let low = _mm256_cmpeq_epi8(_mm256_max_epu8(dat, LOW), dat);
126// Check if `dat` includes `TAB` characters.
127let tab = _mm256_cmpeq_epi8(dat, TAB);
128// Check if `dat` includes `DEL` characters.
129let del = _mm256_cmpeq_epi8(dat, DEL);
130131// Combine all comparisons together, notice that we're also using OR
132 // to connect `low` and `tab` but flip bits of `del`.
133 //
134 // In the end, this is simply:
135 // ~del & (low | tab)
136let bit = _mm256_andnot_si256(del, _mm256_or_si256(low, tab));
137// This creates a bitmask from the most significant bit of each byte.
138 // Creates a scalar value from vector value.
139let res = _mm256_movemask_epi8(bit) as u32;
140141// Count trailing zeros to find the first encountered invalid character.
142 // Bitwise NOT is required once again to flip truthiness.
143 // TODO: use .trailing_ones() once MSRV >= 1.46
144(!res).trailing_zeros() as usize
145}
146147#[test]
148fn avx2_code_matches_uri_chars_table() {
149if !is_x86_feature_detected!("avx2") {
150return;
151 }
152153#[allow(clippy::undocumented_unsafe_blocks)]
154unsafe {
155assert!(byte_is_allowed(b'_', match_uri_vectored));
156157for (b, allowed) in crate::URI_MAP.iter().cloned().enumerate() {
158assert_eq!(
159 byte_is_allowed(b as u8, match_uri_vectored), allowed,
160"byte_is_allowed({:?}) should be {:?}", b, allowed,
161 );
162 }
163 }
164}
165166#[test]
167fn avx2_code_matches_header_value_chars_table() {
168if !is_x86_feature_detected!("avx2") {
169return;
170 }
171172#[allow(clippy::undocumented_unsafe_blocks)]
173unsafe {
174assert!(byte_is_allowed(b'_', match_header_value_vectored));
175176for (b, allowed) in crate::HEADER_VALUE_MAP.iter().cloned().enumerate() {
177assert_eq!(
178 byte_is_allowed(b as u8, match_header_value_vectored), allowed,
179"byte_is_allowed({:?}) should be {:?}", b, allowed,
180 );
181 }
182 }
183}
184185#[cfg(test)]
186unsafe fn byte_is_allowed(byte: u8, f: unsafe fn(bytes: &mut Bytes<'_>)) -> bool {
187let slice = [
188b'_', b'_', b'_', b'_',
189b'_', b'_', b'_', b'_',
190b'_', b'_', b'_', b'_',
191b'_', b'_', b'_', b'_',
192b'_', b'_', b'_', b'_',
193b'_', b'_', b'_', b'_',
194b'_', b'_', byte, b'_',
195b'_', b'_', b'_', b'_',
196 ];
197let mut bytes = Bytes::new(&slice);
198199 f(&mut bytes);
200201match bytes.pos() {
20232 => true,
20326 => false,
204_ => unreachable!(),
205 }
206}