Что то я через чур лишнего написал.
Можно без всяких if
CF = ((a shr 1) + (b shr 1)) + (a and b and 1)) shr 31
Тоже можно упростить но условные переходы убраны

Так вот в C если синтаксис правильно помню.
Для 32х битных чисел.

CF=((a >> 1)+ (b >> 1)) + (a & b & 1)) >> 31

Вычисление CF для unsigned int:

CF = ((x&y) | (~(x+y+cf) &(x^y))) >> 31
CF = ((~x&y) | ((x-y-cf) & (~x^y) >> 31

или такой вариант:

CF = x>~y для x+y
CF = x<y для x-y

CF = ((x&y) | (~(x+y+cf) &(x^y))) >> 31
:)
cf то что такое? какая то переменная или реальный cf?
Если реальный, то речь шла о том что в машине Нет CF.
Но кстати не так оказалось плохо уж я и придумал на рыбу.
Тоже семь операций на мои семь.
CF = x>~y для x+y
Имеется ввиду какая то формула для больше а не определение по флагам?

The Svin
cf это переменная в которой хранится перенос вычисленный при сложении или вычитании предыдущей пары слов.

Имеется ввиду какая то формула для больше а не определение по флагам?
Имеется ввиду, что Си-компилятор должен уметь генерить код, который это посчитает 8)

Спасибо, господа. Спасибо еще раз. Ответы исчерпывающие.