v8 = v_89.x;
v9 = v_89.y;
-
// a = a + m[sigma[r][2*i+0]]
o0 = v0 + m0;
o1 = v1 + m1;
v27 = xor0;
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 63)
xor0 = v10 ^ v18;
v27 = xor0;
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 63)
xor0 = v10 ^ v18;
v27 = xor0;
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 63)
xor0 = v10 ^ v18;
v27 = xor0;
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 63)
xor0 = v10 ^ v18;
v27 = xor0;
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 63)
xor0 = v10 ^ v18;
v27 = xor0;
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 63)
xor0 = v10 ^ v18;
v27 = xor0;
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 63)
xor0 = v10 ^ v18;
v27 = xor0;
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 63)
xor0 = v10 ^ v18;
v27 = xor0;
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 63)
xor0 = v10 ^ v18;
v27 = xor0;
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 63)
xor0 = v10 ^ v18;
v27 = xor0;
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 63)
xor0 = v10 ^ v18;
v27 = xor0;
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v26;
- o1 = v19 + v27;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2627.x = v26;
+ v_2627.y = v27;
+ v_1819 = v_1819 + v_2627 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2627.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v26 = v_2627.x;
+ v27 = v_2627.y;
// b = rotr64(b ^ c, 63)
xor0 = v10 ^ v18;