Lines Matching defs:x1
42 uint32_t x1 = r->v[2];
54 x1 += x0 >> 26;
56 x2 += x1 >> 26;
57 x1 &= 0x3ffffff;
67 y1 = x1 + (y0 >> 26);
79 y1 ^= x1;
91 y1 ^= x1;
105 uint32_t x1 = x->v[2];
110 x1 += x0 >> 26;
112 x2 += x1 >> 26;
113 x1 &= 0x3ffffff;
119 *(uint32_t *)r = x0 + (x1 << 26);
120 *(uint32_t *)(r + 4) = (x1 >> 6) + (x2 << 20);
