Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Postgres/src/port/   (Postgres Database Version 18.4©)  Datei vom 11.4.2026 mit Größe 4 kB image not shown  

Quelle  pg_crc32c_sse42.c

  Sprache: C
 

/*-------------------------------------------------------------------------
 *
 * pg_crc32c_sse42.c
 *   Compute CRC-32C checksum using Intel SSE 4.2 or AVX-512 instructions.
 *
 * Portions Copyright (c) 1996-2025, PostgreSQL Global Development Group
 * Portions Copyright (c) 1994, Regents of the University of California
 *
 *
 * IDENTIFICATION
 *   src/port/pg_crc32c_sse42.c
 *
 *-------------------------------------------------------------------------
 */

#include "c.h"

#include <nmmintrin.h>
#ifdef USE_AVX512_CRC32C_WITH_RUNTIME_CHECK
#include <immintrin.h>
#endif

#include "port/pg_crc32c.h"

pg_attribute_no_sanitize_alignment()
pg_attribute_target("sse4.2")
pg_crc32c
pg_comp_crc32c_sse42(pg_crc32c crc, const void *data, size_t len)
{
 const unsigned char *p = data;
 const unsigned char *pend = p + len;

 /*
  * Process eight bytes of data at a time.
  *
  * NB: We do unaligned accesses here. The Intel architecture allows that,
  * and performance testing didn't show any performance gain from aligning
  * the begin address.
 */

#ifdef __x86_64__
 while (p + 8 <= pend)
 {
  crc = (uint32) _mm_crc32_u64(crc, *((const uint64 *) p));
  p += 8;
 }

 /* Process remaining full four bytes if any */
 if (p + 4 <= pend)
 {
  crc = _mm_crc32_u32(crc, *((const unsigned int *) p));
  p += 4;
 }
#else

 /*
  * Process four bytes at a time. (The eight byte instruction is not
  * available on the 32-bit x86 architecture).
 */

 while (p + 4 <= pend)
 {
  crc = _mm_crc32_u32(crc, *((const unsigned int *) p));
  p += 4;
 }
#endif       /* __x86_64__ */

 /* Process any remaining bytes one at a time. */
 while (p < pend)
 {
  crc = _mm_crc32_u8(crc, *p);
  p++;
 }

 return crc;
}

#ifdef USE_AVX512_CRC32C_WITH_RUNTIME_CHECK

/*
 * Note: There is no copyright notice in the following generated code.
 *
 * We have modified the output to
 *   - match our function declaration
 *   - match whitespace to our project style
 *   - add a threshold for the alignment stanza
 */


/* Generated by https://github.com/corsix/fast-crc32/ using: */
/* ./generate -i avx512_vpclmulqdq -p crc32c -a v1e */
/* MIT licensed */

#define clmul_lo(a, b) (_mm512_clmulepi64_epi128((a), (b), 0))
#define clmul_hi(a, b) (_mm512_clmulepi64_epi128((a), (b), 17))

pg_attribute_target("vpclmulqdq,avx512vl")
pg_crc32c
pg_comp_crc32c_avx512(pg_crc32c crc, const void *data, size_t len)
{
 /* adjust names to match generated code */
 pg_crc32c crc0 = crc;
 const char *buf = data;

 /* Align on cacheline boundary. The threshold is somewhat arbitrary. */
 if (unlikely(len > 256))
 {
  for (; len && ((uintptr_t) buf & 7); --len)
   crc0 = _mm_crc32_u8(crc0, *buf++);
  while (((uintptr_t) buf & 56) && len >= 8)
  {
   crc0 = _mm_crc32_u64(crc0, *(const uint64_t *) buf);
   buf += 8;
   len -= 8;
  }
 }

 if (len >= 64)
 {
  const char *end = buf + len;
  const char *limit = buf + len - 64;
  __m128i  z0;

  /* First vector chunk. */
  __m512i  x0 = _mm512_loadu_si512((const void *) buf),
     y0;
  __m512i  k;

  k = _mm512_broadcast_i32x4(_mm_setr_epi32(0x740eef02, 00x9e4addf8, 0));
  x0 = _mm512_xor_si512(_mm512_zextsi128_si512(_mm_cvtsi32_si128(crc0)), x0);
  buf += 64;

  /* Main loop. */
  while (buf <= limit)
  {
   y0 = clmul_lo(x0, k), x0 = clmul_hi(x0, k);
   x0 = _mm512_ternarylogic_epi64(x0, y0,
             _mm512_loadu_si512((const void *) buf),
             0x96);
   buf += 64;
  }

  /* Reduce 512 bits to 128 bits. */
  k = _mm512_setr_epi32(0x1c291d04, 00xddc0152b, 0,
         0x3da6d0cb, 00xba4fc28e, 0,
         0xf20c0dfe, 00x493c7d27, 0,
         0000);
  y0 = clmul_lo(x0, k), k = clmul_hi(x0, k);
  y0 = _mm512_xor_si512(y0, k);
  z0 = _mm_ternarylogic_epi64(_mm512_castsi512_si128(y0),
         _mm512_extracti32x4_epi32(y0, 1),
         _mm512_extracti32x4_epi32(y0, 2),
         0x96);
  z0 = _mm_xor_si128(z0, _mm512_extracti32x4_epi32(x0, 3));

  /* Reduce 128 bits to 32 bits, and multiply by x^32. */
  crc0 = _mm_crc32_u64(0, _mm_extract_epi64(z0, 0));
  crc0 = _mm_crc32_u64(crc0, _mm_extract_epi64(z0, 1));
  len = end - buf;
 }

 return pg_comp_crc32c_sse42(crc0, buf, len);
}

#endif

Messung V0.5 in Prozent
C=89 H=76 G=82

¤ Dauer der Verarbeitung: 0.17 Sekunden  (vorverarbeitet am  2026-08-08) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.