#!/bin/sh

# Compile a dependency, controllers, and a worker loaded after dispatch starts.

set -eu

emulator=${RAD_EMULATOR:-emulator}

harts=${1:-1 2 8}

work=$(mktemp -d)

trap 'rm -rf "$work"' EXIT HUP INT TERM

for package in spin job; do

    mkdir "$work/$package"

    cp "test/cycles/$package.rad" "$work/$package.rad"

    cp kernel/kernel/abi.rad kernel/kernel/sys.rad "$work/$package/"

    set -- -pkg support -mod test/cycles/support.rad -pkg "$package" -mod "$work/$package.rad" \

        -mod "$work/$package/abi.rad" -mod "$work/$package/sys.rad"

    if [ "$package" = spin ]; then

        cp kernel/mmio.rad "$work/spin/"

        set -- "$@" -mod "$work/spin/mmio.rad"

    fi

    "$emulator" -memory-size=385024 -data-size=348160 -stack-size=1024 -run bin/radiance.rv64.dev "$@" -entry "$package" -ril "$work"

done

mkdir "$work/kernel"

cp kernel/kernel.rad "$work/kernel.rad"

printf '\nexport mod dispatchcheck;\nexport mod dispatchinput;\nexport mod invariants;\n' >> "$work/kernel.rad"

cp kernel/kernel/*.rad "$work/kernel/"

cp test/cycles/kernel/dispatchcheck.rad test/smp/kernel/invariants.rad "$work/kernel/"

for package in support spin job; do

    length=$(wc -c < "$work/$package.ril")

    printf '/// Complete trusted %s package.\nexport static %s: [u8; %s] = [\n' "$package" "$package" "$length" >> "$work/kernel/dispatchinput.rad"

    od -An -v -tu1 "$work/$package.ril" | awk '{ for (i = 1; i <= NF; i++) printf "%s,", $i; print "" }' >> "$work/kernel/dispatchinput.rad"

    printf '];\n' >> "$work/kernel/dispatchinput.rad"

done

sh test/acceptance/compile "$emulator" "$work"

cat test/cycles/machine.ras kernel/kernel/*.ras > "$work/cycles.ras"

"$emulator" -memory-size=385024 -data-size=348160 -stack-size=1024 -run bin/kernel.build.rv64 \

    -- "$work/std.ril" "$work/kernel.ril" "$work/cycles.ras" "$work/cycles.rv64"

for count in $harts; do

    if [ "${KERNEL_REPLAY:-0}" = 1 ]; then

        sh test/acceptance/replay cycles "$emulator" "$work/cycles.rv64" "$count" -max-steps=10000000000

    else

        "$emulator" -machine -harts="$count" -memory-size=262144 -max-steps=10000000000 -run "$work/cycles.rv64"

    fi

    printf 'cycles: %s-hart load, spawn, yield, fault, and recovery passed\n' "$count"

done