// a = a + b;
o0 = v0 + v8;
o1 = v1 + v9;
- if (v0 > 0xFFFFFFFFu - v8) {
- o1 = o1 + 1u;
- }
+ o1 = o1 + select(0u, 1u, o0 < v0);
v0 = o0;
v1 = o1;
// a = a + b;
o0 = v0 + v8;
o1 = v1 + v9;
- if (v0 > 0xFFFFFFFFu - v8) {
- o1 = o1 + 1u;
- }
+ o1 = o1 + select(0u, 1u, o0 < v0);
v0 = o0;
v1 = o1;
// a = a + b
o0 = v0 + v8;
o1 = v1 + v9;
- if (v0 > 0xFFFFFFFFu - v8) {
- o1 = o1 + 1u;
- }
+ o1 = o1 + select(0u, 1u, o0 < v0);
v0 = o0;
v1 = o1;
// a = a + b
o0 = v0 + v8;
o1 = v1 + v9;
- if (v0 > 0xFFFFFFFFu - v8) {
- o1 = o1 + 1u;
- }
+ o1 = o1 + select(0u, 1u, o0 < v0);
v0 = o0;
v1 = o1;