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
59
60
61
62
63
|
function assert(x) {
if (!x) throw 'error!';
}
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)));
}
function test() {
var module = new Binaryen.Module();
module.setFeatures(Binaryen.Features.ExceptionHandling);
var event_ = module.addEvent("e", 0, Binaryen.i32, Binaryen.none);
// (try
// (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_));
}
Binaryen.ready.then(test);
|
