在评论中 this answer (为了提高性能,建议在整数乘法/除法上使用位移位运算符),我询问这是否会更快。在我的脑海里有一个想法 一些 水平,有足够聪明的东西可以解决这个问题 >> 1 和 / 2 是相同的操作。然而,我现在想知道这是否是真的,如果是真的,在什么程度上发生。

测试程序生成以下比较CIL(与 optimize on)对于分别划分和移动其参数的两种方法:

  IL_0000:  ldarg.0
  IL_0001:  ldc.i4.2
  IL_0002:  div
  IL_0003:  ret
} // end of method Program::Divider

对战

  IL_0000:  ldarg.0
  IL_0001:  ldc.i4.1
  IL_0002:  shr
  IL_0003:  ret
} // end of method Program::Shifter

所以C编译器正在发出 div 或 shr 指示,而不是聪明。我现在想看看抖动产生的实际x86汇编程序,但我不知道如何做到这一点。有可能吗?

编辑 添加

调查结果

感谢您的回答,已接受NoBugz提供的答案,因为它包含有关该调试器选项的关键信息。最终对我起作用的是:

• 切换到释放配置
• 在 Tools | Options | Debugger ,关闭“抑制模块加载时的JIT优化”(即我们希望 允许 JIT优化)
• 在同一个地方,关闭“仅启用我的代码”(即我们要调试 全部的 代码)
• 放一个 Debugger.Break() 在某处发表声明
• 生成程序集
• 运行.exe,当它中断时,使用现有的vs实例进行调试
• 现在,反汇编窗口显示将要执行的实际x86

结果很有启发性,至少可以这么说——事实证明,抖动实际上可以做算术!以下是从反汇编窗口编辑的示例。各种各样 -Shifter 方法除以两次幂使用 >> 各种 -Divider 方法用整数除 /

 Console.WriteLine(string.Format("
     {0} 
     shift-divided by 2: {1} 
     divide-divided by 2: {2}", 
     60, TwoShifter(60), TwoDivider(60)));

00000026  mov         dword ptr [edx+4],3Ch 
...
0000003b  mov         dword ptr [edx+4],1Eh 
...
00000057  mov         dword ptr [esi+4],1Eh 

两种静态除2方法都是内联的,但实际计算都是由抖动完成的。

Console.WriteLine(string.Format("
    {0} 
    divide-divided by 3: {1}", 
    60, ThreeDivider(60)));

00000085  mov         dword ptr [esi+4],3Ch 
...
000000a0  mov         dword ptr [esi+4],14h 

与静态除以3相同。

Console.WriteLine(string.Format("
    {0} 
    shift-divided by 4: {1} 
    divide-divided by 4 {2}", 
    60, FourShifter(60), FourDivider(60)));

000000ce  mov         dword ptr [esi+4],3Ch 
...
000000e3  mov         dword ptr [edx+4],0Fh 
...
000000ff  mov         dword ptr [esi+4],0Fh 

静态除以4。

最好的:

Console.WriteLine(string.Format("
    {0} 
    n-divided by 2: {1} 
    n-divided by 3: {2} 
    n-divided by 4: {3}", 
    60, Divider(60, 2), Divider(60, 3), Divider(60, 4)));

0000013e  mov         dword ptr [esi+4],3Ch 
...
0000015b  mov         dword ptr [esi+4],1Eh 
...
0000017b  mov         dword ptr [esi+4],14h 
...
0000019b  mov         dword ptr [edi+4],0Fh 

它是内联的,然后计算所有这些静态分区!

但是如果结果不是静态的呢?我添加到代码以从控制台读取整数。这就是它为各部门所产生的:

Console.WriteLine(string.Format("
    {0} 
    shift-divided by 2:  {1} 
    divide-divided by 2: {2}", 
    i, TwoShifter(i), TwoDivider(i)));

00000211  sar         eax,1 
...
00000230  sar         eax,1 

所以尽管CIL是不同的,抖动知道除以2就是右移乘以1。

Console.WriteLine(string.Format("
    {0} 
    divide-divided by 3: {1}", i, ThreeDivider(i)));

00000283 IDIV EAX和ECX

它知道你必须除以3。

Console.WriteLine(string.Format("
    {0} 
    shift-divided by 4: {1} 
    divide-divided by 4 {2}", 
    i, FourShifter(i), FourDivider(i)));

000002c5  sar         eax,2 
...
000002ec  sar         eax,2 

它知道除以4就是右移乘以2。

最后(又是最好的!)

Console.WriteLine(string.Format("
    {0} 
    n-divided by 2: {1} 
    n-divided by 3: {2} 
    n-divided by 4: {3}", 
    i, Divider(i, 2), Divider(i, 3), Divider(i, 4)));

00000345  sar         eax,1 
...
00000370  idiv        eax,ecx 
...
00000395  sar         esi,2 

它在静态可用参数的基础上嵌入了该方法,并找到了最佳的处理方法。很好。

是的,在C和x86之间的堆栈中,有一些 是 聪明到可以解决这个问题 >>一 和 2 都一样。所有这一切在我的头脑中给予了更大的分量,我认为把C编译器、抖动和clr加在一起会使 更聪明 比我们作为普通应用程序程序员所能尝试的任何小窍门都重要:)