Searched refs:fiat_p256_mul (Results 1 – 6 of 6) sorted by relevance
| /external/rust/crates/quiche/deps/boringssl/src/crypto/fipsmodule/ec/ |
| D | p256.c | 107 fiat_p256_mul(x2, x2, in); // 2^2 - 2^0 in fiat_p256_inv_square()
110 fiat_p256_mul(x3, x3, in); // 2^3 - 2^0 in fiat_p256_inv_square()
116 fiat_p256_mul(x6, x6, x3); // 2^6 - 2^0 in fiat_p256_inv_square()
122 fiat_p256_mul(x12, x12, x6); // 2^12 - 2^0 in fiat_p256_inv_square()
128 fiat_p256_mul(x15, x15, x3); // 2^15 - 2^0 in fiat_p256_inv_square()
134 fiat_p256_mul(x30, x30, x15); // 2^30 - 2^0 in fiat_p256_inv_square()
138 fiat_p256_mul(x32, x32, x2); // 2^32 - 2^0 in fiat_p256_inv_square()
145 fiat_p256_mul(ret, ret, in); // 2^64 - 2^32 + 2^0 in fiat_p256_inv_square()
150 fiat_p256_mul(ret, ret, x32); // 2^192 - 2^160 + 2^128 + 2^32 - 2^0 in fiat_p256_inv_square()
155 fiat_p256_mul(ret, ret, x32); // 2^224 - 2^192 + 2^160 + 2^64 - 2^0 in fiat_p256_inv_square()
[all …]
|
| /external/boringssl/src/crypto/fipsmodule/ec/ |
| D | p256.c | 107 fiat_p256_mul(x2, x2, in); // 2^2 - 2^0 in fiat_p256_inv_square()
110 fiat_p256_mul(x3, x3, in); // 2^3 - 2^0 in fiat_p256_inv_square()
116 fiat_p256_mul(x6, x6, x3); // 2^6 - 2^0 in fiat_p256_inv_square()
122 fiat_p256_mul(x12, x12, x6); // 2^12 - 2^0 in fiat_p256_inv_square()
128 fiat_p256_mul(x15, x15, x3); // 2^15 - 2^0 in fiat_p256_inv_square()
134 fiat_p256_mul(x30, x30, x15); // 2^30 - 2^0 in fiat_p256_inv_square()
138 fiat_p256_mul(x32, x32, x2); // 2^32 - 2^0 in fiat_p256_inv_square()
145 fiat_p256_mul(ret, ret, in); // 2^64 - 2^32 + 2^0 in fiat_p256_inv_square()
150 fiat_p256_mul(ret, ret, x32); // 2^192 - 2^160 + 2^128 + 2^32 - 2^0 in fiat_p256_inv_square()
155 fiat_p256_mul(ret, ret, x32); // 2^224 - 2^192 + 2^160 + 2^64 - 2^0 in fiat_p256_inv_square()
[all …]
|
| /external/boringssl/src/third_party/fiat/ |
| D | p256_64.h | 130 static void fiat_p256_mul(uint64_t out1[4], const uint64_t arg1[4], const uint64_t arg2[4]) { in fiat_p256_mul() function
|
| D | p256_32.h | 128 static void fiat_p256_mul(uint32_t out1[8], const uint32_t arg1[8], const uint32_t arg2[8]) { in fiat_p256_mul() function
|
| /external/rust/crates/quiche/deps/boringssl/src/third_party/fiat/ |
| D | p256_64.h | 130 static void fiat_p256_mul(uint64_t out1[4], const uint64_t arg1[4], const uint64_t arg2[4]) { in fiat_p256_mul() function
|
| D | p256_32.h | 128 static void fiat_p256_mul(uint32_t out1[8], const uint32_t arg1[8], const uint32_t arg2[8]) { in fiat_p256_mul() function
|