Skip to content

Commit 315c4ef

Browse files
committed
mld_sys_cap: Unconditionally define all sys_cap enum entries
- This commit include the change from mlkem-native: pq-code-package/mlkem-native#1319 - The CBMC proofs for the 3 native aarch64 versions of Keccak using SHA-3 instructions are failing as the MLD_SYS_CAP_SHA3 symbol is not defined on an x86 system. - This commit fixes this by defining the mld_sys_cap entries unconditional. - We include same fix here to prevent similar issue. Signed-off-by: willieyz <willie.zhao@chelpis.com>
1 parent 0957364 commit 315c4ef

File tree

1 file changed

+3
-8
lines changed

1 file changed

+3
-8
lines changed

mldsa/src/sys.h

Lines changed: 3 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -216,15 +216,10 @@
216216
/* System capability enumeration */
217217
typedef enum
218218
{
219-
#if defined(MLD_SYS_X86_64)
220-
MLD_SYS_CAP_AVX2
221-
#elif defined(MLD_SYS_AARCH64)
219+
/* x86_64 */
220+
MLD_SYS_CAP_AVX2,
221+
/* AArch64 */
222222
MLD_SYS_CAP_SHA3
223-
#else
224-
/* C90 does not allow empty enums, so use a dummy value
225-
* for architectures other than AArch64 and x86_64. */
226-
MLD_SYS_CAP_DUMMY
227-
#endif
228223
} mld_sys_cap;
229224

230225
#if !defined(MLD_CONFIG_CUSTOM_CAPABILITY_FUNC)

0 commit comments

Comments
 (0)