1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
function cleanInfo(info) {
var ret = {};
for (var x in info) {
if (x == 'id' || x == 'type' || x == 'name' || x == 'event') {
ret[x] = info[x];
}
}
return ret;
}
function stringify(expr) {
return JSON.stringify(cleanInfo(binaryen.getExpressionInfo(expr)));
}
var module = new binaryen.Module();
module.setFeatures(binaryen.Features.ReferenceTypes |
binaryen.Features.ExceptionHandling);
var event_ = module.addEvent("e", 0, binaryen.i32, binaryen.none);
// (try
// (do
// (throw $e (i32.const 0))
// )
// (catch
// ;; We don't support multi-value yet. Use locals instead.
// (local.set 0 (exnref.pop))
// (drop
// (block $l (result i32)
// (rethrow
// (br_on_exn $l $e (local.get 0))
// )
// )
// )
// )
// )
var throw_ = module.throw("e", [module.i32.const(0)]);
var br_on_exn = module.br_on_exn("l", "e", module.local.get(0, binaryen.exnref));
var rethrow = module.rethrow(br_on_exn);
var try_ = module.try(
throw_,
module.block(null, [
module.local.set(0, module.exnref.pop()),
module.drop(
module.block("l", [rethrow], binaryen.i32)
)
]
)
);
var func = module.addFunction("test", binaryen.none, binaryen.none, [binaryen.exnref], try_);
console.log(module.emitText());
assert(module.validate());
console.log("getExpressionInfo(throw) = " + stringify(throw_));
console.log("getExpressionInfo(br_on_exn) = " + stringify(br_on_exn));
console.log("getExpressionInfo(rethrow) = " + stringify(rethrow));
console.log("getExpressionInfo(try) = " + stringify(try_));
|
