如何做符号的反义扩展从一个16位寄存器到一个8位寄存器？

Question

我正在使用x86汇编，我已经开始使用MUL指令了。

以前是这个我的代码片断：

mov al, <some_number> 
mul bl 
add al, [edi] 
mov [edi], al 

凡<some_number>是本大会片段之外定义一个常数，它可以是正数或负。 bl寄存器在代码的早期设置，它总是正的（因为它只是在每次合适时溢出/下溢）。我也可以优化最后两条语句到add [edi], al，但我不是100％确定的，所以我现在不会那样做。

所以我的程序打了未定义的行为，在这种情况下是一个无限循环，经过长时间检查什么可能是错误的，我想我必须使用IMUL，因为<some_number>可能是负数。

但现在它仍然无法正常工作。然后，我再次查看手册，并且看到mul bl实际上将结果存储在ax中。所以我有一个ax签名的结果，而我想在al无符号（具有上溢/下溢）结果。

所以我的问题是：如何把在ax签名的结果为无符号之一al？基本上与符号扩展相反。

注意：我在这里也包含了我的思维过程，因为我很可能做的事情并非如预期的那样，因此目前我找不到答案。

Answer 1

这是我的观点的一个例子一点：如果相乘的结果是否定的，你NEG它，如果它是积极的，你不NEG它（我在我的编译器的一个运行此代码）：

mov bl, -5   ;◄■■ NEGATIVE NUMBER. 
    mov al, 10 
    imul bl    ;◄■■ AX = -50 (0xFFCE). 

    cmp ax, 0 
    jl negative  ;◄■■ IF AX < 0 JUMP TO NEGATIVE. 
    jmp continue  ;◄■■ IF AX >= 0 SKIP NEGATIVE. 

negative: 
    neg ax    ;◄■■ AX => POSITIVE (0xFFCE => 0x32). 

continue:  

Answer 2

我无法正确理解问题和评论中的后续行动。让我知道这是不是一个答案。

我还发现这个答案可能是@ Jose的一个副本，所以我正在考虑将其删除，特别是如果我发现我误解了这个问题。

---

随着imul bl我们要么有：

1. AL * BL的结果融入AL（但结果是符号扩展至AX）。
2. AL * BL的结果不符合AL。

在后一种情况下你必须选择做什么。
通常必须是按比例的结果返回到8位，这可以是作为解决比例2 简单：2 = AX：AL为AL，或者可以是更复杂（包括根本不是一个规模或任何线性操作）。

在前一种情况下，我们需要计算结果的绝对值。
由于情况1假定结果符合AL，所以寄存器AH或者全为零或者全为1，匹配AL的符号位。

imul bl   ;Original code 

xor al, ah  ;NOT AL iif the result is negative 
sub al, ah  ;AL = AL - (-1) = AL + 1 iif the result is negative 

这利用了公知的身份，两两的补，NEG（X）=未（X）+ 1。