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