如何从汇编代码反向工程C整数类型？

Question

考虑以下C函数原型，其中num_t是使用typedef声明的数据类型：

void store_prod(num_t *dest, unsigned x, num_t y) {
 *dest = x*y;
}

gcc生成以下实现计算主体的汇编代码： num_t是什么数据类型？

正确的答案是num_t很unsigned long long都没有unsigned long long但我真的不明白为什么，任何帮助将不胜感激！

# dest  at %ebp +8, x at %ebp +12, y at %ebp +16
movl  12(%ebp), %eax
movl  20(%ebp), %ecx
imull %eax, %ecx
mull  16(%ebp)
leal  (%ecx,%edx), %edx
movl  8(%ebp), %ecx
movl  %eax, (%ecx)
movl  %edx, 4(%ecx)

Answer 1

从使用(%ebp)寻址模式可以看出，这是32位代码，而不是x86-64。

在32位模式下， unsigned long long是任何常见ABI中唯一的64位无符号整数类型。 （例如，在Linux上使用的i386 System V ABI）。 long是32位。

我们可以说num_t是64位整数类型，因为根据整数乘法和加法的结果，它存储在两个32位的一半中。

我们可以说这是一个unsigned整数类型，因为gcc在x和y的imul之间使用mul而不是imul 。 （2-operand imul %eax, %ecx将x与y的上半部分相乘的imul %eax, %ecx是有符号或无符号的相同二进制运算：只有全数（N x N => 2N位）才关心符号性。）

IDK为什么gcc会使用leal (%ecx,%edx), %edx而不是add %ecx, %edx 。 也许您使用-mtune=atom编译？ 不需要保留标志。

无论如何，这是一个普通的64 x 32 => 64位扩展精度乘法。

---

这是C，而不是C ++，因此也可以排除使用重载*运算符包装64位整数的类。

我们可以排除FP类型，因为那会使用FP乘法。