v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v10 ^ v20;
- xor1 = v11 ^ v21;
- v10 = (xor0 >> 24u) ^ (xor1 << 8u);
- v11 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2021.x = v20;
+ v_2021.y = v21;
+ v_1011.x = v10;
+ v_1011.y = v11;
+ xor = v_1011 ^ v_2021;
+ v_1011 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v10 = v_1011.x;
+ v11 = v_1011.y;
// a = a + b
v_1011.x = v10;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v10 ^ v20;
- xor1 = v11 ^ v21;
- v10 = (xor0 >> 24u) ^ (xor1 << 8u);
- v11 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2021.x = v20;
+ v_2021.y = v21;
+ v_1011.x = v10;
+ v_1011.y = v11;
+ xor = v_1011 ^ v_2021;
+ v_1011 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v10 = v_1011.x;
+ v11 = v_1011.y;
// a = a + b
v_1011.x = v10;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v10 ^ v20;
- xor1 = v11 ^ v21;
- v10 = (xor0 >> 24u) ^ (xor1 << 8u);
- v11 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2021.x = v20;
+ v_2021.y = v21;
+ v_1011.x = v10;
+ v_1011.y = v11;
+ xor = v_1011 ^ v_2021;
+ v_1011 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v10 = v_1011.x;
+ v11 = v_1011.y;
// a = a + b
v_1011.x = v10;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v10 ^ v20;
- xor1 = v11 ^ v21;
- v10 = (xor0 >> 24u) ^ (xor1 << 8u);
- v11 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2021.x = v20;
+ v_2021.y = v21;
+ v_1011.x = v10;
+ v_1011.y = v11;
+ xor = v_1011 ^ v_2021;
+ v_1011 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v10 = v_1011.x;
+ v11 = v_1011.y;
// a = a + b
v_1011.x = v10;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v10 ^ v20;
- xor1 = v11 ^ v21;
- v10 = (xor0 >> 24u) ^ (xor1 << 8u);
- v11 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2021.x = v20;
+ v_2021.y = v21;
+ v_1011.x = v10;
+ v_1011.y = v11;
+ xor = v_1011 ^ v_2021;
+ v_1011 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v10 = v_1011.x;
+ v11 = v_1011.y;
// a = a + b
v_1011.x = v10;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v10 ^ v20;
- xor1 = v11 ^ v21;
- v10 = (xor0 >> 24u) ^ (xor1 << 8u);
- v11 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2021.x = v20;
+ v_2021.y = v21;
+ v_1011.x = v10;
+ v_1011.y = v11;
+ xor = v_1011 ^ v_2021;
+ v_1011 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v10 = v_1011.x;
+ v11 = v_1011.y;
// a = a + b
v_1011.x = v10;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v10 ^ v20;
- xor1 = v11 ^ v21;
- v10 = (xor0 >> 24u) ^ (xor1 << 8u);
- v11 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2021.x = v20;
+ v_2021.y = v21;
+ v_1011.x = v10;
+ v_1011.y = v11;
+ xor = v_1011 ^ v_2021;
+ v_1011 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v10 = v_1011.x;
+ v11 = v_1011.y;
// a = a + b
v_1011.x = v10;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v10 ^ v20;
- xor1 = v11 ^ v21;
- v10 = (xor0 >> 24u) ^ (xor1 << 8u);
- v11 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2021.x = v20;
+ v_2021.y = v21;
+ v_1011.x = v10;
+ v_1011.y = v11;
+ xor = v_1011 ^ v_2021;
+ v_1011 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v10 = v_1011.x;
+ v11 = v_1011.y;
// a = a + b
v_1011.x = v10;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v10 ^ v20;
- xor1 = v11 ^ v21;
- v10 = (xor0 >> 24u) ^ (xor1 << 8u);
- v11 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2021.x = v20;
+ v_2021.y = v21;
+ v_1011.x = v10;
+ v_1011.y = v11;
+ xor = v_1011 ^ v_2021;
+ v_1011 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v10 = v_1011.x;
+ v11 = v_1011.y;
// a = a + b
v_1011.x = v10;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v10 ^ v20;
- xor1 = v11 ^ v21;
- v10 = (xor0 >> 24u) ^ (xor1 << 8u);
- v11 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2021.x = v20;
+ v_2021.y = v21;
+ v_1011.x = v10;
+ v_1011.y = v11;
+ xor = v_1011 ^ v_2021;
+ v_1011 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v10 = v_1011.x;
+ v11 = v_1011.y;
// a = a + b
v_1011.x = v10;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v10 ^ v20;
- xor1 = v11 ^ v21;
- v10 = (xor0 >> 24u) ^ (xor1 << 8u);
- v11 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2021.x = v20;
+ v_2021.y = v21;
+ v_1011.x = v10;
+ v_1011.y = v11;
+ xor = v_1011 ^ v_2021;
+ v_1011 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v10 = v_1011.x;
+ v11 = v_1011.y;
// a = a + b
v_1011.x = v10;
v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
- xor0 = v10 ^ v20;
- xor1 = v11 ^ v21;
- v10 = (xor0 >> 24u) ^ (xor1 << 8u);
- v11 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_2021.x = v20;
+ v_2021.y = v21;
+ v_1011.x = v10;
+ v_1011.y = v11;
+ xor = v_1011 ^ v_2021;
+ v_1011 = vec2((xor.x >> 24u) | (xor.y << 8u), (xor.y >> 24u) | (xor.x << 8u));
+ v10 = v_1011.x;
+ v11 = v_1011.y;
// a = a + b
v_1011.x = v10;