Lines Matching refs:r1
916 + vec r1;
923 - vec r1 = st[1U];
926 + r1 = st[1U];
929 st[1U] = vec_shuffle_right(r1, (uint32_t)1U);
1188 FStar_UInt128_mul_wide(d4, r1)),
1193 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(d0, r1),
1200 FStar_UInt128_mul_wide(r1, r1)),
1678 tmp[1U] = r1;
1698 tmp[1U] = r1;
1928 x0[1U] = r1;
2021 x0[1U] = r1;