1
我通过与ASM调试器OllyDbg的程序跟踪和我碰到过这样的代码段,这是一个环区段:x86集合右移运算符SHR的副作用?
CPU Disasm
Address Hex dump Command Comments
007D05EC |. 33C9 XOR ECX,ECX
007D05EE |. 8BFF MOV EDI,EDI
007D05F0 |> 8B54B4 10 /MOV EDX,DWORD PTR SS:[ESI*4+ESP+10]
007D05F4 |. 8BFA |MOV EDI,EDX
007D05F6 |. 0FAFFE |IMUL EDI,ESI
007D05F9 |. 8BDA |MOV EBX,EDX
007D05FB |. D3EB |SHR EBX,CL
007D05FD |. 03F8 |ADD EDI,EAX
007D05FF |. 83C1 10 |ADD ECX,10
007D0602 |. 83C6 01 |ADD ESI,1
007D0605 |. 03DF |ADD EBX,EDI
007D0607 |. 33DA |XOR EBX,EDX
007D0609 |. 81F9 B0000000 |CMP ECX,0B0
007D060F |. 8BC3 |MOV EAX,EBX
007D0611 |.^ 7C DD \JL SHORT 007D05F0
我可以遵循,并得到什么其他运营商做的,这是有道理的,当我追踪它。但SHR EBX,CL对我没有意义。
//Shouldn't in asm
SHR EBX, CL
//be the same as doing this in c/c++?
//that's how it read when I checked the asm reference anyway
ebx >>= CL;
但我所看到的,而不是跟踪时,如果循环迭代是奇数,则丢弃LSB倒腾MSB到它的位置。如果甚至ebx不变。每次循环,ECX寄存器变化如下:
**ecx**
0x0000 -- loop 0
0x0010 -- loop 1
0x0020 -- loop 2
..
0x00A0 -- loop 10
我期待看到是第二或第三循环之后,是EBX将总是zero'ed,因为0x20的你已经转向32位。
我有点困惑,有人可以对此有所了解吗?
感谢
谢谢,我认为这解释了我所看到的行为差异。 Mod 32将使SHR指令在0x00和0x10的移位之间振荡。 – greatwolf 2009-12-17 22:25:54