mirror of
https://github.com/yuzu-emu/mbedtls.git
synced 2024-11-27 08:54:14 +01:00
mbedtls_mpi_lt_mpi_ct: Improve documentation
This commit is contained in:
parent
51ed14e20f
commit
a2b9a96fb8
@ -961,6 +961,7 @@ int mbedtls_mpi_lt_mpi_ct( const mbedtls_mpi *X, const mbedtls_mpi *Y,
|
|||||||
unsigned *ret )
|
unsigned *ret )
|
||||||
{
|
{
|
||||||
size_t i;
|
size_t i;
|
||||||
|
/* 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, sign_X, sign_Y;
|
||||||
|
|
||||||
if( X->n != Y->n )
|
if( X->n != Y->n )
|
||||||
@ -975,14 +976,14 @@ int mbedtls_mpi_lt_mpi_ct( const mbedtls_mpi *X, const mbedtls_mpi *Y,
|
|||||||
|
|
||||||
/*
|
/*
|
||||||
* 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 bit 1), then X < Y is true and it is false
|
* That is if X is negative (sign_X == 1), then X < Y is true and it is
|
||||||
* if X is positive (sign bit 0).
|
* false if X is positive (sign_X == 0).
|
||||||
*/
|
*/
|
||||||
cond = ( sign_X ^ sign_Y );
|
cond = ( sign_X ^ sign_Y );
|
||||||
*ret = cond & sign_X;
|
*ret = cond & sign_X;
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* 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
|
||||||
* need to go through the loop. Record if we have the result already.
|
* need to go through the loop. Record if we have the result already.
|
||||||
*/
|
*/
|
||||||
done = cond;
|
done = cond;
|
||||||
|
Loading…
Reference in New Issue
Block a user