GitHub CI build and testing

.github/workflows/ci.yml

@@ -0,0 +1,48 @@
+name: CI build and test
+
+on: [push, pull_request]
+
+defaults:
+  run:
+    shell: bash
+
+jobs:
+  build-linux:
+    if: ${{ !contains(github.event.head_commit.message, '[skip-ci]') }}
+    runs-on: ubuntu-latest
+    container:
+      image: fedora:latest
+    steps:
+      - uses: actions/checkout@v7
+      - name: Install dependencies
+        run: sudo dnf install -y cmake gcc gcc-c++ git libstdc++-devel make ninja
+      - name: CMake configure
+        run: cmake -G Ninja -B bld -DUSE_LTO=OFF
+      - name: CMake build
+        run: cmake --build bld -j $(nproc)
+      - name: Setup Test suite dependencies
+        run: sudo dnf install -y emacs-nw libcxx libcxx-devel libcxxabi libcxxabi-devel mingw64-gcc mingw64-libstdc++ ucrt64-gcc ucrt64-libstdc++
+      - name: Configure Test suite using CMake
+        if: ${{ !contains(github.event.head_commit.message, '[ci-skip-test-driver]') }}
+        working-directory: ./tst
+        run: cmake -G Ninja -B bld -DUSE_LTO=OFF -DLCC_TEST_NON_ZERO_EXIT_ON_FAILURE=ON
+      - name: Build Test suite
+        if: ${{ !contains(github.event.head_commit.message, '[ci-skip-test-driver]') }}
+        working-directory: ./tst
+        run: cmake --build bld
+      - name: Test
+        if: ${{ !contains(github.event.head_commit.message, '[ci-skip-test-driver]') && contains(github.event.head_commit.message, '[ci-run-tests]') }}
+        working-directory: ./tst
+        run: cmake --build bld -t test
+  build-windows:
+    if: ${{ !contains(github.event.head_commit.message, '[skip-ci]') }}
+    runs-on: windows-latest
+    defaults:
+      run:
+        shell: pwsh
+    steps:
+      - uses: actions/checkout@v7
+      - name: CMake configure
+        run: cmake -G Ninja -B bld -DCMAKE_C_COMPILER=clang-cl -DCMAKE_CXX_COMPILER=clang-cl -DCMAKE_CXX_SCAN_FOR_MODULES=OFF -DFMT_MODULE=OFF -DUSE_LTO=OFF
+      - name: CMake build
+        run: cmake --build bld -j $(nproc)

inc/lcc/ir/core.hh

@@ -26,7 +26,7 @@
 #include <vector>
 
 namespace lcc {
-class Parameter;
+class Function;
 class PhiInst;
 
 namespace parser {
@@ -605,6 +605,34 @@ public:
     static auto classof(const Value* v) -> bool { return v->kind() == Kind::Block; }
 };
 
+/// A parameter reference.
+class Parameter : public UseTrackingValue {
+    /// Only the Function class should be able to create these.
+    friend Function;
+    // NOTE: For lowering
+    friend Module;
+
+    /// The parameter index.
+    u32 i{};
+
+    Parameter(Type* ty, u32 idx)
+        : UseTrackingValue(Kind::Parameter, ty)
+        , i(idx) {}
+
+public:
+    /// Get the parameter index.
+    [[nodiscard]]
+    auto index() const -> u32 { return i; }
+
+    /// NOTE: For lowering
+    [[nodiscard]]
+    auto index() -> u32& { return i; }
+
+    /// RTTI.
+    [[nodiscard]]
+    static auto classof(const Value* v) -> bool { return v->kind() == Kind::Parameter; }
+};
+
 /// An IR function.
 class Function : public UseTrackingValue {
 private:
@@ -743,34 +771,6 @@ public:
     static auto classof(const Value* v) -> bool { return v->kind() == Kind::Function; }
 };
 
-/// A parameter reference.
-class Parameter : public UseTrackingValue {
-    /// Only the Function class should be able to create these.
-    friend Function;
-    // NOTE: For lowering
-    friend Module;
-
-    /// The parameter index.
-    u32 i{};
-
-    Parameter(Type* ty, u32 idx)
-        : UseTrackingValue(Kind::Parameter, ty)
-        , i(idx) {}
-
-public:
-    /// Get the parameter index.
-    [[nodiscard]]
-    auto index() const -> u32 { return i; }
-
-    /// NOTE: For lowering
-    [[nodiscard]]
-    auto index() -> u32& { return i; }
-
-    /// RTTI.
-    [[nodiscard]]
-    static auto classof(const Value* v) -> bool { return v->kind() == Kind::Parameter; }
-};
-
 /// ============================================================================
 ///  Instructions
 /// ============================================================================

inc/lccbase/context.hh

@@ -45,9 +45,9 @@ public:
         StopatSema = true,
     };
 
-    enum OptionPrintMIR : bool {
-        DoNotPrintMIR,
-        PrintMIR = true,
+    enum OptionPrintMachineIR : bool {
+        DoNotPrintMachineIR,
+        PrintMachineIR = true,
     };
     enum OptionStopatMIR : bool {
         DoNotStopatMIR,
@@ -74,7 +74,7 @@ public:
         OptionStopatSyntax _stopat_syntax{};
         OptionStopatSema _stopat_sema{};
 
-        OptionPrintMIR _should_print_mir{};
+        OptionPrintMachineIR _should_print_mir{};
         OptionStopatMIR _stopat_mir{};
     };
 

lib/lcc/lcc-c.cc

@@ -41,7 +41,7 @@ LccContextRef lcc_context_create(LccTargetRef target, LccFormatRef format) {
             lcc::Context::DoNotStopatLex,
             lcc::Context::DoNotStopatSyntax,
             lcc::Context::DoNotStopatSema,
-            lcc::Context::DoNotPrintMIR,
+            lcc::Context::DoNotPrintMachineIR,
             lcc::Context::DoNotStopatMIR //
         }
     });

lib/lccjson/lccjson.cc

@@ -4,6 +4,7 @@
 #include <fmt/ranges.h>
 
 #include <cctype>
+#include <optional>
 #include <ranges>
 #include <string>
 #include <string_view>

src/cli.cc

@@ -143,7 +143,7 @@ auto parse(int argc, const char** argv) -> Options {
         else if (arg == "--stopat-ir")
             o.stopat_ir = true;
         else if (arg == "--mir")
-            o.mir = lcc::Context::PrintMIR;
+            o.mir = lcc::Context::PrintMachineIR;
         else if (arg == "--stopat-mir")
             o.stopat_mir = lcc::Context::StopatMIR;
         else if (arg == "--stats")

src/cli.hh

@@ -19,7 +19,7 @@ struct Options {
 
     lcc::Context::OptionPrintStats print_stats{false};
     lcc::Context::OptionPrintAST ast{false};
-    lcc::Context::OptionPrintMIR mir{false};
+    lcc::Context::OptionPrintMachineIR mir{false};
     lcc::Context::OptionStopatLex stopat_lex{false};
     lcc::Context::OptionStopatSyntax stopat_syntax{false};
     lcc::Context::OptionStopatSema stopat_sema{false};

tst/CMakeLists.txt

@@ -53,6 +53,10 @@ if (USE_LTO)
   endif()
 endif()
 
+if (LCC_TEST_NON_ZERO_EXIT_ON_FAILURE)
+  add_compile_definitions(LCC_TEST_NON_ZERO_EXIT_ON_FAILURE)
+endif()
+
 add_subdirectory("./vew/" "vew" EXCLUDE_FROM_ALL)
 
 # LangTest

tst/codetest/x86_64/main.cpp

@@ -281,7 +281,7 @@ bool run_test(
             lcc::Context::DoNotStopatLex,
             lcc::Context::DoNotStopatSyntax,
             lcc::Context::DoNotStopatSema,
-            lcc::Context::DoNotPrintMIR,
+            lcc::Context::DoNotPrintMachineIR,
             lcc::Context::DoNotStopatMIR,
         }
     };
@@ -1181,7 +1181,9 @@ int main(int argc, char** argv) {
         break;
     }
 
-    // if (any_failed)
-    //     return 1;
+#ifdef LCC_TEST_NON_ZERO_EXIT_ON_FAILURE
+    if (any_failed)
+        return 1;
+#endif
     return 0;
 }

tst/irtest/main.cpp

@@ -453,7 +453,7 @@ int main(int argc, char** argv) {
             lcc::Context::DoNotStopatLex,
             lcc::Context::DoNotStopatSyntax,
             lcc::Context::DoNotStopatSema,
-            lcc::Context::DoNotPrintMIR,
+            lcc::Context::DoNotPrintMachineIR,
             lcc::Context::DoNotStopatMIR
         }
     };
@@ -485,7 +485,9 @@ int main(int argc, char** argv) {
         fmt::print("{}", print_test_passedfailed(result));
     }
 
-    // if (any_failed)
-    //     return 1;
+#ifdef LCC_TEST_NON_ZERO_EXIT_ON_FAILURE
+    if (any_failed)
+        return 1;
+#endif
     return 0;
 }

tst/langtest/c/main.cpp

@@ -90,7 +90,7 @@ struct CLanguageTest : langtest::Test {
                 lcc::Context::DoNotStopatLex,
                 lcc::Context::DoNotStopatSyntax,
                 lcc::Context::DoNotStopatSema,
-                lcc::Context::DoNotPrintMIR,
+                lcc::Context::DoNotPrintMachineIR,
                 lcc::Context::DoNotStopatMIR
             }
         };
@@ -241,7 +241,7 @@ void output_ast(std::filesystem::path p) {
             lcc::Context::DoNotStopatLex,
             lcc::Context::DoNotStopatSyntax,
             lcc::Context::DoNotStopatSema,
-            lcc::Context::DoNotPrintMIR,
+            lcc::Context::DoNotPrintMachineIR,
             lcc::Context::DoNotStopatMIR //
         } //
     };
@@ -561,7 +561,9 @@ int main(int argc, const char** argv) {
         );
     }
 
-    // if (out.count_failed())
-    //     return 1;
+#ifdef LCC_TEST_NON_ZERO_EXIT_ON_FAILURE
+    if (out.count_failed())
+        return 1;
+#endif
     return 0;
 }

tst/langtest/glint/main.cpp

@@ -94,7 +94,7 @@ struct GlintTest : langtest::Test {
                 lcc::Context::DoNotStopatLex,
                 lcc::Context::DoNotStopatSyntax,
                 lcc::Context::DoNotStopatSema,
-                lcc::Context::DoNotPrintMIR,
+                lcc::Context::DoNotPrintMachineIR,
                 lcc::Context::DoNotStopatMIR
             }
         };
@@ -250,7 +250,7 @@ void output_ast(std::filesystem::path p) {
             lcc::Context::DoNotStopatLex,
             lcc::Context::DoNotStopatSyntax,
             lcc::Context::DoNotStopatSema,
-            lcc::Context::DoNotPrintMIR,
+            lcc::Context::DoNotPrintMachineIR,
             lcc::Context::DoNotStopatMIR //
         } //
     };
@@ -560,7 +560,9 @@ int main(int argc, const char** argv) {
         );
     }
 
-    // if (out.count_failed())
-    //     return 1;
+#ifdef LCC_TEST_NON_ZERO_EXIT_ON_FAILURE
+    if (out.count_failed())
+       return 1;
+#endif
     return 0;
 }