nanofil/bench/profile/default.nix
The benchmark's programs built by a marked nanofil for instruction attribution (docs/perf.md): marks.patch puts a local label before each IR instruction, ABI action, jump part and frame-slot access. The post-emission passes run without the marks and remark.py puts them back, so the code is the unmarked compiler's. Objects carry each instruction's line in the marked .s, kept in s/, as DWARF line info (loc.awk).
nix build --impure -f nanofil/bench/profile -o nanofil/bench/profile/out nix build --impure -f nanofil/bench/profile --argstr opt "-O --registers=stack" ...
λflake?, pkgs?, filcc?, opt?
| flake | default builtins.getFlaketoString../../.. |
| pkgs | default importflake.inputs.nixpkgs system = "x86_64-linux"; |
| filcc | default flake.packages.x86_64-linux.filcc-staging |
| opt | default "-O" |
let
nanofil-cc (nix/nanofil-cc.nix), but marked (remark.py), with line info (loc.awk), keeping .s.
pkgs.writeShellScript"nanofil-cc-marked"
set -eu
export NANOFIL_STATE=${marked}/nanofil.state
out= src= compile= args=()
while [ $# -gt 0 ]; do
case $1 in
-c) compile=1 ;;
-o) out=$2; shift ;;
*.c) src=$1; args+=("$1") ;;
*) args+=("$1") ;;
esac
shift
done
if [ -z "$compile" ] || [ -z "$src" ]; then
exec ${filcc}/bin/clang "''${args[@]}" ''${out:+-o "$out"}
fi
: "''${out:=$(basename "''${src%.c}").o}"
${filcc}/bin/clang "''${args[@]}" -E -o "$out.i"
input=$(realpath "$out.i")
(cd ${marked}/nanofil/src && ../bin/nanofil ''${NANOFIL_OPT:-} cc "$input" \
</dev/null) >"$out.pre.s"
${pkgs.python3}/bin/python3 ${./remark.py} "$out.pre.s" "$out.s"
rm "$out.pre.s"
# as -g would number lines past valgrind's 20 bits (loc.awk).
as -o "$out" "$out.loc.s"
rm "$out.loc.s"
rm "$out.i"
uses marked
in
pkgs.linkFarm"nanofil-profile"