diff options
| author | Alon Zakai <azakai@google.com> | 2022-11-30 15:43:03 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-30 23:43:03 +0000 |
| commit | 73b0487709370895cb8f9ac08cb2014143278fd6 (patch) | |
| tree | ad48da99895d30f0eeff91cadee83928052834f4 /CHANGELOG.md | |
| parent | 4f6cb8e54aa073f15f7ce622ea25905283683d5f (diff) | |
| download | binaryen-73b0487709370895cb8f9ac08cb2014143278fd6.tar.gz binaryen-73b0487709370895cb8f9ac08cb2014143278fd6.tar.bz2 binaryen-73b0487709370895cb8f9ac08cb2014143278fd6.zip | |
[Wasm GC] Implement closed-world flag (#5303)
With this change we default to an open world, that is, we do the safe thing
by default: we no longer assume a closed world. Users that want a closed
world must pass --closed-world.
Atm we just do not run passes that assume a closed world. (We might later
refine them to find which types don't escape and only optimize those.) The
RemoveUnusedModuleElements is an exception in that the closed-world
flag influences one part of its operation, but not the rest.
Fixes #5292
Diffstat (limited to 'CHANGELOG.md')
| -rw-r--r-- | CHANGELOG.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index 1fe30bdff..6c7f6f2fb 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -15,6 +15,8 @@ full changeset diff at the end of each section. Current Trunk ------------- +- Add `--closed-world` flag. This enables more optimizations in GC mode as it + lets us assume that we can change types inside the module. - The isorecursive WasmGC type system (i.e. --hybrid) is now the default to match the spec and the old default equirecursive (i.e. --structural) system has been removed. |