From c302c5f0c1ea27b306ef69de34b474993e3a9203 Mon Sep 17 00:00:00 2001
From: Yinan Xu <xuyinan@ict.ac.cn>
Date: Tue, 3 Dec 2024 15:51:49 +0800
Subject: [PATCH] CI: add a test for difftest-so on XiangShan

---
 .github/workflows/main.yml | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 804d4cf0f..314a77d19 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -29,6 +29,42 @@ jobs:
           make MFC=0
           make MFC=1
 
+  test-difftest-xiangshan:
+    runs-on: ubuntu-22.04
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Prepare environment
+        run: |
+            cd $GITHUB_WORKSPACE/..
+            git config --global url."https://github.com/".insteadOf git@github.com:
+            git config --global url."https://".insteadOf git://
+            git clone https://github.com/OpenXiangShan/xs-env
+            cd xs-env
+            sudo -s ./setup-tools.sh
+            source ./setup.sh
+
+      - name: Prepare XiangShan
+        run: |
+            cd $GITHUB_WORKSPACE/../xs-env
+            rm -r XiangShan
+            git clone -b dev-difftest --single-branch https://github.com/OpenXiangShan/XiangShan.git
+            cd XiangShan && make init
+            rm -r difftest
+            cp -r $GITHUB_WORKSPACE .
+
+      - name: Chisel Elaboration
+        run: |
+          cd $GITHUB_WORKSPACE/../xs-env/XiangShan
+          export NOOP_HOME=$(pwd)
+          make sim-verilog CHISEL_TARGET=chirrtl JVM_XMX=10G
+
+      - name: Build difftest-so
+        run: |
+          cd $GITHUB_WORKSPACE/../xs-env/XiangShan
+          export NOOP_HOME=$(pwd)
+          make -C difftest difftest-so
+
   test-difftest-nutshell:
     runs-on: ubuntu-22.04