Home
last modified time | relevance | path

Searched refs:b (Results 1 – 25 of 181) sorted by relevance

12345678

/lib/mbedtls/external/mbedtls/3rdparty/everest/library/kremlib/
A DFStar_UInt128_extracted.c27 return (a ^ ((a ^ b) | ((a - b) ^ b))) >> (uint32_t)63U; in FStar_UInt128_constant_time_carry()
38 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add()
46 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_underspec()
53 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_mod()
60 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub()
68 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub_underspec()
201 return a.low == b.low && a.high == b.high; in FStar_UInt128_eq()
206 return a.high > b.high || (a.high == b.high && a.low > b.low); in FStar_UInt128_gt()
211 return a.high < b.high || (a.high == b.high && a.low < b.low); in FStar_UInt128_lt()
216 return a.high > b.high || (a.high == b.high && a.low >= b.low); in FStar_UInt128_gte()
[all …]
A DFStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c13 uint64_t FStar_UInt64_eq_mask(uint64_t a, uint64_t b) in FStar_UInt64_eq_mask() argument
15 uint64_t x = a ^ b; in FStar_UInt64_eq_mask()
25 uint64_t y = b; in FStar_UInt64_gte_mask()
37 uint32_t x = a ^ b; in FStar_UInt32_eq_mask()
47 uint32_t y = b; in FStar_UInt32_gte_mask()
59 uint16_t x = a ^ b; in FStar_UInt16_eq_mask()
69 uint16_t y = b; in FStar_UInt16_gte_mask()
79 uint8_t FStar_UInt8_eq_mask(uint8_t a, uint8_t b) in FStar_UInt8_eq_mask() argument
81 uint8_t x = a ^ b; in FStar_UInt8_eq_mask()
88 uint8_t FStar_UInt8_gte_mask(uint8_t a, uint8_t b) in FStar_UInt8_gte_mask() argument
[all …]
/lib/
A Dmd5.c184 register __u32 a, b, c, d; in MD5Transform() local
187 b = buf[1]; in MD5Transform()
191 MD5STEP(F1, a, b, c, d, in[0] + 0xd76aa478, 7); in MD5Transform()
195 MD5STEP(F1, a, b, c, d, in[4] + 0xf57c0faf, 7); in MD5Transform()
199 MD5STEP(F1, a, b, c, d, in[8] + 0x698098d8, 7); in MD5Transform()
208 MD5STEP(F2, a, b, c, d, in[1] + 0xf61e2562, 5); in MD5Transform()
209 MD5STEP(F2, d, a, b, c, in[6] + 0xc040b340, 9); in MD5Transform()
212 MD5STEP(F2, a, b, c, d, in[5] + 0xd62f105d, 5); in MD5Transform()
216 MD5STEP(F2, a, b, c, d, in[9] + 0x21e1cde6, 5); in MD5Transform()
221 MD5STEP(F2, d, a, b, c, in[2] + 0xfcefa3f8, 9); in MD5Transform()
[all …]
A Dsha512.c103 #define GET_UINT64_BE(n,b,i) { \ argument
115 #define PUT_UINT64_BE(n,b,i) { \ argument
116 (b)[(i) ] = (unsigned char) ( (n) >> 56 ); \
117 (b)[(i) + 1] = (unsigned char) ( (n) >> 48 ); \
118 (b)[(i) + 2] = (unsigned char) ( (n) >> 40 ); \
119 (b)[(i) + 3] = (unsigned char) ( (n) >> 32 ); \
120 (b)[(i) + 4] = (unsigned char) ( (n) >> 24 ); \
140 uint64_t a, b, c, d, e, f, g, h, t1, t2; in sha512_transform() local
171 t1 = e + e1(b) + Ch(b,c,d) + sha512_K[i+3] + W[(i & 15) + 3]; in sha512_transform()
180 t2 = e0(b) + Maj(b,c,d); e+=t1; a=t1+t2; in sha512_transform()
[all …]
A Dlist_sort.c24 struct list_head *b), in merge() argument
29 while (a && b) { in merge()
35 tail->next = b; in merge()
36 b = b->next; in merge()
40 tail->next = a?:b; in merge()
59 while (a && b) { in merge_and_restore_back_links()
66 tail->next = b; in merge_and_restore_back_links()
67 b->prev = tail; in merge_and_restore_back_links()
68 b = b->next; in merge_and_restore_back_links()
72 tail->next = a ? : b; in merge_and_restore_back_links()
[all …]
A Ddiv64.c38 u64 b = base; in __div64_32() local
50 while ((int64_t)b > 0 && b < rem) { in __div64_32()
51 b = b+b; in __div64_32()
56 if (rem >= b) { in __div64_32()
57 rem -= b; in __div64_32()
60 b >>= 1; in __div64_32()
/lib/mbedtls/external/mbedtls/3rdparty/everest/include/everest/kremlin/
A Dc_endianness.h189 #define load16_le(b) (le16toh(load16(b))) argument
190 #define store16_le(b, i) (store16(b, htole16(i))) argument
191 #define load16_be(b) (be16toh(load16(b))) argument
192 #define store16_be(b, i) (store16(b, htobe16(i))) argument
194 #define load32_le(b) (le32toh(load32(b))) argument
195 #define store32_le(b, i) (store32(b, htole32(i))) argument
196 #define load32_be(b) (be32toh(load32(b))) argument
197 #define store32_be(b, i) (store32(b, htobe32(i))) argument
199 #define load64_le(b) (le64toh(load64(b))) argument
200 #define store64_le(b, i) (store64(b, htole64(i))) argument
[all …]
/lib/mbedtls/external/mbedtls/tests/suites/
A Dtest_suite_bignum.generated.data16 mpi_add_mpi:"":"7b":"7b"
19 mpi_add_mpi:"":"-7b":"-7b"
46 mpi_add_mpi:"0":"7b":"7b"
49 mpi_add_mpi:"0":"-7b":"-7b"
76 mpi_add_mpi:"-":"7b":"7b"
79 mpi_add_mpi:"-":"-7b":"-7b"
106 mpi_add_mpi:"-0":"7b":"7b"
124 mpi_add_mpi:"7b":"":"7b"
127 mpi_add_mpi:"7b":"0":"7b"
130 mpi_add_mpi:"7b":"-":"7b"
[all …]
A Dtest_suite_common.function21 TEST_CALLOC(b, n + 1);
26 fill_arrays(a, b, r1, r2, n);
28 r1[i] = a[i] ^ b[i];
30 mbedtls_xor(r2, a, b, n);
34 fill_arrays(a, b, r1, r2, n);
36 r1[i] = r1[i] ^ b[i];
38 mbedtls_xor(r2, r2, b, n);
41 /* Test r == b */
49 /* Test a == b */
57 /* Test a == b == r */
[all …]
A Dtest_suite_debug.data32 …value' (16 bytes)\nMyFile(0999)\: 0000\: 00 01 02 03 04 05 06 07 08 09 0a 0b 0c 0d 0e 0f .......…
35 …value' (17 bytes)\nMyFile(0999)\: 0000\: 00 01 02 03 04 05 06 07 08 09 0a 0b 0c 0d 0e 0f .......…
38 …b 0c 0d 0e 0f ................\nMyFile(0999)\: 0010\: 10 11 12 13 14 15 16 17 18 19 1a 1b 1c 1d …
53 …b 10 7c 09\nMyFile(0999)\: 18 2b 5e dc d9 55 ad ac 41 8b f4 91 8e 28 89 af\nMyFile(0999)\: 48 e1…
56 …b 10 7c\nMyFile(0999)\: 09 18 2b 5e dc d9 55 ad ac 41 8b f4 91 8e 28 89\nMyFile(0999)\: af 48 e1…
59 …b 10 7c\nMyFile(0999)\: 09 18 2b 5e dc d9 55 ad ac 41 8b f4 91 8e 28 89\nMyFile(0999)\: af 48 e1…
63 …b fd 36 ee 82 65 2e\nMyFile(0999)\: 15 61 5e 89 bf b8 e8 45 90 db ee 88 16 52 d3 f1\nMyFile(0999)…
67 …b 34 41 37 58 2f 87 56 fe fc 89 ba 29 43\nMyFile(0999)\: 4b 4e e0 6e c3 0e 57 53 33 39 58 d4 52 b…
A Dtest_suite_alignment.function137 TEST_EQUAL(a, b);
168 for (size_t b = 0; b < 8; b++) {
169 uint8_t expected = b;
170 uint8_t actual = b + 1;
171 switch (b) {
201 for (size_t b = 0; b < 4; b++) {
202 uint8_t expected = b;
204 switch (b) {
222 for (size_t b = 0; b < 2; b++) {
223 uint8_t expected = b;
[all …]
A Dtest_suite_bignum_random.function66 * Let n be the bit-size of b, i.e. the integer such that 2^n <= b < 2^{n+1}.
69 * This probability is (b - 2^n) / b and this function checks that this
101 /* At this point, x = floor((b - 2^n) / 2^(n-8)). b is significantly above
279 size_t b;
280 /* If upper_bound is small, stats[b] is the number of times the value b
326 for (b = 0; b < n_bits; b++) {
327 stats[b] += mbedtls_mpi_get_bit(&R, b);
333 for (b = min; b < stats_len; b++) {
339 TEST_ASSERT(stats[b] > 0);
348 for (b = 0; b < n_bits; b++) {
[all …]
A Dtest_suite_constant_time.function205 TEST_CALLOC(b, size);
208 TEST_CF_SECRET(b, size);
211 TEST_CF_PUBLIC(b, size);
238 mbedtls_free(b);
256 b[i] = a[i];
282 mbedtls_free(b);
310 b[i] = a[i];
313 b[i] ^= 1;
320 TEST_CF_SECRET(b, size);
325 TEST_CF_PUBLIC(b, size);
[all …]
/lib/mbedtls/external/mbedtls/library/
A Dbn_mul.h45 MBEDTLS_BYTES_TO_T_UINT_4(a, b, 0, 0)
64 MBEDTLS_BYTES_TO_T_UINT_8(a, b, c, d, 0, 0, 0, 0)
67 MBEDTLS_BYTES_TO_T_UINT_8(a, b, 0, 0, 0, 0, 0, 0)
531 : "m" (s), "m" (d), "m" (c), "m" (b) \
563 : "m" (s), "m" (d), "m" (c), "m" (b) \
655 : "m" (s), "m" (d), "m" (c), "m" (b) \
746 : "m" (s), "m" (d), "m" (c), "m" (b) \
844 : "m" (s), "m" (d), "m" (c), "m" (b) \
930 __asm mov ebx, b
1052 b0 = ( b << biH ) >> biH; \
[all …]
A Daria.c150 *b = ((uint32_t) sa[MBEDTLS_BYTE_0(*b)]) ^ in aria_sl()
277 uint32_t a, b, c, d; in aria_fo_xor() local
280 b = p[1] ^ k[1]; in aria_fo_xor()
285 aria_a(&a, &b, &c, &d); in aria_fo_xor()
288 r[1] = b ^ x[1]; in aria_fo_xor()
299 uint32_t a, b, c, d; in aria_fe_xor() local
302 b = p[1] ^ k[1]; in aria_fe_xor()
310 r[1] = b ^ x[1]; in aria_fe_xor()
335 u = ARIA_P3(b[j]); in aria_rot128()
447 uint32_t a, b, c, d; in mbedtls_aria_crypt_ecb() local
[all …]
A Daesce.c414 static inline poly128_t vmull_p64(poly64_t a, poly64_t b) in vmull_p64() argument
417 asm ("vmull.p64 %[r], %[a], %[b]" : [r] "=w" (r) : [a] "w" (a), [b] "w" (b) :); in vmull_p64()
490 #define MBEDTLS_VMULL_P64(a, b) vmull_p64((poly64_t) a, (poly64_t) b) argument
495 #define MBEDTLS_VMULL_P64(a, b) vmull_p64(a, b) argument
498 static inline uint8x16_t pmull_low(uint8x16_t a, uint8x16_t b) in pmull_low() argument
504 (poly64_t) vget_low_p64(vreinterpretq_p64_u8(b)) in pmull_low()
508 static inline uint8x16_t pmull_high(uint8x16_t a, uint8x16_t b) in pmull_high() argument
512 vreinterpretq_p64_u8(b))); in pmull_high()
539 c = vextq_u8(b, b, 8); /* :c1:c0 = b0:b1 */ in poly_mult_128()
596 const unsigned char b[16]) in mbedtls_aesce_gcm_mult()
[all …]
/lib/mbedtls/external/mbedtls/3rdparty/everest/include/everest/kremlib/
A DFStar_UInt128.h26 FStar_UInt128_uint128 FStar_UInt128_add(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
29 FStar_UInt128_add_underspec(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
33 FStar_UInt128_uint128 FStar_UInt128_sub(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
36 FStar_UInt128_sub_underspec(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
40 FStar_UInt128_uint128 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
44 FStar_UInt128_uint128 FStar_UInt128_logor(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
52 bool FStar_UInt128_eq(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
54 bool FStar_UInt128_gt(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
56 bool FStar_UInt128_lt(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
58 bool FStar_UInt128_gte(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
[all …]
/lib/mbedtls/external/mbedtls/scripts/
A Dmake_generated_files.bat6 python scripts\generate_driver_wrappers.py || exit /b 1
7 perl scripts\generate_errors.pl || exit /b 1
8 perl scripts\generate_query_config.pl || exit /b 1
9 perl scripts\generate_features.pl || exit /b 1
10 python scripts\generate_ssl_debug_helpers.py || exit /b 1
11 perl scripts\generate_visualc_files.pl || exit /b 1
12 python scripts\generate_psa_constants.py || exit /b 1
13 python tests\scripts\generate_bignum_tests.py || exit /b 1
14 python tests\scripts\generate_ecp_tests.py || exit /b 1
15 python tests\scripts\generate_psa_tests.py || exit /b 1
/lib/mbedtls/external/mbedtls/tests/data_files/dir1/
A Dtest-ca.crt17 58:08:94:a5:ec:9b:c5:8b:df:1a:1e:99:38:99:87:
18 1e:7b:c0:8d:39:df:38:5d:70:78:07:d3:9e:d9:93:
20 cb:44:a2:72:0b:c2:e5:40:f9:3e:e5:a6:0e:b3:f9:
21 ec:4a:63:c0:b8:29:00:74:9c:57:3b:a8:a5:04:90:
24 58:26:22:03:5b:d4:b4:d5:fb:f5:e3:96:2e:70:c0:
30 65:64:09:ea:0c:6e:8e:1b:17:a0:71:c8:b3:9b:c9:
45 b8:fd:54:d8:00:54:90:8b:25:b0:27:dd:95:cd:a2:f7:84:07:
50 8b:9b:e0:d5:dc:67:ed:8c:6b:33:d7:74:22:3c:4c:db:b5:8d:
51 2a:ce:2c:0d:08:59:05:09:05:a6:39:9f:b3:67:1b:e2:83:e5:
54 66:d9:1f:9b:f5:13:48:b0:4d:14:d1:de:b2:24:d9:78:7d:f5:
[all …]
/lib/mbedtls/external/mbedtls/tests/data_files/dir2/
A Dtest-ca.crt17 58:08:94:a5:ec:9b:c5:8b:df:1a:1e:99:38:99:87:
18 1e:7b:c0:8d:39:df:38:5d:70:78:07:d3:9e:d9:93:
20 cb:44:a2:72:0b:c2:e5:40:f9:3e:e5:a6:0e:b3:f9:
21 ec:4a:63:c0:b8:29:00:74:9c:57:3b:a8:a5:04:90:
24 58:26:22:03:5b:d4:b4:d5:fb:f5:e3:96:2e:70:c0:
30 65:64:09:ea:0c:6e:8e:1b:17:a0:71:c8:b3:9b:c9:
45 b8:fd:54:d8:00:54:90:8b:25:b0:27:dd:95:cd:a2:f7:84:07:
50 8b:9b:e0:d5:dc:67:ed:8c:6b:33:d7:74:22:3c:4c:db:b5:8d:
51 2a:ce:2c:0d:08:59:05:09:05:a6:39:9f:b3:67:1b:e2:83:e5:
54 66:d9:1f:9b:f5:13:48:b0:4d:14:d1:de:b2:24:d9:78:7d:f5:
[all …]
/lib/mbedtls/external/mbedtls/tests/data_files/dir3/
A Dtest-ca.crt17 58:08:94:a5:ec:9b:c5:8b:df:1a:1e:99:38:99:87:
18 1e:7b:c0:8d:39:df:38:5d:70:78:07:d3:9e:d9:93:
20 cb:44:a2:72:0b:c2:e5:40:f9:3e:e5:a6:0e:b3:f9:
21 ec:4a:63:c0:b8:29:00:74:9c:57:3b:a8:a5:04:90:
24 58:26:22:03:5b:d4:b4:d5:fb:f5:e3:96:2e:70:c0:
30 65:64:09:ea:0c:6e:8e:1b:17:a0:71:c8:b3:9b:c9:
45 b8:fd:54:d8:00:54:90:8b:25:b0:27:dd:95:cd:a2:f7:84:07:
50 8b:9b:e0:d5:dc:67:ed:8c:6b:33:d7:74:22:3c:4c:db:b5:8d:
51 2a:ce:2c:0d:08:59:05:09:05:a6:39:9f:b3:67:1b:e2:83:e5:
54 66:d9:1f:9b:f5:13:48:b0:4d:14:d1:de:b2:24:d9:78:7d:f5:
[all …]
/lib/mbedtls/external/mbedtls/tests/scripts/
A Dcheck_files.py170 b'bash': 'sh',
171 b'perl': 'pl',
172 b'python3': 'py',
173 b'sh': 'sh',
193 if first_line.startswith(b'#!'):
221 if f.read(1) != b"\n":
291 return b"\r" in line
305 return not line.endswith(b"\r\n") or b"\r" in line[:-2]
333 return b"\t" in line
344 if line.startswith(b'<<<<<<< ') or line.startswith(b'>>>>>>> '):
[all …]
/lib/lwip/lwip/src/netif/ppp/polarssl/
A Ddes.c51 #define GET_ULONG_BE(n,b,i) \ argument
53 (n) = ( (unsigned long) (b)[(i) ] << 24 ) \
54 | ( (unsigned long) (b)[(i) + 1] << 16 ) \
55 | ( (unsigned long) (b)[(i) + 2] << 8 ) \
56 | ( (unsigned long) (b)[(i) + 3] ); \
61 #define PUT_ULONG_BE(n,b,i) \ argument
63 (b)[(i) ] = (unsigned char) ( (n) >> 24 ); \
64 (b)[(i) + 1] = (unsigned char) ( (n) >> 16 ); \
65 (b)[(i) + 2] = (unsigned char) ( (n) >> 8 ); \
66 (b)[(i) + 3] = (unsigned char) ( (n) ); \
[all …]
A Dmd4.c53 #define GET_ULONG_LE(n,b,i) \ argument
55 (n) = ( (unsigned long) (b)[(i) ] ) \
56 | ( (unsigned long) (b)[(i) + 1] << 8 ) \
57 | ( (unsigned long) (b)[(i) + 2] << 16 ) \
58 | ( (unsigned long) (b)[(i) + 3] << 24 ); \
63 #define PUT_ULONG_LE(n,b,i) \ argument
65 (b)[(i) ] = (unsigned char) ( (n) ); \
66 (b)[(i) + 1] = (unsigned char) ( (n) >> 8 ); \
115 #define P(a,b,c,d,x,s) { a += F(b,c,d) + x; a = S(a,s); } in md4_process() argument
138 #define P(a,b,c,d,x,s) { a += F(b,c,d) + x + 0x5A827999; a = S(a,s); } in md4_process() argument
[all …]
/lib/mbedtls/external/mbedtls/tests/data_files/
A Ddh.optlen.pem5 80:0a:bf:e7:dc:66:7a:a1:7b:cd:7c:04:61:4b:c2:
6 21:a6:54:82:cc:c0:4b:60:46:02:b0:e1:31:90:8a:
7 93:8e:a1:1b:48:dc:51:5d:ab:7a:bc:bb:1e:0c:7f:
10 5f:5b:f0:0d:f8:28:80:60:20:e8:75:c0:09:26:e4:
12 7c:63:96:b9:24:46:21:be:2b:00:b6:3c:65:92:53:
17 ec:b0:55:6f:b7:13:12:a8:d7:c9:3b:b2:89:8e:a0:
27 6a:57:8d:70:c5:c5:60:ad:2b:db:92:4c:4a:4d:be:
31 2d:52:13:ed:4a:5f:1f:5b:a8:b5:e1:ed:3d:a9:51:
35 5b:2e:a1:fa:34:40:5d:83:98:2f:ba:40:e6:d8:52:
36 da:3d:91:01:9b:f2:35:11:31:42:54:dc:21:1a:90:
[all …]

Completed in 80 milliseconds

12345678