Pular para o conteúdo

33 · Compilação

Flags --emit

Parar o pipeline de compilação mais cedo: `--emit ir` imprime o ZoloIR; `--emit obj` grava um arquivo objeto sem linkar.

Nesta página

zolo build percorre um pipeline completo por padrão:

.zolo ──parse/typeck──▶ AST ──lower──▶ ZoloIR ──Cranelift──▶ .o ──link──▶ binário
                                        │ --emit ir           │ --emit obj   (padrão)

A flag --emit permite parar em qualquer estágio intermediário.

--emit ir

--emit ir imprime a representação intermediária textual (ZoloIR) no stdout em vez de produzir um binário. Nada é gravado em disco. Útil para entender como uma construção é baixada antes do codegen ou para depurar o compilador:

zolo build --emit ir mostra o ZoloIR da função double e da chamada a print.

02-emit-ir.zolo
Playground
// Feature: inspect ZoloIR — `zolo build --emit ir`
// Syntax: `zolo build file.zolo --emit ir`
// When to use: see the intermediate representation the native backend
//   lowers to before codegen — handy for debugging codegen or learning
//   how a construct compiles.

// Run:
//   zolo build 30-compilation/02-emit-ir.zolo --emit ir
//
// `--emit ir` prints the textual ZoloIR to stdout instead of producing
// a binary. Nothing is written to disk.

fn double(n: int) -> int {
  return n * 2
}

print(double(21))

// Abbreviated IR for the `print(double(21))` call:
//
//   ; ZoloIR Module
//   ; String pool:
//   ;   s0 = "print"
//   fn @__entry() -> val {
//     entry:
//       %0 = get_global "print"
//       %1 = call @double(21)
//       %2 = call %0(%1)
//       return
//   }
//
// expected (when run normally): 42

Requer a CLI/host do Zolo — abra no playground ou rode localmente.

--emit obj

--emit obj compila o código até o arquivo objeto (.o/.obj) e para antes da etapa de linking — nenhum executável é produzido. O arquivo é gravado ao lado do fonte. Útil para integração com toolchains externas e experimentos de FFI:

zolo build --emit obj grava 03-emit-obj.o e encerra antes do link.

03-emit-obj.zolo
Playground
// Feature: object file without linking — `zolo build --emit obj`
// Syntax: `zolo build file.zolo --emit obj`
// When to use: produce a `.o`/`.obj` to hand to an external linker, or
//   to inspect the generated machine code without a full link step.

// Run:
//   zolo build 30-compilation/03-emit-obj.zolo --emit obj
//   # -> Wrote 03-emit-obj.o
//
// `--emit obj` writes the compiled object file next to the source and
// stops before linking — no executable is produced. Useful for FFI
// experiments and toolchain integration.

let xs = [1, 2, 3, 4]
var total = 0
for x in xs {
  total += x
}
print("sum =", total)

// expected (when run): sum =	10

Requer a CLI/host do Zolo — abra no playground ou rode localmente.

Desafio

Use --emit ir no exemplo de 03-emit-obj.zolo e observe como o laço for aparece no IR. Como ele difere de uma chamada de função comum?

Índice global

Encontre seu caminho pela Zolo

Experimente uma ideia

Comece por aqui

9 resultados

9 resultados

enespt-br