From c519bd870fbb719fe147984b1a2aeff81316172c Mon Sep 17 00:00:00 2001 From: John Naylor Date: Tue, 25 Mar 2025 15:19:16 +0700 Subject: [PATCH v15 3/3] Add debug for CI XXX not for commit --- src/port/pg_crc32c_sse42.c | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/src/port/pg_crc32c_sse42.c b/src/port/pg_crc32c_sse42.c index f392eb5b236..3b9c448486f 100644 --- a/src/port/pg_crc32c_sse42.c +++ b/src/port/pg_crc32c_sse42.c @@ -19,6 +19,8 @@ #include "port/pg_crc32c.h" +#define DEBUG_CRC /* XXX not for commit, or at least comment out */ + pg_attribute_no_sanitize_alignment() pg_attribute_target("sse4.2") pg_crc32c @@ -87,6 +89,9 @@ pg_comp_crc32c_pclmul(pg_crc32c crc, const void *data, size_t length) pg_crc32c crc0 = crc; size_t len = length; const char *buf = data; +#ifdef DEBUG_CRC + const size_t orig_len PG_USED_FOR_ASSERTS_ONLY = len; +#endif /* Align on cacheline boundary. WIP: The threshold needs testing. */ if (unlikely(len > 256)) @@ -139,7 +144,13 @@ pg_comp_crc32c_pclmul(pg_crc32c crc, const void *data, size_t length) len = end - buf; } - return pg_comp_crc32c_sse42(crc0, buf, len); + crc0 = pg_comp_crc32c_sse42(crc0, buf, len); + +#ifdef DEBUG_CRC + Assert(crc0 == pg_comp_crc32c_sse42(crc, data, orig_len)); +#endif + + return crc0; } #endif -- 2.48.1