D | p256_32.h | 482 fiat_p256_uint1 x264; in fiat_p256_mul() local 483 fiat_p256_addcarryx_u32(&x263, &x264, x262, x251, x254); in fiat_p256_mul() 486 fiat_p256_addcarryx_u32(&x265, &x266, x264, x249, x252); in fiat_p256_mul() 1531 fiat_p256_uint1 x264; in fiat_p256_square() local 1532 fiat_p256_addcarryx_u32(&x263, &x264, x262, x251, x254); in fiat_p256_square() 1535 fiat_p256_addcarryx_u32(&x265, &x266, x264, x249, x252); in fiat_p256_square() 2804 uint32_t x264; in fiat_p256_from_montgomery() local 2806 fiat_p256_addcarryx_u32(&x264, &x265, x263, 0x0, x244); in fiat_p256_from_montgomery() 2851 fiat_p256_addcarryx_u32(&x294, &x295, x291, x292, x264); in fiat_p256_from_montgomery()
|