*/
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v13 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v2 + m0;
v13 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v2 + m4;
*/
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v2 + m6;
v13 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v13 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v13 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v13 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v13 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v2 + m6;
*/
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v13 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v2 + m8;
*/
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v13 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v13 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+0]]
// // skip since adding 0u does nothing
v13 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// // a = a + m[sigma[r][2*i+1]]
// // skip since adding 0u does nothing
*/
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + m[sigma[r][2*i+0]]
o0 = v2 + m0;
v13 = (xor1 >> 24u) ^ (xor0 << 8u);
// a = a + b
- o0 = v2 + v12;
- o1 = v3 + v13;
- o1 = o1 + select(0u, 1u, o0 < v2);
- v2 = o0;
- v3 = o1;
+ v_23.x = v2;
+ v_23.y = v3;
+ v_1213.x = v12;
+ v_1213.y = v13;
+ v_23 = v_23 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_23.x + v_1213.x < v_23.x);
+ v2 = v_23.x;
+ v3 = v_23.y;
+ v12 = v_1213.x;
+ v13 = v_1213.y;
// a = a + m[sigma[r][2*i+1]]
o0 = v2 + m4;