*/
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.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 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.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 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.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 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.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 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.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 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.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 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v6 + m6;
*/
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v6 + m8;
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v6 + m6;
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v6 + m0;
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v6 + m2;
v15 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.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 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.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 = v6 + v14;
- o1 = v7 + v15;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ v_67.x = v6;
+ v_67.y = v7;
+ v_1415.x = v14;
+ v_1415.y = v15;
+ v_67 = v_67 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + v_1415.x < v_67.x);
+ v6 = v_67.x;
+ v7 = v_67.y;
+ v14 = v_1415.x;
+ v15 = v_1415.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing