The usual way to invoke Vmgen is as follows:
vmgen inputfile
Here inputfile is the VM instruction description file, which
usually ends in .vmg. The output filenames are made by taking
the basename of inputfile (i.e., the output files will be created
in the current working directory) and replacing .vmg with
-vm.i, -disasm.i, -gen.i, -labels.i,
-profile.i, and -peephole.i. E.g., vmgen
hack/foo.vmg
will create foo-vm.i, foo-disasm.i,
foo-gen.i, foo-labels.i, foo-profile.i and
foo-peephole.i.
The command-line options supported by Vmgen are
Print a message about the command-line options
Print version and exit