v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
- xor0 = v8 ^ v16;
- xor1 = v9 ^ v17;
- v8 = (xor1 >> 31u) ^ (xor0 << 1u);
- v9 = (xor0 >> 31u) ^ (xor1 << 1u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_89.x = v8;
+ v_89.y = v9;
+ xor = v_89 ^ v_1617;
+ v_89 = vec2((xor.x << 1u) | (xor.y >> 31u), (xor.y << 1u) | (xor.x >> 31u));
+ v8 = v_89.x;
+ v9 = v_89.y;
v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
- xor0 = v8 ^ v16;
- xor1 = v9 ^ v17;
- v8 = (xor1 >> 31u) ^ (xor0 << 1u);
- v9 = (xor0 >> 31u) ^ (xor1 << 1u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_89.x = v8;
+ v_89.y = v9;
+ xor = v_89 ^ v_1617;
+ v_89 = vec2((xor.x << 1u) | (xor.y >> 31u), (xor.y << 1u) | (xor.x >> 31u));
+ v8 = v_89.x;
+ v9 = v_89.y;
v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
- xor0 = v8 ^ v16;
- xor1 = v9 ^ v17;
- v8 = (xor1 >> 31u) ^ (xor0 << 1u);
- v9 = (xor0 >> 31u) ^ (xor1 << 1u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_89.x = v8;
+ v_89.y = v9;
+ xor = v_89 ^ v_1617;
+ v_89 = vec2((xor.x << 1u) | (xor.y >> 31u), (xor.y << 1u) | (xor.x >> 31u));
+ v8 = v_89.x;
+ v9 = v_89.y;
v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
- xor0 = v8 ^ v16;
- xor1 = v9 ^ v17;
- v8 = (xor1 >> 31u) ^ (xor0 << 1u);
- v9 = (xor0 >> 31u) ^ (xor1 << 1u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_89.x = v8;
+ v_89.y = v9;
+ xor = v_89 ^ v_1617;
+ v_89 = vec2((xor.x << 1u) | (xor.y >> 31u), (xor.y << 1u) | (xor.x >> 31u));
+ v8 = v_89.x;
+ v9 = v_89.y;
v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
- xor0 = v8 ^ v16;
- xor1 = v9 ^ v17;
- v8 = (xor1 >> 31u) ^ (xor0 << 1u);
- v9 = (xor0 >> 31u) ^ (xor1 << 1u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_89.x = v8;
+ v_89.y = v9;
+ xor = v_89 ^ v_1617;
+ v_89 = vec2((xor.x << 1u) | (xor.y >> 31u), (xor.y << 1u) | (xor.x >> 31u));
+ v8 = v_89.x;
+ v9 = v_89.y;
v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
- xor0 = v8 ^ v16;
- xor1 = v9 ^ v17;
- v8 = (xor1 >> 31u) ^ (xor0 << 1u);
- v9 = (xor0 >> 31u) ^ (xor1 << 1u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_89.x = v8;
+ v_89.y = v9;
+ xor = v_89 ^ v_1617;
+ v_89 = vec2((xor.x << 1u) | (xor.y >> 31u), (xor.y << 1u) | (xor.x >> 31u));
+ v8 = v_89.x;
+ v9 = v_89.y;
v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
- xor0 = v8 ^ v16;
- xor1 = v9 ^ v17;
- v8 = (xor1 >> 31u) ^ (xor0 << 1u);
- v9 = (xor0 >> 31u) ^ (xor1 << 1u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_89.x = v8;
+ v_89.y = v9;
+ xor = v_89 ^ v_1617;
+ v_89 = vec2((xor.x << 1u) | (xor.y >> 31u), (xor.y << 1u) | (xor.x >> 31u));
+ v8 = v_89.x;
+ v9 = v_89.y;
v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
- xor0 = v8 ^ v16;
- xor1 = v9 ^ v17;
- v8 = (xor1 >> 31u) ^ (xor0 << 1u);
- v9 = (xor0 >> 31u) ^ (xor1 << 1u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_89.x = v8;
+ v_89.y = v9;
+ xor = v_89 ^ v_1617;
+ v_89 = vec2((xor.x << 1u) | (xor.y >> 31u), (xor.y << 1u) | (xor.x >> 31u));
+ v8 = v_89.x;
+ v9 = v_89.y;
v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
- xor0 = v8 ^ v16;
- xor1 = v9 ^ v17;
- v8 = (xor1 >> 31u) ^ (xor0 << 1u);
- v9 = (xor0 >> 31u) ^ (xor1 << 1u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_89.x = v8;
+ v_89.y = v9;
+ xor = v_89 ^ v_1617;
+ v_89 = vec2((xor.x << 1u) | (xor.y >> 31u), (xor.y << 1u) | (xor.x >> 31u));
+ v8 = v_89.x;
+ v9 = v_89.y;
v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
- xor0 = v8 ^ v16;
- xor1 = v9 ^ v17;
- v8 = (xor1 >> 31u) ^ (xor0 << 1u);
- v9 = (xor0 >> 31u) ^ (xor1 << 1u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_89.x = v8;
+ v_89.y = v9;
+ xor = v_89 ^ v_1617;
+ v_89 = vec2((xor.x << 1u) | (xor.y >> 31u), (xor.y << 1u) | (xor.x >> 31u));
+ v8 = v_89.x;
+ v9 = v_89.y;
v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
- xor0 = v8 ^ v16;
- xor1 = v9 ^ v17;
- v8 = (xor1 >> 31u) ^ (xor0 << 1u);
- v9 = (xor0 >> 31u) ^ (xor1 << 1u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_89.x = v8;
+ v_89.y = v9;
+ xor = v_89 ^ v_1617;
+ v_89 = vec2((xor.x << 1u) | (xor.y >> 31u), (xor.y << 1u) | (xor.x >> 31u));
+ v8 = v_89.x;
+ v9 = v_89.y;
v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
- xor0 = v8 ^ v16;
- xor1 = v9 ^ v17;
- v8 = (xor1 >> 31u) ^ (xor0 << 1u);
- v9 = (xor0 >> 31u) ^ (xor1 << 1u);
+ v_1617.x = v16;
+ v_1617.y = v17;
+ v_89.x = v8;
+ v_89.y = v9;
+ xor = v_89 ^ v_1617;
+ v_89 = vec2((xor.x << 1u) | (xor.y >> 31u), (xor.y << 1u) | (xor.x >> 31u));
+ v8 = v_89.x;
+ v9 = v_89.y;