aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/src/SpecTestsuites/Core/BrTableTest.php
diff options
context:
space:
mode:
Diffstat (limited to 'tests/src/SpecTestsuites/Core/BrTableTest.php')
-rw-r--r--tests/src/SpecTestsuites/Core/BrTableTest.php1899
1 files changed, 1899 insertions, 0 deletions
diff --git a/tests/src/SpecTestsuites/Core/BrTableTest.php b/tests/src/SpecTestsuites/Core/BrTableTest.php
new file mode 100644
index 0000000..1e93dc3
--- /dev/null
+++ b/tests/src/SpecTestsuites/Core/BrTableTest.php
@@ -0,0 +1,1899 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Nsfisis\Waddiwasi\Tests\SpecTestsuites\Core;
+
+use Nsfisis\Waddiwasi\Tests\SpecTestsuites\SpecTestsuiteBase;
+use PHPUnit\Framework\Attributes\Depends;
+
+final class BrTableTest extends SpecTestsuiteBase
+{
+ public function testModule0(): void
+ {
+ $this->runModuleCommand(
+ filename: 'br_table.0.wasm',
+ name: null,
+ line: 3,
+ );
+ }
+
+ #[Depends('testModule0')]
+ public function testAssertReturn1(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'type-i32', 'args' => []],
+ expected: [],
+ line: 1007,
+ );
+ }
+
+ #[Depends('testAssertReturn1')]
+ public function testAssertReturn2(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'type-i64', 'args' => []],
+ expected: [],
+ line: 1008,
+ );
+ }
+
+ #[Depends('testAssertReturn2')]
+ public function testAssertReturn3(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'type-f32', 'args' => []],
+ expected: [],
+ line: 1009,
+ );
+ }
+
+ #[Depends('testAssertReturn3')]
+ public function testAssertReturn4(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'type-f64', 'args' => []],
+ expected: [],
+ line: 1010,
+ );
+ }
+
+ #[Depends('testAssertReturn4')]
+ public function testAssertReturn5(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'type-i32-value', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '1']],
+ line: 1012,
+ );
+ }
+
+ #[Depends('testAssertReturn5')]
+ public function testAssertReturn6(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'type-i64-value', 'args' => []],
+ expected: [['type' => 'i64', 'value' => '2']],
+ line: 1013,
+ );
+ }
+
+ #[Depends('testAssertReturn6')]
+ public function testAssertReturn7(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'type-f32-value', 'args' => []],
+ expected: [['type' => 'f32', 'value' => '1077936128']],
+ line: 1014,
+ );
+ }
+
+ #[Depends('testAssertReturn7')]
+ public function testAssertReturn8(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'type-f64-value', 'args' => []],
+ expected: [['type' => 'f64', 'value' => '4616189618054758400']],
+ line: 1015,
+ );
+ }
+
+ #[Depends('testAssertReturn8')]
+ public function testAssertReturn9(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'empty', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '22']],
+ line: 1017,
+ );
+ }
+
+ #[Depends('testAssertReturn9')]
+ public function testAssertReturn10(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'empty', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '22']],
+ line: 1018,
+ );
+ }
+
+ #[Depends('testAssertReturn10')]
+ public function testAssertReturn11(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'empty', 'args' => [['type' => 'i32', 'value' => '11']]],
+ expected: [['type' => 'i32', 'value' => '22']],
+ line: 1019,
+ );
+ }
+
+ #[Depends('testAssertReturn11')]
+ public function testAssertReturn12(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'empty', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '22']],
+ line: 1020,
+ );
+ }
+
+ #[Depends('testAssertReturn12')]
+ public function testAssertReturn13(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'empty', 'args' => [['type' => 'i32', 'value' => '4294967196']]],
+ expected: [['type' => 'i32', 'value' => '22']],
+ line: 1021,
+ );
+ }
+
+ #[Depends('testAssertReturn13')]
+ public function testAssertReturn14(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'empty', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '22']],
+ line: 1022,
+ );
+ }
+
+ #[Depends('testAssertReturn14')]
+ public function testAssertReturn15(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'empty-value', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '33']],
+ line: 1024,
+ );
+ }
+
+ #[Depends('testAssertReturn15')]
+ public function testAssertReturn16(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'empty-value', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '33']],
+ line: 1025,
+ );
+ }
+
+ #[Depends('testAssertReturn16')]
+ public function testAssertReturn17(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'empty-value', 'args' => [['type' => 'i32', 'value' => '11']]],
+ expected: [['type' => 'i32', 'value' => '33']],
+ line: 1026,
+ );
+ }
+
+ #[Depends('testAssertReturn17')]
+ public function testAssertReturn18(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'empty-value', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '33']],
+ line: 1027,
+ );
+ }
+
+ #[Depends('testAssertReturn18')]
+ public function testAssertReturn19(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'empty-value', 'args' => [['type' => 'i32', 'value' => '4294967196']]],
+ expected: [['type' => 'i32', 'value' => '33']],
+ line: 1028,
+ );
+ }
+
+ #[Depends('testAssertReturn19')]
+ public function testAssertReturn20(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'empty-value', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '33']],
+ line: 1029,
+ );
+ }
+
+ #[Depends('testAssertReturn20')]
+ public function testAssertReturn21(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'singleton', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '22']],
+ line: 1031,
+ );
+ }
+
+ #[Depends('testAssertReturn21')]
+ public function testAssertReturn22(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'singleton', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '20']],
+ line: 1032,
+ );
+ }
+
+ #[Depends('testAssertReturn22')]
+ public function testAssertReturn23(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'singleton', 'args' => [['type' => 'i32', 'value' => '11']]],
+ expected: [['type' => 'i32', 'value' => '20']],
+ line: 1033,
+ );
+ }
+
+ #[Depends('testAssertReturn23')]
+ public function testAssertReturn24(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'singleton', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '20']],
+ line: 1034,
+ );
+ }
+
+ #[Depends('testAssertReturn24')]
+ public function testAssertReturn25(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'singleton', 'args' => [['type' => 'i32', 'value' => '4294967196']]],
+ expected: [['type' => 'i32', 'value' => '20']],
+ line: 1035,
+ );
+ }
+
+ #[Depends('testAssertReturn25')]
+ public function testAssertReturn26(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'singleton', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '20']],
+ line: 1036,
+ );
+ }
+
+ #[Depends('testAssertReturn26')]
+ public function testAssertReturn27(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'singleton-value', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '32']],
+ line: 1038,
+ );
+ }
+
+ #[Depends('testAssertReturn27')]
+ public function testAssertReturn28(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'singleton-value', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '33']],
+ line: 1039,
+ );
+ }
+
+ #[Depends('testAssertReturn28')]
+ public function testAssertReturn29(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'singleton-value', 'args' => [['type' => 'i32', 'value' => '11']]],
+ expected: [['type' => 'i32', 'value' => '33']],
+ line: 1040,
+ );
+ }
+
+ #[Depends('testAssertReturn29')]
+ public function testAssertReturn30(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'singleton-value', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '33']],
+ line: 1041,
+ );
+ }
+
+ #[Depends('testAssertReturn30')]
+ public function testAssertReturn31(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'singleton-value', 'args' => [['type' => 'i32', 'value' => '4294967196']]],
+ expected: [['type' => 'i32', 'value' => '33']],
+ line: 1042,
+ );
+ }
+
+ #[Depends('testAssertReturn31')]
+ public function testAssertReturn32(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'singleton-value', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '33']],
+ line: 1043,
+ );
+ }
+
+ #[Depends('testAssertReturn32')]
+ public function testAssertReturn33(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '103']],
+ line: 1045,
+ );
+ }
+
+ #[Depends('testAssertReturn33')]
+ public function testAssertReturn34(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '102']],
+ line: 1046,
+ );
+ }
+
+ #[Depends('testAssertReturn34')]
+ public function testAssertReturn35(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple', 'args' => [['type' => 'i32', 'value' => '2']]],
+ expected: [['type' => 'i32', 'value' => '101']],
+ line: 1047,
+ );
+ }
+
+ #[Depends('testAssertReturn35')]
+ public function testAssertReturn36(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple', 'args' => [['type' => 'i32', 'value' => '3']]],
+ expected: [['type' => 'i32', 'value' => '100']],
+ line: 1048,
+ );
+ }
+
+ #[Depends('testAssertReturn36')]
+ public function testAssertReturn37(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple', 'args' => [['type' => 'i32', 'value' => '4']]],
+ expected: [['type' => 'i32', 'value' => '104']],
+ line: 1049,
+ );
+ }
+
+ #[Depends('testAssertReturn37')]
+ public function testAssertReturn38(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple', 'args' => [['type' => 'i32', 'value' => '5']]],
+ expected: [['type' => 'i32', 'value' => '104']],
+ line: 1050,
+ );
+ }
+
+ #[Depends('testAssertReturn38')]
+ public function testAssertReturn39(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple', 'args' => [['type' => 'i32', 'value' => '6']]],
+ expected: [['type' => 'i32', 'value' => '104']],
+ line: 1051,
+ );
+ }
+
+ #[Depends('testAssertReturn39')]
+ public function testAssertReturn40(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple', 'args' => [['type' => 'i32', 'value' => '10']]],
+ expected: [['type' => 'i32', 'value' => '104']],
+ line: 1052,
+ );
+ }
+
+ #[Depends('testAssertReturn40')]
+ public function testAssertReturn41(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '104']],
+ line: 1053,
+ );
+ }
+
+ #[Depends('testAssertReturn41')]
+ public function testAssertReturn42(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '104']],
+ line: 1054,
+ );
+ }
+
+ #[Depends('testAssertReturn42')]
+ public function testAssertReturn43(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple-value', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '213']],
+ line: 1056,
+ );
+ }
+
+ #[Depends('testAssertReturn43')]
+ public function testAssertReturn44(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple-value', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '212']],
+ line: 1057,
+ );
+ }
+
+ #[Depends('testAssertReturn44')]
+ public function testAssertReturn45(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple-value', 'args' => [['type' => 'i32', 'value' => '2']]],
+ expected: [['type' => 'i32', 'value' => '211']],
+ line: 1058,
+ );
+ }
+
+ #[Depends('testAssertReturn45')]
+ public function testAssertReturn46(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple-value', 'args' => [['type' => 'i32', 'value' => '3']]],
+ expected: [['type' => 'i32', 'value' => '210']],
+ line: 1059,
+ );
+ }
+
+ #[Depends('testAssertReturn46')]
+ public function testAssertReturn47(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple-value', 'args' => [['type' => 'i32', 'value' => '4']]],
+ expected: [['type' => 'i32', 'value' => '214']],
+ line: 1060,
+ );
+ }
+
+ #[Depends('testAssertReturn47')]
+ public function testAssertReturn48(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple-value', 'args' => [['type' => 'i32', 'value' => '5']]],
+ expected: [['type' => 'i32', 'value' => '214']],
+ line: 1061,
+ );
+ }
+
+ #[Depends('testAssertReturn48')]
+ public function testAssertReturn49(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple-value', 'args' => [['type' => 'i32', 'value' => '6']]],
+ expected: [['type' => 'i32', 'value' => '214']],
+ line: 1062,
+ );
+ }
+
+ #[Depends('testAssertReturn49')]
+ public function testAssertReturn50(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple-value', 'args' => [['type' => 'i32', 'value' => '10']]],
+ expected: [['type' => 'i32', 'value' => '214']],
+ line: 1063,
+ );
+ }
+
+ #[Depends('testAssertReturn50')]
+ public function testAssertReturn51(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple-value', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '214']],
+ line: 1064,
+ );
+ }
+
+ #[Depends('testAssertReturn51')]
+ public function testAssertReturn52(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'multiple-value', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '214']],
+ line: 1065,
+ );
+ }
+
+ #[Depends('testAssertReturn52')]
+ public function testAssertReturn53(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'large', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 1067,
+ );
+ }
+
+ #[Depends('testAssertReturn53')]
+ public function testAssertReturn54(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'large', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '1']],
+ line: 1068,
+ );
+ }
+
+ #[Depends('testAssertReturn54')]
+ public function testAssertReturn55(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'large', 'args' => [['type' => 'i32', 'value' => '100']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 1069,
+ );
+ }
+
+ #[Depends('testAssertReturn55')]
+ public function testAssertReturn56(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'large', 'args' => [['type' => 'i32', 'value' => '101']]],
+ expected: [['type' => 'i32', 'value' => '1']],
+ line: 1070,
+ );
+ }
+
+ #[Depends('testAssertReturn56')]
+ public function testAssertReturn57(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'large', 'args' => [['type' => 'i32', 'value' => '10000']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 1071,
+ );
+ }
+
+ #[Depends('testAssertReturn57')]
+ public function testAssertReturn58(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'large', 'args' => [['type' => 'i32', 'value' => '10001']]],
+ expected: [['type' => 'i32', 'value' => '1']],
+ line: 1072,
+ );
+ }
+
+ #[Depends('testAssertReturn58')]
+ public function testAssertReturn59(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'large', 'args' => [['type' => 'i32', 'value' => '1000000']]],
+ expected: [['type' => 'i32', 'value' => '1']],
+ line: 1073,
+ );
+ }
+
+ #[Depends('testAssertReturn59')]
+ public function testAssertReturn60(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'large', 'args' => [['type' => 'i32', 'value' => '1000001']]],
+ expected: [['type' => 'i32', 'value' => '1']],
+ line: 1074,
+ );
+ }
+
+ #[Depends('testAssertReturn60')]
+ public function testAssertReturn61(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-block-first', 'args' => []],
+ expected: [],
+ line: 1076,
+ );
+ }
+
+ #[Depends('testAssertReturn61')]
+ public function testAssertReturn62(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-block-mid', 'args' => []],
+ expected: [],
+ line: 1077,
+ );
+ }
+
+ #[Depends('testAssertReturn62')]
+ public function testAssertReturn63(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-block-last', 'args' => []],
+ expected: [],
+ line: 1078,
+ );
+ }
+
+ #[Depends('testAssertReturn63')]
+ public function testAssertReturn64(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-block-value', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '2']],
+ line: 1079,
+ );
+ }
+
+ #[Depends('testAssertReturn64')]
+ public function testAssertReturn65(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-loop-first', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '3']],
+ line: 1081,
+ );
+ }
+
+ #[Depends('testAssertReturn65')]
+ public function testAssertReturn66(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-loop-mid', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '4']],
+ line: 1082,
+ );
+ }
+
+ #[Depends('testAssertReturn66')]
+ public function testAssertReturn67(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-loop-last', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '5']],
+ line: 1083,
+ );
+ }
+
+ #[Depends('testAssertReturn67')]
+ public function testAssertReturn68(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-br-value', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1085,
+ );
+ }
+
+ #[Depends('testAssertReturn68')]
+ public function testAssertReturn69(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-br_if-cond', 'args' => []],
+ expected: [],
+ line: 1087,
+ );
+ }
+
+ #[Depends('testAssertReturn69')]
+ public function testAssertReturn70(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-br_if-value', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '8']],
+ line: 1088,
+ );
+ }
+
+ #[Depends('testAssertReturn70')]
+ public function testAssertReturn71(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-br_if-value-cond', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1089,
+ );
+ }
+
+ #[Depends('testAssertReturn71')]
+ public function testAssertReturn72(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-br_table-index', 'args' => []],
+ expected: [],
+ line: 1091,
+ );
+ }
+
+ #[Depends('testAssertReturn72')]
+ public function testAssertReturn73(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-br_table-value', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '10']],
+ line: 1092,
+ );
+ }
+
+ #[Depends('testAssertReturn73')]
+ public function testAssertReturn74(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-br_table-value-index', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '11']],
+ line: 1093,
+ );
+ }
+
+ #[Depends('testAssertReturn74')]
+ public function testAssertReturn75(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-return-value', 'args' => []],
+ expected: [['type' => 'i64', 'value' => '7']],
+ line: 1095,
+ );
+ }
+
+ #[Depends('testAssertReturn75')]
+ public function testAssertReturn76(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-if-cond', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '2']],
+ line: 1097,
+ );
+ }
+
+ #[Depends('testAssertReturn76')]
+ public function testAssertReturn77(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-if-then', 'args' => [['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '6']]],
+ expected: [['type' => 'i32', 'value' => '3']],
+ line: 1098,
+ );
+ }
+
+ #[Depends('testAssertReturn77')]
+ public function testAssertReturn78(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-if-then', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '6']]],
+ expected: [['type' => 'i32', 'value' => '6']],
+ line: 1099,
+ );
+ }
+
+ #[Depends('testAssertReturn78')]
+ public function testAssertReturn79(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-if-else', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '6']]],
+ expected: [['type' => 'i32', 'value' => '4']],
+ line: 1100,
+ );
+ }
+
+ #[Depends('testAssertReturn79')]
+ public function testAssertReturn80(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-if-else', 'args' => [['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '6']]],
+ expected: [['type' => 'i32', 'value' => '6']],
+ line: 1101,
+ );
+ }
+
+ #[Depends('testAssertReturn80')]
+ public function testAssertReturn81(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-select-first', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '6']]],
+ expected: [['type' => 'i32', 'value' => '5']],
+ line: 1103,
+ );
+ }
+
+ #[Depends('testAssertReturn81')]
+ public function testAssertReturn82(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-select-first', 'args' => [['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '6']]],
+ expected: [['type' => 'i32', 'value' => '5']],
+ line: 1104,
+ );
+ }
+
+ #[Depends('testAssertReturn82')]
+ public function testAssertReturn83(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-select-second', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '6']]],
+ expected: [['type' => 'i32', 'value' => '6']],
+ line: 1105,
+ );
+ }
+
+ #[Depends('testAssertReturn83')]
+ public function testAssertReturn84(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-select-second', 'args' => [['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '6']]],
+ expected: [['type' => 'i32', 'value' => '6']],
+ line: 1106,
+ );
+ }
+
+ #[Depends('testAssertReturn84')]
+ public function testAssertReturn85(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-select-cond', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '7']],
+ line: 1107,
+ );
+ }
+
+ #[Depends('testAssertReturn85')]
+ public function testAssertReturn86(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-call-first', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '12']],
+ line: 1109,
+ );
+ }
+
+ #[Depends('testAssertReturn86')]
+ public function testAssertReturn87(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-call-mid', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '13']],
+ line: 1110,
+ );
+ }
+
+ #[Depends('testAssertReturn87')]
+ public function testAssertReturn88(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-call-last', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '14']],
+ line: 1111,
+ );
+ }
+
+ #[Depends('testAssertReturn88')]
+ public function testAssertReturn89(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-call_indirect-first', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '20']],
+ line: 1113,
+ );
+ }
+
+ #[Depends('testAssertReturn89')]
+ public function testAssertReturn90(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-call_indirect-mid', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '21']],
+ line: 1114,
+ );
+ }
+
+ #[Depends('testAssertReturn90')]
+ public function testAssertReturn91(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-call_indirect-last', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '22']],
+ line: 1115,
+ );
+ }
+
+ #[Depends('testAssertReturn91')]
+ public function testAssertReturn92(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-call_indirect-func', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '23']],
+ line: 1116,
+ );
+ }
+
+ #[Depends('testAssertReturn92')]
+ public function testAssertReturn93(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-local.set-value', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '17']],
+ line: 1118,
+ );
+ }
+
+ #[Depends('testAssertReturn93')]
+ public function testAssertReturn94(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-local.tee-value', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '1']],
+ line: 1119,
+ );
+ }
+
+ #[Depends('testAssertReturn94')]
+ public function testAssertReturn95(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-global.set-value', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '1']],
+ line: 1120,
+ );
+ }
+
+ #[Depends('testAssertReturn95')]
+ public function testAssertReturn96(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-load-address', 'args' => []],
+ expected: [['type' => 'f32', 'value' => '1071225242']],
+ line: 1122,
+ );
+ }
+
+ #[Depends('testAssertReturn96')]
+ public function testAssertReturn97(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-loadN-address', 'args' => []],
+ expected: [['type' => 'i64', 'value' => '30']],
+ line: 1123,
+ );
+ }
+
+ #[Depends('testAssertReturn97')]
+ public function testAssertReturn98(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-store-address', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '30']],
+ line: 1125,
+ );
+ }
+
+ #[Depends('testAssertReturn98')]
+ public function testAssertReturn99(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-store-value', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '31']],
+ line: 1126,
+ );
+ }
+
+ #[Depends('testAssertReturn99')]
+ public function testAssertReturn100(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-storeN-address', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '32']],
+ line: 1127,
+ );
+ }
+
+ #[Depends('testAssertReturn100')]
+ public function testAssertReturn101(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-storeN-value', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '33']],
+ line: 1128,
+ );
+ }
+
+ #[Depends('testAssertReturn101')]
+ public function testAssertReturn102(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-unary-operand', 'args' => []],
+ expected: [['type' => 'f32', 'value' => '1079613850']],
+ line: 1130,
+ );
+ }
+
+ #[Depends('testAssertReturn102')]
+ public function testAssertReturn103(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-binary-left', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '3']],
+ line: 1132,
+ );
+ }
+
+ #[Depends('testAssertReturn103')]
+ public function testAssertReturn104(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-binary-right', 'args' => []],
+ expected: [['type' => 'i64', 'value' => '45']],
+ line: 1133,
+ );
+ }
+
+ #[Depends('testAssertReturn104')]
+ public function testAssertReturn105(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-test-operand', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '44']],
+ line: 1135,
+ );
+ }
+
+ #[Depends('testAssertReturn105')]
+ public function testAssertReturn106(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-compare-left', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '43']],
+ line: 1137,
+ );
+ }
+
+ #[Depends('testAssertReturn106')]
+ public function testAssertReturn107(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-compare-right', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '42']],
+ line: 1138,
+ );
+ }
+
+ #[Depends('testAssertReturn107')]
+ public function testAssertReturn108(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-convert-operand', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '41']],
+ line: 1140,
+ );
+ }
+
+ #[Depends('testAssertReturn108')]
+ public function testAssertReturn109(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'as-memory.grow-size', 'args' => []],
+ expected: [['type' => 'i32', 'value' => '40']],
+ line: 1142,
+ );
+ }
+
+ #[Depends('testAssertReturn109')]
+ public function testAssertReturn110(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-block-value', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '19']],
+ line: 1144,
+ );
+ }
+
+ #[Depends('testAssertReturn110')]
+ public function testAssertReturn111(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-block-value', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '17']],
+ line: 1145,
+ );
+ }
+
+ #[Depends('testAssertReturn111')]
+ public function testAssertReturn112(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-block-value', 'args' => [['type' => 'i32', 'value' => '2']]],
+ expected: [['type' => 'i32', 'value' => '16']],
+ line: 1146,
+ );
+ }
+
+ #[Depends('testAssertReturn112')]
+ public function testAssertReturn113(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-block-value', 'args' => [['type' => 'i32', 'value' => '10']]],
+ expected: [['type' => 'i32', 'value' => '16']],
+ line: 1147,
+ );
+ }
+
+ #[Depends('testAssertReturn113')]
+ public function testAssertReturn114(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-block-value', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ expected: [['type' => 'i32', 'value' => '16']],
+ line: 1148,
+ );
+ }
+
+ #[Depends('testAssertReturn114')]
+ public function testAssertReturn115(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-block-value', 'args' => [['type' => 'i32', 'value' => '100000']]],
+ expected: [['type' => 'i32', 'value' => '16']],
+ line: 1149,
+ );
+ }
+
+ #[Depends('testAssertReturn115')]
+ public function testAssertReturn116(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br-value', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '8']],
+ line: 1151,
+ );
+ }
+
+ #[Depends('testAssertReturn116')]
+ public function testAssertReturn117(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br-value', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1152,
+ );
+ }
+
+ #[Depends('testAssertReturn117')]
+ public function testAssertReturn118(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br-value', 'args' => [['type' => 'i32', 'value' => '2']]],
+ expected: [['type' => 'i32', 'value' => '17']],
+ line: 1153,
+ );
+ }
+
+ #[Depends('testAssertReturn118')]
+ public function testAssertReturn119(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br-value', 'args' => [['type' => 'i32', 'value' => '11']]],
+ expected: [['type' => 'i32', 'value' => '17']],
+ line: 1154,
+ );
+ }
+
+ #[Depends('testAssertReturn119')]
+ public function testAssertReturn120(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br-value', 'args' => [['type' => 'i32', 'value' => '4294967292']]],
+ expected: [['type' => 'i32', 'value' => '17']],
+ line: 1155,
+ );
+ }
+
+ #[Depends('testAssertReturn120')]
+ public function testAssertReturn121(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br-value', 'args' => [['type' => 'i32', 'value' => '10213210']]],
+ expected: [['type' => 'i32', 'value' => '17']],
+ line: 1156,
+ );
+ }
+
+ #[Depends('testAssertReturn121')]
+ public function testAssertReturn122(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_if-value', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '17']],
+ line: 1158,
+ );
+ }
+
+ #[Depends('testAssertReturn122')]
+ public function testAssertReturn123(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_if-value', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1159,
+ );
+ }
+
+ #[Depends('testAssertReturn123')]
+ public function testAssertReturn124(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_if-value', 'args' => [['type' => 'i32', 'value' => '2']]],
+ expected: [['type' => 'i32', 'value' => '8']],
+ line: 1160,
+ );
+ }
+
+ #[Depends('testAssertReturn124')]
+ public function testAssertReturn125(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_if-value', 'args' => [['type' => 'i32', 'value' => '9']]],
+ expected: [['type' => 'i32', 'value' => '8']],
+ line: 1161,
+ );
+ }
+
+ #[Depends('testAssertReturn125')]
+ public function testAssertReturn126(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_if-value', 'args' => [['type' => 'i32', 'value' => '4294967287']]],
+ expected: [['type' => 'i32', 'value' => '8']],
+ line: 1162,
+ );
+ }
+
+ #[Depends('testAssertReturn126')]
+ public function testAssertReturn127(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_if-value', 'args' => [['type' => 'i32', 'value' => '999999']]],
+ expected: [['type' => 'i32', 'value' => '8']],
+ line: 1163,
+ );
+ }
+
+ #[Depends('testAssertReturn127')]
+ public function testAssertReturn128(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_if-value-cond', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1165,
+ );
+ }
+
+ #[Depends('testAssertReturn128')]
+ public function testAssertReturn129(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_if-value-cond', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '8']],
+ line: 1166,
+ );
+ }
+
+ #[Depends('testAssertReturn129')]
+ public function testAssertReturn130(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_if-value-cond', 'args' => [['type' => 'i32', 'value' => '2']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1167,
+ );
+ }
+
+ #[Depends('testAssertReturn130')]
+ public function testAssertReturn131(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_if-value-cond', 'args' => [['type' => 'i32', 'value' => '3']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1168,
+ );
+ }
+
+ #[Depends('testAssertReturn131')]
+ public function testAssertReturn132(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_if-value-cond', 'args' => [['type' => 'i32', 'value' => '4293967296']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1169,
+ );
+ }
+
+ #[Depends('testAssertReturn132')]
+ public function testAssertReturn133(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_if-value-cond', 'args' => [['type' => 'i32', 'value' => '9423975']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1170,
+ );
+ }
+
+ #[Depends('testAssertReturn133')]
+ public function testAssertReturn134(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-value', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '17']],
+ line: 1172,
+ );
+ }
+
+ #[Depends('testAssertReturn134')]
+ public function testAssertReturn135(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-value', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1173,
+ );
+ }
+
+ #[Depends('testAssertReturn135')]
+ public function testAssertReturn136(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-value', 'args' => [['type' => 'i32', 'value' => '2']]],
+ expected: [['type' => 'i32', 'value' => '8']],
+ line: 1174,
+ );
+ }
+
+ #[Depends('testAssertReturn136')]
+ public function testAssertReturn137(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-value', 'args' => [['type' => 'i32', 'value' => '9']]],
+ expected: [['type' => 'i32', 'value' => '8']],
+ line: 1175,
+ );
+ }
+
+ #[Depends('testAssertReturn137')]
+ public function testAssertReturn138(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-value', 'args' => [['type' => 'i32', 'value' => '4294967287']]],
+ expected: [['type' => 'i32', 'value' => '8']],
+ line: 1176,
+ );
+ }
+
+ #[Depends('testAssertReturn138')]
+ public function testAssertReturn139(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-value', 'args' => [['type' => 'i32', 'value' => '999999']]],
+ expected: [['type' => 'i32', 'value' => '8']],
+ line: 1177,
+ );
+ }
+
+ #[Depends('testAssertReturn139')]
+ public function testAssertReturn140(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-value-index', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1179,
+ );
+ }
+
+ #[Depends('testAssertReturn140')]
+ public function testAssertReturn141(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-value-index', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '8']],
+ line: 1180,
+ );
+ }
+
+ #[Depends('testAssertReturn141')]
+ public function testAssertReturn142(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-value-index', 'args' => [['type' => 'i32', 'value' => '2']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1181,
+ );
+ }
+
+ #[Depends('testAssertReturn142')]
+ public function testAssertReturn143(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-value-index', 'args' => [['type' => 'i32', 'value' => '3']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1182,
+ );
+ }
+
+ #[Depends('testAssertReturn143')]
+ public function testAssertReturn144(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-value-index', 'args' => [['type' => 'i32', 'value' => '4293967296']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1183,
+ );
+ }
+
+ #[Depends('testAssertReturn144')]
+ public function testAssertReturn145(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-value-index', 'args' => [['type' => 'i32', 'value' => '9423975']]],
+ expected: [['type' => 'i32', 'value' => '9']],
+ line: 1184,
+ );
+ }
+
+ #[Depends('testAssertReturn145')]
+ public function testAssertReturn146(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'nested-br_table-loop-block', 'args' => [['type' => 'i32', 'value' => '1']]],
+ expected: [['type' => 'i32', 'value' => '3']],
+ line: 1186,
+ );
+ }
+
+ #[Depends('testAssertReturn146')]
+ public function testAssertReturn147(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'meet-externref', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'externref', 'value' => '1']]],
+ expected: [['type' => 'externref', 'value' => '1']],
+ line: 1188,
+ );
+ }
+
+ #[Depends('testAssertReturn147')]
+ public function testAssertReturn148(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'meet-externref', 'args' => [['type' => 'i32', 'value' => '1'], ['type' => 'externref', 'value' => '1']]],
+ expected: [['type' => 'externref', 'value' => '1']],
+ line: 1189,
+ );
+ }
+
+ #[Depends('testAssertReturn148')]
+ public function testAssertReturn149(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => 'meet-externref', 'args' => [['type' => 'i32', 'value' => '2'], ['type' => 'externref', 'value' => '1']]],
+ expected: [['type' => 'externref', 'value' => '1']],
+ line: 1190,
+ );
+ }
+
+ #[Depends('testAssertReturn149')]
+ public function testAssertInvalid150(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.1.wasm',
+ text: 'type mismatch',
+ line: 1193,
+ );
+ }
+
+ #[Depends('testAssertInvalid150')]
+ public function testAssertInvalid151(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.2.wasm',
+ text: 'type mismatch',
+ line: 1200,
+ );
+ }
+
+ #[Depends('testAssertInvalid151')]
+ public function testAssertInvalid152(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.3.wasm',
+ text: 'type mismatch',
+ line: 1207,
+ );
+ }
+
+ #[Depends('testAssertInvalid152')]
+ public function testAssertInvalid153(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.4.wasm',
+ text: 'type mismatch',
+ line: 1213,
+ );
+ }
+
+ #[Depends('testAssertInvalid153')]
+ public function testAssertInvalid154(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.5.wasm',
+ text: 'type mismatch',
+ line: 1221,
+ );
+ }
+
+ #[Depends('testAssertInvalid154')]
+ public function testAssertInvalid155(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.6.wasm',
+ text: 'type mismatch',
+ line: 1232,
+ );
+ }
+
+ #[Depends('testAssertInvalid155')]
+ public function testAssertInvalid156(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.7.wasm',
+ text: 'type mismatch',
+ line: 1243,
+ );
+ }
+
+ #[Depends('testAssertInvalid156')]
+ public function testAssertInvalid157(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.8.wasm',
+ text: 'type mismatch',
+ line: 1249,
+ );
+ }
+
+ #[Depends('testAssertInvalid157')]
+ public function testAssertInvalid158(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.9.wasm',
+ text: 'type mismatch',
+ line: 1255,
+ );
+ }
+
+ #[Depends('testAssertInvalid158')]
+ public function testAssertInvalid159(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.10.wasm',
+ text: 'type mismatch',
+ line: 1261,
+ );
+ }
+
+ #[Depends('testAssertInvalid159')]
+ public function testAssertInvalid160(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.11.wasm',
+ text: 'type mismatch',
+ line: 1267,
+ );
+ }
+
+ #[Depends('testAssertInvalid160')]
+ public function testAssertInvalid161(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.12.wasm',
+ text: 'type mismatch',
+ line: 1276,
+ );
+ }
+
+ #[Depends('testAssertInvalid161')]
+ public function testAssertInvalid162(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.13.wasm',
+ text: 'type mismatch',
+ line: 1283,
+ );
+ }
+
+ #[Depends('testAssertInvalid162')]
+ public function testAssertInvalid163(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.14.wasm',
+ text: 'type mismatch',
+ line: 1295,
+ );
+ }
+
+ #[Depends('testAssertInvalid163')]
+ public function testAssertInvalid164(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.15.wasm',
+ text: 'type mismatch',
+ line: 1307,
+ );
+ }
+
+ #[Depends('testAssertInvalid164')]
+ public function testAssertInvalid165(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.16.wasm',
+ text: 'type mismatch',
+ line: 1318,
+ );
+ }
+
+ #[Depends('testAssertInvalid165')]
+ public function testAssertInvalid166(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.17.wasm',
+ text: 'type mismatch',
+ line: 1330,
+ );
+ }
+
+ #[Depends('testAssertInvalid166')]
+ public function testAssertInvalid167(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.18.wasm',
+ text: 'type mismatch',
+ line: 1342,
+ );
+ }
+
+ #[Depends('testAssertInvalid167')]
+ public function testAssertInvalid168(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.19.wasm',
+ text: 'unknown label',
+ line: 1356,
+ );
+ }
+
+ #[Depends('testAssertInvalid168')]
+ public function testAssertInvalid169(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.20.wasm',
+ text: 'unknown label',
+ line: 1362,
+ );
+ }
+
+ #[Depends('testAssertInvalid169')]
+ public function testAssertInvalid170(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.21.wasm',
+ text: 'unknown label',
+ line: 1368,
+ );
+ }
+
+ #[Depends('testAssertInvalid170')]
+ public function testAssertInvalid171(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.22.wasm',
+ text: 'unknown label',
+ line: 1375,
+ );
+ }
+
+ #[Depends('testAssertInvalid171')]
+ public function testAssertInvalid172(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.23.wasm',
+ text: 'unknown label',
+ line: 1381,
+ );
+ }
+
+ #[Depends('testAssertInvalid172')]
+ public function testAssertInvalid173(): void
+ {
+ $this->runAssertInvalidCommand(
+ filename: 'br_table.24.wasm',
+ text: 'unknown label',
+ line: 1387,
+ );
+ }
+}
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-12-01 01:05:43 +0000