c# - 划分/移动 assembly 差异

Question

早上好，下午好，还是晚上好，

在查看关闭“抑制 JIT 优化 (...)”选项的调试构建的汇编代码后，我注意到以下奇怪的行为(bitCount 是 ulong):

          int BitQuotient = (int)(bitCount / 32);

00000110  push        dword ptr [ebp+0Ch] 
00000113  push        dword ptr [ebp+8] 
00000116  push        0 
00000118  push        20h 
0000011a  call        738EF4D5 
0000011f  mov         dword ptr [ebp-44h],eax 

相对于

          int BitQuotient = (int)(bitCount >> 5);

00000110  mov         eax,dword ptr [ebp+8] 
00000113  mov         edx,dword ptr [ebp+0Ch] 
00000116  shrd        eax,edx,5 
0000011a  shr         edx,5 
0000011d  mov         dword ptr [ebp-44h],eax 

为什么组装会有这么大的差异？编译器难道不应该检测到除以 32 与右移 5 相同并替换代码吗？另外，call 指令在第一段代码中做了什么？我怀疑这与应用于非 native ulong 的运算符 / 有关，但这也意味着编译器不会内联此类运算符？

编辑:看看 int BitRemainder = (int)(bitCount % 32) 而不是 int BitRemainder = (int)(bitCount & 31 ):

00000120  mov         eax,dword ptr [ebp+8] 
00000123  mov         edx,dword ptr [ebp+0Ch] 
00000126  mov         ecx,20h 
0000012b  cmp         edx,ecx 
0000012d  jb          00000139 
0000012f  mov         ebx,eax 
00000131  mov         eax,edx 
00000133  xor         edx,edx 
00000135  div         eax,ecx 
00000137  mov         eax,ebx 
00000139  div         eax,ecx 
0000013b  mov         eax,edx 
0000013d  xor         edx,edx 
0000013f  mov         dword ptr [ebp-48h],eax 

和

00000120  mov         eax,dword ptr [ebp+8] 
00000123  and         eax,1Fh 
00000126  mov         dword ptr [ebp-48h],eax 

非常感谢。

Answer 1

第一个片段中的代码执行 64 位除法。 x86 抖动不会为该内联生成机器代码，它会太多。它依赖于名为 JIT_ULDiv 的辅助函数。这是针对抖动或 C 编译器的常见策略。您可以在 SSCLI20 源代码 clr/src/vm/jithelpers.cpp 源代码文件中看到抖动可以使用的辅助函数类型。 long 和 ulong 算术的辅助函数位于文件顶部。

第二个代码片段执行 32 位除法，只需要很少的机器代码指令就可以内联生成。将除法转换为移位是一个简单的优化。