This lets code compiled to linear memory wasm (like a C++ or Rust game engine) use the host GC instead of shipping its own, with the benefits of
| --- a 2025-10-08 13:06:30.544955211 -0700 | |
| +++ b 2025-10-08 13:06:48.673083467 -0700 | |
| @@ -1290924,24 +1290924,21 @@ | |
| (i32.const 36) | |
| ) | |
| ) | |
| ) | |
| ) | |
| ) | |
| (return |
| // | |
| // Branch hints benchmark: 30% faster with the right hint (LIKELY=0), | |
| // 20% slower with the wrong one (LIKELY=1), compared to no hint. | |
| // | |
| #include <iostream> | |
| #include <vector> | |
| #ifdef LIKELY | |
| #define hint(x) __builtin_expect((x), LIKELY) |
| var data = new ArrayBuffer(1024); | |
| HEAP8 = new Int8Array(data); | |
| HEAP32 = new Int32Array(data); | |
| for (var i = 0; i < 1024; i++) { | |
| HEAP8[i] = (i & 17); | |
| } | |
| for (var n = 0; n < 1024 * 500; n++) { |
| #include <iostream> | |
| struct A { | |
| A() { std::cout << "A\n"; } | |
| }; | |
| struct B { | |
| B() { std::cout << "B\n"; } | |
| }; | |
| // Init priority adjustment so A is inialized later. | |
| A __attribute__ ((init_priority (250))) a; // 150 vs 250 flip the order |
| [ { | |
| name: "outside", | |
| reaches: [ "export-", "export-0", "export--0", "export-_", "export-$", "export-@", "export-~!@#$%^&*()_+`-={}|[]\\:\";'<>?,./", "export-NaN", "export-Infinity", "export-if", "export-malloc", "export-_malloc", "export-__malloc", "export-a", "export-A", "export-\ufeff", "export-Å", "export-Å", "export-Å", "export-ffi", "export-ffi", "export-ffi", "export-\0\b", "export-", "export-", "export-", "export-", "export-", "export-�", "export-␀␁␂␃␄␅␆␇␈␉␊␋␌␍␎␏", "export-␐␑␒␓␔␕␖␗␘␙␚␛␜␝␞␟", "export-␠␡", "export-�", "export-", "export-", "export-͏", "export-", "export-⵿", "export-𑁿", "export-", "export- ", "export-‑", "export-", "export-", "export-𐀀", "export-Z̴͇̫̥̪͓͈͔͎̗̞̺̯̱̞̙̱̜̖̠̏͆̆͛͌͘͞ḁ̶̰̳̭͙̲̱̹̝͎̼͗ͨ̎̄̆͗̿̀́͟͡l̶̷͉̩̹̫̝͖̙̲̼͇͚͍̮͎̥̞̈́͊͗ͦ̈́ͫ̇́̚ͅͅg̶͕͔͚̩̓̐̅ͮ̔̐̎̂̏̾͊̍͋͊ͧ́̆ͦ͞o̡͋̔͐ͪͩ͏̢̧̫̙̤̮͖͙͓̺̜̩̼̘̠́", "export-ᅟᅠㅤﾠ", "export-︀", "export-︄", "export-󠄀", "export-󠇯", "export-̈", "export-", "export-", "export-", "export-", |
| diff --git a/src/passes/TypeSSA.cpp b/src/passes/TypeSSA.cpp | |
| index 8ba6c10c4..e2bff86cd 100644 | |
| --- a/src/passes/TypeSSA.cpp | |
| +++ b/src/passes/TypeSSA.cpp | |
| @@ -85,22 +85,26 @@ std::vector<HeapType> ensureTypesAreInNewRecGroup(RecGroup recGroup, | |
| std::unordered_set<HeapType> existingSet(existing.begin(), existing.end()); | |
| // Check for a collision with an existing rec group. Note that it is enough to | |
| // check one of the types: either the entire rec group gets merged, so they | |
| // are all merged, or not. |
| (module | |
| (type (shared (array i8))) | |
| (type (sub final (shared (array i8)))) | |
| (rec | |
| (type (sub final (shared (array i8)))) | |
| ) | |
| (global (ref 0) (array.new_default 1 (i32.const 1))) | |
| (global (ref 1) (array.new_default 2 (i32.const 1))) | |
| (global (ref 2) (array.new_default 0 (i32.const 1))) |
| --- ok.wat 2024-05-15 09:49:22.761673972 -0700 | |
| +++ bad.wat 2024-05-15 09:49:52.181996721 -0700 | |
| @@ -300838,43 +300838,41 @@ | |
| (then | |
| (local.set $12 | |
| (call $Zone._enter | |
| (local.get $5) | |
| ) | |
| ) | |
| ) |
| #include <stdio.h> | |
| #include <stdlib.h> | |
| #include <memory.h> | |
| #include <pthread.h> | |
| #include <emscripten.h> | |
| #include <emscripten/threading.h> | |
| #include <assert.h> | |
| #if !defined(__EMSCRIPTEN_PTHREADS__) || __EMSCRIPTEN_PTHREADS__ != 1 | |
| #error __EMSCRIPTEN_PTHREADS__ should have been defined to be equal to 1 when building with pthreads support enabled! |