未知寄存器占用状态下的LC3汇编mult伪指令实现方案

要实现不依赖任何空闲寄存器的LC3乘法（仅修改目标寄存器），核心思路是用内存单元替代寄存器存储临时值（累加值和循环计数器），完全避免使用除目标寄存器外的其他寄存器。以下是具体实现：

无符号乘法实现（MULT Rd, Rs, Rt → Rd = Rs * Rt） #

这种方法通过循环累加被乘数，用内存存储计数器（初始为乘数的值）和累加结果，全程仅读写目标寄存器Rd，不修改任何其他寄存器：

; 宏展开后的LC3指令（以MULT R2, R3, R4为例，Rd=R2, Rs=R3, Rt=R4）
; 定义局部临时内存单元（宏内使用，不会污染全局空间）
.LOCAL ACCUMULATOR, COUNTER
ACCUMULATOR .BLKW 1  ; 存储累加结果，初始为0
COUNTER .BLKW 1      ; 存储循环计数器，初始为Rt的值

; 1. 初始化目标寄存器和累加单元
AND R2, R2, #0          ; 将Rd清零（准备存储结果）
ST R2, ACCUMULATOR      ; 初始化累加值为0

; 2. 将乘数Rt的值存入计数器（不修改Rt本身）
ADD R2, R4, #0          ; Rd = Rt的值（仅读取Rt）
ST R2, COUNTER          ; 计数器初始化为Rt的值

; 3. 循环累加：每次计数器减1，累加一次Rs
LOOP:
LD R2, COUNTER          ; 读取计数器值到Rd
BRz END_MULT            ; 计数器为0时结束循环

; 累加Rs到结果
LD R2, ACCUMULATOR      ; 读取当前累加值到Rd
ADD R2, R2, R3          ; Rd += Rs（仅读取Rs）
ST R2, ACCUMULATOR      ; 保存更新后的累加值

; 计数器减1
LD R2, COUNTER          ; 读取计数器值到Rd
ADD R2, R2, #-1         ; 计数器减1
ST R2, COUNTER          ; 保存更新后的计数器

BRnzp LOOP              ; 无条件回到循环开头

END_MULT:
LD R2, ACCUMULATOR      ; 将最终结果加载到Rd

关键特性： #

• 仅修改目标寄存器Rd（所有其他寄存器仅被读取，未被写入）
• 无需依赖任何空闲寄存器，完全通过内存存储临时数据
• 兼容LC3指令集，无需额外硬件支持

有符号乘法的限制与折中 #

如果需要支持有符号乘法，由于需要处理符号位和绝对值转换，仅靠Rd和内存无法完成（LC3加法指令要求两个寄存器操作数）。此时的折中方案是：

1. 选择一个固定寄存器（如R0），先将其值保存到临时内存单元
2. 用该寄存器处理绝对值转换和中间加法
3. 最后恢复寄存器的原始值

这种方法虽然使用了一个寄存器，但通过保存/恢复操作保证了寄存器状态不变，即使该寄存器原本被占用也不会影响程序逻辑：

; 有符号乘法示例（MULT Rd, Rs, Rt）
.LOCAL ACCUMULATOR, COUNTER, SIGN, TEMP_REG, RS_ABS
ACCUMULATOR .BLKW 1
COUNTER .BLKW 1
SIGN .BLKW 1
TEMP_REG .BLKW 1  ; 保存临时寄存器的原始值
RS_ABS .BLKW 1    ; 存储Rs的绝对值

; 1. 保存临时寄存器（如R0）的值
ST R0, TEMP_REG

; 2. 初始化累加单元
AND Rd, Rd, #0
ST Rd, ACCUMULATOR

; 3. 计算结果符号（Rs和Rt符号位异或）
AND R0, Rs, #0x8000
AND Rd, Rt, #0x8000
XOR R0, R0, Rd
ST R0, SIGN

; 4. 取Rs的绝对值
LD R0, Rs
BRzp RS_POS
NOT R0, R0
ADD R0, R0, #1
RS_POS:
ST R0, RS_ABS

; 5. 取Rt的绝对值并初始化计数器
LD R0, Rt
BRzp RT_POS
NOT R0, R0
ADD R0, R0, #1
RT_POS:
ST R0, COUNTER

; 6. 循环累加（用R0作为临时寄存器）
LOOP:
LD R0, COUNTER
BRz END_SIGN_ADJ

LD R0, ACCUMULATOR
ADD R0, R0, RS_ABS
ST R0, ACCUMULATOR

LD R0, COUNTER
ADD R0, R0, #-1
ST R0, COUNTER

BRnzp LOOP

; 7. 根据符号位调整结果
END_SIGN_ADJ:
LD Rd, ACCUMULATOR
LD R0, SIGN
BRzp END_MULT
NOT Rd, Rd
ADD Rd, Rd, #1

; 8. 恢复临时寄存器的原始值
LD R0, TEMP_REG

END_MULT:

说明： #

• 该方法通过保存/恢复临时寄存器，保证了寄存器状态不被修改
• 即使临时寄存器原本被占用，也不会影响程序的原有逻辑

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