v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v16;
- xor1 = v15 ^ v17;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_1617;
+ 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_45.x = v4;
v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v16;
- xor1 = v15 ^ v17;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_1617;
+ 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_45.x = v4;
v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v16;
- xor1 = v15 ^ v17;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_1617;
+ 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_45.x = v4;
v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v16;
- xor1 = v15 ^ v17;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_1617;
+ 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_45.x = v4;
v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v16;
- xor1 = v15 ^ v17;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_1617;
+ 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_45.x = v4;
v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v16;
- xor1 = v15 ^ v17;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_1617;
+ 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_45.x = v4;
v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v16;
- xor1 = v15 ^ v17;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_1617;
+ 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_45.x = v4;
v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v16;
- xor1 = v15 ^ v17;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_1617;
+ 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_45.x = v4;
v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v16;
- xor1 = v15 ^ v17;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_1617;
+ 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_45.x = v4;
v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v16;
- xor1 = v15 ^ v17;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_1617;
+ 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_45.x = v4;
v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v16;
- xor1 = v15 ^ v17;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_1617;
+ 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_45.x = v4;
v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
- xor0 = v14 ^ v16;
- xor1 = v15 ^ v17;
- v14 = (xor0 >> 24u) ^ (xor1 << 8u);
- v15 = (xor1 >> 24u) ^ (xor0 << 8u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ xor = v_1415 ^ v_1617;
+ 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_45.x = v4;