基于Easy68K的Motorola 68K阶乘汇编实现正确性与优化问询

问题1：当前实现是否能正确计算N!？ #

当前代码可以正确计算非负整数的阶乘，对负数的处理也符合逻辑：

• 当N>0时：通过循环完成累乘，以N=4为例，最终计算4×3×2×1=24，结果正确。
• 当N=0时：进入ZorN分支，设置结果为1，符合0!=1的数学定义。
• 当N<0时：进入ZorN分支后直接跳转到END，结果保持初始值0，合理处理了负数无阶乘的场景。

问题2：代码优化方案（减少跳转、提升效率与可读性） #

优化思路核心

• 线性化逻辑，减少嵌套跳转；
• 利用68K专用指令简化操作；
• 合并冗余分支，让流程更直观。

优化后的代码版本1（简化分支+直观循环）

ORG $8000
       
num DC.W 4       ; 计算N的阶乘，N为示例值4
result DC.L 0    ; 存储结果的空间

START: 
      move.w num,d0       ; d0 = N
      moveq.l #1,d1       ; 初始化结果为1（覆盖0!、1!的初始值）
      blt.s END           ; 负数直接退出，结果保持0
      ble.s STORE_RESULT  ; N=0时直接存储结果1
LOOP:
      mulu.w d0,d1        ; d1 = d1 × d0
      subq.w #1,d0        ; d0自减1
      bgt.s LOOP          ; d0>0时继续循环
STORE_RESULT:
      move.l d1,result
END:
      SIMHALT  
      END START

优化点说明

1. 减少跳转指令：原代码有5次跳转，优化后仅3次，去掉了冗余的bra.s END和嵌套分支；
2. 统一初始化：用moveq.l #1,d1直接初始化结果为1，同时覆盖0!、1!和正整数阶乘的初始需求，避免单独分支处理；
3. 线性化流程：先处理负数、0的异常情况，再进入正整数的循环逻辑，代码可读性更强；
4. 高效指令使用：moveq是立即数指令，比普通move执行效率更高。

进阶优化版本（使用68K专用循环指令dbra）

dbra是68K的递减并分支指令，适合已知循环次数的场景，能进一步简化循环结构：

ORG $8000
       
num DC.W 4       ; 计算N的阶乘，N为示例值4
result DC.L 0    ; 存储结果的空间

START: 
      move.w num,d0       ; d0 = N
      moveq.l #1,d1       ; 初始化结果为1
      blt.s END           ; 负数直接退出
      beq.s STORE_RESULT  ; N=0时存储结果1
      move.w d0,d2        ; d2作为循环计数器，初始值为N-1
      subq.w #1,d2
LOOP:
      mulu.w d2,d1        ; d1 *= d2
      dbra d2,LOOP        ; d2自减1，若未到-1则继续循环
STORE_RESULT:
      move.l d1,result
END:
      SIMHALT  
      END START

进阶优化点说明

• 用dbra替代subq + bgt的组合，将循环的递减和分支操作合并为一条指令，减少指令数量；
• 循环逻辑更贴合68K的硬件特性，执行效率略有提升。

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