© 2017 Shimon Schocken and Noam Nisan

We propose implementing the basic VM translator API described in chapter 7 in two stages. This will allow you to unit-test your implementation incrementally, using the test programs supplied below. In what follows, when we say "your VM translator should implement some VM command" we mean "your VM translator should translate the given VM command into a sequence of Hack assembly commands that accomplish the same task".

 

Stage I: Handling stack arithmetic commands: The first version of your basic VM translator should implement the nine arithmetic / logical commands of the VM language as well as the VM command push constant x.

 

The latter command is the generic push command for which the first argument is constant and the second argument is some non-negative integer x. This command comes handy at this early stage, since it helps provide values for testing the implementation of the arithmetic / logical VM commands. For example, in order to test how your VM translator handles the VM add command, we can test how it handles the VM code push constant 3, pushconstant 5, add. The other arithmetic and logical commands are tested similarly.

 

Stage II: Handling memory access commands: The next version of your basic VM translator should include a full implementation of the VM language's push and pop commands, handling the eight memory segments described in chapter 7. We suggest breaking this stage into the following sub-stages:

  1. You have already handled the constant segment;

  2. Next, handle the segments local, argument, this, and that;

  3. Next, handle the pointer and temp segments, in particular allowing modification of the bases of the this and that segments.

  4. Finally, handle the static segment.

We supply five VM programs, designed to unit-test the staged implementation proposed above. For each program Xxxwe supply four files. The Xxx.vm file contains the program's VM code. The XxxVME.tst script allows running the program on the supplied VM emulator, to experiment with the program’s intended operation. After translating the program using your VM translator, the supplied Xxx.tst script and Xxx.cmp compare file allow testing the translated assembly code on the supplied CPU emulator.

Testing how the VM translator handles arithmetic commands:

Program

Program

SimpleAdd.vm

Program

StackTest.vm

Description

Description

Pushes two constants onto the stack and adds them up.

Test Scripts

SimpleAddVME.tst
SimpleAdd.tst
SimpleAdd.cmp

Test Scripts

Description

Executes a sequence of arithmetic and logical operations on the stack.

StackTestVme.tst

StackTest.tst

StackTest.cmp

Test Scripts

Testing how the VM translator handles memory access commands:

Program

Program

BasicTest.vm

Program

PointerTest.vm

Program

StackTest.vm

Description

Description

Executes push/pop operations using the virtual memory segments constant, local, argument, this, that, and temp.

Description

Executes push/pop operations using the virtual memory segments pointer, this, and that.

Description

Executes push/pop operations using the virtual memory segment static.

Test Scripts

BasicTestVME.tst

BasicTest.tst

BasicTest.cmp

Test Scripts

PointerTestVME.tst
PointerTest.tst

PointerTest.cmp

Test Scripts

StaticTestVME.tst

StaticTest.tst

StaticTest.cmp

Test Scripts

Initialization: In order for the translated VM code to execute on the host computer platform, the translated code stream (written in the machine language of the host platform) must include some bootstrap code that maps the stack on the host RAM and starts executing the code proper. In addition, the virtual memory segments must be mapped on selected areas in the host RAM. The bootstrap code and the memory mappings are described in chapter 8 and handled by the final version of the VM translator, implemented in the next project. In the current project you should worry about none of these issues, since all the necessary VM initializations and memory mappings are handled by the supplied test scripts. In other words, the assembly code that your translator generates should contain the translation of the VM commands found in the input file, and nothing else.

Steps:

For each one of the five test programs supplied above, follow these steps:

  1. To get acquainted with the intended behavior of the supplied test program Xxx.vm, run it on the supplied VM emulator using the supplied XxxVME.tst script.

  2. Use your VM translator to translate the supplied Xxx.vm file. The result should be a new text file containing Hack assembly code, named Xxx.asm.

  3. Inspect the Xxx.asm program generated by your VM translator. If there are visible syntax (or any other) errors, debug and fix your VM translator.

  4. To check if the generated code performs properly, use the supplied Xxx.tst and Xxx.cmp files to run the Xxx.asm program on the supplied CPU emulator. If there are any problems, debug and fix your VM translator.

 

Implementation Order: The supplied test programs were carefully planned to test the incremental features introduced by each development stage of your basic VM translator. Therefore, it's important to implement your translator in the proposed order, and to test it using the appropriate test programs at each stage. Implementing a later stage before an early one may cause the test programs to fail.

 

When you are done with this project, be sure to save a copy of your VM translator. In the next project you will be asked to modify and extend this program, adding the handling of more VM commands. If your project 8 modifications will end up breaking some of the working code developed in project 7, you’ll be able to resort to a clean backup version.

Before setting out to develop your VM translator, we recommend getting acquainted with the virtual machine architecture model and language. As mentioned above, this can be done by running, and experimenting with, the supplied .vm test programs using the supplied VM emulator.

The VM emulator: This Java program, located in your nand2tetris/tools directory, is designed to execute VM programs in a direct and visual way, without having to first translate them into machine language. For example, you can use the supplied VM emulator to see - literally speaking - how push and pop commands effect the stack. And, you can use the simulator to execute any one of the supplied .vm test programs.

For more information, see the VM emulator tutorial (PPT, PDF)

Here is a typical screen shot of the VM emulator in action: