Lines Matching refs:r3
921 + vec r3;
935 - vec r3 = st[3U];
938 + r3 = st[3U];
941 st[3U] = vec_shuffle_right(r3, (uint32_t)1U);
1189 FStar_UInt128_mul_wide(d2, r3));
1195 FStar_UInt128_mul_wide(r3 * (uint64_t)19U, r3));
1201 FStar_UInt128_mul_wide(d4, r3));
1205 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(d0, r3),
1212 FStar_UInt128_mul_wide(d1, r3)),
1673 uint32_t r3 = i3 >> (uint32_t)6U & (uint32_t)0x3ffffffU;
1680 tmp[3U] = r3;
1691 uint32_t r3 = i3 >> (uint32_t)6U & (uint32_t)0x3ffffffU;
1700 tmp[3U] = r3;
1930 x0[3U] = r3;
2023 x0[3U] = r3;