fips202: Don't build Keccak-f1600x2/x4 unless used

When building with MLD_CONFIG_SERIAL_FIPS202_ONLY, Keccak-f1600x2/x4
is not used and can be skipped.

Signed-off-by: Anders Sonmark <Anders.Sonmark@axis.com>

Author: flynd

dev/fips202/aarch64/auto.h

@@ -37,6 +37,7 @@
 #include "x1_scalar.h"
 #endif
 
+#if !defined(MLD_CONFIG_SERIAL_FIPS202_ONLY)
 /*
  * Keccak-f1600x2/x4
  *
@@ -68,4 +69,6 @@
 
 #endif /* !__ARM_FEATURE_SHA3 */
 
+#endif /* !MLD_CONFIG_SERIAL_FIPS202_ONLY */
+
 #endif /* !MLD_DEV_FIPS202_AARCH64_AUTO_H */

mldsa/src/fips202/keccakf1600.c

@@ -84,6 +84,7 @@ void mld_keccakf1600_xor_bytes(uint64_t *state, const unsigned char *data,
 #endif /* !MLD_SYS_LITTLE_ENDIAN */
 }
 
+#if !defined(MLD_CONFIG_SERIAL_FIPS202_ONLY)
 MLD_INTERNAL_API
 void mld_keccakf1600x4_extract_bytes(uint64_t *state, unsigned char *data0,
                                      unsigned char *data1, unsigned char *data2,
@@ -131,6 +132,7 @@ void mld_keccakf1600x4_permute(uint64_t *state)
   mld_keccakf1600_permute(state + MLD_KECCAK_LANES * 2);
   mld_keccakf1600_permute(state + MLD_KECCAK_LANES * 3);
 }
+#endif /* !MLD_CONFIG_SERIAL_FIPS202_ONLY */
 
 static const uint64_t mld_KeccakF_RoundConstants[MLD_KECCAK_NROUNDS] = {
     (uint64_t)0x0000000000000001ULL, (uint64_t)0x0000000000008082ULL,

mldsa/src/fips202/keccakf1600.h

@@ -43,6 +43,7 @@ __contract__(
     assigns(memory_slice(state, sizeof(uint64_t) * MLD_KECCAK_LANES))
 );
 
+#if !defined(MLD_CONFIG_SERIAL_FIPS202_ONLY)
 #define mld_keccakf1600x4_extract_bytes \
   MLD_NAMESPACE(keccakf1600x4_extract_bytes)
 MLD_INTERNAL_API
@@ -93,6 +94,7 @@ __contract__(
     requires(memory_no_alias(state, sizeof(uint64_t) * MLD_KECCAK_LANES * MLD_KECCAK_WAY))
     assigns(memory_slice(state, sizeof(uint64_t) * MLD_KECCAK_LANES * MLD_KECCAK_WAY))
 );
+#endif /* !MLD_CONFIG_SERIAL_FIPS202_ONLY */
 
 #define mld_keccakf1600_permute MLD_NAMESPACE(keccakf1600_permute)
 MLD_INTERNAL_API

mldsa/src/fips202/native/aarch64/auto.h

@@ -37,6 +37,7 @@
 #include "x1_scalar.h"
 #endif
 
+#if !defined(MLD_CONFIG_SERIAL_FIPS202_ONLY)
 /*
  * Keccak-f1600x2/x4
  *
@@ -68,4 +69,6 @@
 
 #endif /* !__ARM_FEATURE_SHA3 */
 
+#endif /* !MLD_CONFIG_SERIAL_FIPS202_ONLY */
+
 #endif /* !MLD_FIPS202_NATIVE_AARCH64_AUTO_H */

mldsa/src/fips202/native/auto.h

@@ -16,7 +16,8 @@
 #include "aarch64/auto.h"
 #endif
 
-#if defined(MLD_SYS_X86_64) && defined(MLD_SYS_X86_64_AVX2)
+#if defined(MLD_SYS_X86_64) && defined(MLD_SYS_X86_64_AVX2) && \
+    !defined(MLD_CONFIG_SERIAL_FIPS202_ONLY)
 #include "x86_64/xkcp.h"
 #endif