Home
last modified time | relevance | path

Searched refs:y (Results 1 – 25 of 34) sorted by relevance

12

/mbedtls-development/3rdparty/everest/library/kremlib/
A DFStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c25 uint64_t y = b; in FStar_UInt64_gte_mask() local
26 uint64_t x_xor_y = x ^ y; in FStar_UInt64_gte_mask()
27 uint64_t x_sub_y = x - y; in FStar_UInt64_gte_mask()
47 uint32_t y = b; in FStar_UInt32_gte_mask() local
48 uint32_t x_xor_y = x ^ y; in FStar_UInt32_gte_mask()
49 uint32_t x_sub_y = x - y; in FStar_UInt32_gte_mask()
69 uint16_t y = b; in FStar_UInt16_gte_mask() local
70 uint16_t x_xor_y = x ^ y; in FStar_UInt16_gte_mask()
91 uint8_t y = b; in FStar_UInt8_gte_mask() local
92 uint8_t x_xor_y = x ^ y; in FStar_UInt8_gte_mask()
[all …]
A DFStar_UInt128_extracted.c341 FStar_UInt128_uint128 FStar_UInt128_mul32(uint64_t x, uint32_t y) in FStar_UInt128_mul32() argument
347 * (uint64_t)y in FStar_UInt128_mul32()
348 + (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> FStar_UInt128_u32_32), in FStar_UInt128_mul32()
349 FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)), in FStar_UInt128_mul32()
351 * (uint64_t)y in FStar_UInt128_mul32()
352 + (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> FStar_UInt128_u32_32)) in FStar_UInt128_mul32()
368 FStar_UInt128_mul_wide_impl_t_(uint64_t x, uint64_t y) in FStar_UInt128_mul_wide_impl_t_() argument
378 * FStar_UInt128_u64_mod_32(y) in FStar_UInt128_mul_wide_impl_t_()
402 * (y >> FStar_UInt128_u32_32) in FStar_UInt128_mul_wide_impl()
409 FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y) in FStar_UInt128_mul_wide() argument
[all …]
/mbedtls-development/scripts/
A Dfind-mem-leak.cocci2 expression x, y;
6 y = mbedtls_calloc(...);
8 * if (x == NULL || y == NULL)
12 expression x, y;
18 * (y = mbedtls_calloc(...)) == NULL
/mbedtls-development/library/
A Dccm.c137 memset( ctx->y, 0, 16); in mbedtls_ccm_clear_state()
180 ctx->y[0] |= ( ctx->add_len > 0 ) << 6; in ccm_calculate_first_block_if_ready()
182 ctx->y[0] |= ctx->q - 1; in ccm_calculate_first_block_if_ready()
194 if( ( ret = mbedtls_cipher_update( &ctx->cipher_ctx, ctx->y, 16, ctx->y, &olen ) ) != 0 ) in ccm_calculate_first_block_if_ready()
234 memcpy( ctx->y + 1, iv, iv_len ); in mbedtls_ccm_starts()
314 ctx->y[i + offset] ^= add[i]; in mbedtls_ccm_update_ad()
322 … if( ( ret = mbedtls_cipher_update( &ctx->cipher_ctx, ctx->y, 16, ctx->y, &olen ) ) != 0 ) in mbedtls_ccm_update_ad()
389 … if( ( ret = mbedtls_cipher_update( &ctx->cipher_ctx, ctx->y, 16, ctx->y, &olen ) ) != 0 ) in mbedtls_ccm_update()
422 … if( ( ret = mbedtls_cipher_update( &ctx->cipher_ctx, ctx->y, 16, ctx->y, &olen ) ) != 0 ) in mbedtls_ccm_update()
475 ret = mbedtls_ccm_crypt( ctx, 0, 16, ctx->y, ctx->y ); in mbedtls_ccm_finish()
[all …]
A Dgcm.c266 memset( ctx->y, 0x00, sizeof(ctx->y) ); in mbedtls_gcm_starts()
275 memcpy( ctx->y, iv, iv_len ); in mbedtls_gcm_starts()
276 ctx->y[15] = 1; in mbedtls_gcm_starts()
289 ctx->y[i] ^= p[i]; in mbedtls_gcm_starts()
291 gcm_mult( ctx, ctx->y, ctx->y ); in mbedtls_gcm_starts()
298 ctx->y[i] ^= work_buf[i]; in mbedtls_gcm_starts()
300 gcm_mult( ctx, ctx->y, ctx->y ); in mbedtls_gcm_starts()
384 static void gcm_incr( unsigned char y[16] ) in gcm_incr()
388 if( ++y[i - 1] != 0 ) in gcm_incr()
488 gcm_incr( ctx->y ); in mbedtls_gcm_update()
[all …]
A Dmd5.c122 #define F(x,y,z) ((z) ^ ((x) & ((y) ^ (z)))) in mbedtls_internal_md5_process() argument
143 #define F(x,y,z) ((y) ^ ((z) & ((x) ^ (y)))) in mbedtls_internal_md5_process() argument
164 #define F(x,y,z) ((x) ^ (y) ^ (z)) in mbedtls_internal_md5_process() argument
185 #define F(x,y,z) ((y) ^ ((x) | ~(z))) in mbedtls_internal_md5_process() argument
A Dripemd160.c118 #define F1( x, y, z ) ( (x) ^ (y) ^ (z) ) in mbedtls_internal_ripemd160_process() argument
119 #define F2( x, y, z ) ( ( (x) & (y) ) | ( ~(x) & (z) ) ) in mbedtls_internal_ripemd160_process() argument
120 #define F3( x, y, z ) ( ( (x) | ~(y) ) ^ (z) ) in mbedtls_internal_ripemd160_process() argument
121 #define F4( x, y, z ) ( ( (x) & (z) ) | ( (y) & ~(z) ) ) in mbedtls_internal_ripemd160_process() argument
122 #define F5( x, y, z ) ( (x) ^ ( (y) | ~(z) ) ) in mbedtls_internal_ripemd160_process() argument
A Daes.c372 #define MUL(x,y) ( ( (x) && (y) ) ? pow[(log[(x)]+log[(y)]) % 255] : 0 ) argument
378 int i, x, y, z; in aes_gen_tables() local
411 y = x; y = MBEDTLS_BYTE_0( ( y << 1 ) | ( y >> 7 ) ); in aes_gen_tables()
412 x ^= y; y = MBEDTLS_BYTE_0( ( y << 1 ) | ( y >> 7 ) ); in aes_gen_tables()
413 x ^= y; y = MBEDTLS_BYTE_0( ( y << 1 ) | ( y >> 7 ) ); in aes_gen_tables()
414 x ^= y; y = MBEDTLS_BYTE_0( ( y << 1 ) | ( y >> 7 ) ); in aes_gen_tables()
415 x ^= y ^ 0x63; in aes_gen_tables()
427 y = MBEDTLS_BYTE_0( XTIME( x ) ); in aes_gen_tables()
428 z = MBEDTLS_BYTE_0( y ^ x ); in aes_gen_tables()
430 FT0[i] = ( (uint32_t) y ) ^ in aes_gen_tables()
A Dsha1.c147 #define F(x,y,z) ((z) ^ ((x) & ((y) ^ (z)))) in mbedtls_internal_sha1_process() argument
174 #define F(x,y,z) ((x) ^ (y) ^ (z)) in mbedtls_internal_sha1_process() argument
201 #define F(x,y,z) (((x) & (y)) | ((z) & ((x) | (y)))) in mbedtls_internal_sha1_process() argument
228 #define F(x,y,z) ((x) ^ (y) ^ (z)) in mbedtls_internal_sha1_process() argument
A Dbignum.c1265 cond = ( x ^ y ); in ct_lt_mpi_uint()
1270 ret = ( x - y ) & ~cond; in ct_lt_mpi_uint()
1276 ret |= y & cond; in ct_lt_mpi_uint()
2105 y = ( y << biH ) | ( x >> biH ); in mbedtls_mpi_mod_int()
2106 z = y / b; in mbedtls_mpi_mod_int()
2107 y -= z * b; in mbedtls_mpi_mod_int()
2110 y = ( y << biH ) | ( x >> biH ); in mbedtls_mpi_mod_int()
2111 z = y / b; in mbedtls_mpi_mod_int()
2112 y -= z * b; in mbedtls_mpi_mod_int()
2120 y = b - y; in mbedtls_mpi_mod_int()
[all …]
A Dsha512.c214 #define F0(x,y,z) (((x) & (y)) | ((z) & ((x) | (y)))) in mbedtls_internal_sha512_process() argument
215 #define F1(x,y,z) ((z) ^ ((x) & ((y) ^ (z)))) in mbedtls_internal_sha512_process() argument
A Dsha256.c155 #define F0(x,y,z) (((x) & (y)) | ((z) & ((x) | (y)))) argument
156 #define F1(x,y,z) ((z) ^ ((x) & ((y) ^ (z)))) argument
/mbedtls-development/tests/include/test/
A Dmacros.h232 #define MIN( x, y ) ( ( x ) < ( y ) ? ( x ) : ( y ) ) argument
241 #define MAX( x, y ) ( ( x ) > ( y ) ? ( x ) : ( y ) ) argument
/mbedtls-development/3rdparty/everest/include/everest/kremlib/
A DFStar_UInt128.h119 FStar_UInt128_uint128 FStar_UInt128_mul32(uint64_t x, uint32_t y);
121 FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y);
/mbedtls-development/tests/data_files/
A Dserver2.ku-ds.crt16 Pf/6laS1htI+3y+q1UHWe2PcagZtCHTCUGBSWLeUIiaIBheaIRqv+4sSFVuXB7hV
A Drsa_pkcs8_pbes2_pbkdf2_1024_3des_sha384.pem11 jVl6psDscX4VfX1zkEIyTF2P77luZ1gvXuFDw3+y+HpUAAE11vvFH1hmj7RR7uH+
A Drsa_pkcs1_2048_aes192.pem22 y/82/qCO3xiFUoK53sh7Qv9Qa0xtIeWsRrZyutyxQQv9Lq5xuiOnqL29TL+GVPJm
A Drsa_pkcs8_pbes2_pbkdf2_4096_des_sha256.pem38 aHBY0O5LSIz3IlNo64o4Q9Be+848SG5s3CTekXePlf3ZqFccozmU5kimv6FFL/5y
/mbedtls-development/tests/data_files/dir4/
A Dcert13.crt14 94lwaYCfCBtXQYwiuVFYdK8ztWEStPg6BecMLPB2K9gO/talxUoVDumsmR83p+2y
/mbedtls-development/tests/docker/bionic/
A DDockerfile31 && apt-get -y install software-properties-common \
34 RUN add-apt-repository -y ppa:team-gcc-arm-embedded/ppa
37 && apt-get -y install \
/mbedtls-development/include/mbedtls/
A Dgcm.h68 unsigned char MBEDTLS_PRIVATE(y)[16]; /*!< The Y working value. */
A Dccm.h79 unsigned char MBEDTLS_PRIVATE(y)[16]; /*!< The Y working buffer */
/mbedtls-development/tests/scripts/
A Dgenerate_test_code.py281 dep_start = ''.join(['#if %sdefined(%s)\n' % (x, y) for x, y in
298 defines += ' && '.join(['%sdefined(%s)' % (x, y) for x, y in map(
/mbedtls-development/docs/architecture/testing/
A Dtest-framework.md22 * Make the description descriptive. “foo: x=2, y=4” is more descriptive than “foo #2”. “foo: 0<x<y,…
/mbedtls-development/tests/suites/
A Dtest_suite_base64.data148 Base64 decode "Zm9vYmF y" (SP inside)
160 Base64 decode "Zm9vYmF y" (2SP inside)

Completed in 37 milliseconds

12