diff options
| author | Iru Cai <mytbk920423@gmail.com> | 2019-05-30 13:10:26 +0800 |
|---|---|---|
| committer | Iru Cai <mytbk920423@gmail.com> | 2019-05-30 13:10:26 +0800 |
| commit | c49b9ff95bb834327da52a0589171ce828a719fb (patch) | |
| tree | 0cd6389cd4e478aa13ab3591c03d4b5237544111 | |
| parent | ca4d6122f2f9183465e3b86d2c2ed294a40492d0 (diff) | |
| download | dissertation-c49b9ff95bb834327da52a0589171ce828a719fb.tar.xz | |
itemize->enumerate
| -rw-r--r-- | chap/chap4.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/chap/chap4.tex b/chap/chap4.tex index 1d6c758..1b1f71e 100644 --- a/chap/chap4.tex +++ b/chap/chap4.tex @@ -122,7 +122,7 @@ lea rdx, {[}rip + 0x2b425d{]} & rdx <- rip + 0x2b425d & T{[}rdx{]} <- T{[}rip{]} 如直接从寄存器中读取的数据，标记均为0。对于不同类型的指令，标记传播的 方式如下： -\begin{itemize} +\begin{enumerate} \item 对于算术类指令，它的源操作数均为寄存器操作数或立即数操作数，计算 结果的标记设为所有源寄存器操作数对应的数据的标记做或运算的结果。 \item 对于装载类指令，它从内存中读取数据，这是标记设置的基本条件，因此 @@ -134,7 +134,7 @@ lea rdx, {[}rip + 0x2b425d{]} & rdx <- rip + 0x2b425d & T{[}rdx{]} <- T{[}rip{]} \item 对于控制类指令，我们为每个指令添加一位标记，如果源操作数中有标记 为1的指令，则设置这个指令的标记为1，否则设置为0.控制指令标记的功能将在 下文描述。 -\end{itemize} +\end{enumerate} 标记的清除：当一条指令不再处于推测式执行的状态，即该指令此前的所有分支 都执行完成并通过验证，则要将这条指令所有产生的结果的标记重置为0.对于控 |