blob: 91929b6dedf3d3dca8e06b217575f016919fbc5b (
plain) (
tree)
|
|
#!/bin/sh
# Build and test all included SubX programs:
# translate them into ELF binaries
# compare the generated binaries with what's already in git
# run/test the ELF binaries in emulated mode (unless $NO_EMULATION)
# run/test the ELF binaries in native mode (if on Linux)
#
# Example usage:
# test_apps # compare generated binaries, run them in emulated and native mode
# test_apps record # run binaries in emulated and native mode
# NO_EMULATION=1 test_apps # compare generated binaries, run them in native mode
# NO_EMULATION=1 test_apps record # run binaries just in native mode
set -e
cd `dirname $0`
test $NO_EMULATION || EMULATED=1
test $EMULATED && echo 'testing emulated runs'
test `uname` = 'Linux' && NATIVE=1
test $NATIVE && echo 'testing native runs'
./build
echo "== translating and running using C++"
# example programs
echo ex1
./subx translate examples/ex1.subx -o examples/ex1
test "$1" = 'record' || git diff --exit-code examples/ex1
test $EMULATED && {
./subx run examples/ex1 || ret=$?
test $ret -eq 42 # life, the universe and everything
}
test $NATIVE && {
examples/ex1 || ret=$?
test $ret -eq 42 # life, the universe and everything
}
echo ex2
./subx translate examples/ex2.subx -o examples/ex2
test "$1" = 'record' || git diff --exit-code examples/ex2
test $EMULATED && {
./subx run examples/ex2 || ret=$?
test $ret -eq 2 # 1 + 1
}
test $NATIVE && {
examples/ex2 || ret=$?
test $ret -eq 2 # 1 + 1
}
echo ex3
./subx translate examples/ex3.subx -o examples/ex3
test "$1" = 'record' || git diff --exit-code examples/ex3
test $EMULATED && {
./subx run examples/ex3 || ret=$?
test $ret -eq 55 # 1 + 2 + ... + 10
}
test $NATIVE && {
examples/ex3 || ret=$?
test $ret -eq 55 # 1 + 2 + ... + 10
}
echo ex4
./subx translate examples/ex4.subx -o examples/ex4
test "$1" = 'record' || git diff --exit-code examples/ex4
test $EMULATED && {
echo a | ./subx run examples/ex4 >ex4.out || true
test `cat ex4.out` = 'a'
}
test $NATIVE && {
echo a | examples/ex4 >ex4.out || true
test `cat ex4.out` = 'a'
}
echo ex5
./subx translate examples/ex5.subx -o examples/ex5
test "$1" = 'record' || git diff --exit-code examples/ex5
test $EMULATED && {
echo a | ./subx run examples/ex5 >ex5.out || true
test `cat ex5.out` = 'a'
}
test $NATIVE && {
echo a | examples/ex5 >ex5.out || true
test `cat ex5.out` = 'a'
}
echo ex6
./subx translate examples/ex6.subx -o examples/ex6
test "$1" = 'record' || git diff --exit-code examples/ex6
test $EMULATED && {
./subx run examples/ex6 >ex6.out || true
test "`cat ex6.out`" = 'Hello, world!'
}
test $NATIVE && {
examples/ex6 >ex6.out || true
test "`cat ex6.out`" = 'Hello, world!'
}
echo ex7
./subx translate examples/ex7.subx -o examples/ex7
test "$1" = 'record' || git diff --exit-code examples/ex7
test $EMULATED && {
./subx run examples/ex7 || ret=$?
test $ret -eq 97 # 'a'
}
test $NATIVE && {
examples/ex7 || ret=$?
test $ret -eq 97 # 'a'
}
echo ex8
./subx translate examples/ex8.subx -o examples/ex8
test "$1" = 'record' || git diff --exit-code examples/ex8
test $EMULATED && {
./subx run examples/ex8 abcd || ret=$?
test $ret -eq 4 # length('abcd')
}
test $NATIVE && {
examples/ex8 abcd || ret=$?
test $ret -eq 4 # length('abcd')
}
echo ex9
./subx translate examples/ex9.subx -o examples/ex9
test "$1" = 'record' || git diff --exit-code examples/ex9
test $EMULATED && {
./subx run examples/ex9 z x || ret=$?
test $ret -eq 2 # 'z' - 'x'
}
test $NATIVE && {
examples/ex9 z x || ret=$?
test $ret -eq 2 # 'z' - 'x'
}
echo ex10
./subx translate examples/ex10.subx -o examples/ex10
test "$1" = 'record' || git diff --exit-code examples/ex10
test $EMULATED && {
./subx run examples/ex10 abc abc || ret=$?
test $ret -eq 1 # equal
./subx run examples/ex10 abc abcd # 0; not equal
}
test $NATIVE && {
examples/ex10 abc abc || ret=$?
test $ret -eq 1 # equal
examples/ex10 abc abcd # 0; not equal
}
echo ex11
./subx translate examples/ex11.subx -o examples/ex11
test "$1" = 'record' || git diff --exit-code examples/ex11
test $EMULATED && {
./subx run examples/ex11
echo
}
test $NATIVE && {
examples/ex11
echo
}
echo ex12
./subx translate examples/ex12.subx -o examples/ex12
test "$1" = 'record' || git diff --exit-code examples/ex12
test $EMULATED && ./subx run examples/ex12 # final byte of mmap'd address is well-nigh guaranteed to be 0
test $NATIVE && examples/ex12
# Larger apps that use the standard library.
echo factorial
./subx translate 0*.subx apps/factorial.subx -o apps/factorial
test "$1" = 'record' || git diff --exit-code apps/factorial
test $EMULATED && {
./subx run apps/factorial || ret=$?
test $ret -eq 120 # factorial(5)
./subx run apps/factorial test
echo
}
test $NATIVE && {
apps/factorial || ret=$?
test $ret -eq 120 # factorial(5)
apps/factorial test
echo
}
echo crenshaw2-1
./subx translate 0*.subx apps/crenshaw2-1.subx -o apps/crenshaw2-1
test "$1" = 'record' || git diff --exit-code apps/crenshaw2-1
test $EMULATED && {
./subx run apps/crenshaw2-1 test
echo
}
test $NATIVE && {
apps/crenshaw2-1 test
echo
}
echo crenshaw2-1b
./subx translate 0*.subx apps/crenshaw2-1b.subx -o apps/crenshaw2-1b
test "$1" = 'record' || git diff --exit-code apps/crenshaw2-1b
test $EMULATED && {
./subx run apps/crenshaw2-1b test
echo
}
test $NATIVE && {
apps/crenshaw2-1b test
echo
}
echo handle
./subx translate 0*.subx apps/handle.subx -o apps/handle
test "$1" = 'record' || git diff --exit-code apps/handle
test $EMULATED && {
./subx run apps/handle > handle.out 2>&1 || true
grep -q 'lookup succeeded' handle.out || { echo "missing success test"; exit 1; }
grep -q 'lookup failed' handle.out || { echo "missing failure test"; exit 1; }
}
test $NATIVE && {
apps/handle > handle.out 2>&1 || true
grep -q 'lookup succeeded' handle.out || { echo "missing success test"; exit 1; }
grep -q 'lookup failed' handle.out || { echo "missing failure test"; exit 1; }
}
# Phases of the self-hosted SubX translator.
echo hex
./subx translate 0*.subx apps/subx-common.subx apps/hex.subx -o apps/hex
test "$1" = 'record' || git diff --exit-code apps/hex
test $EMULATED && {
./subx run apps/hex test
echo
}
test $NATIVE && {
apps/hex test
echo
}
echo survey
./subx translate 0*.subx apps/subx-common.subx apps/survey.subx -o apps/survey
test "$1" = 'record' || git diff --exit-code apps/survey
test $EMULATED && {
./subx run apps/survey test
echo
}
test $NATIVE && {
apps/survey test
echo
}
echo pack
./subx translate 0*.subx apps/subx-common.subx apps/pack.subx -o apps/pack
test "$1" = 'record' || git diff --exit-code apps/pack
test $EMULATED && {
./subx run apps/pack test
echo
}
test $NATIVE && {
apps/pack test
echo
}
echo assort
./subx translate 0*.subx apps/subx-common.subx apps/assort.subx -o apps/assort
test "$1" = 'record' || git diff --exit-code apps/assort
test $EMULATED && {
./subx run apps/assort test
echo
}
test $NATIVE && {
apps/assort test
echo
}
echo dquotes
./subx translate 0*.subx apps/subx-common.subx apps/dquotes.subx -o apps/dquotes
test "$1" = 'record' || git diff --exit-code apps/dquotes
test $EMULATED && {
./subx run apps/dquotes test
echo
}
test $NATIVE && {
apps/dquotes test
echo
}
echo tests
./subx translate 0*.subx apps/subx-common.subx apps/tests.subx -o apps/tests
test "$1" = 'record' || git diff --exit-code apps/tests
test $EMULATED && {
./subx run apps/tests test
echo
}
test $NATIVE && {
apps/tests test
echo
}
# Higher-level syntax.
echo desugar
./subx translate 0*.subx apps/subx-common.subx apps/desugar.subx -o apps/desugar
[ "$1" != record ] && git diff --exit-code apps/desugar
./subx run apps/desugar test
echo
test `uname` = 'Linux' && {
apps/desugar test
echo
}
echo "== translating using SubX"
# example programs
echo ex1
test $EMULATED && {
cat examples/ex1.subx |./subx_bin run apps/tests |./subx_bin run apps/dquotes |./subx_bin run apps/assort |./subx_bin run apps/pack |./subx_bin run apps/survey |./subx_bin run apps/hex |diff examples/ex1 -
}
test $NATIVE && {
cat examples/ex1.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff examples/ex1 -
}
echo ex2
test $EMULATED && {
cat examples/ex2.subx |./subx_bin run apps/tests |./subx_bin run apps/dquotes |./subx_bin run apps/assort |./subx_bin run apps/pack |./subx_bin run apps/survey |./subx_bin run apps/hex |diff examples/ex2 -
}
test $NATIVE && {
cat examples/ex2.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff examples/ex2 -
}
echo ex3
test $EMULATED && {
cat examples/ex3.subx |./subx_bin run apps/tests |./subx_bin run apps/dquotes |./subx_bin run apps/assort |./subx_bin run apps/pack |./subx_bin run apps/survey |./subx_bin run apps/hex |diff examples/ex3 -
}
test $NATIVE && {
cat examples/ex3.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff examples/ex3 -
}
echo ex4
test $EMULATED && {
cat examples/ex4.subx |./subx_bin run apps/tests |./subx_bin run apps/dquotes |./subx_bin run apps/assort |./subx_bin run apps/pack |./subx_bin run apps/survey |./subx_bin run apps/hex |diff examples/ex4 -
}
test $NATIVE && {
cat examples/ex4.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff examples/ex4 -
}
echo ex5
test $EMULATED && {
cat examples/ex5.subx |./subx_bin run apps/tests |./subx_bin run apps/dquotes |./subx_bin run apps/assort |./subx_bin run apps/pack |./subx_bin run apps/survey |./subx_bin run apps/hex |diff examples/ex5 -
}
test $NATIVE && {
cat examples/ex5.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff examples/ex5 -
}
echo ex6
test $EMULATED && {
cat examples/ex6.subx |./subx_bin run apps/tests |./subx_bin run apps/dquotes |./subx_bin run apps/assort |./subx_bin run apps/pack |./subx_bin run apps/survey |./subx_bin run apps/hex |diff examples/ex6 -
}
test $NATIVE && {
cat examples/ex6.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff examples/ex6 -
}
echo ex7
test $EMULATED && {
cat examples/ex7.subx |./subx_bin run apps/tests |./subx_bin run apps/dquotes |./subx_bin run apps/assort |./subx_bin run apps/pack |./subx_bin run apps/survey |./subx_bin run apps/hex |diff examples/ex7 -
}
test $NATIVE && {
cat examples/ex7.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff examples/ex7 -
}
echo ex8
test $EMULATED && {
cat examples/ex8.subx |./subx_bin run apps/tests |./subx_bin run apps/dquotes |./subx_bin run apps/assort |./subx_bin run apps/pack |./subx_bin run apps/survey |./subx_bin run apps/hex |diff examples/ex8 -
}
test $NATIVE && {
cat examples/ex8.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff examples/ex8 -
}
echo ex9
test $EMULATED && {
cat examples/ex9.subx |./subx_bin run apps/tests |./subx_bin run apps/dquotes |./subx_bin run apps/assort |./subx_bin run apps/pack |./subx_bin run apps/survey |./subx_bin run apps/hex |diff examples/ex9 -
}
test $NATIVE && {
cat examples/ex9.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff examples/ex9 -
}
echo ex10
test $EMULATED && {
cat examples/ex10.subx |./subx_bin run apps/tests |./subx_bin run apps/dquotes |./subx_bin run apps/assort |./subx_bin run apps/pack |./subx_bin run apps/survey |./subx_bin run apps/hex |diff examples/ex10 -
}
test $NATIVE && {
cat examples/ex10.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff examples/ex10 -
}
# Only native runs beyond this point. Emulated runs time out on travis-ci.org.
test $EMULATED && echo "skipping remaining runs in emulated mode"
test $NATIVE || exit 0
echo ex11
cat examples/ex11.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff examples/ex11 -
echo ex12
cat examples/ex12.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff examples/ex12 -
# Larger apps that use the standard library.
echo factorial
cat 0*.subx apps/factorial.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/factorial -
echo crenshaw2-1
cat 0*.subx apps/crenshaw2-1.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/crenshaw2-1 -
echo crenshaw2-1b
cat 0*.subx apps/crenshaw2-1b.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/crenshaw2-1b -
echo handle
cat 0*.subx apps/handle.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/handle -
# Phases of the self-hosted SubX translator.
echo hex
cat 0*.subx apps/subx-common.subx apps/hex.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/hex -
echo survey
cat 0*.subx apps/subx-common.subx apps/survey.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/survey -
echo pack
cat 0*.subx apps/subx-common.subx apps/pack.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/pack -
echo assort
cat 0*.subx apps/subx-common.subx apps/assort.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/assort -
echo dquotes
cat 0*.subx apps/subx-common.subx apps/dquotes.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/dquotes -
echo tests
cat 0*.subx apps/subx-common.subx apps/tests.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/tests -
# Higher-level syntax.
echo desugar
cat 0*.subx apps/subx-common.subx apps/desugar.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/desugar -
exit 0
|