CI: Add RV32E test to CI pipeline

Add testing for the RV32E extension to the CI pipeline to ensure automatic validation during continuous integration.
sysprog21 · Jan 25, 2025 · 6268927 · 6268927
1 parent 594dbd1
commit 6268927
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.ci/riscv-tests.sh b/.ci/riscv-tests.sh
@@ -22,3 +22,7 @@ make ENABLE_EXT_M=1 ENABLE_EXT_A=1 ENABLE_EXT_F=1 ENABLE_EXT_C=1 \
 make arch-test RISCV_DEVICE=IMAFCZicsrZifencei $PARALLEL || exit 1
 make arch-test RISCV_DEVICE=FCZicsr $PARALLEL || exit 1
 make arch-test RISCV_DEVICE=IMZbaZbbZbcZbs $PARALLEL || exit 1
+
+make distclean
+make ENABLE_EXT_E=1 ENABLE_FULL4G=1 $PARALLEL
+make arch-test RISCV_DEVICE=E $PARALLEL || exit 1