// v7 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v6;
- xor1 = v31 ^ v7;
- v30 = xor1;
- v31 = xor0;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_67;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2223.x = v22;
// v7 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v6;
- xor1 = v31 ^ v7;
- v30 = xor1;
- v31 = xor0;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_67;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2223.x = v22;
// v7 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v6;
- xor1 = v31 ^ v7;
- v30 = xor1;
- v31 = xor0;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_67;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2223.x = v22;
// v7 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v6;
- xor1 = v31 ^ v7;
- v30 = xor1;
- v31 = xor0;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_67;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2223.x = v22;
// v7 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v6;
- xor1 = v31 ^ v7;
- v30 = xor1;
- v31 = xor0;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_67;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2223.x = v22;
// v7 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v6;
- xor1 = v31 ^ v7;
- v30 = xor1;
- v31 = xor0;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_67;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2223.x = v22;
v7 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v6;
- xor1 = v31 ^ v7;
- v30 = xor1;
- v31 = xor0;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_67;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2223.x = v22;
v7 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v6;
- xor1 = v31 ^ v7;
- v30 = xor1;
- v31 = xor0;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_67;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2223.x = v22;
v7 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v6;
- xor1 = v31 ^ v7;
- v30 = xor1;
- v31 = xor0;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_67;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2223.x = v22;
v7 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v6;
- xor1 = v31 ^ v7;
- v30 = xor1;
- v31 = xor0;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_67;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2223.x = v22;
// v7 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v6;
- xor1 = v31 ^ v7;
- v30 = xor1;
- v31 = xor0;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_67;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2223.x = v22;
// v7 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v30 ^ v6;
- xor1 = v31 ^ v7;
- v30 = xor1;
- v31 = xor0;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_3031 = v_3031 ^ v_67;
+ v30 = v_3031.y;
+ v31 = v_3031.x;
// c = c + d
v_2223.x = v22;