Home
last modified time | relevance | path

Searched defs:x31 (Results 1 – 21 of 21) sorted by relevance

/external/rust/crates/quiche/deps/boringssl/src/third_party/fiat/
Dcurve25519_64.h133 fiat_25519_uint128 x31 = (x23 + (x19 + (x16 + (x5 + x2)))); in fiat_25519_carry_mul() local
203 fiat_25519_uint128 x31 = (x25 + x30); in fiat_25519_carry_square() local
413 uint8_t x31 = (uint8_t)(x28 & UINT8_C(0xff)); in fiat_25519_to_bytes() local
549 uint64_t x31 = ((uint64_t)(arg1[1]) << 8); in fiat_25519_from_bytes() local
Dcurve25519_32.h175 uint64_t x31 = ((uint64_t)(arg1[5]) * ((arg2[9]) * UINT8_C(0x26))); in fiat_25519_carry_mul() local
345 uint64_t x31 = ((arg1[5]) * ((uint64_t)x8 * 0x2)); in fiat_25519_carry_square() local
694 fiat_25519_uint1 x31; in fiat_25519_to_bytes() local
863 uint32_t x31 = ((uint32_t)(arg1[1]) << 8); in fiat_25519_from_bytes() local
953 uint64_t x31 = (x29 + x3); in fiat_25519_carry_scmul_121666() local
Dp256_64.h173 uint64_t x31; in fiat_p256_mul() local
468 uint64_t x31; in fiat_p256_square() local
916 fiat_p256_uint1 x31; in fiat_p256_from_montgomery() local
1101 uint8_t x31 = (uint8_t)(x28 & UINT8_C(0xff)); in fiat_p256_to_bytes() local
1212 uint64_t x31 = ((uint64_t)(arg1[1]) << 8); in fiat_p256_from_bytes() local
Dp256_32.h170 uint32_t x31; in fiat_p256_mul() local
1177 uint32_t x31; in fiat_p256_square() local
2190 uint32_t x31; in fiat_p256_add() local
2283 fiat_p256_uint1 x31; in fiat_p256_sub() local
2357 fiat_p256_uint1 x31; in fiat_p256_opp() local
2430 uint32_t x31; in fiat_p256_from_montgomery() local
3010 uint8_t x31 = (uint8_t)(x5 & UINT8_C(0xff)); in fiat_p256_to_bytes() local
3121 uint32_t x31 = ((uint32_t)(arg1[1]) << 8); in fiat_p256_from_bytes() local
/external/rust/crates/ring/third_party/fiat/
Dcurve25519_64.h133 fiat_25519_uint128 x31 = (x23 + (x19 + (x16 + (x5 + x2)))); in fiat_25519_carry_mul() local
203 fiat_25519_uint128 x31 = (x25 + x30); in fiat_25519_carry_square() local
413 uint8_t x31 = (uint8_t)(x28 & UINT8_C(0xff)); in fiat_25519_to_bytes() local
549 uint64_t x31 = ((uint64_t)(arg1[1]) << 8); in fiat_25519_from_bytes() local
Dcurve25519_32.h175 uint64_t x31 = ((uint64_t)(arg1[5]) * ((arg2[9]) * UINT8_C(0x26))); in fiat_25519_carry_mul() local
345 uint64_t x31 = ((arg1[5]) * ((uint64_t)x8 * 0x2)); in fiat_25519_carry_square() local
694 fiat_25519_uint1 x31; in fiat_25519_to_bytes() local
863 uint32_t x31 = ((uint32_t)(arg1[1]) << 8); in fiat_25519_from_bytes() local
953 uint64_t x31 = (x29 + x3); in fiat_25519_carry_scmul_121666() local
Dp256_64.h173 uint64_t x31; in fiat_p256_mul() local
468 uint64_t x31; in fiat_p256_square() local
Dp256_32.h170 uint32_t x31; in fiat_p256_mul() local
1177 uint32_t x31; in fiat_p256_square() local
2190 uint32_t x31; in fiat_p256_add() local
2283 fiat_p256_uint1 x31; in fiat_p256_sub() local
2357 fiat_p256_uint1 x31; in fiat_p256_opp() local
/external/cronet/third_party/boringssl/src/third_party/fiat/
Dcurve25519_64.h164 fiat_25519_uint128 x31; in fiat_25519_carry_mul() local
283 fiat_25519_uint128 x31; in fiat_25519_carry_square() local
545 uint64_t x31; in fiat_25519_to_bytes() local
761 uint64_t x31; in fiat_25519_from_bytes() local
Dcurve25519_64_msvc.h232 uint64_t x31; in fiat_25519_carry_mul() local
498 uint64_t x31; in fiat_25519_carry_square() local
837 uint64_t x31; in fiat_25519_to_bytes() local
1053 uint64_t x31; in fiat_25519_from_bytes() local
1235 uint64_t x31; in fiat_25519_carry_scmul_121666() local
Dcurve25519_32.h211 uint64_t x31; in fiat_25519_carry_mul() local
525 uint64_t x31; in fiat_25519_carry_square() local
1017 fiat_25519_uint1 x31; in fiat_25519_to_bytes() local
1275 uint32_t x31; in fiat_25519_from_bytes() local
1491 uint64_t x31; in fiat_25519_carry_scmul_121666() local
Dp256_64_msvc.h189 uint64_t x31; in fiat_p256_mul() local
496 uint64_t x31; in fiat_p256_square() local
943 fiat_p256_uint1 x31; in fiat_p256_from_montgomery() local
1098 uint64_t x31; in fiat_p256_to_montgomery() local
1424 uint8_t x31; in fiat_p256_to_bytes() local
1593 uint64_t x31; in fiat_p256_from_bytes() local
1783 uint64_t x31; in fiat_p256_divstep() local
Dp256_64.h198 uint64_t x31; in fiat_p256_mul() local
505 uint64_t x31; in fiat_p256_square() local
952 fiat_p256_uint1 x31; in fiat_p256_from_montgomery() local
1107 uint64_t x31; in fiat_p256_to_montgomery() local
1433 uint8_t x31; in fiat_p256_to_bytes() local
1602 uint64_t x31; in fiat_p256_from_bytes() local
1792 uint64_t x31; in fiat_p256_divstep() local
Dp256_32.h193 uint32_t x31; in fiat_p256_mul() local
1228 uint32_t x31; in fiat_p256_square() local
2264 uint32_t x31; in fiat_p256_add() local
2353 fiat_p256_uint1 x31; in fiat_p256_sub() local
2424 fiat_p256_uint1 x31; in fiat_p256_opp() local
2495 uint32_t x31; in fiat_p256_from_montgomery() local
3032 uint32_t x31; in fiat_p256_to_montgomery() local
3990 uint8_t x31; in fiat_p256_to_bytes() local
4151 uint32_t x31; in fiat_p256_from_bytes() local
4345 fiat_p256_uint1 x31; in fiat_p256_divstep() local
/external/boringssl/src/third_party/fiat/
Dcurve25519_64.h164 fiat_25519_uint128 x31; in fiat_25519_carry_mul() local
283 fiat_25519_uint128 x31; in fiat_25519_carry_square() local
545 uint64_t x31; in fiat_25519_to_bytes() local
761 uint64_t x31; in fiat_25519_from_bytes() local
Dcurve25519_64_msvc.h232 uint64_t x31; in fiat_25519_carry_mul() local
498 uint64_t x31; in fiat_25519_carry_square() local
837 uint64_t x31; in fiat_25519_to_bytes() local
1053 uint64_t x31; in fiat_25519_from_bytes() local
1235 uint64_t x31; in fiat_25519_carry_scmul_121666() local
Dcurve25519_32.h211 uint64_t x31; in fiat_25519_carry_mul() local
525 uint64_t x31; in fiat_25519_carry_square() local
1017 fiat_25519_uint1 x31; in fiat_25519_to_bytes() local
1275 uint32_t x31; in fiat_25519_from_bytes() local
1491 uint64_t x31; in fiat_25519_carry_scmul_121666() local
Dp256_64_msvc.h189 uint64_t x31; in fiat_p256_mul() local
496 uint64_t x31; in fiat_p256_square() local
943 fiat_p256_uint1 x31; in fiat_p256_from_montgomery() local
1098 uint64_t x31; in fiat_p256_to_montgomery() local
1424 uint8_t x31; in fiat_p256_to_bytes() local
1593 uint64_t x31; in fiat_p256_from_bytes() local
1783 uint64_t x31; in fiat_p256_divstep() local
Dp256_64.h198 uint64_t x31; in fiat_p256_mul() local
505 uint64_t x31; in fiat_p256_square() local
952 fiat_p256_uint1 x31; in fiat_p256_from_montgomery() local
1107 uint64_t x31; in fiat_p256_to_montgomery() local
1433 uint8_t x31; in fiat_p256_to_bytes() local
1602 uint64_t x31; in fiat_p256_from_bytes() local
1792 uint64_t x31; in fiat_p256_divstep() local
Dp256_32.h193 uint32_t x31; in fiat_p256_mul() local
1228 uint32_t x31; in fiat_p256_square() local
2264 uint32_t x31; in fiat_p256_add() local
2353 fiat_p256_uint1 x31; in fiat_p256_sub() local
2424 fiat_p256_uint1 x31; in fiat_p256_opp() local
2495 uint32_t x31; in fiat_p256_from_montgomery() local
3032 uint32_t x31; in fiat_p256_to_montgomery() local
3990 uint8_t x31; in fiat_p256_to_bytes() local
4151 uint32_t x31; in fiat_p256_from_bytes() local
4345 fiat_p256_uint1 x31; in fiat_p256_divstep() local
/external/ComputeLibrary/src/core/NEON/kernels/
DNEFFTRadixStageKernel.cpp167 const auto x31 = wrapper::vadd(a, wrapper::vneg(b)); in fft_4() local