2016-02-16 16:42:00 +00:00
|
|
|
#pragma once
|
|
|
|
|
2017-03-11 00:27:59 +00:00
|
|
|
#include <cstdint>
|
2020-03-26 22:28:15 +00:00
|
|
|
#include <string>
|
2017-03-11 00:27:59 +00:00
|
|
|
|
2019-01-31 15:38:21 +00:00
|
|
|
#if defined(__SSE2__)
|
2017-04-01 07:20:54 +00:00
|
|
|
#include <emmintrin.h>
|
2017-01-27 19:55:33 +00:00
|
|
|
#endif
|
2019-01-31 15:38:21 +00:00
|
|
|
#if defined(__SSE4_2__)
|
2017-04-01 07:20:54 +00:00
|
|
|
#include <nmmintrin.h>
|
2016-02-16 16:42:00 +00:00
|
|
|
#endif
|
|
|
|
|
2016-02-17 02:39:43 +00:00
|
|
|
|
2018-11-25 00:08:50 +00:00
|
|
|
/** find_first_symbols<c1, c2, ...>(begin, end):
|
|
|
|
*
|
|
|
|
* Allow to search for next character from the set of 'symbols...' in a string.
|
2017-12-19 19:32:13 +00:00
|
|
|
* It is similar to 'strpbrk', 'strcspn' (and 'strchr', 'memchr' in the case of one symbol and '\0'),
|
2017-12-19 19:30:25 +00:00
|
|
|
* but with the following differencies:
|
|
|
|
* - works with any memory ranges, including containing zero bytes;
|
|
|
|
* - doesn't require terminating zero byte: end of memory range is passed explicitly;
|
2019-08-23 23:07:05 +00:00
|
|
|
* - if not found, returns pointer to end instead of nullptr;
|
2017-12-19 19:30:25 +00:00
|
|
|
* - maximum number of symbols to search is 16.
|
2016-02-17 02:39:43 +00:00
|
|
|
*
|
2017-12-19 19:30:25 +00:00
|
|
|
* Uses SSE 2 in case of small number of symbols for search and SSE 4.2 in the case of large number of symbols,
|
|
|
|
* that have more than 2x performance advantage over trivial loop
|
|
|
|
* in the case of parsing tab-separated dump with (probably escaped) string fields.
|
|
|
|
* In the case of parsing tab separated dump with short strings, there is no performance degradation over trivial loop.
|
2016-02-17 02:39:43 +00:00
|
|
|
*
|
2017-12-19 19:30:25 +00:00
|
|
|
* Note: the optimal threshold to choose between SSE 2 and SSE 4.2 may depend on CPU model.
|
2018-11-25 00:08:50 +00:00
|
|
|
*
|
|
|
|
* find_last_symbols_or_null<c1, c2, ...>(begin, end):
|
|
|
|
*
|
|
|
|
* Allow to search for the last matching character in a string.
|
|
|
|
* If no such characters, returns nullptr.
|
2016-02-17 02:39:43 +00:00
|
|
|
*/
|
|
|
|
|
2016-02-16 16:42:00 +00:00
|
|
|
namespace detail
|
|
|
|
{
|
|
|
|
|
|
|
|
template <char s0>
|
|
|
|
inline bool is_in(char x)
|
|
|
|
{
|
2017-04-01 07:20:54 +00:00
|
|
|
return x == s0;
|
2016-02-16 16:42:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
template <char s0, char s1, char... tail>
|
|
|
|
inline bool is_in(char x)
|
|
|
|
{
|
2017-04-01 07:20:54 +00:00
|
|
|
return x == s0 || is_in<s1, tail...>(x);
|
2016-02-16 16:42:00 +00:00
|
|
|
}
|
|
|
|
|
2019-01-31 15:38:21 +00:00
|
|
|
#if defined(__SSE2__)
|
2016-02-16 16:42:00 +00:00
|
|
|
template <char s0>
|
|
|
|
inline __m128i mm_is_in(__m128i bytes)
|
|
|
|
{
|
2017-04-01 07:20:54 +00:00
|
|
|
__m128i eq0 = _mm_cmpeq_epi8(bytes, _mm_set1_epi8(s0));
|
|
|
|
return eq0;
|
2016-02-16 16:42:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
template <char s0, char s1, char... tail>
|
|
|
|
inline __m128i mm_is_in(__m128i bytes)
|
|
|
|
{
|
2017-04-01 07:20:54 +00:00
|
|
|
__m128i eq0 = _mm_cmpeq_epi8(bytes, _mm_set1_epi8(s0));
|
|
|
|
__m128i eq = mm_is_in<s1, tail...>(bytes);
|
|
|
|
return _mm_or_si128(eq0, eq);
|
2016-02-16 16:42:00 +00:00
|
|
|
}
|
2017-01-13 19:01:45 +00:00
|
|
|
#endif
|
2016-02-16 16:42:00 +00:00
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
template <bool positive>
|
|
|
|
bool maybe_negate(bool x)
|
|
|
|
{
|
|
|
|
if constexpr (positive)
|
|
|
|
return x;
|
|
|
|
else
|
|
|
|
return !x;
|
|
|
|
}
|
2016-02-16 16:42:00 +00:00
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
template <bool positive>
|
|
|
|
uint16_t maybe_negate(uint16_t x)
|
2016-02-16 16:42:00 +00:00
|
|
|
{
|
2019-08-23 20:32:31 +00:00
|
|
|
if constexpr (positive)
|
|
|
|
return x;
|
|
|
|
else
|
|
|
|
return ~x;
|
|
|
|
}
|
|
|
|
|
|
|
|
enum class ReturnMode
|
|
|
|
{
|
|
|
|
End,
|
|
|
|
Nullptr,
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
template <bool positive, ReturnMode return_mode, char... symbols>
|
|
|
|
inline const char * find_first_symbols_sse2(const char * const begin, const char * const end)
|
|
|
|
{
|
|
|
|
const char * pos = begin;
|
|
|
|
|
2019-01-31 15:38:21 +00:00
|
|
|
#if defined(__SSE2__)
|
2019-08-23 20:32:31 +00:00
|
|
|
for (; pos + 15 < end; pos += 16)
|
2017-04-01 07:20:54 +00:00
|
|
|
{
|
2019-08-23 20:32:31 +00:00
|
|
|
__m128i bytes = _mm_loadu_si128(reinterpret_cast<const __m128i *>(pos));
|
2016-02-16 16:42:00 +00:00
|
|
|
|
2017-04-01 07:20:54 +00:00
|
|
|
__m128i eq = mm_is_in<symbols...>(bytes);
|
2016-02-16 16:42:00 +00:00
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
uint16_t bit_mask = maybe_negate<positive>(uint16_t(_mm_movemask_epi8(eq)));
|
2017-04-01 07:20:54 +00:00
|
|
|
if (bit_mask)
|
2019-08-23 20:32:31 +00:00
|
|
|
return pos + __builtin_ctz(bit_mask);
|
2017-04-01 07:20:54 +00:00
|
|
|
}
|
2016-02-16 16:42:00 +00:00
|
|
|
#endif
|
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
for (; pos < end; ++pos)
|
|
|
|
if (maybe_negate<positive>(is_in<symbols...>(*pos)))
|
|
|
|
return pos;
|
|
|
|
|
|
|
|
return return_mode == ReturnMode::End ? end : nullptr;
|
2016-02-17 02:39:43 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
template <bool positive, ReturnMode return_mode, char... symbols>
|
|
|
|
inline const char * find_last_symbols_sse2(const char * const begin, const char * const end)
|
2018-11-25 00:08:50 +00:00
|
|
|
{
|
2019-08-23 20:32:31 +00:00
|
|
|
const char * pos = end;
|
|
|
|
|
2019-01-31 15:38:21 +00:00
|
|
|
#if defined(__SSE2__)
|
2019-08-23 20:32:31 +00:00
|
|
|
for (; pos - 16 >= begin; pos -= 16) /// Assuming the pointer cannot overflow. Assuming we can compare these pointers.
|
2018-11-25 00:08:50 +00:00
|
|
|
{
|
2019-08-23 20:32:31 +00:00
|
|
|
__m128i bytes = _mm_loadu_si128(reinterpret_cast<const __m128i *>(pos - 16));
|
2018-11-25 00:08:50 +00:00
|
|
|
|
|
|
|
__m128i eq = mm_is_in<symbols...>(bytes);
|
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
uint16_t bit_mask = maybe_negate<positive>(uint16_t(_mm_movemask_epi8(eq)));
|
2018-11-25 00:08:50 +00:00
|
|
|
if (bit_mask)
|
2019-08-23 20:32:31 +00:00
|
|
|
return pos - 1 - (__builtin_clz(bit_mask) - 16); /// because __builtin_clz works with mask as uint32.
|
2018-11-25 00:08:50 +00:00
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
--pos;
|
|
|
|
for (; pos >= begin; --pos)
|
|
|
|
if (maybe_negate<positive>(is_in<symbols...>(*pos)))
|
|
|
|
return pos;
|
2018-11-25 00:08:50 +00:00
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
return return_mode == ReturnMode::End ? end : nullptr;
|
2018-11-25 00:08:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
template <bool positive, ReturnMode return_mode, size_t num_chars,
|
2017-04-01 07:20:54 +00:00
|
|
|
char c01, char c02 = 0, char c03 = 0, char c04 = 0,
|
|
|
|
char c05 = 0, char c06 = 0, char c07 = 0, char c08 = 0,
|
|
|
|
char c09 = 0, char c10 = 0, char c11 = 0, char c12 = 0,
|
|
|
|
char c13 = 0, char c14 = 0, char c15 = 0, char c16 = 0>
|
2019-08-23 20:32:31 +00:00
|
|
|
inline const char * find_first_symbols_sse42_impl(const char * const begin, const char * const end)
|
2016-02-17 02:39:43 +00:00
|
|
|
{
|
2019-08-23 20:32:31 +00:00
|
|
|
const char * pos = begin;
|
|
|
|
|
2019-01-31 15:38:21 +00:00
|
|
|
#if defined(__SSE4_2__)
|
2016-02-18 11:46:08 +00:00
|
|
|
#define MODE (_SIDD_UBYTE_OPS | _SIDD_CMP_EQUAL_ANY | _SIDD_LEAST_SIGNIFICANT)
|
2017-04-01 07:20:54 +00:00
|
|
|
__m128i set = _mm_setr_epi8(c01, c02, c03, c04, c05, c06, c07, c08, c09, c10, c11, c12, c13, c14, c15, c16);
|
2016-02-17 02:39:43 +00:00
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
for (; pos + 15 < end; pos += 16)
|
2017-04-01 07:20:54 +00:00
|
|
|
{
|
2019-08-23 20:32:31 +00:00
|
|
|
__m128i bytes = _mm_loadu_si128(reinterpret_cast<const __m128i *>(pos));
|
|
|
|
|
|
|
|
if constexpr (positive)
|
|
|
|
{
|
|
|
|
if (_mm_cmpestrc(set, num_chars, bytes, 16, MODE))
|
|
|
|
return pos + _mm_cmpestri(set, num_chars, bytes, 16, MODE);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
if (_mm_cmpestrc(set, num_chars, bytes, 16, MODE | _SIDD_NEGATIVE_POLARITY))
|
|
|
|
return pos + _mm_cmpestri(set, num_chars, bytes, 16, MODE | _SIDD_NEGATIVE_POLARITY);
|
|
|
|
}
|
2017-04-01 07:20:54 +00:00
|
|
|
}
|
2016-02-18 11:46:08 +00:00
|
|
|
#undef MODE
|
2016-02-17 02:39:43 +00:00
|
|
|
#endif
|
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
for (; pos < end; ++pos)
|
|
|
|
if ( (num_chars >= 1 && maybe_negate<positive>(*pos == c01))
|
|
|
|
|| (num_chars >= 2 && maybe_negate<positive>(*pos == c02))
|
|
|
|
|| (num_chars >= 3 && maybe_negate<positive>(*pos == c03))
|
|
|
|
|| (num_chars >= 4 && maybe_negate<positive>(*pos == c04))
|
|
|
|
|| (num_chars >= 5 && maybe_negate<positive>(*pos == c05))
|
|
|
|
|| (num_chars >= 6 && maybe_negate<positive>(*pos == c06))
|
|
|
|
|| (num_chars >= 7 && maybe_negate<positive>(*pos == c07))
|
|
|
|
|| (num_chars >= 8 && maybe_negate<positive>(*pos == c08))
|
|
|
|
|| (num_chars >= 9 && maybe_negate<positive>(*pos == c09))
|
|
|
|
|| (num_chars >= 10 && maybe_negate<positive>(*pos == c10))
|
|
|
|
|| (num_chars >= 11 && maybe_negate<positive>(*pos == c11))
|
|
|
|
|| (num_chars >= 12 && maybe_negate<positive>(*pos == c12))
|
|
|
|
|| (num_chars >= 13 && maybe_negate<positive>(*pos == c13))
|
2019-08-23 23:07:05 +00:00
|
|
|
|| (num_chars >= 14 && maybe_negate<positive>(*pos == c14))
|
2019-08-23 20:32:31 +00:00
|
|
|
|| (num_chars >= 15 && maybe_negate<positive>(*pos == c15))
|
|
|
|
|| (num_chars >= 16 && maybe_negate<positive>(*pos == c16)))
|
|
|
|
return pos;
|
|
|
|
return return_mode == ReturnMode::End ? end : nullptr;
|
2016-02-16 16:42:00 +00:00
|
|
|
}
|
2016-02-17 02:39:43 +00:00
|
|
|
|
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
template <bool positive, ReturnMode return_mode, char... symbols>
|
2016-02-17 02:39:43 +00:00
|
|
|
inline const char * find_first_symbols_sse42(const char * begin, const char * end)
|
|
|
|
{
|
2019-08-23 20:32:31 +00:00
|
|
|
return find_first_symbols_sse42_impl<positive, return_mode, sizeof...(symbols), symbols...>(begin, end);
|
2016-02-17 02:39:43 +00:00
|
|
|
}
|
|
|
|
|
2018-11-25 00:08:50 +00:00
|
|
|
/// NOTE No SSE 4.2 implementation for find_last_symbols_or_null. Not worth to do.
|
|
|
|
|
2019-08-23 20:32:31 +00:00
|
|
|
template <bool positive, ReturnMode return_mode, char... symbols>
|
2018-08-25 23:59:53 +00:00
|
|
|
inline const char * find_first_symbols_dispatch(const char * begin, const char * end)
|
2016-02-17 02:39:43 +00:00
|
|
|
{
|
2019-01-31 15:38:21 +00:00
|
|
|
#if defined(__SSE4_2__)
|
2017-04-01 07:20:54 +00:00
|
|
|
if (sizeof...(symbols) >= 5)
|
2019-08-23 20:32:31 +00:00
|
|
|
return find_first_symbols_sse42<positive, return_mode, symbols...>(begin, end);
|
2017-04-01 07:20:54 +00:00
|
|
|
else
|
2017-01-27 19:55:33 +00:00
|
|
|
#endif
|
2019-08-23 20:32:31 +00:00
|
|
|
return find_first_symbols_sse2<positive, return_mode, symbols...>(begin, end);
|
2016-02-17 02:39:43 +00:00
|
|
|
}
|
2018-08-25 15:32:55 +00:00
|
|
|
|
2018-08-25 23:59:53 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2018-08-27 15:27:23 +00:00
|
|
|
template <char... symbols>
|
|
|
|
inline const char * find_first_symbols(const char * begin, const char * end)
|
|
|
|
{
|
2019-08-23 20:32:31 +00:00
|
|
|
return detail::find_first_symbols_dispatch<true, detail::ReturnMode::End, symbols...>(begin, end);
|
2018-08-27 15:27:23 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Returning non const result for non const arguments.
|
2018-08-25 23:59:53 +00:00
|
|
|
/// It is convenient when you are using this function to iterate through non-const buffer.
|
2018-08-25 15:32:55 +00:00
|
|
|
template <char... symbols>
|
2018-08-27 15:27:23 +00:00
|
|
|
inline char * find_first_symbols(char * begin, char * end)
|
2018-08-25 15:32:55 +00:00
|
|
|
{
|
2019-08-23 20:32:31 +00:00
|
|
|
return const_cast<char *>(detail::find_first_symbols_dispatch<true, detail::ReturnMode::End, symbols...>(begin, end));
|
|
|
|
}
|
|
|
|
|
|
|
|
template <char... symbols>
|
|
|
|
inline const char * find_first_not_symbols(const char * begin, const char * end)
|
|
|
|
{
|
|
|
|
return detail::find_first_symbols_dispatch<false, detail::ReturnMode::End, symbols...>(begin, end);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <char... symbols>
|
|
|
|
inline char * find_first_not_symbols(char * begin, char * end)
|
|
|
|
{
|
|
|
|
return const_cast<char *>(detail::find_first_symbols_dispatch<false, detail::ReturnMode::End, symbols...>(begin, end));
|
|
|
|
}
|
|
|
|
|
|
|
|
template <char... symbols>
|
|
|
|
inline const char * find_first_symbols_or_null(const char * begin, const char * end)
|
|
|
|
{
|
|
|
|
return detail::find_first_symbols_dispatch<true, detail::ReturnMode::Nullptr, symbols...>(begin, end);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <char... symbols>
|
|
|
|
inline char * find_first_symbols_or_null(char * begin, char * end)
|
|
|
|
{
|
|
|
|
return const_cast<char *>(detail::find_first_symbols_dispatch<true, detail::ReturnMode::Nullptr, symbols...>(begin, end));
|
|
|
|
}
|
|
|
|
|
|
|
|
template <char... symbols>
|
|
|
|
inline const char * find_first_not_symbols_or_null(const char * begin, const char * end)
|
|
|
|
{
|
|
|
|
return detail::find_first_symbols_dispatch<false, detail::ReturnMode::Nullptr, symbols...>(begin, end);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <char... symbols>
|
|
|
|
inline char * find_first_not_symbols_or_null(char * begin, char * end)
|
|
|
|
{
|
|
|
|
return const_cast<char *>(detail::find_first_symbols_dispatch<false, detail::ReturnMode::Nullptr, symbols...>(begin, end));
|
2018-08-25 15:32:55 +00:00
|
|
|
}
|
2018-11-25 00:08:50 +00:00
|
|
|
|
|
|
|
|
|
|
|
template <char... symbols>
|
|
|
|
inline const char * find_last_symbols_or_null(const char * begin, const char * end)
|
|
|
|
{
|
2019-08-23 20:32:31 +00:00
|
|
|
return detail::find_last_symbols_sse2<true, detail::ReturnMode::Nullptr, symbols...>(begin, end);
|
2018-11-25 00:08:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
template <char... symbols>
|
|
|
|
inline char * find_last_symbols_or_null(char * begin, char * end)
|
|
|
|
{
|
2019-08-23 20:32:31 +00:00
|
|
|
return const_cast<char *>(detail::find_last_symbols_sse2<true, detail::ReturnMode::Nullptr, symbols...>(begin, end));
|
|
|
|
}
|
|
|
|
|
|
|
|
template <char... symbols>
|
|
|
|
inline const char * find_last_not_symbols_or_null(const char * begin, const char * end)
|
|
|
|
{
|
|
|
|
return detail::find_last_symbols_sse2<false, detail::ReturnMode::Nullptr, symbols...>(begin, end);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <char... symbols>
|
|
|
|
inline char * find_last_not_symbols_or_null(char * begin, char * end)
|
|
|
|
{
|
|
|
|
return const_cast<char *>(detail::find_last_symbols_sse2<false, detail::ReturnMode::Nullptr, symbols...>(begin, end));
|
2018-11-25 00:08:50 +00:00
|
|
|
}
|
2020-03-19 23:48:53 +00:00
|
|
|
|
|
|
|
|
|
|
|
/// Slightly resembles boost::split. The drawback of boost::split is that it fires a false positive in clang static analyzer.
|
|
|
|
/// See https://github.com/boostorg/algorithm/issues/63
|
|
|
|
/// And https://bugs.llvm.org/show_bug.cgi?id=41141
|
|
|
|
template <char... symbols, typename To>
|
|
|
|
inline void splitInto(To & to, const std::string & what, bool token_compress = false)
|
|
|
|
{
|
|
|
|
const char * pos = what.data();
|
|
|
|
const char * end = pos + what.size();
|
|
|
|
while (pos < end)
|
|
|
|
{
|
2020-03-19 23:51:00 +00:00
|
|
|
const char * delimiter_or_end = find_first_symbols<symbols...>(pos, end);
|
2020-03-19 23:48:53 +00:00
|
|
|
|
2020-03-21 02:52:37 +00:00
|
|
|
if (!token_compress || pos < delimiter_or_end)
|
2020-08-07 19:44:53 +00:00
|
|
|
to.emplace_back(pos, delimiter_or_end - pos);
|
2020-03-19 23:48:53 +00:00
|
|
|
|
|
|
|
if (delimiter_or_end < end)
|
|
|
|
pos = delimiter_or_end + 1;
|
|
|
|
else
|
|
|
|
pos = delimiter_or_end;
|
|
|
|
}
|
|
|
|
}
|