v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v28 ^ v4;
- xor1 = v29 ^ v5;
- v28 = xor1;
- v29 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_2829 = v_2829 ^ v_45;
+ v28 = v_2829.y;
+ v29 = v_2829.x;
// c = c + d
v_2021.x = v20;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v28 ^ v4;
- xor1 = v29 ^ v5;
- v28 = xor1;
- v29 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_2829 = v_2829 ^ v_45;
+ v28 = v_2829.y;
+ v29 = v_2829.x;
// c = c + d
v_2021.x = v20;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v28 ^ v4;
- xor1 = v29 ^ v5;
- v28 = xor1;
- v29 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_2829 = v_2829 ^ v_45;
+ v28 = v_2829.y;
+ v29 = v_2829.x;
// c = c + d
v_2021.x = v20;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v28 ^ v4;
- xor1 = v29 ^ v5;
- v28 = xor1;
- v29 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_2829 = v_2829 ^ v_45;
+ v28 = v_2829.y;
+ v29 = v_2829.x;
// c = c + d
v_2021.x = v20;
v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v28 ^ v4;
- xor1 = v29 ^ v5;
- v28 = xor1;
- v29 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_2829 = v_2829 ^ v_45;
+ v28 = v_2829.y;
+ v29 = v_2829.x;
// c = c + d
v_2021.x = v20;
v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v28 ^ v4;
- xor1 = v29 ^ v5;
- v28 = xor1;
- v29 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_2829 = v_2829 ^ v_45;
+ v28 = v_2829.y;
+ v29 = v_2829.x;
// c = c + d
v_2021.x = v20;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v28 ^ v4;
- xor1 = v29 ^ v5;
- v28 = xor1;
- v29 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_2829 = v_2829 ^ v_45;
+ v28 = v_2829.y;
+ v29 = v_2829.x;
// c = c + d
v_2021.x = v20;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v28 ^ v4;
- xor1 = v29 ^ v5;
- v28 = xor1;
- v29 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_2829 = v_2829 ^ v_45;
+ v28 = v_2829.y;
+ v29 = v_2829.x;
// c = c + d
v_2021.x = v20;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v28 ^ v4;
- xor1 = v29 ^ v5;
- v28 = xor1;
- v29 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_2829 = v_2829 ^ v_45;
+ v28 = v_2829.y;
+ v29 = v_2829.x;
// c = c + d
v_2021.x = v20;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v28 ^ v4;
- xor1 = v29 ^ v5;
- v28 = xor1;
- v29 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_2829 = v_2829 ^ v_45;
+ v28 = v_2829.y;
+ v29 = v_2829.x;
// c = c + d
v_2021.x = v20;
v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v28 ^ v4;
- xor1 = v29 ^ v5;
- v28 = xor1;
- v29 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_2829 = v_2829 ^ v_45;
+ v28 = v_2829.y;
+ v29 = v_2829.x;
// c = c + d
v_2021.x = v20;
// v5 = o1;
// d = rotr64(d ^ a, 32)
- xor0 = v28 ^ v4;
- xor1 = v29 ^ v5;
- v28 = xor1;
- v29 = xor0;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_2829 = v_2829 ^ v_45;
+ v28 = v_2829.y;
+ v29 = v_2829.x;
// c = c + d
v_2021.x = v20;