mirror of
https://github.com/Nexoniarz/Finch.git
synced 2026-11-03 00:44:27 +00:00
The compiler is written in Finch, and nothing else: src/*.fch, built from a seed
boot/ is src/ now. The C++ compiler and CMake are gone from this branch (they are on before-bootstrap). bootstrap/build.sh builds the compiler from bootstrap/<system>.ll -- the compiler's own LLVM IR -- then builds it with itself and checks the two come out identical. bootstrap/build.sh seed writes the seed anew. The driver is complete: the runtime is compiled once and kept in ~/.cache/finch; a program's own C files, .o and .a files and frameworks link along; a linker failure is read and answered with link "lib" or the library that is missing. The old tests/fail diagnostics are all in again (a missing import, a str compared with null, 'write just the library's name', a map key that is a float, non-ASCII names, ...). tests/run.sh is the one test runner: programs, refusals, -g builds and the shared library. 106 passed.
This commit is contained in:
Nexoniarz
parent
750eca3e85
commit
b9378050ab
39 changed files with 80403 additions and 7251 deletions
|
|
@ -1,86 +0,0 @@
|
|||
#!/usr/bin/env bash
|
||||
# The self-hosted compiler (boot/) must
|
||||
# 1. build itself: stage1 (built by build/finch) -> stage2 -> stage3, with identical IR
|
||||
# 2. give the same output as build/finch on every test in tests/run it supports
|
||||
set -u
|
||||
cd "$(dirname "$0")/.."
|
||||
tmp=$(mktemp -d)
|
||||
trap 'rm -rf "$tmp"' EXIT
|
||||
|
||||
build/finch build boot/main.fch -o "$tmp/boot1" || exit 1
|
||||
# Stage 2: the compiler built by itself. Until it can read the C headers its own source imports
|
||||
# (libclang's), this stage can't be made, and the tests below run on stage 1 instead.
|
||||
boot=$tmp/boot1
|
||||
if "$tmp/boot1" build boot/main.fch -o "$tmp/boot2" > "$tmp/stage2.err" 2>&1; then
|
||||
"$tmp/boot1" ir boot/main.fch > "$tmp/stage2.ll"
|
||||
"$tmp/boot2" ir boot/main.fch > "$tmp/stage3.ll"
|
||||
if cmp -s "$tmp/stage2.ll" "$tmp/stage3.ll"; then
|
||||
echo "bootstrap: stage 2 and stage 3 are identical ($(wc -l < "$tmp/stage3.ll") lines of IR)"
|
||||
boot=$tmp/boot2
|
||||
else
|
||||
echo "bootstrap: FAILED, stage 2 and stage 3 differ"
|
||||
exit 1
|
||||
fi
|
||||
else
|
||||
echo "bootstrap: not yet -- stage 1 can't build itself: $(head -1 "$tmp/stage2.err")"
|
||||
fi
|
||||
|
||||
pass=0; failed=0; skipped=0
|
||||
# tests/run: what the C++ compiler also runs. tests/new: the language since then (enums, match, ...),
|
||||
# which only this compiler has.
|
||||
for f in tests/run/*.fch tests/new/*.fch; do
|
||||
grep -q "^fn main" "$f" || continue
|
||||
input="${f%.fch}.in"
|
||||
[ -f "$input" ] || input=/dev/null
|
||||
if ! "$boot" build "$f" -o "$tmp/prog" > "$tmp/err" 2>&1; then
|
||||
failed=$((failed + 1))
|
||||
echo "FAIL (compile) $f"
|
||||
head -3 "$tmp/err"
|
||||
continue
|
||||
fi
|
||||
got=$("$tmp/prog" < "$input" 2>&1)
|
||||
if [ "$got" == "$(cat "${f%.fch}.out")" ]; then
|
||||
pass=$((pass + 1))
|
||||
else
|
||||
failed=$((failed + 1))
|
||||
echo "FAIL (output) $f"
|
||||
diff <(echo "$got") "${f%.fch}.out" | head -10
|
||||
fi
|
||||
done
|
||||
# programs that must be refused, and say why: the first line is "// expect: <text of the error>"
|
||||
for f in tests/new/fail/*.fch; do
|
||||
expect=$(head -1 "$f" | sed -n 's|^// expect: ||p')
|
||||
got=$("$boot" build "$f" -o "$tmp/refused" 2>&1)
|
||||
status=$?
|
||||
if [ $status -ne 0 ] && [[ "$got" == *"$expect"* ]]; then
|
||||
pass=$((pass + 1))
|
||||
else
|
||||
failed=$((failed + 1))
|
||||
echo "FAIL $f (wanted: $expect)"
|
||||
echo "$got" | head -3
|
||||
fi
|
||||
done
|
||||
# the same programs with debug info (-g -O0): the metadata has to be valid for every kind of thing a program has
|
||||
for f in tests/new/enums.fch tests/new/generics.fch tests/new/std_json.fch tests/run/basics.fch tests/run/methods_basic.fch \
|
||||
tests/run/maps.fch tests/run/errors.fch tests/run/defer.fch tests/run/c_structs.fch tests/run/memory.fch; do
|
||||
input="${f%.fch}.in"
|
||||
[ -f "$input" ] || input=/dev/null
|
||||
if "$boot" build "$f" -g -O0 -o "$tmp/progg" > "$tmp/err" 2>&1 && [ "$("$tmp/progg" < "$input" 2>&1)" == "$(cat "${f%.fch}.out")" ]; then
|
||||
pass=$((pass + 1))
|
||||
else
|
||||
failed=$((failed + 1))
|
||||
echo "FAIL (-g) $f"
|
||||
head -3 "$tmp/err"
|
||||
fi
|
||||
done
|
||||
|
||||
# a library a C program loads (finch build --shared), with the compiler under test
|
||||
if FINCH_RT="$PWD/runtime/finch_rt.c" FINCH="$boot" tests/shared.sh > "$tmp/shared.out" 2>&1; then
|
||||
pass=$((pass + 1))
|
||||
else
|
||||
failed=$((failed + 1))
|
||||
echo "FAIL tests/shared.sh"
|
||||
head -5 "$tmp/shared.out"
|
||||
fi
|
||||
echo "self-hosted compiler: $pass passed, $failed failed, $skipped skipped (features it doesn't have)"
|
||||
[ $failed -eq 0 ]
|
||||
|
|
@ -1,18 +0,0 @@
|
|||
import ast
|
||||
import cimport
|
||||
|
||||
fn main() -> ! {
|
||||
headers := [cimport.Header(path: "stdio.h", where: "test:1:1"), cimport.Header(path: "/home/nexoniarz/.claude/jobs/4af40c6f/tmp/cx/h.h", where: "test:2:1")]
|
||||
c := try cimport.importHeaders(headers, [])
|
||||
print("functions", c.fns.len, "consts", c.consts.len, "globals", c.globals.len, "structs", c.structs.len)
|
||||
f := c.fns["add"]
|
||||
print(f.name, ast.show(f.ret), f.params.len, f.unsupported)
|
||||
m := c.fns["many"]
|
||||
print(m.name, ast.show(m.ret), m.params.len, ast.show(m.params[0]), ast.show(m.params[1]), m.unsupported)
|
||||
print(c.consts["N"].i, c.consts["Green"].i, c.consts["EOF"].i)
|
||||
print(ast.show(c.globals["counter"]), ast.show(c.globals["stdout"]))
|
||||
s := c.structs["Vec2"]
|
||||
print(s.name, s.size, s.align, s.fields.len, s.unsupported)
|
||||
printf := c.fns["printf"]
|
||||
print(printf.name, printf.variadic, printf.params.len, ast.show(printf.params[0]))
|
||||
}
|
||||
32
tests/run.sh
32
tests/run.sh
|
|
@ -3,16 +3,19 @@
|
|||
# tests/run/*.fch must compile and print exactly what is in the matching .out file
|
||||
# (files without `fn main` are modules or helpers and are skipped;
|
||||
# a matching .in file is fed to the program as its input)
|
||||
# tests/fail/*.fch must fail; the first line is "// expect: <text that must appear in the error>"
|
||||
# tests/fail/*.fch and tests/new/fail/*.fch must fail; the first line is "// expect: <text that must appear in the error>"
|
||||
# the same programs built with -g -O0, and a library loaded by a C program (tests/shared.sh)
|
||||
# MEMCHECK=1 tests/run.sh also runs every program under valgrind: no leaks, no bad memory access
|
||||
set -u
|
||||
cd "$(dirname "$0")"
|
||||
FINCH=${FINCH:-../build/finch}
|
||||
FINCH="$(cd "$(dirname "$FINCH")" && pwd)/$(basename "$FINCH")" # tests/shared.sh runs from another folder
|
||||
export FINCH_RT=${FINCH_RT:-$PWD/../runtime/finch_rt.c}
|
||||
pass=0; failed=0
|
||||
tmp=$(mktemp -d)
|
||||
trap 'rm -rf "$tmp"' EXIT
|
||||
|
||||
for f in run/*.fch; do
|
||||
for f in run/*.fch new/*.fch; do
|
||||
grep -q "^fn main" "$f" || continue
|
||||
want="${f%.fch}.out"
|
||||
input="${f%.fch}.in"
|
||||
|
|
@ -38,7 +41,7 @@ for f in run/*.fch; do
|
|||
pass=$((pass + 1))
|
||||
done
|
||||
|
||||
for f in fail/*.fch; do
|
||||
for f in fail/*.fch new/fail/*.fch; do
|
||||
expect=$(head -1 "$f" | sed -n 's|^// expect: ||p')
|
||||
got=$("$FINCH" run "$f" < /dev/null 2>&1)
|
||||
status=$?
|
||||
|
|
@ -52,5 +55,28 @@ for f in fail/*.fch; do
|
|||
fi
|
||||
done
|
||||
|
||||
# the same programs with debug info (-g -O0): the metadata has to be valid for every kind of thing a program has
|
||||
for f in new/enums.fch new/generics.fch new/std_json.fch run/basics.fch run/methods_basic.fch run/maps.fch run/errors.fch \
|
||||
run/defer.fch run/c_structs.fch run/memory.fch; do
|
||||
input="${f%.fch}.in"
|
||||
[ -f "$input" ] || input=/dev/null
|
||||
if "$FINCH" build "$f" -g -O0 -o "$tmp/progg" > "$tmp/err" 2>&1 && [ "$("$tmp/progg" < "$input" 2>&1)" == "$(cat "${f%.fch}.out")" ]; then
|
||||
pass=$((pass + 1))
|
||||
else
|
||||
failed=$((failed + 1))
|
||||
echo "FAIL (-g) $f"
|
||||
head -3 "$tmp/err"
|
||||
fi
|
||||
done
|
||||
|
||||
# a library a C program loads (finch build --shared)
|
||||
if FINCH="$FINCH" ./shared.sh > "$tmp/shared.out" 2>&1; then
|
||||
pass=$((pass + 1))
|
||||
else
|
||||
failed=$((failed + 1))
|
||||
echo "FAIL shared.sh"
|
||||
head -5 "$tmp/shared.out"
|
||||
fi
|
||||
|
||||
echo "$pass passed, $failed failed"
|
||||
[ $failed -eq 0 ]
|
||||
|
|
|
|||
|
|
@ -4,6 +4,7 @@
|
|||
set -e
|
||||
cd "$(dirname "$0")/shared"
|
||||
FINCH=${FINCH:-../../build/finch}
|
||||
export FINCH_RT=${FINCH_RT:-$PWD/../../runtime/finch_rt.c}
|
||||
tmp=$(mktemp -d)
|
||||
trap 'rm -rf "$tmp"' EXIT
|
||||
"$FINCH" build mod.fch --shared -o "$tmp/libmod.so"
|
||||
|
|
|
|||
Loading…
Reference in a new issue