前导0预测（Leading-Zero Anticipator，LZA）

前导0预测（Leading-Zero Anticipator，LZA）

浮点加法在完成之后会进行尾数规格化移位，而在进行尾数加法时，可以使用前导0预测（Leading-Zero Anticipator，LZA）同时计算移位，前导0预测只发生在一个正数加上一个负数的情况下，电路图如图1所示。

图1 传统LZD算法和LZA算法

1. 基础算法

算法的目标是计算出加法结果序列左边连续0的数量，下文中对序列的位置的索引值是从高位开始到低位的，假设输入尾数为$A=a_0{a}_1\cdots a_{n-1}$和$B=b_0{b}_1\cdots b_{n-1}$，首先需要对$A$和$B$进行有效位减法：
R = A − B , R = r 0 r 1 ⋯ r n − 1 , r i ∈ { n , z , p } R = A - B, \quad R = r_0 r_1 \cdots r_{n-1}, \quad r_i \in \{ n, z, p \} R=A−B,R=r0​r1​⋯rn−1​,ri​∈{n,z,p}
其中$n$、$z$、$p$代表负（negative）、零（zero）、正（positive），下面分情况讨论。首先考虑$3$种情况：$A>B$、$A=B$、$A<B$。

1.1 $A>B$的情况

这种情况下序列$R$中的第一个不为$z$的值一定是$p$，$R$的序列形式为$z^{(k)}p(x)$，接下来也要分$3$种情况来讨论：

1. $z^{(k)}pp(x)$的情况 这种情况下即使$x$为负，也无法影响序列中$k+1$位的$p$，因此前导共有$k$个$0$；
2. $z^{(k)}pz(x)$的情况 此时若$x$为负需要向前借位，则借位之后第一个$p$出现在$k+2$的位置，若$x$不需要借位，则第一个$p$仍在$k+1$位置，但是检测$R$的码型无法确定第一个$p$的位置，因此先假设第一个$p$在$k+1$的位置，之后进行纠错；
3. $z^{(k)}p{n}^{(j)}(zorp)(x)$的情况 其中$n$的长度为$j$，将前面$k+j+1$位借位化简，则得到$\underset{k+j}{\underbrace{z\cdots z\cdots z}}p(zorp)(x)$，那么序列中首个$p$出现在$k+j+1$或者$k+j+2$的位置，原因与情况$2$相同；

在$A>B$时总结出的情况如下表所示：

$R$的序列码	首个$p$位置	判断子序列
$z^{(k)}pp(x)$	k+1	$pp$
$z^{(k)}pz(x)$（$x$不需要借位）	k+1	$pz$
$z^{(k)}p{z}^{(j)}(x)$（$x$需要借位）	k+2	$pz$（需要纠错）
$z^{(k)}p{n}^{(j)}p(x)$	k+j+1	$np$
$z^{(k)}p{n}^{(j)}z(x)$ （$x$不需要借位）	k+j+1	$nz$
$z^{(k)}p{n}^{(j)}z(x)$ （$x$需要借位）	k+j+2	$nz$（需要纠错）

1.2 $A<B$的情况

这种情况下序列$R$中的第一个不为$z$的值一定是$n$，$R$的序列形式为$z^{(k)}n(x)$，为了方便讨论，以下会对$R$的相反数$\bar{R}$进行分析，也就是对$z^{(k)}p(y),y=-x$进行分析：

1. $z^{(k)}nn(x)$的情况 与上节分析相同，$\bar{R}=z^{(k)}pp(x)$，首个$p$出现在$k+1$的位置，由子序列$nn$（$k+1$位和$k+2$位）决定；
2. $z^{(k)}nz(x)$的情况 对应$\bar{R}$为$z^{(k)}pz(y)$，若子序列$(y)$不需要借位，则$\bar{R}$的第一个$p$出现在$k+1$位，若序列$(y)$需要向前借位，那么借位由$k+1$位产生，$\bar{R}$所表示的加法结果序列的第一个$p$在$k+2$位。同理若子序列$(x)$为负需要向前借位（或者为$z$），$R$的第一个$n$出现在$k+1$位，若子序列$(x)$为正，则第一个$p$出现在$k+2$位。这种情况下会先假设$p$在$k+1$位之后进行纠错；
3. $z^{(k)}n{p}^{(j)}(zorn)(x)$的情况 这种情况化简之后得到$R=\underset{k+j}{\underbrace{z\cdots z\cdots z}}n(zorn)(x)$，那么$R$中的首个$n$出现在$k+j+1$或$k+j+2$位，还是假设$n$出现在$k+j+1$，随后进行纠错。

$A<B$的情况如下表所示：

$R$的序列码	首个$n$位置	判断子序列
$z^{(k)}nn(x)$	k+1	$nn$
$z^{(k)}nz(x)$（$x$不需要借位）	k+1	$nz$
$z^{(k)}n{z}^{(j)}(x)$（$x$需要借位）	k+2	$nz$（需要纠错）
$z^{(k)}n{p}^{(j)}n(x)$	k+j+1	$np$
$z^{(k)}n{p}^{(j)}z(x)$ （$x$不需要借位）	k+j+1	$nz$
$z^{(k)}n{p}^{(j)}z(x)$ （$x$需要借位）	k+j+1	$nz$（需要纠错）

3. $A=B$的情况

不需要编码移位。