Lines Matching defs:x3
73 uint32_t x0, x1, x2, x3;
81 x3 = x & (uint32_t)0x88888888;
89 * (x2+W*x3)*(y2+W*y3) -> a3:b3
90 * ((x0+x2)+W*(x1+x3))*((y0+y2)+W*(y1+y3)) -> a6:b6
100 a4 = x3 >> 3;
167 uint32_t x0, x1, x2, x3;
175 x3 = x & (uint32_t)0x88888888;
180 z0 = MUL(x0, y0) ^ MUL(x1, y3) ^ MUL(x2, y2) ^ MUL(x3, y1);
181 z1 = MUL(x0, y1) ^ MUL(x1, y0) ^ MUL(x2, y3) ^ MUL(x3, y2);
182 z2 = MUL(x0, y2) ^ MUL(x1, y1) ^ MUL(x2, y0) ^ MUL(x3, y3);
183 z3 = MUL(x0, y3) ^ MUL(x1, y2) ^ MUL(x2, y1) ^ MUL(x3, y0);