[wasm2c] Add the very beginning of a wasm2c implementation and test harness

.gitignore

@@ -17,6 +17,7 @@ options-pinned.h
 # files related to building in-tree
 CMakeFiles
 *.cmake
+!scripts/gen-wasm2c-templates.cmake
 /CMakeCache.txt
 /Makefile
 /*.ninja

.gitmodules

@@ -10,3 +10,9 @@
 [submodule "third_party/mimalloc"]
 	path = third_party/mimalloc
 	url = https://github.com/microsoft/mimalloc.git
+[submodule "third_party/simde"]
+	path = third_party/simde
+	url = https://github.com/simd-everywhere/simde
+[submodule "third_party/picosha2"]
+	path = third_party/picosha2
+	url = https://github.com/okdshin/PicoSHA2

check.py

@@ -25,7 +25,7 @@
 from multiprocessing.pool import ThreadPool
 from pathlib import Path
 
-from scripts.test import binaryenjs, finalize, shared, support, wasm2js, wasm_opt
+from scripts.test import binaryenjs, finalize, shared, support, wasm2js, wasm2c, wasm_opt
 from scripts.test.shared import print_heading
 
 assert sys.version_info >= (3, 10), 'requires Python 3.10'
@@ -441,6 +441,7 @@ def wrapper(*args, **kwargs):
     'spec': run_spec_tests,
     'finalize': finalize.test_wasm_emscripten_finalize,
     'wasm2js': wasm2js.test_wasm2js,
+    'wasm2c-spec': wasm2c.test_wasm2c_spec,
     'validator': run_validator_tests,
     'example': run_example_tests,
     'unit': run_unittest,

scripts/gen-wasm2c-templates.cmake

@@ -0,0 +1,5 @@
+# https://stackoverflow.com/a/47801116
+file(READ ${in} content)
+string(REGEX REPLACE "(.[^\n]*\n)" "R\"w2c_template(\\1)w2c_template\"\n" content "${content}")
+set(content "const char* ${symbol} = ${content};\n")
+file(WRITE ${out} "${content}")

scripts/test/shared.py

@@ -213,6 +213,7 @@ def is_exe(fpath):
 WASM_AS = [os.path.join(options.binaryen_bin, 'wasm-as')]
 WASM_DIS = [os.path.join(options.binaryen_bin, 'wasm-dis')]
 WASM2JS = [os.path.join(options.binaryen_bin, 'wasm2js')]
+WASM2C = [os.path.join(options.binaryen_bin, 'wasm2c')]
 WASM_CTOR_EVAL = [os.path.join(options.binaryen_bin, 'wasm-ctor-eval')]
 WASM_SHELL = [os.path.join(options.binaryen_bin, 'wasm-shell')]
 WASM_REDUCE = [os.path.join(options.binaryen_bin, 'wasm-reduce')]

scripts/test/wasm2c.py

@@ -0,0 +1,68 @@
+# Copyright 2026 WebAssembly Community Group participants
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+import pathlib
+import subprocess
+import tempfile
+
+from . import shared, support
+from .shared import print_heading
+
+spec_tests = [
+    'unreachable.wast',
+]
+
+def test_wasm2c_spec_output():
+    for t in shared.options.spec_tests:
+        test_path = pathlib.Path(t)
+        if test_path.name not in spec_tests:
+            continue
+
+        print('..', test_path.name)
+
+        is_fail_test = '.fail' in test_path.name
+
+        test_subdir = f'wasm2c_spec_{test_path.stem}'
+        test_subdir_path = pathlib.Path(test_subdir)
+        test_subdir_path.mkdir(exist_ok=True)
+
+        wasm2c_cmd = [shared.WASM2C[0], t, '-o', f'{test_subdir}/{test_path.stem}.c', '--allow-asserts']
+        support.run_command(wasm2c_cmd, expected_status = (1 if is_fail_test else 0))
+
+        c_sources = sorted(test_subdir_path.glob('*.c'))
+
+        wasm2c_dir = pathlib.Path(shared.options.binaryen_root) / 'wasm2c'
+        c_sources.append(wasm2c_dir / 'wasm-rt-impl.c')
+        c_sources.append(wasm2c_dir / 'wasm-rt-mem-impl.c')
+        c_sources.append(wasm2c_dir / 'wasm-rt-exceptions-impl.c')
+
+        compile_cmd = [shared.NATIVECC, '-O2', '-std=c11', '-D_GNU_SOURCE', '-D_DEFAULT_SOURCE', '-I.', f"-I{wasm2c_dir}"] + [str(s) for s in c_sources] + ['-o', f'{test_subdir}/spec_test_runner']
+
+        compile_cmd += ['-fno-optimize-sibling-calls', '-frounding-math']
+        if 'gcc' in shared.NATIVECC.lower():
+            compile_cmd.append('-fsignaling-nans')
+
+        compile_cmd.append('-lm')
+        compile_cmd.append('-lpthread')
+
+        support.run_command(compile_cmd)
+
+        # Run spec test runner binary and assert success
+        support.run_command([f'{test_subdir}/spec_test_runner'])
+
+def test_wasm2c_spec():
+    print_heading('checking wasm2c spec testcases...')
+    if shared.skip_if_on_windows('wasm2c-spec'):
+        return
+    test_wasm2c_spec_output()