在x86汇编语言中，能否不使用指定指令实现乘法运算？

Great questions! Let's break them down one by one, with practical examples to illustrate the approaches.

问题1：不使用MUL、IMUL、SHL、SHR、LOOP指令实现数值乘法 #

乘法的核心本质就是重复累加——比如计算 a * b，等价于把 a 连续加 b 次（反过来选绝对值更小的数当累加次数，能减少运算步骤）。既然不能用LOOP，我们可以用通用寄存器做计数器，配合条件跳转指令（比如JNZ）来控制循环流程。

下面是一个8位有符号数乘法的示例（NASM语法，实模式），计算AL * BL并将结果存入AX：

; 输入：AL = 被乘数，BL = 乘数
; 输出：AX = 乘积
multiply_without_forbidden:
    XOR AX, AX          ; 初始化结果为0
    XOR DX, DX          ; DX记录符号位（0为正，1为负）

    ; 处理被乘数符号
    TEST AL, 0x80
    JZ check_multiplier
    NEG AL
    XOR DX, 1

check_multiplier:
    ; 处理乘数符号
    TEST BL, 0x80
    JZ init_counter
    NEG BL
    XOR DX, 1

init_counter:
    MOV CL, BL          ; 用CL作为计数器

accumulate_loop:
    ADD AX, AL          ; 累加被乘数到结果
    DEC CL              ; 计数器减1
    JNZ accumulate_loop ; 计数器不为0则继续循环

    ; 恢复结果的符号
    TEST DX, 1
    JZ end_mult
    NEG AX

end_mult:
    RET

这个方案完全避开了所有禁用指令，用JNZ替代LOOP控制循环，通过单独记录符号的方式处理负数乘法。

问题2：不使用MUL、IMUL、SHL、SHR、LOOP、JMP指令计算乘法结果 #

这个约束更严格——连无条件跳转都不能用。那怎么在无跳转的情况下控制重复逻辑？有两种可行思路：利用CALL/RET实现递归（调用/返回指令不属于跳转指令），或者针对有限数值范围使用查表法。

递归实现（32位模式，NASM语法） #

递归可以让我们不用显式跳转就重复执行累加逻辑：每次将乘数减1，把被乘数加到结果中，直到乘数为0时终止递归。示例如下：

; 输入：EAX = 被乘数，EBX = 乘数，EDX = 结果（初始化为0）
; 输出：EDX = 乘积
multiply_no_jumps:
    ; 保存寄存器到栈（为递归保留状态）
    PUSH EAX
    PUSH EBX

    ; 检查乘数是否为0（终止条件）
    TEST EBX, EBX
    SETNZ CL            ; 若EBX≠0则CL=1，否则CL=0

    ; 仅当乘数不为0时，累加被乘数到结果
    XOR ECX, ECX
    CMOVNZ ECX, EAX
    ADD EDX, ECX

    ; 仅当乘数不为0时，将乘数减1
    SUB EBX, CL

    ; 递归调用（当EBX为0时，CL=0，不会修改结果和乘数，递归会逐层返回）
    CALL multiply_no_jumps

    ; 恢复寄存器并返回
    POP EBX
    POP EAX
    RET

注意：当乘数变为0时，会多一次递归调用，但由于不会修改结果和乘数，它会立即逐层返回，不会导致无限递归。

查表法（适用于有限数值范围） #

如果只需要处理固定小范围的数值（比如8位整数），查表法可以完全避开循环和跳转：预先计算所有可能的乘积并存入内存，通过计算索引直接获取结果：

section .data
; 预计算的8位乘法表，table[AL*256 + BL] = AL*BL
mult_table: times 65536 dw 0  ; 初始化所有条目为0
; 实际程序启动时，可用合法指令填充这个表

; 输入：AL = 被乘数，BL = 乘数
; 输出：AX = 乘积
multiply_lookup:
    XOR AX, AX
    MOV AH, AL          ; AH = AL → AX = AL * 256（AH是高字节）
    XOR AL, AL
    ADD AL, BL          ; AX = AL*256 + BL → 表的索引
    MOV BX, AX
    MOV AX, [mult_table + BX*2]  ; 获取预计算的乘积
    RET

这个方法完全不用任何禁用指令，但只适用于小范围数值（因为表的大小会随数值位数平方级增长）。

内容的提问来源于stack exchange，提问作者user9648407