Lines Matching refs:r4
1177 uint64_t d419 = r4 * (uint64_t)19U;
1207 FStar_UInt128_mul_wide(r4, d419));
1211 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(d0, r4),
1674 uint32_t r4 = i4 >> (uint32_t)8U;
1681 tmp[4U] = r4;
1692 uint32_t r4 = i4 >> (uint32_t)8U;
1701 tmp[4U] = r4;
1922 r4 =
1931 x0[4U] = r4;
2015 r4 =
2024 x0[4U] = r4;