看不懂反汇编代码，有什么想法吗？

Question

我试图理解一些反汇编代码，但我无法理解这里发生了什么。你能解释一下它的作用吗？

sub     ecx, edi    
sar     edx, 1
mov     eax, 2AAAAAABh
imul    ecx
mov     eax, edx
shr     eax, 31
add     eax, edx
test    eax, eax
jle     ...

ecx、edx 和 edi 包含此代码的某种输入值。

我只能假设最后两行可能会像 if(eax <= 0) goto ... 这样工作，但我不确定。

Answer 1

2AAAAAAB 是一个“幻数”。顺序

MOV    EAX, 2AAAAAABh
IMUL   dividend
MOV    EAX, dividend
SHR    EAX, 31
ADD    EDX, EAX

这是没有使用IDIV的签名除法：

EDX = dividend/6

指令sar edx, 1 没有用，因为EDX 将被imul ecx 覆盖。在 C 中，发布的序列可以写为

if ((ECX-EDI)/6 > 0) { ... } else ("jle") { ... }.

Answer 2

代码是优化除法的一种形式，代码中使用的常量是Wagstaff prime，

Answer 3

我认为它正在检查未知用途的计算是否溢出。

sub  ecx,edi       ; ecx = ??? no idea where these come from or what they mean

sar  edx,1         ; edx changed but value is lost, as are flags, no idea why this is done

mov  eax,2AAAAAABh ; eax = 715827883, no idea why this number is important
imul ecx           ; edx:eax = (original ecx-edi) * 715827883

mov  eax,edx       ; eax = high-dword of product
shr  eax,31        ; eax = high-bit of high-dword of product
add  eax,edx       ; eax = high-dword of product + high-bit of high-dword of product
                   ; assuming 0 <= ecx < ~10, eax will be zero if the result did not carry into edx
                   ; assuming ~-10 < ecx < 0, eax will be zero if the result did not carry into edx
                   ; therefore, |ecx|<~10, eax = overflow-from-multiplication

test eax,eax 
jle ...            ; taken if eax=0 or SF=OF

我不确定“符号标志 = 溢出标志”部分的意义是什么。 ecx 值较小时可能不会发生。