C#64位版本代码的反汇编视图比32位调试代码长75%?

时间:2012-09-12 22:41:15

标签: c# assembly compiler-construction visual-studio-2012 disassembly

修改

我测试了32位的版本,代码很紧凑。因此,下面是64位问题。


我正在使用VS 2012 RC。调试是32位,Release是64位。下面是调试然后发布一行代码的反汇编:

         crc = (crc >> 8) ^ crcTable[((val & 0x0000ff00) >> 8) ^ crc & 0xff];
0000006f  mov         eax,dword ptr [ebp-40h] 
00000072  shr         eax,8 
00000075  mov         edx,dword ptr [ebp-3Ch] 
00000078  mov         ecx,0FF00h 
0000007d  and         edx,ecx 
0000007f  shr         edx,8 
00000082  mov         ecx,dword ptr [ebp-40h] 
00000085  mov         ebx,0FFh 
0000008a  and         ecx,ebx 
0000008c  xor         edx,ecx 
0000008e  mov         ecx,dword ptr ds:[03387F38h] 
00000094  cmp         edx,dword ptr [ecx+4] 
00000097  jb          0000009E 
00000099  call        6F54F5EC 
0000009e  xor         eax,dword ptr [ecx+edx*4+8] 
000000a2  mov         dword ptr [ebp-40h],eax
-----------------------------------------------------------------------------
         crc = (crc >> 8) ^ crcTable[((val & 0x0000ff00) >> 8) ^ crc & 0xff];
000000a5  mov         eax,dword ptr [rsp+20h] 
000000a9  shr         eax,8 
000000ac  mov         dword ptr [rsp+38h],eax 
000000b0  mov         rdx,124DEE68h 
000000ba  mov         rdx,qword ptr [rdx] 
000000bd  mov         eax,dword ptr [rsp+00000090h] 
000000c4  and         eax,0FF00h 
000000c9  shr         eax,8 
000000cc  mov         ecx,dword ptr [rsp+20h] 
000000d0  and         ecx,0FFh 
000000d6  xor         eax,ecx 
000000d8  mov         ecx,eax 
000000da  mov         qword ptr [rsp+40h],rdx 
000000df  mov         rax,qword ptr [rsp+40h] 
000000e4  mov         rax,qword ptr [rax+8] 
000000e8  mov         qword ptr [rsp+48h],rcx 
000000ed  cmp         qword ptr [rsp+48h],rax 
000000f2  jae         0000000000000100 
000000f4  mov         rax,qword ptr [rsp+48h] 
000000f9  mov         qword ptr [rsp+48h],rax 
000000fe  jmp         0000000000000105 
00000100  call        000000005FA5D364 
00000105  mov         rax,qword ptr [rsp+40h] 
0000010a  mov         rcx,qword ptr [rsp+48h] 
0000010f  mov         ecx,dword ptr [rax+rcx*4+10h] 
00000113  mov         eax,dword ptr [rsp+38h] 
00000117  xor         eax,ecx 
00000119  mov         dword ptr [rsp+20h],eax

64位版本中的所有额外代码是做什么的?它正在测试什么?我没有对此进行基准测试,但32位代码应该执行得更快。

修改

整个功能:

public static uint CRC32(uint val)
{
    uint crc = 0xffffffff;

    crc = (crc >> 8) ^ crcTable[(val & 0x000000ff) ^ crc & 0xff];
    crc = (crc >> 8) ^ crcTable[((val & 0x0000ff00) >> 8) ^ crc & 0xff];
    crc = (crc >> 8) ^ crcTable[((val & 0x00ff0000) >> 16) ^ crc & 0xff];
    crc = (crc >> 8) ^ crcTable[(val >> 24) ^ crc & 0xff];

    // flip bits
    return (crc ^ 0xffffffff);
}

3 个答案:

答案 0 :(得分:8)

我怀疑你正在使用"去反汇编"在调试发布版本时获取汇编代码。

转到工具后 - >选项,调试,常规和禁用"抑制模块负载的JIT优化"我有一个x64汇编列表,没有错误检查。

默认情况下,即使在发布模式下,如果附加调试器,代码也不会优化。在尝试对代码进行基准测试时请记住这一点。

PS:基准测试显示x64比x86快一点,对于10亿次函数调用,显示4.3比4.8秒。

编辑:断点对我来说仍然有效,否则我在取消选中后无法看到反汇编。您上面的示例行看起来像这样(VS 2012 RC):

crc = (crc >> 8) ^ crcTable[((val & 0x0000ff00) >> 8) ^ crc & 0xff];
00000030  mov         r11d,eax 
00000033  shr         r11d,8 
00000037  mov         ecx,edx 
00000039  and         ecx,0FF00h 
0000003f  shr         ecx,8 
00000042  movzx       eax,al 
00000045  xor         ecx,eax 
00000047  mov         eax,ecx 
00000049  cmp         rax,r9 
0000004c  jae         00000000000000A4 
0000004e  mov         eax,dword ptr [r8+rax*4+10h] 
00000053  xor         r11d,eax 

答案 1 :(得分:1)

查看代码,这与访问crcTable的错误检查有关。它在开始挖掘数组之前就已经开始了。

在32位代码中,您会看到此

0000008e  mov         ecx,dword ptr ds:[03387F38h] 
....
0000009e  xor         eax,dword ptr [ecx+edx*4+8] 

在这种情况下,它从03387F38h加载数组的基址,然后使用标准指针算法来访问正确的条目。

在64位代码中,这似乎更复杂。

000000b0  mov         rdx,124DEE68h 
000000ba  mov         rdx,qword ptr [rdx]

这会将地址加载到rdx寄存器

000000da  mov         qword ptr [rsp+40h],rdx 
...
00000105  mov         rax,qword ptr [rsp+40h] 
0000010a  mov         rcx,qword ptr [rsp+48h] 
0000010f  mov         ecx,dword ptr [rax+rcx*4+10h] 

这会将地址移到堆栈上,然后再将其移入rax寄存器并执行相同的指针来访问数组。

000000da和00000100/00000105之间的所有内容似乎都是验证码。其余的代码在64位和32位代码之间很好地映射,在64位代码中有一些不太激进的寄存器利用率。

答案 2 :(得分:0)

exp ^ crc& 0xff编译为exp ^(cr& 0xff):

00000082  mov         ecx,dword ptr [ebp-40h]  
00000085  mov         ebx,0FFh  
0000008a  and         ecx,ebx  
0000008c  xor         edx,ecx  

你应该把表达式写成?

(exp ^ crc) & 0xff

64位版本肯定不如32位版本优化。 CLR有两个单独的JIT编译器实现。

另外,如果perf是关键的,请使用不安全的代码来删除边界检查。