使用nand2tetris的asm逻辑有问题

Question

因此，我一直在尝试nand2tetris，并开始了关于汇编语言的章节，以及如何使用和实现汇编语言。我成功地完成了mult.asm，并想挑战自己，尝试创建一个代码，该代码可以为用户的任何输入找到数字的阶乘输出，到目前为止，这都是我的代码。

// ================================= Factorial ==================================
// This program calculates the Factorial F of a given number n 
//  At run time:
//      - The user should enter the value of n into R0. R0.e. RAM[0]
//      - The program then calculate the factorial of n    R0.e. F(n)=n!
//           F(n) = n*(n-1)*(n-2)*......*2*1
//      - The result F(n) should be saved in RAM[1]
//          -- You should also consider the F(0) case.
// ==============================================================================


// put your code here

    //set tracker for current loop
    @R1
    M=0
    @R2
    M=1
    @R3
    M=0
    @R4
    M=0
    @R5
    M=0
    @R6
    M=0

(LOOP)
    @R6
    D=M     //D=R6
    @R1
    M=M+D
    @R2
    D=M     //D = R2
    @R4
    M=D     //R4 = R2
    @R0
    D=D-M   //D = R2 - R0
    @END
    D;JGE   //If (R2-R0) > 0 goto END
    @STEP
    D;JLT   //If (R2-R0) < 0 goto STEP


(STEP)
    //Multiplication begins
    // Gets R4 from R6.
    @R6
    D=M // wrting data of r6 into d register

    // Add R1 to it.
    @R1
    D=D+M

    // And write the result back to R6.
    @R6
    M=D

    // Reduce R4 by 1.
    @R4
    D=M-1
    M=D

    // If R4 is still > 0 then loop.
    @STEP
    D;JGT
    //Multiplication ends

    @R2
    M=M+1   //R2++

    @LOOP
    0;JMP   //Got LOOP
(END)
    @END
    0;JMP   //Infinite loop

现在我遇到的问题是，循环工作，我的循环执行乘法循环的计数器在正确的时间停止，但是输出比预期的要高一些。那就是当我进入3！它推出了8而不是6。任何建议都将是伟大的感谢！

我试图得到我输入的任意数字的阶乘输出，计数器工作正常，并在正确的时间停止，但是最后的输出是错误的。

Answer 1

一些一般性意见：

• 会花费一些时间来改进您的代码注释。这不仅会帮助人们阅读您的代码，而且还会让您思考它，您可能会发现问题所在。例如，R0-R6代表什么？目前，您只记录了其中的几个，还不清楚您是否正确地使用了它们。您当前的代码注释并没有真正的帮助--“并将结果写回R6”并不是一个有用的注释。代码本身通常会记录它正在做什么(除非您很棘手)；好的注释解释了为什么要做。在编写程序集语言时，我总是发现首先用更高级的语言(比如python)编写代码是有用的。这不仅允许您验证算法是否正确(您可以运行代码！)，而且该代码将成为程序集语言代码的通用代码注释，以及创建该代码的框架。
• 使用R0的几个不同值运行程序，并创建结果表。错误有模式吗？它是常数还是在某种程度上与R0有关？这可能会给你一个错误的线索。
• 试着单步通过你的程序来找出问题出在哪里。CPU仿真器有一个断点特性，它允许您在代码中的任意点停止和检查状态，这对于每次通过循环检查状态都很方便。文档在模拟器教程的末尾：https://www.nand2tetris.org/_files/ugd/44046b_f63aba2611944e82974c9c5d5a3821fe.pdf
• As --一个全面的附带说明，您可能会发现我编写的这篇文档分析了在所感兴趣的黑客机器上进行乘法的最佳方法；它演示了一些有用的机器语言编程技术：https://drive.google.com/file/d/1jrDe3tru_IWzLpZjbXFmdKU7E0fy77e6/view?usp=share_link (尽管我承认，我可能应该采纳我自己的建议并改进注释！)

！