|
|
|---|---|
|
|
学完此节，将楼主的文章关键部分提取出来，方便记忆，呵呵。
几种循环的汇编代码结构： do while的： DO_TAG: ...... ...... CMP XXX,XXX JXX DO_TAG while的 ： WHILE_TAG: CMP XXX,XXX JXX WHILE_END_TAG ...... ...... CMP XXX,XXX JXX WHILE_TAG WHILE_END_TAG: For循环的(根据个人理解总结的，正确与否请自辨  ) ：xxxx;初始化变量 jmp For_TAG2: For_TAG: xxx;变量递增或递加操作 For_TAG2: CMP XXX,XXX JXX For_END_TAG ...... ...... CMP XXX,XXX JXX For_TAG For_END_TAG: 从生成的汇编码来看，应该在代码中多使用do...while结构，呵呵。 看了这几期，感觉编译器，真的太牛X了，优化真做到极致了，关键还能在那么短的时间内生成好可执行文件。 楼主，辛苦了，不影响正常工作的情况下，能坚持下来。给点力，嚯嚯。。。。 PS：楼主又忘加返回主目录的链接了。 
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
希望大家多多讨论交流，如果本文有哪块不易理解，还望各位读者不惜指出，也算是做了件利己利人的好事。
|
|
|
这一段没有源代码：
[QUOTE=AOnePass;817338]请不要怀疑我复制错了代码，事实就是这样！do-while与while生成的Release版在这里看就是100%完全相同的。 编译器很明显的已经探测出了我们的循环判断用的是一个常量，因此就不存在首次执行条件不匹配的情况。既然如此，它为什么还要在循环前面加上那个判断分支来浪费我们的空间与时间呢？ 当然，如果我们将它的判断条件改为一个变量，那么就是另外一番景象了： 00401000 PUSH EBX 00401001 MOV EBX, DWORD PTR DS:[<&MSVCR90.printf>>; MSVCR90.printf 00401007 PUSH EDI 00401008 PUSH Test_0.004020F4 ; /format = "Mom! I can sing my ABC! 0040100D CALL EBX ; \printf 0040100F MOV EDI, DWORD PTR SS:[ESP+10] ; 取得参数（其实就是main函数的argc） 00401013 ADD ESP, 4 00401016 TEST EDI, EDI ; 测试参数是否为0 00401018 JLE SHORT Test_0.00401034 ; 如果为0则跳出循环 0040101A PUSH ESI 0040101B MOV ESI, 5B ; 0x5B = 0x41+26 00401020 SUB ESI, EDI ; 用0x5B减去参数 00401022 /PUSH ESI 00401023 |PUSH Test_0.00402110 ; ASCII "%c " 00401028 |CALL EBX 0040102A |DEC EDI ; 参数减1 0040102B |ADD ESP, 8 0040102E |INC ESI ; ESI加1 0040102F |TEST EDI, EDI 00401031 \JG SHORT Test_0.00401022 ; 如果参数大于ESI则结束循环 00401033 POP ESI 00401034 POP EDI 00401035 XOR EAX, EAX 00401037 POP EBX 00401038 RETN [/QUOTE]没有源代码时看得有点晕，我把源代码加上  int _tmain(int argc, _TCHAR* argv[]) { printf("Mom! I can sing my ABC!\r\n"); // 听！小Baby开始唱ABC了…… while(argc>0) { printf("%c ",0x41+(26-argc) ); argc--; } return 0; } |
|
|
|
|
|
 感谢楼主，后面for的也有一个变量版的。源码也挺简单的，方便和我一样的菜鸟对照看吧，高手飘过。 int _tmain(int argc, _TCHAR* argv[]) { printf("Mom! I can sing my ABC!\r\n"); // 听！小Baby开始唱ABC了…… for (;argc>0;argc--) { printf("%c ",0x41+(26-argc) ); } return 0; } |
|
|
|
|
|
开O2以后,基本上 全都是do ~~while了~~~
|
|
|
|
|
|
|
|
|
小插曲：循环体的语句外提优化
我们看看下面这段代码： int _tmain(int argc, _TCHAR* argv[]) { printf("Mom! I can sing my ABC!\r\n"); // 听！小Baby开始唱ABC了…… for (int nNum = 24;nNum>0;nNum--) { argc = (int)&argc; printf("%c ",0x41+(26-nNum) ); } printf("%p",argc); return 0; } 通过这段代码我们可以发现一处可以优化的地方，就是“argc = (int)&argc”这条语句，很明显 00401000 PUSH ESI 00401001 PUSH EDI 00401002 MOV EDI, DWORD PTR DS:[<&MSVCR90.printf>>; MSVCR90.printf 00401008 PUSH Test_0.004020F4 ; /format = "Mom! I can sing my ABC! 0040100D CALL EDI ; \printf 0040100F ADD ESP, 4 00401012 MOV ESI, 43 00401017 JMP SHORT Test_0.00401020 00401019 LEA ESP, DWORD PTR SS:[ESP] 00401020 LEA EAX, DWORD PTR SS:[ESP+C] ; /循环开始 00401024 PUSH ESI ; | ;两次压栈操作操作，从而上下标识的是一个地址。。。 00401025 PUSH Test_0.00402110 ; |ASCII "%c " 0040102A MOV DWORD PTR SS:[ESP+14], EAX ; | 0040102E CALL EDI ; | 00401030 INC ESI ; | 00401031 ADD ESP, 8 ; | 00401034 CMP ESI, 5B ; | 00401037 JL SHORT Test_0.00401020 ; \循环结束 00401039 MOV ECX, DWORD PTR SS:[ESP+C] ; ECX = (int)&argc; <--注意这里 0040103D PUSH ECX 0040103E PUSH Test_0.00402114 ; ASCII "%p" 00401043 CALL EDI 00401045 ADD ESP, 8 00401048 POP EDI 00401049 XOR EAX, EAX 0040104B POP ESI 0040104C RETN 由上面代码可知，循环体内很明显没有我们“argc = (int)&argc;”的代码，再向下看一行才知道，这段代码被提到了外面，这就是编译进行的代码外提优化。 =============================================== Lz这段分析有点问题吧，我用红色部分标识出来的应该就是循环语句中的： argc = (int)&argc; 以上纯属个人愚见，还请LZ仔细看下
|
|
|
[QUOTE=SunV;827238]小插曲：循环体的语句外提优化
我们看看下面这段代码： int _tmain(int argc, _TCHAR* argv[]) { printf("Mom! I can sing my ABC!\r\n"); // 听！小Baby开始唱ABC了...[/QUOTE] 这位朋友很细心，笔者在这里确实例举了一个错误的例子，现在已经修改。 为了表示感谢，您的名字将出现在本系列教程的导航帖中！
|
|
|
楼主很好 很强大 基础扎实
|
|
|
学习后自己动手分析了下,发现2点存在疑问,希望楼主帮忙开解下,谢谢!
疑问1: //************************************************// 100ED564 A1 78FF1310 mov eax, dword ptr [1013FF78] ;eax = ds:[1013FF78] 100ED569 33C5 xor eax, ebp ;eax ^= ebp 这样做能得到什么？ 100ED56B 50 push eax ;EAX进栈作参数 \\************************************************\\ 疑问2: //*************************************************// 100ED56C 8D45 F4 lea eax, dword ptr [ebp-C] ;eax = ebp-C 100ED56F 64:A3 00000000 mov dword ptr fs:[0], eax ;fs:[0] = eax = (fs:[0] = ebp-C) 100ED575 894D DC mov dword ptr [ebp-24], ecx ;[ebp-24] = ecx 100ED578 8B45 DC mov eax, dword ptr [ebp-24] ;eax = [ebp-24] = (eax = ecx) 100ED57B 8B08 mov ecx, dword ptr [eax] ;ecx = ds:[eax] = (ecx = ds:[ecx])这样做是什么目的? 100ED57D 51 push ecx ;作为参数进栈 \\*************************************************// |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
