Node:Input File Format, Next:Error messages, Previous:Example, Up:Top

Input File Format

Vmgen takes as input a file containing specifications of virtual machine instructions. This file usually has a name ending in .vmg.

Most examples are taken from the example in vmgen-ex.

• Input File Grammar:
• Simple instructions:
• Superinstructions:
• Store Optimization:
• Register Machines: How to define register VM instructions