测试代码:
int hello(int k)
{
return -k;
}
int main(void)
{
int i,k;
i = 10;
k = -(-(-(-i)));
hello(k);
while(1){
hello(i);
}
}
编译器:uVsion V4.10 RealView MDK-ARM
优化级别:0
9: int main(void)
10: {
11: int i,k;
12:
13:
14: i = 10;
0x080001AA 220A MOVS r2,#0x0A
15: k = -(-(-(-i)));
0x080001AC 4250 RSBS r0,r2,#0
0x080001AE 4240 RSBS r0,r0,#0
0x080001B0 4240 RSBS r0,r0,#0
0x080001B2 4243 RSBS r3,r0,#0
16: hello(k);
17:
0x080001B4 4618 MOV r0,r3
0x080001B6 F7FFFFF5 BL.W hello (0x080001A4)
18: while(1){
0x080001BA E002 B 0x080001C2
19: hello(i);
0x080001BC 4610 MOV r0,r2
0x080001BE F7FFFFF1 BL.W hello (0x080001A4)
0x080001C2 E7FB B 0x080001BC
编译结果看出,RealView MDK-ARM 优化级别为0时,丫还真的完全按部就班。
优化级别:1
9: int main(void)
10: {
11: int i,k;
12:
13:
14: i = 10;
15: k = -(-(-(-i)));
0x080001A8 210A MOVS r1,#0x0A
16: hello(k);
17:
18: while(1){
0x080001AA 4608 MOV r0,r1
0x080001AC F7FFFFFA BL.W hello (0x080001A4)
19: hello(i);
0x080001B0 4608 MOV r0,r1
0x080001B2 F7FFFFF7 BL.W hello (0x080001A4)
18: while(1){
0x080001B6 E7FB B 0x080001B0
这会聪明多了,知道“k = -(-(-(-i)));”等价于“k = i;”,而且还知道对于整个程序,k = -(-(-(-i))); 根本就是一句废话。
优化级别:2
9: int main(void)
10: {
11: int i,k;
12:
13:
14: i = 10;
15: k = -(-(-(-i)));
16: hello(k);
17:
18: while(1){
0x080001A8 E7FE B main (0x080001A8)
不用往下测了,这已经是最优化的了,都直接编译成死循环了,啥也不干。
编译器:IAR Embedded Workbench IDE EWARM V5.20
优化级别:None
main:
0000013C E92D4038 STMDB SP!, {R3,R4,R5,LR}
i = 10;
00000140 E3A0000A MOV R0, #0xA
00000144 E1B04000 MOVS R4, R0
k = -(-(-(-i)));
00000148 E1B05004 MOVS R5, R4
hello(k);
0000014C E1B00005 MOVS R0, R5
00000150 EBFFFFF7 BL hello ; 0x134
hello(i);
??main_0:
00000154 E1B00004 MOVS R0, R4
00000158 EBFFFFF5 BL hello ; 0x134
0000015C EAFFFFFC B ??main_0 ; 0x154
IAR不认可废话,使用冗余指令时可要注意了。
优化级别:Low
main:
00000164 E92D4010 STMDB SP!, {R4,LR}
i = 10;
00000168 E3A0400A MOV R4, #0xA
hello(k);
0000016C E1B00004 MOVS R0, R4
00000170 EBFFFFF9 BL hello ; 0x15C
hello(i);
??main_0:
00000174 E1B00004 MOVS R0, R4
00000178 EBFFFFF7 BL hello ; 0x15C
0000017C EAFFFFFC B ??main_0 ; 0x174
好像没什么实际性的提高,只是优化了 k = -(-(-(-i))); 直接用 i 代替 k .
优化级别:Medium
main:
00000198 E92D5000 STMDB SP!, {R12,LR}
hello(k);
0000019C E3A0000A MOV R0, #0xA
000001A0 EBFFFFFA BL hello ; 0x190
hello(i);
??main_0:
000001A4 E3A0000A MOV R0, #0xA
000001A8 EBFFFFF8 BL hello ; 0x190
000001AC EAFFFFFC B ??main_0 ; 0x1A4
这个,这个,不说了。和Low级别有区别吗?仅仅少用了一个R4。
编译器:IAR Embedded Workbench IDE EW78K V4.60
PS:这个是8位机,处理器为NEC 78K0 - uPD78F0485
优化级别:None
main:
02C5 B3 PUSH BC
02C6 B5 PUSH DE
i = 10;
02C7 140A00 MOVW DE, #0x000A
k = -(-(-(-i)));
02CA C4 MOVW AX, DE
hello(k);
02CB 9ABD02 CALL hello ; (0x02BD)
hello(i);
02CE C4 MOVW AX, DE
02CF 9ABD02 CALL hello ; (0x02BD)
02D2 FAFA BR 0x02CE
秉承IAR的一贯作风:不说废话。
优化级别:Low
main:
02C5 B5 PUSH DE
i = 10;
02C6 140A00 MOVW DE, #0x000A
k = -(-(-(-i)));
02C9 C4 MOVW AX, DE
hello(k);
02CA 9ABD02 CALL hello ; (0x02BD)
hello(i);
02CD C4 MOVW AX, DE
02CE 9ABD02 CALL hello ; (0x02BD)
02D1 FAFA BR 0x02CD
没啥优化,只是堆栈少用了2字节。
优化级别:Medium
main:
02C5 100A00 MOVW AX, #0x000A
02C8 9ABD02 CALL hello ; (0x02BD)
hello(i);
02CB 100A00 MOVW AX, #0x000A
02CE 9ABD02 CALL hello ; (0x02BD)
02D1 FAF8 BR 0x02CB
再少2字节堆栈,看来8位机优化时优先对资源作优化。
结论:
还是 uVsion 比较听话,要她老实时,丫绝无怨言,按部就班,踏踏实实。而一旦让她表现时,她的疯狂总会给你意想不到的刺激。加了优化时调试程序可要注意了,这个编译器只要你给了她权利,她可是很喜欢多管闲事的。
而相比之下,IAR可要自主一点,她有自己的想法,不管你是否愿意。
|
|