close
Skip to content

feat: Implement WebAssembly exception handling (try-catch-finally) #2965

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
BlobMaster41 wants to merge 6 commits into
base: main
Choose a base branch
from
Draft

feat: Implement WebAssembly exception handling (try-catch-finally) #2965

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
83e2b37
Implement exception handling and try-catch-finally support
BlobMaster41 Dec 12, 2025
bafc198
Enable exception-handling feature in tests
BlobMaster41 Dec 12, 2025
8e1c660
Refactor exception handling tests and assertions
BlobMaster41 Dec 12, 2025
854c198
Refactor block statement construction in compiler
BlobMaster41 Dec 12, 2025
b42652b
Add Anakun to NOTICE contributors list
BlobMaster41 Dec 12, 2025
e751d27
Enforce Error type in throw statements
BlobMaster41 Jan 6, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Refactor block statement construction in compiler 
Replaces array spread with manual array construction for block statements, improving clarity and potentially performance when combining tryBlock and dispatchStmts.
  • Loading branch information
@BlobMaster41
BlobMaster41 committed Dec 12, 2025
commit 854c198035671d8848502971dc367c168e9828d5
10 changes: 6 additions & 4 deletions src/compiler.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3297,10 +3297,12 @@ export class Compiler extends DiagnosticEmitter {
dispatchStmts.push(module.unreachable());
}

let fullBlock = module.block(null, [
tryBlock,
...dispatchStmts
]);
let fullBlockStmts = new Array<ExpressionRef>(1 + dispatchStmts.length);
fullBlockStmts[0] = tryBlock;
for (let i = 0; i < dispatchStmts.length; i++) {
fullBlockStmts[1 + i] = dispatchStmts[i];
}
let fullBlock = module.block(null, fullBlockStmts);

// Merge flow states
// If finally always terminates, the whole construct terminates
Expand Down