about summary refs log tree commit diff stats
path: root/subx/test_apps
blob: 988e81aef47a83006a5debd48b56e27eea8cab47 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
#!/bin/sh
# Build and test (in emulated mode) all included SubX programs.
# If running on a 32-bit machine, also compare generated binaries. (64-bit introduces discrepancies.)
# If running on Linux, also test natively.

set -e
cd `dirname $0`

test `uname -m` = 'i686'  &&  echo 'comparing generated binaries'
test `uname` = 'Linux'  &&  echo 'testing native runs as well'

echo ex1
CFLAGS=-g ./subx translate examples/ex1.subx  -o examples/ex1
test `uname -m` = 'i686'  &&  git diff --quiet examples/ex1
CFLAGS=-g ./subx run examples/ex1  ||  ret=$?
test $ret -eq 42  # life, the universe and everything
test `uname` = 'Linux'  &&  {
  examples/ex1  ||  ret=$?
  test $ret -eq 42  # life, the universe and everything
}

echo ex2
CFLAGS=-g ./subx translate examples/ex2.subx  -o examples/ex2
test `uname -m` = 'i686'  &&  git diff --quiet examples/ex2
CFLAGS=-g ./subx run examples/ex2  ||  ret=$?
test $ret -eq 2  # 1 + 1
test `uname` = 'Linux'  &&  {
  examples/ex2  ||  ret=$?
  test $ret -eq 2  # 1 + 1
}

echo ex3
CFLAGS=-g ./subx translate examples/ex3.subx  -o examples/ex3
test `uname -m` = 'i686'  &&  git diff --quiet examples/ex3
CFLAGS=-g ./subx run examples/ex3  ||  ret=$?
test $ret -eq 55  # 1 + 2 + ... + 10
test `uname` = 'Linux'  &&  {
  examples/ex3  ||  ret=$?
  test $ret -eq 55  # 1 + 2 + ... + 10
}

echo ex4
CFLAGS=-g ./subx translate examples/ex4.subx  -o examples/ex4
test `uname -m` = 'i686'  &&  git diff --quiet examples/ex4
echo a | CFLAGS=-g ./subx run examples/ex4 >ex4.out  ||  true
test `cat ex4.out` = 'a'
test `uname` = 'Linux'  &&  {
  echo a | examples/ex4 >ex4.out  ||  true
  test `cat ex4.out` = 'a'
}

echo ex5
CFLAGS=-g ./subx translate examples/ex5.subx  -o examples/ex5
test `uname -m` = 'i686'  &&  git diff --quiet examples/ex5
echo a | CFLAGS=-g ./subx run examples/ex5 >ex5.out  ||  true
test `cat ex5.out` = 'a'
test `uname` = 'Linux'  &&  {
  echo a | examples/ex5 >ex5.out  ||  true
  test `cat ex5.out` = 'a'
}

echo ex6
CFLAGS=-g ./subx translate examples/ex6.subx  -o examples/ex6
test `uname -m` = 'i686'  &&  git diff --quiet examples/ex6
CFLAGS=-g ./subx run examples/ex6 >ex6.out  ||  true
test "`cat ex6.out`" = 'Hello, world!'
test `uname` = 'Linux'  &&  {
  examples/ex6 >ex6.out  ||  true
  test "`cat ex6.out`" = 'Hello, world!'
}

echo ex7
CFLAGS=-g ./subx translate examples/ex7.subx  -o examples/ex7
test `uname -m` = 'i686'  &&  git diff --quiet examples/ex7
CFLAGS=-g ./subx run examples/ex7  ||  ret=$?
test $ret -eq 97  # 'a'
test `uname` = 'Linux'  &&  {
  examples/ex7  ||  ret=$?
  test $ret -eq 97  # 'a'
}

echo ex8
CFLAGS=-g ./subx translate examples/ex8.subx  -o examples/ex8
test `uname -m` = 'i686'  &&  git diff --quiet examples/ex8
CFLAGS=-g ./subx run examples/ex8 abcd  ||  ret=$?
test $ret -eq 4  # length('abcd')
test `uname` = 'Linux'  &&  {
  examples/ex8 abcd  ||  ret=$?
  test $ret -eq 4  # length('abcd')
}

echo ex9
CFLAGS=-g ./subx translate examples/ex9.subx  -o examples/ex9
test `uname -m` = 'i686'  &&  git diff --quiet examples/ex9
CFLAGS=-g ./subx run examples/ex9 z x  ||  ret=$?
test $ret -eq 2  # 'z' - 'x'
test `uname` = 'Linux'  &&  {
  examples/ex9 z x  ||  ret=$?
  test $ret -eq 2  # 'z' - 'x'
}

echo ex10
CFLAGS=-g ./subx translate examples/ex10.subx  -o examples/ex10
test `uname -m` = 'i686'  &&  git diff --quiet examples/ex10
CFLAGS=-g ./subx run examples/ex10 abc abc  ||  ret=$?
test $ret -eq 1  # equal
CFLAGS=-g ./subx run examples/ex10 abc abcd  # 0; not equal
test `uname` = 'Linux'  &&  {
  examples/ex10 abc abc  ||  ret=$?
  test $ret -eq 1  # equal
  examples/ex10 abc abcd  # 0; not equal
}

echo ex11
CFLAGS=-g ./subx translate examples/ex11.subx  -o examples/ex11
test `uname -m` = 'i686'  &&  git diff --quiet examples/ex11
CFLAGS=-g ./subx run examples/ex11 2>ex11.out  ||  true  # exit status for run_tests not yet well-defined
grep -vq 'F' ex11.out  # no test failures
test `uname` = 'Linux'  &&  {
  examples/ex11 2>ex11.out  ||  true  # exit status for run_tests not yet well-defined
  grep -vq 'F' ex11.out  # no test failures
}

echo ex12
CFLAGS=-g ./subx translate examples/ex12.subx  -o examples/ex12
test `uname -m` = 'i686'  &&  git diff --quiet examples/ex12
CFLAGS=-g ./subx run examples/ex12  # final byte of mmap'd address is well-nigh guaranteed to be 0
test `uname` = 'Linux'  &&  {
  examples/ex12  # final byte of mmap'd address is well-nigh guaranteed to be 0
}

echo factorial
CFLAGS=-g ./subx translate *.subx apps/factorial.subx  -o apps/factorial
test `uname -m` = 'i686'  &&  git diff --quiet apps/factorial
CFLAGS=-g ./subx run apps/factorial  ||  ret=$?
test $ret -eq 120  # factorial(5)
CFLAGS=-g ./subx run apps/factorial test 2>factorial.out  ||  true  # exit status for run_tests not yet well-defined
grep -vq 'F' factorial.out  # no test failures
test `uname` = 'Linux'  &&  {
  apps/factorial  ||  ret=$?
  test $ret -eq 120  # factorial(5)
  apps/factorial test 2>factorial.out  ||  true  # exit status for run_tests not yet well-defined
  grep -vq 'F' factorial.out  # no test failures
}

echo crenshaw2-1
CFLAGS=-g ./subx translate *.subx apps/crenshaw2-1.subx  -o apps/crenshaw2-1
test `uname -m` = 'i686'  &&  git diff --quiet apps/crenshaw2-1
CFLAGS=-g ./subx run apps/crenshaw2-1 2>crenshaw2-1.out  ||  true
test "`cat crenshaw2-1.out`" = 'Error: Integer expected'
test `uname` = 'Linux'  &&  {
  apps/crenshaw2-1 2>crenshaw2-1.out  ||  true
  test "`cat crenshaw2-1.out`" = 'Error: Integer expected'
}

exit 0