Files

T

coolguy ef7939f609 GOAL P2: SPEC 에서 죽은 C 백엔드를 걷어낸다

파이프라인은 .fe → i386 asm → wasm → wlink → .exe 인데 명세는 아직 C 를
방출하는 컴파일러를 서술하고 있었다. 외부 감사가 그 문서를 충실히 읽고
존재하지 않는 문제(C 의 부호 있는 오버플로 UB)를 보고했다 -- 명세가 거짓말을
하면 그것을 읽는 사람이 틀린 답을 낸다.

걷어낸 것: .fei 심볼 파일과 그 위에 얹힌 증분 빌드 서술, fe_errors.h,
--emit-c 와 --error-table, '호스트 C 방출', 'C 방출 시 static inline',
'별도 C 표현'.

오류 코드 절은 실제대로 다시 썼다: 빌드 하나가 모든 유닛의 소스를 함께 읽고,
드라이버가 emit 전에 쓰인 이름을 모아 철자순으로 1부터 매긴다. 유닛 하나만
따로 코드 생성까지 밀고 갈 수 없다는 것도 그 결과로 적었다.

R7 이 컴파일러 소스 파일 이름(own.c)을 대고 있던 것도 언어의 말로 바꿨고,
이동은 변수 단위이고 대여는 place 단위라는 구분을 붙였다.

--target= 과 --model= 은 드라이버에서 없앴다. 타깃이 하나인데 받아들여서
무시하는 플래그는 안 받는 것보다 나쁘다.

SPEC 이 약속만 하고 구현이 없는 것 셋을 TODO 에 적었다: --strip-error-names,
fmt.fmt_error, 0b/0o 리터럴 값 계산.

240/240, 35/35.

2026-08-17 16:12:53 +09:00

4.8 KiB

Raw Blame History

TODO

uv run python tests/run.py     224/224   컴파일러가 프로그램에 대해 뭐라고 하는가
uv run python tests/exec.py     31/31    컴파일된 프로그램이 실제로 무엇을 하는가

.fe → fec → i386 asm → wasm → wlink → .exe → Windows 11

셀프호스팅 전에 하기로 했던 것 — 전부 끝남


`@print` / `@fprint` 전개	SPEC §6.3.1 대로 컴파일 단계에서 편다. 진단 한 줄이 한 줄이다
파일과 명령줄	열기·읽기·쓰기·닫기, `argv`. 프로그램이 소스에 박힌 데이터 밖으로 나왔다
`match` 페이로드와 `if let`	태그드 유니온을 안전하게 해체한다
조용히 잘리던 상한	자란다. 넘쳐도 틀린 코드가 아니라 오류다
`mem.Arena`	R11 이 말하는 아레나 + 핸들이 실제로 쓸 수 있다
레지스터 할당	블록 단위 선형 스캔. calc 4437 → 3796 줄 (-14%)
Ferro 렉서를 Ferro 로	강제 함수. 돌아간다
`std.map`	키를 맵이 소유한 버퍼에 복사하고 슬롯은 위치만 든다
Ferro 파서를 Ferro 로	노드 배열 하나 + 인덱스. `1 + 2 * 3` 이 `(+ 1 (* 2 3))` 로 묶인다
필드 단위 대여	`p.a` 와 `p.b` 는 다른 place 다. `std.map` 의 `keep` 이 다시 함수 하나가 됐다

파서가 알려준 것: 자기 참조 자료구조는 인덱스로 짓는다. 노드는 ^Node 를 들 수 없고(자식이 여럿이며 한 번씩 소유하지 않는다) &Node 도 들 수 없다(R4). 소유자 하나와 인덱스 여럿이 남는 유일한 모양이고, 그것으로 충분했다.

셀프호스팅으로 가는 길

순서와 근거는 GOAL.md 에 있다 (P0~P4). 여기는 무엇이 남았는지만 적는다.

#	일	규모	비고
1	심볼 표와 이름 해석을 Ferro 로	중	`std.map` 이 준비됐다
2	`io.read` 로 줄 단위 읽기	소	지금은 버퍼 하나로 통째로 읽는다
3	여러 반환값 또는 out 파라미터	중	`&mut` 재대여로 되지만 장황하다
4	`fec` 을 Ferro 로	대	여기까지 오면 언어가 자기 무게를 견딘다

언어에 남은 구멍


`[value; count]` 배열 반복 리터럴	없다. 큰 버퍼는 `undefined` 로 선언한다
정수 폭 섞임	`1 + 함수호출()` 같은 데서 뻑뻑하다. 리터럴이 늘 맞춰주지 않는다
`@sprint`	전개하지 않는다. `@print`/`@fprint` 만
`interrupt` `shared` `atomic` `critical`	파싱만 되고 의미 없음. SPEC §11 에서 v0.2
lowering 미구현 진단	`internal: cannot lower X`. 사용자 오류처럼 보이지 않는다
배열·enum 페이로드의 자동 해제	`release_at` 은 구조체 필드까지만 내려간다
`--strip-error-names`	받아들이지만 아무것도 하지 않는다 (SPEC §4.6)
`fmt.fmt_error`	없다. SPEC §4.6 이 약속만 하고 있다
`0b` / `0o` 리터럴	렉서는 받지만 값 계산이 10진과 16진만 안다

정해진 것


타깃	i386 하나. 세그먼트 없음, `far` 영구 제외 (SPEC §2)
`usize`/`isize`	타깃의 포인터 폭. 비트 수를 약속하지 않아 64비트 문이 닫히지 않음
제네릭	모노모피제이션. 순수 프론트엔드 기능이라 IR 에 제네릭 개념이 없음
덩어리 전달	전부 주소로. ISA 마다 다른 구조체 전달 ABI 를 피해감
트랩	`trap <reason> <line>` → `fe_trap(reason, FE_FILE_n, line)`. 파일은 검사가 쓰인 유닛
슬라이스 배치	포인터 다음 길이. 오프셋은 `lowerpri.h` 한 군데에만
오류 코드	`error.Name` 을 빌드 전체에서 모아 철자 순으로 1부터
레지스터	ebx·esi·edi 를 블록 안에 머무는 임시값에 준다. eax/ecx/edx 는 스크래치
해제	소유자를 놓으면 그것이 가진 것도 놓는다 (R1). `drop` 을 부른 뒤 필드로 내려간다 — 그래서 `List`/`Arena`/`Map` 은 `drop` 이 없다
배타 대여를 호출에 넘기기	이동이 아니라 호출 동안의 재대여 (SPEC §4.2, §5 R6). 없으면 배타 파라미터를 함수당 한 번만 넘길 수 있어 재귀 하강 파서를 못 쓴다
자기 `drop` 안의 부분 이동	허용 (SPEC §5 R7 예외). 객체가 사라지는 중이라 뒤에 남아 읽힐 것이 없다
대여 단위	place 단위 (SPEC §5 R6). 루트 변수의 직속 필드 한 겹까지 갈라지고, 그 아래와 인덱스·역참조는 전체 대여다. 한 값당 4 필드까지, 넘으면 전체로 되돌아간다

파일 크기 규칙

2,000 줄을 넘기지 않는다. 웬만하면 1,000 줄. 넘으면 나눈다 -- check.c 는 3,937 줄이었고 lower.c 는 1,913 줄이었다. 지금 가장 큰 것은 1,000 줄이다.

4.8 KiB Raw Blame History