Merge branch 'main' of github.com:charles-rs/bril into charles-rs/main

Author: sampsyo

benchmarks/fastbril-turnt.toml

@@ -39,3 +39,8 @@ hyperfine --warmup 3 --export-json bench.json \
 rm -f {base}.json
 rm {base}"""
 output."bench.json" = "../bench.json"
+
+[envs.fastbrili]
+default = false
+command = "bril2json < {filename} | $FASTBRILI -ni -bo byte-out ; cat byte-out | $FASTBRILI -b {args} ; rm byte-out"
+output.out = "-"

benchmarks/turnt.toml

@@ -74,7 +74,7 @@ $(GEN_TEX): $(configs) docgen.sh docgen.awk
 
 clean:
 	find . -name "*.aux" -o -name "*.log" -o -name "*.pdf" -o -name  "*~" -o \
-	-name "*.gcda" -o -name "*.gcno" | xargs rm || true
+	-name "*.gcda" -o -name "*.gcno" -o -name "*.o" | xargs rm || true
 	$(RM) $(GEN_HEAD)
 	$(RM) $(GEN_TEX)
 	$(RM) -r $(BUILD_DIR)

fastbril/Makefile

@@ -0,0 +1,5 @@
+base.h
+float.h
+mem.h
+ssa.h
+types.h

fastbril/lib/base.h

@@ -1,4 +1,4 @@
-#!/usr/bin/env awk -f
+#!/usr/bin/env -S awk -f
 
 {
     if($0 != "")