本文介绍了如何在MachineProg中进行地址计算，特别关注了%rax寄存器和浮点数正无穷的应用。此外，详细讲解了控制标志（CF, SF, OF, ZF）及其在算术指令中的行为，包括隐式和显式设置的情况，以及使用testq指令和set指令的例子。还探讨了简化指令以减少branch prediction，并通过switch和jmp语句展示了控制流程的处理技巧。
Machine Prog
Basics
计算地址
%rax 返回寄存器 %rdi 第一个参数寄存器
0x7f800000 浮点数正无穷
Control
上次的内容：Move 和 Arithmetic 指令
CF ：carry flag
SF ：sign flag
OF ：overflow flag
ZF ：zero flag
Arithmetic 指令非显式设置
都不会被 leaq 改变状态
显式设置：
testq %rax，%rax
Set指令之将最低1字节改变，另外7个bytes不变
小例子：
减少branch prediction的方案：将指令减为一条可直接进入流水线
简化后的例子：
练习：
switch语句：
ja：default跳转
jmp：寻找jump table中的index
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
