@@ -49,15 +49,15 @@ void mld_keccakf1600_extract_bytes(uint64_t *state, unsigned char *data,
4949 {
5050 data [i ] = state_ptr [i ];
5151 }
52- #else /* MLD_SYS_LITTLE_ENDIAN */
52+ #else /* !MLD_USE_FIPS202_X1_NATIVE && MLD_SYS_LITTLE_ENDIAN */
5353 unsigned i ;
5454 /* Portable version */
5555 for (i = 0 ; i < length ; i ++ )
5656 __loop__ (invariant (i <= length ))
5757 {
5858 data [i ] = (state [(offset + i ) >> 3 ] >> (8 * ((offset + i ) & 0x07 ))) & 0xFF ;
5959 }
60- #endif /* !MLD_SYS_LITTLE_ENDIAN */
60+ #endif /* !MLD_USE_FIPS202_X1_NATIVE && ! MLD_SYS_LITTLE_ENDIAN */
6161}
6262
6363void mld_keccakf1600_xor_bytes (uint64_t * state , const unsigned char * data ,
@@ -73,7 +73,7 @@ void mld_keccakf1600_xor_bytes(uint64_t *state, const unsigned char *data,
7373 {
7474 state_ptr [i ] ^= data [i ];
7575 }
76- #else /* MLD_SYS_LITTLE_ENDIAN */
76+ #else /* !MLD_USE_FIPS202_X1_NATIVE && MLD_SYS_LITTLE_ENDIAN */
7777 unsigned i ;
7878 /* Portable version */
7979 for (i = 0 ; i < length ; i ++ )
@@ -82,7 +82,7 @@ void mld_keccakf1600_xor_bytes(uint64_t *state, const unsigned char *data,
8282 state [(offset + i ) >> 3 ] ^= (uint64_t )data [i ]
8383 << (8 * ((offset + i ) & 0x07 ));
8484 }
85- #endif /* !MLD_SYS_LITTLE_ENDIAN */
85+ #endif /* !MLD_USE_FIPS202_X1_NATIVE && ! MLD_SYS_LITTLE_ENDIAN */
8686}
8787
8888void mld_keccakf1600x4_extract_bytes (uint64_t * state , unsigned char * data0 ,
@@ -93,7 +93,7 @@ void mld_keccakf1600x4_extract_bytes(uint64_t *state, unsigned char *data0,
9393#if defined(MLD_USE_FIPS202_X4_XOR_NATIVE )
9494 mld_keccakf1600_extract_bytes_x4_native (state , data0 , data1 , data2 , data3 ,
9595 offset , length );
96- #else /* MLD_USE_FIPS202_X4_XOR_NATIVE */
96+ #else
9797 mld_keccakf1600_extract_bytes (state + MLD_KECCAK_LANES * 0 , data0 , offset ,
9898 length );
9999 mld_keccakf1600_extract_bytes (state + MLD_KECCAK_LANES * 1 , data1 , offset ,
@@ -102,7 +102,7 @@ void mld_keccakf1600x4_extract_bytes(uint64_t *state, unsigned char *data0,
102102 length );
103103 mld_keccakf1600_extract_bytes (state + MLD_KECCAK_LANES * 3 , data3 , offset ,
104104 length );
105- #endif /* !MLD_USE_FIPS202_X4_NATIVE && !MLD_USE_FIPS202_X2_NATIVE */
105+ #endif /* !MLD_USE_FIPS202_X4_XOR_NATIVE */
106106}
107107
108108void mld_keccakf1600x4_xor_bytes (uint64_t * state , const unsigned char * data0 ,
@@ -114,7 +114,7 @@ void mld_keccakf1600x4_xor_bytes(uint64_t *state, const unsigned char *data0,
114114#if defined(MLD_USE_FIPS202_X4_XOR_NATIVE )
115115 mld_keccakf1600_xor_bytes_x4_native (state , data0 , data1 , data2 , data3 , offset ,
116116 length );
117- #else /* MLD_USE_FIPS202_X4_XOR_NATIVE */
117+ #else
118118 mld_keccakf1600_xor_bytes (state + MLD_KECCAK_LANES * 0 , data0 , offset ,
119119 length );
120120 mld_keccakf1600_xor_bytes (state + MLD_KECCAK_LANES * 1 , data1 , offset ,
@@ -123,7 +123,7 @@ void mld_keccakf1600x4_xor_bytes(uint64_t *state, const unsigned char *data0,
123123 length );
124124 mld_keccakf1600_xor_bytes (state + MLD_KECCAK_LANES * 3 , data3 , offset ,
125125 length );
126- #endif /* MLD_USE_FIPS202_X4_XOR_NATIVE */
126+ #endif /* ! MLD_USE_FIPS202_X4_XOR_NATIVE */
127127}
128128
129129void mld_keccakf1600x4_permute (uint64_t * state )
0 commit comments