v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v2;
- xor1 = v27 ^ v3;
- v26 = xor1;
- v27 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_23;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1819.x = v18;
v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v2;
- xor1 = v27 ^ v3;
- v26 = xor1;
- v27 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_23;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1819.x = v18;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v2;
- xor1 = v27 ^ v3;
- v26 = xor1;
- v27 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_23;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1819.x = v18;
v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v2;
- xor1 = v27 ^ v3;
- v26 = xor1;
- v27 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_23;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1819.x = v18;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v2;
- xor1 = v27 ^ v3;
- v26 = xor1;
- v27 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_23;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1819.x = v18;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v2;
- xor1 = v27 ^ v3;
- v26 = xor1;
- v27 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_23;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1819.x = v18;
v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v2;
- xor1 = v27 ^ v3;
- v26 = xor1;
- v27 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_23;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1819.x = v18;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v2;
- xor1 = v27 ^ v3;
- v26 = xor1;
- v27 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_23;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1819.x = v18;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v2;
- xor1 = v27 ^ v3;
- v26 = xor1;
- v27 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_23;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1819.x = v18;
// v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v2;
- xor1 = v27 ^ v3;
- v26 = xor1;
- v27 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_23;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1819.x = v18;
v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v2;
- xor1 = v27 ^ v3;
- v26 = xor1;
- v27 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_23;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1819.x = v18;
v3 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v2;
- xor1 = v27 ^ v3;
- v26 = xor1;
- v27 = xor0;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_23;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1819.x = v18;