CI: Execute architectural tests

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

Author: jserv

.ci/common.sh

@@ -0,0 +1,13 @@
+# 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