简单的main方法调用一个加减法函数背后的细节

测试程序

/*
 * AddTest.c
 *
 *  Created on: 2019年10月13日
 *      Author: appweb
 */
#include <stdio.h>

int add(int a, int b) {
	int c = addAgain(a, b);
	return c;
}

int addAgain(int a, int b) {
	int c = a + b;
	return c;
}

int sub(int a, int b) {
	int c = a - b;
	return c;
}

int main() {
	int s = add(5, 3);
	int d = sub(5, 3);
	return 0;
}

makefile

PROJECT_ROOT = $(dir $(abspath $(lastword $(MAKEFILE_LIST))))

OBJS = AddTest.o

# 如果在命令行直接执行make 需要export BUILD_MODE=debug 或者run
ifeq ($(BUILD_MODE),debug)
	CFLAGS += -g
else ifeq ($(BUILD_MODE),run)
	CFLAGS += -O2
else
	$(error Build mode $(BUILD_MODE) not supported by this Makefile)
endif

all:	InvokeFunction

# $@ 表示规则中的目标文件集。在模式规则中，如果有多个目标，那么，"$@"就是匹配于目标中模式定义的集合。
# $^ 所有的依赖目标的集合。以空格分隔。如果在依赖目标中有多个重复的，那个这个变量会去除重复的依赖目标，只保留一份。
# $< 依赖目标中的第一个目标名字。如果依赖目标是以模式（即"%"）定义的，那么"$<"将是符合模式的一系列的文件集。注意，其是一个一个取出来的。
# $? 所有比目标新的依赖目标的集合。以空格分隔。

# 输出变量可以使用如下办法
$(info $$OBJS is [${OBJS}])
$(info $$(CXX) is [$(CXX)])
$(info $$(PROJECT_ROOT) is [$(PROJECT_ROOT)])

AddTest:	$(OBJS)
	$(CXX) -o $@ $^

%.o:	$(PROJECT_ROOT)src/%.c
	$(CXX) -c $(CFLAGS) $(CXXFLAGS) $(CPPFLAGS) -o $@ $<


clean:
	rm -fr AddTest $(OBJS)

一如既往的使用CDT，寄存器监视(我需要观察的几个)、内存监视、反编译的汇编指令窗口弄在一起，调试起来真是方便
打包好的工程

先编译下然后开始调试并观察

开始调试

添加寄存器监视

添加内存监视

启用指令单步调试

rsp是栈顶，rbp是栈底，大小及栈分配的生长方向如下：

                     栈分配生长方向
     <-------------------------------------+
                      rsp 栈顶           rbp 栈底
     +------------------+------------------+
     |                  |                  |
     |                  |                  |
     +------------------+------------------+
内存低位地址                                 内存高位地址

现在rsp是0xfffffffd750，执行完下图的

00000000000004195598:   mov     %rsp,%rbp
00000000000004195601:   sub     $0x10,%rsp

这两条汇编指令后，rbp是0xfffffffd750，rsp是0xfffffffd740，这就是函数栈帧空间分配

在执行完callq与push指令之后，栈顶再往前的内存(就是紧靠着栈顶比栈顶还小的内存)会发生变化，看图中内存监视器红色部分，按有些书上说法此处是保存了rip和rbp，但是我没能太理解，看数值不怎么能对上

注意看进入addAagin方法后，并不是像某些书上说的会分配函数栈帧控空间，我猜测是编译器做了优化吧，因为addAagin方法不再调用其他方法了。
看了R大的文章，这种函数应该是叶函数，叶函数是不调用别的函数的函数。

00000000000004195547:   mov     %edi,-0x14(%rbp)
00000000000004195550:   mov     %esi,-0x18(%rbp)

看上图，从edi和esi集群器向相对于rbp(栈底)偏移(负偏移)的内存传数据，这个称之为压栈
不过有些书上讲的是向相对rsp(栈顶)偏移(正偏移)的内存传数据，我理解成一个意思，不过是内存定位的方式不同罢了