Lines Matching refs:result
60 mbedtls_ct_condition_t different_sign, X_is_negative, Y_is_negative, result;
79 result = mbedtls_ct_bool_and(different_sign, X_is_negative);
83 * order if they are negative so that we get the right result, regardles of
93 * Store in result iff the signs are the same (i.e., iff different_sign == false). If
94 * the signs differ, result has already been set, so we don't change it.
96 result = mbedtls_ct_bool_or(result,
99 *ret = mbedtls_ct_uint_if_else_0(result, 1);
1015 * X must always be positive as a result of unsigned additions.
1094 /* If we have further carry/borrow, the result is negative. */
1101 /* X should always be positive as a result of unsigned subtractions. */
1122 /* If |A| = |B|, the result is 0 and we must set the sign bit
1232 /* If the result is 0, we don't shortcut the operation, which reduces
1682 * result will be correct if those limbs are 0, which the mod call
1740 /* The loop below gives the correct result when A==0 but not when B==0.
1765 * - If TA = 0, the loop goes through 0 iterations and the result is
1794 * TA-TB is even so the division by 2 has an integer result.