Source code
Revision control
Copy as Markdown
Other Tools
(function unreached_valid_wast_js() {
// unreached-valid.wast:1
let $$1 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x91\x80\x80\x80\x00\x04\x60\x01\x7f\x01\x7f\x60\x00\x00\x60\x00\x01\x7f\x60\x00\x01\x7e\x03\x89\x80\x80\x80\x00\x08\x00\x00\x01\x02\x03\x01\x01\x02\x07\xb4\x81\x80\x80\x00\x08\x10\x73\x65\x6c\x65\x63\x74\x2d\x74\x72\x61\x70\x2d\x6c\x65\x66\x74\x00\x00\x11\x73\x65\x6c\x65\x63\x74\x2d\x74\x72\x61\x70\x2d\x72\x69\x67\x68\x74\x00\x01\x10\x73\x65\x6c\x65\x63\x74\x2d\x75\x6e\x72\x65\x61\x63\x68\x65\x64\x00\x02\x18\x73\x65\x6c\x65\x63\x74\x2d\x75\x6e\x72\x65\x61\x63\x68\x65\x64\x2d\x72\x65\x73\x75\x6c\x74\x31\x00\x03\x18\x73\x65\x6c\x65\x63\x74\x2d\x75\x6e\x72\x65\x61\x63\x68\x65\x64\x2d\x72\x65\x73\x75\x6c\x74\x32\x00\x04\x14\x73\x65\x6c\x65\x63\x74\x2d\x75\x6e\x72\x65\x61\x63\x68\x65\x64\x2d\x6e\x75\x6d\x00\x05\x14\x73\x65\x6c\x65\x63\x74\x2d\x75\x6e\x72\x65\x61\x63\x68\x65\x64\x2d\x72\x65\x66\x00\x06\x12\x63\x61\x6c\x6c\x5f\x72\x65\x66\x2d\x75\x6e\x72\x65\x61\x63\x68\x65\x64\x00\x07\x0a\xf8\x80\x80\x80\x00\x08\x88\x80\x80\x80\x00\x00\x00\x41\x00\x20\x00\x1b\x0b\x88\x80\x80\x80\x00\x00\x41\x00\x00\x20\x00\x1b\x0b\xa0\x80\x80\x80\x00\x00\x00\x1b\x00\x41\x00\x1b\x00\x41\x00\x41\x00\x1b\x00\x41\x00\x41\x00\x41\x00\x1b\x00\x43\x00\x00\x00\x00\x41\x00\x1b\x00\x0b\x85\x80\x80\x80\x00\x00\x00\x1b\x6a\x0b\x89\x80\x80\x80\x00\x00\x00\x42\x00\x41\x00\x1b\x7c\x0b\x86\x80\x80\x80\x00\x00\x00\x1b\x45\x1a\x0b\x86\x80\x80\x80\x00\x00\x00\x1b\xd1\x1a\x0b\x85\x80\x80\x80\x00\x00\x00\x14\x00\x0b", "unreached-valid.wast:1");
// unreached-valid.wast:1
let $1 = instance($$1);
// unreached-valid.wast:48
assert_trap(() => call($1, "select-trap-left", [1]), "unreached-valid.wast:48");
// unreached-valid.wast:49
assert_trap(() => call($1, "select-trap-left", [0]), "unreached-valid.wast:49");
// unreached-valid.wast:50
assert_trap(() => call($1, "select-trap-right", [1]), "unreached-valid.wast:50");
// unreached-valid.wast:51
assert_trap(() => call($1, "select-trap-right", [0]), "unreached-valid.wast:51");
// unreached-valid.wast:53
assert_trap(() => call($1, "select-unreached-result1", []), "unreached-valid.wast:53");
// unreached-valid.wast:54
assert_trap(() => call($1, "select-unreached-result2", []), "unreached-valid.wast:54");
// unreached-valid.wast:55
assert_trap(() => call($1, "select-unreached-num", []), "unreached-valid.wast:55");
// unreached-valid.wast:56
assert_trap(() => call($1, "select-unreached-ref", []), "unreached-valid.wast:56");
// unreached-valid.wast:58
assert_trap(() => call($1, "call_ref-unreached", []), "unreached-valid.wast:58");
// unreached-valid.wast:63
let $$2 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x84\x80\x80\x80\x00\x01\x60\x00\x00\x03\x82\x80\x80\x80\x00\x01\x00\x07\x8f\x80\x80\x80\x00\x01\x0b\x6d\x65\x65\x74\x2d\x62\x6f\x74\x74\x6f\x6d\x00\x00\x0a\xa1\x80\x80\x80\x00\x01\x9b\x80\x80\x80\x00\x00\x02\x7c\x02\x7d\x00\x41\x01\x0e\x02\x00\x01\x01\x0b\x1a\x44\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x1a\x0b", "unreached-valid.wast:63");
// unreached-valid.wast:63
let $2 = instance($$2);
// unreached-valid.wast:77
assert_trap(() => call($2, "meet-bottom", []), "unreached-valid.wast:77");
// unreached-valid.wast:82
let $$3 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x8b\x80\x80\x80\x00\x02\x60\x00\x01\x64\x70\x60\x00\x01\x64\x6f\x03\x85\x80\x80\x80\x00\x04\x00\x01\x00\x01\x0a\xb1\x80\x80\x80\x00\x04\x84\x80\x80\x80\x00\x00\x00\xd4\x0b\x84\x80\x80\x80\x00\x00\x00\xd4\x0b\x8a\x80\x80\x80\x00\x00\x02\x70\x00\xd5\x00\x0f\x0b\x00\x0b\x8a\x80\x80\x80\x00\x00\x02\x6f\x00\xd5\x00\x0f\x0b\x00\x0b", "unreached-valid.wast:82");
// unreached-valid.wast:82
let $3 = instance($$3);
reinitializeRegistry();
})();