🚀 go-pugleaf

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