Добавьте два 32-битных целых числа на ассемблере для использования в VB6.

Я разобрал предоставленные вами байты и получил следующий код:

(__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 в качестве второго параметра функции сдвига, вы просто получите обратно 0.