@@ -155,7 +155,7 @@ static void mld_keccakf1600_permute_c(uint64_t *state)
155155 uint64_t Ema , Eme , Emi , Emo , Emu ;
156156 uint64_t Esa , Ese , Esi , Eso , Esu ;
157157
158- /* copyFromState (A, state) */
158+ /* MLD_COPY_FROM_STATE (A, state) */
159159 Aba = state [0 ];
160160 Abe = state [1 ];
161161 Abi = state [2 ];
@@ -185,14 +185,14 @@ static void mld_keccakf1600_permute_c(uint64_t *state)
185185 for (round = 0 ; round < MLD_KECCAK_NROUNDS ; round += 2 )
186186 __loop__ (invariant (round <= MLD_KECCAK_NROUNDS && round % 2 == 0 ))
187187 {
188- /* prepareTheta */
188+ /* MLD_prepareTheta */
189189 BCa = Aba ^ Aga ^ Aka ^ Ama ^ Asa ;
190190 BCe = Abe ^ Age ^ Ake ^ Ame ^ Ase ;
191191 BCi = Abi ^ Agi ^ Aki ^ Ami ^ Asi ;
192192 BCo = Abo ^ Ago ^ Ako ^ Amo ^ Aso ;
193193 BCu = Abu ^ Agu ^ Aku ^ Amu ^ Asu ;
194194
195- /* thetaRhoPiChiIotaPrepareTheta (round, A, E) */
195+ /* MLD_thetaRhoPiChiIotaPrepareTheta (round, A, E) */
196196 Da = BCu ^ MLD_KECCAK_ROL (BCe , 1 );
197197 De = BCa ^ MLD_KECCAK_ROL (BCi , 1 );
198198 Di = BCe ^ MLD_KECCAK_ROL (BCo , 1 );
@@ -280,14 +280,14 @@ static void mld_keccakf1600_permute_c(uint64_t *state)
280280 Eso = BCo ^ ((~BCu ) & BCa );
281281 Esu = BCu ^ ((~BCa ) & BCe );
282282
283- /* prepareTheta */
283+ /* MLD_prepareTheta */
284284 BCa = Eba ^ Ega ^ Eka ^ Ema ^ Esa ;
285285 BCe = Ebe ^ Ege ^ Eke ^ Eme ^ Ese ;
286286 BCi = Ebi ^ Egi ^ Eki ^ Emi ^ Esi ;
287287 BCo = Ebo ^ Ego ^ Eko ^ Emo ^ Eso ;
288288 BCu = Ebu ^ Egu ^ Eku ^ Emu ^ Esu ;
289289
290- /* thetaRhoPiChiIotaPrepareTheta (round+1, E, A) */
290+ /* MLD_thetaRhoPiChiIotaPrepareTheta (round+1, E, A) */
291291 Da = BCu ^ MLD_KECCAK_ROL (BCe , 1 );
292292 De = BCa ^ MLD_KECCAK_ROL (BCi , 1 );
293293 Di = BCe ^ MLD_KECCAK_ROL (BCo , 1 );
@@ -376,7 +376,7 @@ static void mld_keccakf1600_permute_c(uint64_t *state)
376376 Asu = BCu ^ ((~BCa ) & BCe );
377377 }
378378
379- /* copyToState (state, A) */
379+ /* MLD_COPY_TO_STATE (state, A) */
380380 state [0 ] = Aba ;
381381 state [1 ] = Abe ;
382382 state [2 ] = Abi ;
0 commit comments