Whale-Befehlsreferenz

Whale Bauen

Führen Sie im Whale-Repository Folgendes aus:

cargo build --release

Eine ausführbare Datei der obersten Ebene verfügt über vier Befehlsfamilien:

whale asm [--amd64 | --aarch64] <input> -o <output>
whale object <input> -o <output>
whale ir <subcommand> [options]

AMD64 assembler

whale asm --amd64 input.asm -o output.o

AMD64 assembler erhält den Pfad .o als Ausgabe und ELF64 relocatable enthält section, symbol und relocation Erstellen object.

Schalten Sie die detaillierte Diagnoseausgabe mit --debug-whale ein.

whale asm --amd64 input.asm -o output.o \
  --debug-whale --token --ast --bytes --dump-hex --stats

Zu den Diagnoseflags gehören --token, --ast, --bytes, --dump-hex, --dump-bin, --dump-json und --stats. --trace druckt den Verarbeitungsfortschritt.

Object wrapper

whale object input.bin -o output.o

Der Befehl object platziert Rohbytes in einem ELF64-Abschnitt .text und fügt ein globales start-Symbol am Offset 0 hinzu. Er umschließt rohen Maschinencode in einer ELF-Objektdatei.

Text-IR prüfen und ausgeben

Der Standardbuild liest und prüft typed IR format 4. Speichern Sie das vollständige Beispiel aus der IR-Referenz als answer.wir. print prüft vor der kanonischen Ausgabe und bewahrt bei Fehlern eine bestehende Datei. Es führt IR nicht aus und erzeugt keinen nativen Code.

whale ir verify answer.wir
whale ir print answer.wir -o canonical.wir

Optional IR socket

AST JSON mit ir lower benötigt die Feature socket-cli. Text-IR mit verify und print benötigt sie nicht.

cargo run -p whale --features socket-cli -- ir lower program.json
cargo run -p whale --features socket-cli -- ir lower program.json -o program.wir

ir lower liest JSON von Whale socket schema, wandelt es in Whale IR um und überprüft das Modul. Der Text IR wird in den Pfad stdout bzw. -o ausgegeben. --target <triple> ersetzt die Zielzeichenfolge und --no-verify lässt die Validierung aus.

Bauen Sie mit socket-cli, um ir lower zu nutzen. Socket-JSON-Produzenten und Whale müssen dieselbe AST schema version verwenden.

Interpreter für skalare Ganzzahlen

Der Standardbuild führt auch skalare Ganzzahl-/Bool-IR aus. --function @fN ist erforderlich; wiederholtes --arg übergibt exakte Dezimalliterale oder true/false für Bool. --max-steps zählt Anweisungen und terminators, standardmäßig 1,000,000. run akzeptiert weder -o noch --no-verify. Speichern Sie die vollständige Schleife aus der IR-Referenz als swap-loop.wir:

whale ir run swap-loop.wir --function @f7 --arg 3 --max-steps 100

i32 22

Ausführung mit verfolgtem Stapelspeicher

Der Standardinterpreter führt Ganzzahlen/Bool, Kontrollfluss, Stapelzuweisungen, Datenzeigerspeicherung und -lesen, typed GEP, memcpy und memset aus. Beim Lesen von checked-Paaren wird Padding ausgeschlossen. Adressen sind synthetische 64-Bit-Werte ohne Zugriff auf Hostspeicher. Argumente und Rückgaben bleiben Ganzzahlen/Bool oder void; float, Aufrufe, Funktionszeiger, allgemeine Aggregatwerte, globale Adressen und native Ausführung fehlen. Stapelzuweisungen leben bis zur Rückgabe. Lexikalisches Lebensdauerende, Zeigerübergabe bei Aufrufen/Rückgaben, Fremdspeicheradapter und native shadow metadata müssen noch implementiert werden.

--max-memory begrenzt logische Zuweisungsbytes, standardmäßig 64 MiB. InterpreterOptions::memory_limits begrenzt außerdem Zuweisungen auf 16384, Zeigerbyte-Metadaten auf 262144 Fragmente und Byte-/Metadatenarbeit auf 256 Mi Einheiten. Überschreitungen liefern MemoryLimit mit IR-Position, getrennt von Programm-Traps. Die Prüfung lehnt auch bekannten Speichergrößen-overflow des Ausgabeziels vor Ausführung ab.

Speichermodell: tracked-memory.wir.

whale ir run tracked-memory.wir --function @f0 --max-memory 20
whale ir run tracked-memory.wir --function @f0 --max-memory 3

u32 42
Error: tracked-memory.wir: interpreter memory Bytes limit 3 reached at @f0 %b0 instruction 0 (%v0)