| /aosp_15_r20/external/rust/android-crates-io/crates/quiche/deps/boringssl/src/third_party/fiat/ |
| D | curve25519_64.h | 115 fiat_25519_uint128 x13 = ((fiat_25519_uint128)(arg1[3]) * (arg2[0])); in fiat_25519_carry_mul() local
185 fiat_25519_uint128 x13 = ((fiat_25519_uint128)(arg1[2]) * x5); in fiat_25519_carry_square() local
390 fiat_25519_uint1 x13; in fiat_25519_to_bytes() local
531 uint64_t x13 = ((uint64_t)(arg1[19]) << 50); in fiat_25519_from_bytes() local
598 uint64_t x13 = (uint64_t)(x11 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_scmul_121666() local
|
| D | p256_64.h | 147 uint64_t x13; in fiat_p256_mul() local
442 uint64_t x13; in fiat_p256_square() local
741 uint64_t x13; in fiat_p256_add() local
798 fiat_p256_uint1 x13; in fiat_p256_sub() local
844 fiat_p256_uint1 x13; in fiat_p256_opp() local
889 fiat_p256_uint1 x13; in fiat_p256_from_montgomery() local
1083 uint64_t x13 = (x11 >> 8); in fiat_p256_to_bytes() local
1194 uint64_t x13 = ((uint64_t)(arg1[19]) << 24); in fiat_p256_from_bytes() local
|
| D | curve25519_32.h | 157 uint64_t x13 = ((uint64_t)(arg1[8]) * ((arg2[6]) * UINT8_C(0x13))); in fiat_25519_carry_mul() local
327 uint32_t x13 = ((arg1[5]) * UINT8_C(0x13)); in fiat_25519_carry_square() local
470 uint32_t x13 = (x11 & UINT32_C(0x3ffffff)); in fiat_25519_carry() local
667 uint32_t x13; in fiat_25519_to_bytes() local
845 uint32_t x13 = ((uint32_t)(arg1[19]) << 24); in fiat_25519_from_bytes() local
935 uint64_t x13 = (x11 + x9); in fiat_25519_carry_scmul_121666() local
|
| /aosp_15_r20/external/rust/crates/quiche/deps/boringssl/src/third_party/fiat/ |
| D | curve25519_64.h | 115 fiat_25519_uint128 x13 = ((fiat_25519_uint128)(arg1[3]) * (arg2[0])); in fiat_25519_carry_mul() local
185 fiat_25519_uint128 x13 = ((fiat_25519_uint128)(arg1[2]) * x5); in fiat_25519_carry_square() local
390 fiat_25519_uint1 x13; in fiat_25519_to_bytes() local
531 uint64_t x13 = ((uint64_t)(arg1[19]) << 50); in fiat_25519_from_bytes() local
598 uint64_t x13 = (uint64_t)(x11 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_scmul_121666() local
|
| D | p256_64.h | 147 uint64_t x13; in fiat_p256_mul() local
442 uint64_t x13; in fiat_p256_square() local
741 uint64_t x13; in fiat_p256_add() local
798 fiat_p256_uint1 x13; in fiat_p256_sub() local
844 fiat_p256_uint1 x13; in fiat_p256_opp() local
889 fiat_p256_uint1 x13; in fiat_p256_from_montgomery() local
1083 uint64_t x13 = (x11 >> 8); in fiat_p256_to_bytes() local
1194 uint64_t x13 = ((uint64_t)(arg1[19]) << 24); in fiat_p256_from_bytes() local
|
| D | curve25519_32.h | 157 uint64_t x13 = ((uint64_t)(arg1[8]) * ((arg2[6]) * UINT8_C(0x13))); in fiat_25519_carry_mul() local
327 uint32_t x13 = ((arg1[5]) * UINT8_C(0x13)); in fiat_25519_carry_square() local
470 uint32_t x13 = (x11 & UINT32_C(0x3ffffff)); in fiat_25519_carry() local
667 uint32_t x13; in fiat_25519_to_bytes() local
845 uint32_t x13 = ((uint32_t)(arg1[19]) << 24); in fiat_25519_from_bytes() local
935 uint64_t x13 = (x11 + x9); in fiat_25519_carry_scmul_121666() local
|
| /aosp_15_r20/external/rust/android-crates-io/crates/ring/third_party/fiat/ |
| D | curve25519_64_adx.h | 176 fiat_uint1 x13; in fe4_add() local
222 uint64_t x13; in fe4_sub() local
276 uint64_t x13; in fe4_scmul() local
331 uint64_t x13; in fe4_canon() local
|
| D | curve25519_64.h | 146 fiat_25519_uint128 x13; in fiat_25519_carry_mul() local
265 fiat_25519_uint128 x13; in fiat_25519_carry_square() local
527 fiat_25519_uint1 x13; in fiat_25519_to_bytes() local
743 uint64_t x13; in fiat_25519_from_bytes() local
925 uint64_t x13; in fiat_25519_carry_scmul_121666() local
|
| D | p256_64_msvc.h | 171 uint64_t x13; in fiat_p256_mul() local
478 uint64_t x13; in fiat_p256_square() local
786 uint64_t x13; in fiat_p256_add() local
839 fiat_p256_uint1 x13; in fiat_p256_sub() local
882 fiat_p256_uint1 x13; in fiat_p256_opp() local
925 fiat_p256_uint1 x13; in fiat_p256_from_montgomery() local
1080 uint64_t x13; in fiat_p256_to_montgomery() local
1406 uint8_t x13; in fiat_p256_to_bytes() local
1575 uint64_t x13; in fiat_p256_from_bytes() local
1765 fiat_p256_uint1 x13; in fiat_p256_divstep() local
|
| D | p256_64.h | 180 uint64_t x13; in fiat_p256_mul() local
487 uint64_t x13; in fiat_p256_square() local
795 uint64_t x13; in fiat_p256_add() local
848 fiat_p256_uint1 x13; in fiat_p256_sub() local
891 fiat_p256_uint1 x13; in fiat_p256_opp() local
|
| D | curve25519_32.h | 193 uint64_t x13; in fiat_25519_carry_mul() local
507 uint32_t x13; in fiat_25519_carry_square() local
767 uint32_t x13; in fiat_25519_carry() local
999 uint32_t x13; in fiat_25519_to_bytes() local
1257 uint32_t x13; in fiat_25519_from_bytes() local
1473 uint64_t x13; in fiat_25519_carry_scmul_121666() local
|
| D | curve25519_64_msvc.h | 214 uint64_t x13; in fiat_25519_carry_mul() local
480 uint64_t x13; in fiat_25519_carry_square() local
819 fiat_25519_uint1 x13; in fiat_25519_to_bytes() local
1035 uint64_t x13; in fiat_25519_from_bytes() local
1217 uint64_t x13; in fiat_25519_carry_scmul_121666() local
|
| /aosp_15_r20/external/cronet/third_party/boringssl/src/third_party/fiat/ |
| H A D | curve25519_64_adx.h | 178 fiat_uint1 x13; in fe4_add() local
224 uint64_t x13; in fe4_sub() local
278 uint64_t x13; in fe4_scmul() local
333 uint64_t x13; in fe4_canon() local
|
| H A D | curve25519_64.h | 146 fiat_25519_uint128 x13; in fiat_25519_carry_mul() local
265 fiat_25519_uint128 x13; in fiat_25519_carry_square() local
527 fiat_25519_uint1 x13; in fiat_25519_to_bytes() local
743 uint64_t x13; in fiat_25519_from_bytes() local
925 uint64_t x13; in fiat_25519_carry_scmul_121666() local
|
| H A D | p256_64_msvc.h | 171 uint64_t x13; in fiat_p256_mul() local
478 uint64_t x13; in fiat_p256_square() local
786 uint64_t x13; in fiat_p256_add() local
839 fiat_p256_uint1 x13; in fiat_p256_sub() local
882 fiat_p256_uint1 x13; in fiat_p256_opp() local
925 fiat_p256_uint1 x13; in fiat_p256_from_montgomery() local
1080 uint64_t x13; in fiat_p256_to_montgomery() local
1406 uint8_t x13; in fiat_p256_to_bytes() local
1575 uint64_t x13; in fiat_p256_from_bytes() local
1765 fiat_p256_uint1 x13; in fiat_p256_divstep() local
|
| H A D | p256_64.h | 194 uint64_t x13; in fiat_p256_mul() local
508 uint64_t x13; in fiat_p256_square() local
816 uint64_t x13; in fiat_p256_add() local
869 fiat_p256_uint1 x13; in fiat_p256_sub() local
912 fiat_p256_uint1 x13; in fiat_p256_opp() local
955 fiat_p256_uint1 x13; in fiat_p256_from_montgomery() local
1110 uint64_t x13; in fiat_p256_to_montgomery() local
1436 uint8_t x13; in fiat_p256_to_bytes() local
1605 uint64_t x13; in fiat_p256_from_bytes() local
1795 fiat_p256_uint1 x13; in fiat_p256_divstep() local
|
| H A D | curve25519_32.h | 193 uint64_t x13; in fiat_25519_carry_mul() local
507 uint32_t x13; in fiat_25519_carry_square() local
767 uint32_t x13; in fiat_25519_carry() local
999 uint32_t x13; in fiat_25519_to_bytes() local
1257 uint32_t x13; in fiat_25519_from_bytes() local
1473 uint64_t x13; in fiat_25519_carry_scmul_121666() local
|
| H A D | curve25519_64_msvc.h | 214 uint64_t x13; in fiat_25519_carry_mul() local
480 uint64_t x13; in fiat_25519_carry_square() local
819 fiat_25519_uint1 x13; in fiat_25519_to_bytes() local
1035 uint64_t x13; in fiat_25519_from_bytes() local
1217 uint64_t x13; in fiat_25519_carry_scmul_121666() local
|
| /aosp_15_r20/external/boringssl/src/third_party/fiat/ |
| H A D | curve25519_64_adx.h | 178 fiat_uint1 x13; in fe4_add() local
224 uint64_t x13; in fe4_sub() local
278 uint64_t x13; in fe4_scmul() local
333 uint64_t x13; in fe4_canon() local
|
| H A D | curve25519_64.h | 146 fiat_25519_uint128 x13; in fiat_25519_carry_mul() local
265 fiat_25519_uint128 x13; in fiat_25519_carry_square() local
527 fiat_25519_uint1 x13; in fiat_25519_to_bytes() local
743 uint64_t x13; in fiat_25519_from_bytes() local
925 uint64_t x13; in fiat_25519_carry_scmul_121666() local
|
| H A D | p256_64_msvc.h | 171 uint64_t x13; in fiat_p256_mul() local
478 uint64_t x13; in fiat_p256_square() local
786 uint64_t x13; in fiat_p256_add() local
839 fiat_p256_uint1 x13; in fiat_p256_sub() local
882 fiat_p256_uint1 x13; in fiat_p256_opp() local
925 fiat_p256_uint1 x13; in fiat_p256_from_montgomery() local
1080 uint64_t x13; in fiat_p256_to_montgomery() local
1406 uint8_t x13; in fiat_p256_to_bytes() local
1575 uint64_t x13; in fiat_p256_from_bytes() local
1765 fiat_p256_uint1 x13; in fiat_p256_divstep() local
|
| H A D | p256_64.h | 194 uint64_t x13; in fiat_p256_mul() local
508 uint64_t x13; in fiat_p256_square() local
816 uint64_t x13; in fiat_p256_add() local
869 fiat_p256_uint1 x13; in fiat_p256_sub() local
912 fiat_p256_uint1 x13; in fiat_p256_opp() local
955 fiat_p256_uint1 x13; in fiat_p256_from_montgomery() local
1110 uint64_t x13; in fiat_p256_to_montgomery() local
1436 uint8_t x13; in fiat_p256_to_bytes() local
1605 uint64_t x13; in fiat_p256_from_bytes() local
1795 fiat_p256_uint1 x13; in fiat_p256_divstep() local
|
| H A D | curve25519_32.h | 193 uint64_t x13; in fiat_25519_carry_mul() local
507 uint32_t x13; in fiat_25519_carry_square() local
767 uint32_t x13; in fiat_25519_carry() local
999 uint32_t x13; in fiat_25519_to_bytes() local
1257 uint32_t x13; in fiat_25519_from_bytes() local
1473 uint64_t x13; in fiat_25519_carry_scmul_121666() local
|
| H A D | curve25519_64_msvc.h | 214 uint64_t x13; in fiat_25519_carry_mul() local
480 uint64_t x13; in fiat_25519_carry_square() local
819 fiat_25519_uint1 x13; in fiat_25519_to_bytes() local
1035 uint64_t x13; in fiat_25519_from_bytes() local
1217 uint64_t x13; in fiat_25519_carry_scmul_121666() local
|
| /aosp_15_r20/external/jspecify/samples/ |
| H A D | NullLiteralToTypeVariableUnionNull.java | 95 @Nullable ChildOfParametricT x13() { in x13() method in NullLiteralToTypeVariableUnionNull
|