v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
- xor0 = v12 ^ v22;
- xor1 = v13 ^ v23;
- v12 = (xor0 >> 24u) ^ (xor1 << 8u);
- v13 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ xor = v_1213 ^ v_2223;
+ v_1213 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + b
v_23.x = v2;
v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
- xor0 = v12 ^ v22;
- xor1 = v13 ^ v23;
- v12 = (xor0 >> 24u) ^ (xor1 << 8u);
- v13 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ xor = v_1213 ^ v_2223;
+ v_1213 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + b
v_23.x = v2;
v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
- xor0 = v12 ^ v22;
- xor1 = v13 ^ v23;
- v12 = (xor0 >> 24u) ^ (xor1 << 8u);
- v13 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ xor = v_1213 ^ v_2223;
+ v_1213 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + b
v_23.x = v2;
v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
- xor0 = v12 ^ v22;
- xor1 = v13 ^ v23;
- v12 = (xor0 >> 24u) ^ (xor1 << 8u);
- v13 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ xor = v_1213 ^ v_2223;
+ v_1213 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + b
v_23.x = v2;
v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
- xor0 = v12 ^ v22;
- xor1 = v13 ^ v23;
- v12 = (xor0 >> 24u) ^ (xor1 << 8u);
- v13 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ xor = v_1213 ^ v_2223;
+ v_1213 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + b
v_23.x = v2;
v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
- xor0 = v12 ^ v22;
- xor1 = v13 ^ v23;
- v12 = (xor0 >> 24u) ^ (xor1 << 8u);
- v13 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ xor = v_1213 ^ v_2223;
+ v_1213 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + b
v_23.x = v2;
v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
- xor0 = v12 ^ v22;
- xor1 = v13 ^ v23;
- v12 = (xor0 >> 24u) ^ (xor1 << 8u);
- v13 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ xor = v_1213 ^ v_2223;
+ v_1213 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + b
v_23.x = v2;
v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
- xor0 = v12 ^ v22;
- xor1 = v13 ^ v23;
- v12 = (xor0 >> 24u) ^ (xor1 << 8u);
- v13 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ xor = v_1213 ^ v_2223;
+ v_1213 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + b
v_23.x = v2;
v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
- xor0 = v12 ^ v22;
- xor1 = v13 ^ v23;
- v12 = (xor0 >> 24u) ^ (xor1 << 8u);
- v13 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ xor = v_1213 ^ v_2223;
+ v_1213 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + b
v_23.x = v2;
v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
- xor0 = v12 ^ v22;
- xor1 = v13 ^ v23;
- v12 = (xor0 >> 24u) ^ (xor1 << 8u);
- v13 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ xor = v_1213 ^ v_2223;
+ v_1213 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + b
v_23.x = v2;
v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
- xor0 = v12 ^ v22;
- xor1 = v13 ^ v23;
- v12 = (xor0 >> 24u) ^ (xor1 << 8u);
- v13 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ xor = v_1213 ^ v_2223;
+ v_1213 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + b
v_23.x = v2;
v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
- xor0 = v12 ^ v22;
- xor1 = v13 ^ v23;
- v12 = (xor0 >> 24u) ^ (xor1 << 8u);
- v13 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ xor = v_1213 ^ v_2223;
+ v_1213 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + b
v_23.x = v2;