From 7218118e6618fed6fad78646175c5bc7fa5c3eb2 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 | 50 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index e3efbd66..0ef530f8 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -38,6 +38,11 @@ workflows:
       - prestate-reproducibility:
           version: "1.3.1"
           asterisc-commit: "25feabf"
+  instruction_check:
+    jobs:
+      - checkout-with-monorepo
+      - build-kona
+      - run-rv64-matching-tool
 
 commands:
   checkout-with-monorepo:
@@ -414,3 +419,48 @@ jobs:
               echo "Prestate did not match expected"
               exit 1
             fi
+
+  build-kona:
+    docker:
+      - image: <<pipeline.parameters.ci_builder_image>>
+    parameters:
+      version:
+        type: string
+      asterisc-commit:
+        type: string
+    steps:
+      - run:
+          name: Clone Kona Repository
+          command: |
+            git clone git@github.com:op-rs/kona.git --depth 1
+      - run:
+          name: Build RISCV ELF
+          command: |
+            cd kona
+            just build-asterisc --bin kona --profile release-client-lto
+      - persist_to_workspace:
+          root: .
+          paths:
+            - kona/target/release-client-lto/kona
+
+  run-rv64-matching-tool:
+    docker:
+      - image: <<pipeline.parameters.ci_builder_image>>
+    parameters:
+      version:
+        type: string
+      asterisc-commit:
+        type: string
+    steps:
+      - attach_workspace:
+          at: .
+      - run:
+          name: install_python_dep
+          command: |
+            python3 -m venv localenv
+            source localenv/bin/activate
+            pip3 install -r requirements.txt
+      - run:
+          name: Run RV64 matching tool
+          command: | 
+            python3 matching_tool.py /Users/minhyuk/Desktop/sunny/kona/target/release-client-lto/kona ./supported_targets/asterisc-v1.1.2.json