about summary refs log tree commit diff stats
path: root/linux/test_apps_emulated
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2021-03-03 22:09:50 -0800
committerKartik K. Agaram <vc@akkartik.com>2021-03-03 22:21:03 -0800
commit71e4f3812982dba2efb471283d310224e8db363e (patch)
treeea111a1acb8b8845dbda39c0e1b4bac1d198143b /linux/test_apps_emulated
parentc6b928be29ac8cdb4e4d6e1eaa20420ff03e5a4c (diff)
downloadmu-71e4f3812982dba2efb471283d310224e8db363e.tar.gz
7842 - new directory organization
Baremetal is now the default build target and therefore has its sources
at the top-level. Baremetal programs build using the phase-2 Mu toolchain
that requires a Linux kernel. This phase-2 codebase which used to be at
the top-level is now under the linux/ directory. Finally, the phase-2 toolchain,
while self-hosting, has a way to bootstrap from a C implementation, which
is now stored in linux/bootstrap. The bootstrap C implementation uses some
literate programming tools that are now in linux/bootstrap/tools.

So the whole thing has gotten inverted. Each directory should build one
artifact and include the main sources (along with standard library). Tools
used for building it are relegated to sub-directories, even though those
tools are often useful in their own right, and have had lots of interesting
programs written using them.

A couple of things have gotten dropped in this process:
  - I had old ways to run on just a Linux kernel, or with a Soso kernel.
    No more.
  - I had some old tooling for running a single test at the cursor. I haven't
    used that lately. Maybe I'll bring it back one day.

The reorg isn't done yet. Still to do:
  - redo documentation everywhere. All the README files, all other markdown,
    particularly vocabulary.md.
  - clean up how-to-run comments at the start of programs everywhere
  - rethink what to do with the html/ directory. Do we even want to keep
    supporting it?

In spite of these shortcomings, all the scripts at the top-level, linux/
and linux/bootstrap are working. The names of the scripts also feel reasonable.
This is a good milestone to take stock at.
Diffstat (limited to 'linux/test_apps_emulated')
-rwxr-xr-xlinux/test_apps_emulated295
1 files changed, 295 insertions, 0 deletions
diff --git a/linux/test_apps_emulated b/linux/test_apps_emulated
new file mode 100755
index 00000000..9a488c2f
--- /dev/null
+++ b/linux/test_apps_emulated
@@ -0,0 +1,295 @@
+#!/bin/sh
+# Build and test all included SubX programs on non-Linux platforms:
+#   translate them into ELF binaries
+#   if possible, compare the generated binaries with what's already in git
+#   run/test the ELF binaries in emulated mode
+#
+# Example usage:
+#   test_apps_emulated
+#   test_apps_emulated record  # don't compare with what's in git
+#
+# This script is slow. 20+ times slower than running natively on Linux.
+
+set -e
+cd `dirname $0`
+
+echo "== translating using the bootstrap C++ translator"
+
+# example programs
+
+echo ex1
+bootstrap/bootstrap translate 000init.subx ex1.subx  -o ex1
+{
+  bootstrap/bootstrap run ex1  ||  ret=$?
+  test $ret -eq 42  # life, the universe and everything
+}
+
+echo ex2
+bootstrap/bootstrap translate 000init.subx ex2.subx  -o ex2
+{
+  bootstrap/bootstrap run ex2  ||  ret=$?
+  test $ret -eq 7  # 3 + 4
+}
+
+echo ex3
+bootstrap/bootstrap translate 000init.subx ex3.subx  -o ex3
+{
+  bootstrap/bootstrap run ex3  ||  ret=$?
+  test $ret -eq 55  # 1 + 2 + ... + 10
+}
+
+echo ex4
+bootstrap/bootstrap translate 000init.subx ex4.subx  -o ex4
+{
+  echo a | bootstrap/bootstrap run ex4 >ex4.out  ||  true
+  test `cat ex4.out` = 'a'
+}
+
+echo ex5
+bootstrap/bootstrap translate 000init.subx ex5.subx  -o ex5
+{
+  echo a | bootstrap/bootstrap run ex5 >ex5.out  ||  true
+  test `cat ex5.out` = 'a'
+}
+
+echo ex6
+bootstrap/bootstrap translate 000init.subx ex6.subx  -o ex6
+{
+  bootstrap/bootstrap run ex6 >ex6.out  ||  true
+  test "`cat ex6.out`" = 'Hello, world!'
+}
+
+echo ex7
+bootstrap/bootstrap translate 000init.subx ex7.subx  -o ex7
+{
+  bootstrap/bootstrap run ex7  ||  ret=$?
+  test $ret -eq 97  # 'a'
+}
+
+echo ex8
+bootstrap/bootstrap translate 000init.subx ex8.subx  -o ex8
+{
+  bootstrap/bootstrap run ex8 abcd  ||  ret=$?
+  test $ret -eq 4  # length('abcd')
+}
+
+echo ex9
+bootstrap/bootstrap translate 000init.subx ex9.subx  -o ex9
+{
+  bootstrap/bootstrap run ex9 z x  ||  ret=$?
+  test $ret -eq 2  # 'z' - 'x'
+}
+
+echo ex10
+bootstrap/bootstrap translate 000init.subx ex10.subx  -o ex10
+{
+  bootstrap/bootstrap run ex10 abc abc  ||  ret=$?
+  test $ret -eq 1  # equal
+  bootstrap/bootstrap run ex10 abc abcd  # 0; not equal
+}
+
+echo ex11
+bootstrap/bootstrap translate 000init.subx ex11.subx  -o ex11
+{
+  bootstrap/bootstrap run ex11
+  echo
+}
+
+echo ex12
+bootstrap/bootstrap translate 000init.subx ex12.subx  -o ex12
+test $EMULATED  &&  bootstrap/bootstrap run ex12  # final byte of mmap'd address is well-nigh guaranteed to be 0
+test $NATIVE  &&  ex12
+
+echo ex13
+bootstrap/bootstrap translate 000init.subx ex13.subx  -o ex13
+{
+  bootstrap/bootstrap run ex13  ||  ret=$?
+  test $ret -eq 1  # 3 == 3
+}
+
+# Larger apps that use the standard library.
+
+echo factorial
+bootstrap/bootstrap translate [01]*.subx factorial.subx  -o factorial
+{
+  bootstrap/bootstrap run factorial  ||  ret=$?
+  test $ret -eq 120  # factorial(5)
+  bootstrap/bootstrap run factorial test
+  echo
+}
+
+echo crenshaw2-1
+bootstrap/bootstrap translate [01]*.subx crenshaw2-1.subx  -o crenshaw2-1
+{
+  bootstrap/bootstrap run crenshaw2-1 test
+  echo
+}
+
+echo crenshaw2-1b
+bootstrap/bootstrap translate [01]*.subx crenshaw2-1b.subx  -o crenshaw2-1b
+{
+  bootstrap/bootstrap run crenshaw2-1b test
+  echo
+}
+
+echo random
+bootstrap/bootstrap translate [01]*.subx random.subx  -o random
+# don't run
+
+# Phases of the self-hosted SubX translator.
+
+for phase in hex survey_elf pack assort dquotes tests
+do
+  echo $phase
+  bootstrap/bootstrap translate [01]*.subx subx-params.subx $phase.subx -o $phase
+  test "$1" = 'record'  ||  git diff --exit-code $phase
+  {
+    bootstrap/bootstrap run $phase test
+    echo
+  }
+done
+
+# One phase variant for translating SubX to baremetal. (Other phases are reused.)
+
+for phase in survey_baremetal
+do
+  echo $phase
+  bootstrap/bootstrap translate [01]*.subx subx-params.subx $phase.subx -o $phase
+  test "$1" = 'record'  ||  git diff --exit-code $phase
+  {
+    bootstrap/bootstrap run $phase test
+    echo
+  }
+done
+
+# Higher-level syntax.
+
+# Certain phases of translation run native beyond this point. We're starting
+# to go beyond functionality of the C++ bootstrap_bin.
+
+echo sigils
+bootstrap/bootstrap translate [012]*.subx subx-params.subx sigils.subx  -o sigils
+test "$1" = 'record'  ||  git diff --exit-code sigils
+{
+  bootstrap/bootstrap run sigils test
+  echo
+}
+
+echo calls
+cat [012]*.subx subx-params.subx calls.subx  |  bootstrap/bootstrap run sigils  > a.sigils
+bootstrap/bootstrap translate a.sigils -o calls
+test "$1" = 'record'  ||  git diff --exit-code calls
+{
+  bootstrap/bootstrap run calls test
+  echo
+}
+
+echo braces
+                                                 # bootstrap/bootstrap wrapper script can't have multiple copies running concurrently
+cat [012]*.subx subx-params.subx braces.subx  |  bootstrap/bootstrap_bin run calls  |  bootstrap/bootstrap_bin run sigils  > a.sigils
+bootstrap/bootstrap translate a.sigils -o braces
+test "$1" = 'record'  ||  git diff --exit-code braces
+{
+  bootstrap/bootstrap run braces test
+  echo
+}
+
+echo mu
+cat [0-2]*.subx mu.subx  |  bootstrap/bootstrap_bin run braces  |  bootstrap/bootstrap_bin run calls  |  bootstrap/bootstrap_bin run sigils  > a.sigils
+bootstrap/bootstrap translate a.sigils -o mu
+test "$1" = 'record'  ||  git diff --exit-code mu
+{
+  bootstrap/bootstrap run mu test
+  echo
+}
+
+echo "== translating using the self-hosted translator"
+
+# example programs
+
+for n in `seq 1 12`
+do
+  echo ex$n
+  ./translate_subx_emulated 000init.subx ex$n.subx
+  diff ex$n a.elf
+done
+
+# Larger apps that use the standard library.
+
+for app in factorial crenshaw2-1 crenshaw2-1b
+do
+  echo $app
+  ./translate_subx_emulated [01]*.subx $app.subx
+  diff $app a.elf
+done
+
+# Phases of the self-hosted SubX translator.
+
+for app in hex survey_elf pack assort dquotes tests
+do
+  echo $app
+  ./translate_subx_emulated [01]*.subx subx-params.subx $app.subx
+  diff $app a.elf
+done
+
+# One phase variant for translating SubX to baremetal. (Other phases are reused.)
+
+for app in survey_baremetal
+do
+  echo $app
+  ./translate_subx_emulated [01]*.subx subx-params.subx $app.subx
+  diff $app a.elf
+done
+
+for app in sigils calls braces
+do
+  echo $app
+  ./translate_subx_emulated [012]*.subx subx-params.subx $app.subx
+  diff $app a.elf
+done
+
+# Mu translator
+echo mu
+./translate_subx_emulated [0-2]*.subx mu.subx
+diff mu a.elf
+
+# Mu programs
+
+echo ex1.mu
+./translate_emulated ex1.mu
+{
+  bootstrap/bootstrap run a.elf  ||  ret=$?
+  test $ret -eq 42  # life, the universe and everything
+}
+
+echo ex2.mu
+./translate_emulated ex2.mu
+{
+  bootstrap/bootstrap run a.elf  ||  ret=$?
+  test $ret -eq 7
+}
+
+echo ex3.mu
+./translate_emulated ex3.mu
+{
+  bootstrap/bootstrap run a.elf  ||  ret=$?
+  test $ret -eq 55
+}
+
+echo ex3.2.mu
+./translate_emulated ex3.2.mu
+{
+  bootstrap/bootstrap run a.elf  ||  ret=$?
+  test $ret -eq 55
+}
+
+echo factorial.mu
+./translate_emulated factorial.mu
+{
+  bootstrap/bootstrap run a.elf  ||  ret=$?
+  test $ret -eq 120
+  bootstrap/bootstrap run a.elf test
+  echo
+}
+
+exit 0