From: Chris Duncan Date: Thu, 9 Jan 2025 21:53:11 +0000 (-0800) Subject: Replace if statements. X-Git-Url: https://zoso.dev/?a=commitdiff_plain;h=020f41cedb9f86a8a3dda64d185a10be7b2878ca;p=libnemo.git Replace if statements. --- diff --git a/src/lib/nano-pow/shaders/gpu-compute.ts b/src/lib/nano-pow/shaders/gpu-compute.ts index 064a730..510c3cc 100644 --- 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;