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