mirror of
https://github.com/bherbruck/solidcraft.git
synced 2026-11-15 13:10:45 +00:00
Brennen Herbruck
916b91e8d0
solidcore's main at c0d3cc0124, rewritten to one commit per same-author run per PR (2,800 commits, author credit kept; tree identical). Full original history: tangency-labs/solidcore archive/full-history. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> git-subtree-dir: solidcore git-subtree-mainline:44525da669git-subtree-split:c440e5f892
71 lines
3.0 KiB
Bash
Executable File
Vendored
71 lines
3.0 KiB
Bash
Executable File
Vendored
#!/usr/bin/env bash
|
|
# Runs the Rust side of the goldens units natively and on wasm32-wasip1 (wasmtime) and
|
|
# compares the per-case output digests (`goldens --digest-dir`): equal digests mean
|
|
# bit-identical Rust outputs on both targets.
|
|
#
|
|
# scripts/wasm-digest.sh [--jobs N] [--out DIR] [goldens selection...] # default --all
|
|
#
|
|
# Needs `rustup target add wasm32-wasip1` and `wasmtime` on PATH. Writes DIR/{native,wasm}/<unit>.digest and
|
|
# DIR/mismatches.txt (default DIR: bin/wasm-digest); exits 1 on any mismatch.
|
|
# Works with GNU and BSD/macOS userland: resolves the upstream symlink with portable
|
|
# `pwd -P`, and appends each unit as a positional argument with xargs.
|
|
set -euo pipefail
|
|
root=$(cd "$(dirname "$0")/.." && pwd)
|
|
target=${CARGO_TARGET_DIR:-$root/bin}
|
|
jobs=2
|
|
out=$root/bin/wasm-digest
|
|
sel=()
|
|
while [ $# -gt 0 ]; do
|
|
case $1 in
|
|
--jobs) jobs=$2; shift 2 ;;
|
|
--out) out=$2; shift 2 ;;
|
|
*) sel+=("$1"); shift ;;
|
|
esac
|
|
done
|
|
[ ${#sel[@]} -gt 0 ] || sel=(--all)
|
|
mkdir -p "$out"
|
|
out=$(cd "$out" && pwd)
|
|
rm -rf "$out/native" "$out/wasm" "$out/log"
|
|
mkdir -p "$out/native" "$out/wasm" "$out/log"
|
|
|
|
cd "$root"
|
|
cargo build --profile goldens -p goldens
|
|
cargo build --profile goldens -p goldens --target wasm32-wasip1
|
|
wasm=$target/wasm32-wasip1/goldens/goldens.wasm
|
|
wasmtime compile "$wasm" -o "$out/goldens.cwasm"
|
|
|
|
"$target/goldens/goldens" "${sel[@]}" --jobs "$jobs" --digest-dir "$out/native" >"$out/log/native.txt"
|
|
# one wasmtime process per unit: a trap or abort (panic = abort on wasm32) loses one unit
|
|
ls "$out/native" | sed -n 's/\.digest$//p' >"$out/units.txt"
|
|
# WASI does not follow a symlink out of a preopened dir: map a linked upstream/ itself.
|
|
# (`readlink -f` is not available on older BSD/macOS; `pwd -P` is portable.)
|
|
up=$(cd "$root/upstream" && pwd -P)
|
|
# One unit per process: a trap or abort (panic = abort on wasm32) loses only that unit.
|
|
# The unit is a positional argument to the static helper, never interpolated into shell
|
|
# code or substituted into static paths. Nothing is written into or executed from the
|
|
# output directory. Guard empty input because xargs may otherwise run once without a unit.
|
|
if [ -s "$out/units.txt" ]; then
|
|
xargs -n 1 -P "$jobs" sh "$root/scripts/wasm-digest-unit.sh" \
|
|
"$root" "$up" "$out" <"$out/units.txt"
|
|
fi
|
|
|
|
: >"$out/mismatches.txt"
|
|
units=0 cases=0 bad=0 lost=0
|
|
while read -r id; do
|
|
units=$((units + 1))
|
|
w=$out/wasm/$id.digest
|
|
if [ ! -f "$w" ]; then
|
|
lost=$((lost + 1))
|
|
echo "$id: no wasm digest ($(tail -n 1 "$out/log/$id.txt"))" >>"$out/mismatches.txt"
|
|
continue
|
|
fi
|
|
read -r c m < <(paste "$out/native/$id.digest" "$w" | awk -F'\t' -v id="$id" -v f="$out/mismatches.txt" '
|
|
{ c++ }
|
|
$3 != $1 { print id ": case order differs at line " NR >>f; m++; next }
|
|
$2 != $4 { print id "\t" $1 "\tnative=" $2 "\twasm=" $4 >>f; m++ }
|
|
END { print c + 0, m + 0 }')
|
|
cases=$((cases + c)) bad=$((bad + m))
|
|
done <"$out/units.txt"
|
|
echo "wasm-digest: $units unit(s), $cases case(s), $bad mismatch(es), $lost unit(s) without wasm digest"
|
|
[ "$bad" -eq 0 ] && [ "$lost" -eq 0 ]
|