Fix decoder gen

.clang-format

@@ -0,0 +1,2 @@
+---
+BasedOnStyle: LLVM

.github/workflows/build.yml

@@ -1,7 +1,6 @@
 name: CI
 
 on:
-  push:
   pull_request:
 
 jobs:
@@ -24,13 +23,15 @@ jobs:
       - name: Run clang-format style check
         uses: jidicula/clang-format-action@v4.14.0
         with:
-          clang-format-version: '19'
+          clang-format-version: '20'
           check-path: '.'
 
-  build:
+  test:
     needs: formatting-check
-    name: Build
+    name: Test
     runs-on: ubuntu-22.04
+    container: 
+      image: ghcr.io/egorshamshura/protea-build:latest
     strategy:
       fail-fast: false
       matrix:
@@ -44,11 +45,8 @@ jobs:
       - name: Checkout repository
         uses: actions/checkout@v4
 
-      - name: Set up Ruby
-        uses: ruby/setup-ruby@v1
-        with:
-          ruby-version: '3.4.8'
-          bundler-cache: true
-
       - name: Build
         run: ci-extra/build.sh "$CMAKE_PRESET"
+
+      - name: Run tests
+        run: ci-extra/test.sh "$CMAKE_PRESET"

CMakeLists.txt

@@ -2,19 +2,34 @@ cmake_minimum_required(VERSION 3.22 FATAL_ERROR)
 
 project(protea)
 
+set(TARGET_NAME RISCV)
+
+option(PROTEA_BUILD_TESTS
+       "Enable tests build (requires riscv gnu toolchain)" OFF)
 
 if(CMAKE_INSTALL_PREFIX_INITIALIZED_TO_DEFAULT)
   set_property(CACHE CMAKE_INSTALL_PREFIX
                PROPERTY VALUE "${CMAKE_BINARY_DIR}/install")
 endif()
 
-find_package(Ruby 3.4.8 EXACT REQUIRED)
+find_package(Ruby 4.0.1 EXACT REQUIRED)
+find_package(Python3 3.10 EXACT REQUIRED COMPONENTS Interpreter)
+message("Python found: ${Python3_EXECUTABLE}")
 
+include(ExternalProject)
 include(cmake/Bundler.cmake)
+include(cmake/QEMU.cmake)
 include(cmake/CompilerOptions.cmake)
 include(cmake/CPM.cmake)
 include(cmake/dependencies.cmake)
+include(cmake/CompilerConfig.cmake)
+
+if(PROTEA_BUILD_TESTS)
+  enable_testing()
+endif()
 
 add_subdirectory(lib)
 add_subdirectory(sim_lib)
 add_subdirectory(sim_gen)
+add_subdirectory(sim_gen_lira)
+add_subdirectory(test)

CMakePresets.json

@@ -8,37 +8,119 @@
   "configurePresets": [
     {
       "name": "Base",
-      "description": "General preset that applies to all configurations",
       "hidden": true,
       "binaryDir": "${sourceDir}/build/${presetName}"
     },
     {
       "name": "Default-Release",
-      "description": "Release build",
       "inherits": "Base",
       "cacheVariables": {
         "CMAKE_BUILD_TYPE": "Release"
       }
     },
     {
       "name": "Default-Debug",
-      "description": "Debug build",
       "inherits": "Base",
       "cacheVariables": {
         "CMAKE_BUILD_TYPE": "Debug"
       }
+    },
+    {
+      "name": "Default-RelWithDebInfo",
+      "inherits": "Base",
+      "cacheVariables": {
+        "CMAKE_BUILD_TYPE": "RelWithDebInfo"
+      }
+    },
+    {
+      "name": "Default-Sanitized",
+      "inherits": "Base",
+      "cacheVariables": {
+        "CMAKE_BUILD_TYPE": "Release",
+        "SANITIZED": "ON"
+      }
+    },
+    {
+      "name": "Default-SanitizedDebug",
+      "inherits": "Base",
+      "cacheVariables": {
+        "CMAKE_BUILD_TYPE": "Debug",
+        "SANITIZED": "ON"
+      }
     }
   ],
   "buildPresets": [
     {
       "name": "Default-Release",
-      "description": "Build Release configuration",
       "configurePreset": "Default-Release"
     },
     {
       "name": "Default-Debug",
-      "description": "Build Debug configuration",
       "configurePreset": "Default-Debug"
+    },
+    {
+      "name": "Default-RelWithDebInfo",
+      "configurePreset": "Default-RelWithDebInfo"
+    },
+    {
+      "name": "Default-Sanitized",
+      "configurePreset": "Default-Sanitized"
+    },
+    {
+      "name": "Default-SanitizedDebug",
+      "configurePreset": "Default-SanitizedDebug"
+    }
+  ],
+  "testPresets": [
+    {
+      "name": "Default-Release",
+      "configurePreset": "Default-Release",
+      "execution": {
+        "jobs": 16
+      },
+      "output": {
+        "outputOnFailure": true
+      }
+    },
+    {
+      "name": "Default-Debug",
+      "configurePreset": "Default-Debug",
+      "execution": {
+        "jobs": 16
+      },
+      "output": {
+        "outputOnFailure": true
+      }
+    },
+    {
+      "name": "Default-RelWithDebInfo",
+      "configurePreset": "Default-RelWithDebInfo",
+      "execution": {
+        "jobs": 16
+      },
+      "output": {
+        "outputOnFailure": true
+      }
+    },
+    {
+      "name": "Default-Sanitized",
+      "configurePreset": "Default-Sanitized",
+      "execution": {
+        "jobs": 16
+      },
+      "output": {
+        "outputOnFailure": true
+      }
+    },
+    {
+      "name": "Default-SanitizedDebug",
+      "configurePreset": "Default-SanitizedDebug",
+      "execution": {
+        "jobs": 16
+      },
+      "output": {
+        "outputOnFailure": true
+      }
     }
   ]
 }

README.md

@@ -5,23 +5,13 @@ Protea (named after Proteus, the Greek sea god known for his ability to change s
 
 ProteaIR (Protea Intermediate Representation) doesn't have canonical textual or binary representation. Instead, it is possible to serialize and deserialize it using JSON, YAML, or any other format.
 
-Usage
+Building Protea
 -----
-It is a monorepo managed by [Bundler](https://bundler.io/). To install dependencies, run:
-
-```bash
-bundle install
-```
-
-So every ruby tool or script can be run using `bundle exec`, for example:
-
 ```bash
-bundle exec ruby tools/some_tool.rb
+cmake -S . -B build -G <generator> [options]
 ```
 
-
-
-Tests
------
-
-
+Some common options:
+1) -DPROTEA_BUILD_TESTS=BOOL - An option to enable tests. Tests can be run using ctests
+2) -DTARGET_NAME_TOOLCHAIN_DIR="..." - A path to target's toolchain dir
+3) -DQEMU_PATH="..." - A path to qemu executable

ci-extra/test.sh

@@ -0,0 +1,11 @@
+PRESET_NAME=$1
+
+cmake -S . \
+  --preset "${PRESET_NAME}" \
+  -DPROTEA_BUILD_TESTS=true \
+  -DQEMU_PATH=qemu-riscv32 \
+  -G Ninja
+
+cmake --build --preset "${PRESET_NAME}" --target simtests --parallel 12
+
+ctest --preset "${PRESET_NAME}"

cmake/CompilerConfig.cmake

@@ -0,0 +1,60 @@
+option(HARDENED "Should the standard library be hardened" OFF)
+option(SANITIZED "Should the build be sanitized" OFF)
+
+function(configure_compiler)
+    set(isGCC OFF)
+    set(isClang OFF)
+
+    if(CMAKE_CXX_COMPILER_ID STREQUAL "GNU")
+        set(isGCC ON)
+    elseif(CMAKE_CXX_COMPILER_ID MATCHES "Clang")
+        set(isClang ON)
+    endif()
+
+    set(compilerOptions "")
+    set(compilerDefinitions "")
+    set(linkerOptions "")
+
+    if(isClang)
+        list(APPEND compilerOptions -stdlib=libc++)
+        list(APPEND linkerOptions -stdlib=libc++)
+        message(STATUS "Using libc++ as a standard library")
+    endif()
+
+    if(HARDENED)
+        if(isGCC)
+            list(APPEND compilerDefinitions _GLIBCXX_DEBUG)
+            message(STATUS "Enabled debug mode for libstdc++")
+        elseif(isClang)
+            list(APPEND compilerDefinitions _LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG)
+            message(STATUS "Enabled hardening mode for libc++")
+        else()
+            message(STATUS "Hardening is not supported for CXX compiler: '${CMAKE_CXX_COMPILER_ID}'")
+        endif()
+    endif()
+
+    if(SANITIZED)
+        if(isGCC OR isClang)
+            list(APPEND compilerOptions
+                -fsanitize=undefined,address
+                -fno-sanitize-recover=all
+                -fno-optimize-sibling-calls
+                -fno-omit-frame-pointer
+            )
+            list(APPEND linkerOptions
+                -fsanitize=undefined,address
+            )
+            message(STATUS "Enabled UBSan and ASan")
+        else()
+            message(WARNING "Sanitized builds are not supported for CXX compiler: '${CMAKE_CXX_COMPILER_ID}'")
+        endif()
+    endif()
+
+    message(STATUS "Setting global compiler options: ${compilerOptions}")
+    message(STATUS "Setting global compiler definitions: ${compilerDefinitions}")
+    message(STATUS "Setting global linker options: ${linkerOptions}")
+
+    add_compile_options(${compilerOptions})
+    add_compile_definitions(${compilerDefinitions})
+    add_link_options(${linkerOptions})
+endfunction()

cmake/QEMU.cmake

@@ -0,0 +1,5 @@
+if (NOT DEFINED QEMU_PATH)
+  set(QEMU_PATH "qemu")
+endif()
+
+message(STATUS "Using QEMU: ${QEMU_PATH}")

cmake/discover_generated_tests.cmake.in

@@ -0,0 +1,28 @@
+if(NOT EXISTS "@OUTPUT_TESTS_DIR@")
+  message(STATUS "Test directory does not exist yet: @OUTPUT_TESTS_DIR@")
+  return()
+endif()
+
+file(GLOB discovered_tests "@OUTPUT_TESTS_DIR@/*")
+
+if(NOT discovered_tests)
+  message(STATUS "No generated tests found in @OUTPUT_TESTS_DIR@")
+endif()
+
+foreach(test_file IN LISTS discovered_tests)
+  if(IS_DIRECTORY "${test_file}")
+    continue()
+  endif()
+
+  get_filename_component(test_name "${test_file}" NAME)
+
+  add_test(
+    "@PROJECT_NAME@.${test_name}"
+    "@GENERATED_SIM_BIN_PATH@" --propagate-exit "${test_file}"
+  )
+
+  add_test(
+    "@PROJECT_NAME@.cached-interp.${test_name}"
+    "@GENERATED_SIM_BIN_PATH@" --jit cached-interp --propagate-exit "${test_file}"
+  )
+endforeach()