7a8a2fc517
* module/mescc/as.scm: Support abstracted assembly. * module/mescc/i386/as.scm: Rewrite. * module/mescc/x86_64/as.scm: Implement. * module/mescc/compile.scm: Refactor to abstracted assembly. * module/mescc/M1.scm: Update for partial 64 bit support. * module/mescc/bytevectors.scm (bytevector-u64-native-set!): New procedure. * module/mescc/i386/info.scm (i386:type-alist): Use 4 byte type length also for faking double, long long, long double. * module/mescc/info.scm:modified: * module/mescc/x86_64/info.scm (x86_64:registers): New variable. * lib/x86-mes/x86.M1: Update for new register scheme. * lib/x86_64-mes/x86_64.M1: Implement. * lib/x86-mes/setjmp.c: Implement. * lib/x86_64-mes-gcc/setjmp.c: Implement. * build-aux/build-cc.sh: Update for x86_64. * build-aux/build-cc32.sh: Likewise. * build-aux/build-mes.sh: Likewise. * build-aux/build-x86_64-mes.sh: Likewise. * build-aux/check-mescc.sh: Likewise. * build-aux/test64.sh: Likewise. * include/libmes.h: Likewise. * include/setjmp.h: Likewise. * include/signal.h: Likewise. * include/stdarg.h: Likewise. * include/sys/stat.h: Likewise. * include/sys/types.h: Likewise. * include/sys/wait.h: Likewise. * include/unistd.h: Likewise. * lib/libc+gnu.c: Likewise. * lib/libc+tcc.c: Likewise. * lib/linux/gnu.c: Likewise. * lib/linux/libc-mini.c: Likewise. * lib/linux/libc.c: Likewise. * lib/linux/tcc.c: Likewise. * lib/linux/x86_64-mes-gcc/mes.c: Likewise. * lib/linux/x86_64-mes/crt1.c: Likewise. * lib/mes/abtol.c: Likewise. * lib/posix/mktemp.c: Likewise. * lib/posix/wait.c: Likewise. * lib/stdio/fopen.c: Likewise. * lib/stdio/fputc.c: Likewise. * lib/stdio/fseek.c: Likewise. * lib/stdio/printf.c: Likewise. * lib/stdio/sprintf.c: Likewise. * lib/stdio/vfprintf.c: Likewise. * lib/stdio/vsprintf.c: Likewise. * lib/stdio/vsscanf.c: Likewise. * lib/stdlib/qsort.c: Likewise. * lib/x86-mes-gcc/setjmp.c: Likewise. * scaffold/tests/11-if-1.c: Likewise. * scaffold/tests/15-if-!f.c: Likewise. * scaffold/tests/16-if-t.c: Likewise. * scaffold/tests/21-char[].c: Likewise. * scaffold/tests/23-pointer.c: Likewise. * scaffold/tests/32-compare.c: Likewise. * scaffold/tests/33-and-or.c: Likewise. * scaffold/tests/34-pre-post.c: Likewise. * scaffold/tests/35-compare-char.c: Likewise. * scaffold/tests/36-compare-arithmetic.c: Likewise. * scaffold/tests/37-compare-assign.c: Likewise. * scaffold/tests/38-compare-call.c: Likewise. * scaffold/tests/40-if-else.c: Likewise. * scaffold/tests/41-?.c: Likewise. * scaffold/tests/42-goto-label.c: Likewise. * scaffold/tests/43-for-do-while.c: Likewise. * scaffold/tests/44-switch.c: Likewise. * scaffold/tests/45-void-call.c: Likewise. * scaffold/tests/46-function-static.c: Likewise. * scaffold/tests/51-strcmp.c: Likewise. * scaffold/tests/51-strncmp.c: Likewise. * scaffold/tests/53-strcpy.c: Likewise. * scaffold/tests/54-argv.c: Likewise. * scaffold/tests/60-math.c: Likewise. * scaffold/tests/61-array.c: Likewise. * scaffold/tests/63-struct-cell.c: Likewise. * scaffold/tests/64-make-cell.c: Likewise. * scaffold/tests/65-read.c: Likewise. * scaffold/tests/70-printf.c: Likewise. * scaffold/tests/71-struct-array.c: Likewise. * scaffold/tests/72-typedef-struct-def.c: Likewise. * scaffold/tests/74-multi-line-string.c: Likewise. * scaffold/tests/76-pointer-arithmetic.c: Likewise. * scaffold/tests/79-int-array.c: Likewise. * scaffold/tests/7a-struct-char-array.c: Likewise. * scaffold/tests/7b-struct-int-array.c: Likewise. * scaffold/tests/7i-struct-struct.c: Likewise. * scaffold/tests/7k-for-each-elem.c: Likewise. * scaffold/tests/7l-struct-any-size-array.c: Likewise. * scaffold/tests/7o-struct-pre-post.c: Likewise. * scaffold/tests/7q-bit-field.c: Likewise. * scaffold/tests/7s-struct-short.c: Likewise. * scaffold/tests/80-setjmp.c: Likewise. * scaffold/tests/81-qsort.c: Likewise. * scaffold/tests/85-sizeof.c: Likewise. * scaffold/tests/87-sscanf.c: Likewise. * scaffold/tests/90-strpbrk.c: Likewise. * scaffold/tests/91-fseek.c: Likewise. * scaffold/tests/95-signal.c: Likewise. * scaffold/tests/97-fopen.c: Likewise. * scaffold/tests/99-readdir.c: Likewise. * scaffold/tests/t.c: Likewise. * lib/linux/x86_64-mes/mes.c: New file. * lib/linux/x86_64-mes/mini.c: New file. * lib/x86_64-mes/setjmp.c: New file. * scaffold/tests/06-!call-1.c: New file. * scaffold/tests/06-call-2.c: New file. * scaffold/tests/06-call-variable.c: New file. * scaffold/tests/08-assign-global.c: New file. * scaffold/tests/08-assign-negative.c: New file. * scaffold/tests/17-compare-and-or.c: New file. * scaffold/tests/17-compare-and.c: New file. * scaffold/tests/17-compare-ge.c: New file. * scaffold/tests/17-compare-gt.c: New file. * scaffold/tests/17-compare-le.c: New file. * scaffold/tests/17-compare-lt.c: New file. * scaffold/tests/17-compare-or.c: New file. * scaffold/tests/17-compare-unsigned-ge.c: New file. * scaffold/tests/17-compare-unsigned-gt.c: New file. * scaffold/tests/17-compare-unsigned-le.c: New file. * scaffold/tests/17-compare-unsigned-lt.c: New file. * scaffold/tests/21-char[]-simple.c: New file. * scaffold/tests/23-global-pointer-init-null.c: New file. * scaffold/tests/23-global-pointer-init.c: New file. * scaffold/tests/23-global-pointer-pointer-ref.c: New file. * scaffold/tests/23-global-pointer-ref.c: New file. * scaffold/tests/23-pointer-sub.c: New file. * scaffold/tests/31-oputs.c: New file. * scaffold/tests/32-call-wrap.c: New file. * scaffold/tests/38-compare-call-2.c: New file. * scaffold/tests/38-compare-call-3.c: New file. * scaffold/tests/51-pointer-sub.c: New file. * scaffold/tests/54-argc.c: New file. * scaffold/tests/63-struct-array-assign.c: New file. * scaffold/tests/63-struct-array-compare.c: New file. * scaffold/tests/63-struct-array.c: New file. * scaffold/tests/63-struct-assign.c: New file. * scaffold/tests/63-struct-function.c: New file. * scaffold/tests/63-struct-local.c: New file. * scaffold/tests/63-struct-pointer.c: New file. * scaffold/tests/63-struct.c: New file. * scaffold/tests/70-printf-hello.c: New file. * scaffold/tests/70-printf-simple.c: New file. * scaffold/tests/70-stdarg.c: New file. * scaffold/tests/70-strchr.c: New file. * scaffold/tests/73-union-hello.c: New file. * scaffold/tests/76-pointer-arithmetic-pp.c: New file. * scaffold/tests/79-int-array-simple.c: New file. * scaffold/tests/7b-struct-int-array-hello.c: New file. * scaffold/tests/7b-struct-int-array-pointer.c: New file. * scaffold/tests/7i-struct-struct-simple.c: New file. * scaffold/tests/7k-for-each-elem-simple.c: New file. * scaffold/tests/7l-struct-any-size-array-simple.c: New file. * scaffold/tests/7o-struct-pre-post-simple.c: New file. * scaffold/tests/7q-bit-field-simple.c: New file. * scaffold/tests/90-strspn.c: New file. * scaffold/tests/06-call-string.c.: Rename from 31-eputs.c. * scaffold/tests/7t-function-destruct.c: Rename from 48-function-destruct.c. * scaffold/tests/48-global-static.c: Rename from 49-global-static.c. * scaffold/tests/55-char-array.c:renamed: Rename from 4a-char-array.c. * scaffold/tests/51-itoa.c:r Rename from 52-itoa.c. * include/signal.h:(struct sigaction):
275 lines
5 KiB
Bash
Executable file
275 lines
5 KiB
Bash
Executable file
#! /bin/sh
|
|
|
|
# GNU Mes --- Maxwell Equations of Software
|
|
# Copyright © 2017,2018 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
|
|
#
|
|
# This file is part of GNU Mes.
|
|
#
|
|
# GNU Mes is free software; you can redistribute it and/or modify it
|
|
# under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation; either version 3 of the License, or (at
|
|
# your option) any later version.
|
|
#
|
|
# GNU Mes is distributed in the hope that it will be useful, but
|
|
# WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with GNU Mes. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
set -e
|
|
. ${srcdest}build-aux/config.sh
|
|
. ${srcdest}build-aux/trace.sh
|
|
|
|
MES=${MES-src/mes}
|
|
[ -z "$MESCC" ] && MESCC=scripts/mescc
|
|
GUILE=${GUILE-guile}
|
|
MES_PREFIX=${MES_PREFIX-mes}
|
|
|
|
HEX2=${HEX2-hex2}
|
|
M1=${M1-M1}
|
|
BLOOD_ELF=${BLOOD_ELF-blood-elf}
|
|
MES_SEED=${MES_SEED-../mes-seed}
|
|
MESCC=${MESCC-$(command -v mescc)}
|
|
[ -z "$MESCC" ] && MESCC=scripts/mescc
|
|
MES=${MES-$(command -v mes)}
|
|
[ -z "$MES" ] && MES=src/mes
|
|
|
|
if ! command -v $GUILE > /dev/null; then
|
|
GUILE=true
|
|
fi
|
|
|
|
test_sh=${test_sh-${srcdest}build-aux/test.sh}
|
|
if [ "$arch" = "x86_64-mes" ]; then
|
|
test_sh=${srcdest}build-aux/test64.sh
|
|
fi
|
|
|
|
tests="
|
|
t
|
|
00-exit-0
|
|
01-return-0
|
|
02-return-1
|
|
03-call
|
|
04-call-0
|
|
05-call-1
|
|
06-call-!1
|
|
06-!call-1
|
|
06-call-2
|
|
06-call-string
|
|
06-call-variable
|
|
06-return-void
|
|
07-include
|
|
08-assign
|
|
08-assign-negative
|
|
08-assign-global
|
|
10-if-0
|
|
11-if-1
|
|
12-if-==
|
|
13-if-!=
|
|
14-if-goto
|
|
15-if-!f
|
|
16-if-t
|
|
17-compare-ge
|
|
17-compare-gt
|
|
17-compare-le
|
|
17-compare-lt
|
|
17-compare-unsigned-ge
|
|
17-compare-unsigned-gt
|
|
17-compare-unsigned-le
|
|
17-compare-unsigned-lt
|
|
17-compare-and
|
|
17-compare-or
|
|
17-compare-and-or
|
|
17-compare-assign
|
|
17-compare-call
|
|
18-assign-shadow
|
|
20-while
|
|
21-char[]-simple
|
|
21-char[]
|
|
22-while-char[]
|
|
23-global-pointer-init-null
|
|
23-global-pointer-init
|
|
23-global-pointer-ref
|
|
23-global-pointer-pointer-ref
|
|
23-pointer-sub
|
|
23-pointer
|
|
30-strlen
|
|
31-oputs
|
|
32-call-wrap
|
|
32-compare
|
|
33-and-or
|
|
34-pre-post
|
|
35-compare-char
|
|
36-compare-arithmetic
|
|
37-compare-assign
|
|
38-compare-call-2
|
|
38-compare-call-3
|
|
38-compare-call
|
|
40-if-else
|
|
41-?
|
|
42-goto-label
|
|
43-for-do-while
|
|
44-switch
|
|
44-switch-fallthrough
|
|
44-switch-body-fallthrough
|
|
45-void-call
|
|
46-function-static
|
|
47-function-expression
|
|
48-global-static
|
|
50-assert
|
|
51-pointer-sub
|
|
51-itoa
|
|
51-strcmp
|
|
51-strncmp
|
|
53-strcpy
|
|
54-argc
|
|
54-argv
|
|
55-char-array
|
|
60-math
|
|
61-array
|
|
62-array
|
|
63-struct
|
|
63-struct-pointer
|
|
63-struct-local
|
|
63-struct-function
|
|
63-struct-assign
|
|
63-struct-array
|
|
63-struct-array-assign
|
|
63-struct-array-compare
|
|
63-struct-cell
|
|
64-make-cell
|
|
65-read
|
|
66-local-char-array
|
|
70-strchr
|
|
70-stdarg
|
|
70-printf-hello
|
|
70-printf-simple
|
|
70-printf
|
|
71-struct-array
|
|
72-typedef-struct-def
|
|
73-union-hello
|
|
73-union
|
|
74-multi-line-string
|
|
75-struct-union
|
|
76-pointer-arithmetic-pp
|
|
76-pointer-arithmetic
|
|
77-pointer-assign
|
|
78-union-struct
|
|
79-int-array-simple
|
|
79-int-array
|
|
7a-struct-char-array
|
|
7b-struct-int-array-hello
|
|
7b-struct-int-array-pointer
|
|
7b-struct-int-array
|
|
7c-dynarray
|
|
7d-cast-char
|
|
7e-struct-array-access
|
|
7f-struct-pointer-arithmetic
|
|
7g-struct-byte-word-field
|
|
7h-struct-assign
|
|
7i-struct-struct-simple
|
|
7i-struct-struct
|
|
7j-strtoull
|
|
7k-empty-for
|
|
7k-for-each-elem-simple
|
|
7k-for-each-elem
|
|
7l-struct-any-size-array-simple
|
|
7l-struct-any-size-array
|
|
7m-struct-char-array-assign
|
|
7n-struct-struct-array
|
|
7o-struct-pre-post-simple
|
|
7o-struct-pre-post
|
|
7p-struct-cast
|
|
7q-bit-field-simple
|
|
7q-bit-field
|
|
7r-sign-extend
|
|
7s-struct-short
|
|
7s-unsigned-compare
|
|
7t-function-destruct
|
|
7u-double
|
|
7u-long-long
|
|
7u-?-expression
|
|
7u-call-?
|
|
7u-inc-byte-word
|
|
7u-struct-func
|
|
7u-struct-size10
|
|
7u-vstack
|
|
80-setjmp
|
|
81-qsort
|
|
81-qsort-dupes
|
|
82-define
|
|
83-heterogenoous-init
|
|
84-struct-field-list
|
|
85-sizeof
|
|
86-strncpy
|
|
87-sscanf
|
|
88-strrchr
|
|
90-strspn
|
|
90-strpbrk
|
|
91-fseek
|
|
92-stat
|
|
93-fread-fwrite
|
|
94-unsetenv
|
|
95-signal
|
|
96-strto
|
|
97-fopen
|
|
98-fopen
|
|
99-readdir
|
|
"
|
|
|
|
broken="$broken
|
|
66-local-char-array
|
|
"
|
|
|
|
# gcc not supported
|
|
CC=
|
|
set +e
|
|
expect=$(echo $broken | wc -w)
|
|
pass=0
|
|
fail=0
|
|
total=0
|
|
mkdir -p scaffold/tests
|
|
for t in $tests; do
|
|
if [ -z "${t/[012][0-9]-*/}" ]; then
|
|
LIBC=
|
|
MES_LIBS="-l none"
|
|
elif [ -z "${t/[34][0-9]-*/}" ]; then
|
|
LIBC=c-mini
|
|
MES_LIBS="-l c-mini"
|
|
elif [ -z "${t/[78][0-9a-z]-*/}" ]; then
|
|
LIBC=c+tcc
|
|
MES_LIBS="-l c+tcc"
|
|
elif [ -z "${t/9[0-9]-*/}" ]; then
|
|
LIBC=c+gnu
|
|
MES_LIBS="-l c+gnu"
|
|
else
|
|
LIBC=c
|
|
MES_LIBS=
|
|
fi
|
|
sh $test_sh "scaffold/tests/$t" &> scaffold/tests/"$t".log
|
|
r=$?
|
|
total=$((total+1))
|
|
if [ $r = 0 ]; then
|
|
echo $t: [OK]
|
|
pass=$((pass+1))
|
|
else
|
|
echo $t: [FAIL]
|
|
fail=$((fail+1))
|
|
fi
|
|
done
|
|
|
|
[ $expect != 0 ] && echo "expect: $expect"
|
|
[ $fail != 0 ] && echo "failed: $fail"
|
|
[ $fail -lt $expect ] && echo "solved: $(($expect - $fail))"
|
|
echo "passed: $pass"
|
|
echo "total: $total"
|
|
if [ $fail != 0 -a $fail -gt $expect ]; then
|
|
echo FAILED: $fail/$total
|
|
exit 1
|
|
elif [ $fail != 0 ]; then
|
|
echo PASS: $pass/$total
|
|
else
|
|
echo PASS: $total
|
|
fi
|