Lines Matching defs:x3
44 uint32_t x3 = r->v[6];
58 x3 += x2 >> 26;
60 x4 += x3 >> 26;
61 x3 &= 0x3ffffff;
71 y3 = x3 + (y2 >> 26);
81 y3 ^= x3;
93 y3 ^= x3;
107 uint32_t x3 = x->v[6];
114 x3 += x2 >> 26;
116 x4 += x3 >> 26;
117 x3 &= 0x3ffffff;
121 *(uint32_t *)(r + 8) = (x2 >> 12) + (x3 << 14);
122 *(uint32_t *)(r + 12) = (x3 >> 18) + (x4 << 8);
