目录
一. 汇编源码
二. 汇编分析
1. ECX寄存器
2. 栈位置计算
3. 特殊指令深度解析
三、 汇编转化
single_int_param:
0000000000000040: 89 4C 24 08 mov dword ptr [rsp+8],ecx
0000000000000044: 57 push rdi
0000000000000045: 8B 44 24 10 mov eax,dword ptr [rsp+10h]
0000000000000049: 8D 44 00 01 lea eax,[rax+rax+1]
000000000000004D: 5F pop rdi
000000000000004E: C3 ret
000000000000004F: CC int 3
0000000000000050: CC int 3
0000000000000051: CC int 3
0000000000000052: CC int 3
0000000000000053: CC int 3
0000000000000054: CC int 3
0000000000000055: CC int 3
0000000000000056: CC int 3
0000000000000057: CC int 3
0000000000000058: CC int 3
0000000000000059: CC int 3
000000000000005A: CC int 3
000000000000005B: CC int 3
000000000000005C: CC int 3
000000000000005D: CC int 3
000000000000005E: CC int 3
000000000000005F: CC int 3
第一行
mov dword ptr [rsp+8],ecx
出现了一个新的寄存器ECX
ECX是32位寄存器,其低16位称为CX,CX可进一步拆分为高8位CH和低8位CL
例如:若ECX=0x11223344
,则CX=0x3344
,CH=0x33
,CL=0x44
分层设计支持灵活处理不同精度的数据操作
在Windows的fastcall调用约定中,ECX常作为函数的第一个整型参数传递寄存器
这个语句的意思就是将函数的第一个参数,存入栈顶地址偏移8个字节的位置,读取的是一个32位数,即代表一个整型
PS: 注意ECX保存的是第一个整型的参数,如果第一个参数非整型,则不是再EXC寄存器
第一行mov dword ptr [rsp+8],ecx 将第一个参数放到[rsp+8的位置]
第三行 mov eax,dword ptr [rsp+10h]为什么是操作地址rsp+0x10呢?
这里就涉及到了push rdi之后RSP的地址的变化
初始状态:
RSP = 0x1000 [RSP+8] = 参数值
执行 push rdi 后:
RSP = 0x1000 - 8 = 0x0FF8
参数位置变为: 0x1000 + 8 = 0x1008 → [RSP+0x10]
lea eax, [rax+rax+1]
(高效计算)
输入: EAX = n
操作: [n + n + 1] = 2n + 1
输出: EAX = 2n + 1
add eax, eax
+ inc eax
更高效根据以上汇编分析得到注释
single_int_param:
0000000000000040: 89 4C 24 08 mov dword ptr [rsp+8],ecx ; 保存参数到栈
0000000000000044: 57 push rdi ; 保存 RDI
0000000000000045: 8B 44 24 10 mov eax,dword ptr [rsp+10h] ; 加载参数到 EAX
0000000000000049: 8D 44 00 01 lea eax,[rax+rax+1] ; 计算 2*EAX + 1
000000000000004D: 5F pop rdi ; 恢复 RDI
000000000000004E: C3 ret ; 返回结果
000000000000004F: CC int 3 ; 调试断点(填充)
...(更多填充)
转华为C语言:
int single_int_param(int param) {
// 计算 2*param + 1
int result = 2 * param + 1;
return result;
}