/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
|