高效的C編程之：C循環(huán)結(jié)構(gòu)

14.5C循環(huán)結(jié)構(gòu)

循環(huán)體是程序設(shè)計(jì)與優(yōu)化的重點(diǎn)考慮對(duì)象。本節(jié)將著重講解在ARM上處理for和while循環(huán)最有效的方法。

14.5.1循環(huán)中止

首先來(lái)看下面的例子，兩個(gè)不同的循環(huán)退出條件，產(chǎn)生的不同匯編代碼。

C源程序如下所示。

intfact1(intn)

{

inti,fact=1;

for(i=1;i=n;i++)

fact*=i;

return(fact);

}

intfact2(intn)

{

inti,fact=1;

for(i=n;i!=0;i--)

fact*=i;

return(fact);

}

產(chǎn)生的匯編代碼如下所示。

fact1

MOVa3,#1

MOVa2,#1

CMPa1,#1

BLT|L000020.J5.fact1|

|L000010.J4.fact1|

MULa3,a2,a3

ADDa2,a2,#1

CMPa2,a1

BLE|L000010.J4.fact1|

|L000020.J5.fact1|

MOVa1,a3

MOVpc,lr

fact2

MOVSa2,a1

MOVa1,#1

MOVEQpc,lr

|L000034.J4.fact2|

MULa1,a2,a1

SUBSa2,a2,#1

BNE|L000034.J4.fact2|

MOVpc,lr

從產(chǎn)生的匯編代碼中，可以看出兩個(gè)函數(shù)雖然實(shí)現(xiàn)的功能相同，但產(chǎn)生的代碼效率卻不盡相同。這里的關(guān)鍵是，循環(huán)的中止條件應(yīng)為計(jì)數(shù)減到零（countdowntozero），而不是計(jì)數(shù)增加到某個(gè)值。由于減計(jì)數(shù)結(jié)果已存儲(chǔ)在條件標(biāo)志里，與零比較的指令就可以省略。同時(shí)也可以少用一個(gè)寄存器來(lái)存儲(chǔ)循環(huán)中止值。

對(duì)循環(huán)計(jì)數(shù)值i來(lái)說(shuō)，如果i是無(wú)符號(hào)的，則循環(huán)繼續(xù)的條件既可以是i！=0，也可以是i>0。由于i不可能是負(fù)數(shù)，所以這兩個(gè)條件是等價(jià)的。而對(duì)一個(gè)有符號(hào)的循環(huán)計(jì)數(shù)值來(lái)說(shuō)，最好不要用條件i>0作為循環(huán)繼續(xù)執(zhí)行的條件。如果使用i>0作為循環(huán)繼續(xù)執(zhí)行的條件，編譯器將生成下面的代碼。

SUBa2,a2,#1

CMPr1,＃0

BGT|L000034.J4.fact2|

這時(shí)，編譯器多增加了一條CMP指令，主要是為了防止有符號(hào)數(shù)i=−0x8000000。總之，無(wú)論對(duì)于有符號(hào)還是無(wú)符號(hào)的循環(huán)計(jì)數(shù)值，都應(yīng)該使用i!=0作為循環(huán)的結(jié)束條件。對(duì)于有符號(hào)數(shù)i，這比使用i>0少了一條指令。