// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v4;
- xor1 = v27 ^ v5;
- v26 = xor1;
- v27 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_45;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1617.x = v16;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v4;
- xor1 = v27 ^ v5;
- v26 = xor1;
- v27 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_45;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1617.x = v16;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v4;
- xor1 = v27 ^ v5;
- v26 = xor1;
- v27 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_45;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1617.x = v16;
v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v4;
- xor1 = v27 ^ v5;
- v26 = xor1;
- v27 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_45;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1617.x = v16;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v4;
- xor1 = v27 ^ v5;
- v26 = xor1;
- v27 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_45;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1617.x = v16;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v4;
- xor1 = v27 ^ v5;
- v26 = xor1;
- v27 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_45;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1617.x = v16;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v4;
- xor1 = v27 ^ v5;
- v26 = xor1;
- v27 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_45;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1617.x = v16;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v4;
- xor1 = v27 ^ v5;
- v26 = xor1;
- v27 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_45;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1617.x = v16;
v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v4;
- xor1 = v27 ^ v5;
- v26 = xor1;
- v27 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_45;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1617.x = v16;
v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v4;
- xor1 = v27 ^ v5;
- v26 = xor1;
- v27 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_45;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1617.x = v16;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v4;
- xor1 = v27 ^ v5;
- v26 = xor1;
- v27 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_45;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1617.x = v16;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v26 ^ v4;
- xor1 = v27 ^ v5;
- v26 = xor1;
- v27 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_2627 = v_2627 ^ v_45;
+ v26 = v_2627.y;
+ v27 = v_2627.x;
// c = c + d
v_1617.x = v16;