test: generate PHPUnit classes from WAST files

1 files changed, 1413 insertions, 0 deletions

diff --git a/tests/src/SpecTestsuites/Core/LinkingTest.php b/tests/src/SpecTestsuites/Core/LinkingTest.php
new file mode 100644
index 0000000..28400e1
--- /dev/null
+++ b/tests/src/SpecTestsuites/Core/LinkingTest.php
@@ -0,0 +1,1413 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Nsfisis\Waddiwasi\Tests\SpecTestsuites\Core;
+
+use Nsfisis\Waddiwasi\Tests\SpecTestsuites\SpecTestsuiteBase;
+use PHPUnit\Framework\Attributes\Depends;
+
+final class LinkingTest extends SpecTestsuiteBase
+{
+    public function testModule0(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.0.wasm',
+            name: '$Mf',
+            line: 3,
+        );
+    }
+
+    #[Depends('testModule0')]
+    public function testRegister1(): void
+    {
+        $this->runRegisterCommand(
+            name: '$Mf',
+            as: 'Mf',
+            line: 7,
+        );
+    }
+
+    #[Depends('testRegister1')]
+    public function testModule2(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.1.wasm',
+            name: '$Nf',
+            line: 9,
+        );
+    }
+
+    #[Depends('testModule2')]
+    public function testAssertReturn3(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mf', 'field' => 'call', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '2']],
+            line: 17,
+        );
+    }
+
+    #[Depends('testAssertReturn3')]
+    public function testAssertReturn4(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nf', 'field' => 'Mf.call', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '2']],
+            line: 18,
+        );
+    }
+
+    #[Depends('testAssertReturn4')]
+    public function testAssertReturn5(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nf', 'field' => 'call', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '3']],
+            line: 19,
+        );
+    }
+
+    #[Depends('testAssertReturn5')]
+    public function testAssertReturn6(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nf', 'field' => 'call Mf.call', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '2']],
+            line: 20,
+        );
+    }
+
+    #[Depends('testAssertReturn6')]
+    public function testModule7(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.2.wasm',
+            name: null,
+            line: 22,
+        );
+    }
+
+    #[Depends('testModule7')]
+    public function testRegister8(): void
+    {
+        $this->runRegisterCommand(
+            name: null,
+            as: 'reexport_f',
+            line: 26,
+        );
+    }
+
+    #[Depends('testRegister8')]
+    public function testAssertUnlinkable9(): void
+    {
+        $this->runAssertUnlinkableCommand(
+            filename: 'linking.3.wasm',
+            text: 'incompatible import type',
+            line: 28,
+        );
+    }
+
+    #[Depends('testAssertUnlinkable9')]
+    public function testAssertUnlinkable10(): void
+    {
+        $this->runAssertUnlinkableCommand(
+            filename: 'linking.4.wasm',
+            text: 'incompatible import type',
+            line: 32,
+        );
+    }
+
+    #[Depends('testAssertUnlinkable10')]
+    public function testModule11(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.5.wasm',
+            name: '$Mg',
+            line: 39,
+        );
+    }
+
+    #[Depends('testModule11')]
+    public function testRegister12(): void
+    {
+        $this->runRegisterCommand(
+            name: '$Mg',
+            as: 'Mg',
+            line: 48,
+        );
+    }
+
+    #[Depends('testRegister12')]
+    public function testModule13(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.6.wasm',
+            name: '$Ng',
+            line: 50,
+        );
+    }
+
+    #[Depends('testModule13')]
+    public function testAssertReturn14(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'get', 'module' => '$Mg', 'field' => 'glob'],
+            expected: [['type' => 'i32', 'value' => '42']],
+            line: 67,
+        );
+    }
+
+    #[Depends('testAssertReturn14')]
+    public function testAssertReturn15(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'get', 'module' => '$Ng', 'field' => 'Mg.glob'],
+            expected: [['type' => 'i32', 'value' => '42']],
+            line: 68,
+        );
+    }
+
+    #[Depends('testAssertReturn15')]
+    public function testAssertReturn16(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'get', 'module' => '$Ng', 'field' => 'glob'],
+            expected: [['type' => 'i32', 'value' => '43']],
+            line: 69,
+        );
+    }
+
+    #[Depends('testAssertReturn16')]
+    public function testAssertReturn17(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mg', 'field' => 'get', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '42']],
+            line: 70,
+        );
+    }
+
+    #[Depends('testAssertReturn17')]
+    public function testAssertReturn18(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Ng', 'field' => 'Mg.get', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '42']],
+            line: 71,
+        );
+    }
+
+    #[Depends('testAssertReturn18')]
+    public function testAssertReturn19(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Ng', 'field' => 'get', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '43']],
+            line: 72,
+        );
+    }
+
+    #[Depends('testAssertReturn19')]
+    public function testAssertReturn20(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'get', 'module' => '$Mg', 'field' => 'mut_glob'],
+            expected: [['type' => 'i32', 'value' => '142']],
+            line: 74,
+        );
+    }
+
+    #[Depends('testAssertReturn20')]
+    public function testAssertReturn21(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'get', 'module' => '$Ng', 'field' => 'Mg.mut_glob'],
+            expected: [['type' => 'i32', 'value' => '142']],
+            line: 75,
+        );
+    }
+
+    #[Depends('testAssertReturn21')]
+    public function testAssertReturn22(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mg', 'field' => 'get_mut', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '142']],
+            line: 76,
+        );
+    }
+
+    #[Depends('testAssertReturn22')]
+    public function testAssertReturn23(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Ng', 'field' => 'Mg.get_mut', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '142']],
+            line: 77,
+        );
+    }
+
+    #[Depends('testAssertReturn23')]
+    public function testAssertReturn24(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mg', 'field' => 'set_mut', 'args' => [['type' => 'i32', 'value' => '241']]],
+            expected: [],
+            line: 79,
+        );
+    }
+
+    #[Depends('testAssertReturn24')]
+    public function testAssertReturn25(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'get', 'module' => '$Mg', 'field' => 'mut_glob'],
+            expected: [['type' => 'i32', 'value' => '241']],
+            line: 80,
+        );
+    }
+
+    #[Depends('testAssertReturn25')]
+    public function testAssertReturn26(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'get', 'module' => '$Ng', 'field' => 'Mg.mut_glob'],
+            expected: [['type' => 'i32', 'value' => '241']],
+            line: 81,
+        );
+    }
+
+    #[Depends('testAssertReturn26')]
+    public function testAssertReturn27(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mg', 'field' => 'get_mut', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '241']],
+            line: 82,
+        );
+    }
+
+    #[Depends('testAssertReturn27')]
+    public function testAssertReturn28(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Ng', 'field' => 'Mg.get_mut', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '241']],
+            line: 83,
+        );
+    }
+
+    #[Depends('testAssertReturn28')]
+    public function testAssertUnlinkable29(): void
+    {
+        $this->runAssertUnlinkableCommand(
+            filename: 'linking.7.wasm',
+            text: 'incompatible import type',
+            line: 87,
+        );
+    }
+
+    #[Depends('testAssertUnlinkable29')]
+    public function testAssertUnlinkable30(): void
+    {
+        $this->runAssertUnlinkableCommand(
+            filename: 'linking.8.wasm',
+            text: 'incompatible import type',
+            line: 91,
+        );
+    }
+
+    #[Depends('testAssertUnlinkable30')]
+    public function testModule31(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.9.wasm',
+            name: '$Mref_ex',
+            line: 96,
+        );
+    }
+
+    #[Depends('testModule31')]
+    public function testRegister32(): void
+    {
+        $this->runRegisterCommand(
+            name: '$Mref_ex',
+            as: 'Mref_ex',
+            line: 102,
+        );
+    }
+
+    #[Depends('testRegister32')]
+    public function testModule33(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.10.wasm',
+            name: '$Mref_im',
+            line: 104,
+        );
+    }
+
+    #[Depends('testModule33')]
+    public function testAssertUnlinkable34(): void
+    {
+        $this->runAssertUnlinkableCommand(
+            filename: 'linking.11.wasm',
+            text: 'incompatible import type',
+            line: 113,
+        );
+    }
+
+    #[Depends('testAssertUnlinkable34')]
+    public function testAssertUnlinkable35(): void
+    {
+        $this->runAssertUnlinkableCommand(
+            filename: 'linking.12.wasm',
+            text: 'incompatible import type',
+            line: 117,
+        );
+    }
+
+    #[Depends('testAssertUnlinkable35')]
+    public function testAssertUnlinkable36(): void
+    {
+        $this->runAssertUnlinkableCommand(
+            filename: 'linking.13.wasm',
+            text: 'incompatible import type',
+            line: 123,
+        );
+    }
+
+    #[Depends('testAssertUnlinkable36')]
+    public function testAssertUnlinkable37(): void
+    {
+        $this->runAssertUnlinkableCommand(
+            filename: 'linking.14.wasm',
+            text: 'incompatible import type',
+            line: 127,
+        );
+    }
+
+    #[Depends('testAssertUnlinkable37')]
+    public function testModule38(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.15.wasm',
+            name: '$Mt',
+            line: 134,
+        );
+    }
+
+    #[Depends('testModule38')]
+    public function testRegister39(): void
+    {
+        $this->runRegisterCommand(
+            name: '$Mt',
+            as: 'Mt',
+            line: 147,
+        );
+    }
+
+    #[Depends('testRegister39')]
+    public function testModule40(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.16.wasm',
+            name: '$Nt',
+            line: 149,
+        );
+    }
+
+    #[Depends('testModule40')]
+    public function testAssertReturn41(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '4']],
+            line: 168,
+        );
+    }
+
+    #[Depends('testAssertReturn41')]
+    public function testAssertReturn42(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'Mt.call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '4']],
+            line: 169,
+        );
+    }
+
+    #[Depends('testAssertReturn42')]
+    public function testAssertReturn43(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '5']],
+            line: 170,
+        );
+    }
+
+    #[Depends('testAssertReturn43')]
+    public function testAssertReturn44(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call Mt.call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '4']],
+            line: 171,
+        );
+    }
+
+    #[Depends('testAssertReturn44')]
+    public function testAssertTrap45(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '1']]],
+            text: 'uninitialized element',
+            line: 173,
+        );
+    }
+
+    #[Depends('testAssertTrap45')]
+    public function testAssertTrap46(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'Mt.call', 'args' => [['type' => 'i32', 'value' => '1']]],
+            text: 'uninitialized element',
+            line: 174,
+        );
+    }
+
+    #[Depends('testAssertTrap46')]
+    public function testAssertReturn47(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '5']],
+            line: 175,
+        );
+    }
+
+    #[Depends('testAssertReturn47')]
+    public function testAssertTrap48(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call Mt.call', 'args' => [['type' => 'i32', 'value' => '1']]],
+            text: 'uninitialized element',
+            line: 176,
+        );
+    }
+
+    #[Depends('testAssertTrap48')]
+    public function testAssertTrap49(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '0']]],
+            text: 'uninitialized element',
+            line: 178,
+        );
+    }
+
+    #[Depends('testAssertTrap49')]
+    public function testAssertTrap50(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'Mt.call', 'args' => [['type' => 'i32', 'value' => '0']]],
+            text: 'uninitialized element',
+            line: 179,
+        );
+    }
+
+    #[Depends('testAssertTrap50')]
+    public function testAssertReturn51(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '5']],
+            line: 180,
+        );
+    }
+
+    #[Depends('testAssertReturn51')]
+    public function testAssertTrap52(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call Mt.call', 'args' => [['type' => 'i32', 'value' => '0']]],
+            text: 'uninitialized element',
+            line: 181,
+        );
+    }
+
+    #[Depends('testAssertTrap52')]
+    public function testAssertTrap53(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '20']]],
+            text: 'undefined element',
+            line: 183,
+        );
+    }
+
+    #[Depends('testAssertTrap53')]
+    public function testAssertTrap54(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'Mt.call', 'args' => [['type' => 'i32', 'value' => '20']]],
+            text: 'undefined element',
+            line: 184,
+        );
+    }
+
+    #[Depends('testAssertTrap54')]
+    public function testAssertTrap55(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '7']]],
+            text: 'undefined element',
+            line: 185,
+        );
+    }
+
+    #[Depends('testAssertTrap55')]
+    public function testAssertTrap56(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call Mt.call', 'args' => [['type' => 'i32', 'value' => '20']]],
+            text: 'undefined element',
+            line: 186,
+        );
+    }
+
+    #[Depends('testAssertTrap56')]
+    public function testAssertReturn57(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '3']]],
+            expected: [['type' => 'i32', 'value' => '4294967292']],
+            line: 188,
+        );
+    }
+
+    #[Depends('testAssertReturn57')]
+    public function testAssertTrap58(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '4']]],
+            text: 'indirect call type mismatch',
+            line: 189,
+        );
+    }
+
+    #[Depends('testAssertTrap58')]
+    public function testModule59(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.17.wasm',
+            name: '$Ot',
+            line: 191,
+        );
+    }
+
+    #[Depends('testModule59')]
+    public function testAssertReturn60(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '3']]],
+            expected: [['type' => 'i32', 'value' => '4']],
+            line: 204,
+        );
+    }
+
+    #[Depends('testAssertReturn60')]
+    public function testAssertReturn61(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'Mt.call', 'args' => [['type' => 'i32', 'value' => '3']]],
+            expected: [['type' => 'i32', 'value' => '4']],
+            line: 205,
+        );
+    }
+
+    #[Depends('testAssertReturn61')]
+    public function testAssertReturn62(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call Mt.call', 'args' => [['type' => 'i32', 'value' => '3']]],
+            expected: [['type' => 'i32', 'value' => '4']],
+            line: 206,
+        );
+    }
+
+    #[Depends('testAssertReturn62')]
+    public function testAssertReturn63(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Ot', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '3']]],
+            expected: [['type' => 'i32', 'value' => '4']],
+            line: 207,
+        );
+    }
+
+    #[Depends('testAssertReturn63')]
+    public function testAssertReturn64(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '4294967292']],
+            line: 209,
+        );
+    }
+
+    #[Depends('testAssertReturn64')]
+    public function testAssertReturn65(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'Mt.call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '4294967292']],
+            line: 210,
+        );
+    }
+
+    #[Depends('testAssertReturn65')]
+    public function testAssertReturn66(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '5']],
+            line: 211,
+        );
+    }
+
+    #[Depends('testAssertReturn66')]
+    public function testAssertReturn67(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call Mt.call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '4294967292']],
+            line: 212,
+        );
+    }
+
+    #[Depends('testAssertReturn67')]
+    public function testAssertReturn68(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Ot', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '4294967292']],
+            line: 213,
+        );
+    }
+
+    #[Depends('testAssertReturn68')]
+    public function testAssertReturn69(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '6']],
+            line: 215,
+        );
+    }
+
+    #[Depends('testAssertReturn69')]
+    public function testAssertReturn70(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'Mt.call', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '6']],
+            line: 216,
+        );
+    }
+
+    #[Depends('testAssertReturn70')]
+    public function testAssertReturn71(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '5']],
+            line: 217,
+        );
+    }
+
+    #[Depends('testAssertReturn71')]
+    public function testAssertReturn72(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call Mt.call', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '6']],
+            line: 218,
+        );
+    }
+
+    #[Depends('testAssertReturn72')]
+    public function testAssertReturn73(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Ot', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '6']],
+            line: 219,
+        );
+    }
+
+    #[Depends('testAssertReturn73')]
+    public function testAssertTrap74(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '0']]],
+            text: 'uninitialized element',
+            line: 221,
+        );
+    }
+
+    #[Depends('testAssertTrap74')]
+    public function testAssertTrap75(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'Mt.call', 'args' => [['type' => 'i32', 'value' => '0']]],
+            text: 'uninitialized element',
+            line: 222,
+        );
+    }
+
+    #[Depends('testAssertTrap75')]
+    public function testAssertReturn76(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '5']],
+            line: 223,
+        );
+    }
+
+    #[Depends('testAssertReturn76')]
+    public function testAssertTrap77(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nt', 'field' => 'call Mt.call', 'args' => [['type' => 'i32', 'value' => '0']]],
+            text: 'uninitialized element',
+            line: 224,
+        );
+    }
+
+    #[Depends('testAssertTrap77')]
+    public function testAssertTrap78(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Ot', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '0']]],
+            text: 'uninitialized element',
+            line: 225,
+        );
+    }
+
+    #[Depends('testAssertTrap78')]
+    public function testAssertTrap79(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Ot', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '20']]],
+            text: 'undefined element',
+            line: 227,
+        );
+    }
+
+    #[Depends('testAssertTrap79')]
+    public function testModule80(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.18.wasm',
+            name: null,
+            line: 229,
+        );
+    }
+
+    #[Depends('testModule80')]
+    public function testModule81(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.19.wasm',
+            name: '$G1',
+            line: 235,
+        );
+    }
+
+    #[Depends('testModule81')]
+    public function testRegister82(): void
+    {
+        $this->runRegisterCommand(
+            name: '$G1',
+            as: 'G1',
+            line: 236,
+        );
+    }
+
+    #[Depends('testRegister82')]
+    public function testModule83(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.20.wasm',
+            name: '$G2',
+            line: 237,
+        );
+    }
+
+    #[Depends('testModule83')]
+    public function testAssertReturn84(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'get', 'module' => '$G2', 'field' => 'g'],
+            expected: [['type' => 'i32', 'value' => '5']],
+            line: 241,
+        );
+    }
+
+    #[Depends('testAssertReturn84')]
+    public function testAssertUninstantiable85(): void
+    {
+        $this->runAssertUninstantiableCommand(
+            filename: 'linking.21.wasm',
+            text: 'out of bounds table access',
+            line: 244,
+        );
+    }
+
+    #[Depends('testAssertUninstantiable85')]
+    public function testAssertUnlinkable86(): void
+    {
+        $this->runAssertUnlinkableCommand(
+            filename: 'linking.22.wasm',
+            text: 'unknown import',
+            line: 253,
+        );
+    }
+
+    #[Depends('testAssertUnlinkable86')]
+    public function testAssertTrap87(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '7']]],
+            text: 'uninitialized element',
+            line: 262,
+        );
+    }
+
+    #[Depends('testAssertTrap87')]
+    public function testAssertUninstantiable88(): void
+    {
+        $this->runAssertUninstantiableCommand(
+            filename: 'linking.23.wasm',
+            text: 'out of bounds table access',
+            line: 267,
+        );
+    }
+
+    #[Depends('testAssertUninstantiable88')]
+    public function testAssertReturn89(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '7']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 275,
+        );
+    }
+
+    #[Depends('testAssertReturn89')]
+    public function testAssertTrap90(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '8']]],
+            text: 'uninitialized element',
+            line: 276,
+        );
+    }
+
+    #[Depends('testAssertTrap90')]
+    public function testAssertUninstantiable91(): void
+    {
+        $this->runAssertUninstantiableCommand(
+            filename: 'linking.24.wasm',
+            text: 'out of bounds memory access',
+            line: 279,
+        );
+    }
+
+    #[Depends('testAssertUninstantiable91')]
+    public function testAssertReturn92(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mt', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '7']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 288,
+        );
+    }
+
+    #[Depends('testAssertReturn92')]
+    public function testModule93(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.25.wasm',
+            name: '$Mtable_ex',
+            line: 291,
+        );
+    }
+
+    #[Depends('testModule93')]
+    public function testRegister94(): void
+    {
+        $this->runRegisterCommand(
+            name: '$Mtable_ex',
+            as: 'Mtable_ex',
+            line: 295,
+        );
+    }
+
+    #[Depends('testRegister94')]
+    public function testModule95(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.26.wasm',
+            name: null,
+            line: 297,
+        );
+    }
+
+    #[Depends('testModule95')]
+    public function testAssertUnlinkable96(): void
+    {
+        $this->runAssertUnlinkableCommand(
+            filename: 'linking.27.wasm',
+            text: 'incompatible import type',
+            line: 303,
+        );
+    }
+
+    #[Depends('testAssertUnlinkable96')]
+    public function testAssertUnlinkable97(): void
+    {
+        $this->runAssertUnlinkableCommand(
+            filename: 'linking.28.wasm',
+            text: 'incompatible import type',
+            line: 307,
+        );
+    }
+
+    #[Depends('testAssertUnlinkable97')]
+    public function testModule98(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.29.wasm',
+            name: '$Mm',
+            line: 314,
+        );
+    }
+
+    #[Depends('testModule98')]
+    public function testRegister99(): void
+    {
+        $this->runRegisterCommand(
+            name: '$Mm',
+            as: 'Mm',
+            line: 322,
+        );
+    }
+
+    #[Depends('testRegister99')]
+    public function testModule100(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.30.wasm',
+            name: '$Nm',
+            line: 324,
+        );
+    }
+
+    #[Depends('testModule100')]
+    public function testAssertReturn101(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mm', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '12']]],
+            expected: [['type' => 'i32', 'value' => '2']],
+            line: 336,
+        );
+    }
+
+    #[Depends('testAssertReturn101')]
+    public function testAssertReturn102(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nm', 'field' => 'Mm.load', 'args' => [['type' => 'i32', 'value' => '12']]],
+            expected: [['type' => 'i32', 'value' => '2']],
+            line: 337,
+        );
+    }
+
+    #[Depends('testAssertReturn102')]
+    public function testAssertReturn103(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nm', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '12']]],
+            expected: [['type' => 'i32', 'value' => '242']],
+            line: 338,
+        );
+    }
+
+    #[Depends('testAssertReturn103')]
+    public function testModule104(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.31.wasm',
+            name: '$Om',
+            line: 340,
+        );
+    }
+
+    #[Depends('testModule104')]
+    public function testAssertReturn105(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mm', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '12']]],
+            expected: [['type' => 'i32', 'value' => '167']],
+            line: 349,
+        );
+    }
+
+    #[Depends('testAssertReturn105')]
+    public function testAssertReturn106(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nm', 'field' => 'Mm.load', 'args' => [['type' => 'i32', 'value' => '12']]],
+            expected: [['type' => 'i32', 'value' => '167']],
+            line: 350,
+        );
+    }
+
+    #[Depends('testAssertReturn106')]
+    public function testAssertReturn107(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Nm', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '12']]],
+            expected: [['type' => 'i32', 'value' => '242']],
+            line: 351,
+        );
+    }
+
+    #[Depends('testAssertReturn107')]
+    public function testAssertReturn108(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Om', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '12']]],
+            expected: [['type' => 'i32', 'value' => '167']],
+            line: 352,
+        );
+    }
+
+    #[Depends('testAssertReturn108')]
+    public function testModule109(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.32.wasm',
+            name: null,
+            line: 354,
+        );
+    }
+
+    #[Depends('testModule109')]
+    public function testAssertUninstantiable110(): void
+    {
+        $this->runAssertUninstantiableCommand(
+            filename: 'linking.33.wasm',
+            text: 'out of bounds memory access',
+            line: 360,
+        );
+    }
+
+    #[Depends('testAssertUninstantiable110')]
+    public function testModule111(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.34.wasm',
+            name: '$Pm',
+            line: 367,
+        );
+    }
+
+    #[Depends('testModule111')]
+    public function testAssertReturn112(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Pm', 'field' => 'grow', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '1']],
+            line: 375,
+        );
+    }
+
+    #[Depends('testAssertReturn112')]
+    public function testAssertReturn113(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Pm', 'field' => 'grow', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '1']],
+            line: 376,
+        );
+    }
+
+    #[Depends('testAssertReturn113')]
+    public function testAssertReturn114(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Pm', 'field' => 'grow', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '3']],
+            line: 377,
+        );
+    }
+
+    #[Depends('testAssertReturn114')]
+    public function testAssertReturn115(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Pm', 'field' => 'grow', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '3']],
+            line: 378,
+        );
+    }
+
+    #[Depends('testAssertReturn115')]
+    public function testAssertReturn116(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Pm', 'field' => 'grow', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '4']],
+            line: 379,
+        );
+    }
+
+    #[Depends('testAssertReturn116')]
+    public function testAssertReturn117(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Pm', 'field' => 'grow', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '5']],
+            line: 380,
+        );
+    }
+
+    #[Depends('testAssertReturn117')]
+    public function testAssertReturn118(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Pm', 'field' => 'grow', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '4294967295']],
+            line: 381,
+        );
+    }
+
+    #[Depends('testAssertReturn118')]
+    public function testAssertReturn119(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Pm', 'field' => 'grow', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '5']],
+            line: 382,
+        );
+    }
+
+    #[Depends('testAssertReturn119')]
+    public function testAssertUnlinkable120(): void
+    {
+        $this->runAssertUnlinkableCommand(
+            filename: 'linking.35.wasm',
+            text: 'unknown import',
+            line: 385,
+        );
+    }
+
+    #[Depends('testAssertUnlinkable120')]
+    public function testAssertReturn121(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mm', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 393,
+        );
+    }
+
+    #[Depends('testAssertReturn121')]
+    public function testAssertUninstantiable122(): void
+    {
+        $this->runAssertUninstantiableCommand(
+            filename: 'linking.36.wasm',
+            text: 'out of bounds memory access',
+            line: 398,
+        );
+    }
+
+    #[Depends('testAssertUninstantiable122')]
+    public function testAssertReturn123(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mm', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '97']],
+            line: 406,
+        );
+    }
+
+    #[Depends('testAssertReturn123')]
+    public function testAssertReturn124(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mm', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '327670']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 407,
+        );
+    }
+
+    #[Depends('testAssertReturn124')]
+    public function testAssertUninstantiable125(): void
+    {
+        $this->runAssertUninstantiableCommand(
+            filename: 'linking.37.wasm',
+            text: 'out of bounds table access',
+            line: 410,
+        );
+    }
+
+    #[Depends('testAssertUninstantiable125')]
+    public function testAssertReturn126(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Mm', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '97']],
+            line: 419,
+        );
+    }
+
+    #[Depends('testAssertReturn126')]
+    public function testModule127(): void
+    {
+        $this->runModuleCommand(
+            filename: 'linking.38.wasm',
+            name: '$Ms',
+            line: 422,
+        );
+    }
+
+    #[Depends('testModule127')]
+    public function testRegister128(): void
+    {
+        $this->runRegisterCommand(
+            name: '$Ms',
+            as: 'Ms',
+            line: 433,
+        );
+    }
+
+    #[Depends('testRegister128')]
+    public function testAssertUninstantiable129(): void
+    {
+        $this->runAssertUninstantiableCommand(
+            filename: 'linking.39.wasm',
+            text: 'unreachable',
+            line: 436,
+        );
+    }
+
+    #[Depends('testAssertUninstantiable129')]
+    public function testAssertReturn130(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Ms', 'field' => 'get memory[0]', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '104']],
+            line: 452,
+        );
+    }
+
+    #[Depends('testAssertReturn130')]
+    public function testAssertReturn131(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'module' => '$Ms', 'field' => 'get table[0]', 'args' => []],
+            expected: [['type' => 'i32', 'value' => '57005']],
+            line: 453,
+        );
+    }
+}