D | p256_32.h | 641 fiat_p256_uint1 x370; in fiat_p256_mul() local 642 fiat_p256_addcarryx_u32(&x369, &x370, x368, x351, x319); in fiat_p256_mul() 645 fiat_p256_addcarryx_u32(&x371, &x372, x370, x353, x321); in fiat_p256_mul() 1690 fiat_p256_uint1 x370; in fiat_p256_square() local 1691 fiat_p256_addcarryx_u32(&x369, &x370, x368, x351, x319); in fiat_p256_square() 1694 fiat_p256_addcarryx_u32(&x371, &x372, x370, x353, x321); in fiat_p256_square() 2963 uint32_t x370; in fiat_p256_from_montgomery() local 2965 fiat_p256_subborrowx_u32(&x370, &x371, x369, x350, 0x0); in fiat_p256_from_montgomery() 2990 fiat_p256_cmovznz_u32(&x386, x381, x370, x350); in fiat_p256_from_montgomery()
|