From d1d031019aee84b9ddc100c537657eaa7875d36d Mon Sep 17 00:00:00 2001 From: Sebastian Jeong Date: Mon, 17 Aug 2026 12:57:27 +0900 Subject: [PATCH] =?UTF-8?q?docs:=20TODO=20=EC=99=80=20fixture=20README=20?= =?UTF-8?q?=EB=A5=BC=20=EC=A7=80=EA=B8=88=20=EC=83=81=ED=83=9C=EB=A1=9C?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 파서까지 끝났으니 남은 길을 다시 적는다. 필드 단위 대여가 목록에 올라왔다 -- map 도 파서도 같은 자리에서 걸렸다. 224/224, 31/31. --- TODO.md | 24 ++++++++++++++---------- fec/tests/exec/lexer/README.md | 15 +++++++++++++++ fec/tests/exec/trapsrc/README.md | 5 +++++ 3 files changed, 34 insertions(+), 10 deletions(-) create mode 100644 fec/tests/exec/lexer/README.md create mode 100644 fec/tests/exec/trapsrc/README.md diff --git a/TODO.md b/TODO.md index ccd4e50..d91c847 100644 --- a/TODO.md +++ b/TODO.md @@ -1,8 +1,8 @@ # TODO ``` -uv run python tests/run.py 217/217 컴파일러가 프로그램에 대해 뭐라고 하는가 -uv run python tests/exec.py 27/27 컴파일된 프로그램이 실제로 무엇을 하는가 +uv run python tests/run.py 224/224 컴파일러가 프로그램에 대해 뭐라고 하는가 +uv run python tests/exec.py 31/31 컴파일된 프로그램이 실제로 무엇을 하는가 ``` ``` @@ -22,10 +22,12 @@ uv run python tests/exec.py 27/27 컴파일된 프로그램이 실제로 | `mem.Arena` | R11 이 말하는 아레나 + 핸들이 실제로 쓸 수 있다 | | 레지스터 할당 | 블록 단위 선형 스캔. calc 4437 → 3796 줄 (-14%) | | **Ferro 렉서를 Ferro 로** | 강제 함수. 돌아간다 | +| `std.map` | 키를 맵이 소유한 버퍼에 복사하고 슬롯은 위치만 든다 | +| **Ferro 파서를 Ferro 로** | 노드 배열 하나 + 인덱스. `1 + 2 * 3` 이 `(+ 1 (* 2 3))` 로 묶인다 | -렉서가 알려준 것: **R11 의 모양(아레나가 소유하고 인덱스가 가리킨다)은 쓸 수 -있다.** 토큰이 `from`/`len` 을 들고 소스가 옆에서 같이 다니는 것은 장황하지만 -막히지 않는다. 모든 함수가 `src` 를 하나 더 받는 것이 값이다. +파서가 알려준 것: **자기 참조 자료구조는 인덱스로 짓는다.** 노드는 `^Node` 를 +들 수 없고(자식이 여럿이며 한 번씩 소유하지 않는다) `&Node` 도 들 수 없다(R4). +소유자 하나와 인덱스 여럿이 남는 유일한 모양이고, 그것으로 충분했다. --- @@ -33,10 +35,10 @@ uv run python tests/exec.py 27/27 컴파일된 프로그램이 실제로 | # | 일 | 규모 | 비고 | |---|---|---|---| -| 1 | Ferro 파서를 Ferro 로 | 대 | 렉서 다음. AST 를 아레나 + 핸들로 짓는다 | -| 2 | `std.map` | 중 | 심볼 표에 필요. 지금은 `List` 선형 탐색뿐 | -| 3 | `io.read` 로 줄 단위 읽기 | 소 | 지금은 버퍼 하나로 통째로 읽는다 | -| 4 | 여러 반환값 또는 out 파라미터 | 중 | `&mut` 재대여로 되지만 장황하다 | +| 1 | 심볼 표와 이름 해석을 Ferro 로 | 중 | `std.map` 이 준비됐다 | +| 2 | `io.read` 로 줄 단위 읽기 | 소 | 지금은 버퍼 하나로 통째로 읽는다 | +| 3 | 여러 반환값 또는 out 파라미터 | 중 | `&mut` 재대여로 되지만 장황하다 | +| 4 | 필드 단위 대여 | 중 | 지금은 루트 단위라 `self` 의 한 필드에 쓰는 동안 다른 필드를 못 읽는다 | | 5 | `fec` 을 Ferro 로 | 대 | 여기까지 오면 언어가 자기 무게를 견딘다 | ## 언어에 남은 구멍 @@ -48,6 +50,7 @@ uv run python tests/exec.py 27/27 컴파일된 프로그램이 실제로 | `@sprint` | 전개하지 않는다. `@print`/`@fprint` 만 | | `interrupt` `shared` `atomic` `critical` | 파싱만 되고 의미 없음. SPEC §11 에서 v0.2 | | lowering 미구현 진단 | `internal: cannot lower X`. 사용자 오류처럼 보이지 않는다 | +| 배열·enum 페이로드의 자동 해제 | `release_at` 은 구조체 필드까지만 내려간다 | --- @@ -71,10 +74,11 @@ uv run python tests/exec.py 27/27 컴파일된 프로그램이 실제로 | `usize`/`isize` | **타깃의 포인터 폭.** 비트 수를 약속하지 않아 64비트 문이 닫히지 않음 | | 제네릭 | 모노모피제이션. 순수 프론트엔드 기능이라 IR 에 제네릭 개념이 없음 | | 덩어리 전달 | 전부 주소로. ISA 마다 다른 구조체 전달 ABI 를 피해감 | -| 트랩 | `trap ` → `fe_trap(reason, UNIT_FILE, line)` | +| 트랩 | `trap ` → `fe_trap(reason, FE_FILE_n, line)`. 파일은 검사가 쓰인 유닛 | | 슬라이스 배치 | 포인터 다음 길이. 오프셋은 `lowerpri.h` 한 군데에만 | | 오류 코드 | `error.Name` 을 빌드 전체에서 모아 철자 순으로 1부터 | | 레지스터 | ebx·esi·edi 를 블록 안에 머무는 임시값에 준다. eax/ecx/edx 는 스크래치 | +| 해제 | 소유자를 놓으면 그것이 가진 것도 놓는다 (R1). `drop` 을 부른 뒤 필드로 내려간다 — 그래서 `List`/`Arena`/`Map` 은 `drop` 이 없다 | --- diff --git a/fec/tests/exec/lexer/README.md b/fec/tests/exec/lexer/README.md new file mode 100644 index 0000000..176c2c5 --- /dev/null +++ b/fec/tests/exec/lexer/README.md @@ -0,0 +1,15 @@ +# Ferro 로 쓴 Ferro 프런트엔드 + +셀프호스팅의 강제 함수. 언어가 자기 컴파일러를 쓸 만한지는 써 봐야 안다. + +| 파일 | 무엇 | +|---|---| +| `tok.fe` | 토큰. 텍스트를 들지 않고 소스 안의 위치를 든다 (R4) | +| `scan.fe` | 렉서. `next(src, &mut at, &mut line)` | +| `main.fe` | 렉서 프로그램. 종류별로 세고 몇 개를 찍는다 | +| `ast.fe` | 노드. 자식은 노드 배열 안의 인덱스다 | +| `parse.fe` | 재귀 하강 파서. 토큰 하나를 앞서 본다 | +| `tree.fe` | 파서 프로그램. 식을 전위 표기로 다시 찍는다 | + +전위 표기로 찍는 것이 요점이다. `1 + 2 * 3` 이 `(+ 1 (* 2 3))` 로 나오는 것 +말고는 우선순위가 맞았는지 볼 방법이 없다. diff --git a/fec/tests/exec/trapsrc/README.md b/fec/tests/exec/trapsrc/README.md new file mode 100644 index 0000000..e8d0803 --- /dev/null +++ b/fec/tests/exec/trapsrc/README.md @@ -0,0 +1,5 @@ +# 트랩이 대는 파일 + +빌드 전체가 한 모듈이 되므로 트랩은 자기가 어느 유닛에서 왔는지 스스로 말해야 +한다. 여기서는 경계 검사가 `pick.fe` 에 있고 프로그램은 `main.fe` 다. 트랩이 +`main.fe` 를 대면 줄 번호가 맞아도 엉뚱한 줄을 가리킨다.