JSTests/wasm/function-references-spec-tests/unreached-valid.wast.js

// unreached-valid.wast:1
let $1 = instance("\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:48
assert_trap(() => call($1, "select-trap-left", [1]));

// unreached-valid.wast:49
assert_trap(() => call($1, "select-trap-left", [0]));

// unreached-valid.wast:50
assert_trap(() => call($1, "select-trap-right", [1]));

// unreached-valid.wast:51
assert_trap(() => call($1, "select-trap-right", [0]));

// unreached-valid.wast:53
assert_trap(() => call($1, "select-unreached-result1", []));

// unreached-valid.wast:54
assert_trap(() => call(instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\xa3\x80\x80\x80\x00\x07\x60\x00\x00\x60\x01\x7f\x01\x6f\x60\x01\x6f\x01\x7f\x60\x01\x70\x01\x7f\x60\x02\x6f\x6f\x01\x7f\x60\x02\x70\x70\x01\x7f\x60\x00\x01\x7e\x02\x94\x81\x80\x80\x00\x06\x06\x6d\x6f\x64\x75\x6c\x65\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\x06\x08\x73\x70\x65\x63\x74\x65\x73\x74\x09\x65\x78\x74\x65\x72\x6e\x72\x65\x66\x00\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x0c\x69\x73\x5f\x65\x78\x74\x65\x72\x6e\x72\x65\x66\x00\x02\x08\x73\x70\x65\x63\x74\x65\x73\x74\x0a\x69\x73\x5f\x66\x75\x6e\x63\x72\x65\x66\x00\x03\x08\x73\x70\x65\x63\x74\x65\x73\x74\x0c\x65\x71\x5f\x65\x78\x74\x65\x72\x6e\x72\x65\x66\x00\x04\x08\x73\x70\x65\x63\x74\x65\x73\x74\x0a\x65\x71\x5f\x66\x75\x6e\x63\x72\x65\x66\x00\x05\x03\x82\x80\x80\x80\x00\x01\x00\x07\x87\x80\x80\x80\x00\x01\x03\x72\x75\x6e\x00\x06\x0a\x8f\x80\x80\x80\x00\x01\x89\x80\x80\x80\x00\x00\x02\x40\x10\x00\x0f\x0b\x00\x0b", exports($1)),  "run", []));  // assert_trap(() => call($1, "select-unreached-result2", []))

// unreached-valid.wast:55
assert_trap(() => call($1, "select-unreached-num", []));

// unreached-valid.wast:56
assert_trap(() => call($1, "select-unreached-ref", []));

// unreached-valid.wast:58
assert_trap(() => call($1, "call_ref-unreached", []));

// unreached-valid.wast:63
let $2 = instance("\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:77
assert_trap(() => call($2, "meet-bottom", []));