v1 = o1;
// d = rotr64(d ^ a, 16)
- xor0 = v24 ^ v0;
- xor1 = v25 ^ v1;
- v24 = (xor0 >> 16u) ^ (xor1 << 16u);
- v25 = (xor1 >> 16u) ^ (xor0 << 16u);
+ v_01.x = v0;
+ v_01.y = v1;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ xor = v_2425 ^ v_01;
+ v_2425 = vec2((xor.x >> 16u) | (xor.y << 16u), (xor.y >> 16u) | (xor.x << 16u));
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// c = c + d
v_1617.x = v16;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- xor0 = v24 ^ v0;
- xor1 = v25 ^ v1;
- v24 = (xor0 >> 16u) ^ (xor1 << 16u);
- v25 = (xor1 >> 16u) ^ (xor0 << 16u);
+ v_01.x = v0;
+ v_01.y = v1;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ xor = v_2425 ^ v_01;
+ v_2425 = vec2((xor.x >> 16u) | (xor.y << 16u), (xor.y >> 16u) | (xor.x << 16u));
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// c = c + d
v_1617.x = v16;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- xor0 = v24 ^ v0;
- xor1 = v25 ^ v1;
- v24 = (xor0 >> 16u) ^ (xor1 << 16u);
- v25 = (xor1 >> 16u) ^ (xor0 << 16u);
+ v_01.x = v0;
+ v_01.y = v1;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ xor = v_2425 ^ v_01;
+ v_2425 = vec2((xor.x >> 16u) | (xor.y << 16u), (xor.y >> 16u) | (xor.x << 16u));
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// c = c + d
v_1617.x = v16;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- xor0 = v24 ^ v0;
- xor1 = v25 ^ v1;
- v24 = (xor0 >> 16u) ^ (xor1 << 16u);
- v25 = (xor1 >> 16u) ^ (xor0 << 16u);
+ v_01.x = v0;
+ v_01.y = v1;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ xor = v_2425 ^ v_01;
+ v_2425 = vec2((xor.x >> 16u) | (xor.y << 16u), (xor.y >> 16u) | (xor.x << 16u));
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// c = c + d
v_1617.x = v16;
v1 = o1;
// d = rotr64(d ^ a, 16)
- xor0 = v24 ^ v0;
- xor1 = v25 ^ v1;
- v24 = (xor0 >> 16u) ^ (xor1 << 16u);
- v25 = (xor1 >> 16u) ^ (xor0 << 16u);
+ v_01.x = v0;
+ v_01.y = v1;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ xor = v_2425 ^ v_01;
+ v_2425 = vec2((xor.x >> 16u) | (xor.y << 16u), (xor.y >> 16u) | (xor.x << 16u));
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// c = c + d
v_1617.x = v16;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- xor0 = v24 ^ v0;
- xor1 = v25 ^ v1;
- v24 = (xor0 >> 16u) ^ (xor1 << 16u);
- v25 = (xor1 >> 16u) ^ (xor0 << 16u);
+ v_01.x = v0;
+ v_01.y = v1;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ xor = v_2425 ^ v_01;
+ v_2425 = vec2((xor.x >> 16u) | (xor.y << 16u), (xor.y >> 16u) | (xor.x << 16u));
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// c = c + d
v_1617.x = v16;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- xor0 = v24 ^ v0;
- xor1 = v25 ^ v1;
- v24 = (xor0 >> 16u) ^ (xor1 << 16u);
- v25 = (xor1 >> 16u) ^ (xor0 << 16u);
+ v_01.x = v0;
+ v_01.y = v1;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ xor = v_2425 ^ v_01;
+ v_2425 = vec2((xor.x >> 16u) | (xor.y << 16u), (xor.y >> 16u) | (xor.x << 16u));
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// c = c + d
v_1617.x = v16;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- xor0 = v24 ^ v0;
- xor1 = v25 ^ v1;
- v24 = (xor0 >> 16u) ^ (xor1 << 16u);
- v25 = (xor1 >> 16u) ^ (xor0 << 16u);
+ v_01.x = v0;
+ v_01.y = v1;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ xor = v_2425 ^ v_01;
+ v_2425 = vec2((xor.x >> 16u) | (xor.y << 16u), (xor.y >> 16u) | (xor.x << 16u));
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// c = c + d
v_1617.x = v16;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- xor0 = v24 ^ v0;
- xor1 = v25 ^ v1;
- v24 = (xor0 >> 16u) ^ (xor1 << 16u);
- v25 = (xor1 >> 16u) ^ (xor0 << 16u);
+ v_01.x = v0;
+ v_01.y = v1;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ xor = v_2425 ^ v_01;
+ v_2425 = vec2((xor.x >> 16u) | (xor.y << 16u), (xor.y >> 16u) | (xor.x << 16u));
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// c = c + d
v_1617.x = v16;
v1 = o1;
// d = rotr64(d ^ a, 16)
- xor0 = v24 ^ v0;
- xor1 = v25 ^ v1;
- v24 = (xor0 >> 16u) ^ (xor1 << 16u);
- v25 = (xor1 >> 16u) ^ (xor0 << 16u);
+ v_01.x = v0;
+ v_01.y = v1;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ xor = v_2425 ^ v_01;
+ v_2425 = vec2((xor.x >> 16u) | (xor.y << 16u), (xor.y >> 16u) | (xor.x << 16u));
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// c = c + d
v_1617.x = v16;
v1 = o1;
// d = rotr64(d ^ a, 16)
- xor0 = v24 ^ v0;
- xor1 = v25 ^ v1;
- v24 = (xor0 >> 16u) ^ (xor1 << 16u);
- v25 = (xor1 >> 16u) ^ (xor0 << 16u);
+ v_01.x = v0;
+ v_01.y = v1;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ xor = v_2425 ^ v_01;
+ v_2425 = vec2((xor.x >> 16u) | (xor.y << 16u), (xor.y >> 16u) | (xor.x << 16u));
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// c = c + d
v_1617.x = v16;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- xor0 = v24 ^ v0;
- xor1 = v25 ^ v1;
- v24 = (xor0 >> 16u) ^ (xor1 << 16u);
- v25 = (xor1 >> 16u) ^ (xor0 << 16u);
+ v_01.x = v0;
+ v_01.y = v1;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ xor = v_2425 ^ v_01;
+ v_2425 = vec2((xor.x >> 16u) | (xor.y << 16u), (xor.y >> 16u) | (xor.x << 16u));
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// c = c + d
v_1617.x = v16;