D | p256_32.h | 389 fiat_p256_uint1 x202; in fiat_p256_mul() local 390 fiat_p256_addcarryx_u32(&x201, &x202, x200, x183, x151); in fiat_p256_mul() 393 fiat_p256_addcarryx_u32(&x203, &x204, x202, x185, x153); in fiat_p256_mul() 1438 fiat_p256_uint1 x202; in fiat_p256_square() local 1439 fiat_p256_addcarryx_u32(&x201, &x202, x200, x183, x151); in fiat_p256_square() 1442 fiat_p256_addcarryx_u32(&x203, &x204, x202, x185, x153); in fiat_p256_square() 2711 uint32_t x202; in fiat_p256_from_montgomery() local 2713 fiat_p256_addcarryx_u32(&x202, &x203, x169, 0x0, (fiat_p256_uint1)x200); in fiat_p256_from_montgomery() 2716 fiat_p256_addcarryx_u32(&x204, &x205, x199, x171, x202); in fiat_p256_from_montgomery()
|