LC3中含负数的乘法实现与寄存器乘常量的技术咨询

1. 处理含负数的乘法（实现R2=R1*R0） #

原代码仅支持正数乘法，要兼容负数，核心逻辑是先记录符号，用绝对值完成累加乘法，最后还原结果符号：

1. 符号判断：用寄存器（如R3）作为符号标志，初始为0。若R0或R1为负，则标志加1——最终标志为奇数时，结果为负；偶数时结果为正。
2. 取绝对值：对负数寄存器执行NOT+ADD #1的求补操作，转换为正数。
3. 执行原有累加乘法逻辑，用绝对值完成计算。
4. 符号还原：若符号标志为奇数，将最终结果取负。

修改后的完整代码：

.ORIG x3000
LD R2, ZERO
LD R0, M0
LD R1, M1
ST R1, SaveR1

; 初始化符号标志
AND R3, R3, #0

; 处理R0的符号与绝对值
BRzp CHECK_R1
NOT R0, R0
ADD R0, R0, #1
ADD R3, R3, #1
CHECK_R1:
; 处理R1的符号与绝对值
BRzp START_MUL
NOT R1, R1
ADD R1, R1, #1
ADD R3, R3, #1

START_MUL:
LOOP BRz ADJUST_SIGN
ADD R2, R2, R0
ADD R1, R1, #-1
BR LOOP

; 根据符号标志调整结果正负
ADJUST_SIGN:
AND R4, R3, #1
BRz DONE
NOT R2, R2
ADD R2, R2, #1

DONE ST R2, RESULT
LD R1, SaveR1
HALT

SaveR1 .BLKW 1
M0 .FILL x1011 ; 示例负数：十进制-3055
M1 .FILL x0005 ; 示例正数：十进制5
ZERO .FILL x0000
RESULT .BLKW 1
.END

2. 判断R1与R0是否均为负数 #

LC3寄存器的第15位是符号位，1代表负数，0代表非负，有两种简洁实现方式：

方式1：分支指令依次判断 #

用BRn（负数时跳转）指令，依次检查两个寄存器的符号：

; 若R0、R1均为负，跳转到NEG_BOTH标签执行逻辑
BRnp CHECK_R1 ; R0非负，直接跳过
BRnp END_CHECK ; R1非负，跳过
NEG_BOTH:
; 此处编写两数均为负数时的处理代码
END_CHECK:
CHECK_R1:

方式2：位运算提取符号位 #

通过AND指令提取符号位，直接判断是否均为1：

AND R3, R0, x8000 ; 提取R0的符号位
BRz NOT_BOTH_NEG ; R0非负，直接结束判断
AND R4, R1, x8000 ; 提取R1的符号位
BRz NOT_BOTH_NEG ; R1非负，直接结束判断
; 执行到此处说明R0、R1均为负数
NEG_BOTH:
; 处理逻辑
NOT_BOTH_NEG:

3. 实现寄存器值与整数的乘法（如R1=R0*4） #

针对不同类型的整数，有两种高效实现方式：

方式1：左移操作（适用于2的幂次整数） #

LC3中无专门左移指令，通过ADD自身实现左移（每次左移等价于乘2），乘4只需左移两次：

; R1 = R0 * 4
ADD R1, R0, R0 ; R1 = R0 * 2
ADD R1, R1, R1 ; R1 = R0 * 4

方式2：循环累加（适用于任意整数） #

对任意乘数，可通过循环累加对应次数完成乘法：

AND R1, R1, #0 ; 初始化结果寄存器为0
LD R3, FOUR ; 加载乘数4
LOOP_MUL BRz END_MUL
ADD R1, R1, R0
ADD R3, R3, #-1
BR LOOP_MUL
END_MUL:

FOUR .FILL x0004

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