Czy ta pełna implementacja dodatku jest poprawna?

Question

Jest this postu, który niedawno otrzymał jakiś niezwykły bukiet upvotes, prosząc o operatora w C
+ To pokazuje następujące realizacja:

// replaces the + operator 
int add(int x, int y) { 
    while(x) { 
     int t = (x & y) <<1; 
     y ^= x; 
     x = t; 
    } 
    return y; 
} 

Przypadkowo napisałem realizację siebie zbyt (an algorytm zeszyt) i wymyślił, że:

uint32_t bit_add(uint16_t a, uint16_t b) { 
    uint32_t carry = ((uint32_t) a & b) << 1; 
    uint16_t add = a^b; 

    return carry^add; 
} 

Przetestowałem go kilka razy i wydaje się działać. Chodzi o to, że jest znacznie szybszy niż implementacja ze wskazanego postu, bez żadnych skoków na x86.

Czy moja implementacja jest poprawna lub czy jest coś złego, o czym nie wiem?
Nie mogę sobie wyobrazić, że mój kod jest szybszy niż kod postu tak często oglądany i sprawdzany.

Answer 1

Twoja funkcja nie działa.

Prosty kontrprzykład jest 127 + 1.

Łatwo to zobaczyć. Numer 127 ma wszystkie najważniejsze zestawy 7 bitów do 1. And o numerze 1, a przesunięcie go o jeden w lewo daje wartość 2. Od tego momentu, używając operatora xor, nie ma kombinacji wartości, które mamy dostępne , może wytworzyć wartość większą niż 127.