Perf tuning for gcc + aarch64

This commit is contained in:
Mathias Stearn 2024-01-18 15:07:21 +00:00
parent 27f34a580b
commit 5ec5d16bd6
2 changed files with 83 additions and 20 deletions

View File

@ -233,9 +233,7 @@ static inline std::pair<size_t, bool> FindMatchLength(const char* s1,
int shift = Bits::FindLSBSetNonZero64(xorval); int shift = Bits::FindLSBSetNonZero64(xorval);
size_t matched_bytes = shift >> 3; size_t matched_bytes = shift >> 3;
uint64_t a3 = UNALIGNED_LOAD64(s2 + 4); uint64_t a3 = UNALIGNED_LOAD64(s2 + 4);
#ifndef __x86_64__ #ifdef __x86_64__
a2 = static_cast<uint32_t>(xorval) == 0 ? a3 : a2;
#else
// Ideally this would just be // Ideally this would just be
// //
// a2 = static_cast<uint32_t>(xorval) == 0 ? a3 : a2; // a2 = static_cast<uint32_t>(xorval) == 0 ? a3 : a2;
@ -250,6 +248,14 @@ static inline std::pair<size_t, bool> FindMatchLength(const char* s1,
: "+r"(a2) : "+r"(a2)
: "r"(a3), "r"(xorval) : "r"(a3), "r"(xorval)
: "cc"); : "cc");
#elif defined(__aarch64__)
asm("cmp %w[xorval], 0\n\t"
"csel %x[a2], %[a3], %[a2], eq\n\t"
: [a2] "+r" (a2)
: [a3] "r" (a3) , [xorval] "r" (xorval)
: "cc");
#else
a2 = static_cast<uint32_t>(xorval) == 0 ? a3 : a2;
#endif #endif
*data = a2 >> (shift & (3 * 8)); *data = a2 >> (shift & (3 * 8));
return std::pair<size_t, bool>(matched_bytes, true); return std::pair<size_t, bool>(matched_bytes, true);
@ -276,14 +282,20 @@ static inline std::pair<size_t, bool> FindMatchLength(const char* s1,
int shift = Bits::FindLSBSetNonZero64(xorval); int shift = Bits::FindLSBSetNonZero64(xorval);
size_t matched_bytes = shift >> 3; size_t matched_bytes = shift >> 3;
uint64_t a3 = UNALIGNED_LOAD64(s2 + 4); uint64_t a3 = UNALIGNED_LOAD64(s2 + 4);
#ifndef __x86_64__ #ifdef __x86_64__
a2 = static_cast<uint32_t>(xorval) == 0 ? a3 : a2;
#else
asm("testl %k2, %k2\n\t" asm("testl %k2, %k2\n\t"
"cmovzq %1, %0\n\t" "cmovzq %1, %0\n\t"
: "+r"(a2) : "+r"(a2)
: "r"(a3), "r"(xorval) : "r"(a3), "r"(xorval)
: "cc"); : "cc");
#elif defined(__aarch64__)
asm("cmp %w[xorval], 0\n\t"
"csel %x[a2], %[a3], %[a2], eq\n\t"
: [a2] "+r" (a2)
: [a3] "r" (a3) , [xorval] "r" (xorval)
: "cc");
#else
a2 = static_cast<uint32_t>(xorval) == 0 ? a3 : a2;
#endif #endif
*data = a2 >> (shift & (3 * 8)); *data = a2 >> (shift & (3 * 8));
matched += matched_bytes; matched += matched_bytes;

View File

@ -100,6 +100,57 @@ using internal::V128_StoreU;
using internal::V128_DupChar; using internal::V128_DupChar;
#endif #endif
// GCC dispatches to libc for memmoves > 16 bytes, so we need to
// do some work to get good code from that compiler. Clang handles
// powers-of-2 at least up to 64 well.
#if !defined(__GNUC__) || defined(__clang__)
template <size_t SIZE>
SNAPPY_ATTRIBUTE_ALWAYS_INLINE
inline void FixedSizeMemMove(void* dest, const void* src) {
memmove(dest, src, SIZE);
}
#else
template <size_t SIZE>
SNAPPY_ATTRIBUTE_ALWAYS_INLINE
inline void FixedSizeMemMove(void* dest, const void* src) {
if (SIZE <= 16) {
// gcc has patterns for memmove up to 16 bytes
memmove(dest, src, SIZE);
} else {
// This generates reasonable code on x86_64, but on aarch64 this produces a
// dead store to tmp, plus takes up stack space.
char tmp[SIZE];
memcpy(tmp, src, SIZE);
memcpy(dest, tmp, SIZE);
}
}
#ifdef __aarch64__ // Implies neon support
template <>
SNAPPY_ATTRIBUTE_ALWAYS_INLINE
inline void FixedSizeMemMove<32>(void* dest, const void* src) {
V128 a = V128_LoadU(reinterpret_cast<const V128*>(src));
V128 b = V128_LoadU(reinterpret_cast<const V128*>(src) + 1);
V128_StoreU(reinterpret_cast<V128*>(dest), a);
V128_StoreU(reinterpret_cast<V128*>(dest) + 1, b);
}
template <>
SNAPPY_ATTRIBUTE_ALWAYS_INLINE
inline void FixedSizeMemMove<64>(void* dest, const void* src) {
V128 a = V128_LoadU(reinterpret_cast<const V128*>(src));
V128 b = V128_LoadU(reinterpret_cast<const V128*>(src) + 1);
V128 c = V128_LoadU(reinterpret_cast<const V128*>(src) + 2);
V128 d = V128_LoadU(reinterpret_cast<const V128*>(src) + 3);
V128_StoreU(reinterpret_cast<V128*>(dest), a);
V128_StoreU(reinterpret_cast<V128*>(dest) + 1, b);
V128_StoreU(reinterpret_cast<V128*>(dest) + 2, c);
V128_StoreU(reinterpret_cast<V128*>(dest) + 3, d);
}
#endif
#endif
// We translate the information encoded in a tag through a lookup table to a // We translate the information encoded in a tag through a lookup table to a
// format that requires fewer instructions to decode. Effectively we store // format that requires fewer instructions to decode. Effectively we store
// the length minus the tag part of the offset. The lowest significant byte // the length minus the tag part of the offset. The lowest significant byte
@ -1060,13 +1111,18 @@ void MemCopy64(char* dst, const void* src, size_t size) {
data = _mm256_lddqu_si256(static_cast<const __m256i *>(src) + 1); data = _mm256_lddqu_si256(static_cast<const __m256i *>(src) + 1);
_mm256_storeu_si256(reinterpret_cast<__m256i *>(dst) + 1, data); _mm256_storeu_si256(reinterpret_cast<__m256i *>(dst) + 1, data);
} }
#elif defined(__aarch64__)
// Emperically it is faster to just copy all 64 rather than branching.
(void)kShortMemCopy;
(void)size;
FixedSizeMemMove<64>(dst, src);
#else #else
std::memmove(dst, src, kShortMemCopy); FixedSizeMemMove<kShortMemCopy>(dst, src);
// Profiling shows that nearly all copies are short. // Profiling shows that nearly all copies are short.
if (SNAPPY_PREDICT_FALSE(size > kShortMemCopy)) { if (SNAPPY_PREDICT_FALSE(size > kShortMemCopy)) {
std::memmove(dst + kShortMemCopy, FixedSizeMemMove<kShortMemCopy>(
static_cast<const uint8_t*>(src) + kShortMemCopy, dst + kShortMemCopy,
64 - kShortMemCopy); static_cast<const uint8_t*>(src) + kShortMemCopy);
} }
#endif #endif
} }
@ -1102,14 +1158,9 @@ inline size_t AdvanceToNextTagARMOptimized(const uint8_t** ip_p, size_t* tag) {
// instruction (csinc) and it removes several register moves. // instruction (csinc) and it removes several register moves.
const size_t tag_type = *tag & 3; const size_t tag_type = *tag & 3;
const bool is_literal = (tag_type == 0); const bool is_literal = (tag_type == 0);
if (is_literal) { const size_t next_tag = is_literal ? (*tag >> 2) + 1 : tag_type;
size_t next_literal_tag = (*tag >> 2) + 1; *tag = ip[next_tag];
*tag = ip[next_literal_tag]; ip += (next_tag) + 1;
ip += next_literal_tag + 1;
} else {
*tag = ip[tag_type];
ip += tag_type + 1;
}
return tag_type; return tag_type;
} }
@ -2013,7 +2064,7 @@ class SnappyArrayWriter {
*op_p = IncrementalCopy(op - offset, op, op_end, op_limit_); *op_p = IncrementalCopy(op - offset, op, op_end, op_limit_);
return true; return true;
} }
std::memmove(op, op - offset, kSlopBytes); FixedSizeMemMove<kSlopBytes>(op, op - offset);
*op_p = op_end; *op_p = op_end;
return true; return true;
} }
@ -2265,7 +2316,7 @@ class SnappyScatteredWriter {
} }
// Fast path // Fast path
char* const op_end = op + len; char* const op_end = op + len;
std::memmove(op, op - offset, kSlopBytes); FixedSizeMemMove<kSlopBytes>(op, op - offset);
*op_p = op_end; *op_p = op_end;
return true; return true;
} }