Searched defs:x22 (Results 1 – 6 of 6) sorted by relevance
163 int[] x22 = Nat256.create(); in sqrt() local
205 SolutionType x22 = svd2.solve(rhs2); in svd_min_norm() local
206 { uint64_t x22; uint8_t/*bool*/ x23 = subborrow_u51(x20, x7, 0x7ffffffffffff, &x22); in fe_freeze() local361 { uint64_t x22 = (x20 & 0x7ffffffffffff); in fe_carry_impl() local397 { uint128_t x22 = ((((uint128_t)x5 * x17) + ((uint128_t)x9 * x13)) + ((uint128_t)x7 * x15)); in fe_mul_impl() local481 { uint64_t x22 = (uint64_t) (x21 >> 0x33); in fe_sqr_impl() local544 { uint128_t x22 = ((((uint128_t)x5 * x17) + ((uint128_t)x9 * x13)) + ((uint128_t)x7 * x15)); in fe_mul_121666_impl() local892 { uint32_t x22 = (x21 >> 0x19); in fe_carry_impl() local1100 { uint64_t x22 = (0x2 * (((uint64_t)x4 * x6) + ((uint64_t)x2 * x8))); in fe_sqr_impl() local
150 uint64_t x22; uint8_t x23 = addcarryx_u64(0x0, x8, x20, &x22); in fe_opp() local806 uint32_t x21; uint8_t x22 = subborrow_u32(x19, 0x0, x5, &x21); in fe_opp() local
969 double x22 = m2[2]; in orthogonalizeMatrix() local
1459 auto x22 = vmovl_s16(input2_val_high); in Add() local