mirror of
https://github.com/yuzu-emu/mbedtls.git
synced 2024-11-29 10:24:18 +01:00
Rename variable for better readability
This commit is contained in:
parent
bd87a59007
commit
1f21c1d519
@ -1114,7 +1114,7 @@ int mbedtls_mpi_lt_mpi_ct( const mbedtls_mpi *X, const mbedtls_mpi *Y,
|
|||||||
{
|
{
|
||||||
size_t i;
|
size_t i;
|
||||||
/* The value of any of these variables is either 0 or 1 at all times. */
|
/* The value of any of these variables is either 0 or 1 at all times. */
|
||||||
unsigned cond, done, sign_X, sign_Y;
|
unsigned cond, done, X_is_negative, Y_is_negative;
|
||||||
|
|
||||||
MPI_VALIDATE_RET( X != NULL );
|
MPI_VALIDATE_RET( X != NULL );
|
||||||
MPI_VALIDATE_RET( Y != NULL );
|
MPI_VALIDATE_RET( Y != NULL );
|
||||||
@ -1127,16 +1127,16 @@ int mbedtls_mpi_lt_mpi_ct( const mbedtls_mpi *X, const mbedtls_mpi *Y,
|
|||||||
* Set sign_N to 1 if N >= 0, 0 if N < 0.
|
* Set sign_N to 1 if N >= 0, 0 if N < 0.
|
||||||
* We know that N->s == 1 if N >= 0 and N->s == -1 if N < 0.
|
* We know that N->s == 1 if N >= 0 and N->s == -1 if N < 0.
|
||||||
*/
|
*/
|
||||||
sign_X = ( X->s & 2 ) >> 1;
|
X_is_negative = ( X->s & 2 ) >> 1;
|
||||||
sign_Y = ( Y->s & 2 ) >> 1;
|
Y_is_negative = ( Y->s & 2 ) >> 1;
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* If the signs are different, then the positive operand is the bigger.
|
* If the signs are different, then the positive operand is the bigger.
|
||||||
* That is if X is negative (sign_X == 1), then X < Y is true and it is
|
* That is if X is negative (X_is_negative == 1), then X < Y is true and it
|
||||||
* false if X is positive (sign_X == 0).
|
* is false if X is positive (X_is_negative == 0).
|
||||||
*/
|
*/
|
||||||
cond = ( sign_X ^ sign_Y );
|
cond = ( X_is_negative ^ Y_is_negative );
|
||||||
*ret = cond & sign_X;
|
*ret = cond & X_is_negative;
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* This is a constant-time function. We might have the result, but we still
|
* This is a constant-time function. We might have the result, but we still
|
||||||
@ -1153,7 +1153,7 @@ int mbedtls_mpi_lt_mpi_ct( const mbedtls_mpi *X, const mbedtls_mpi *Y,
|
|||||||
* Again even if we can make a decision, we just mark the result and
|
* Again even if we can make a decision, we just mark the result and
|
||||||
* the fact that we are done and continue looping.
|
* the fact that we are done and continue looping.
|
||||||
*/
|
*/
|
||||||
cond = ct_lt_mpi_uint( Y->p[i - 1], X->p[i - 1] ) & sign_X;
|
cond = ct_lt_mpi_uint( Y->p[i - 1], X->p[i - 1] ) & X_is_negative;
|
||||||
*ret |= cond & ( 1 - done );
|
*ret |= cond & ( 1 - done );
|
||||||
done |= cond & ( 1 - done );
|
done |= cond & ( 1 - done );
|
||||||
|
|
||||||
@ -1164,7 +1164,8 @@ int mbedtls_mpi_lt_mpi_ct( const mbedtls_mpi *X, const mbedtls_mpi *Y,
|
|||||||
* Again even if we can make a decision, we just mark the result and
|
* Again even if we can make a decision, we just mark the result and
|
||||||
* the fact that we are done and continue looping.
|
* the fact that we are done and continue looping.
|
||||||
*/
|
*/
|
||||||
cond = ct_lt_mpi_uint( X->p[i - 1], Y->p[i - 1] ) & ( 1 - sign_X );
|
cond = ct_lt_mpi_uint( X->p[i - 1], Y->p[i - 1] )
|
||||||
|
& ( 1 - X_is_negative );
|
||||||
*ret |= cond & ( 1 - done );
|
*ret |= cond & ( 1 - done );
|
||||||
done |= cond & ( 1 - done );
|
done |= cond & ( 1 - done );
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user