From f2bd974087690b52287e5a64e6fb2700455d2442 Mon Sep 17 00:00:00 2001
From: Minhyuk Kim <kimminhyuk1004@gmail.com>
Date: Mon, 13 Jan 2025 15:37:00 +0900
Subject: [PATCH] Add instruction_check workflow to circleci

---
 .circleci/config.yml | 46 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index e3efbd66..da03b2a4 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -38,6 +38,12 @@ workflows:
       - prestate-reproducibility:
           version: "1.3.1"
           asterisc-commit: "25feabf"
+  instruction_check:
+    jobs:
+      - build-kona
+      - run-rv64-matching-tool:
+          requires:
+            - build-kona
 
 commands:
   checkout-with-monorepo:
@@ -414,3 +420,43 @@ jobs:
               echo "Prestate did not match expected"
               exit 1
             fi
+
+  build-kona:
+    machine:
+      image: ubuntu-2404:current
+    steps:
+      - run:
+          name: Clone Kona Repository
+          command: |
+            git clone git@github.com:op-rs/kona.git --depth 1
+      - run:
+          name: Install just
+          command: sudo apt update && sudo apt install just
+      - run:
+          name: Build RISCV ELF
+          command: |
+            cd kona
+            just build-asterisc --bin kona --profile release-client-lto
+      - persist_to_workspace:
+          root: /home/circleci/project
+          paths:
+            - kona/target/riscv64imac-unknown-none-elf/release-client-lto
+
+  run-rv64-matching-tool:
+    docker:
+      - image: cimg/base:current
+    steps:
+      - attach_workspace:
+          at: .
+      - checkout
+      - run:
+          name: install_python_dep
+          command: |
+            pip3 install -r requirements.txt
+          working_directory: tests/rv64-matching-tool
+      - run:
+          name: Run RV64 matching tool
+          command: |
+            cd tests
+            python3 matching_tool.py /root/project/kona/target/riscv64imac-unknown-none-elf/release-client-lto/kona ./supported_targets/asterisc-v1.1.2.json
+          working_directory: tests/rv64-matching-tool
\ No newline at end of file