| D | p256_32.h | 551 fiat_p256_uint1 x310; in fiat_p256_mul() local
552 fiat_p256_addcarryx_u32(&x309, &x310, x308, x301, x277); in fiat_p256_mul()
555 fiat_p256_addcarryx_u32(&x311, &x312, x310, x303, x279); in fiat_p256_mul()
1600 fiat_p256_uint1 x310; in fiat_p256_square() local
1601 fiat_p256_addcarryx_u32(&x309, &x310, x308, x301, x277); in fiat_p256_square()
1604 fiat_p256_addcarryx_u32(&x311, &x312, x310, x303, x279); in fiat_p256_square()
2873 uint32_t x310; in fiat_p256_from_montgomery() local
2875 fiat_p256_addcarryx_u32(&x310, &x311, 0x0, (arg1[7]), x288); in fiat_p256_from_montgomery()
2899 fiat_p256_mulx_u32(&x326, &x327, x310, UINT32_C(0xffffffff)); in fiat_p256_from_montgomery()
2902 fiat_p256_mulx_u32(&x328, &x329, x310, UINT32_C(0xffffffff)); in fiat_p256_from_montgomery()
[all …]
|