From 0c157853c67a2abc03bd30325e4a4b972855f914 Mon Sep 17 00:00:00 2001 From: Chris Duncan Date: Thu, 9 Jan 2025 13:58:44 -0800 Subject: [PATCH] Replace last if statements with select. --- src/lib/nano-pow/shaders/gpu-compute.ts | 1008 ++++++----------------- 1 file changed, 252 insertions(+), 756 deletions(-) diff --git a/src/lib/nano-pow/shaders/gpu-compute.ts b/src/lib/nano-pow/shaders/gpu-compute.ts index 510c3cc..739339f 100644 --- a/src/lib/nano-pow/shaders/gpu-compute.ts +++ b/src/lib/nano-pow/shaders/gpu-compute.ts @@ -292,9 +292,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -330,9 +328,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -353,9 +349,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -378,9 +372,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -393,9 +385,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -418,9 +408,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -464,9 +452,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -502,9 +488,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -525,9 +509,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -550,9 +532,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -565,9 +545,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -590,9 +568,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -613,9 +589,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -638,9 +612,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -653,9 +625,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -678,9 +648,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -701,9 +669,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -726,9 +692,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -741,9 +705,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -766,9 +728,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -973,9 +933,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -1011,9 +969,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -1034,9 +990,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -1059,9 +1013,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -1074,9 +1026,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -1099,9 +1049,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -1142,9 +1090,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -1180,9 +1126,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -1203,9 +1147,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -1225,9 +1167,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -1240,9 +1180,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -1262,9 +1200,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -1285,9 +1221,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -1310,9 +1244,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -1325,9 +1257,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -1350,9 +1280,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -1373,9 +1301,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -1398,9 +1324,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -1413,18 +1337,14 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; // a = a + m[sigma[r][2*i+1]] o0 = v6 + m6; o1 = v7 + m7; - if (v6 > 0xFFFFFFFFu - m6) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -1437,9 +1357,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -1644,9 +1562,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -1679,9 +1595,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -1702,9 +1616,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -1727,9 +1639,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -1742,9 +1652,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -1767,9 +1675,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -1813,9 +1719,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -1851,9 +1755,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -1874,9 +1776,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -1896,9 +1796,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -1911,9 +1809,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -1936,9 +1832,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -1959,9 +1853,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -1984,9 +1876,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -1999,9 +1889,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -2021,9 +1909,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -2044,9 +1930,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -2069,9 +1953,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -2084,18 +1966,14 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; // a = a + m[sigma[r][2*i+1]] o0 = v6 + m8; o1 = v7 + m9; - if (v6 > 0xFFFFFFFFu - m8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -2108,9 +1986,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -2312,9 +2188,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -2350,9 +2224,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -2373,9 +2245,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -2398,9 +2268,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -2413,9 +2281,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -2438,9 +2304,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -2481,9 +2345,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -2519,9 +2381,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -2542,9 +2402,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -2567,9 +2425,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -2582,9 +2438,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -2607,9 +2461,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -2630,9 +2482,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -2652,9 +2502,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -2667,9 +2515,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -2689,9 +2535,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -2712,9 +2556,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -2737,9 +2579,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -2752,9 +2592,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -2777,9 +2615,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -2981,9 +2817,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -3016,9 +2850,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -3039,9 +2871,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -3064,9 +2894,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -3079,9 +2907,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -3104,9 +2930,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -3150,9 +2974,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -3185,9 +3007,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -3208,9 +3028,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -3233,9 +3051,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -3248,9 +3064,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -3273,9 +3087,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -3296,9 +3108,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -3321,9 +3131,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -3336,9 +3144,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -3361,9 +3167,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -3384,18 +3188,14 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; // a = a + m[sigma[r][2*i+0]] o0 = v6 + m6; o1 = v7 + m7; - if (v6 > 0xFFFFFFFFu - m6) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -3408,9 +3208,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -3423,9 +3221,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -3448,9 +3244,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -3652,9 +3446,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -3690,9 +3482,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -3713,9 +3503,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -3738,9 +3526,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -3753,18 +3539,14 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; // a = a + m[sigma[r][2*i+1]] o0 = v6 + m6; o1 = v7 + m7; - if (v6 > 0xFFFFFFFFu - m6) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -3777,9 +3559,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -3820,9 +3600,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -3858,9 +3636,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -3881,9 +3657,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -3906,9 +3680,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -3921,9 +3693,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -3946,9 +3716,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -3969,9 +3737,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -3994,9 +3760,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -4009,9 +3773,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -4034,9 +3796,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -4057,18 +3817,14 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; // a = a + m[sigma[r][2*i+0]] o0 = v6 + m2; o1 = v7 + m3; - if (v6 > 0xFFFFFFFFu - m2) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -4081,9 +3837,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -4096,9 +3850,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -4121,9 +3873,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -4328,9 +4078,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -4366,9 +4114,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -4389,18 +4135,14 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; // a = a + m[sigma[r][2*i+0]] o0 = v6 + m8; o1 = v7 + m9; - if (v6 > 0xFFFFFFFFu - m8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -4413,9 +4155,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -4428,9 +4168,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -4453,9 +4191,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -4496,9 +4232,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -4534,9 +4268,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -4557,9 +4289,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -4582,9 +4312,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -4597,9 +4325,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -4619,9 +4345,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -4642,9 +4366,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -4667,9 +4389,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -4682,9 +4402,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -4704,9 +4422,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -4727,9 +4443,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -4752,9 +4466,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -4767,9 +4479,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -4792,9 +4502,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -5002,9 +4710,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -5037,9 +4743,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -5060,18 +4764,14 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; // a = a + m[sigma[r][2*i+0]] o0 = v6 + m6; o1 = v7 + m7; - if (v6 > 0xFFFFFFFFu - m6) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -5084,9 +4784,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -5099,9 +4797,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -5124,9 +4820,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -5170,9 +4864,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -5205,9 +4897,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -5228,9 +4918,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -5253,9 +4941,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -5268,9 +4954,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -5290,9 +4974,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -5313,9 +4995,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -5338,9 +5018,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -5353,9 +5031,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -5378,9 +5054,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -5401,18 +5075,14 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; // a = a + m[sigma[r][2*i+0]] o0 = v6 + m4; o1 = v7 + m5; - if (v6 > 0xFFFFFFFFu - m4) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -5425,9 +5095,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -5440,9 +5108,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -5465,9 +5131,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -5675,9 +5339,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -5710,9 +5372,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -5733,18 +5393,14 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; // a = a + m[sigma[r][2*i+0]] o0 = v6 + m0; o1 = v7 + m1; - if (v6 > 0xFFFFFFFFu - m0) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -5757,9 +5413,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -5772,9 +5426,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -5797,9 +5449,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -5843,9 +5493,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -5878,9 +5526,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -5901,9 +5547,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -5926,9 +5570,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -5941,9 +5583,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -5966,9 +5606,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -5989,9 +5627,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -6011,9 +5647,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -6026,9 +5660,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -6048,9 +5680,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -6071,9 +5701,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -6096,9 +5724,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -6111,9 +5737,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -6136,9 +5760,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -6340,9 +5962,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -6378,9 +5998,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -6401,18 +6019,14 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; // a = a + m[sigma[r][2*i+0]] o0 = v6 + m2; o1 = v7 + m3; - if (v6 > 0xFFFFFFFFu - m2) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -6425,9 +6039,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -6440,9 +6052,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -6465,9 +6075,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -6511,9 +6119,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -6549,9 +6155,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -6572,9 +6176,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -6597,9 +6199,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -6612,9 +6212,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -6637,9 +6235,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -6660,9 +6256,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -6682,9 +6276,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -6697,9 +6289,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -6722,9 +6312,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -6745,9 +6333,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -6770,9 +6356,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -6785,18 +6369,14 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; // a = a + m[sigma[r][2*i+1]] o0 = v6 + m0; o1 = v7 + m1; - if (v6 > 0xFFFFFFFFu - m0) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -6809,9 +6389,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -7004,9 +6582,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -7042,9 +6618,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -7065,9 +6639,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -7090,9 +6662,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -7105,9 +6675,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -7130,9 +6698,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -7176,9 +6742,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -7214,9 +6778,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -7237,9 +6799,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -7262,9 +6822,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -7277,9 +6835,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -7302,9 +6858,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -7325,9 +6879,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -7350,9 +6902,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -7365,9 +6915,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -7390,9 +6938,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -7413,9 +6959,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -7438,9 +6982,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -7453,9 +6995,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -7478,9 +7018,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -7685,9 +7223,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -7723,9 +7259,7 @@ fn main( // c = c + d o0 = v20 + v28; o1 = v21 + v29; - if (v20 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -7746,9 +7280,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -7771,9 +7303,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -7786,9 +7316,7 @@ fn main( // a = a + b o0 = v6 + v14; o1 = v7 + v15; - if (v6 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -7811,9 +7339,7 @@ fn main( // c = c + d o0 = v22 + v30; o1 = v23 + v31; - if (v22 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -7854,9 +7380,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -7892,9 +7416,7 @@ fn main( // c = c + d o0 = v20 + v30; o1 = v21 + v31; - if (v20 > 0xFFFFFFFFu - v30) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v20); v20 = o0; v21 = o1; @@ -7915,9 +7437,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -7937,9 +7457,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -7952,9 +7470,7 @@ fn main( // a = a + b o0 = v2 + v12; o1 = v3 + v13; - if (v2 > 0xFFFFFFFFu - v12) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v2); v2 = o0; v3 = o1; @@ -7974,9 +7490,7 @@ fn main( // c = c + d o0 = v22 + v24; o1 = v23 + v25; - if (v22 > 0xFFFFFFFFu - v24) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v22); v22 = o0; v23 = o1; @@ -7997,9 +7511,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -8022,9 +7534,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -8037,9 +7547,7 @@ fn main( // a = a + b o0 = v4 + v14; o1 = v5 + v15; - if (v4 > 0xFFFFFFFFu - v14) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v4); v4 = o0; v5 = o1; @@ -8062,9 +7570,7 @@ fn main( // c = c + d o0 = v16 + v26; o1 = v17 + v27; - if (v16 > 0xFFFFFFFFu - v26) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v16); v16 = o0; v17 = o1; @@ -8085,9 +7591,7 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -8110,9 +7614,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; @@ -8125,18 +7627,14 @@ fn main( // a = a + b o0 = v6 + v8; o1 = v7 + v9; - if (v6 > 0xFFFFFFFFu - v8) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; // a = a + m[sigma[r][2*i+1]] o0 = v6 + m6; o1 = v7 + m7; - if (v6 > 0xFFFFFFFFu - m6) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v6); v6 = o0; v7 = o1; @@ -8149,9 +7647,7 @@ fn main( // c = c + d o0 = v18 + v28; o1 = v19 + v29; - if (v18 > 0xFFFFFFFFu - v28) { - o1 = o1 + 1u; - } + o1 = o1 + select(0u, 1u, o0 < v18); v18 = o0; v19 = o1; -- 2.34.1