compiler/ kernel/ lib/ scripts/ seed/ sublime/ test/ acceptance/ boot/ bootstrap/ cycles/ dispatch/ loader/ mmio/ modules/ native/ packages/ pages/ runtime/ scheduling/ shared/ slots/ abandon.rad 355 B duplicate.rad 445 B run 837 B smp/ sync/ termination/ tests/ trap/ run 2.7 KiB runner.rad 10.3 KiB vim/ .gitignore 336 B .gitsigners 112 B CONTRIBUTING 2.1 KiB LICENSE 1.1 KiB Makefile 10.2 KiB README 2.5 KiB STYLE 2.5 KiB std.lib 1.5 KiB std.lib.test 551 B
test/slots/run 837 B raw
1 
#!/bin/sh
2 
# Check that reservation misuse fails during compilation.
3 
set -eu
4 
emulator=$1
5 
shift
6 
work=$(mktemp -d)
7 
trap 'rm -rf "$work"' EXIT HUP INT TERM
8 
for name in duplicate abandon; do
9 
    case "$name" in
10 
        duplicate) diagnostic='linear value used after consumption' ;;
11 
        abandon) diagnostic='linear value is not consumed' ;;
12 
    esac
13 
    if "$emulator" -memory-size=385024 -data-size=348160 -stack-size=1024 \
14 
        -run bin/radiance.rv64.dev "$@" -test \
15 
        -pkg "$name" -mod "test/slots/$name.rad" -entry "$name" \
16 
        -o "$work/test.rv64" > "$work/log" 2>&1; then
17 
        printf 'reservation misuse compiled: %s\n' "$name" >&2
18 
        exit 1
19 
    fi
20 
    if ! grep -q "$diagnostic" "$work/log"; then
21 
        cat "$work/log" >&2
22 
        exit 1
23 
    fi
24 
    printf 'reservation rejection: %s passed\n' "$name"
25 
done