// a = a + m[sigma[r][2*i+0]]
- o0 = v6 + m4;
- o1 = v7 + m5;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ 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;
// a = a + m[sigma[r][2*i+1]]
- o0 = v4 + m6;
- o1 = v5 + m7;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ 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);
+ v4 = v_45.x;
+ v5 = v_45.y;
// d = rotr64(d ^ a, 16)
v_45.x = v4;
// a = a + m[sigma[r][2*i+0]]
- o0 = v6 + m0;
- o1 = v7 + m1;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ 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;
// a = a + m[sigma[r][2*i+1]]
// skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
// d = rotr64(d ^ a, 16)
v_45.x = v4;
// a = a + m[sigma[r][2*i+0]]
- o0 = v4 + m6;
- o1 = v5 + m7;
- o1 = o1 + select(0u, 1u, o0 < v4);
- v4 = o0;
- v5 = o1;
+ v_45.x = v4;
+ 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);
+ v4 = v_45.x;
+ v5 = v_45.y;
// d = rotr64(d ^ a, 32)
v_45.x = v4;
// a = a + m[sigma[r][2*i+1]]
- o0 = v6 + m0;
- o1 = v7 + m1;
- o1 = o1 + select(0u, 1u, o0 < v6);
- v6 = o0;
- v7 = o1;
+ 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;