optimization - 在汇编器中添加两个 32 位整数以供在 VB6 中使用

Question

我想为 Windows 机器提供汇编程序(汇编？)中的字节代码，以添加两个 32 位长整型并丢弃进位位。我意识到“Windows 机器”部分有点模糊，但我假设 ADD 的字节在所有现代 Intel 指令集中几乎相同。

我只是想稍微滥用一下 VB，让一些事情变得更快。因此，作为在 VB 中运行直接汇编的示例，十六进制字符串 "8A4C240833C0F6C1E075068B442404D3E0C20800" 是 SHL 的汇编代码，可以是 "injected" into a VB6 program对于需要两个 Long 参数的快速 SHL 操作(这里我们忽略了 VB6 中的 32 位 long 是有符号的，只是假装它们是无符号的)。

沿着同样的思路，表示汇编指令的十六进制字节串是什么，这些指令将执行相同的操作以返回两个 32 位无符号整数的和？

根据作者的说法，上面的 SHL 的十六进制代码是:

mov eax, [esp+4]
mov cl, [esp+8]
shl eax, cl
ret 8

我将这些字节吐到一个文件中，并尝试使用旧的调试实用程序在 Windows 命令提示符中反汇编它们，但我发现它不适用于较新的指令集，因为它不喜欢 EAX 当我尝试组装一些东西但它对 AX 很满意时。

我从源代码中的注释中知道SHL EAX, CL是D3E0，但是我没有任何引用来知道指令的字节是什么ADD EAX, CL 或者我会尝试一下。 (虽然我现在知道操作数必须具有相同的大小。)

我试过flat assembler我没有得到任何我能弄清楚如何使用的东西。我用它来汇编原始的 SHL 代码，并得到了非常不同的结果，而不是相同的字节。帮忙？

Answer 1

我反汇编了您提供的字节并得到了以下代码:

(__TEXT,__text) section
f:
00000000    movb    0x08(%esp),%cl
00000004    xorl    %eax,%eax
00000006    testb   $0xe0,%cl
00000009    jne     0x00000011
0000000b    movl    0x04(%esp),%eax
0000000f    shll    %cl,%eax
00000011    retl    $0x0008

这肯定比作者提供的源代码更复杂。例如，它会检查第二个操作数是否太大，这根本不在您显示的代码中(有关更完整的分析，请参阅下面的编辑 2)。这是一个简单的 stdcall 函数，它将两个参数相加并返回结果:

mov  4(%esp), %eax
add  8(%esp), %eax
ret  $8

组装后得到以下输出:

(__TEXT,__text) section
00000000 8b 44 24 04 03 44 24 08 c2 08 00 

我希望这些字节能够完成您想要的操作!

编辑:也许更有用，我只是在 C: 中做了同样的事情

__attribute__((__stdcall__))
int f(int a, int b) 
{
  return a + b;
}

使用 -Oz 和 -fomit-frame-pointer 编译，它生成完全相同的代码(无论如何，功能上是等效的):

$ gcc -arch i386 -fomit-frame-pointer -Oz -c -o example.o example.c
$ otool -tv example.o
example.o:
(__TEXT,__text) section
_f:
00000000    movl    0x08(%esp),%eax
00000004    addl    0x04(%esp),%eax
00000008    retl    $0x0008

机器码输出:

$ otool -t example.o
example.o:
(__TEXT,__text) section
00000000 8b 44 24 08 03 44 24 04 c2 08 00 

当然胜过手写汇编代码!

编辑2:

@ErikE 在下面的评论中询问如果尝试进行 32 位或更多位的移位会发生什么。该答案顶部的反汇编代码(对于原始问题中提供的字节)可以由以下高级代码表示:

unsigned int shift_left(unsigned int a, unsigned char b)
{
    if (b > 32)
        return 0;
    else
        return a << b;
}

从这个逻辑很容易看出，如果您将大于 32 的值作为第二个参数传递给 shift 函数，您只会得到 0 返回。