🚀 go-pugleaf

Wojciech Muła pisze:
> Andrzej Grażyński <grazynsk@petex.com.pl> wrote:
> 
>>>>>> 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.
> 
> Faktycznie, nie zwróciłem na to uwagi. Ale dalej można wykorzystać
> trik z xorem dla dodatnich - w końcu tylko warunkowo podmieniamy bity.
> 
> Podrzuć jeszcze jakieś zadanko, to miło czasem ruszyć głową nad
> zdałoby się prostym problemem.
> 
> w.
> 
Ten fragment zlicza jedynki w EAX


MACRO VCOUNTONESSTEP MSK, SHFT
          MOV  ECX,&MSK
          MOV  EDX,EAX
          SHR  EAX,&SHFT
          AND  EAX,ECX
          AND  EDX,ECX
          ADD  EAX,EDX
ENDM

VCOUNTONESSTEP 055555555H,1
VCOUNTONESSTEP 033333333H,2
VCOUNTONESSTEP  0F0F0F0FH,4
VCOUNTONESSTEP  00FF00FFH,8
VCOUNTONESSTEP  0000FFFFH,16