通过汇编理解存储程序计算机和函数调用框架

        通过对一个简单的c语言程序的汇编代码来理解函数调用框架：

涉及到的寄存器：

rsp : 栈指针寄存器，指向栈顶
rbp : 栈基址寄存器，指向栈底
ecx : 函数参数
eax : 累加器或函数返回值用

 

         将该程序转换成汇编代码：

 

         代码中以 . 开头的代码行属于链接时使用的辅助信息，在实际中不会执行，可以将其删除提高代码阅读性：

 

         在main函数中，pushq与movq语句分别将%rbq压栈(%rsp++)、%rbp指向%rsp；subq12行将%rsp减去48，相当于为程序预留48个字节空间；13行call _main正式开始程序代码执行，定义了3个变量；14-16行分别将其存入%rbp-4、%rbp-8、%rbp-12中；17行将变量a的值存入累加寄存器eax中；18行将%eax作为函数参数传入%ecx；19行call func调用func执行；转到2行，pushq与movq语句分别将%rbq压栈(%rsp++)、%rbp指向%rsp；4行用%rbp+16的地址接收%ecx传参寄存器的值；5行将%rbp+16的值赋给%eax；6行将%eax+1；7行执行退栈操作，将%rbp指向以%rsp指向的值为地址的空间；8行ret返回到20行执行（之前的call func存放了返回信息），用%rbp-16存放func的返回值%eax（相当于开辟空间定义变量b）；21行空指令；22行将之前分配的栈空间释放；23行退栈，将%rbp恢复到初始状态。

        下面是整个过程的栈的使用过程，为简便地址计算，将栈转换成了低地址向高地址扩展：

 

第一次写文章，若有错误请大佬指出。