Home
last modified time | relevance | path

Searched refs:x0 (Results 1 – 9 of 9) sorted by relevance

/mbedtls-latest/3rdparty/everest/include/everest/kremlib/
DFStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.h23 extern Prims_int FStar_UInt64_v(uint64_t x0);
25 extern uint64_t FStar_UInt64_uint_to_t(Prims_int x0);
27 extern uint64_t FStar_UInt64_add(uint64_t x0, uint64_t x1);
29 extern uint64_t FStar_UInt64_add_underspec(uint64_t x0, uint64_t x1);
31 extern uint64_t FStar_UInt64_add_mod(uint64_t x0, uint64_t x1);
33 extern uint64_t FStar_UInt64_sub(uint64_t x0, uint64_t x1);
35 extern uint64_t FStar_UInt64_sub_underspec(uint64_t x0, uint64_t x1);
37 extern uint64_t FStar_UInt64_sub_mod(uint64_t x0, uint64_t x1);
39 extern uint64_t FStar_UInt64_mul(uint64_t x0, uint64_t x1);
41 extern uint64_t FStar_UInt64_mul_underspec(uint64_t x0, uint64_t x1);
[all …]
DFStar_UInt128.h71 (*FStar_UInt128_op_Plus_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
74 (*FStar_UInt128_op_Plus_Question_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
77 (*FStar_UInt128_op_Plus_Percent_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
80 (*FStar_UInt128_op_Subtraction_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
84 FStar_UInt128_uint128 x0,
89 (*FStar_UInt128_op_Subtraction_Percent_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
92 (*FStar_UInt128_op_Amp_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
95 (*FStar_UInt128_op_Hat_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
98 (*FStar_UInt128_op_Bar_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
101 (*FStar_UInt128_op_Less_Less_Hat)(FStar_UInt128_uint128 x0, uint32_t x1);
[all …]
/mbedtls-latest/tests/suites/
Dtest_suite_constant_time.data143 mbedtls_ct_bool:"0x0"
172 mbedtls_ct_bool_xxx 0x0 0x0
173 mbedtls_ct_bool_xxx:"0x0":"0x0"
175 mbedtls_ct_bool_xxx 0x0 0x1
176 mbedtls_ct_bool_xxx:"0x0":"0x1"
178 mbedtls_ct_bool_xxx 0x0 0x7fffffff
179 mbedtls_ct_bool_xxx:"0x0":"0x7fffffff"
181 mbedtls_ct_bool_xxx 0x0 0xffffffff
182 mbedtls_ct_bool_xxx:"0x0":"0xffffffff"
184 mbedtls_ct_bool_xxx 0x0 0x7fffffffffffffff
[all …]
Dtest_suite_bignum_core.generated.data11345 mbedtls_mpi_core_mla #1 0x0 + 0x0 * 0x0
11348 mbedtls_mpi_core_mla #2 0x0 + 0x0 * 0x3
11351 mbedtls_mpi_core_mla #3 0x0 + 0x0 * 0xfe
11354 mbedtls_mpi_core_mla #4 0x0 + 0x0 * 0xff
11357 mbedtls_mpi_core_mla #5 0x0 + 0x0 * 0xffff
11360 mbedtls_mpi_core_mla #6 0x0 + 0x0 * 0x10000
11363 mbedtls_mpi_core_mla #7 0x0 + 0x0 * 0xffffffff
11366 mbedtls_mpi_core_mla #8 0x0 + 0x0 * 0x100000000
11370 mbedtls_mpi_core_mla #9 0x0 + 0x0 * 0x7f7f7f7f7f7f7f7f
11374 mbedtls_mpi_core_mla #10 0x0 + 0x0 * 0x8000000000000000
[all …]
Dtest_suite_platform_printf.data11 printf "%d", 0x0
12 printf_int:"%d":0x0:"0"
20 printf "%d", -0x0
21 printf_int:"%d":-0x0:"0"
Dtest_suite_bignum.misc.data1238 mpi_mod_int:"3e8":0x0:0x0:MBEDTLS_ERR_MPI_DIVISION_BY_ZERO
1244 mpi_mod_int:"3e8":-0xd:0x0:MBEDTLS_ERR_MPI_NEGATIVE_VALUE
1247 mpi_mod_int:"-3e8":-0xd:0x0:MBEDTLS_ERR_MPI_NEGATIVE_VALUE
1250 mpi_mod_int:"3e8":0x1:0x0:0
1256 mpi_mod_int:"3e8":0x2:0x0:0
1259 mpi_mod_int:"":0x1:0x0:0
1262 mpi_mod_int:"":0x2:0x0:0
1265 mpi_mod_int:"":-0x1:0x0:MBEDTLS_ERR_MPI_NEGATIVE_VALUE
1268 mpi_mod_int:"":-0x2:0x0:MBEDTLS_ERR_MPI_NEGATIVE_VALUE
1281 #mpi_mod_int:"AD9D28BF6C4E98FDC2584FEF03A6DFB0":0x47DCCA4847DCCA48:0x0:0
[all …]
/mbedtls-latest/3rdparty/everest/library/kremlib/
DFStar_UInt128_extracted.c264 (*FStar_UInt128_op_Plus_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1) =
268 (*FStar_UInt128_op_Plus_Question_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1) =
272 (*FStar_UInt128_op_Plus_Percent_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1) =
276 (*FStar_UInt128_op_Subtraction_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1) =
281 FStar_UInt128_uint128 x0,
286 (*FStar_UInt128_op_Subtraction_Percent_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1) =
290 (*FStar_UInt128_op_Amp_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1) =
294 (*FStar_UInt128_op_Hat_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1) =
298 (*FStar_UInt128_op_Bar_Hat)(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1) =
302 (*FStar_UInt128_op_Less_Less_Hat)(FStar_UInt128_uint128 x0, uint32_t x1) =
[all …]
/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c13 extern uint64_t FStar_UInt64_eq_mask(uint64_t x0, uint64_t x1);
15 extern uint64_t FStar_UInt64_gte_mask(uint64_t x0, uint64_t x1);
17 extern uint128_t FStar_UInt128_add(uint128_t x0, uint128_t x1);
19 extern uint128_t FStar_UInt128_add_mod(uint128_t x0, uint128_t x1);
21 extern uint128_t FStar_UInt128_logand(uint128_t x0, uint128_t x1);
23 extern uint128_t FStar_UInt128_shift_right(uint128_t x0, uint32_t x1);
25 extern uint128_t FStar_UInt128_uint64_to_uint128(uint64_t x0);
27 extern uint64_t FStar_UInt128_uint128_to_uint64(uint128_t x0);
29 extern uint128_t FStar_UInt128_mul_wide(uint64_t x0, uint64_t x1);
424 uint8_t *x0 = input + (uint32_t)24U; in Hacl_EC_Format_fexpand() local
[all …]
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c13 extern uint64_t FStar_UInt64_eq_mask(uint64_t x0, uint64_t x1);
15 extern uint64_t FStar_UInt64_gte_mask(uint64_t x0, uint64_t x1);
18 FStar_UInt128_add(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
21 FStar_UInt128_add_mod(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
24 FStar_UInt128_logand(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
26 extern FStar_UInt128_uint128 FStar_UInt128_shift_right(FStar_UInt128_uint128 x0, uint32_t x1);
28 extern FStar_UInt128_uint128 FStar_UInt128_uint64_to_uint128(uint64_t x0);
30 extern uint64_t FStar_UInt128_uint128_to_uint64(FStar_UInt128_uint128 x0);
32 extern FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x0, uint64_t x1);
469 uint8_t *x0 = input + (uint32_t)24U; in Hacl_EC_Format_fexpand() local
[all …]