| D | p256_32.h | 518 fiat_p256_uint1 x288; in fiat_p256_mul() local
519 fiat_p256_addcarryx_u32(&x287, &x288, x286, x269, x237); in fiat_p256_mul()
522 fiat_p256_addcarryx_u32(&x289, &x290, x288, x271, x239); in fiat_p256_mul()
1567 fiat_p256_uint1 x288; in fiat_p256_square() local
1568 fiat_p256_addcarryx_u32(&x287, &x288, x286, x269, x237); in fiat_p256_square()
1571 fiat_p256_addcarryx_u32(&x289, &x290, x288, x271, x239); in fiat_p256_square()
2840 uint32_t x288; in fiat_p256_from_montgomery() local
2842 fiat_p256_addcarryx_u32(&x288, &x289, x287, x282, x260); in fiat_p256_from_montgomery()
2875 fiat_p256_addcarryx_u32(&x310, &x311, 0x0, (arg1[7]), x288); in fiat_p256_from_montgomery()
|