// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v24 ^ v2;
- xor1 = v25 ^ v3;
- v24 = xor1;
- v25 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2425 = v_2425 ^ v_23;
+ v24 = v_2425.y;
+ v25 = v_2425.x;
// c = c + d
v_2223.x = v22;
v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v24 ^ v2;
- xor1 = v25 ^ v3;
- v24 = xor1;
- v25 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2425 = v_2425 ^ v_23;
+ v24 = v_2425.y;
+ v25 = v_2425.x;
// c = c + d
v_2223.x = v22;
v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v24 ^ v2;
- xor1 = v25 ^ v3;
- v24 = xor1;
- v25 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2425 = v_2425 ^ v_23;
+ v24 = v_2425.y;
+ v25 = v_2425.x;
// c = c + d
v_2223.x = v22;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v24 ^ v2;
- xor1 = v25 ^ v3;
- v24 = xor1;
- v25 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2425 = v_2425 ^ v_23;
+ v24 = v_2425.y;
+ v25 = v_2425.x;
// c = c + d
v_2223.x = v22;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v24 ^ v2;
- xor1 = v25 ^ v3;
- v24 = xor1;
- v25 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2425 = v_2425 ^ v_23;
+ v24 = v_2425.y;
+ v25 = v_2425.x;
// c = c + d
v_2223.x = v22;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v24 ^ v2;
- xor1 = v25 ^ v3;
- v24 = xor1;
- v25 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2425 = v_2425 ^ v_23;
+ v24 = v_2425.y;
+ v25 = v_2425.x;
// c = c + d
v_2223.x = v22;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v24 ^ v2;
- xor1 = v25 ^ v3;
- v24 = xor1;
- v25 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2425 = v_2425 ^ v_23;
+ v24 = v_2425.y;
+ v25 = v_2425.x;
// c = c + d
v_2223.x = v22;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v24 ^ v2;
- xor1 = v25 ^ v3;
- v24 = xor1;
- v25 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2425 = v_2425 ^ v_23;
+ v24 = v_2425.y;
+ v25 = v_2425.x;
// c = c + d
v_2223.x = v22;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v24 ^ v2;
- xor1 = v25 ^ v3;
- v24 = xor1;
- v25 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2425 = v_2425 ^ v_23;
+ v24 = v_2425.y;
+ v25 = v_2425.x;
// c = c + d
v_2223.x = v22;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v24 ^ v2;
- xor1 = v25 ^ v3;
- v24 = xor1;
- v25 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2425 = v_2425 ^ v_23;
+ v24 = v_2425.y;
+ v25 = v_2425.x;
// c = c + d
v_2223.x = v22;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v24 ^ v2;
- xor1 = v25 ^ v3;
- v24 = xor1;
- v25 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2425 = v_2425 ^ v_23;
+ v24 = v_2425.y;
+ v25 = v_2425.x;
// c = c + d
v_2223.x = v22;
v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v24 ^ v2;
- xor1 = v25 ^ v3;
- v24 = xor1;
- v25 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2425 = v_2425 ^ v_23;
+ v24 = v_2425.y;
+ v25 = v_2425.x;
// c = c + d
v_2223.x = v22;