*/
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v29 = xor0;
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 24)
xor0 = v8 ^ v18;
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v29 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 63)
xor0 = v8 ^ v18;
*/
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v29 = xor0;
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 24)
xor0 = v8 ^ v18;
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v6 + m6;
v29 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 63)
xor0 = v8 ^ v18;
*/
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v29 = xor0;
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 24)
xor0 = v8 ^ v18;
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v6 + m8;
v29 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 63)
xor0 = v8 ^ v18;
*/
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v29 = xor0;
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 24)
xor0 = v8 ^ v18;
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v29 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 63)
xor0 = v8 ^ v18;
*/
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v6 + m6;
v29 = xor0;
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 24)
xor0 = v8 ^ v18;
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v29 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 63)
xor0 = v8 ^ v18;
*/
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v6 + m2;
v29 = xor0;
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 24)
xor0 = v8 ^ v18;
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v29 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 63)
xor0 = v8 ^ v18;
*/
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v29 = xor0;
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 24)
xor0 = v8 ^ v18;
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v29 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 63)
xor0 = v8 ^ v18;
*/
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v6 + m4;
v29 = xor0;
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 24)
xor0 = v8 ^ v18;
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v29 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 63)
xor0 = v8 ^ v18;
*/
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v29 = xor0;
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 24)
xor0 = v8 ^ v18;
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v29 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 63)
xor0 = v8 ^ v18;
*/
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v29 = xor0;
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 24)
xor0 = v8 ^ v18;
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v6 + m0;
v29 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 63)
xor0 = v8 ^ v18;
*/
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v29 = xor0;
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 24)
xor0 = v8 ^ v18;
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v29 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 63)
xor0 = v8 ^ v18;
*/
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v29 = xor0;
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 24)
xor0 = v8 ^ v18;
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v8;
- o1 = v7 + v9;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_89.x = v8;
+ v_89.y = v9;
+ v_67 = v_67 + v_89 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_89.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v8 = v_89.x;
+ v9 = v_89.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v6 + m6;
v29 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v18 + v28;
- o1 = v19 + v29;
- o1 = o1 + select(0u, 1u, o0 < v18);
- v18 = o0;
- v19 = o1;
+ v_1819.x = v18;
+ v_1819.y = v19;
+ v_2829.x = v28;
+ v_2829.y = v29;
+ v_1819 = v_1819 + v_2829 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_1819.x + v_2829.x < v_1819.x);
+ v18 = v_1819.x;
+ v19 = v_1819.y;
+ v28 = v_2829.x;
+ v29 = v_2829.y;
// b = rotr64(b ^ c, 63)
xor0 = v8 ^ v18;