// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v0;
- xor1 = v31 ^ v1;
- v30 = xor1;
- v31 = xor0;
+ v_01.x = v0;
+ v_01.y = v1;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_01;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2021.x = v20;
v1 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v0;
- xor1 = v31 ^ v1;
- v30 = xor1;
- v31 = xor0;
+ v_01.x = v0;
+ v_01.y = v1;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_01;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2021.x = v20;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v0;
- xor1 = v31 ^ v1;
- v30 = xor1;
- v31 = xor0;
+ v_01.x = v0;
+ v_01.y = v1;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_01;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2021.x = v20;
v1 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v0;
- xor1 = v31 ^ v1;
- v30 = xor1;
- v31 = xor0;
+ v_01.x = v0;
+ v_01.y = v1;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_01;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2021.x = v20;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v0;
- xor1 = v31 ^ v1;
- v30 = xor1;
- v31 = xor0;
+ v_01.x = v0;
+ v_01.y = v1;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_01;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2021.x = v20;
v1 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v0;
- xor1 = v31 ^ v1;
- v30 = xor1;
- v31 = xor0;
+ v_01.x = v0;
+ v_01.y = v1;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_01;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2021.x = v20;
v1 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v0;
- xor1 = v31 ^ v1;
- v30 = xor1;
- v31 = xor0;
+ v_01.x = v0;
+ v_01.y = v1;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_01;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2021.x = v20;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v0;
- xor1 = v31 ^ v1;
- v30 = xor1;
- v31 = xor0;
+ v_01.x = v0;
+ v_01.y = v1;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_01;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2021.x = v20;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v0;
- xor1 = v31 ^ v1;
- v30 = xor1;
- v31 = xor0;
+ v_01.x = v0;
+ v_01.y = v1;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_01;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2021.x = v20;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v0;
- xor1 = v31 ^ v1;
- v30 = xor1;
- v31 = xor0;
+ v_01.x = v0;
+ v_01.y = v1;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_01;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2021.x = v20;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v0;
- xor1 = v31 ^ v1;
- v30 = xor1;
- v31 = xor0;
+ v_01.x = v0;
+ v_01.y = v1;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_01;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2021.x = v20;
v1 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v0;
- xor1 = v31 ^ v1;
- v30 = xor1;
- v31 = xor0;
+ v_01.x = v0;
+ v_01.y = v1;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_01;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2021.x = v20;