CI: Execute architectural tests

'make arch-test RISCV_DEVICE=Zifencei' is known to fail.

Author: jserv

.ci/common.sh

@@ -0,0 +1,18 @@
+GCC_REL=11.2-2022.02
+ARM_MIRROR=https://github.com/DLTcollab/toolchain-arm/raw/main
+
+SOURCES=$(find $(git rev-parse --show-toplevel) | egrep "\.(cpp|h)\$" | egrep -v "gcc-arm-${GCC_REL}-x86_64-aarch64-none-linux-gnu|gcc-arm-${GCC_REL}-x86_64-arm-none-linux-gnueabihf")
+
+# Expect host is Linux/x86_64
+check_platform()
+{
+    MACHINE_TYPE=`uname -m`
+    if [ ${MACHINE_TYPE} != 'x86_64' ]; then
+        exit
+    fi
+
+    OS_TYPE=`uname -s`
+    if [ ${OS_TYPE} != 'Linux' ]; then
+        exit
+    fi
+}

.ci/riscv-tests.sh

@@ -0,0 +1,26 @@
+#!/usr/bin/env bash
+
+. .ci/common.sh
+
+check_platform
+
+mkdir -p toolchain
+
+# GNU Toolchain for RISC-V
+GCC_VER=12.2.0-1
+XPACK_REPO=https://github.com/xpack-dev-tools/riscv-none-elf-gcc-xpack/releases/download
+
+set -x
+
+wget -q \
+    ${XPACK_REPO}/v${GCC_VER}/xpack-riscv-none-elf-gcc-${GCC_VER}-linux-x64.tar.gz -O- \
+| tar -C toolchain -xz
+
+export PATH=`pwd`/toolchain/xpack-riscv-none-elf-gcc-${GCC_VER}/bin:$PATH
+
+make clean
+make arch-test RISCV_DEVICE=I || exit 1
+make arch-test RISCV_DEVICE=M  || exit 1
+make arch-test RISCV_DEVICE=C || exit 1
+make arch-test RISCV_DEVICE=Zifencei || exit 1
+make arch-test RISCV_DEVICE=privilege || exit 1

.github/workflows/main.yml

@@ -24,6 +24,10 @@ jobs:
             make distclean ENABLE_COMPUTED_GOTO=0 ENABLE_EXT_C=1
             make distclean ENABLE_GDBSTUB=0
             make distclean ENABLE_SDL=0
+    - name: architectural test
+      run: |
+            sh .ci/riscv-tests.sh
+      shell: bash
 
   coding_style:
     runs-on: ubuntu-22.04