about summary refs log tree commit diff stats
path: root/subx/test_apps
blob: 2bb7adecb6b6ea8f7e68ef11691276dc40e58988 (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
157
158
159
160
161
162
163
#!/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` = 'Linux'  &&  echo 'testing native runs as well'

echo ex1
CFLAGS=-g ./subx translate examples/ex1.subx  -o examples/ex1
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
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
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
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
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
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
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
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
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
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
git diff --quiet examples/ex11
CFLAGS=-g ./subx run examples/ex11
echo
test `uname` = 'Linux'  &&  {
  examples/ex11
  echo
}

echo ex12
CFLAGS=-g ./subx translate examples/ex12.subx  -o examples/ex12
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

echo factorial
CFLAGS=-g ./subx translate *.subx apps/factorial.subx  -o apps/factorial
[ "$1" != record ]  &&  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
echo
test `uname` = 'Linux'  &&  {
  apps/factorial  ||  ret=$?
  test $ret -eq 120  # factorial(5)
  apps/factorial test
  echo
}

echo crenshaw2-1
CFLAGS=-g ./subx translate *.subx apps/crenshaw2-1.subx  -o apps/crenshaw2-1
[ "$1" != record ]  &&  git diff --quiet apps/crenshaw2-1
CFLAGS=-g ./subx run apps/crenshaw2-1 test
echo
test `uname` = 'Linux'  &&  {
  apps/crenshaw2-1 test
  echo
}

echo crenshaw2-1b
CFLAGS=-g ./subx translate *.subx apps/crenshaw2-1b.subx  -o apps/crenshaw2-1b
[ "$1" != record ]  &&  git diff --quiet apps/crenshaw2-1b
CFLAGS=-g ./subx run apps/crenshaw2-1b test
echo
test `uname` = 'Linux'  &&  {
  apps/crenshaw2-1b test
  echo
}

exit 0