51 lines
2.9 KiB
Bash
Executable file
51 lines
2.9 KiB
Bash
Executable file
#!/bin/bash
|
|
# run.sh <relax binary> <w32|w64> [workdir]: web_std.rs under Relax's web std against rustc's.
|
|
# Reference: web_std.rs built by rustc as a wasm32-unknown-unknown cdylib and run in node (host.js; both
|
|
# widths compare to it: the program prints nothing that depends on the pointer width). Relax: `run`
|
|
# under MAKEPAD_RUN_CHECK_TARGET=wasm{32,64}-unknown-unknown (w64 executes natively; w32 needs the
|
|
# 32-bit execution mode); js_console_log writes to stderr. The lines the panicking calls print
|
|
# (RELAX-ONLY, rustc aborts there) are compared with relax_only.expected.
|
|
# REF=<file>: a reference output made elsewhere. Prints "web_std <w>: N lines equal" or the diff.
|
|
set -u
|
|
H=$(cd "$(dirname "$0")" && pwd)
|
|
B=$1
|
|
W=$2
|
|
T=${3:-$(mktemp -d)}
|
|
mkdir -p "$T"
|
|
case "$W" in w32) TRIPLE=wasm32-unknown-unknown ;; w64) TRIPLE=wasm64-unknown-unknown ;; *) echo "usage: run.sh <binary> <w32|w64> [workdir]"; exit 2 ;; esac
|
|
if [ -n "${REF:-}" ]; then
|
|
cp "$REF" "$T/ref.out"
|
|
else
|
|
rustc --edition 2021 -O --cfg std_reference --target wasm32-unknown-unknown --crate-type cdylib -C link-arg=--import-undefined "$H/web_std.rs" -o "$T/ref.wasm" 2>"$T/rustc.err" || { cat "$T/rustc.err"; exit 2; }
|
|
node "$H/host.js" "$T/ref.wasm" > "$T/ref.out" || exit 2
|
|
fi
|
|
mkdir -p "$T/u"
|
|
cat > "$T/u/units.json" <<J
|
|
{"version":1,"roots":[0],"units":[{"pkg_id":"path+file://$T#web_std@0.0.0","target":{"kind":["bin"],"name":"web_std","src_path":"$H/web_std.rs","edition":"2021"},"mode":"build","features":[],"dependencies":[]}]}
|
|
J
|
|
MAKEPAD_RUN_CHECK_TARGET=$TRIPLE MAKEPAD_RUN_STD=$H/../../std MAKEPAD_RUN_CACHE_DIR=$T/tgt "$B" run --quiet --units "$T/u/units.json" web_std --release > "$T/relax.stdout" 2>"$T/relax.err"
|
|
rc=$?
|
|
sed -n '/^web_std start/,/^web_std end/p' "$T/relax.err" > "$T/relax.all"
|
|
# (the runner's panic-park notices are on the same stream)
|
|
grep -v '^RELAX-ONLY\|^makepad:\|^ report:' "$T/relax.all" > "$T/relax.out"
|
|
grep '^RELAX-ONLY' "$T/relax.all" > "$T/relax.only"
|
|
n=$(grep -c . "$T/ref.out")
|
|
fail=0
|
|
if ! diff "$T/ref.out" "$T/relax.out" > "$T/diff"; then
|
|
grep '^[<>]' "$T/diff" | head -80
|
|
fail=1
|
|
fi
|
|
if [ $fail -eq 0 ] && [ $rc -eq 0 ]; then
|
|
echo "web_std $W: $n lines equal"
|
|
else
|
|
grep -E "error|panic" "$T/relax.err" | head -5
|
|
echo "web_std $W: FAILED (exit $rc, $n reference lines; logs in $T)"
|
|
exit 1
|
|
fi
|
|
|
|
MAKEPAD_RUN_WASM_EXPORT=$T/relax.wasm MAKEPAD_RUN_SPEC=0 MAKEPAD_RUN_O1=always MAKEPAD_RUN_O3=0 MAKEPAD_RUN_CHECK_TARGET=$TRIPLE MAKEPAD_RUN_STD=$H/../../std MAKEPAD_RUN_CACHE_DIR=$T/tgt-export "$B" run --quiet --no-live --units "$T/u/units.json" web_std --release > /dev/null 2> "$T/export.err" || { tail -40 "$T/export.err"; exit 1; }
|
|
node "$H/host.js" "$T/relax.wasm" > "$T/export.out" || exit 1
|
|
diff "$T/ref.out" "$T/export.out" || exit 1
|
|
node "$H/host.js" "$T/relax.wasm" probes > "$T/export.only" || exit 1
|
|
diff "$H/relax_only.expected" "$T/export.only" || exit 1
|
|
echo "web_std $W export: $n lines equal; 13 hook-before-abort probes passed"
|