nanofil/nix/lua.nix

Lua 5.4 built entirely through the shared nanofil-cc wrapper. Compare deterministic float/format/libm scripts with filcc, and run Lua's unchanged official basic suite on both builds, plain and under GC stress. Once per middle-end, register and check-reuse choice, each in its own derivation (configurations.nix), whose outputs the check links under their labels. reference is exposed so the harness and upstream suite can be checked before the compiler is ready.

λpkgs, filcc

assert pkgs.lua5_4.version ≡ "5.4.7"

let

11src=

pkgs.lua5_4.src

12officialTests=

pkgs.fetchurl

13url=

"https://www.lua.org/tests/lua-5.4.7-tests.tar.gz"

14hash=

"sha256-ikiY/+THYTyACTJ6ByLbekHvhh1SbHfFtGEU5Z6/gR4="

used by reference

16scripts=

../tests/lua

used by reference

No readline dependency or source patches. LUA_USE_LINUX enables the normal POSIX and dlopen interfaces; _U skips the suite's C extensions. Use Lua's supported switch dispatch: GNU label addresses are not C99 and are outside nanofil's frontend contract. Both builds use it.

21flags=

"-O2 -std=gnu99 -DLUA_USE_LINUX -DLUA_USE_JUMPTABLE=0"

used by reference

22reference=

pkgs.runCommandCC"nanofil-lua-reference" inherit src;

mkdir lua official

tar -xf $src -C lua --strip-components=1

tar -xf ${officialTests} -C official --strip-components=1

make -C lua/src -j$NIX_BUILD_CORES CC=${filcc}/bin/clang \

CFLAGS="${flags}" SYSLIBS="-Wl,-E -ldl" all

mkdir -p $out/bin

cp lua/src/lua lua/src/luac $out/bin/

bash ${scripts}/check.sh $out/bin/lua $out/bin/lua official $out/check

uses flags officialTests scripts

32configurations=

33plain=

34optimized=

"-O"

35branches-reference=

"-O --branches=reference"

36stack-optimized=

"-O --registers=stack"

37reuse-plain=

"--checks=reuse"

38reuse-optimized=

"-O --checks=reuse"

39refchecks-optimized=

"-O --checks=reference"

40half-optimized=

"-O --checks=half"

41temps-optimized=

"-O --registers=temps"

import./configurations.nix inherit pkgs; "nanofil-lua" configurations label: opt: pkgs.runCommandCC"nanofil-lua-${label}" inherit src; '' cc=${import./nanofil-cc.nix inherit pkgs filcc;} mkdir official $out tar -xf ${officialTests} -C official --strip-components=1 echo "== Lua 5.4.7, nanofil ${opt}" mkdir lua tar -xf $src -C lua --strip-components=1 export NANOFIL_OPT="${opt}" NANOFIL_LOG=$PWD/nanofil.log make -C lua/src -j$NIX_BUILD_CORES CC=$cc \ CFLAGS="${flags}" SYSLIBS="-Wl,-E -ldl" all # Compare names, not just counts: not one Lua object may come from # a configure probe or a silent fallback to clang. find lua/src -name '*.o' -printf '%f\n' | sort >objects sort -u nanofil.log >compiled test -s objects diff -u objects compiled echo "nanofil compiled every one of $(wc -l <objects) Lua objects (${label})" mkdir -p $out/bin cp lua/src/lua lua/src/luac $out/bin/ cp compiled $out/compiled-objects.txt bash ${scripts}/check.sh ${reference}/bin/lua "$PWD/lua/src/lua" \ official $out/check ''.overrideAttrsold: passthru = old.passthru // inherit reference;;