diff options
Diffstat (limited to 'tests/src/SpecTestsuites/Core/BulkTest.php')
| -rw-r--r-- | tests/src/SpecTestsuites/Core/BulkTest.php | 1208 |
1 files changed, 1208 insertions, 0 deletions
diff --git a/tests/src/SpecTestsuites/Core/BulkTest.php b/tests/src/SpecTestsuites/Core/BulkTest.php new file mode 100644 index 0000000..3b3ff70 --- /dev/null +++ b/tests/src/SpecTestsuites/Core/BulkTest.php @@ -0,0 +1,1208 @@ +<?php + +declare(strict_types=1); + +namespace Nsfisis\Waddiwasi\Tests\SpecTestsuites\Core; + +use Nsfisis\Waddiwasi\Tests\SpecTestsuites\SpecTestsuiteBase; +use PHPUnit\Framework\Attributes\Depends; + +final class BulkTest extends SpecTestsuiteBase +{ + public function testModule0(): void + { + $this->runModuleCommand( + filename: 'bulk.0.wasm', + name: null, + line: 2, + ); + } + + #[Depends('testModule0')] + public function testModule1(): void + { + $this->runModuleCommand( + filename: 'bulk.1.wasm', + name: null, + line: 6, + ); + } + + #[Depends('testModule1')] + public function testModule2(): void + { + $this->runModuleCommand( + filename: 'bulk.2.wasm', + name: null, + line: 13, + ); + } + + #[Depends('testModule2')] + public function testAction3(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '255'], ['type' => 'i32', 'value' => '3']]], + line: 27, + ); + } + + #[Depends('testAction3')] + public function testAssertReturn4(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '0']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 28, + ); + } + + #[Depends('testAssertReturn4')] + public function testAssertReturn5(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '1']]], + expected: [['type' => 'i32', 'value' => '255']], + line: 29, + ); + } + + #[Depends('testAssertReturn5')] + public function testAssertReturn6(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '2']]], + expected: [['type' => 'i32', 'value' => '255']], + line: 30, + ); + } + + #[Depends('testAssertReturn6')] + public function testAssertReturn7(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '3']]], + expected: [['type' => 'i32', 'value' => '255']], + line: 31, + ); + } + + #[Depends('testAssertReturn7')] + public function testAssertReturn8(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '4']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 32, + ); + } + + #[Depends('testAssertReturn8')] + public function testAction9(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '48042'], ['type' => 'i32', 'value' => '2']]], + line: 35, + ); + } + + #[Depends('testAction9')] + public function testAssertReturn10(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '0']]], + expected: [['type' => 'i32', 'value' => '170']], + line: 36, + ); + } + + #[Depends('testAssertReturn10')] + public function testAssertReturn11(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '1']]], + expected: [['type' => 'i32', 'value' => '170']], + line: 37, + ); + } + + #[Depends('testAssertReturn11')] + public function testAction12(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '65536']]], + line: 40, + ); + } + + #[Depends('testAction12')] + public function testAssertTrap13(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '65280'], ['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '257']]], + text: 'out of bounds memory access', + line: 43, + ); + } + + #[Depends('testAssertTrap13')] + public function testAssertReturn14(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '65280']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 45, + ); + } + + #[Depends('testAssertReturn14')] + public function testAssertReturn15(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '65535']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 46, + ); + } + + #[Depends('testAssertReturn15')] + public function testAction16(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '65536'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]], + line: 49, + ); + } + + #[Depends('testAction16')] + public function testAssertTrap17(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '65537'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]], + text: 'out of bounds memory access', + line: 52, + ); + } + + #[Depends('testAssertTrap17')] + public function testModule18(): void + { + $this->runModuleCommand( + filename: 'bulk.3.wasm', + name: null, + line: 57, + ); + } + + #[Depends('testModule18')] + public function testAction19(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '4']]], + line: 71, + ); + } + + #[Depends('testAction19')] + public function testAssertReturn20(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '9']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 73, + ); + } + + #[Depends('testAssertReturn20')] + public function testAssertReturn21(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '10']]], + expected: [['type' => 'i32', 'value' => '170']], + line: 74, + ); + } + + #[Depends('testAssertReturn21')] + public function testAssertReturn22(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '11']]], + expected: [['type' => 'i32', 'value' => '187']], + line: 75, + ); + } + + #[Depends('testAssertReturn22')] + public function testAssertReturn23(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '12']]], + expected: [['type' => 'i32', 'value' => '204']], + line: 76, + ); + } + + #[Depends('testAssertReturn23')] + public function testAssertReturn24(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '13']]], + expected: [['type' => 'i32', 'value' => '221']], + line: 77, + ); + } + + #[Depends('testAssertReturn24')] + public function testAssertReturn25(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '14']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 78, + ); + } + + #[Depends('testAssertReturn25')] + public function testAction26(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '8'], ['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '4']]], + line: 81, + ); + } + + #[Depends('testAction26')] + public function testAssertReturn27(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '8']]], + expected: [['type' => 'i32', 'value' => '170']], + line: 82, + ); + } + + #[Depends('testAssertReturn27')] + public function testAssertReturn28(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '9']]], + expected: [['type' => 'i32', 'value' => '187']], + line: 83, + ); + } + + #[Depends('testAssertReturn28')] + public function testAssertReturn29(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '10']]], + expected: [['type' => 'i32', 'value' => '204']], + line: 84, + ); + } + + #[Depends('testAssertReturn29')] + public function testAssertReturn30(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '11']]], + expected: [['type' => 'i32', 'value' => '221']], + line: 85, + ); + } + + #[Depends('testAssertReturn30')] + public function testAssertReturn31(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '12']]], + expected: [['type' => 'i32', 'value' => '204']], + line: 86, + ); + } + + #[Depends('testAssertReturn31')] + public function testAssertReturn32(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '13']]], + expected: [['type' => 'i32', 'value' => '221']], + line: 87, + ); + } + + #[Depends('testAssertReturn32')] + public function testAction33(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '7'], ['type' => 'i32', 'value' => '6']]], + line: 90, + ); + } + + #[Depends('testAction33')] + public function testAssertReturn34(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '10']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 91, + ); + } + + #[Depends('testAssertReturn34')] + public function testAssertReturn35(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '11']]], + expected: [['type' => 'i32', 'value' => '170']], + line: 92, + ); + } + + #[Depends('testAssertReturn35')] + public function testAssertReturn36(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '12']]], + expected: [['type' => 'i32', 'value' => '187']], + line: 93, + ); + } + + #[Depends('testAssertReturn36')] + public function testAssertReturn37(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '13']]], + expected: [['type' => 'i32', 'value' => '204']], + line: 94, + ); + } + + #[Depends('testAssertReturn37')] + public function testAssertReturn38(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '14']]], + expected: [['type' => 'i32', 'value' => '221']], + line: 95, + ); + } + + #[Depends('testAssertReturn38')] + public function testAssertReturn39(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '15']]], + expected: [['type' => 'i32', 'value' => '204']], + line: 96, + ); + } + + #[Depends('testAssertReturn39')] + public function testAssertReturn40(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '16']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 97, + ); + } + + #[Depends('testAssertReturn40')] + public function testAction41(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '65280'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '256']]], + line: 100, + ); + } + + #[Depends('testAction41')] + public function testAction42(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '65024'], ['type' => 'i32', 'value' => '65280'], ['type' => 'i32', 'value' => '256']]], + line: 101, + ); + } + + #[Depends('testAction42')] + public function testAction43(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '65536'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]], + line: 104, + ); + } + + #[Depends('testAction43')] + public function testAction44(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '65536'], ['type' => 'i32', 'value' => '0']]], + line: 105, + ); + } + + #[Depends('testAction44')] + public function testAssertTrap45(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '65537'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]], + text: 'out of bounds memory access', + line: 108, + ); + } + + #[Depends('testAssertTrap45')] + public function testAssertTrap46(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '65537'], ['type' => 'i32', 'value' => '0']]], + text: 'out of bounds memory access', + line: 110, + ); + } + + #[Depends('testAssertTrap46')] + public function testModule47(): void + { + $this->runModuleCommand( + filename: 'bulk.4.wasm', + name: null, + line: 115, + ); + } + + #[Depends('testModule47')] + public function testAction48(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '2']]], + line: 129, + ); + } + + #[Depends('testAction48')] + public function testAssertReturn49(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '0']]], + expected: [['type' => 'i32', 'value' => '187']], + line: 130, + ); + } + + #[Depends('testAssertReturn49')] + public function testAssertReturn50(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '1']]], + expected: [['type' => 'i32', 'value' => '204']], + line: 131, + ); + } + + #[Depends('testAssertReturn50')] + public function testAssertReturn51(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '2']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 132, + ); + } + + #[Depends('testAssertReturn51')] + public function testAction52(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '65532'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '4']]], + line: 135, + ); + } + + #[Depends('testAction52')] + public function testAssertTrap53(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '65534'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '3']]], + text: 'out of bounds memory access', + line: 138, + ); + } + + #[Depends('testAssertTrap53')] + public function testAssertReturn54(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '65534']]], + expected: [['type' => 'i32', 'value' => '204']], + line: 140, + ); + } + + #[Depends('testAssertReturn54')] + public function testAssertReturn55(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '65535']]], + expected: [['type' => 'i32', 'value' => '221']], + line: 141, + ); + } + + #[Depends('testAssertReturn55')] + public function testAction56(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '65536'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]], + line: 144, + ); + } + + #[Depends('testAction56')] + public function testAction57(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '4'], ['type' => 'i32', 'value' => '0']]], + line: 145, + ); + } + + #[Depends('testAction57')] + public function testAssertTrap58(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '65537'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]], + text: 'out of bounds memory access', + line: 148, + ); + } + + #[Depends('testAssertTrap58')] + public function testAssertTrap59(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '5'], ['type' => 'i32', 'value' => '0']]], + text: 'out of bounds memory access', + line: 150, + ); + } + + #[Depends('testAssertTrap59')] + public function testModule60(): void + { + $this->runModuleCommand( + filename: 'bulk.5.wasm', + name: null, + line: 154, + ); + } + + #[Depends('testModule60')] + public function testAction61(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '1']]], + line: 168, + ); + } + + #[Depends('testAction61')] + public function testAction62(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'drop_passive', 'args' => []], + line: 169, + ); + } + + #[Depends('testAction62')] + public function testAction63(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'drop_passive', 'args' => []], + line: 170, + ); + } + + #[Depends('testAction63')] + public function testAssertReturn64(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '0']]], + expected: [], + line: 171, + ); + } + + #[Depends('testAssertReturn64')] + public function testAssertTrap65(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '1']]], + text: 'out of bounds memory access', + line: 172, + ); + } + + #[Depends('testAssertTrap65')] + public function testAction66(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '0']]], + line: 173, + ); + } + + #[Depends('testAction66')] + public function testAction67(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'drop_active', 'args' => []], + line: 174, + ); + } + + #[Depends('testAction67')] + public function testAssertReturn68(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '0']]], + expected: [], + line: 175, + ); + } + + #[Depends('testAssertReturn68')] + public function testAssertTrap69(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '1']]], + text: 'out of bounds memory access', + line: 176, + ); + } + + #[Depends('testAssertTrap69')] + public function testAction70(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '0']]], + line: 177, + ); + } + + #[Depends('testAction70')] + public function testModule71(): void + { + $this->runModuleCommand( + filename: 'bulk.6.wasm', + name: null, + line: 181, + ); + } + + #[Depends('testModule71')] + public function testModule72(): void + { + $this->runModuleCommand( + filename: 'bulk.7.wasm', + name: null, + line: 196, + ); + } + + #[Depends('testModule72')] + public function testModule73(): void + { + $this->runModuleCommand( + filename: 'bulk.8.wasm', + name: null, + line: 199, + ); + } + + #[Depends('testModule73')] + public function testAssertTrap74(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '2'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '2']]], + text: 'out of bounds table access', + line: 219, + ); + } + + #[Depends('testAssertTrap74')] + public function testAssertTrap75(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]], + text: 'uninitialized element 2', + line: 221, + ); + } + + #[Depends('testAssertTrap75')] + public function testAction76(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '2']]], + line: 224, + ); + } + + #[Depends('testAction76')] + public function testAssertReturn77(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '0']]], + expected: [['type' => 'i32', 'value' => '1']], + line: 225, + ); + } + + #[Depends('testAssertReturn77')] + public function testAssertReturn78(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '1']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 226, + ); + } + + #[Depends('testAssertReturn78')] + public function testAssertTrap79(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]], + text: 'uninitialized element', + line: 227, + ); + } + + #[Depends('testAssertTrap79')] + public function testAction80(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '2'], ['type' => 'i32', 'value' => '2']]], + line: 230, + ); + } + + #[Depends('testAction80')] + public function testAction81(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '3'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]], + line: 233, + ); + } + + #[Depends('testAction81')] + public function testAction82(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '4'], ['type' => 'i32', 'value' => '0']]], + line: 234, + ); + } + + #[Depends('testAction82')] + public function testAssertTrap83(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '4'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]], + text: 'out of bounds table access', + line: 237, + ); + } + + #[Depends('testAssertTrap83')] + public function testAssertTrap84(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '5'], ['type' => 'i32', 'value' => '0']]], + text: 'out of bounds table access', + line: 239, + ); + } + + #[Depends('testAssertTrap84')] + public function testModule85(): void + { + $this->runModuleCommand( + filename: 'bulk.9.wasm', + name: null, + line: 244, + ); + } + + #[Depends('testModule85')] + public function testAction86(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '1']]], + line: 261, + ); + } + + #[Depends('testAction86')] + public function testAction87(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'drop_passive', 'args' => []], + line: 262, + ); + } + + #[Depends('testAction87')] + public function testAction88(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'drop_passive', 'args' => []], + line: 263, + ); + } + + #[Depends('testAction88')] + public function testAssertReturn89(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '0']]], + expected: [], + line: 264, + ); + } + + #[Depends('testAssertReturn89')] + public function testAssertTrap90(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '1']]], + text: 'out of bounds table access', + line: 265, + ); + } + + #[Depends('testAssertTrap90')] + public function testAction91(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '0']]], + line: 266, + ); + } + + #[Depends('testAction91')] + public function testAction92(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'drop_active', 'args' => []], + line: 267, + ); + } + + #[Depends('testAction92')] + public function testAssertReturn93(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '0']]], + expected: [], + line: 268, + ); + } + + #[Depends('testAssertReturn93')] + public function testAssertTrap94(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '1']]], + text: 'out of bounds table access', + line: 269, + ); + } + + #[Depends('testAssertTrap94')] + public function testAction95(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '0']]], + line: 270, + ); + } + + #[Depends('testAction95')] + public function testModule96(): void + { + $this->runModuleCommand( + filename: 'bulk.10.wasm', + name: null, + line: 274, + ); + } + + #[Depends('testModule96')] + public function testModule97(): void + { + $this->runModuleCommand( + filename: 'bulk.11.wasm', + name: null, + line: 297, + ); + } + + #[Depends('testModule97')] + public function testModule98(): void + { + $this->runModuleCommand( + filename: 'bulk.12.wasm', + name: null, + line: 300, + ); + } + + #[Depends('testModule98')] + public function testAction99(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '3'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '3']]], + line: 319, + ); + } + + #[Depends('testAction99')] + public function testAssertReturn100(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '3']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 321, + ); + } + + #[Depends('testAssertReturn100')] + public function testAssertReturn101(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '4']]], + expected: [['type' => 'i32', 'value' => '1']], + line: 322, + ); + } + + #[Depends('testAssertReturn101')] + public function testAssertReturn102(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '5']]], + expected: [['type' => 'i32', 'value' => '2']], + line: 323, + ); + } + + #[Depends('testAssertReturn102')] + public function testAction103(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '3']]], + line: 326, + ); + } + + #[Depends('testAction103')] + public function testAssertReturn104(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '0']]], + expected: [['type' => 'i32', 'value' => '1']], + line: 328, + ); + } + + #[Depends('testAssertReturn104')] + public function testAssertReturn105(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '1']]], + expected: [['type' => 'i32', 'value' => '2']], + line: 329, + ); + } + + #[Depends('testAssertReturn105')] + public function testAssertReturn106(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 330, + ); + } + + #[Depends('testAssertReturn106')] + public function testAction107(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '2'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '3']]], + line: 333, + ); + } + + #[Depends('testAction107')] + public function testAssertReturn108(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]], + expected: [['type' => 'i32', 'value' => '1']], + line: 335, + ); + } + + #[Depends('testAssertReturn108')] + public function testAssertReturn109(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '3']]], + expected: [['type' => 'i32', 'value' => '2']], + line: 336, + ); + } + + #[Depends('testAssertReturn109')] + public function testAssertReturn110(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '4']]], + expected: [['type' => 'i32', 'value' => '0']], + line: 337, + ); + } + + #[Depends('testAssertReturn110')] + public function testAction111(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '6'], ['type' => 'i32', 'value' => '8'], ['type' => 'i32', 'value' => '2']]], + line: 340, + ); + } + + #[Depends('testAction111')] + public function testAction112(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '8'], ['type' => 'i32', 'value' => '6'], ['type' => 'i32', 'value' => '2']]], + line: 341, + ); + } + + #[Depends('testAction112')] + public function testAction113(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]], + line: 344, + ); + } + + #[Depends('testAction113')] + public function testAction114(): void + { + $this->runActionCommand( + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '0']]], + line: 345, + ); + } + + #[Depends('testAction114')] + public function testAssertTrap115(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '11'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]], + text: 'out of bounds table access', + line: 348, + ); + } + + #[Depends('testAssertTrap115')] + public function testAssertTrap116(): void + { + $this->runAssertTrapCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '11'], ['type' => 'i32', 'value' => '0']]], + text: 'out of bounds table access', + line: 350, + ); + } +} |