runModuleCommand( filename: 'memory.0.wasm', name: null, line: 3, ); } #[Depends('testModule0')] public function testModule1(): void { $this->runModuleCommand( filename: 'memory.1.wasm', name: null, line: 4, ); } #[Depends('testModule1')] public function testModule2(): void { $this->runModuleCommand( filename: 'memory.2.wasm', name: null, line: 5, ); } #[Depends('testModule2')] public function testModule3(): void { $this->runModuleCommand( filename: 'memory.3.wasm', name: null, line: 6, ); } #[Depends('testModule3')] public function testModule4(): void { $this->runModuleCommand( filename: 'memory.4.wasm', name: null, line: 7, ); } #[Depends('testModule4')] public function testModule5(): void { $this->runModuleCommand( filename: 'memory.5.wasm', name: null, line: 8, ); } #[Depends('testModule5')] public function testAssertInvalid6(): void { $this->runAssertInvalidCommand( filename: 'memory.6.wasm', text: 'multiple memories', line: 10, ); } #[Depends('testAssertInvalid6')] public function testAssertInvalid7(): void { $this->runAssertInvalidCommand( filename: 'memory.7.wasm', text: 'multiple memories', line: 11, ); } #[Depends('testAssertInvalid7')] public function testModule8(): void { $this->runModuleCommand( filename: 'memory.8.wasm', name: null, line: 13, ); } #[Depends('testModule8')] public function testAssertReturn9(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'memsize', 'args' => []], expected: [['type' => 'i32', 'value' => '0']], line: 14, ); } #[Depends('testAssertReturn9')] public function testModule10(): void { $this->runModuleCommand( filename: 'memory.9.wasm', name: null, line: 15, ); } #[Depends('testModule10')] public function testAssertReturn11(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'memsize', 'args' => []], expected: [['type' => 'i32', 'value' => '0']], line: 16, ); } #[Depends('testAssertReturn11')] public function testModule12(): void { $this->runModuleCommand( filename: 'memory.10.wasm', name: null, line: 17, ); } #[Depends('testModule12')] public function testAssertReturn13(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'memsize', 'args' => []], expected: [['type' => 'i32', 'value' => '1']], line: 18, ); } #[Depends('testAssertReturn13')] public function testAssertInvalid14(): void { $this->runAssertInvalidCommand( filename: 'memory.11.wasm', text: 'unknown memory', line: 20, ); } #[Depends('testAssertInvalid14')] public function testAssertInvalid15(): void { $this->runAssertInvalidCommand( filename: 'memory.12.wasm', text: 'unknown memory', line: 21, ); } #[Depends('testAssertInvalid15')] public function testAssertInvalid16(): void { $this->runAssertInvalidCommand( filename: 'memory.13.wasm', text: 'unknown memory', line: 22, ); } #[Depends('testAssertInvalid16')] public function testAssertInvalid17(): void { $this->runAssertInvalidCommand( filename: 'memory.14.wasm', text: 'unknown memory', line: 25, ); } #[Depends('testAssertInvalid17')] public function testAssertInvalid18(): void { $this->runAssertInvalidCommand( filename: 'memory.15.wasm', text: 'unknown memory', line: 29, ); } #[Depends('testAssertInvalid18')] public function testAssertInvalid19(): void { $this->runAssertInvalidCommand( filename: 'memory.16.wasm', text: 'unknown memory', line: 33, ); } #[Depends('testAssertInvalid19')] public function testAssertInvalid20(): void { $this->runAssertInvalidCommand( filename: 'memory.17.wasm', text: 'unknown memory', line: 37, ); } #[Depends('testAssertInvalid20')] public function testAssertInvalid21(): void { $this->runAssertInvalidCommand( filename: 'memory.18.wasm', text: 'unknown memory', line: 41, ); } #[Depends('testAssertInvalid21')] public function testAssertInvalid22(): void { $this->runAssertInvalidCommand( filename: 'memory.19.wasm', text: 'unknown memory', line: 45, ); } #[Depends('testAssertInvalid22')] public function testAssertInvalid23(): void { $this->runAssertInvalidCommand( filename: 'memory.20.wasm', text: 'size minimum must not be greater than maximum', line: 51, ); } #[Depends('testAssertInvalid23')] public function testAssertInvalid24(): void { $this->runAssertInvalidCommand( filename: 'memory.21.wasm', text: 'memory size must be at most 65536 pages (4GiB)', line: 55, ); } #[Depends('testAssertInvalid24')] public function testAssertInvalid25(): void { $this->runAssertInvalidCommand( filename: 'memory.22.wasm', text: 'memory size must be at most 65536 pages (4GiB)', line: 59, ); } #[Depends('testAssertInvalid25')] public function testAssertInvalid26(): void { $this->runAssertInvalidCommand( filename: 'memory.23.wasm', text: 'memory size must be at most 65536 pages (4GiB)', line: 63, ); } #[Depends('testAssertInvalid26')] public function testAssertInvalid27(): void { $this->runAssertInvalidCommand( filename: 'memory.24.wasm', text: 'memory size must be at most 65536 pages (4GiB)', line: 67, ); } #[Depends('testAssertInvalid27')] public function testAssertInvalid28(): void { $this->runAssertInvalidCommand( filename: 'memory.25.wasm', text: 'memory size must be at most 65536 pages (4GiB)', line: 71, ); } #[Depends('testAssertInvalid28')] public function testAssertInvalid29(): void { $this->runAssertInvalidCommand( filename: 'memory.26.wasm', text: 'memory size must be at most 65536 pages (4GiB)', line: 75, ); } #[DoesNotPerformAssertions] #[Depends('testAssertInvalid29')] public function testAssertMalformed30(): void { } #[DoesNotPerformAssertions] #[Depends('testAssertMalformed30')] public function testAssertMalformed31(): void { } #[DoesNotPerformAssertions] #[Depends('testAssertMalformed31')] public function testAssertMalformed32(): void { } #[Depends('testAssertMalformed32')] public function testModule33(): void { $this->runModuleCommand( filename: 'memory.30.wasm', name: null, line: 92, ); } #[Depends('testModule33')] public function testAssertReturn34(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'data', 'args' => []], expected: [['type' => 'i32', 'value' => '1']], line: 180, ); } #[Depends('testAssertReturn34')] public function testAssertReturn35(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'cast', 'args' => []], expected: [['type' => 'f64', 'value' => '4631107791820423168']], line: 181, ); } #[Depends('testAssertReturn35')] public function testAssertReturn36(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load8_s', 'args' => [['type' => 'i32', 'value' => '4294967295']]], expected: [['type' => 'i32', 'value' => '4294967295']], line: 183, ); } #[Depends('testAssertReturn36')] public function testAssertReturn37(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load8_u', 'args' => [['type' => 'i32', 'value' => '4294967295']]], expected: [['type' => 'i32', 'value' => '255']], line: 184, ); } #[Depends('testAssertReturn37')] public function testAssertReturn38(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load16_s', 'args' => [['type' => 'i32', 'value' => '4294967295']]], expected: [['type' => 'i32', 'value' => '4294967295']], line: 185, ); } #[Depends('testAssertReturn38')] public function testAssertReturn39(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load16_u', 'args' => [['type' => 'i32', 'value' => '4294967295']]], expected: [['type' => 'i32', 'value' => '65535']], line: 186, ); } #[Depends('testAssertReturn39')] public function testAssertReturn40(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load8_s', 'args' => [['type' => 'i32', 'value' => '100']]], expected: [['type' => 'i32', 'value' => '100']], line: 188, ); } #[Depends('testAssertReturn40')] public function testAssertReturn41(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load8_u', 'args' => [['type' => 'i32', 'value' => '200']]], expected: [['type' => 'i32', 'value' => '200']], line: 189, ); } #[Depends('testAssertReturn41')] public function testAssertReturn42(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load16_s', 'args' => [['type' => 'i32', 'value' => '20000']]], expected: [['type' => 'i32', 'value' => '20000']], line: 190, ); } #[Depends('testAssertReturn42')] public function testAssertReturn43(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load16_u', 'args' => [['type' => 'i32', 'value' => '40000']]], expected: [['type' => 'i32', 'value' => '40000']], line: 191, ); } #[Depends('testAssertReturn43')] public function testAssertReturn44(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load8_s', 'args' => [['type' => 'i32', 'value' => '4275856707']]], expected: [['type' => 'i32', 'value' => '67']], line: 193, ); } #[Depends('testAssertReturn44')] public function testAssertReturn45(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load8_s', 'args' => [['type' => 'i32', 'value' => '878104047']]], expected: [['type' => 'i32', 'value' => '4294967279']], line: 194, ); } #[Depends('testAssertReturn45')] public function testAssertReturn46(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load8_u', 'args' => [['type' => 'i32', 'value' => '4275856707']]], expected: [['type' => 'i32', 'value' => '67']], line: 195, ); } #[Depends('testAssertReturn46')] public function testAssertReturn47(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load8_u', 'args' => [['type' => 'i32', 'value' => '878104047']]], expected: [['type' => 'i32', 'value' => '239']], line: 196, ); } #[Depends('testAssertReturn47')] public function testAssertReturn48(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load16_s', 'args' => [['type' => 'i32', 'value' => '4275856707']]], expected: [['type' => 'i32', 'value' => '25923']], line: 197, ); } #[Depends('testAssertReturn48')] public function testAssertReturn49(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load16_s', 'args' => [['type' => 'i32', 'value' => '878104047']]], expected: [['type' => 'i32', 'value' => '4294954479']], line: 198, ); } #[Depends('testAssertReturn49')] public function testAssertReturn50(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load16_u', 'args' => [['type' => 'i32', 'value' => '4275856707']]], expected: [['type' => 'i32', 'value' => '25923']], line: 199, ); } #[Depends('testAssertReturn50')] public function testAssertReturn51(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i32_load16_u', 'args' => [['type' => 'i32', 'value' => '878104047']]], expected: [['type' => 'i32', 'value' => '52719']], line: 200, ); } #[Depends('testAssertReturn51')] public function testAssertReturn52(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load8_s', 'args' => [['type' => 'i64', 'value' => '18446744073709551615']]], expected: [['type' => 'i64', 'value' => '18446744073709551615']], line: 202, ); } #[Depends('testAssertReturn52')] public function testAssertReturn53(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load8_u', 'args' => [['type' => 'i64', 'value' => '18446744073709551615']]], expected: [['type' => 'i64', 'value' => '255']], line: 203, ); } #[Depends('testAssertReturn53')] public function testAssertReturn54(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load16_s', 'args' => [['type' => 'i64', 'value' => '18446744073709551615']]], expected: [['type' => 'i64', 'value' => '18446744073709551615']], line: 204, ); } #[Depends('testAssertReturn54')] public function testAssertReturn55(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load16_u', 'args' => [['type' => 'i64', 'value' => '18446744073709551615']]], expected: [['type' => 'i64', 'value' => '65535']], line: 205, ); } #[Depends('testAssertReturn55')] public function testAssertReturn56(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load32_s', 'args' => [['type' => 'i64', 'value' => '18446744073709551615']]], expected: [['type' => 'i64', 'value' => '18446744073709551615']], line: 206, ); } #[Depends('testAssertReturn56')] public function testAssertReturn57(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load32_u', 'args' => [['type' => 'i64', 'value' => '18446744073709551615']]], expected: [['type' => 'i64', 'value' => '4294967295']], line: 207, ); } #[Depends('testAssertReturn57')] public function testAssertReturn58(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load8_s', 'args' => [['type' => 'i64', 'value' => '100']]], expected: [['type' => 'i64', 'value' => '100']], line: 209, ); } #[Depends('testAssertReturn58')] public function testAssertReturn59(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load8_u', 'args' => [['type' => 'i64', 'value' => '200']]], expected: [['type' => 'i64', 'value' => '200']], line: 210, ); } #[Depends('testAssertReturn59')] public function testAssertReturn60(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load16_s', 'args' => [['type' => 'i64', 'value' => '20000']]], expected: [['type' => 'i64', 'value' => '20000']], line: 211, ); } #[Depends('testAssertReturn60')] public function testAssertReturn61(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load16_u', 'args' => [['type' => 'i64', 'value' => '40000']]], expected: [['type' => 'i64', 'value' => '40000']], line: 212, ); } #[Depends('testAssertReturn61')] public function testAssertReturn62(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load32_s', 'args' => [['type' => 'i64', 'value' => '20000']]], expected: [['type' => 'i64', 'value' => '20000']], line: 213, ); } #[Depends('testAssertReturn62')] public function testAssertReturn63(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load32_u', 'args' => [['type' => 'i64', 'value' => '40000']]], expected: [['type' => 'i64', 'value' => '40000']], line: 214, ); } #[Depends('testAssertReturn63')] public function testAssertReturn64(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load8_s', 'args' => [['type' => 'i64', 'value' => '18364758543954109763']]], expected: [['type' => 'i64', 'value' => '67']], line: 216, ); } #[Depends('testAssertReturn64')] public function testAssertReturn65(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load8_s', 'args' => [['type' => 'i64', 'value' => '3771275841602506223']]], expected: [['type' => 'i64', 'value' => '18446744073709551599']], line: 217, ); } #[Depends('testAssertReturn65')] public function testAssertReturn66(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load8_u', 'args' => [['type' => 'i64', 'value' => '18364758543954109763']]], expected: [['type' => 'i64', 'value' => '67']], line: 218, ); } #[Depends('testAssertReturn66')] public function testAssertReturn67(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load8_u', 'args' => [['type' => 'i64', 'value' => '3771275841602506223']]], expected: [['type' => 'i64', 'value' => '239']], line: 219, ); } #[Depends('testAssertReturn67')] public function testAssertReturn68(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load16_s', 'args' => [['type' => 'i64', 'value' => '18364758543954109763']]], expected: [['type' => 'i64', 'value' => '25923']], line: 220, ); } #[Depends('testAssertReturn68')] public function testAssertReturn69(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load16_s', 'args' => [['type' => 'i64', 'value' => '3771275841602506223']]], expected: [['type' => 'i64', 'value' => '18446744073709538799']], line: 221, ); } #[Depends('testAssertReturn69')] public function testAssertReturn70(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load16_u', 'args' => [['type' => 'i64', 'value' => '18364758543954109763']]], expected: [['type' => 'i64', 'value' => '25923']], line: 222, ); } #[Depends('testAssertReturn70')] public function testAssertReturn71(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load16_u', 'args' => [['type' => 'i64', 'value' => '3771275841602506223']]], expected: [['type' => 'i64', 'value' => '52719']], line: 223, ); } #[Depends('testAssertReturn71')] public function testAssertReturn72(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load32_s', 'args' => [['type' => 'i64', 'value' => '18364758543954109763']]], expected: [['type' => 'i64', 'value' => '1446274371']], line: 224, ); } #[Depends('testAssertReturn72')] public function testAssertReturn73(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load32_s', 'args' => [['type' => 'i64', 'value' => '3771275841602506223']]], expected: [['type' => 'i64', 'value' => '18446744071976963567']], line: 225, ); } #[Depends('testAssertReturn73')] public function testAssertReturn74(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load32_u', 'args' => [['type' => 'i64', 'value' => '18364758543954109763']]], expected: [['type' => 'i64', 'value' => '1446274371']], line: 226, ); } #[Depends('testAssertReturn74')] public function testAssertReturn75(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'i64_load32_u', 'args' => [['type' => 'i64', 'value' => '3771275841602506223']]], expected: [['type' => 'i64', 'value' => '2562379247']], line: 227, ); } #[DoesNotPerformAssertions] #[Depends('testAssertReturn75')] public function testAssertMalformed76(): void { } #[DoesNotPerformAssertions] #[Depends('testAssertMalformed76')] public function testAssertMalformed77(): void { } #[DoesNotPerformAssertions] #[Depends('testAssertMalformed77')] public function testAssertMalformed78(): void { } #[Depends('testAssertMalformed78')] public function testModule79(): void { $this->runModuleCommand( filename: 'memory.34.wasm', name: null, line: 246, ); } #[Depends('testModule79')] public function testAssertReturn80(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '0']]], expected: [['type' => 'i32', 'value' => '0']], line: 260, ); } #[Depends('testAssertReturn80')] public function testAssertReturn81(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '10000']]], expected: [['type' => 'i32', 'value' => '0']], line: 261, ); } #[Depends('testAssertReturn81')] public function testAssertReturn82(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '20000']]], expected: [['type' => 'i32', 'value' => '0']], line: 262, ); } #[Depends('testAssertReturn82')] public function testAssertReturn83(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '30000']]], expected: [['type' => 'i32', 'value' => '0']], line: 263, ); } #[Depends('testAssertReturn83')] public function testAssertReturn84(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '40000']]], expected: [['type' => 'i32', 'value' => '0']], line: 264, ); } #[Depends('testAssertReturn84')] public function testAssertReturn85(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '50000']]], expected: [['type' => 'i32', 'value' => '0']], line: 265, ); } #[Depends('testAssertReturn85')] public function testAssertReturn86(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '60000']]], expected: [['type' => 'i32', 'value' => '0']], line: 266, ); } #[Depends('testAssertReturn86')] public function testAssertReturn87(): void { $this->runAssertReturnCommand( action: ['type' => 'invoke', 'field' => 'load', 'args' => [['type' => 'i32', 'value' => '65535']]], expected: [['type' => 'i32', 'value' => '0']], line: 267, ); } }