M2-Planet/test/test0018/hello-knight-native.sh

68 lines
2.0 KiB
Bash
Executable File

#! /bin/sh
## Copyright (C) 2017 Jeremiah Orians
## Copyright (C) 2021 deesix <deesix@tuta.io>
## This file is part of M2-Planet.
##
## M2-Planet 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.
##
## M2-Planet 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 M2-Planet. If not, see <http://www.gnu.org/licenses/>.
set -ex
TMPDIR="test/test0018/tmp-knight-native"
mkdir -p ${TMPDIR}
# Build the test
bin/M2-Planet \
--architecture knight-native \
-f M2libc/sys/types.h \
-f M2libc/stddef.h \
-f M2libc/knight/native/unistd.c \
-f M2libc/knight/native/fcntl.c \
-f M2libc/fcntl.c \
-f M2libc/stdlib.c \
-f M2libc/stdio.h \
-f M2libc/stdio.c \
-f test/test0018/math.c \
-o ${TMPDIR}/math.M1 \
|| exit 1
# Macro assemble with libc written in M1-Macro
M1 \
-f M2libc/knight/knight-native_defs.M1 \
-f M2libc/knight/libc-native-file.M1 \
-f ${TMPDIR}/math.M1 \
--big-endian \
--architecture knight-native \
-o ${TMPDIR}/math.hex2 \
|| exit 2
# Resolve all linkages
hex2 \
-f ${TMPDIR}/math.hex2 \
--big-endian \
--architecture knight-native \
--base-address 0x00 \
-o test/results/test0018-knight-native-binary \
|| exit 3
# Ensure binary works if host machine supports test
if [ "$(get_machine ${GET_MACHINE_FLAGS})" = "knight-native" ]
then
. ./sha256.sh
# Verify that the resulting file works
vm --rom ./test/results/test0018-knight-native-binary --tape_01 /dev/null --tape_02 test/test0018/proof --memory 2M || exit 4
out=$(sha256_check test/test0018/proof.answer)
[ "$out" = "test/test0018/proof: OK" ] || exit 5
fi
exit 0