v25 = xor0;
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
xor0 = v12 ^ v22;
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
xor0 = v12 ^ v22;
*/
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v25 = xor0;
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
xor0 = v12 ^ v22;
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
xor0 = v12 ^ v22;
*/
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v25 = xor0;
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
xor0 = v12 ^ v22;
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
xor0 = v12 ^ v22;
*/
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v4 + m2;
v25 = xor0;
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
xor0 = v12 ^ v22;
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
xor0 = v12 ^ v22;
*/
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v4 + m8;
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v4 + m0;
v25 = xor0;
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
xor0 = v12 ^ v22;
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
xor0 = v12 ^ v22;
*/
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v25 = xor0;
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
xor0 = v12 ^ v22;
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
xor0 = v12 ^ v22;
*/
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v25 = xor0;
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
xor0 = v12 ^ v22;
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
xor0 = v12 ^ v22;
*/
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v4 + m4;
v25 = xor0;
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
xor0 = v12 ^ v22;
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
xor0 = v12 ^ v22;
*/
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v25 = xor0;
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
xor0 = v12 ^ v22;
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
xor0 = v12 ^ v22;
*/
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v4 + m2;
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v4 + m8;
v25 = xor0;
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
xor0 = v12 ^ v22;
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
xor0 = v12 ^ v22;
*/
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v4 + m6;
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v25 = xor0;
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
xor0 = v12 ^ v22;
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
xor0 = v12 ^ v22;
*/
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
v25 = xor0;
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 24)
xor0 = v12 ^ v22;
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
// c = c + d
- o0 = v22 + v24;
- o1 = v23 + v25;
- o1 = o1 + select(0u, 1u, o0 < v22);
- v22 = o0;
- v23 = o1;
+ v_2223.x = v22;
+ v_2223.y = v23;
+ v_2425.x = v24;
+ v_2425.y = v25;
+ v_2223 = v_2223 + v_2425 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_2223.x + v_2425.x < v_2223.x);
+ v22 = v_2223.x;
+ v23 = v_2223.y;
+ v24 = v_2425.x;
+ v25 = v_2425.y;
// b = rotr64(b ^ c, 63)
xor0 = v12 ^ v22;
*/
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v4 + v14;
- o1 = v5 + v15;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ v_45.y = v5;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
+ v4 = v_45.x;
+ v5 = v_45.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing