W dniu 2013-04-28 21:17, Michoo pisze:
> On 27.04.2013 18:00, slawek wrote:
>> Takie głupie pytanie - która pętla jest lepsza:
>>
>> 1: for i = 0 to n do call subroutine();
>> 2: for i = n downto 0 call subroutine();
>>
>> Na zdrowy rozum, obie są takie same. Ale chwila - pierwsza rozwija się
>> (przynajmniej w niektórych językach) do
>
> Ogólnie to gcc (icc też, nie wiem jak kompilator MS i inne) robią
> transformacje niezmienników - czyli jeżeli wykryją, że i ma za zadanie
> tylko kontrolę iteracji to zamienią to w zjazd do zera, i to nawet w
> bardziej złożonych przypadkach jak:
> for(int i=5;i<10;i++)
> foo();
> zostanie zamienione w:
> for(int i=5;i;i--)
> foo();

VC2010
double d;
cin>>d;
for(int i=5;i<10;i++)
d = 4*d*(1-d);
cout<<d;

na domyślnych ustawieniach (/O2) rozwija na 5 powtórzeń.

Po załączeniu opcji Favor small code (/Os)
***
; 31 : for(int i=5;i<10;i++)

dec eax

; 32 : d = 4*d*(1-d);

fld1
fsub QWORD PTR _d$[ebp]
fld QWORD PTR _d$[ebp]
fmul QWORD PTR __real@4010000000000000
fmulp ST(1), ST(0)
fstp QWORD PTR _d$[ebp]
jne SHORT $LL3@wmain
***

Czyli tak, jak chcemy.

Ale dalej. Zmieńmy 10 na 100 i wyłączny /Os.
mov eax, 19 ; 00000013H
...
$LN3@wmain:
; 31 : for(int i=5;i<100;i++)
dec eax
; 32 : d = 4*d*(1-d);
fld ST(2)
fsub ST(0), ST(1)
fxch ST(1)
fmul ST(0), ST(2)
fmulp ST(1), ST(0)
....powtórzone jeszcze 4 razy....
jne SHORT $LN3@wmain

Bardziej złośliwe liczby? for(int i=5;i<102;i++)
97 jest pierwsza.
Więc mamy 12 razy wykonywaną pętlę po 8 powtórzeń + jedno
na koniec.
Też odliczamy do zera.

To może coś oczko trudnijszego:
double d;
int k;
cin>>d;
cin>>k;
for(int i=5;i<k+10;i++)
d = 4*d*(1-d);
cout<<d;
***
; 33 : for(int i=5;i<k+10;i++)

mov eax, DWORD PTR _k$[ebp]
add eax, 10 ; 0000000aH
cmp eax, 5
jle SHORT $LN1@wmain

; 29 : double d;
; 30 : int k;
; 31 : cin>>d;

add eax, -5 ; fffffffbH
$LL3@wmain:

; 33 : for(int i=5;i<k+10;i++)

dec eax

; 34 : d = 4*d*(1-d);

fld1
fsub QWORD PTR _d$[ebp]
fld QWORD PTR _d$[ebp]
fmul QWORD PTR __real@4010000000000000
fmulp ST(1), ST(0)
fstp QWORD PTR _d$[ebp]
jne SHORT $LL3@wmain
***
Wersja bez Favor small code (/Os) to pętla po 8 ++ pętla pojedyncza.

Jest dobrze.
Jeszcze paręnaście lat i dogonimy gcc ;-)

pzdr
bartekltg