Replace if statements.

diff --git a/src/lib/nano-pow/shaders/gpu-compute.ts b/src/lib/nano-pow/shaders/gpu-compute.ts
index 064a730ef724186670bad2cac3c8028c295a60a9..510c3cc9c76aec6a094be97c65f89a4c950d6c14 100644 (file)
--- a/src/lib/nano-pow/shaders/gpu-compute.ts
+++ b/src/lib/nano-pow/shaders/gpu-compute.ts
@@ -205,9 +205,7 @@ fn main(
        // a = a + m[sigma[r][2*i+0]]
        o0 = v2 + m4;
        o1 = v3 + m5;
-       if (v2 > 0xFFFFFFFFu - m4) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -220,9 +218,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -242,9 +238,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v2 + m6;
        o1 = v3 + m7;
-       if (v2 > 0xFFFFFFFFu - m6) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -257,9 +251,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -280,18 +272,14 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
        // a = a + m[sigma[r][2*i+0]]
        o0 = v4 + m8;
        o1 = v5 + m9;
-       if (v4 > 0xFFFFFFFFu - m8) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -319,9 +307,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -894,9 +880,7 @@ fn main(
        // a = a + m[sigma[r][2*i+0]]
        o0 = v2 + m8;
        o1 = v3 + m9;
-       if (v2 > 0xFFFFFFFFu - m8) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -909,9 +893,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -947,9 +929,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -970,9 +950,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -1010,9 +988,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -1236,9 +1212,7 @@ fn main(
        // a = a + m[sigma[r][2*i+0]]
        o0 = v2 + m0;
        o1 = v3 + m1;
-       if (v2 > 0xFFFFFFFFu - m0) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -1275,9 +1249,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v2 + m4;
        o1 = v3 + m5;
-       if (v2 > 0xFFFFFFFFu - m4) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -1595,9 +1567,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -1617,9 +1587,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v2 + m0;
        o1 = v3 + m1;
-       if (v2 > 0xFFFFFFFFu - m0) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -1632,9 +1600,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -1655,9 +1621,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -1695,18 +1659,14 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
        // a = a + m[sigma[r][2*i+1]]
        o0 = v4 + m4;
        o1 = v5 + m5;
-       if (v4 > 0xFFFFFFFFu - m4) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -1923,9 +1883,7 @@ fn main(
        // a = a + m[sigma[r][2*i+0]]
        o0 = v2 + m6;
        o1 = v3 + m7;
-       if (v2 > 0xFFFFFFFFu - m6) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -2050,9 +2008,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v4 + m2;
        o1 = v5 + m3;
-       if (v4 > 0xFFFFFFFFu - m2) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -2266,9 +2222,7 @@ fn main(
        // a = a + m[sigma[r][2*i+0]]
        o0 = v2 + m6;
        o1 = v3 + m7;
-       if (v2 > 0xFFFFFFFFu - m6) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -2281,9 +2235,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -2303,9 +2255,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v2 + m2;
        o1 = v3 + m3;
-       if (v2 > 0xFFFFFFFFu - m2) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -2318,9 +2268,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -2341,9 +2289,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -2381,9 +2327,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -2695,9 +2639,7 @@ fn main(
        // a = a + m[sigma[r][2*i+0]]
        o0 = v4 + m8;
        o1 = v5 + m9;
-       if (v4 > 0xFFFFFFFFu - m8) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -2734,9 +2676,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v4 + m0;
        o1 = v5 + m1;
-       if (v4 > 0xFFFFFFFFu - m0) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -2964,9 +2904,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -3002,9 +2940,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -3025,18 +2961,14 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
        // a = a + m[sigma[r][2*i+0]]
        o0 = v4 + m4;
        o1 = v5 + m5;
-       if (v4 > 0xFFFFFFFFu - m4) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -3064,18 +2996,14 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
        // a = a + m[sigma[r][2*i+1]]
        o0 = v4 + m8;
        o1 = v5 + m9;
-       if (v4 > 0xFFFFFFFFu - m8) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -3647,9 +3575,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -3685,9 +3611,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -3708,18 +3632,14 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
        // a = a + m[sigma[r][2*i+0]]
        o0 = v4 + m0;
        o1 = v5 + m1;
-       if (v4 > 0xFFFFFFFFu - m0) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -3747,9 +3667,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -4317,9 +4235,7 @@ fn main(
        // a = a + m[sigma[r][2*i+0]]
        o0 = v2 + m2;
        o1 = v3 + m3;
-       if (v2 > 0xFFFFFFFFu - m2) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -4332,9 +4248,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -4370,9 +4284,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -4393,9 +4305,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -4433,9 +4343,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -4698,9 +4606,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v2 + m6;
        o1 = v3 + m7;
-       if (v2 > 0xFFFFFFFFu - m6) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -4785,9 +4691,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v4 + m4;
        o1 = v5 + m5;
-       if (v4 > 0xFFFFFFFFu - m4) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -5018,9 +4922,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -5056,9 +4958,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -5079,9 +4979,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -5119,18 +5017,14 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
        // a = a + m[sigma[r][2*i+1]]
        o0 = v4 + m2;
        o1 = v5 + m3;
-       if (v4 > 0xFFFFFFFFu - m2) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -5383,9 +5277,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v2 + m8;
        o1 = v3 + m9;
-       if (v2 > 0xFFFFFFFFu - m8) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -5703,9 +5595,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -5741,9 +5631,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -5764,9 +5652,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -5804,18 +5690,14 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
        // a = a + m[sigma[r][2*i+1]]
        o0 = v4 + m6;
        o1 = v5 + m7;
-       if (v4 > 0xFFFFFFFFu - m6) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -6116,9 +5998,7 @@ fn main(
        // a = a + m[sigma[r][2*i+0]]
        o0 = v4 + m2;
        o1 = v5 + m3;
-       if (v4 > 0xFFFFFFFFu - m2) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -6155,9 +6035,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v4 + m8;
        o1 = v5 + m9;
-       if (v4 > 0xFFFFFFFFu - m8) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -6385,9 +6263,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -6407,9 +6283,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v2 + m8;
        o1 = v3 + m9;
-       if (v2 > 0xFFFFFFFFu - m8) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -6422,9 +6296,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -6445,9 +6317,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -6485,9 +6355,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -6801,9 +6669,7 @@ fn main(
        // a = a + m[sigma[r][2*i+0]]
        o0 = v4 + m6;
        o1 = v5 + m7;
-       if (v4 > 0xFFFFFFFFu - m6) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -7051,9 +6917,7 @@ fn main(
        // a = a + m[sigma[r][2*i+0]]
        o0 = v2 + m4;
        o1 = v3 + m5;
-       if (v2 > 0xFFFFFFFFu - m4) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -7066,9 +6930,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -7088,9 +6950,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v2 + m6;
        o1 = v3 + m7;
-       if (v2 > 0xFFFFFFFFu - m6) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -7103,9 +6963,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -7126,18 +6984,14 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
        // a = a + m[sigma[r][2*i+0]]
        o0 = v4 + m8;
        o1 = v5 + m9;
-       if (v4 > 0xFFFFFFFFu - m8) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -7165,9 +7019,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -7740,9 +7592,7 @@ fn main(
        // a = a + m[sigma[r][2*i+0]]
        o0 = v2 + m8;
        o1 = v3 + m9;
-       if (v2 > 0xFFFFFFFFu - m8) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -7755,9 +7605,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -7793,9 +7641,7 @@ fn main(
        // c = c + d
        o0 = v18 + v26;
        o1 = v19 + v27;
-       if (v18 > 0xFFFFFFFFu - v26) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v18);
        v18 = o0;
        v19 = o1;
 
@@ -7816,9 +7662,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -7856,9 +7700,7 @@ fn main(
        // a = a + b
        o0 = v4 + v12;
        o1 = v5 + v13;
-       if (v4 > 0xFFFFFFFFu - v12) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v4);
        v4 = o0;
        v5 = o1;
 
@@ -8082,9 +7924,7 @@ fn main(
        // a = a + m[sigma[r][2*i+0]]
        o0 = v2 + m0;
        o1 = v3 + m1;
-       if (v2 > 0xFFFFFFFFu - m0) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;
 
@@ -8121,9 +7961,7 @@ fn main(
        // a = a + m[sigma[r][2*i+1]]
        o0 = v2 + m4;
        o1 = v3 + m5;
-       if (v2 > 0xFFFFFFFFu - m4) {
-               o1 = o1 + 1u;
-       }
+       o1 = o1 + select(0u, 1u, o0 < v2);
        v2 = o0;
        v3 = o1;