Lines Matching refs:xi
740 uint32_t xi = st[i];
742 st[i] = xi + yi;
752 uint32_t xi = ib[i];
754 ob[i] = xi ^ yi;
766 uint8_t xi = plain[i];
768 output[i] = xi ^ yi;
988 uint8_t xi = plain[i];
990 output[i] = xi ^ yi;
1372 uint64_t xi = b[0U];
1374 tmp[4U] = FStar_UInt128_mul_wide(xi, s);
1573 uint64_t xi = input[i];
1574 output[i] = (uint32_t)xi;
1583 uint64_t xi = output[i];
1668 uint32_t xi = acc[i];
1670 acc[i] = xi + yi;