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
This commit is contained in:
djm@openbsd.org
2025-11-13 05:13:06 +00:00
committed by Damien Miller
parent 84347d67ad
commit 6aba7008e6
2 changed files with 4 additions and 2 deletions

View File

@@ -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

View File

@@ -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