Lines Matching defs:x13
71 uint32_t x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15;
87 x13 = y13 = le32dec(in + 4);
115 le32enc(out + 52, x13 + y13);
131 uint32_t x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15;
148 x13 = le32dec(nonce + 0);
166 y13 = x13;
192 le32enc(s + 52, x13 + y13);
214 y13 = x13;
240 le32enc(buf + 52, x13 + y13);
256 uint32_t x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15;
273 x13 = le32dec(nonce + 0);
291 y13 = x13;
317 le32enc(s + 52, (x13 + y13) ^ le32dec(p + 52));
339 y13 = x13;
365 le32enc(buf + 52, x13 + y13);