Basic implementation of playground (#3)

Author: wildarch

.devcontainer.json

@@ -1,8 +1,6 @@
 {
     "name": "GraphAlg",
-    "build": {
-        "dockerfile": "docker/Dockerfile"
-    },
+    "image": "ghcr.io/wildarch/graphalg",
     "remoteUser": "ubuntu",
     "runArgs": [
         // Allow GDB to disable address space layout randomization.

.github/workflows/ci.yml

@@ -9,14 +9,37 @@ jobs:
   # Build job
   build:
     runs-on: ubuntu-latest
+    container: ghcr.io/wildarch/graphalg-ci
     steps:
       - name: Checkout
         uses: actions/checkout@v5
-      - name: Setup Ruby
-        uses: ruby/setup-ruby@v1
-        with:
-          ruby-version: '3.3' # Not needed with a .ruby-version file
-          bundler-cache: true # runs 'bundle install' and caches installed gems automatically
-          cache-version: 0 # Increment this number if you need to re-download cached gems
-      - name: Build with Jekyll
-        run: bundle exec jekyll build
+      - name: Build codemirror-lang-graphalg
+        shell: bash
+        run: |
+          source /root/emsdk/emsdk_env.sh
+          npm --workspace=codemirror-lang-graphalg install
+          npm --workspace=codemirror-lang-graphalg run prepare
+      - name: Build compiler (native)
+        shell: bash
+        run: |
+          ./compiler/configure.sh
+          cmake --build ./compiler/build
+          cmake --build ./compiler/build --target check
+      - name: Build compiler (wasm)
+        shell: bash
+        run: |
+          source /root/emsdk/emsdk_env.sh
+          ./compiler/configure-wasm.sh
+          cmake --build ./compiler/build-wasm
+      - name: Build playground
+        shell: bash
+        run: |
+          source /root/emsdk/emsdk_env.sh
+          npm --workspace=playground install
+          npm --workspace=playground run prepare
+      - name: Build website
+        env:
+          GEM_HOME: /root/gems
+        run: |
+          /root/gems/bin/bundle install
+          /root/gems/bin/bundle exec jekyll build

.github/workflows/pages.yml

@@ -28,9 +28,31 @@ jobs:
   # Build job
   build:
     runs-on: ubuntu-latest
+    container: ghcr.io/wildarch/graphalg
     steps:
       - name: Checkout
         uses: actions/checkout@v5
+
+      # The playground and its dependencies, because they are used in pages.
+      - name: Build codemirror-lang-graphalg
+        shell: bash
+        run: |
+          source /root/emsdk/emsdk_env.sh
+          npm --workspace=codemirror-lang-graphalg install
+          npm --workspace=codemirror-lang-graphalg run prepare
+      - name: Build compiler (wasm)
+        shell: bash
+        run: |
+          source /root/emsdk/emsdk_env.sh
+          ./compiler/configure-wasm.sh
+          cmake --build ./compiler/build-wasm
+      - name: Build playground
+        shell: bash
+        run: |
+          source /root/emsdk/emsdk_env.sh
+          npm --workspace=playground install
+          npm --workspace=playground run prepare
+
       - name: Setup Ruby
         uses: ruby/setup-ruby@v1
         with:

README.md

@@ -16,10 +16,13 @@ npm --workspace=codemirror-lang-graphalg run prepare
 cmake --build ./compiler/build
 cmake --build ./compiler/build --target check
 
-npm --workspace=website install
-npm --workspace=website run prepare
-# To start a simple server to test the website:
-# (cd website/ && python3 -m http.server)
+./compiler/configure-wasm.sh
+cmake --build ./compiler/build-wasm
+
+npm --workspace=playground install
+npm --workspace=playground run prepare
+# To start a simple server to test the playground:
+# (cd playground/ && python3 -m http.server)
 
 bundle install
 # Or bundle exec jekyll serve to start a server

_config.yml

@@ -11,6 +11,13 @@ callouts:
 
   warning:
     title: Warning
+    color: yellow
+
+  error:
+    title: Error
+    color: red
+
+  error-titled:
     color: red
 
 exclude:

compiler/CMakeLists.txt

@@ -7,7 +7,16 @@ project(
     DESCRIPTION "Compiler for the GraphAlg language"
     LANGUAGES CXX)
 
-# LLVM
+# =============================== BEGIN OPTIONS ================================
+# NOTE: If LLVM is built with RTTI disabled (the default), we must also disable
+# it. If the LLVM build enables RTTI, we are free to choose.
+option(GRAPHALG_ENABLE_RTTI "Enable run time type information" OFF)
+
+option(ENABLE_WASM "Enable wasm-only targets" OFF)
+# ================================ END OPTIONS =================================
+
+# ================================= BEGIN LLVM =================================
+
 find_package(LLVM REQUIRED CONFIG)
 message(STATUS "Found LLVM ${LLVM_PACKAGE_VERSION}")
 message(STATUS "Using LLVMConfig.cmake in: ${LLVM_DIR}")
@@ -20,7 +29,9 @@ include(AddLLVM)
 
 llvm_map_components_to_libnames(llvm_libs support)
 
-# MLIR
+# ================================== END LLVM ==================================
+
+# ================================= BEGIN MLIR =================================
 find_package(MLIR ${LLVM_PACKAGE_VERSION} REQUIRED CONFIG
     HINTS "${LLVM_INSTALL_PREFIX}/lib/cmake"
 )
@@ -35,6 +46,7 @@ if(DEFINED SET_MLIR_TABLEGEN_PATH)
 endif()
 
 include(AddMLIR)
+# ================================== END MLIR ==================================
 
 # Directories with MLIR dialects
 add_subdirectory(include/graphalg)
@@ -87,6 +99,9 @@ target_link_libraries(
 # Suppress -Wdangling-assignment-gsl for generated code from MLIR tablegen
 # The warning is triggered by template instantiations in GraphAlgOps.cpp.inc
 target_compile_options(graphalg_lib PRIVATE -Wno-dangling-assignment-gsl)
+if(NOT GRAPHALG_ENABLE_RTTI)
+  target_compile_options(graphalg_lib PUBLIC -fno-rtti)
+endif()
 
 add_library(graphalg_parse STATIC
     src/graphalg/parse/Lexer.cpp
@@ -123,17 +138,45 @@ target_link_libraries(graphalg-exec PRIVATE
     MLIRParser
 )
 
-set(ENABLE_WASM OFF CACHE BOOL "Enable wasm-only targets" FORCE)
+add_executable(graphalg-playground src/graphalg-playground.cpp)
+target_link_libraries(graphalg-playground PRIVATE
+    ${llvm_libs}
+    graphalg_lib
+    graphalg_parse
+)
 
 if(ENABLE_WASM)
-    add_executable(wasm_parse src/wasm_parse.cpp)
-    target_link_libraries(wasm_parse PRIVATE
-        ${llvm_libs}
-        graphalg_lib
-        graphalg_parse
+    set(PLAYGROUND_EXPORTED_FUNCTIONS
+        _ga_new
+        _ga_free
+        _ga_parse
+        _ga_diag_count
+        _ga_diag_line_start
+        _ga_diag_line_end
+        _ga_diag_col_start
+        _ga_diag_col_end
+        _ga_diag_msg
+        _ga_desugar
+        _ga_add_arg
+        _ga_set_dims
+        _ga_set_arg_bool
+        _ga_set_arg_int
+        _ga_set_arg_real
+        _ga_evaluate
+        _ga_get_res_ring
+        _ga_get_res_rows
+        _ga_get_res_cols
+        _ga_get_res_bool
+        _ga_get_res_int
+        _ga_get_res_real
+        _ga_get_res_inf
     )
-    target_link_options(wasm_parse PRIVATE
-        -sEXPORTED_FUNCTIONS=_ga_parse
-        -sEXPORTED_RUNTIME_METHODS=cwrap
-        -sMODULARIZE)
+    string (REPLACE ";" "," PLAYGROUND_EXPORTED_FUNCTIONS_STR "${PLAYGROUND_EXPORTED_FUNCTIONS}")
+
+
+    target_link_options(graphalg-playground PRIVATE
+        -sEXPORTED_FUNCTIONS=${PLAYGROUND_EXPORTED_FUNCTIONS_STR}
+        -sEXPORTED_RUNTIME_METHODS=cwrap,UTF8ToString
+        -sMODULARIZE
+        -sEXPORT_ES6)
 endif()

compiler/configure-wasm.sh

@@ -4,8 +4,7 @@ BUILD_DIR=$WORKSPACE_ROOT/build-wasm
 rm -rf $BUILD_DIR
 emcmake cmake -S $WORKSPACE_ROOT -B $BUILD_DIR -G Ninja \
     -DCMAKE_BUILD_TYPE=Debug \
-    -DCMAKE_CXX_FLAGS="-fno-rtti" \
     -DSET_MLIR_TABLEGEN_PATH="/usr/bin/mlir-tblgen-20" \
-    -DLLVM_DIR="$(pwd)/third-party/llvm-wasm-install/lib/cmake/llvm" \
-    -DMLIR_DIR="$(pwd)/third-party/llvm-wasm-install/lib/cmake/mlir" \
+    -DLLVM_DIR="/opt/llvm-wasm/lib/cmake/llvm" \
+    -DMLIR_DIR="/opt/llvm-wasm/lib/cmake/mlir" \
     -DENABLE_WASM=ON \

compiler/configure.sh

@@ -8,4 +8,5 @@ cmake -S $WORKSPACE_ROOT -B $BUILD_DIR -G Ninja \
     -DCMAKE_CXX_COMPILER=clang++-20  \
     -DCMAKE_EXPORT_COMPILE_COMMANDS=1 \
     -DCMAKE_LINKER_TYPE=MOLD \
-    -DLLVM_ROOT="/opt/llvm-debug"
+    -DLLVM_ROOT="/opt/llvm-debug" \
+    -DSET_LLVM_TOOLS_BINARY_DIR="/usr/lib/llvm-20/bin"

compiler/src/graphalg-exec.cpp

@@ -134,6 +134,22 @@ static graphalg::MatrixAttr parseMatrix(llvm::StringRef filename,
       }
 
       valueAttr = mlir::FloatAttr::get(type.getSemiring(), value);
+    } else if (type.getSemiring() ==
+               graphalg::SemiringTypes::forTropReal(ctx)) {
+      double value;
+      if (parts.size() != 3) {
+        emitError() << "expected 3 parts, got " << parts.size();
+        return nullptr;
+      }
+
+      if (!llvm::to_float(parts[2], value)) {
+        emitError() << "invalid float value";
+        return nullptr;
+      }
+
+      valueAttr = graphalg::TropFloatAttr::get(
+          ctx, type.getSemiring(),
+          mlir::FloatAttr::get(graphalg::SemiringTypes::forReal(ctx), value));
     } else {
       emitError() << "unsupported semiring: " << type.getSemiring();
       return nullptr;