upstream: sync support for systems that lack __builtin_popcount() from

portable

unused on OpenBSD (nothing sets MISSING_BUILTIN_POPCOUNT), but it
makes syncing much easier.

OpenBSD-Commit-ID: 496446300d82615b24f83eca886b8fabdbee445b

diff --git a/libcrux_mlkem768_sha3.h b/libcrux_mlkem768_sha3.h
index a0e79a2a7f2d63306be574b78e781f2560f7cdae..1e3dc45744d29cbb6202fa8bbef83e768e79ed12 100644 (file)
--- a/libcrux_mlkem768_sha3.h
+++ b/libcrux_mlkem768_sha3.h
@@ -1,4 +1,4 @@
-/*  $OpenBSD$ */
+/*  $OpenBSD: libcrux_mlkem768_sha3.h,v 1.4 2025/11/13 05:13:06 djm Exp $ */
 
 /* Extracted from libcrux revision 026a87ab6d88ad3626b9fbbf3710d1e0483c1849 */
 
@@ -95,6 +95,7 @@ __builtin_popcount(unsigned int num)
   return v[num & 0xf] + v[(num >> 4) & 0xf];
 }
 #endif
+
 /* from libcrux/libcrux-ml-kem/extracts/c_header_only/generated/eurydice_glue.h */
 #pragma once
 

diff --git a/mlkem768.sh b/mlkem768.sh
index 5e39e84a91fb74ad8cab08fae10c50a59fd5b43a..bec372a5fc7b2753df46e7857c0a1f6ee9a6de52 100644 (file)
--- a/mlkem768.sh
+++ b/mlkem768.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-#       $OpenBSD: mlkem768.sh,v 1.4 2025/11/13 04:56:23 djm Exp $
+#       $OpenBSD: mlkem768.sh,v 1.5 2025/11/13 05:13:06 djm Exp $
 #       Placed in the Public Domain.
 #
 
@@ -113,6 +113,7 @@ __builtin_popcount(unsigned int num)
   return v[num & 0xf] + v[(num >> 4) & 0xf];
 }
 #endif
+
 _EOF
 
 for i in $FILES; do