diff options
Diffstat (limited to 'tests/src/SpecTestsuites/Core/MemoryTest.php')
| -rw-r--r-- | tests/src/SpecTestsuites/Core/MemoryTest.php | 822 |
1 files changed, 822 insertions, 0 deletions
diff --git a/tests/src/SpecTestsuites/Core/MemoryTest.php b/tests/src/SpecTestsuites/Core/MemoryTest.php new file mode 100644 index 0000000..daabdd2 --- /dev/null +++ b/tests/src/SpecTestsuites/Core/MemoryTest.php @@ -0,0 +1,822 @@ +<?php + +declare(strict_types=1); + +namespace Nsfisis\Waddiwasi\Tests\SpecTestsuites\Core; + +use Nsfisis\Waddiwasi\Tests\SpecTestsuites\SpecTestsuiteBase; +use PHPUnit\Framework\Attributes\Depends; +use PHPUnit\Framework\Attributes\DoesNotPerformAssertions; + +final class MemoryTest extends SpecTestsuiteBase +{ + public function testModule0(): void + { + $this->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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + action: ['type' => 'invoke', 'field' => 'data', 'args' => []], + expected: [['type' => 'i32', 'value' => '1']], + line: 180, + ); + } + + #[Depends('testAssertReturn34')] + public function testAssertReturn35(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'cast', 'args' => []], + expected: [['type' => 'f64', 'value' => '4631107791820423168']], + line: 181, + ); + } + + #[Depends('testAssertReturn35')] + public function testAssertReturn36(): void + { + $this->runAssertReturnCommand( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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( + module: null, + 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 + { + } +} |