Merge pull request sysprog21#424 from visitorckw/optimize-ci-efficiency

CI: Parallelize compilation for faster testing

Author: jserv

.ci/riscv-tests.sh

@@ -10,11 +10,4 @@ set -x
 export PATH=`pwd`/toolchain/riscv/bin:$PATH
 
 make clean
-make arch-test RISCV_DEVICE=I || exit 1
-make arch-test RISCV_DEVICE=IM  || exit 1
-make arch-test RISCV_DEVICE=IC || exit 1
-make arch-test RISCV_DEVICE=FCZicsr || exit 1
-make arch-test RISCV_DEVICE=IZifencei || exit 1
-make arch-test RISCV_DEVICE=IZicsr || exit 1
-make arch-test RISCV_DEVICE=FZicsr || exit 1
-make arch-test RISCV_DEVICE=IMA || exit 1
+make arch-test RISCV_DEVICE=IMAFCZicsrZifencei || exit 1

.github/workflows/main.yml

@@ -49,30 +49,30 @@ jobs:
       run: make
     - name: check + tests
       run: |
-            make check
-            make tests
-            make misalign
-            make tool
+            make check -j$(nproc)
+            make tests -j$(nproc)
+            make misalign -j$(nproc)
+            make tool -j$(nproc)
     - name: diverse configurations
       run: |
-            make distclean ENABLE_EXT_M=0 check
-            make distclean ENABLE_EXT_A=0 check
-            make distclean ENABLE_EXT_F=0 check
-            make distclean ENABLE_EXT_C=0 check
-            make distclean ENABLE_SDL=0 check
+            make distclean && make ENABLE_EXT_M=0 check -j$(nproc)
+            make distclean && make ENABLE_EXT_A=0 check -j$(nproc)
+            make distclean && make ENABLE_EXT_F=0 check -j$(nproc)
+            make distclean && make ENABLE_EXT_C=0 check -j$(nproc)
+            make distclean && make ENABLE_SDL=0 check -j$(nproc)
     - name: gdbstub test
       run: |
             make distclean ENABLE_GDBSTUB=1 gdbstub-test
     - name: JIT test
       run: |
-            make ENABLE_JIT=1 clean check
-            make ENABLE_EXT_A=0 ENABLE_JIT=1 clean check
-            make ENABLE_EXT_F=0 ENABLE_JIT=1 clean check
-            make ENABLE_EXT_C=0 ENABLE_JIT=1 clean check
+            make clean && make ENABLE_JIT=1 check -j$(nproc)
+            make clean && make ENABLE_EXT_A=0 ENABLE_JIT=1 check -j$(nproc)
+            make clean && make ENABLE_EXT_F=0 ENABLE_JIT=1 check -j$(nproc)
+            make clean && make ENABLE_EXT_C=0 ENABLE_JIT=1 check -j$(nproc)
     - name: undefined behavior test
       run: |
-            make ENABLE_UBSAN=1 clean check
-            make ENABLE_JIT=1 ENABLE_UBSAN=1 clean check
+            make clean && make ENABLE_UBSAN=1 check -j$(nproc)
+            make clean && make ENABLE_JIT=1 ENABLE_UBSAN=1 check -j$(nproc)
 
   host-arm64:
     needs: [detect-code-related-file-changes]
@@ -97,12 +97,12 @@ jobs:
           git config --global --add safe.directory ${{ github.workspace }}/src/mini-gdbstub
         # Append custom commands here
         run: |
-          make
-          make check
-          make ENABLE_JIT=1 clean check
-          make ENABLE_EXT_A=0 ENABLE_JIT=1 clean check
-          make ENABLE_EXT_F=0 ENABLE_JIT=1 clean check
-          make ENABLE_EXT_C=0 ENABLE_JIT=1 clean check
+          make -j$(nproc)
+          make check -j$(nproc)
+          make clean && make ENABLE_JIT=1 check -j$(nproc)
+          make clean && make ENABLE_EXT_A=0 ENABLE_JIT=1 check -j$(nproc)
+          make clean && make ENABLE_EXT_F=0 ENABLE_JIT=1 check -j$(nproc)
+          make clean && make ENABLE_EXT_C=0 ENABLE_JIT=1 check -j$(nproc)
 
   coding-style:
     needs: [detect-code-related-file-changes]
@@ -130,9 +130,9 @@ jobs:
             sudo apt-get install -q -y clang clang-tools libsdl2-dev libsdl2-mixer-dev
       shell: bash
     - name: run scan-build without JIT
-      run: make clean && make distclean && scan-build -v -o ~/scan-build --status-bugs --use-cc=clang --force-analyze-debug-code --show-description -analyzer-config stable-report-filename=true -enable-checker valist,nullability make ENABLE_EXT_F=0 ENABLE_SDL=0 ENABLE_JIT=0
+      run: make distclean && scan-build -v -o ~/scan-build --status-bugs --use-cc=clang --force-analyze-debug-code --show-description -analyzer-config stable-report-filename=true -enable-checker valist,nullability make ENABLE_EXT_F=0 ENABLE_SDL=0 ENABLE_JIT=0
     - name: run scan-build with JIT
-      run: make clean && make distclean && scan-build -v -o ~/scan-build --status-bugs --use-cc=clang --force-analyze-debug-code --show-description -analyzer-config stable-report-filename=true -enable-checker valist,nullability make ENABLE_EXT_F=0 ENABLE_SDL=0 ENABLE_JIT=1
+      run: make distclean && scan-build -v -o ~/scan-build --status-bugs --use-cc=clang --force-analyze-debug-code --show-description -analyzer-config stable-report-filename=true -enable-checker valist,nullability make ENABLE_EXT_F=0 ENABLE_SDL=0 ENABLE_JIT=1
 
   compliance-test:
     needs: [detect-code-related-file-changes]