var xor0: u32;
var xor1: u32;
- // a = a + b;
+ // a = a + b
o0 = *va0 + *vb0;
o1 = *va1 + *vb1;
if (*va0 > 0xFFFFFFFFu - *vb0) {
*va0 = o0;
*va1 = o1;
- // a = a + m[sigma[r][2*i+0]];
+ // a = a + m[sigma[r][2*i+0]]
o0 = *va0 + mx0;
o1 = *va1 + mx1;
if (*va0 > 0xFFFFFFFFu - mx0) {
*va0 = o0;
*va1 = o1;
- // d = rotr64(d ^ a, 32);
+ // d = rotr64(d ^ a, 32)
xor0 = *vd0 ^ *va0;
xor1 = *vd1 ^ *va1;
*vd0 = xor1;
*vd1 = xor0;
- // c = c + d;
+ // c = c + d
o0 = *vc0 + *vd0;
o1 = *vc1 + *vd1;
if (*vc0 > 0xFFFFFFFFu - *vd0) {
*vc0 = o0;
*vc1 = o1;
- // b = rotr64(b ^ c, 24);
+ // b = rotr64(b ^ c, 24)
xor0 = *vb0 ^ *vc0;
xor1 = *vb1 ^ *vc1;
*vb0 = (xor0 >> 24u) ^ (xor1 << 8u);
*vb1 = (xor1 >> 24u) ^ (xor0 << 8u);
- // a = a + b;
+ // a = a + b
o0 = *va0 + *vb0;
o1 = *va1 + *vb1;
if (*va0 > 0xFFFFFFFFu - *vb0) {
*va0 = o0;
*va1 = o1;
- // a = a + m[sigma[r][2*i+1]];
+ // a = a + m[sigma[r][2*i+1]]
o0 = *va0 + my0;
o1 = *va1 + my1;
if (*va0 > 0xFFFFFFFFu - my0) {
*vd0 = (xor0 >> 16u) ^ (xor1 << 16u);
*vd1 = (xor1 >> 16u) ^ (xor0 << 16u);
- // c = c + d;
+ // c = c + d
o0 = *vc0 + *vd0;
o1 = *vc1 + *vd1;
if (*vc0 > 0xFFFFFFFFu - *vd0) {
* r=0, i=0(x2), a=v[0-1], b=v[8-9], c=v[16-17], d=v[24-25]
*/
- // a = a + b;
+ // a = a + b
o0 = v0 + v8;
o1 = v1 + v9;
o1 = o1 + select(0u, 1u, o0 < v0);
v0 = o0;
v1 = o1;
- // a = a + m[sigma[r][2*i+0]];
+ // a = a + m[sigma[r][2*i+0]]
o0 = v0 + m0;
o1 = v1 + m1;
if (v0 > 0xFFFFFFFFu - m0) {
v0 = o0;
v1 = o1;
- // d = rotr64(d ^ a, 32);
+ // d = rotr64(d ^ a, 32)
xor0 = v24 ^ v0;
xor1 = v25 ^ v1;
v24 = xor1;
v25 = xor0;
- // c = c + d;
+ // c = c + d
o0 = v16 + v24;
o1 = v17 + v25;
if (v16 > 0xFFFFFFFFu - v24) {
v16 = o0;
v17 = o1;
- // b = rotr64(b ^ c, 24);
+ // b = rotr64(b ^ c, 24)
xor0 = v8 ^ v16;
xor1 = v9 ^ v17;
v8 = (xor0 >> 24u) ^ (xor1 << 8u);
v9 = (xor1 >> 24u) ^ (xor0 << 8u);
- // a = a + b;
+ // a = a + b
o0 = v0 + v8;
o1 = v1 + v9;
o1 = o1 + select(0u, 1u, o0 < v0);
v0 = o0;
v1 = o1;
- // a = a + m[sigma[r][2*i+1]];
+ // a = a + m[sigma[r][2*i+1]]
o0 = v0 + m2;
o1 = v1 + m3;
if (v0 > 0xFFFFFFFFu - m2) {
v24 = (xor0 >> 16u) ^ (xor1 << 16u);
v25 = (xor1 >> 16u) ^ (xor0 << 16u);
- // c = c + d;
+ // c = c + d
o0 = v16 + v24;
o1 = v17 + v25;
if (v16 > 0xFFFFFFFFu - v24) {
* r=0, i=1(x2), a=v[2-3], b=v[10-11], c=v[18-19], d=v[26-27]
*/
- // a = a + b;
+ // a = a + b
o0 = v2 + v10;
o1 = v3 + v11;
if (v2 > 0xFFFFFFFFu - v10) {
v2 = o0;
v3 = o1;
- // a = a + m[sigma[r][2*i+0]];
+ // a = a + m[sigma[r][2*i+0]]
o0 = v2 + m4;
o1 = v3 + m5;
if (v2 > 0xFFFFFFFFu - m4) {
v2 = o0;
v3 = o1;
- // d = rotr64(d ^ a, 32);
+ // d = rotr64(d ^ a, 32)
xor0 = v26 ^ v2;
xor1 = v27 ^ v3;
v26 = xor1;
v27 = xor0;
- // c = c + d;
+ // c = c + d
o0 = v18 + v26;
o1 = v19 + v27;
if (v18 > 0xFFFFFFFFu - v26) {
v18 = o0;
v19 = o1;
- // b = rotr64(b ^ c, 24);
+ // b = rotr64(b ^ c, 24)
xor0 = v10 ^ v18;
xor1 = v11 ^ v19;
v10 = (xor0 >> 24u) ^ (xor1 << 8u);
v11 = (xor1 >> 24u) ^ (xor0 << 8u);
- // a = a + b;
+ // a = a + b
o0 = v2 + v10;
o1 = v3 + v11;
if (v2 > 0xFFFFFFFFu - v10) {
v2 = o0;
v3 = o1;
- // a = a + m[sigma[r][2*i+1]];
+ // a = a + m[sigma[r][2*i+1]]
o0 = v2 + m6;
o1 = v3 + m7;
if (v2 > 0xFFFFFFFFu - m6) {
v26 = (xor0 >> 16u) ^ (xor1 << 16u);
v27 = (xor1 >> 16u) ^ (xor0 << 16u);
- // c = c + d;
+ // c = c + d
o0 = v18 + v26;
o1 = v19 + v27;
if (v18 > 0xFFFFFFFFu - v26) {