Add a test for setjmp/longjmp in CI (#770)

This previously wasn't tested, so this add end-to-end testing of the
whole shebang. Testing with the wasm exceptions proposal (latest
version) requires Clang 20 so that's updated for the test matrix as
well.

Author: alexcrichton

.github/workflows/main.yml

@@ -60,93 +60,93 @@ jobs:
           # but that can be expanded as necessary in the future too.
           - name: Test wasm32-wasi
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             upload: wasm32-wasi
             args: -DTARGET_TRIPLE=wasm32-wasi
 
           - name: Test wasm32-wasip1
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             upload: wasm32-wasip1
             args: -DTARGET_TRIPLE=wasm32-wasip1
 
           - name: Test wasm32-wasip2
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             upload: wasm32-wasip2
             args: -DTARGET_TRIPLE=wasm32-wasip2
 
           - name: Test wasm32-wasip1-threads
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             upload: wasm32-wasip1-threads
             args: -DTARGET_TRIPLE=wasm32-wasip1-threads
 
           - name: Test wasm32-wasip1 in V8
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             test_with_v8: true
             args: -DTARGET_TRIPLE=wasm32-wasip1
 
           - name: Test wasm32-wasip1-threads in V8
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             test_with_v8: true
             args: -DTARGET_TRIPLE=wasm32-wasip1-threads
 
           - name: Test wasm32-wasi-simd
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             upload: wasm32-wasi-simd
             args: -DSIMD=ON -DCHECK_SYMBOLS=OFF
 
           - name: Test wasm32-wasip1 (debug)
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             args: -DCMAKE_BUILD_TYPE=Debug
 
           - name: Test wasm32-wasip2 (debug)
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             args: -DCMAKE_BUILD_TYPE=Debug -DTARGET_TRIPLE=wasm32-wasip2
 
           - name: Test wasm32-wasip1-threads (debug)
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             args: -DCMAKE_BUILD_TYPE=Debug -DTARGET_TRIPLE=wasm32-wasip1-threads
 
           - name: Test wasm32-wasip3
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             upload: wasm32-wasip3
             args: -DTARGET_TRIPLE=wasm32-wasip3
 
           - name: Test wasm32-wasip3 (debug)
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             args: -DCMAKE_BUILD_TYPE=Debug -DTARGET_TRIPLE=wasm32-wasip3
 
           - name: Test emmalloc
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             args: -DMALLOC=emmalloc
 
           - name: Test LTO
             os: ubuntu-24.04
-            clang_version: 19
+            clang_version: 20
             test: true
             args: -DLTO=full -DTARGET_TRIPLE=wasm32-wasip2 -DCHECK_SYMBOLS=OFF
 

test/CMakeLists.txt

@@ -110,8 +110,9 @@ endfunction()
 # * `NETWORK` - this test uses the network and sockets.
 # * `PASS_REGULAR_EXPRESSION` - a regex that must match the test output to pass
 # * `FAILP3` - this test fails on wasip3 targets
+# * `SETJMP` - this test requires setjmp/longjmp
 function(register_test test_name executable_name)
-  set(options FS NETWORK FAILP3)
+  set(options FS NETWORK FAILP3 SETJMP)
   set(oneValueArgs CLIENT PASS_REGULAR_EXPRESSION)
   set(multiValueArgs ARGV ENV LDFLAGS CFLAGS)
   cmake_parse_arguments(PARSE_ARGV 1 arg "${options}" "${oneValueArgs}" "${multiValueArgs}")
@@ -135,6 +136,18 @@ function(register_test test_name executable_name)
     list(APPEND wasmtime_args --wasm component-model-async)
     list(APPEND wasmtime_args --wasi p3)
   endif()
+  if (arg_SETJMP)
+    list(APPEND wasmtime_args --wasm exceptions)
+    target_compile_options(${executable_name} PRIVATE
+      "SHELL:-mllvm -wasm-enable-sjlj"
+      "SHELL:-mllvm -wasm-use-legacy-eh=false"
+    )
+    target_link_options(${executable_name} PRIVATE
+      -lsetjmp
+      $<$<BOOL:LTO>:-Wl,-mllvm=-wasm-enable-sjlj>
+      $<$<BOOL:LTO>:-Wl,-mllvm=-wasm-use-legacy-eh=false>
+    )
+  endif()
 
   add_test(
     NAME "${test_name}"
@@ -311,6 +324,11 @@ add_wasilibc_test(sleep.c)
 add_wasilibc_test(write.c FS)
 add_wasilibc_test(wasi-defines.c)
 
+if (CMAKE_C_COMPILER_VERSION VERSION_GREATER 20.0)
+  add_wasilibc_test(setjmp.c SETJMP)
+  set_tests_properties(setjmp.wasm PROPERTIES LABELS v8fail)
+endif()
+
 if (TARGET_TRIPLE MATCHES "-threads")
   add_wasilibc_test(busywait.c)
   add_wasilibc_test(pthread_cond_busywait.c)

test/src/setjmp.c

@@ -0,0 +1,48 @@
+#include "test.h"
+#include <setjmp.h>
+#include <stdlib.h>
+
+#define TEST(c)                                                                \
+  do {                                                                         \
+    if (!(c))                                                                  \
+      t_error("%s failed\n", #c);                                              \
+  } while (0)
+
+static void test_a() {
+  jmp_buf env;
+  int val = setjmp(env);
+  if (val == 0) {
+    longjmp(env, 42);
+    abort();
+  } else {
+    TEST(val == 42);
+  }
+}
+
+static jmp_buf b_env;
+
+static void b_child2() {
+  longjmp(b_env, 43);
+  abort();
+}
+
+static void b_child() {
+  b_child2();
+  abort();
+}
+
+static void test_b() {
+  int val = setjmp(b_env);
+  if (val == 0) {
+    b_child();
+    abort();
+  } else {
+    TEST(val == 43);
+  }
+}
+
+int main() {
+  test_a();
+  test_b();
+  return t_status;
+}