v12 = v_1213.x;
v13 = v_1213.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_01.x = v0;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v24 = v_2425.x;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v12 = v_1213.x;
v13 = v_1213.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v24 = v_2425.x;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_01.x = v0;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v24 = v_2425.x;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v12 = v_1213.x;
v13 = v_1213.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v24 = v_2425.x;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_01.x = v0;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v24 = v_2425.x;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v12 = v_1213.x;
v13 = v_1213.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v24 = v_2425.x;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_01.x = v0;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v24 = v_2425.x;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_01.x = v0;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v24 = v_2425.x;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// o0 = v4 + 0u;
// o1 = v5 + 0u;
// if (v4 > 0xFFFFFFFFu - 0u) {
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_01.x = v0;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v14 = v_1415.x;
v15 = v_1415.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v12 = v_1213.x;
v13 = v_1213.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_01.x = v0;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v24 = v_2425.x;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v2 + 0u;
- // o1 = v3 + 0u;
- // if (v2 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v2 = o0;
- // v3 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_23.x = v2;
v12 = v_1213.x;
v13 = v_1213.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v12 = v_1213.x;
v13 = v_1213.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_67.x = v6;
v10 = v_1011.x;
v11 = v_1011.y;
- // // a = a + m[sigma[r][2*i+1]]
- // // skip since adding 0u does nothing
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_01.x = v0;
v14 = v_1415.x;
v15 = v_1415.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v4 + 0u;
- // o1 = v5 + 0u;
- // if (v4 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v4 = o0;
- // v5 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_45.x = v4;
v14 = v_1415.x;
v15 = v_1415.y;
- // // 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;
+ // a = a + m[sigma[r][2*i+1]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 16)
v_45.x = v4;
v8 = v_89.x;
v9 = v_89.y;
- // // a = a + m[sigma[r][2*i+0]]
- // // skip since adding 0u does nothing
- // o0 = v6 + 0u;
- // o1 = v7 + 0u;
- // if (v6 > 0xFFFFFFFFu - 0u) {
- // o1 = o1 + 1u;
- // }
- // v6 = o0;
- // v7 = o1;
+ // a = a + m[sigma[r][2*i+0]]
+ // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
v_67.x = v6;