pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
parse/0: instruction: 1
parse/0:   ingredient: {name: "1", type: 0}
parse/0:   product: {name: "1", type: 1}
parse/0: instruction: 1
parse/0:   ingredient: {name: "0", type: 0}
parse/0:   product: {name: "2", type: 1}
parse/0: instruction: 7
parse/0:   ingredient: {name: "1", type: 1}
parse/0:   ingredient: {name: "2", type: 1}
parse/0:   product: {name: "3", type: 1}
run/0: instruction 0
run/0: ingredient 0 is 1
mem/0: storing in location 1
run/0: instruction 1
run/0: ingredient 0 is 0
mem/0: storing in location 2
run/0: instruction 2
run/0: ingredient 0 is 1
mem/0: location 1 is 1
run/0: ingredient 1 is 2
mem/0: location 2 is 0
run/0: product 0 is 0
mem/0: storing in location 3

#!/bin/sh
# Build and test all included Mu and SubX programs on Linux:
#   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
#   run/test the ELF binaries in native mode
#
# Example usage:
#   test_apps
#   test_apps record  # don't compare with what's in git

set -e
cd `dirname $0`

echo "== translating using the bootstrap C++ translator"

# example programs

echo ex1
bootstrap/bootstrap translate 000init.subx apps/ex1.subx  -o ex1
{
  bootstrap/bootstrap run ex1  ||  ret=$?
  test $ret -eq 42  # life, the universe and everything
}
{
  chmod +x ex1
  ./ex1  ||  ret=$?
  test $ret -eq 42  # life, the universe and everything
}

echo ex2
bootstrap/bootstrap translate 000init.subx apps/ex2.subx  -o ex2
{
  bootstrap/bootstrap run ex2  ||  ret=$?
  test $ret -eq 7  # 3 + 4
}
{
  chmod +x ex2
  ./ex2  ||  ret=$?
  test $ret -eq 7  # 3 + 4
}

echo ex3
bootstrap/bootstrap translate 000init.subx apps/ex3.subx  -o ex3
{
  bootstrap/bootstrap run ex3  ||  ret=$?
  test $ret -eq 55  # 1 + 2 + ... + 10
}
{
  chmod +x ex3
  ./ex3  ||  ret=$?
  test $ret -eq 55  # 1 + 2 + ... + 10
}

echo ex4
bootstrap/bootstrap translate 000init.subx apps/ex4.subx  -o ex4
{
  echo a | bootstrap/bootstrap run ex4 >ex4.out  ||  true
  test `cat ex4.out` = 'a'
}
{
  chmod +x ex4
  echo a | ./ex4 >ex4.out  ||  true
  test `cat ex4.out` = 'a'
}

echo ex5
bootstrap/bootstrap translate 000init.subx apps/ex5.subx  -o ex5
{
  echo a | bootstrap/bootstrap run ex5 >ex5.out  ||  true
  test `cat ex5.out` = 'a'
}
{
  chmod +x ex5
  echo a | ./ex5 >ex5.out  ||  true
  test `cat ex5.out` = 'a'
}

echo ex6
bootstrap/bootstrap translate 000init.subx apps/ex6.subx  -o ex6
{
  bootstrap/bootstrap run ex6 >ex6.out  ||  true
  test "`cat ex6.out`" = 'Hello world!'
}
{
  chmod +x ex6
  ./ex6 >ex6.out  ||  true
  test "`cat ex6.out`" = 'Hello world!'
}

echo ex7
bootstrap/bootstrap translate 000init.subx apps/ex7.subx  -o ex7
{
  bootstrap/bootstrap run ex7  ||  ret=$?
  test $ret -eq 97  # 'a'
}
{
  chmod +x ex7
  ./ex7  ||  ret=$?
  test $ret -eq 97  # 'a'
}

echo ex8
bootstrap/bootstrap translate 000init.subx apps/ex8.subx  -o ex8
{
  bootstrap/bootstrap run ex8 abcd  ||  ret=$?
  test $ret -eq 4  # length('abcd')
}
{
  chmod +x ex8
  ./ex8 abcd  ||  ret=$?
  test $ret -eq 4  # length('abcd')
}

echo ex9
bootstrap/bootstrap translate 000init.subx apps/ex9.subx  -o ex9
{
  bootstrap/bootstrap run ex9 z x  ||  ret=$?
  test $ret -eq 2  # 'z' - 'x'
}
{
  chmod +x ex9
  ./ex9 z x  ||  ret=$?
  test $ret -eq 2  # 'z' - 'x'
}

echo ex10
bootstrap/bootstrap translate 000init.subx apps/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
}
{
  chmod +x ex10
  ./ex10 abc abc  ||  ret=$?
  test $ret -eq 1  # equal
  ./ex10 abc abcd  # 0; not equal
}

echo ex11
bootstrap/bootstrap translate 000init.subx apps/ex11.subx  -o ex11
{
  bootstrap/bootstrap run ex11
  echo
}
{
  chmod +x ex11
  ./ex11
  echo
}

echo ex12
bootstrap/bootstrap translate 000init.subx apps/ex12.subx  -o ex12
bootstrap/bootstrap run ex12  # final byte of mmap'd address is well-nigh guaranteed to be 0
chmod +x ex12
./ex12

echo ex13
bootstrap/bootstrap translate 000init.subx apps/ex13.subx  -o ex13
{
  bootstrap/bootstrap run ex13  ||  ret=$?
  test $ret -eq 1  # 3 == 3
}
{
  chmod +x ex13
  ./ex13  ||  ret=$?
  test $ret -eq 1  # 3 == 3
}

# Larger apps that use the standard library.

echo factorial
bootstrap/bootstrap translate [01]*.subx apps/factorial.subx  -o factorial
{
  bootstrap/bootstrap run factorial  ||  ret=$?
  test $ret -eq 120  # factorial(5)
  bootstrap/bootstrap run factorial test
  echo
}
{
  chmod +x factorial
  ./factorial  ||  ret=$?
  test $ret -eq 120  # factorial(5)
  ./factorial test
  echo
}

echo random
bootstrap/bootstrap translate [01]*.subx apps/random.subx  -o random
# don't run

# Phases of the self-hosted SubX translator.

for phase in hex survey_elf survey_baremetal labels_baremetal 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
  }
  {
    chmod +x $phase
    ./$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
}
{
  chmod +x sigils
  ./sigils test
  echo
}

echo calls
cat [012]*.subx subx-params.subx calls.subx  |  ./sigils  > a.sigils
bootstrap/bootstrap translate a.sigils -o calls
test "$1" = 'record'  ||  git diff --exit-code calls
{
  bootstrap/bootstrap run calls test
  echo
}
{
  chmod +x calls
  ./calls test
  echo
}

echo braces
cat [012]*.subx subx-params.subx braces.subx  |  ./calls  |  ./sigils  > a.sigils
bootstrap/bootstrap translate a.sigils -o braces
test "$1" = 'record'  ||  git diff --exit-code braces
{
  bootstrap/bootstrap run braces test
  echo
}
{
  chmod +x braces
  ./braces test
  echo
}

echo mu
cat [0-2]*.subx mu.subx  |  ./braces  |  ./calls  |  ./sigils  > a.sigils
bootstrap/bootstrap translate a.sigils -o mu
test "$1" = 'record'  ||  git diff --exit-code mu
{
  bootstrap/bootstrap run mu test
  echo
}
{
  chmod +x mu
  ./mu test
  echo
}

echo "== translating using the self-hosted translator"

# example programs

for n in `seq 1 12`
do
  echo ex$n
  ./translate_subx 000init.subx apps/ex$n.subx
  diff ex$n a.elf
done

# Larger apps that use the standard library.

for app in factorial
do
  echo $app
  ./translate_subx [01]*.subx apps/$app.subx
  diff $app a.elf
done

# Phases of the self-hosted SubX translator.

for app in hex survey_elf survey_baremetal labels_baremetal pack assort dquotes tests
do
  echo $app
  ./translate_subx [01]*.subx subx-params.subx $app.subx
  diff $app a.elf
done

for app in sigils calls braces
do
  echo $app
  ./translate_subx [012]*.subx subx-params.subx $app.subx
  diff $app a.elf
done

# Mu translator
echo mu
./translate_subx [0-2]*.subx mu.subx
diff mu a.elf

# Mu programs

echo ex1.mu
./translate apps/ex1.mu
{
  bootstrap/bootstrap run a.elf  ||  ret=$?
  test $ret -eq 42  # life, the universe and everything
}
{
  ./a.elf  ||  ret=$?
  test $ret -eq 42  # life, the universe and everything
}

echo ex2.mu
./translate apps/ex2.mu
{
  bootstrap/bootstrap run a.elf  ||  ret=$?
  test $ret -eq 7
}
{
  ./a.elf  ||  ret=$?
  test $ret -eq 7
}

echo ex3.mu
./translate apps/ex3.mu
{
  bootstrap/bootstrap run a.elf  ||  ret=$?
  test $ret -eq 55
}
{
  ./a.elf  ||  ret=$?
  test $ret -eq 55
}

echo ex3.2.mu
./translate apps/ex3.2.mu
{
  bootstrap/bootstrap run a.elf  ||  ret=$?
  test $ret -eq 55
}
{
  ./a.elf  ||  ret=$?
  test $ret -eq 55
}

echo factorial.mu
./translate apps/factorial.mu
{
  bootstrap/bootstrap run a.elf  ||  ret=$?
  test $ret -eq 120
  bootstrap/bootstrap run a.elf test
  echo
}
{
  ./a.elf  ||  ret=$?
  test $ret -eq 120
  ./a.elf test
  echo
}

exit 0