🚀 go-pugleaf

Wojciech Muła pisze:
> Andrzej Grażyński <grazynsk@petex.com.pl> wrote:
> 
>>>> EAX <- MIN(EAX, EDX) unsigned
>>>>
>>>>
>>>>     CMP EAX,EDX
>>>>     SBB EBX,EBX
>>>>     AND EAX,EBX
>>>>     NOT EBX
>>>>     AND EDX,EBX
>>>>     OR  EAX,EDX
>>> Można zejsć do 5 instrukcji.
> 
> cmp eax, edx
> sbb ebx, ebx
> 
> xor edx, eax
> and edx, ebx
> xor eax, edx
> 
> Ostanie 3 instrukcje można skojarzyć z rozwiązaniem stosownym w
> http://en.wikipedia.org/wiki/XOR_linked_list
> 
>>>> EAX <- MIN(EAX, EDX) signed
>>>>
>>>>     CMP EAX,EDX
>>>>     SETL BL
>>>>     NEG  BL
>>>>     SBB EBX,EBX
>>>>     AND EAX,EBX
>>>>     NOT EBX
>>>>     AND EDX,EBX
>>>>     OR  EAX,EDX
>>> Można zejść do 4 instrukcji.
> 
> sub edx, eax

I tu jest problem: jeżeli w eax i edx będą liczby przeciwnych znaków 
takie, że ich różnica nie zmieści się na 32 bitach (jako signed), to CF 
zostanie ustawiony niezależnie od tego, czy EDX<EAX czy EDX>=EAX. I 
ostateczny wynik może nie być poprawny.

Oryginalne rozwiązanie podane przez Knutha bazuje na formule

MIN(X, y) = (X + Y - ABS(X-Y))/2

i jest tak samo wrażliwe na problem nadmiaru.



> sbb ebx, ebx
> 
> and edx, ebx
> add eax, edx	; albo sub
> 
>> Chętnie zobaczyłbym te krótsze wersje.
> 
> Proszę. :) Fajnie, że trochę rozruszałeś grupę.
> 
> w.