- var v5: u32 = 0x3C6EF372u;
- var v6: u32 = 0x5F1D36F1u;
- var v7: u32 = 0xA54FF53Au;
+
+
+
var v20: u32 = 0xFE94F82Bu;
var v21: u32 = 0x3C6EF372u;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+0]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m8, m9) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m8 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
v_3031 = v_3031 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
xor = v_3031 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
v_2627 = v_2627 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
xor = v_2627 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
v_3031 = v_3031 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
xor = v_3031 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
v_2627 = v_2627 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
xor = v_2627 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// a = a + m[sigma[r][2*i+1]]
- v_67.x = v6;
- v_67.y = v7;
+
+
v_67 = v_67 + vec2(m6, m7) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + m6 < v_67.x);
- v6 = v_67.x;
- v7 = v_67.y;
+
+
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+1]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m4, m5) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m4 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
v_3031 = v_3031 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
xor = v_3031 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
v_2627 = v_2627 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+1]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m2, m3) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m2 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
xor = v_2627 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// a = a + m[sigma[r][2*i+1]]
- v_67.x = v6;
- v_67.y = v7;
+
+
v_67 = v_67 + vec2(m8, m9) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + m8 < v_67.x);
- v6 = v_67.x;
- v7 = v_67.y;
+
+
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
v_3031 = v_3031 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
xor = v_3031 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+0]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m8, m9) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m8 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
v_2627 = v_2627 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+1]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m0, m1) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m0 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
xor = v_2627 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+0]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m4, m5) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m4 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+1]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m8, m9) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m8 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
v_3031 = v_3031 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
xor = v_3031 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
v_2627 = v_2627 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
xor = v_2627 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// a = a + m[sigma[r][2*i+0]]
- v_67.x = v6;
- v_67.y = v7;
+
+
v_67 = v_67 + vec2(m6, m7) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + m6 < v_67.x);
- v6 = v_67.x;
- v7 = v_67.y;
+
+
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+0]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m0, m1) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m0 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
v_3031 = v_3031 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// a = a + m[sigma[r][2*i+1]]
- v_67.x = v6;
- v_67.y = v7;
+
+
v_67 = v_67 + vec2(m6, m7) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + m6 < v_67.x);
- v6 = v_67.x;
- v7 = v_67.y;
+
+
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
xor = v_3031 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
v_2627 = v_2627 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
xor = v_2627 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// a = a + m[sigma[r][2*i+0]]
- v_67.x = v6;
- v_67.y = v7;
+
+
v_67 = v_67 + vec2(m2, m3) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + m2 < v_67.x);
- v6 = v_67.x;
- v7 = v_67.y;
+
+
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// a = a + m[sigma[r][2*i+0]]
- v_67.x = v6;
- v_67.y = v7;
+
+
v_67 = v_67 + vec2(m8, m9) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + m8 < v_67.x);
- v6 = v_67.x;
- v7 = v_67.y;
+
+
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
v_3031 = v_3031 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
xor = v_3031 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
v_2627 = v_2627 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+1]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m4, m5) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m4 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
xor = v_2627 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+1]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m2, m3) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m2 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// a = a + m[sigma[r][2*i+0]]
- v_67.x = v6;
- v_67.y = v7;
+
+
v_67 = v_67 + vec2(m6, m7) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + m6 < v_67.x);
- v6 = v_67.x;
- v7 = v_67.y;
+
+
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
v_3031 = v_3031 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
xor = v_3031 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
v_2627 = v_2627 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
xor = v_2627 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// a = a + m[sigma[r][2*i+0]]
- v_67.x = v6;
- v_67.y = v7;
+
+
v_67 = v_67 + vec2(m4, m5) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + m4 < v_67.x);
- v6 = v_67.x;
- v7 = v_67.y;
+
+
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+1]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m6, m7) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m6 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// a = a + m[sigma[r][2*i+0]]
- v_67.x = v6;
- v_67.y = v7;
+
+
v_67 = v_67 + vec2(m0, m1) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + m0 < v_67.x);
- v6 = v_67.x;
- v7 = v_67.y;
+
+
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
v_3031 = v_3031 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
xor = v_3031 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+0]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m2, m3) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m2 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
v_2627 = v_2627 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+1]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m8, m9) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m8 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
xor = v_2627 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// a = a + m[sigma[r][2*i+0]]
- v_67.x = v6;
- v_67.y = v7;
+
+
v_67 = v_67 + vec2(m2, m3) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + m2 < v_67.x);
- v6 = v_67.x;
- v7 = v_67.y;
+
+
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
v_3031 = v_3031 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
xor = v_3031 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+0]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m6, m7) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m6 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
v_2627 = v_2627 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
xor = v_2627 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// a = a + m[sigma[r][2*i+1]]
- v_67.x = v6;
- v_67.y = v7;
+
+
v_67 = v_67 + vec2(m0, m1) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + m0 < v_67.x);
- v6 = v_67.x;
- v7 = v_67.y;
+
+
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// a = a + m[sigma[r][2*i+0]]
- v_45.y = v5;
+
v_45 = v_45 + vec2(m8, m9) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + m8 < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
v_3031 = v_3031 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
xor = v_3031 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
v_2627 = v_2627 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
xor = v_2627 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1213 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1213.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
v_3031 = v_3031 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_3031.x = v30;
v_3031.y = v31;
xor = v_3031 ^ v_67;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 32)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
v_2627 = v_2627 ^ v_45;
// a = a + b
- v_45.y = v5;
+
v_45 = v_45 + v_1415 + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_45.x + v_1415.x < v_45.x);
- v5 = v_45.y;
+
// d = rotr64(d ^ a, 16)
- v_45.y = v5;
+
v_2627.x = v26;
v_2627.y = v27;
xor = v_2627 ^ v_45;
*/
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
v_2829 = v_2829 ^ v_67;
// a = a + b
- v_67.x = v6;
- v_67.y = v7;
+
+
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;
+
+
// a = a + m[sigma[r][2*i+1]]
- v_67.x = v6;
- v_67.y = v7;
+
+
v_67 = v_67 + vec2(m6, m7) + select(vec2<u32>(0u), vec2<u32>(0u, 1u), v_67.x + m6 < v_67.x);
- v6 = v_67.x;
- v7 = v_67.y;
+
+
// d = rotr64(d ^ a, 16)
- v_67.x = v6;
- v_67.y = v7;
+
+
v_2829.x = v28;
v_2829.y = v29;
xor = v_2829 ^ v_67;