v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v22;
- xor1 = v15 ^ v23;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_2223;
+ v_1415 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + b
v_67.x = v6;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v22;
- xor1 = v15 ^ v23;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_2223;
+ v_1415 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + b
v_67.x = v6;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v22;
- xor1 = v15 ^ v23;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_2223;
+ v_1415 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + b
v_67.x = v6;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v22;
- xor1 = v15 ^ v23;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_2223;
+ v_1415 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + b
v_67.x = v6;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v22;
- xor1 = v15 ^ v23;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_2223;
+ v_1415 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + b
v_67.x = v6;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v22;
- xor1 = v15 ^ v23;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_2223;
+ v_1415 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + b
v_67.x = v6;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v22;
- xor1 = v15 ^ v23;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_2223;
+ v_1415 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + b
v_67.x = v6;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v22;
- xor1 = v15 ^ v23;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_2223;
+ v_1415 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + b
v_67.x = v6;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v22;
- xor1 = v15 ^ v23;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_2223;
+ v_1415 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + b
v_67.x = v6;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v22;
- xor1 = v15 ^ v23;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_2223;
+ v_1415 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + b
v_67.x = v6;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v22;
- xor1 = v15 ^ v23;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_2223;
+ v_1415 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + b
v_67.x = v6;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v22;
- xor1 = v15 ^ v23;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_2223;
+ v_1415 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + b
v_67.x = v6;