🚀 go-pugleaf

Michoo pisze:
> yesma pisze:
>> Michoo pisze:
>>> Jeżeli robisz operacje na liczbach złożonych z 2 słów procesora to 
>>> normalnie inkrementację zrobisz tak (eax,ebx - liczba):
>>> add ebx,1
>>> adc eax,0
>>>
>>
>> Chyba zaczynam coś rozumieć pierwsze add może ustawić CF a INC akurat
>> tej flagi nie ustawia, adc ją dodaje
>>
> Dokładnie.
> 
>>> a przy inc będzie to coś takiego:
>>> inc ebx
>>> jno skip ;jz chyba też zadziała dla unsigned
>>> inc eax
>>> skip: ...
>>>
>>> z dec podobnie
>>>
>>
>> ale tutaj chyba nie rozumiem , jno skip czy jo skip?
> Zwiększ jeżeli był overflow, czyli Jeżeli Nie wystąpił Overflow to nie 
> zwiększaj.

To z overflow ciężko mi zrozumieć bo niewiem kiedy
ta flaga jest ustawiana, jakoś słabo udokumentowana,
pewnie kiedyś gdzieś przeczytałem ale wyleciało mi
z pamięci bo nie używałem tej flagi.

> 
> To jest ogólna metoda tworzenia warunków w assemblerze - mamy w C:
> [...]
> --i;
> if(i==0)//JEŻELI WARUNEK SPEŁNIONY - wykonaj kod
>     foo();
> foo_bar();
> [...]
> 
> i kompilujemy to:
>     dec edx
>     jnz skip ;JEŻELI WARUNEK NIESPEŁNIONY - omiń kod
>     call foo
> skip:
>     call foo_bar
> 
> zaoszczędzamy w ten sposób jeden skok w przypadku gdy warunek jest 
> spełniony - po zrealizowaniu bloku if przechodzimy od razu do następnej 
> instrukcji.

a to rozumiem i też tak robię ale na P4 sub,1 jest szybsze
niż dec i też ustawi ZF, ale jeżeli chodzi o kod niekoniacznie
najszybki to będę nadal używał dec inc :)

> 
> W przypadku if ... else ... na końcu bloku if i tak musimy wykonać skok 
> bezwarunkowy, więc stosuje się inne optymalizacje:
> if(a) foo(); else bar(); jest tożsame z if(!a) bar(); else foo();
> więc możemy zamienić kolejność bloków gdy jeden warunek liczy się 
> prościej niż drugi.
> jako pierwszy dajemy ten blok który się częściej wykona - na starych x86 
> (i na risc) często skok to 2 cykle, brak skoku - 1)

też przeważnie to biorę pod uwagę (możliwość która jest bardziej
prawdopodobna pierwsza :)

> jeżeli są równie prawdopodobne to jako pierwszy dajemy blok, który jest 
> krótszy - żeby cel skoku przy ominięciu był w L1
> 

a o tym to jeszcze nie myślałem.
Tylko jak wyliczyć czy się zmieści w L1 czy nie ?, kod przed też chyba
może się znajdować w L1 ?. krótszy napewno
prędzej się tam zmieści więc trzeba się tego trzymać :)
Dzięki

-- 
Pozdrawiam - Grzechu
Linux x86_64