v31 = xor0;
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
xor0 = v14 ^ v22;
v31 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 63)
xor0 = v14 ^ v22;
v31 = xor0;
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
xor0 = v14 ^ v22;
v31 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 63)
xor0 = v14 ^ v22;
v31 = xor0;
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
xor0 = v14 ^ v22;
v31 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 63)
xor0 = v14 ^ v22;
v31 = xor0;
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
xor0 = v14 ^ v22;
v31 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 63)
xor0 = v14 ^ v22;
v31 = xor0;
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
xor0 = v14 ^ v22;
v31 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 63)
xor0 = v14 ^ v22;
v31 = xor0;
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
xor0 = v14 ^ v22;
v31 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 63)
xor0 = v14 ^ v22;
v31 = xor0;
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
xor0 = v14 ^ v22;
v31 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 63)
xor0 = v14 ^ v22;
v31 = xor0;
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
xor0 = v14 ^ v22;
v31 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 63)
xor0 = v14 ^ v22;
v31 = xor0;
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
xor0 = v14 ^ v22;
v31 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 63)
xor0 = v14 ^ v22;
v31 = xor0;
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
xor0 = v14 ^ v22;
v31 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 63)
xor0 = v14 ^ v22;
v31 = xor0;
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
xor0 = v14 ^ v22;
v31 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 63)
xor0 = v14 ^ v22;
v31 = xor0;
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 24)
xor0 = v14 ^ v22;
v31 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v30;
- o1 = v23 + v31;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_3031.x = v30;
+ v_3031.y = v31;
+ v_2223 = v_2223 + v_3031 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_3031.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v30 = v_3031.x;
+ v31 = v_3031.y;
// b = rotr64(b ^ c, 63)
xor0 = v14 ^ v22;