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

djmdjm · djmdjm · commit 6aba7008e645 · 2025-11-13T16:14:24.000+11:00
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
@@ -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
@@ -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

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`#!/bin/sh`
`2`		`-# $OpenBSD: mlkem768.sh,v 1.4 2025/11/13 04:56:23 djm Exp $`
	`2`	`+# $OpenBSD: mlkem768.sh,v 1.5 2025/11/13 05:13:06 djm Exp $`
`3`	`3`	`# Placed in the Public Domain.`
`4`	`4`	`#`
`5`	`5`
`@@ -113,6 +113,7 @@ __builtin_popcount(unsigned int num)`
`113`	`113`	`return v[num & 0xf] + v[(num >> 4) & 0xf];`
`114`	`114`	`}`
`115`	`115`	`#endif`
	`116`	`+`
`116`	`117`	`_EOF`
`117`	`118`
`118`	`119`	`for i in $FILES; do`