Add a setjmp/longjmp runtime for a new sjlj translation proposed in LLVM

the new runtime code is basically a copy from:
https://github.com/yamt/garbage/blob/wasm-sjlj-alt2/wasm/longjmp/rt.c.

The corresponding LLVM change:
llvm/llvm-project#84137

Discussion:
https://docs.google.com/document/d/1ZvTPT36K5jjiedF8MCXbEmYjULJjI723aOAks1IdLLg/edit

Author: yamt

AUTHORS

@@ -597,3 +597,4 @@ a license to everyone to use it as detailed in LICENSE.)
 * James Hu <[email protected]>
 * Jerry Zhuang <[email protected]>
 * Taisei Kon <[email protected]>
+* YAMAMOTO Takashi <[email protected]>

system/lib/compiler-rt/emscripten_setjmp.c

@@ -5,6 +5,7 @@
 * found in the LICENSE file.
 */
 
+#include <assert.h>
 #include <stdint.h>
 #include <stdlib.h>
 #include <setjmp.h>
@@ -102,4 +103,28 @@ void __wasm_longjmp(void *env, int val) {
   __builtin_wasm_throw(C_LONGJMP, &__wasm_longjmp_args);
 }
 
+// jmp_buf should have large enough size and alignment to contain
+// this structure.
+struct jmp_buf_impl {
+  void* func_invocation_id;
+  uint32_t label;
+};
+
+void __wasm_setjmp(void* env, uint32_t label, void* func_invocation_id) {
+  struct jmp_buf_impl* jb = env;
+  assert(label != 0);                 // ABI contract
+  assert(func_invocation_id != NULL); // sanity check
+  jb->func_invocation_id = func_invocation_id;
+  jb->label = label;
+}
+
+uint32_t __wasm_setjmp_test(void* env, void* func_invocation_id) {
+  struct jmp_buf_impl* jb = env;
+  assert(jb->label != 0);             // ABI contract
+  assert(func_invocation_id != NULL); // sanity check
+  if (jb->func_invocation_id == func_invocation_id) {
+    return jb->label;
+  }
+  return 0;
+}
 #endif