JSTests/wasm/references-spec-tests/table_grow.wast.js

// table_grow.wast:1
let $1 = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x95\x80\x80\x80\x00\x04\x60\x01\x7f\x01\x6f\x60\x02\x7f\x6f\x00\x60\x02\x7f\x6f\x01\x7f\x60\x00\x01\x7f\x03\x85\x80\x80\x80\x00\x04\x00\x01\x02\x03\x04\x84\x80\x80\x80\x00\x01\x6f\x00\x00\x07\x9b\x80\x80\x80\x00\x04\x03\x67\x65\x74\x00\x00\x03\x73\x65\x74\x00\x01\x04\x67\x72\x6f\x77\x00\x02\x04\x73\x69\x7a\x65\x00\x03\x0a\xb1\x80\x80\x80\x00\x04\x86\x80\x80\x80\x00\x00\x20\x00\x25\x00\x0b\x88\x80\x80\x80\x00\x00\x20\x00\x20\x01\x26\x00\x0b\x89\x80\x80\x80\x00\x00\x20\x01\x20\x00\xfc\x0f\x00\x0b\x85\x80\x80\x80\x00\x00\xfc\x10\x00\x0b");

// table_grow.wast:13
assert_return(() => call($1, "size", []), 0);

// table_grow.wast:14
assert_trap(() => call($1, "set", [0, externref(2)]));

// table_grow.wast:15
assert_trap(() => call($1, "get", [0]));

// table_grow.wast:17
assert_return(() => call($1, "grow", [1, null]), 0);

// table_grow.wast:18
assert_return(() => call($1, "size", []), 1);

// table_grow.wast:19
assert_return(() => call($1, "get", [0]), null);

// table_grow.wast:20
assert_return(() => call($1, "set", [0, externref(2)]));

// table_grow.wast:21
assert_return(() => call($1, "get", [0]), externref(2));

// table_grow.wast:22
assert_trap(() => call($1, "set", [1, externref(2)]));

// table_grow.wast:23
assert_trap(() => call($1, "get", [1]));

// table_grow.wast:25
assert_return(() => call($1, "grow", [4, externref(3)]), 1);

// table_grow.wast:26
assert_return(() => call($1, "size", []), 5);

// table_grow.wast:27
assert_return(() => call($1, "get", [0]), externref(2));

// table_grow.wast:28
assert_return(() => call($1, "set", [0, externref(2)]));

// table_grow.wast:29
assert_return(() => call($1, "get", [0]), externref(2));

// table_grow.wast:30
assert_return(() => call($1, "get", [1]), externref(3));

// table_grow.wast:31
assert_return(() => call($1, "get", [4]), externref(3));

// table_grow.wast:32
assert_return(() => call($1, "set", [4, externref(4)]));

// table_grow.wast:33
assert_return(() => call($1, "get", [4]), externref(4));

// table_grow.wast:34
assert_trap(() => call($1, "set", [5, externref(2)]));

// table_grow.wast:35
assert_trap(() => call($1, "get", [5]));

// table_grow.wast:39
let $2 = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x85\x80\x80\x80\x00\x01\x60\x00\x01\x7f\x03\x82\x80\x80\x80\x00\x01\x00\x04\x84\x80\x80\x80\x00\x01\x70\x00\x10\x07\x88\x80\x80\x80\x00\x01\x04\x67\x72\x6f\x77\x00\x00\x09\x85\x80\x80\x80\x00\x01\x03\x00\x01\x00\x0a\x8f\x80\x80\x80\x00\x01\x89\x80\x80\x80\x00\x00\xd2\x00\x41\x70\xfc\x0f\x00\x0b");

// table_grow.wast:47
assert_return(() => call($2, "grow", []), -1);

// table_grow.wast:50
let $3 = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x86\x80\x80\x80\x00\x01\x60\x01\x7f\x01\x7f\x03\x82\x80\x80\x80\x00\x01\x00\x04\x84\x80\x80\x80\x00\x01\x6f\x00\x00\x07\x88\x80\x80\x80\x00\x01\x04\x67\x72\x6f\x77\x00\x00\x0a\x8f\x80\x80\x80\x00\x01\x89\x80\x80\x80\x00\x00\xd0\x6f\x20\x00\xfc\x0f\x00\x0b");

// table_grow.wast:57
assert_return(() => call($3, "grow", [0]), 0);

// table_grow.wast:58
assert_return(() => call($3, "grow", [1]), 0);

// table_grow.wast:59
assert_return(() => call($3, "grow", [0]), 1);

// table_grow.wast:60
assert_return(() => call($3, "grow", [2]), 1);

// table_grow.wast:61
assert_return(() => call($3, "grow", [800]), 3);

// table_grow.wast:64
let $4 = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x86\x80\x80\x80\x00\x01\x60\x01\x7f\x01\x7f\x03\x82\x80\x80\x80\x00\x01\x00\x04\x85\x80\x80\x80\x00\x01\x6f\x01\x00\x0a\x07\x88\x80\x80\x80\x00\x01\x04\x67\x72\x6f\x77\x00\x00\x0a\x8f\x80\x80\x80\x00\x01\x89\x80\x80\x80\x00\x00\xd0\x6f\x20\x00\xfc\x0f\x00\x0b");

// table_grow.wast:71
assert_return(() => call($4, "grow", [0]), 0);

// table_grow.wast:72
assert_return(() => call($4, "grow", [1]), 0);

// table_grow.wast:73
assert_return(() => call($4, "grow", [1]), 1);

// table_grow.wast:74
assert_return(() => call($4, "grow", [2]), 2);

// table_grow.wast:75
assert_return(() => call($4, "grow", [6]), 4);

// table_grow.wast:76
assert_return(() => call($4, "grow", [0]), 10);

// table_grow.wast:77
assert_return(() => call($4, "grow", [1]), -1);

// table_grow.wast:78
assert_return(() => call($4, "grow", [65_536]), -1);

// table_grow.wast:81
let $5 = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x8c\x80\x80\x80\x00\x02\x60\x01\x7f\x01\x7f\x60\x02\x7f\x7f\x01\x70\x03\x83\x80\x80\x80\x00\x02\x00\x01\x04\x84\x80\x80\x80\x00\x01\x70\x00\x0a\x07\x9b\x80\x80\x80\x00\x02\x04\x67\x72\x6f\x77\x00\x00\x10\x63\x68\x65\x63\x6b\x2d\x74\x61\x62\x6c\x65\x2d\x6e\x75\x6c\x6c\x00\x01\x09\x85\x80\x80\x80\x00\x01\x03\x00\x01\x01\x0a\xc5\x80\x80\x80\x00\x02\x89\x80\x80\x80\x00\x00\xd0\x70\x20\x00\xfc\x0f\x00\x0b\xb1\x80\x80\x80\x00\x01\x01\x70\xd2\x01\x21\x02\x02\x40\x03\x40\x20\x00\x25\x00\x21\x02\x20\x02\xd1\x45\x0d\x01\x20\x00\x20\x01\x4f\x0d\x01\x20\x00\x41\x01\x6a\x21\x00\x20\x00\x20\x01\x4d\x0d\x00\x0b\x0b\x20\x02\x0b");

// table_grow.wast:103
assert_return(() => call($5, "check-table-null", [0, 9]), null);

// table_grow.wast:104
assert_return(() => call($5, "grow", [10]), 10);

// table_grow.wast:105
assert_return(() => call($5, "check-table-null", [0, 19]), null);

// table_grow.wast:110
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x85\x80\x80\x80\x00\x01\x60\x00\x01\x7f\x03\x82\x80\x80\x80\x00\x01\x00\x04\x84\x80\x80\x80\x00\x01\x6f\x00\x00\x0a\x8b\x80\x80\x80\x00\x01\x85\x80\x80\x80\x00\x00\xfc\x0f\x00\x0b");

// table_grow.wast:119
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x85\x80\x80\x80\x00\x01\x60\x00\x01\x7f\x03\x82\x80\x80\x80\x00\x01\x00\x04\x84\x80\x80\x80\x00\x01\x6f\x00\x00\x0a\x8d\x80\x80\x80\x00\x01\x87\x80\x80\x80\x00\x00\xd0\x6f\xfc\x0f\x00\x0b");

// table_grow.wast:128
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x85\x80\x80\x80\x00\x01\x60\x00\x01\x7f\x03\x82\x80\x80\x80\x00\x01\x00\x04\x84\x80\x80\x80\x00\x01\x6f\x00\x00\x0a\x8d\x80\x80\x80\x00\x01\x87\x80\x80\x80\x00\x00\x41\x01\xfc\x0f\x00\x0b");

// table_grow.wast:137
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x85\x80\x80\x80\x00\x01\x60\x00\x01\x7f\x03\x82\x80\x80\x80\x00\x01\x00\x04\x84\x80\x80\x80\x00\x01\x6f\x00\x00\x0a\x92\x80\x80\x80\x00\x01\x8c\x80\x80\x80\x00\x00\xd0\x6f\x43\x00\x00\x80\x3f\xfc\x0f\x00\x0b");

// table_grow.wast:146
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x86\x80\x80\x80\x00\x01\x60\x01\x6f\x01\x7f\x03\x82\x80\x80\x80\x00\x01\x00\x04\x84\x80\x80\x80\x00\x01\x70\x00\x00\x0a\x8f\x80\x80\x80\x00\x01\x89\x80\x80\x80\x00\x00\x20\x00\x41\x01\xfc\x0f\x00\x0b");

// table_grow.wast:156
assert_invalid("\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\x04\x84\x80\x80\x80\x00\x01\x6f\x00\x01\x0a\x8f\x80\x80\x80\x00\x01\x89\x80\x80\x80\x00\x00\xd0\x6f\x41\x00\xfc\x0f\x00\x0b");

// table_grow.wast:165
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x85\x80\x80\x80\x00\x01\x60\x00\x01\x7d\x03\x82\x80\x80\x80\x00\x01\x00\x04\x84\x80\x80\x80\x00\x01\x6f\x00\x01\x0a\x8f\x80\x80\x80\x00\x01\x89\x80\x80\x80\x00\x00\xd0\x6f\x41\x00\xfc\x0f\x00\x0b");