D | p256_32.h | 638 fiat_p256_uint1 x368; in fiat_p256_mul() local 639 fiat_p256_addcarryx_u32(&x367, &x368, x366, x349, x317); in fiat_p256_mul() 642 fiat_p256_addcarryx_u32(&x369, &x370, x368, x351, x319); in fiat_p256_mul() 1687 fiat_p256_uint1 x368; in fiat_p256_square() local 1688 fiat_p256_addcarryx_u32(&x367, &x368, x366, x349, x317); in fiat_p256_square() 1691 fiat_p256_addcarryx_u32(&x369, &x370, x368, x351, x319); in fiat_p256_square() 2960 uint32_t x368; in fiat_p256_from_montgomery() local 2962 fiat_p256_subborrowx_u32(&x368, &x369, x367, x348, 0x0); in fiat_p256_from_montgomery() 2988 fiat_p256_cmovznz_u32(&x385, x381, x368, x348); in fiat_p256_from_montgomery()
|