CSAPP 学习随笔(6)：machine-control

条件码

• 注意cmp实际上做减运算，后减前；

Loop循环结构

1. do-while：

do {
	body;
} while(test);

等价于

Loop:
	body;
	t = test;
	if (t) goto Loop;

2. while：

while (test) {
	body;
}

如果开启-O2优化，采用Jump-to-middle翻译方法，即判断在后面，先跳到末尾进行判断，再返回中间执行整体；

	goto test;
Loop:
	body;

test:
	t = test;
	if (t) goto Loop;

如果开启-O1优化，采用Guarded-do翻译方法，先进行判断，然后转换为do-while循环；

t = test;
if (!t) goto END;
Loop:
	body;
	t = test;
	if (t) goto Loop:
END;

3. for：

for (init; test; update) {
	body;
}

转化为while循环：

init;
while (test) {
	body;
	update;
}

写成goto形式：

init;
t = test;
Loop:
	body;
	update;
	if (t) goto Loop;
END;

Switch分支结构

• 并非if，通过跳转表来实现，每一个分支被视为一个代码块，代码块的开头的地址被存放在跳转表中；

my_switch:
	movq %rax, %rcx
	cmpq $6, %rdi // x : 6
	ja .L8 // if x > 6, goto default;
	jmp *.L4(,%rdi, 8) // *(.L4 + x * 8)的地址上的值，即间接跳转，先计算出跳转表上的索引位置，跳转到该索引上的值处；