Apêndice B — Especificação da VM Hack¶

Referência compacta, extraída do capítulo 7, para consulta rápida durante os capítulos 9–13.

Segmentos¶

Segmento	Propósito
`local`	Variáveis locais da subroutine em execução
`argument`	Argumentos recebidos pela subroutine
`static`	Variáveis de classe, compartilhadas por todas as instâncias
`this`	Campos do objeto atual
`that`	Elemento de array corrente (endereço-base em `pointer 1`)
`constant`	Pseudo-segmento somente leitura, para literais
`pointer`	2 células: `pointer 0` = `this`, `pointer 1` = `that`
`temp`	8 células de uso livre

Comandos de acesso à memória¶

push segmento índice
pop segmento índice

Comandos aritméticos e lógicos¶

Comando	Aridade	Semântica
`add`	binário	soma
`sub`	binário	subtração
`neg`	unário	negação
`eq`	binário	-1 se iguais, 0 caso contrário
`gt`	binário	-1 se o primeiro é maior
`lt`	binário	-1 se o primeiro é menor
`and`	binário	E bit a bit
`or`	binário	OU bit a bit
`not`	unário	complemento bit a bit

Controle de fluxo¶

label rótulo
goto rótulo
if-goto rótulo     // desempilha o topo; salta se ≠ 0

Funções¶

function nome nLocais
call nome nArgs
return

Convenção: toda subroutine — void ou não — deixa exatamente um valor na pilha antes do return (por convenção, push constant 0 para as que não têm valor útil). Do lado de quem chama, o valor devolvido por uma chamada feita apenas pelo efeito (o comando do de Jack) é descartado com pop temp 0.

Mapeamento padrão de Jack (resumo)¶

Jack	VM
subroutine `yyy` da classe `Xxx`	função `Xxx.yyy`
`method` com k parâmetros	função com k + 1 argumentos (`argument 0` = objeto)
`var` / parâmetro / `static` / `field`	`local` / `argument` / `static` / `this`
`arr[i]`	`pointer 1` ← `arr + i`; acesso via `that 0`
`null`, `false` / `true`	`0` / `-1` (`push constant 1`, `neg`)
`*`, `/`	`call Math.multiply 2`, `call Math.divide 2`
constante string	`String.new` + `String.appendChar`
construtor	`Memory.alloc(nCampos)`, `pop pointer 0`

Detalhes no capítulo 7.