Whale 명령 참조

Whale 빌드

Whale 저장소에서 다음을 실행합니다.

cargo build --release

최상위 실행 파일에는 네 가지 명령 계열이 있습니다.

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는 .o 경로를 출력으로 받고, section, symbol과 relocation을 담은 ELF64 relocatable object를 만듭니다.

상세 진단 출력은 --debug-whale로 켭니다.

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

진단 플래그에는 --token, --ast, --bytes, --dump-hex, --dump-bin, --dump-json, --stats가 있습니다. --trace는 처리 과정을 출력합니다.

Object wrapper

whale object input.bin -o output.o

object 명령은 raw byte를 ELF64 .text section에 넣고 offset 0에 전역 start symbol을 추가합니다. 이 명령은 raw code를 ELF object로 감싸는 용도입니다.

텍스트 IR 검증과 출력

기본 빌드에서 형식 4 typed IR을 읽고 검증할 수 있습니다. IR 참조의 전체 예제를 answer.wir로 저장하세요. print는 검증 후 표준 IR을 출력하며, 오류 시 기존 파일을 보존합니다. 실행이나 native 코드 생성은 수행하지 않습니다.

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

선택적 IR socket

AST JSON을 읽는 ir lower에는 socket-cli feature가 필요합니다. 텍스트 IR의 verify·print에는 필요하지 않습니다.

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는 Whale socket schema의 JSON을 읽고 Whale IR로 변환한 뒤 모듈을 검증합니다. 텍스트 IR은 stdout 또는 -o 경로에 출력됩니다. --target <triple>은 대상 문자열을 바꾸고 --no-verify는 검증을 생략합니다.

ir lower를 사용하려면 socket-cli로 빌드해야 합니다. Socket JSON 생산자와 Whale은 같은 AST schema version을 사용해야 합니다.

스칼라 정수 인터프리터

기본 빌드에서 스칼라 정수·Bool IR도 실행합니다. --function @fN은 필수이며 --arg를 반복해 정확한 10진수 인자를 전달합니다. Bool은 true/false입니다. --max-steps는 명령과 terminator 수를 세며 기본값은 1,000,000입니다. run에는 -o나 --no-verify를 사용할 수 없습니다. IR 참조의 전체 루프를 swap-loop.wir로 저장하세요.

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

i32 22

추적 스택 메모리 실행

기본 인터프리터는 정수·Bool, 제어 흐름, 스택 할당, 데이터 포인터 저장·읽기, typed GEP, memcpy·memset을 실행합니다. checked 쌍의 값 읽기는 패딩을 제외합니다. 주소는 호스트 메모리를 가리키지 않는 합성 64비트 주소입니다. 함수 인자·반환은 정수·Bool 또는 void로 제한되며 float, 호출, 함수 포인터, 일반 aggregate 값, 전역 주소, native 실행은 미지원입니다. 스택 할당은 함수 반환까지 살아 있습니다. 블록별 수명 종료, 호출·반환의 포인터 전달, 외부 메모리 어댑터와 native shadow metadata는 후속 구현이 필요합니다.

--max-memory는 논리적 할당 바이트 한도를 지정하며 기본값은 64 MiB입니다. InterpreterOptions::memory_limits는 할당 수 16384, 포인터 바이트 메타데이터 262144개, 바이트·메타데이터 작업량 256 Mi 단위도 제한합니다. 한도 초과는 IR 위치를 가진 MemoryLimit 오류이고 프로그램 trap과 별개입니다. 검증기는 출력 타깃의 알려진 저장 크기 overflow도 실행 전에 거부합니다.

메모리 모델: 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)